# Spatially regularized compressed sensing of diffusion MRI data

## Abstract

Despite the relative recency of its inception, the theory of compressive sampling (aka compressed sensing) (CS) has already revolutionized multiple areas of applied sciences, a particularly important instance of which is medical imaging. Specifically, the theory appears to provide an answer to the important problem of optimal sampling in MRI, with an ever-increasing body of works reporting stable and accurate reconstruction of MRI scans from the number of spectral measurements which would have been deemed unacceptably small as recently as five years ago. Reducing the number of MR measurements per scan comes to address one of the most critical impediments intrinsic in MRI, which is the relatively slow speed of image acquisition. Although very significant, such an improvement may still be insufficient in the cases when a repetitive acquisition of MRI scans pertaining to the same volume of interest is required. Acquisitions of this type are prevalent in diffusion MRI, in which an independent MRI scan is required to encode the strength of water diffusion along a predefined spatial direction. Thus, for example, an accurate delineation of multimodal diffusion profiles by means of high angular resolution diffusion imaging (HARDI) requires using between 60 and 100 diffusion-encoding gradients. This, in turn, is translated into relatively long acquisition times, which adversely affects the applicability of HARDI for clinical diagnosing. To overcome this limitation, the present paper introduces a method for substantial reduction of the number of diffusion encoding gradients required for reliable reconstruction of HARDI signals. The method exploits the theory of CS, which establishes conditions on which a signal of interest can be recovered from its under-sampled measurements, provided that the signal admits a sparse representation in the domain of a linear transform. In the case at hand, the latter is defined to be spherical ridgelet transformation, which excels in sparsifying HARDI signals. What makes the resulting reconstruction procedure even more accurate is a combination of the sparsity constraints in the diffusion domain with additional constraints imposed on the estimated diffusion field in the spatial domain. Accordingly, the present paper describes a novel way to combine the diffusion- and spatial-domain constraints to achieve a maximal reduction in the number of diffusion measurements, while sacrificing little in terms of reconstruction accuracy. Finally, details are provided on a particularly efficient numerical scheme which can be used to solve the aforementioned reconstruction problem by means of standard and readily available estimation tools. The paper is concluded with experimental results which support the practical value of the proposed reconstruction methodology.

## 1Introduction

The human brain consists of about nerve cells that can be subdivided into about 1000 different cell types, a complexity that far exceeds that of other organs of the body. A further complexity is evident in the way in which the component cells of the brain interconnect and function [1]. In contrast to other types of the cells, each neuron communicates with many target cells by means of its distinctive protoplasmatic protrusion, called an axon. Axons with similar destinations, in turn, tend to form bundles - known as neural fibre tracts - which play a pivotal role in the determination of brain connectivity. Through reconstructing the pattern of connectivity of the neural tracts in both healthy and diseased subjects, it is therefore possible to obtain an abundance of valuable diagnostic information that could be used for early diagnostics of brain-related disorders, for assessing the damage caused to the brain by stroke, tumours or injuries, as well as for planning and monitoring of neurosurgeries [2].

Central to MRI is the notion of contrast, which is typically defined by the biochemical composition of interrogated tissue as well as by the morphology of its associated parenchyma. Prevalent in MRI practice are the contrasts determined by the T/T relaxation times and proton density (PD). Despite their exceptional importance to clinical diagnosis, none of the above contrast mechanisms has demonstrated effectiveness in delineating the morphological structure of the white matter. It is only with the advent of diffusion MRI (dMRI) that scientists have been able to perform quantitative measurements of the diffusivity of white matter, based on which its structural delineation has become possible [3]. Although over the last two decades dMRI has developed into an established technique with a great impact on health care and neurosciences, like any other MRI technique it remains subject to artifacts and pitfalls [3]. While many of such artifacts can be overcome by using advanced hardware designs and/or more sophisticated imaging protocols [2], [9], one particularly critical limitation of dMRI stems from the physics of the acquisition of diffusion MR images, and therefore is impossible to resolve by operational means. Specifically, since collecting the dMRI data requires a repetitive acquisition of MR responses from the same volume for a number of diffusion-encoding gradients, it is the relatively long acquisition times that greatly impair the practical value of this important imaging modality. Particularly, longer acquisition times entail a higher probability for the patient to exercise involuntary motion (typically caused by fatigue and/or stress related tremors, swallowing, uncontrollable sighing or coughing), which severely affects the quality of dMRI data. Moreover, since during the whole duration of the scan the patients are required to remain motionless, it is currently deemed ineffective to apply dMRI-based diagnosis in paediatrics as well as to patients with dementia or post-traumatic injuries, where non-compliance is typical. The problem of long acquisition times also hampers the application of dMRI for intra-operational imaging, where it could be an irreplaceable tool to use for neurosurgical planning and decision-making support [10]. Lastly, relatively long scanning times required by dMRI aggravate the problem of accessibility to MRI equipment. All the above arguments suggest that the practical value of dMRI could be improved by shortening the scanning times required for acquisition of dMRI data. A particular method to achieve such an improvement is detailed in this paper.

In this work, we adopt a general diffusion model in which each voxel within a region of interest (ROI) is allowed to support more than one fibre tract. In this case, under some general assumptions (see, e.g., [13] for more details), the diffusion signal originating from a voxel with spatial coordinate containing fibres can be modelled as [14]

where denotes the spherical coordinate, i.e.

and are positive weights obeying . In (Equation 1), denotes the diffusion signal obtained in the absence of diffusion encoding (i.e. the so-called “b0 image”), is defined as a function of the shape and amplitude of diffusion-encoding gradients [15], and are diffusion tensors associated with the neural fibres passing through the coordinate . In practical settings, the spherical coordinate is sampled at distinct points over the unit sphere. In this case, for each , MR measurements are acquired in the form of a diffusion-encoded image . As a result, a typical dMRI data set consists of a collection of such diffusion-encoded images , whose size determines the accuracy with which the directions of local diffusion flows can be estimated.

Provided unlimited scanning time, one could measure the diffusion in thousands of orientations, making it possible to identify the directions of dominant diffusion with very high precision. For the reasons explained earlier, however, scanning times are always limited, which necessitates restriction of to a reasonably small value. This brings us to the central question addressed in the present paper: what is a sufficient number of diffusion-encoding directions to use? It turns out that, for some realizations of dMRI, the above question can be answered in a rigorous manner. In particular, in diffusion tensor imaging (DTI) [4], the reconstruction is carried out under the assumption that each voxel can support only one diffusion flow as most, which corresponds to setting for all in (Equation 1). Accordingly, a minimum of diffusion-encoded images are theoretically sufficient to measure and recover the six non-repetitive components of the symmetric tensors by means of least-square fitting. (In practice, however, a larger number of gradient directions is employed to reduce the estimation variance, with a typical being between 25 and 30 [18].) Unfortunately, the accuracy of DTI is known to deteriorate dramatically at the sites where the neural fibres (or bundles thereof) cross, touch upon each other, or diverge [19].

The fibre crossing problem in DTI has prompted efforts to develop dMRI methodologies which are capable of detecting multiple diffusion flows (or, equivalently, neural fibre tracts) within a given voxel. One of such techniques is High Angular Resolution Diffusion Imaging (HARDI)[20], which is capable of capturing multi-modal diffusion patterns by sampling the spherical shell at a much greater number of points (usually between 60 and 100) as compared to the case of DTI. Increasing makes it possible to describe the diffusion measurements using much more accurate models. Among these are parametric models [29] which allow HARDI signals to be expressed in terms of a relatively small number of prototype signal forms. Unfortunately, fitting a parametric model often entails minimization of non-convex functionals, which is a noise-sensitive and computationally intensive task, prone to the problem of local minima. The need to predetermine the optimal number of fitting terms is known to be another disadvantage of using the models of the above type.

The problems associated with parametric modelling of HARDI signals can be overcome by using non-parametric models, in which case the signals are recovered by projecting the observed data onto properly defined functional subspaces. In particular, the applicability of spherical Fourier analysis [35] to dMRI has been demonstrated in [25], where HARDI signals are approximated by truncated series of spherical harmonics (SH). Despite its stability and computational efficiency, however, the SH-parameterization involves a relatively large number of SHs, which suggests that the SHs cannot be an adequate basis for sparse representation of HARDI signals. The main reason for this is rooted in the fact that the energies of elementary signals in (Equation 1) are concentrated alongside the great circles of , whereas the energy of SHs is spread all over , and, as a result, a relatively large number of SHs are needed to effectively “encode” each of . The inability of the basis of SHs to sparsely represent diffusion signals has led to the proposal of spherical ridgelets in [36], where it was shown that it only takes 6 to 8 spherical ridgelets on average to represent the HARDI signals with a precision exceeding the precision of their representation with 45 SHs.

The present work takes the ideas of [36] one step further and shows that the availability of a sparsifying basis for HARDI signals can be used to reduce the number of diffusion gradients required for data acquisition. In particular, we suggest to use the theory of compressed sensing (CS) [38] to recover the HARDI signals using the number of spherical samples in a range of values typical for DTI (i.e. ), thus allowing a multi-fibre analysis of dMRI data to be performed at the “acquisition cost” of a standard DTI.

It is worthwhile noting that the ideas of CS have already paved their way into the field of diffusion imaging [45]. In this regard, conceptually the closest to the proposed approach is the method reported in [46]. In spite of this similarity, however, there are two principal distinctions which make the present method a more powerful alternative. In particular, the basis functions used in [46] are limited to represent an *average* diffusivity and anisotropy of the white matter, thereby neglecting both intra- and inter-voxel variability of tensors in (Equation 1). The ridgelet representation, on the other hand, is a multiresolution technique, which possesses an intrinsic ability to deal with a continuum of different diffusion scales. Second, the approach in [46] is applied in a “voxel-by-voxel” manner and it therefore does not take into consideration the spatial regularity of diffusion field. The present paper, on the other hand, proposes a novel formulation of the problem of CS-based reconstruction of diffusion signals, in which the sparsity constraints enforced in the diffusion domain are augmented by regularity constraints enforced in the spatial domain. The resulting reconstruction problem has the format of a convex minimization problem, which is solved using a specially adapted version of the split Bregman algorithm [50]. As will be shown below, the proposed algorithm results in a particularly advantageous computational structure which allows the solution to be computed via a sequence of simple and easily parallelizable steps.

The rest of the paper is organized as follows. Section II provides additional comments on the input-output structure of the proposed algorithm. The construction of spherical ridgelets is briefly outlined in Section III, whereas Section IV gives a formal description of the proposed reconstruction methodology. Some principal details on the numerical implementations of the proposed algorithm are summarized in Section V, with the results of our experimental studies reported in Section VI. Section VII finalizes the paper with a discussion and conclusions.

## 2Problem Statement

In the centre of our considerations is the diffusion signal which, when normalized by its related -image , quantifies the attenuation of MR readout caused by the diffusion of water molecules in the direction through the spatial position . In practical settings, both and are discretized. Specifically, restricting to a discrete set of orientations prescribes the acquisition of diffusion data in the form of diffusion-encoded images , with each corresponding to a given . In this case, for a fixed , the vector represents a discretization of . Note that such a discretization follows a linear measurement model, since each sample can be represented as an inner product of with a sampling function. In particular, let be a Dirac basis of sampling functions defined by

where denotes the Dirac delta function and the dot stands for the Euclidean dot product. Then, formally,

with being the standard rotation invariant measure on .

Next, given a collection of spherical ridgelets (defined below), the signal is assumed to be expandable as

with being a vector of spherical ridgelet coefficients which depend on the spatial coordinate . It is important to note that the set of spherical ridgelets is allowed to be overcomplete, implying . A practical consequence of this fact is that the definition of coefficients in (Equation 4) is, in general, not unique. This non-uniqueness is further aggravated by the fact that will have to be recovered from an under-sampled set of diffusion measurements, in which case . Overcoming such a severe underdetermination in the problem of estimating the ridgelet coefficients will be possible based on the fundamental premise of the theory of CS, which states that an accurate estimation of is possible if the latter is sufficiently sparse *and* if the sampling and representation bases are sufficiently decorrelated. While the sparsity of is rooted in the very design of spherical ridgelets [37], the incoherency between the Dirac sampling functions (Equation 3) and spherical ridgelets stems from the fact that the former have an infinitely small support, whereas the latter are “smeared” all over the unit sphere. The above properties of the basis of spherical ridgelets yield conditions for an effective application of CS, in which case one can obtain a faithful reconstruction of diffusion signals using as few as diffusion-encoding gradients.

The proposed algorithm produces an estimate of the ridgelet representation coefficients in (Equation 4). Once available, the coefficients provide an access to the analytical definition of diffusion signals by virtue of (Equation 4). This can be used in a number of ways. One possibility could be to use the ridgelet coefficients to compute their associated orientation distribution functions [14], based on which a multi-fibre tractography analysis can be done [53]. Alternatively, (Equation 4) can be used to evaluate the diffusion signals over an arbitrarily fine grid of orientations. Subsequently, such refined “measurements” could be fitted using a different representation model, whose application to the original data would not have been possible without causing severe underestimation errors. Deconvolving the refined data to estimate the underlying fibre orientation functions [55] would be another important option to follow. In this paper, we refrain from questioning which of the above possibilities is more advantageous over the others. Our sole objective here is to specify a signal processing algorithm which can be used to recover HARDI signals, while using the number of diffusion-encoded images typical for a standard DTI.

Finally, it should be noted that the primarily purpose of the proposed methodology is to improve the value of HARDI in terms of its time efficiency. Since the improvement is achieved through merely decreasing the number of diffusion-encoding gradients, the proposed method by no means abrogates the use of fast imaging protocols [59] to further accelerate the data acquisition. Furthermore, an additional speed-up can be achieved via applying CS to reconstruct the diffusion encoded images from their subcritical samples in the spectral domain [62]. Generally speaking, we believe this is a combination of such software and hardware technologies which will eventually lead to substantantial improvements in the practical value of HARDI-based diagnosing. In this paper, however, we confine our contribution to showing one particular way of attaining this important objective.

## 3Spherical ridgelets

It is the property of spherical ridgelets to provide sparse representation of diffusion signals described by (Equation 1) which makes them an unparalleled tool for CS-reconstruction of HARDI data. To avoid repetitions, in what follows, we present only the most principal points of ridgelets design, while their detailed description can be found in [37].

Spherical ridgelets are constructed using the fundamental principles of wavelet theory [67]. Specifically, let and be a positive scaling parameter. Further, let be a Gaussian function, which we subject to a series of dyadic scalings to result in

where . Subsequently, the Gaussian-Weierstrass scaling function at resolution and orientation can be defined as given by [69]

where denotes the Legendre polynomial of order . It is worth noting that the energy of is concentrated around the spherical point , with this concentration becoming more and more localized when approaches infinity.

The spherical ridgelets are designed with the help of the Funk-Radon transform which, for an arbitrary continuous function , is defined as

with denoting the great circle perpendicular to direction , i.e. . Subsequently, following [37], the semi-discrete frame of spherical ridgelets can be defined as

where the spherical ridgelet functions are obtained from according to

with . Using (Equation 6), the ridgelets (Equation 9) can be redefined in a closed form as (see [35] for details)

where and

The set in (Equation 8) is infinite-dimensional, and hence is not suitable for practical computations. To define a discrete counterpart of , one has first to restrict the values of the resolution index to a finite set , where defines the highest level of “detectable” signal details. Additionally, the set of all possible *orientations* of spherical ridgelets needs to be discretized as well. To find a proper discretization scheme, we first note that the construction in (Equation 10) suggests that the bandwidth of the spherical ridgelets (and therefore the dimensionality of the functional space they belong to) increases proportionally to . Since the space of spherical harmonics of degree has a dimension of , it seems to be reasonable to define the number of ridgelet orientations at resolution to be equal to , with being the smallest spherical order resulting in for some predefined (e.g. ). Consequently, for each , a total of orientations are chosen so that a discrete counterpart of can now be defined as

where the subscript stands for “discrete”. It should be noted that, although the set is composed of continuously defined functions, its dimension is finite, since consists of a total of spherical ridgelets. To slightly simplify our notation, in what follows, the spherical ridgelets in will be indexed as , with being a combined index accounting for both different resolutions and orientations.

Given a sampling set of diffusion-encoding orientations , one can use (Equation 10) to compute the values of the spherical ridgelets in over the sampling set^{1}

Then, for a given vector of the measured values of a diffusion signal at the spatial location , the model (Equation 4) asserts the existence of representation coefficients such that

where accounts for both model and measurement noises. Clearly, the non-negligibility of along with the fact that makes the problem of recovering the representation coefficients from a very challenging inverse problem, our solution to which is presented next.

## 4Proposed reconstruction framework

Let represent the volume within which diffusion measurements are acquired. Also known as a region of interest, is assumed to be a bounded rectangular subdomain of , i.e. . Let be a discrete subset of , which represents the spatial locations at which the diffusion signal is measured. Specifically, is assumed to be a uniform lattice which can be formally defined as

where , , and are sampling indices in the direction of , and coordinates, respectively.

Let be the number of diffusion-encoding gradients used for HARDI data acquisition, and let the corresponding gradient orientations be denoted by , where . For each of these values of , MRI measurements result in its associated diffusion-encoded image , which can be formally viewed as a mapping from to . For the sake of convenience, each can be stored and manipulated as an array of real numbers, namely . Alternatively, at a given coordinate , one can combine the values into a column vector (as it was already done in (Equation 13)). This vector can then be regarded as a vector of discrete measurements of an associated HARDI signal measured at orientations . It is worth noting that, according to the above notations, the value admits a twofold interpretation, *viz.* either as the coordinate of vector or as the value of image at spatial position .

When combined together, the continuum of vectors can be regarded as a discrete vector field , in which case has a natural interpretation of the value of corresponding to position . The vector space of such vector fields can be endowed with the standard inner product

with being the standard inner product between the scalar-valued images and . Accordingly, congruent to the definition in (Equation 15), the -norm of is defined as

where and denote the Euclidean vector and Frobenius matrix norms, respectively.

Another norm on that we shall make use of is the total variation (TV) semi-norm which is defined as follows. First, let us define the total variation of the component of the field in a standard manner as

where is a 3-neighbourhood (causal) clique of voxel . Consequently, the TV norm of the discrete vector field can be defined in terms of the TV-norms of its components as

Thus, for example, was used in the TV-denoising method reported in [71]. In this paper, we use .

Now, let be a set of spherical ridgelets defined by (Equation 11), which is assumed to be rich enough so that each HARDI signal can be expressed according to (Equation 4). Analogously to the discrete measurements , the representation coefficients corresponding to different voxels can be aggregated into a vector field , where (with being the value of observed at ). Although it is possible to endow the vector space with both the - and TV-norms by analogy with (Equation 16) and (Equation 17), it will be particularly useful to consider the -norm of which can be defined as

Using the definitions of the vector fields and as well as the definition of in (Equation 12), a connection between and is established by means of a linear map that is defined as given by

Consequently, using , one can define the HARDI data formation model as

where is supposed to account for both measurement noise and modelling errors, and it is assumed to have a relatively small -norm .

The model (Equation 18) suggests a reduction of the problem of estimation of HARDI signals to the problem of estimation of their corresponding representation coefficients from the discrete and noisy measurements . Furthermore, as our main intension has been to recover the coefficients using as few diffusion-encoding gradients as possible (implying ), there is an infinite number of solutions which would fit the constraint . However, if it is known *a priori* that, for each , the vector of representation coefficients is sparse, then a useful estimate of can be obtained as a solution to the following convex optimization problem [38]

It should be noted that the optimization problem (Equation 19) is equivalent to solving

and therefore, under the assumption of spatially homogeneous noise , the problem (Equation 19) is separable in the spatial coordinate . This means that an optimal field can be recovered by solving for its components

*independently* at each .

While computationally attractive, the above solution is suboptimal, since it completely disregards the dependencies which are likely to exist between spatially adjacent HARDI signals. A possible way to take such dependencies into consideration is to require the noise-free version of the measured signal to possess a minimal TV norm among all possible candidate solutions [72]. This requirement can be translated into the following minimization problem

where the role of is to balance the relative influence of the sparse and TV terms in the above cost function. The optimization problem (Equation 21) can be rewritten in its equivalent Lagrangian form

for some optimal values of and [73].

Below, we are going to specify a particular, computationally efficient method for solving (Equation 22). In this connection, it is instructive to outline the following two instances of (Equation 22).

### 4.1Sparse-only reconstruction

When , the functional in (Equation 22) becomes *separable in the spatial variable* in the sense that, in such a case, an optimal can be recovered by solving

for each independently. Note that (Equation 23) can be considered to be a Lagrangian form of the optimization problem (Equation 20). There exist a broad spectrum of methods which could be used for solution of (Equation 23). Some particularly attractive algorithms seem to be those exploiting the principle of iterative shrinkage (aka iterated thresholding) [74]. While the non-differentiability of -norm in (Equation 23) rules out the applicability of gradient-based optimization tools, iterative shrinkage methods are capable of finding a solution of (Equation 23) through iterative application of a first-order, fixed-point update rule. Specifically, many algorithms of this kind find an optimal solution as a stationary point of the sequence of estimates produced by

where denotes the operator of soft thresholding and is chosen to obey . In the present paper, a modification of the iterative update in (Equation 24), known as the *fast iterative shrinkage thresholding algorithm* (FISTA) [78], was employed due to its considerably faster convergence as compared with many alternative “accelerated” methods.

It should be emphasized that, while being suboptimal from the viewpoint of spatial-domain regularity, the solution of (Equation 23) through iterative shrinkage is advantageous in two important practical ways. First, it suggests considerable storage reduction, since the thresholding operator in (Equation 24) sets to zero the representation coefficients with amplitudes less or equal to in absolute value. It makes it possible to use sparse data formats to store and manipulate the representation coefficients. Second, the fact that the estimation of is performed at each voxel independently suggests a natural way to speed up the overall estimation process though parallel computing on a multicore system.

### 4.2TV-only reconstruction

When , solving the optimization problem (Equation 22) is equivalent to simultaneously solving optimization problems of the form

where and denotes the -th component of the vector field . Let be denoted by , i.e. . Then, reformulated with respect to , the problem (Equation 25) can be rewritten as

in which case it can be recognized as the problem of TV-denoising of the diffusion-encoded image [72]. It is important to note that, in contrast to (Equation 25), the problem (Equation 26) can be solved for each independently, in which case we say that the estimation becomes *separable in the diffusion direction*.

The current arsenal of methods which can be used for solving (Equation 26) is broad. Originated from the work of Rudin *et al* [72], TV-denoising methods currently include gradient-based optimization methods [79], first-order methods [80], iterative shrinkage methods [81], and Bregman-type iterative algorithms [83]. The first-order methods appear to be a particularly attractive option when relatively large data arrays need to be processed, which is the case relevant to dMRI. Consequently, in the present paper, we employ the algorithm of [84] for the simplicity and elegancy of its implementation as well as for its outstanding convergence properties.

## 5Solution using Split Bregman Algorithm

Directly solving the original problem (Equation 22) is difficult because of the compound nature of the regularization it involves. The split Bregman approach [50] allows reducing (Equation 22) to a simpler form through introduction on an auxiliary variable , which can be viewed as a noise-free version of the data field . Particularly, using (Equation 22) can be redefined as

Then, starting from an arbitrary , the Bregman algorithm [85] finds optimal and through the following iterations

for some ^{2}

Note that the functional at Step 2 contains two quadratic terms which can be combined together to result in

To cause a substantial reduction in the value of the cost functional in (Equation 28), Step 1 and Step 2 should be applied recursively for a predefined number of times before the Bregman parameter is updated according to (Equation 28). It was argued in [51], however, that the extra precision gained through such a repetitive application of Step 1 and Step 2 is likely to be “wasted” when is updated. Consequently, it was suggested in [51] to perform these steps only once per iteration cycle. It is interesting to note that, in this case, the split Bregman algorithm transforms into the *alternating directions method of multipliers* (ADMM) [52], whose convergence is guaranteed by the Eckstein-Bertsekas theorem [86] (see also Theorem 3.1 in [52]).

The final algorithm is summarized below. Lines 3-4 of Algorithm 1 correspond to Step 1 in (Equation 29), while lines 5-6 correspond to Step 2. An even more important fact to notice is that the optimization problem in line 4 is separable in the spatial coordinate . This optimization, therefore, can be performed at each voxel independently as discussed in Section 4.1. Moreover, the optimization problem in line 6 is separable in the diffusion coordinate , and hence it amounts to applying TV-denoising to each of the components of independently as discussed in Section 4.2.

## 6Results

### 6.1Technical details of the experimental study

Both the choice of diffusion-encoding directions and of the orientations of spherical ridgelets require the use of a sampling scheme. In dMRI, one of the standard methods used to distribute a given number of spherical points over in a quasi-uniform manner is by means of the electrostatic repulsion algorithm (also known as the Thomson problem). However, since the diffusion signals are symmetric (implying ), it is a unit hemisphere, not the entire , which actually needs to be discretized. In view of the absence of a formulation of the Thomson problem for hemispherical domains, a common practice is to run the standard procedure for twice as many points as needed, followed by keeping only a half of the resulting configuration. However, as the retained points are not explicitly constrained to lie on a hemisphere, they may include nearly antipodal pairs which are likely to introduce undesirable dependencies between the diffusion measurements as well as between the basis functions. This limitation can be overcome through adapting a different sampling strategy. Particularly, in this paper, both the diffusion-encoding directions and the orientations of spherical ridgelets have been defined by using the method of generalized spiral points [87], in which the sampling points are arranged along a spiral in such a way that the distance between the points along the spiral is approximately equal to the distance between its coils. This method is easily adaptable for sampling of the “northern” hemisphere (i.e. ), providing a nearly uniform, unique and analytically computable coverage which is in no respect inferior to the one produced by solving the Thomson problem.

To assess the performance of the proposed algorithm under controllable conditions, experiments with simulated data sets have been performed. In this case, the HARDI signals were generated according to model (Equation 1) with different values of , , and , . The resulting signals were contaminated by variable levels of Rician noise, giving rise to a set of different SNRs. In this work, we adapt the standard definition of the SNR as

where and denote an original signal and its noise-contaminated version, respectively, and the norms are computed as defined by (Equation 16). It is worthwhile noting that the optimal values of regularization parameters and in (Equation 22) are normally a function of the noise level. In the present paper, however, no attempts have been extended to optimize these values for different SNRs. Instead, it was found that and provided acceptable estimation results in all the simulation scenarios, and hence these values have been used throughout the whole study.

Following [37], the scaling parameter in (Equation 5) was set to 0.5 and the resolution parameter in (Equation 11) was set to be equal to 1, corresponding to a total of three resolution levels. The number of spherical ridgelet orientations were predefined with , resulting in , and ridgelets spanning the resolution levels , and , respectively. Thus, the total number of spherical ridgelets used in the reconstruction was equal to 234.

To quantitatively compare the reconstruction results produced by the proposed and references methods for different numbers of sampling directions and various SNRs, three performance measures were used. The first of the three was the normalized mean-squared error (NMSE) defined as

with being a reference HARDI signal corresponding to location and being its estimate. Depending on the nature of a specific experiment, the reference signal can be either a simulated signal discretized at 642 spherical points obtained by the 3rd order tessellation of the icosahedron *or* a signal reconstructed using a maximum possible number of diffusion-encoding orientations.

One of the most valuable outcomes of HARDI is in providing an access to computation of orientation distribution functions (ODFs) – the functions whose modes are likely to coincide with the direction of local diffusion flows [14]. Both the SH-based [28] and ridgelet-based [37] methods of reconstruction of HARDI signals come with analytical expressions which relate the HARDI signals to their corresponding ODFs. The latter can in turn be used to recover the directions of local diffusion flows (or, equivalently, the orientations of their related fibre tracts) using, e.g., the steepest ascent procedure detailed in [37]. Suppose is the true direction of a diffusion flow and is its estimate. Then, the angular orientation error can be defined (in degrees) as

In this paper, as a performance measure, we use an *average* angular orientation error which is obtained by averaging the values of computed for all “fibres” within a specified .

The last performance measure used in this work is the probability of false fibre detection. To define , let be the true number of fibre tracts passing through voxel (as defined by model (Equation 1)). Also, let be an estimated number of fibres, which is equal to the number of modes (maxima) of the ODF recovered at position . Then, one can define

In addition to the quantitative comparison, the reconstruction results will be evaluated through visual comparison as well. In this paper, we choose to visualize spherical functions by means of 3-D surface plots. Such a plot tends to project away from the origin of in the directions along which a spherical function is maximized, while passing near the origin in the directions where the function approaches zero.

Finally, our choice of reference methods was motivated by the scope of the main statements made in this paper. First, since we argue that the frame of spherical ridgelets is optimally suited for CS-based reconstruction of HARDI signals, its performance has to be compared with that of alternative representation systems. In particular, the basis of spherical harmonics up to the order 8 inclusive has been used for a different definition of the sensing matrix in (Equation 12). (Note that, in the case of a real and symmetric analysis, this SH-basis consists of 45 functions.) Additionally, the representation system proposed in [47] has been exploited in the comparative study as well. This system is formed by applying a set of rotations to a Gaussian kernel of the form , with defined as in (Equation 1) and equal to a (diagonal) diffusion tensor having a mean diffusivity of 766 mm/s and a fractional anisotropy of 0.8. Following [47], the number of rotations (and hence the number of Gaussian basis functions) was set to be equal to 253. For the convenience of referencing, the CS-based reconstruction methods using the spherical ridgelets, the 8th-order spherical harmonics, and the rotated Gaussian kernels will be referred below to as the RDG, SH8 and GSS algorithms, respectively.

To assess the significance of the proposed spatial regularization, all the above algorithms have been applied with two different values of in (Equation 22), *viz.* and . Note that, in the first of these cases, the spatial regularity is ignored, which leads to the sparse-only reconstruction discussed in Section 4.1. In the second case, on the other hand, the spatial regularity is taken into account and the reconstruction is performed by means of the split Bregman algorithm of Section 5.

### 6.2In silico experiments

To assess the performance of the proposed and reference methods under controllable conditions, two simulated data sets were used. The first set (referred to below as Phantom #1) had a spatial dimension of pixels, and consisted of two “fibres” crossing each other at the right angle as it is shown in the upper row of subplots of Figure 1. In addition, each pixel in the set was assigned an extra diffusion flow in the direction perpendicular to the image plane. As a result, the number of diffusion components in Phantom #1 varied between 1 and 3. Subsequently, model (Equation 1) was used to generate corresponding diffusion-encode images for a range of different values of . Two different values of , namely s/mm and s/mm were used for data generation. The diffusion tensors in (Equation 1) were obtained by applying rotations to a tensor of the form , where and were equal to and , respectively. Note that the mean diffusivity and fractional anisotropy of are equal to 766 mm/s and 0.8, respectively. Thus, the same diffusion tensors were used for data synthesis and for the construction of basis functions in the GSS algorithm, thereby allowing the latter to perform under the best possible conditions.

The lower row of subplots in Figure 1 depict four examples of the diffusion-encoding images obtained for Phantom #1 before their contamination by Rician noise. One can see that the images are piecewise constant functions, which appears to be in a good agreement with the bounded-variation model suggested by (Equation 22). However, real images may be more complicated than that. Accordingly, to test the robustness of the proposed regularization scheme, a different *in silico* phantom was designed. Phantom #2 had a spatial dimension of pixels and it was obtained through supplementing the configuration of Phantom #1 by an additional circular “fibre” as shown in the upper row of subplots in Figure 2. The lower row of subplots of the figure show a subset of the resulting diffusion-encoded images, which can be seen to no longer exhibit a piecewise constant behaviour characteristic for Phantom #1.

The simulated diffusion-encoded images were contaminated by three different levels of Rician noise, giving rise to SNR of 24, 18 and 12 dB. Some typical examples of the resulting images are demonstrated in Figure 3, where the upper row of subplots depict a noise-free version of one of the diffusion-encoded images pertaining to Phantom #1 along with its noise-contaminated counterparts. The lower row of subplots in Figure 3 depict an analogous set of examples for Phantom #2. Observing the figure, one can see that the SNR values have been chosen so as to cover a range of possible noise scenarios, which could be characterized as moderate-to-severe contamination.

As it was mentioned earlier, in our *in silico* study we compared the performance of three different representation bases, i.e. spherical harmonics (SH8), Gaussian kernels (GSS) and spherical ridgelets (RDG). All the resulting algorithms have been further subdivided into two different types, depending on whether or not the spatial regularization was engaged. Thus, in the absence of the spatial regularization (corresponding to ), the reconstruction has been performed on a voxel-by-voxel basis, as detailed in Section 4.1. For the convenience of referencing, the corresponding algorithms will be referred to below as SH8-CS, GSS-CS, and RGD-CS. In the case of , the estimation has been carried out using the split Bregman method of Section 5. The corresponding algorithms will be referred below as SH8-TV, GSS-TV, and RGD-TV.

The upper subplot of Figure 4 shows the original field of ODFs of Phantom #1 (corresponding to s/mm), which have been computed based on Tuch’s approximation [14] (i.e. by applying the Funk-Radon transform to the diffusion signals). At the same time, the middle row of subplots of Figure 4 show the ODFs recovered by (from left to right) SH8-CS, GSS-CS and RDG-CS with and SNR = 18 dB. One can see that the inability of the SH basis to sparsely represent HARDI signals results in a poor performance of SH8-CS. A better result is obtained with GSS-CS, which uses a basis of rotated Gaussian kernels, and therefore has a potential to represent the HARDI signals in a sparse manner. Unfortunately, the excessive correlation between the Gaussian basis functions adversely affects the ability of this method to withstand the effect of noise. Consequently, the reconstruction obtained using GSS-CV suffers from sizeable errors. The RDG-CS method, on the other hand, provides an estimation result of a much higher quality, albeit some inaccuracies are still noticeable in the central part of the phantom. The reconstruction accuracy improves dramatically when the spatial regularization is “switched on”, as it is demonstrated by the bottom row of subplots in Figure 4. Specifically, while SH8-TV is still unable to provide a valuable reconstruction, the estimates obtained using GSS-TV and RDG-TV represent correctly the “flow structure” of Phantom #1. Moreover, among the latter two methods, RDG-TV is clearly the best performer, resulting in a close-to-ideal recovery of the original ODFs. The superiority of RDG-TV over the alternative methods is further evident in the results presented by Figure 5, which depicts the reconstructions obtained for Phantom #2 (with the same values of , and SNR as above).

In general, the reconstruction results obtained using SH8-CS and SH8-TV have been observed to be of a lower quality in comparison to the other methods under consideration. For this reason, in what follows, only the GSS and RDG methods are compared. Thus, Figure 6 contrasts the performances of GSS-CS, GSS-TV, RDG-CS and RDG-TV in terms of the NMSE criterion. One can see that the best performance here is attained by the RDG-TV algorithm, which results in the smallest values of NMSE for both phantoms and for all the tested values of , SNR and . It is also interesting to note that the incorporation of spatial regularization allows GSS-TV to outperform RDG-CS, with the effect of the regularization becoming more pronounced at lower SNRs. On the whole, all the NMSE curves demonstrate an expected behaviour, with the error values increasing proportionally with a decrease in SNR, while going down with an increase in the number of diffusion-encoding gradients . However, as opposed to the others, the NMSE curves obtained with RDG-TV are characterized by a relatively low rate of convergence, which indicates a reduced sensitivity of RDG-TV to the value of .

The above algorithms have been also compared in terms of the angular error (Equation 33). The results of this comparison are summarized in Figure 7, which again indicates that the most accurate reconstruction is obtained using the RDG-TV method. In general, the angular error tends to grow as SNR decreases and to converge to a minimum as increases. As opposed to the case of NMSE, however, there is an additional dependency of the angular error on the type of a phantom in use as well as on the -value. In particular, the errors obtained for Phantom #2 are (on average) greater than those obtained for Phantom #1. This discrepancy is rooted in the fact that Phantom #2 has a more complex “fibre structure” as compared to Phantom #1. In particular, while the “fibers” of Phantom #1 are designed to cross each other at the right angle, the “fibres” of Phantom #2 are allowed to decussate at much smaller angles, which makes them much harder to resolve. Moreover, this effect becomes more noticeable with a decrease in the -value, which reduces the resolution of q-ball imaging. Finally, we notice that, on average, GSS-TV performs better than RDG-CS (though still worse than RDG-TV), which justifies the value of spatial regularization.

The comparison in terms of the rate of false fibre detection (Equation 34) was last in the line of our *in silico* performance tests; its results are shown in Figure 8. One can see that, in the case of Phantom #1, RDG-TV yields a virtually zero false detection rate for both values of , whereas the other methods result in considerably higher values of (mainly due to the detection of spurious local maxima in the estimated ODFs). The situation is different for Phantom #2, where all the compared methods yield sizeable errors (especially for s/mm). However, in comparative terms, the most accurate reconstruction is still obtained by means of the proposed RDG-TV algorithm.

### 6.3In vivo results

As the next validation step, experiments with real HARDI data were carried out. The proposed algorithm was tested on human brain scans acquired on a 3-Tesla GE system using an echo planar imaging (EPI) diffusion-weighted image sequence. A double echo option was used to suppress eddy-current related distortions. To improve the spatial resolution of EPI, an eight channel coil was used to perform parallel imaging by means of the ASSET technique with a speed-up factor of 2. The data were acquired using 51 gradient directions (quasi-uniformly distributed over the northern hemosphere) with s/mm. In addition, eight baseline () scans were acquired, averaged and used for normalization. The following scanning parameters were used: TR = 17000 ms, TE = 78 ms, FOV = 24 cm, encoding steps, and 1.7 mm slice thickness. All scans had 85 axial slices parallel to the AC-PC line covering the whole brain.

The main question addressed through the *in vivo* experiments has been whether or not it is possible to supersede the spatial regularization by pre-filtering of HARDI signals. To this end, the RDG-CS algorithm was applied first to the HARDI data containing the full set of diffusion gradients. (Note that such *dense* reconstruction is analogous to the one reported in [37], where the latter is shown to outperform the SH-based estimation [28].) The resulting ODFs have been used as a fiducial against which different reconstruction results were compared.

As the next step, three different subsets of 16, 24 and 32 spherical points were composed out of the original set of 51 diffusion gradients. Within each of these subsets, their corresponding points were chosen so as to result in a quasi-uniform coverage of the northern hemisphere. Accordingly, the HARDI data were rearranged into three data sets of size , and to emulate compressed sensing data acquisition. The above sets were used to assess the performance of different reconstruction methods. Unfortunately, we have not succeeded to find conditions under which the SH8 and GSS algorithms would provide stable reconstruction results (either with or without pre-filtering). For this reason, only the RDG-CS and RDG-TV algorithms are compared below.

RDG-CS | 0.097 | 0.064 | 0.043 | 0.091 | 0.053 | 0.037 |

RDG-TV | 0.022 | 0.011 | 0.003 | 0.018 | 0.009 | 0.002 |

The upper row of subplots in Figure 9 show the generalized anisotropy (GA) [14] image of a coronal cross-section of the brain along with the reference field of ODFs corresponding to the region indicated by the yellow rectangular. Anatomically, this region is expected to contain the fibre bundles of corona radiata as well as those of superior longitudinal and arcuate fasciculi. The middle row of subplots in the same figure depict the ODFs reconstructed by RDG-CS using and diffusion gradients. One can see that the quality of reconstruction progressively improves as increases. It is important to note that, before applying the RDG-CS algorithm, the diffusion-encoded images had been pre-processed by a TV filter to reduce the effect of measurement noises on the estimation result. However, this pre-processing appears to be not nearly as effective as the spatial regularization of the RDG-TV algorithm, whose reconstruction results are shown in the bottom row of subplots in Figure 9. The above conclusion is further supported by an additional example of Figure 10, which shows the reconstructions pertaining to the indicated area within an axial cross-section of the brain. (The relevant fibre bundles here are those of cingulum and corpus callosum). As in the previous example, one can see that the most accurate reconstruction is attained by means of the proposed RDG-TV method. The superiority of RDG-TV is also confirmed by the quantitative figures of Table ?, which summarizes the NSME obtained by the compared algorithms for different values of .

## 7Discussion and Conclusions

When considered as a whole, the HARDI signals which pertain to a given volume of interest can be described as multi-valued (or, more generally, measure-valued) functions from a subset of to the space of square-integrable spherical functions . Such functions can be thought of as if they had two “modes of variation” - one in the spatial and another in the diffusion domain. Although applying various inverse problems (a particular instance of which is addressed by the theory of CS) along the spatial and diffusion coordinates independently is not new to the community of medical imaging scientists, formulating a CS reconstruction problem in *both domains simultaneously* has not been proposed before. Accordingly, the present paper introduced the RDG-TV algorithm which exploits the above idea and can be used for reliable reconstruction of HARDI signals from as few as diffusion-encoded scans (as compared to 60-80 scans required by existing reconstruction tools). The algorithm exploits the fact that HARDI signals can be sparsely represented by spherical ridgelets in the diffusion domain, while their associated diffusion-encoded images have bounded variation in the spatial domain. Moreover, it has been shown experimentally that either using different representation bases or excluding the spatial regularization would result in considerably less accurate reconstruction results.

At the practical level, the reconstruction is implemented based on the split Bregman approach (with 20 being the maximum number of Bregman iterations used in this study). The resulting algorithm alternates between two estimation stages (Equation 29): first, a sequence of basis pursuit de-noising problems are solved independently on a voxel-by-voxel basis, followed by applying a TV filter to a total of discrete images. Such computations are straightforward to accelerate using a multicore processing, which is another advantage of the proposed reconstruction method.

We believe that the algorithm presented in this paper can be improved in a number of ways. First, the square metric used to assess the model fidelity could be replaced by a different metric, which would be more specific to the nature of Rician noise. Second, the fact that diffusion signals are positive-valued could be explicitly incorporated into the reconstruction process in the form of additional constraints. Lastly, the bounded variation model could be substituted by an alternative model, which could (possibly) provide a better account for the spatial regularity of HARDI signals. Exploring the above options constitutes essential part of our ongoing research.

Finally, as the experimental study reported in this paper was comparative in its nature, it was not really important what method to use for approximation of ODFs. Specifically, the present results have been obtained using Tuch’s approximation [14]. However, more accurate computation of ODFs is possible based on the solid angle formulation as detailed in [89]^{3}

### Footnotes

- Since the definition in (Equation 10) involves an infinite summation, the latter needs to be truncated to render the computations practical. In practice, we truncate the summation to index for which the magnitude of the summand drops below .
- Note that the algorithm is guaranteed to converge for any . In this work we use .
- We found, however, that the methods in [89] are more sensitive to noise than the one in [14], and this is why we used the latter to avoid an inconsistency in interpreting the estimation results.

### References

- T. M. Jessell and E. R. Kandel, “Synaptic transmission: a bidirectional and self-modifiable form of cell-cell communication,”
*Cell*, vol. 72 Suppl, pp. 1–30, Jan 1993. - H. Johansen-Berg and T. E. J. Behrens,
*Diffusion MRI: From quantitative measurements to in-vivo neuroanatomy*, 1st ed.1em plus 0.5em minus 0.4emAcademic Press, 2009. - D. L. Bihan, E. Breton, D. Lallemand, P. Grenier, E. Cabanis, and M. Laval-Jeantet, “MR imaging of intravoxel incoherent motions: Application to diffusion and perfusion in neurological disorders,”
*Radiology*, vol. 161, pp. 401–407, 1986. - P. J. Basser, J. Mattiello, and D. LeBihan, “MR diffusion tensor spectroscopy and imaging,”
*Biophys. J.*, vol. 66, no. 1, pp. 259–267, 1994. - ——, “Estimation of the effective self-diffusion tensor from the NMR spin echo,”
*J. Magn. Reson. Imag. B*, vol. 103, no. 3, pp. 247–254, 1994. - C. Pierpaoli, P. Jezzard, P. Basser, A. Barnett, and G. D. Chiro, “Diffusion tensor MR imaging of the human brain,”
*Radiology*, vol. 201, no. 3, pp. 637–648, 1996. - D. L. Bihan, J.-F. Mangin, C. Poupon, C. Clark, S. Pappata, N. Molko, and H. Chabriat, “Diffusion tensor imaging: Concepts and applications,”
*Journal of Magnetic Resonance Imaging*, vol. 13, pp. 534–546, 2001. - S. Mori, K. Frederiksen, P. C. M. V. Zijl, B. Stieltjes, M. A. Kraut, M. Solaiyappan, and M. G. Pomper, “Brain white matter anatomy of tumor patients evaluated with diffusion tensor imaging,”
*Annals of Neurology*, vol. 51, no. 3, pp. 377–380, 2002. - G. K. Rohde, A. S. Barnett, P. J. Basser, S. Marenco, and C. Pierpaoli, “Comprehensive approach for correction of motion and distortion in diffusion-weighted MRI,”
*Magnetic Resonance in Medicine*, vol. 51, pp. 103–114, 2004. - C. A. Clark, T. R. Barrick, M. M. Murphy, and B. A. Bell, “White matter fiber tracking in patients with space-occupying lesions of the brain: A new technique for neurosurgical planning?”
*NeuroImage*, vol. 20, no. 3, pp. 1601–1608, 2003. - H. Akai, H. Mori, S. Aoki, Y. Masutani, N. Kawahara, J. Shibahara, and K. Ohtomo, “Diffusion tensor tractography of gliomatosis cerebri: Fiber tracking through the tumor,”
*Journal of Computer Assisted Tomography*, vol. 29, no. 1, pp. 127–129, 2005. - C. S. Yu, K. C. Li, Y. Xuan, X. M. Ji, and W. Qin, “Diffusion tensor tractography in patients with cerebral tumors: A helpful technique for neurosurgical planning and postoperative assessment,”
*European Journal of Radiology*, vol. 56, no. 2, pp. 197–204, 2005. - D. C. Alexander, “Multiple-fiber reconstruction algorithms for diffusion MRI,”
*Annals of the New York Academy of Science*, vol. 1064, pp. 113–133, 2005. - D. S. Tuch, “Q-ball imaging,”
*Magnetic Resonance in Medicine*, vol. 52, pp. 1358–1372, 2004. - S. Mori,
*Introduction to diffusion tensor imaging*.1em plus 0.5em minus 0.4emElsevier, 2007. - P. J. Basser, S. Pajevic, C. Pierpaoli, J. Duda, and A. Aldroubi, “In vivo fiber tractography using DT-MRI data,”
*Magnetic Resonance in Medicine*, vol. 44, pp. 625–632, 2000. - A. L. Alexander, J. E. Lee, M. Lazar, and A. S. Field, “Diffusion tensor imaging of the brain,”
*Neurotherapeutics*, vol. 4, pp. 316–329, 2007. - D. K. Jones, “The effect of gradient sampling schemes on measures derived from Diffusion Tensor MRI: A Monte Carlo study,”
*Magnetic Resonance in Medicine*, vol. 51, pp. 807–815, 2004. - M. R. Wiegell, H. Larsson, and V. J. Wedeen, “Fiber crossing in human brain depicted with diffusion tensor MR imaging,”
*Radiology*, vol. 217, pp. 897–903, 2000. - L. Frank, “Anisotropy in high angular resolution diffusion-tensor MRI,”
*Magnetic Resonance in Medicine*, vol. 45, pp. 935–939, 2001. - D. C. Alexander, G. J. Barker, , and S. R. Arridge, “Detection and modeling of non-Gaussian apparent diffusion coefficient profiles in human brain data,”
*Journal of Magnetic Resonance Imaging*, vol. 48, no. 2, pp. 331–340, 2002. - L. R. Frank, “Characterization of anisotropy in high angular resolution diffusion-weighted MRI,”
*Magnetic Resonance in Medicine*, vol. 47, pp. 1083–1099, 2002. - D. S. Tuch, T. G. Reese, M. R. Wiegell, N. Makris, J. W. Belliveau, and V. J. Wedeen, “High angular resolution diffusion imaging reveals intravoxel white matter fiber heterogeneity,”
*Magnetic Resonance in Medicine*, vol. 48, pp. 577–582, 2002. - D. S. Tuch, T. G. Reese, M. R. Wiegell, and V. J. Wedeen, “Diffusion MRI of complex neural architecture,”
*Neuron*, vol. 40, pp. 885–895, 2003. - A. W. Anderson, “Measurement of fiber orientation distributions using high angular resolution diffusion imaging,”
*Magnetic Resonance in Medicine*, vol. 54, pp. 1194–1206, 2005. - M. Descoteaux, E. Angelino, S. Fitzgibbons, and R. Deriche, “Apparent diffusion coefficients from high angular resolution diffusion images: Estimation and applications,”
*Magnetic Resonance in Medicine*, vol. 56, no. 2, pp. 395–410, 2006. - C. P. Hess, P. Mukherjee, E. T. Han, D. Xu, and D. R. Vigneron, “Q-ball reconstruction of multimodal fiber orientations using the spherical harmonic basis,”
*Magnetic Resonance in Medicine*, vol. 56, pp. 104–117, 2006. - M. Descoteaux, E. Angelino, S. Fitzgibbons, and R. Deriche, “Regularized, fast, and robust analytical Q-ball imaging,”
*Magnetic Resonance in Medicine*, vol. 58, pp. 497–510, 2007. - B. W. Kreher, J. F. Schneider, I. Mader, E. Martin, J. Hennig, and K. A. Ilyasov, “Multi-tensor approach for analysis and tracking of complex fiber configurations,”
*Magnetic Resonance in Medicine*, vol. 54, pp. 1216–1225, 2005. - A. Banerjee, I. Dhillon, J. Gosh, and S. Sra, “Clustering on the unit hyper-sphere using von Mises-Fisher distributions,”
*J. Mach. Learn. Research*, vol. 6, pp. 1345–1382, 2005. - T. McGraw, B. Vemuri, B. Yezierski, and T. Mareci, “Von Mises-Fisher mixture model of the diffusion ODF,” in
*Proceedings of ISBI*, Arlington, VA, 2006. - T. Schultz and H. Seidel, “Estimating crossing fibers: A tensor decomposition approach,”
*IEEE Transactions on Visualization and Computer Graphics*, vol. 14, no. 6, pp. 1635–1642, 2008. - E. Kaden, A. Anwander, and T. R. Knosche, “Variational inference of the fiber orientation density using diffusion mr imaging,”
*NeuroImage*, vol. 42, pp. 1366–1380, 2008. - Y. Rathi, O. Michailovich, M. E. Shenton, and S. Bouix, “Directional functions for orientation distribution estimation,”
*Medical Image Analysis*, vol. 13, no. 3, pp. 432–444, 2009. - H. Groemer,
*Geometric applications of Fourier series and spherical harmonics*.1em plus 0.5em minus 0.4emCambridge University Press, 1996. - O. Michailovich and Y. Rathi, “Approximation of orientation distribution functions by spherical ridgelets,” in
*Proceedings of ISBI*, Paris, 2008. - ——, “On approximation of orientation distributions by means of spherical ridgelets,”
*IEEE Transactions on Image Processing*, vol. 19, no. 2, pp. 461–477, 2010. - E. Candes and T. Tao, “Near optimal signal recovery from random projections: Universal encoding strategies,”
*IEEE Transactions on Information Theory*, vol. 52, no. 12, pp. 5406–5425, Dec. 2006. - E. Candes, J. Romberg, and T. Tao, “Stable signal recovery from incomplete and inaccurate measurements,”
*Communications on Pure and Applied Mathematics*, vol. 59, no. 8, pp. 1207–1221, 2006. - ——, “Robust uncertainty principles: Exact signal reconstruction from highly incomplete frequency information,”
*IEEE Transactions on Information Theory*, vol. 52, no. 2, pp. 489–509, 2006. - D. Donoho, “Compressed sensing,”
*IEEE Transactions on Information Theory*, vol. 52, no. 4, pp. 1289–1306, 2006. - D. Donoho and Y. Tsaig, “Extensions of compressed sensing,”
*Signal Processing*, vol. 86, no. 3, pp. 533–548, 2006. - J. Haupt and R. Nowak, “Signal reconstruction from noisy random projections,”
*IEEE Transactions on Information Theory*, vol. 52, no. 9, pp. 4036–4048, 2006. - R. Baraniuk, M. Davenport, R. DeVore, , and M. Wakin, “A simple proof of the restricted isometry property for random matrices,”
*Constructive Approximation*, vol. 28, no. 3, pp. 253–263, 2008. - O. Michailovich and Y. Rathi, “Fast and accurate reconstruction of HARDI data using compressed sensing,” in
*Medical Image Computing and Computer-Assisted Intervention (MICCAI)*, Beijing, China, September 2010. - B. A. Landman, H. Wan, J. A. Bogovic, P.-L. Bazin, and J. L. Prince, “Resolution of crossing fibers with constrained compressed sensing using traditional Diffusion Tensor MRI,” in
*Proceedings of SPIE*, ser. Medical Imaging, San Diego, CA, February 2010. - B. A. Landman, H. Wan, J. A. Bogovic, P. C. M. V. Zijl, P.-L. Bazin, and J. L. Prince, “In the pursuit of intra-voxel fiber orientations: Comparison of compressed sensing DTI and Q-ball MRI,” in
*Proceedings of ISMRM*, Stockholm, Sweden, 2010. - M. I. Menzel, K. Khare, K. F. King, X. Tao, C. J. Hardy, and L. Marinelli, “Accelerated diffusion spectrum imaging in the human brain using compressed sensing,” in
*Proceedings of ISMRM*, Stockholm, Sweden, 2010. - N. Lee and M. Singh, “Compressed sensing based Diffusion Spectrum Imaging,” in
*Proceedings of ISMRM*, Stockholm, Sweden, 2010. - W. Yin, S. Osher, D. Goldfarb, and J. Darbon, “Bregman itrative algorithms for -minimization with applications to compressed sensing,”
*SIAM J. Imaging Sciences*, vol. 1, no. 1, pp. 143–168, 2008. - T. Goldstein and S. Osher, “The split Bregman algorithm for L1 regularized problems,” UCLA, Tech. Rep. CAM Report 08-29, 2008.
- E. Esser, “Applications of Lagrangian-based alternating direction methods and connections to split Bregman,” UCLA, Tech. Rep. CAM Report 09-31, 2008.
- J. Malcolm, M. Shenton, and Y. Rathi, “Neural tractography using an unscented Kalman filter,” in
*Proceedings of IPMI*, 2009, pp. 126–138. - ——, “Filtered tractography: State estimation in a constrained subspace,” in
*Proceedings of MICCAI (Diffusion Modeling and Fiber Cup)*, 2009, pp. 122–133. - K. M. Jansons and D. C. Alexander, “Persistent angular structure: New insights from diffusion magnetic resonance imaging data,”
*Inverse Problems*, vol. 19, pp. 1031–1046, 2003. - J.-D. Tournier, F. Calamante, D. G. Gadian, and A. Connelly, “Direct estimation of the fiber orientation density function from diffusion-weighted MRI data using spherical deconvolution,”
*NeuroImage*, vol. 23, pp. 1176–1185, 2004. - A. Ramirez-Manzanares, M. Rivera, B. C. Vemuri, P. Carney, and T. Mareci, “Diffusion basis functions decomposition for estimating white matter intravoxel fiber geometry,”
*IEEE Transactions on Medical Imaging*, vol. 26, no. 8, pp. 1091–1102, August 2007. - K. E. Sakaie and M. J. Lowe, “An objective method for regularization of fiber orientation distributions derived from diffusion-weighted MRI,”
*NeuroImage*, vol. 34, pp. 169–176, 2007. - F. Huang, J. Akao, S. Vijayakumar, G. R. Duensing, and M. Limkeman, “k-t GRAPPA: A k-space implementation for dynamic MRI with high reduction factor,”
*Magnetic Resonance in Medicine*, vol. 54, no. 5, pp. 1172–1184, 2005. - H. Jung, J. C. Ye, and E. Y. Kim, “Improved k-t BLASK and k-t SENSE using FOCUSS,”
*Physics in Medicine and Biology*, vol. 52, pp. 3201–3226, 2007. - H. Jung, K. Sung, K. S. Nayak, E. Y. Kim, and J. C. Ye, “k-t FOCUSS: A general compressed sensing framework for high resolution dynamic MRI,”
*Magnetic Resonance in Medicine*, vol. 61, pp. 103–116, 2009. - M. Lustig, D. Donoho, and J. M. Pauly, “Sparse MRI: The application of compressed sensing for rapid MR imaging,”
*Magnetic Resonance in Medicine*, vol. 58, no. 6, pp. 1182–1195, 2007. - Y.-C. Kim, S. S. Narayanan, and K. S. Nayak, “Accelerated three-dimensional upper airway MRI using compressed sensing,”
*Magnetic Resonance in Medicine*, vol. 61, pp. 1434–1440, 2009. - R. Chartrand, “Fast algorithms for nonconvex compressive sensing: MRI reconstruction from very few data,” in
*Proceedings of ISBI*, Boston, MA, 2009. - J. Trzasko, A. Manduca, and E. Borisch, “Highly undersampled magnetic resonance image reconstruction via homotopic L0-minimization,”
*IEEE Transactions on Medical Imaging*, vol. 28, no. 1, pp. 106–121, 2009. - D. Liang, B. Liu, J. Wang, and L. Ying, “Accelerating SENSE using compressed sensing,”
*Magnetic Resonance in Medicine*, vol. 62, pp. 1574–1584, 2009. - I. Daubechies,
*Ten lectures on wavelets*.1em plus 0.5em minus 0.4emSIAM, 1995. - S. Mallat,
*A wavelet tour of signal processing*, 2nd ed.1em plus 0.5em minus 0.4emAcademic Press, 1999. - W. Freeden, M. Schreiner, and R. Franke, “A survey on spherical spline approximation,”
*Surv. Math. Ind.*, vol. 7, pp. 29–85, 1997. - W. Freeden and F. Schreiner, “Orthogonal and non-orthogonal multiresolution analysis, scale discrete and exact fully discrete wavelet transform on the sphere,”
*Constructive Approximation*, vol. 14, pp. 493–515, 1998. - P. Blomberg and T. Chan, “Color tv: Total variation methods for restoration of vector-valued images,”
*IEEE Transactions on Image Processing*, vol. 7, no. 3, pp. 304–309, March 1998. - L. I. Rudin, S. Osher, and E. Fatemi, “Nonlinear total variation based noise removal algorithms,”
*Physica D: Nonlinear Phenomena*, vol. 60, no. 1–4, pp. 259–268, 1992. - S. Boyd and L. Vandenberghe,
*Convex optimization*.1em plus 0.5em minus 0.4emCambridge University Press, 2004. - I. Daubechies, M. Defrise, and C. DeMol, “An iterative thresholding algorithm for linear inverse problems with a sparsity constraint,”
*arXiv:math/0307152v2*, 2003. - M. A. T. Figueiredo and R. D. Nowak, “An EM algorithm for wavelet-based image restoration,”
*IEEE Transactions on Image Processing*, vol. 12, no. 8, pp. 906–916, 2003. - M. Elad, B. Matalon, J. Shtok, and M. Zibulevsky, “A wide-angle view at iterated shrinkage algorithms,” in
*Proceedings of SPIE (Wavelet XII)*, San-Diego CA, USA, 2007. - J. M. Bioucas-Dias and M. A. T. Figueiredo, “A new TwIST: Two-step iterative shrinkage/thresholding algorithms for image restoration,”
*IEEE Transactions on Image Processing*, vol. 16, no. 12, pp. 2992–3004, Dec. 2007. - A. Beck and M. Teboulle, “A fast iterative shrinkage-thresholding algorithm for linear inverse problems,”
*SIAM J. Imaging Sciences*, vol. 2, no. 1, pp. 183–202, 2009. - C. Vogel and M. Oman, “Iterative methods for total variation de-noising,”
*SIAM J. Sci. Comput.*, vol. 17, no. 1–4, pp. 227–238, Jan. 1996. - J.-F. Aujol, “Some first-order algorithms for total variation based image restoration,”
*J. Math. Imaging Vis.*, vol. 34, pp. 307–327, 2009. - Y. Wang, W. Yin, and Y. Zhang, “A fast algorithm for image deblurring with total variation regularization,” Rice University, Tech. Rep. TR07-10, 2010.
- O. Michailovich, “An iterative shrinkage approach to total-variation image restoration,”
*IEEE Transactions on Image Processing*, 2010. - S. Osher, M. Burger, D. Goldfarb, J. Xu, and W. Yin, “An iterative regularization method for total variation-based image restoration,”
*Multiscale Model. Simul.*, vol. 4, no. 2, pp. 460–489, 2005. - A. Chambolle and P.-L. Lions, “Image recovery via total variation minimization and related problems,”
*Numer. Math.*, vol. 76, pp. 167–188, 1997. - L. M. Bregman, “A relaxation method for finding a common point of convex sets and its application to the solution of problems in convex programming,”
*USSR Computational Mathematics and Mathematical Physics*, no. 7, pp. 200–217, 1967. - J. Eckstein and D. Bertsekas, “On the Douglas-Rachford splitting method and the proximal point algorithm for maximal monotone operators,”
*Mathematical Programming*, no. 55, 1992. - E. A. Rakhmanov, E. B. Saff, and Y. M. Zhou, “Minimal discrete energy on the sphere,”
*Mathematical Research Letters*, vol. 1, pp. 647–662, 1994. - E. B. Saff and A. B. J. Kuijlaars, “Distributing many points on a sphere,”
*The Mathematical Intelligencer*, vol. 19, no. 1, pp. 5–11, December 1997. - I. Aganj, C. Lenglet, G. Sapiro, E. Yacoub, K. Ugurbil, and N. Harel, “Reconstruction of the orientation distribution function in single- and multiple-shell q-ball imaging within constant solid angle,”
*Magnetic Resonance in Medicine*, vol. 64, pp. 554–566, 2010. - A. Tristan-Vega, C. F. Westin, and S. Aja-Fernandez, “Estimation of fiber orientation probability density functions in high angular resolution diffusion imaging,”
*NeuroImage*, vol. 47, pp. 638–650, 2009.