The problem the paper sets out to solve
Scan time is proportional to the number of k-space samples, and the number Nyquist sampling demands is what makes conventional scans slow. The paper starts from the observation that MR images are often sparse or compressible in a suitable transform: most coefficients are close to zero. If three requirements are met, fewer samples can be taken and the image computed back.
The three requirements: (a) the image has a sparse representation in a known transform domain; (b) the aliasing caused by k-space undersampling is incoherent, noise-like, in that domain; (c) a nonlinear reconstruction enforces both sparsity of the representation and consistency with the acquired data. Figure 1 of the paper shows how the image, k-space and transform domains are related.
Source: M. Lustig · MIT 6.3000 Signal Processing
Incoherence: the point spread function and Eq. [1]
Figure 2 shows the idea on a simple example: a sparse signal undersampled 8-fold. Equispaced undersampling with zero filling gives a set of shifted replicas, equally likely as the original and impossible to tell apart. Random undersampling gives artifacts that look like random noise but are really the energy of each nonzero coefficient leaking elsewhere. Strong components stand above the interference and can be found by thresholding; the interference they cause is computed and subtracted, and then the weaker components are found.
To quantify this, the paper defines the point spread function, PSF, and the transform point spread function, TPSF (Eq. [2]): how much of one transform coefficient leaks onto coefficient after undersampling. When of grid points are chosen at random, the real and imaginary parts of the off-centre values each behave much like zero-mean white Gaussian noise, with the standard deviation of Eq. [1], where is the reduction factor.
Source: M. Lustig · MIT 6.3000 Signal Processing
Three Cartesian cases and the sampling design
The paper compares three kinds of Cartesian sampling. Single-slice 2D imaging can only undersample the phase encodes, so the interference spreads along one direction and, by Eq. [1], is times larger than for pure 2D random sampling; only modest accelerations can be expected. Multislice 2D imaging can choose different phase-encode lines in each slice. The authors prefer 3D imaging, where random undersampling of the – plane reaches the high incoherence of the 2D case.
The sampling is designed by a Monte Carlo procedure: set the grid from the desired resolution and field of view, build a probability density that falls with a power of the distance from the origin, and draw samples from it. Because the draw is random it can produce a bad pattern, so the procedure is repeated many times and the set with the smallest peak TPSF sidelobe is kept. The reason for variable density is that image energy is concentrated near the k-space origin.
Source: M. Lustig · MIT 6.3000 Signal Processing
Reconstruction: constrained optimization and conjugate gradients
The reconstruction is Eq. [3]: among images that differ from the measured data by less than , find the one with the smallest , with usually set below the expected noise. Appendix A writes it in Lagrangian form, [A1], chooses so the residual is about , and solves it by nonlinear conjugate gradients with a backtracking line search; the examples need 80 to 200 iterations. Their Matlab implementation takes about 150 iterations, roughly 30 s, to reconstruct a angiogram at 5-fold acceleration.
The sparsifying transform depends on the application: wavelets, finite differences (total variation) or both. The brain example uses Daubechies 4 wavelets with a total-variation penalty.
Source: M. Lustig · MIT 6.3000 Signal Processing
Results and the limits the authors admit
Simulation: a phantom with 18 randomly placed features of 6 sizes and 3 intensities, 575 nonzero pixels. At 8-fold and 12-fold acceleration (12-fold with variable density only) the compressed-sensing reconstruction is perfect; as the acceleration grows further, what is lost is the low-contrast features rather than the usual resolution.
Measurements: a multislice 2D fast-spin-echo brain scan, with 80 of 192 phase encodes chosen at random with quadratic variable density for each slice, a 2.4-fold acceleration; and a 3D abdominal angiogram undersampled 5-fold in retrospect, equivalent to cutting the scan from 22 s to 4.4 s.
The discussion is direct: as the acceleration grows, the most distinct artifacts of compressed sensing are not the usual loss of resolution or increase in aliasing interference but the loss of low-contrast features. The method is therefore particularly attractive where images have high-resolution, high-contrast features and imaging must be fast.
Source: M. Lustig · MIT 6.3000 Signal Processing
Worked example: recompute Eq. [1] and the factor of 16
The argument in Appendix B takes a few lines. Write the total energy of the point spread function as ; the main lobe holds , and the off-centre energy is the difference. Dividing by the number of off-centre pixels and by the main-lobe energy, and setting , gives Eq. [1]. Counting the off-centre pixels exactly as gives the right-hand expression below.
With and , Eq. [1] gives 0.165359 and the exact expression 0.165683. The course benchmark draws 400 random sample sets and measures 0.165683, the exact value. The excess kurtosis of the real part is −0.057, close to the Gaussian value of 0, in line with the paper’s statement that it behaves much like white Gaussian noise.
Now the factor of 16. A image has pixels. Pure 2D random sampling spreads the interference over all of them; single-slice 2D imaging can spread it only over the 256 pixels along one direction. The ratio is , as the paper states.
Source: M. Lustig · MIT 6.3000 Signal Processing
How this course’s experiment differs from the paper
The k-space experiment follows the paper’s approach: random phase-encode lines, the centre 8 lines always kept, the rest drawn with variable density, and an objective in Lagrangian form. But it simplifies in several places, so its numbers cannot be compared with the paper directly. The matrix is only , with one slice, one coil and 2-fold acceleration. The sparsifying transform is a three-level Haar wavelet without total variation. The solver is an accelerated soft-threshold iteration with 50 steps, not conjugate gradients. The weight is chosen from held-out lines, not from the noise level.
With these simplifications the zero-filled error is 23.9% and the sparse error 13.3%, and the small-dot contrast recovers from 71% to 87.3%. The direction agrees with the paper: sparse reconstruction removes most of the incoherent artifacts, but the contrast is not fully restored. With regular skipping the sparse fit fails in the same way, the error staying at 49.8%, which corresponds to the unrecoverable equispaced case of the paper’s Fig. 2.
Source: M. Lustig · MIT 6.3000 Signal Processing