Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

HTML conversions sometimes display errors due to content that did not convert correctly from the source. This paper uses the following packages that are not yet supported by the HTML conversion tool. Feedback on these issues are not necessary; they are known and are being worked on.

  • failed: latexrelease

Authors: achieve the best HTML results from your LaTeX submissions by following these best practices.

License: CC BY-NC-ND 4.0
arXiv:2403.00402v1 [eess.SP] 01 Mar 2024

Spatio-temporal reconstruction of substance dynamics using compressed sensing in multi-spectral magnetic resonance spectroscopic imaging

Utako Yamamotoab𝑎𝑏{}^{ab}start_FLOATSUPERSCRIPT italic_a italic_b end_FLOATSUPERSCRIPT Corresponding author.
Room 408, Sogo-kenkyu 12th building, Yoshida-honmachi, Sakyo-ku, Kyoto-city, Kyoto, 606–8501, Japan
E-mail addresses: yamamoto.utako.6a@kyoto-u.jp (U. Yamamoto)
   Hirohiko Imaia𝑎{}^{a}start_FLOATSUPERSCRIPT italic_a end_FLOATSUPERSCRIPT    Kei Sanoa𝑎{}^{a}start_FLOATSUPERSCRIPT italic_a end_FLOATSUPERSCRIPT    Masayuki Ohzekicdef𝑐𝑑𝑒𝑓{}^{cdef}start_FLOATSUPERSCRIPT italic_c italic_d italic_e italic_f end_FLOATSUPERSCRIPT    Tetsuya Matsudaa𝑎{}^{a}start_FLOATSUPERSCRIPT italic_a end_FLOATSUPERSCRIPT    Toshiyuki Tanakaa𝑎{}^{a}start_FLOATSUPERSCRIPT italic_a end_FLOATSUPERSCRIPT a𝑎{}^{a}start_FLOATSUPERSCRIPT italic_a end_FLOATSUPERSCRIPTDepartment of Systems Science, Graduate School of Informatics, Kyoto University, Kyoto, Japan, b𝑏{}^{b}start_FLOATSUPERSCRIPT italic_b end_FLOATSUPERSCRIPTResearch Fellow RPD, Japan Society for the Promotion of Science (JSPS) c𝑐{}^{c}start_FLOATSUPERSCRIPT italic_c end_FLOATSUPERSCRIPTGraduate School of Information Sciences, Tohoku University, Sendai, Japan, d𝑑{}^{d}start_FLOATSUPERSCRIPT italic_d end_FLOATSUPERSCRIPTInternational Research Frontier Initiative, Tokyo Institute of Technology, Tokyo, Japan, e𝑒{}^{e}start_FLOATSUPERSCRIPT italic_e end_FLOATSUPERSCRIPTDepartment of Physics, Tokyo Institute of Technology, Tokyo, Japan, f𝑓{}^{f}start_FLOATSUPERSCRIPT italic_f end_FLOATSUPERSCRIPTSigma-i Co., Ltd., Tokyo, Japan,

Abstract The objective of our study is to observe dynamics of multiple substances in vivo with high temporal resolution from multi-spectral magnetic resonance spectroscopic imaging (MRSI) data. The multi-spectral MRSI can effectively separate spectral peaks of multiple substances and is useful to measure spatial distributions of substances. However it is difficult to measure time-varying substance distributions directly by ordinary full sampling because the measurement requires a significantly long time. In this study, we propose a novel method to reconstruct the spatio-temporal distributions of substances from randomly undersampled multi-spectral MRSI data on the basis of compressed sensing (CS) and the partially separable function model with base spectra of substances. In our method, we have employed spatio-temporal sparsity and temporal smoothness of the substance distributions as prior knowledge to perform CS. By directly reconstructing the spatio-temporal distributions of the substances themselves without reconstructing the spectra, this method significantly reduces the amount of MRSI data required per single time frame. We have formulated a regularized minimization problem for reconstruction and solved it by the alternating direction method of multipliers (ADMM). The effectiveness of our method has been evaluated using phantom data sets of glass tubes filled with glucose or lactate solution in increasing amounts over time and animal data sets of a tumor-bearing mouse to observe the metabolic dynamics involved in the Warburg effect in vivo. The reconstructed results are consistent with the expected behaviors, showing that our method can reconstruct the spatio-temporal distribution of substances with a temporal resolution of four seconds which is extremely short time scale compared with that of full sampling. Since this method utilizes only prior knowledge naturally assumed for the spatio-temporal distributions of substances and is independent of the number of the spectral and spatial dimensions or the acquisition sequence of MRSI, it is expected to contribute to revealing the underlying substance dynamics in MRSI data already acquired or to be acquired in the future.

Keywords: Magnetic resonance spectroscopic imaging, Spatio-temporal reconstruction, Substance dynamics, Compressed sensing, 1subscript1\ell_{1}roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT regularization, Alternating direction method of multipliers

I Introduction

Magnetic resonance spectroscopic imaging (MRSI) has been recognized as a powerful tool to measure spatial distributions of chemical substances in vivo (Posse et al., 2013). It enables us to detect substances by identifying substance-specific spectral peaks. In multi-spectral MRSI, one can expect better separation of spectral peaks produced by different substances, and thus increasing the number of spectral dimensions of MRSI allows us to detect more kinds of substances (Thomas et al., 2001; Glunde and Bhujwalla, 2011). For example, 2D spectral MRSI acquired with a pulse sequence incorporating 11{}^{1}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPTH-1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC heteronuclear multiple quantum coherence (HMQC) (van Zijl et al., 1993) yields 2D spectra for H and C nuclei, which allow us to separate spectral peaks of lactate and fat, which are difficult with only the spectra for H nucleus. However, multi-spectral MRSI suffers from a prolonged acquisition time required to complete signal encodings for multiple spectral and spatial dimensions.

The prolonged acquisition time prevents MRSI from detecting substances whose distributions vary in time. This is because the substance distributions will change before the signal encoding of multiple spectral and spatial dimensions is completed. If the signal acquisition will be significantly accelerated, one will be able to observe spatio-temporal distributions of substances as a “movie.” Many acceleration methods for signal acquisition have been proposed (Bogner et al., 2021). A method of combining multiband slice selection with consistent k-t-space EPSI has been developed for accelerated spectral imaging (Schmidt et al., 2019). There is also a report of ultra-fast imaging of hyperpolarized biomolecules with 1D spectral MRSI using multi-echo balanced steady-state free precession sequences (Müller et al., 2020). Although these methods have been successful in reducing the scanning time, acceleration is restricted by the performance of MR system and the design of acquisition pulse sequence. In order to circumvent such restrictions, an acceleration method which can be performed without special MR system or complicated acquisition pulse sequence has to be developed.

The objective of this research is to reconstruct spatio-temporal dynamics of substances in vivo from undersampled multi-spectral MRSI data acquired on time-varying samples on the basis of compressed sensing (CS) (Donoho, 2006; Lustig et al., 2007). Undersampling is a way for acceleration without special MR system or complicated acquisition pulse sequence. It enables us to reduce the signal acquisition time by obtaining a small fraction of signals compared with full sampling. We employ a reconstruction method based on CS that directly estimates the spatio-temporal distributions of multiple substances by modeling the temporal variation of the substance distributions and using the base spectra of substances as prior knowledge. It should be noted that in our method the substance distributions are not obtained via reconstructing the MRSI spectra, but by directly reconstructing the substance distributions themselves.

The CS provides a general framework for reconstruction from undersampled data with prior knowledge that variables to be estimated should be sparse. In a previous study (Santos-Díaz and Noseworthy, 2019), 1D MRSI spectrum was reconstructed with a 3-fold CS acceleration factor using sparsity of the spectrum in the wavelet-transformed domain. The spatial dimensions in MRSI can provide various other types of sparsity besides the sparsity of MR spectra. For example, the sparsity about variations of spectra along spatial dimensions has been utilized in 1D spectral MRSI (Saucedo et al., 2021) and 2D spectral MRSI (Iqbal et al., 2017). The sparsity of both of the 2D wavelet transform of spectra in the two spatial dimensions and the 3D total variation of spectra has been exploited in reconstruction of undersampled 1D spectral MRSI data (Nassirpour et al., 2018). As a modeling of the temporal structure, Larson et al. (2011) reconstructed the substance dynamics with high temporal resolution by exploiting the sparsity of the wavelet transform of the spectrum in the time dimension. Their method used hyperpolarization of 1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC to enhance the signal intensity of MRSI, and also constructed a pulse sequence suitable for the target substance, resulting in fast signal acquisition.

In addition, we have incorporated the partially separable function (PSF) model (Liang, 2007; Haldar and Liang, 2010), which is also known as the subspace model, into CS in order to achieve a temporal resolution that is much higher than the time scale of full sampling. The PSF model exploits low-rankness of data in conjunction with low-rank matrix decomposition methods. By combining this idea with CS, MRSI data for the reconstruction of a 1D spectral-2D spacial MRSI image has been acquired in as short a time as 5 minutes (Klauser et al., 2021), and high-resolution imaging data has been created from the sparsely sampled and short-time acquired transients in mass spectrometry imaging (Xie et al., 2022). The PSF model has also been employed to achieve the reconstruction of dynamic MRI images (Feng et al., 2020; Djebra et al., 2022). A report by Li et al. (2021) has shown that high temporal and spatial resolution were achieved by using the PSF model and machine learning at the stage of data acquisition rather than reconstruction. Lam et al. (2020) has reported an MRSI acceleration method that represents the high-dimensional spectroscopic imaging data as a union or superposition of subspaces by learning an efficient model to represent spectroscopic images using training data. Our method utilizes a pre-acquired spectrum as the base spectrum for each substance, but the base spectrum would also be obtained by learning parameters involved in the base spectrum, as in the previous study by Lam et al. (2020). In other words, a future development of our method incorporating artificial intelligence is expected.

Our method does not utilize prior knowledge of the sparsity of the spectrum to perform CS, but only the sparsity that is supposed to exist in the substance distributions. This is because our method is not aimed at reconstructing spectra, but at reconstructing the spatio-temporal distributions of substances. In our method, the following two points were used as prior knowledge. One is that the substance distributions should have smoothness between adjacent time frames, since the substance does not appear or disappear suddenly, as is naturally assumed for the substance distributions, and the other is about sparsity where the substance under consideration exists only in a few spatial areas in the field of view and temporal intervals of the measurement. We adopted only these natural points as the prior knowledge because we considered them to be the most reasonable and appropriate conditions for observing a variety of phenomena occurring in vivo.

To the best of our knowledge, no study has reported the method that reconstructs substance dynamic images per time frame with arbitrary length from multi-spectral MRSI by directly reconstructing the spatio-temporal distributions of multiple substances using the sparsity in the temporal variation of the substance distributions as a prior knowledge for CS. Furthermore, the framework of our method is independent of the spectral and spatial dimensions of MRSI. In addition, the method can be applied to MRSI signals acquired with any MRSI pulse sequence, as long as they are randomly undersampled. The target substance is specified at the stage of reconstruction. The method is very systematic in that it is possible to reconstruct the spatio-temporal distributions of the target substances by simply performing the reconstruction with this method on MRSI data acquired in any dimensions and with any acquisition sequence. Therefore, this method is expected to contribute to the effective utilization of both existing MRSI data and those to be acquired in the future.

II Theory

This section describes a formulation to represent the reconstruction of the spatio-temporal distributions of substances as a minimization problem. With reference to the PSF model, the ideal spatio-temporal spectrum is represented by a linear combination of the spectra of the substances. The coefficients to be multiplied to the base spectra of the substances are the spatio-temporal distributions of the substances which are the targets of the estimation. Prior knowledge regarding the spatio-temporal distributions of substances, in both spatial and temporal domains, is incorporated into the formulation of CS as regularization. These formulations directly connect the spatio-temporal distributions of substances to be estimated with the measured MRSI signals. The substance distribution corresponding to each time point of the time-series of the measured MRSI signal is estimated, taking account of the distributions at the time points before and after that time point.

Let J𝐽Jitalic_J be the number of types of substances to be considered. Let x(𝒓,t;j)𝑥𝒓𝑡𝑗x(\bm{r},t;j)italic_x ( bold_italic_r , italic_t ; italic_j ) denote the spatio-temporal distribution of substance j{1,,J}𝑗1𝐽j\in\{1,\ldots,J\}italic_j ∈ { 1 , … , italic_J } at spatial position 𝒓𝒓\bm{r}bold_italic_r at time t𝑡titalic_t, which we wish to estimate. The ideal spatio-temporal spectrum Θ(𝒇,𝒓,t)Θ𝒇𝒓𝑡\Theta(\bm{f},\bm{r},t)roman_Θ ( bold_italic_f , bold_italic_r , italic_t ) as a function of frequency 𝒇𝒇\bm{f}bold_italic_f associated with the spectral measurements, spatial position 𝒓𝒓\bm{r}bold_italic_r, and time t𝑡titalic_t is then given by

Θ(𝒇,𝒓,t)=j=1JθB(𝒇;j)x(𝒓,t;j),Θ𝒇𝒓𝑡superscriptsubscript𝑗1𝐽subscript𝜃B𝒇𝑗𝑥𝒓𝑡𝑗\Theta(\bm{f},\bm{r},t)=\sum_{j=1}^{J}\theta_{\mathrm{B}}(\bm{f};j)x(\bm{r},t;% j),roman_Θ ( bold_italic_f , bold_italic_r , italic_t ) = ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_J end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT ( bold_italic_f ; italic_j ) italic_x ( bold_italic_r , italic_t ; italic_j ) , (1)

where θB(𝒇;j)subscript𝜃B𝒇𝑗\theta_{\mathrm{B}}(\bm{f};j)italic_θ start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT ( bold_italic_f ; italic_j ) denotes the substance-specific spectrum which would be obtained if substance j𝑗jitalic_j were measured in isolation without spatial encoding, which we call the base spectrum. In other words, the spatio-temporal spectrum is represented as a linear combination of base spectra with coefficients given by spatio-temporal distributions of substances. We write this linear relation abstractly as

Θ=ΘB𝒙.ΘsubscriptΘB𝒙\Theta=\Theta_{\mathrm{B}}\bm{x}.roman_Θ = roman_Θ start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT bold_italic_x . (2)

Relationship of the signal y𝑦yitalic_y and the spectrum ΘΘ\Thetaroman_Θ in MRSI is modeled as the discrete Fourier transform in the spatial dimensions as well as in the spectral dimensions. Let R𝒩𝑅superscript𝒩R\subset\mathbb{R}^{\mathcal{N}}italic_R ⊂ blackboard_R start_POSTSUPERSCRIPT caligraphic_N end_POSTSUPERSCRIPT denote the spatial region of interest, which is assumed to be a direct product of intervals, such as a rectangle for 𝒩=2𝒩2\mathcal{N}=2caligraphic_N = 2, and appropriately discretized into a Cartesian grid. Let Q𝑄superscriptQ\subset\mathbb{R}^{\mathcal{M}}italic_Q ⊂ blackboard_R start_POSTSUPERSCRIPT caligraphic_M end_POSTSUPERSCRIPT denote the measured range of spectra, which is also assumed to be a direct product of intervals and appropriately discretized into a Cartesian grid. When =11\mathcal{M}=1caligraphic_M = 1, Q𝑄Qitalic_Q corresponds to the range of detection times in the readout direction. When 22\mathcal{M}\geq 2caligraphic_M ≥ 2, the additional dimensions of Q𝑄Qitalic_Q consist of axes of evolution times. The MRSI signal to be acquired from the spatio-temporal spectrum Θ(𝒇,𝒓,t)Θ𝒇𝒓𝑡\Theta(\bm{f},\bm{r},t)roman_Θ ( bold_italic_f , bold_italic_r , italic_t ) at time t𝑡titalic_t is modeled as

y(𝝉,𝒌,t)=[Θ(𝒇,𝒓,t)]𝑦𝝉𝒌𝑡delimited-[]Θ𝒇𝒓𝑡y(\mathchoice{\mbox{\boldmath$\displaystyle\tau$}}{\mbox{\boldmath$\textstyle% \tau$}}{\mbox{\boldmath$\scriptstyle\tau$}}{\mbox{\boldmath$\scriptscriptstyle% \tau$}},\bm{k},t)=\mathcal{F}[\Theta(\bm{f},\bm{r},t)]italic_y ( bold_italic_τ , bold_italic_k , italic_t ) = caligraphic_F [ roman_Θ ( bold_italic_f , bold_italic_r , italic_t ) ] (3)

for (𝝉,𝒌)(Q)×(R)𝝉𝒌𝑄𝑅(\mathchoice{\mbox{\boldmath$\displaystyle\tau$}}{\mbox{\boldmath$\textstyle% \tau$}}{\mbox{\boldmath$\scriptstyle\tau$}}{\mbox{\boldmath$\scriptscriptstyle% \tau$}},\bm{k})\in\mathcal{F}(Q)\times\mathcal{F}(R)( bold_italic_τ , bold_italic_k ) ∈ caligraphic_F ( italic_Q ) × caligraphic_F ( italic_R ), where \mathcal{F}caligraphic_F denotes the discrete Fourier transform operator, and where (Q)𝑄\mathcal{F}(Q)caligraphic_F ( italic_Q ) and (R)𝑅\mathcal{F}(R)caligraphic_F ( italic_R ) denote the dual grids of Q𝑄Qitalic_Q and R𝑅Ritalic_R, respectively, on which the discrete Fourier coefficients are defined.

If one could acquire the MRSI signals {y(𝝉,𝒌,t)}𝑦𝝉𝒌𝑡\{y(\mathchoice{\mbox{\boldmath$\displaystyle\tau$}}{\mbox{\boldmath$% \textstyle\tau$}}{\mbox{\boldmath$\scriptstyle\tau$}}{\mbox{\boldmath$% \scriptscriptstyle\tau$}},\bm{k},t)\}{ italic_y ( bold_italic_τ , bold_italic_k , italic_t ) } at all grid points of (Q)×(R)𝑄𝑅\mathcal{F}(Q)\times\mathcal{F}(R)caligraphic_F ( italic_Q ) × caligraphic_F ( italic_R ) at time t𝑡titalic_t, then simple application of inverse discrete Fourier transform would give us the spatio-temporal spectrum Θ(𝒇,𝒓,t)Θ𝒇𝒓𝑡\Theta(\bm{f},\bm{r},t)roman_Θ ( bold_italic_f , bold_italic_r , italic_t ) at time t𝑡titalic_t. When the spatio-temporal spectrum Θ(𝒇,𝒓,t)Θ𝒇𝒓𝑡\Theta(\bm{f},\bm{r},t)roman_Θ ( bold_italic_f , bold_italic_r , italic_t ) changes over time, however, one cannot acquire the full set of MRSI signals {y(𝝉,𝒌,t):(𝝉,𝒌)(Q)×(R)}conditional-set𝑦𝝉𝒌𝑡𝝉𝒌𝑄𝑅\{y(\mathchoice{\mbox{\boldmath$\displaystyle\tau$}}{\mbox{\boldmath$% \textstyle\tau$}}{\mbox{\boldmath$\scriptstyle\tau$}}{\mbox{\boldmath$% \scriptscriptstyle\tau$}},\bm{k},t):(\mathchoice{\mbox{\boldmath$\displaystyle% \tau$}}{\mbox{\boldmath$\textstyle\tau$}}{\mbox{\boldmath$\scriptstyle\tau$}}{% \mbox{\boldmath$\scriptscriptstyle\tau$}},\bm{k})\in\mathcal{F}(Q)\times% \mathcal{F}(R)\}{ italic_y ( bold_italic_τ , bold_italic_k , italic_t ) : ( bold_italic_τ , bold_italic_k ) ∈ caligraphic_F ( italic_Q ) × caligraphic_F ( italic_R ) } for the spatio-temporal spectrum Θ(𝒇,𝒓,t)Θ𝒇𝒓𝑡\Theta(\bm{f},\bm{r},t)roman_Θ ( bold_italic_f , bold_italic_r , italic_t ) at time t𝑡titalic_t, simply because of the prolonged acquisition time of MRSI. If the time scale of temporal changes of the spatio-temporal spectrum is not too short, one could consider aggregating MRSI signals acquired within a time interval whose length is short relative to the time scale, such as the sliding window methods (d’Arcy et al., 2002) and the keyhole technique (Van Vaals et al., 1993).

In this paper, we take an approach based on the Bayesian framework, in which 𝒙𝒙\bm{x}bold_italic_x is estimated on the basis of a posterior probability of 𝒙𝒙\bm{x}bold_italic_x given MRSI signals. The posterior probability is given in terms of a prior and a likelihood. Let P(𝒙)𝑃𝒙P(\bm{x})italic_P ( bold_italic_x ) be an appropriate prior distribution for the spatio-temporal distributions 𝒙(𝒓,t)𝒙𝒓𝑡\bm{x}(\bm{r},t)bold_italic_x ( bold_italic_r , italic_t ), (𝒓,t)R×T𝒓𝑡𝑅𝑇(\bm{r},t)\in R\times T( bold_italic_r , italic_t ) ∈ italic_R × italic_T, where T𝑇T\subset\mathbb{R}italic_T ⊂ blackboard_R denotes the time interval over which we are interested in the spatio-temporal distributions. A likelihood function quantifies, given a spatio-temporal spectrum, how likely a set of acquired MRSI signals is. Let 𝒯={snT:n=1,2,}𝒯conditional-setsubscript𝑠𝑛𝑇𝑛12\mathcal{T}=\{s_{n}\in T:n=1,2,\ldots\}caligraphic_T = { italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ∈ italic_T : italic_n = 1 , 2 , … } denote the set of time points at which one acquires MRSI signals. We assume that MRSI signals are acquired at time t=sn𝑡subscript𝑠𝑛t=s_{n}italic_t = italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT on a subset 𝒟nsubscript𝒟𝑛\mathcal{D}_{n}caligraphic_D start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT of grid points in (Q)×(R)𝑄𝑅\mathcal{F}(Q)\times\mathcal{F}(R)caligraphic_F ( italic_Q ) × caligraphic_F ( italic_R ), for n=1,2,𝑛12n=1,2,\ldotsitalic_n = 1 , 2 , …, and let 𝒚(sn)={y(𝝉,𝒌,sn):(𝝉,𝒌)𝒟n}𝒚subscript𝑠𝑛conditional-set𝑦𝝉𝒌subscript𝑠𝑛𝝉𝒌subscript𝒟𝑛\bm{y}(s_{n})=\{y(\mathchoice{\mbox{\boldmath$\displaystyle\tau$}}{\mbox{% \boldmath$\textstyle\tau$}}{\mbox{\boldmath$\scriptstyle\tau$}}{\mbox{% \boldmath$\scriptscriptstyle\tau$}},\bm{k},s_{n}):(\mathchoice{\mbox{\boldmath% $\displaystyle\tau$}}{\mbox{\boldmath$\textstyle\tau$}}{\mbox{\boldmath$% \scriptstyle\tau$}}{\mbox{\boldmath$\scriptscriptstyle\tau$}},\bm{k})\in% \mathcal{D}_{n}\}bold_italic_y ( italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) = { italic_y ( bold_italic_τ , bold_italic_k , italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) : ( bold_italic_τ , bold_italic_k ) ∈ caligraphic_D start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT } be the set of MRSI signals acquired at time t=sn𝑡subscript𝑠𝑛t=s_{n}italic_t = italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT. Let P(𝒚|Θ,𝒟)𝑃conditional𝒚Θ𝒟P(\bm{y}|\Theta,\mathcal{D})italic_P ( bold_italic_y | roman_Θ , caligraphic_D ) denote the likelihood function of 𝒚𝒚\bm{y}bold_italic_y acquired on 𝒟(Q)×(R)𝒟𝑄𝑅\mathcal{D}\subset\mathcal{F}(Q)\times\mathcal{F}(R)caligraphic_D ⊂ caligraphic_F ( italic_Q ) × caligraphic_F ( italic_R ) given ΘΘ\Thetaroman_Θ. Let 𝒚*={𝒚(sn):sn𝒯}subscript𝒚conditional-set𝒚subscript𝑠𝑛subscript𝑠𝑛𝒯\bm{y}_{*}=\{\bm{y}(s_{n}):s_{n}\in\mathcal{T}\}bold_italic_y start_POSTSUBSCRIPT * end_POSTSUBSCRIPT = { bold_italic_y ( italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) : italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ∈ caligraphic_T } be a collection of acquired MRSI signals on 𝒯𝒯\mathcal{T}caligraphic_T. On the basis of the Bayesian framework, we can then construct a posterior distribution of 𝒙𝒙\bm{x}bold_italic_x given 𝒚*subscript𝒚\bm{y}_{*}bold_italic_y start_POSTSUBSCRIPT * end_POSTSUBSCRIPT as

P(𝒙|𝒚*)P(𝒙)nP(𝒚(sn)|ΘB𝒙(sn),𝒟n).proportional-to𝑃conditional𝒙subscript𝒚𝑃𝒙subscriptproduct𝑛𝑃conditional𝒚subscript𝑠𝑛subscriptΘB𝒙subscript𝑠𝑛subscript𝒟𝑛P(\bm{x}|\bm{y}_{*})\propto P(\bm{x})\prod_{n}P(\bm{y}(s_{n})|\Theta_{\mathrm{% B}}\bm{x}(s_{n}),\mathcal{D}_{n}).italic_P ( bold_italic_x | bold_italic_y start_POSTSUBSCRIPT * end_POSTSUBSCRIPT ) ∝ italic_P ( bold_italic_x ) ∏ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_P ( bold_italic_y ( italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) | roman_Θ start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT bold_italic_x ( italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) , caligraphic_D start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) . (4)

The maximum-a-posteriori (MAP) estimation of the spatio-temporal distribution 𝒙𝒙\bm{x}bold_italic_x given 𝒚*subscript𝒚\bm{y}_{*}bold_italic_y start_POSTSUBSCRIPT * end_POSTSUBSCRIPT is then formulated as the minimization of the negative log posterior, as

min𝒙(logP(𝒙)nlogP(𝒚(sn)|ΘB𝒙(sn),𝒟n)).subscript𝒙𝑃𝒙subscript𝑛𝑃conditional𝒚subscript𝑠𝑛subscriptΘB𝒙subscript𝑠𝑛subscript𝒟𝑛\min_{\bm{x}}\left(-\log P(\bm{x})-\sum_{n}\log P(\bm{y}(s_{n})|\Theta_{% \mathrm{B}}\bm{x}(s_{n}),\mathcal{D}_{n})\right).roman_min start_POSTSUBSCRIPT bold_italic_x end_POSTSUBSCRIPT ( - roman_log italic_P ( bold_italic_x ) - ∑ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT roman_log italic_P ( bold_italic_y ( italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) | roman_Θ start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT bold_italic_x ( italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) , caligraphic_D start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) ) . (5)

Given MRSI signals 𝒚={y(𝝉,𝒌):(𝝉,𝒌)𝒟(Q)×(R)}𝒚conditional-set𝑦𝝉𝒌𝝉𝒌𝒟𝑄𝑅\bm{y}=\{y(\mathchoice{\mbox{\boldmath$\displaystyle\tau$}}{\mbox{\boldmath$% \textstyle\tau$}}{\mbox{\boldmath$\scriptstyle\tau$}}{\mbox{\boldmath$% \scriptscriptstyle\tau$}},\bm{k}):(\mathchoice{\mbox{\boldmath$\displaystyle% \tau$}}{\mbox{\boldmath$\textstyle\tau$}}{\mbox{\boldmath$\scriptstyle\tau$}}{% \mbox{\boldmath$\scriptscriptstyle\tau$}},\bm{k})\in\mathcal{D}\subset\mathcal% {F}(Q)\times\mathcal{F}(R)\}bold_italic_y = { italic_y ( bold_italic_τ , bold_italic_k ) : ( bold_italic_τ , bold_italic_k ) ∈ caligraphic_D ⊂ caligraphic_F ( italic_Q ) × caligraphic_F ( italic_R ) }, we define the likelihood function P(𝒚|Θ,𝒟)𝑃conditional𝒚Θ𝒟P(\bm{y}|\Theta,\mathcal{D})italic_P ( bold_italic_y | roman_Θ , caligraphic_D ) as

P(𝒚|Θ,𝒟)exp[12σ2𝒚(Θ)𝒟2],proportional-to𝑃conditional𝒚Θ𝒟12superscript𝜎2superscriptsubscriptnorm𝒚Θ𝒟2P(\bm{y}|\Theta,\mathcal{D})\propto\exp\left[-\frac{1}{2\sigma^{2}}\|\bm{y}-% \mathcal{F}(\Theta)\|_{\mathcal{D}}^{2}\right],italic_P ( bold_italic_y | roman_Θ , caligraphic_D ) ∝ roman_exp [ - divide start_ARG 1 end_ARG start_ARG 2 italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∥ bold_italic_y - caligraphic_F ( roman_Θ ) ∥ start_POSTSUBSCRIPT caligraphic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] , (6)

where for 𝜻={ζ(𝝉,𝒌):(𝝉,𝒌)𝒟}𝜻conditional-set𝜁𝝉𝒌𝝉𝒌𝒟\bm{\zeta}=\{\zeta(\mathchoice{\mbox{\boldmath$\displaystyle\tau$}}{\mbox{% \boldmath$\textstyle\tau$}}{\mbox{\boldmath$\scriptstyle\tau$}}{\mbox{% \boldmath$\scriptscriptstyle\tau$}},\bm{k})\in\mathbb{C}:(\mathchoice{\mbox{% \boldmath$\displaystyle\tau$}}{\mbox{\boldmath$\textstyle\tau$}}{\mbox{% \boldmath$\scriptstyle\tau$}}{\mbox{\boldmath$\scriptscriptstyle\tau$}},\bm{k}% )\in\mathcal{D}\}bold_italic_ζ = { italic_ζ ( bold_italic_τ , bold_italic_k ) ∈ blackboard_C : ( bold_italic_τ , bold_italic_k ) ∈ caligraphic_D } we let

𝜻𝒟2=(𝝉,𝒌)𝒟|ζ(𝝉,𝒌)|2.superscriptsubscriptnorm𝜻𝒟2subscript𝝉𝒌𝒟superscript𝜁𝝉𝒌2\|\bm{\zeta}\|_{\mathcal{D}}^{2}=\sum_{(\mathchoice{\mbox{\boldmath$% \displaystyle\tau$}}{\mbox{\boldmath$\textstyle\tau$}}{\mbox{\boldmath$% \scriptstyle\tau$}}{\mbox{\boldmath$\scriptscriptstyle\tau$}},\bm{k})\in% \mathcal{D}}|\zeta(\mathchoice{\mbox{\boldmath$\displaystyle\tau$}}{\mbox{% \boldmath$\textstyle\tau$}}{\mbox{\boldmath$\scriptstyle\tau$}}{\mbox{% \boldmath$\scriptscriptstyle\tau$}},\bm{k})|^{2}.∥ bold_italic_ζ ∥ start_POSTSUBSCRIPT caligraphic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ∑ start_POSTSUBSCRIPT ( bold_italic_τ , bold_italic_k ) ∈ caligraphic_D end_POSTSUBSCRIPT | italic_ζ ( bold_italic_τ , bold_italic_k ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (7)

It amounts to assuming that the noises in MRSI signal acquisition are independent zero-mean complex Gaussian with variance 2σ22superscript𝜎22\sigma^{2}2 italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

The prior distribution P(𝒙)𝑃𝒙P(\bm{x})italic_P ( bold_italic_x ) summarizes our beliefs, prior to data acquisition, about how plausible a spatio-temporal distribution 𝒙𝒙\bm{x}bold_italic_x is. First, one can argue that in MRSI experiments we are basically interested in substances which are more or less localized in space, and accordingly, a spatio-temporal distribution is expected to be sparse in space. Second, metabolism in vivo consists of gradual processes, so that temporal changes of the spatio-temporal distributions are expected to occur smoothly. A prior distribution that incorporates the above two factors may be given by

P(𝒙)exp[λx𝒙1λW1𝒲𝒙112λW2𝒲𝒙22],proportional-to𝑃𝒙subscript𝜆xsubscriptnorm𝒙1subscript𝜆W1subscriptnorm𝒲𝒙112subscript𝜆W2superscriptsubscriptnorm𝒲𝒙22P(\bm{x})\propto\exp\left[-\lambda_{\mathrm{x}}\|\bm{x}\|_{1}-\lambda_{\mathrm% {W1}}\|\mathcal{W}\bm{x}\|_{1}-\frac{1}{2}\lambda_{\mathrm{W2}}\|\mathcal{W}% \bm{x}\|_{2}^{2}\right],italic_P ( bold_italic_x ) ∝ roman_exp [ - italic_λ start_POSTSUBSCRIPT roman_x end_POSTSUBSCRIPT ∥ bold_italic_x ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_λ start_POSTSUBSCRIPT W1 end_POSTSUBSCRIPT ∥ caligraphic_W bold_italic_x ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT ∥ caligraphic_W bold_italic_x ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] , (8)

where 𝒳psubscriptnorm𝒳𝑝\|\mathcal{X}\|_{p}∥ caligraphic_X ∥ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT, p=1,2𝑝12p=1,2italic_p = 1 , 2, is the psubscript𝑝\ell_{p}roman_ℓ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT-norm of 𝒳𝒳\mathcal{X}caligraphic_X, and where 𝒲𝒲\mathcal{W}caligraphic_W is a time-difference operator, defined as 𝒲𝒙(t)=𝒙(t+Δ)𝒙(t)𝒲𝒙𝑡𝒙𝑡Δ𝒙𝑡\mathcal{W}\bm{x}(t)=\bm{x}(t+\Delta)-\bm{x}(t)caligraphic_W bold_italic_x ( italic_t ) = bold_italic_x ( italic_t + roman_Δ ) - bold_italic_x ( italic_t ) with time difference Δ>0Δ0\Delta>0roman_Δ > 0. The first term in the exponent corresponds to the 1subscript1\ell_{1}roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-norm regularization and it promotes sparsity of the spatio-temporal distributions, whereas the second and the third terms correspond to what is called the elastic net regularization (Zou and Hastie, 2005) on 𝒲𝒙𝒲𝒙\mathcal{W}\bm{x}caligraphic_W bold_italic_x and they encourage temporal smoothness of the spatio-temporal distributions. The regularization parameters λx,λW1,λW2>0subscript𝜆xsubscript𝜆W1subscript𝜆W20\lambda_{\mathrm{x}},\lambda_{\mathrm{W1}},\lambda_{\mathrm{W2}}>0italic_λ start_POSTSUBSCRIPT roman_x end_POSTSUBSCRIPT , italic_λ start_POSTSUBSCRIPT W1 end_POSTSUBSCRIPT , italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT > 0 control the relative strengths of the three terms 𝒙1subscriptnorm𝒙1\|\bm{x}\|_{1}∥ bold_italic_x ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, 𝒲𝒙1subscriptnorm𝒲𝒙1\|\mathcal{W}\bm{x}\|_{1}∥ caligraphic_W bold_italic_x ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, and 𝒲𝒙22superscriptsubscriptnorm𝒲𝒙22\|\mathcal{W}\bm{x}\|_{2}^{2}∥ caligraphic_W bold_italic_x ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

Our formulation of estimating the spatio-temporal distributions 𝒙𝒙\bm{x}bold_italic_x on the basis of acquired MRSI signals 𝒚*subscript𝒚\bm{y}_{*}bold_italic_y start_POSTSUBSCRIPT * end_POSTSUBSCRIPT is therefore given by the convex minimization problem

min𝒙(12n𝒚(sn)(ΘB𝒙(sn))𝒟n2+λx𝒙1+λW1𝒲𝒙1+12λW2𝒲𝒙22),subscript𝒙12subscript𝑛superscriptsubscriptnorm𝒚subscript𝑠𝑛subscriptΘB𝒙subscript𝑠𝑛subscript𝒟𝑛2subscript𝜆xsubscriptnorm𝒙1subscript𝜆W1subscriptnorm𝒲𝒙112subscript𝜆W2superscriptsubscriptnorm𝒲𝒙22\displaystyle\min_{\bm{x}}\left(\frac{1}{2}\sum_{n}\|\bm{y}(s_{n})-\mathcal{F}% (\Theta_{\mathrm{B}}\bm{x}(s_{n}))\|_{\mathcal{D}_{n}}^{2}+\lambda_{\mathrm{x}% }\|\bm{x}\|_{1}\right.\left.+\lambda_{\mathrm{W1}}\|\mathcal{W}\bm{x}\|_{1}+% \frac{1}{2}\lambda_{\mathrm{W2}}\|\mathcal{W}\bm{x}\|_{2}^{2}{}\right),roman_min start_POSTSUBSCRIPT bold_italic_x end_POSTSUBSCRIPT ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ∥ bold_italic_y ( italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) - caligraphic_F ( roman_Θ start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT bold_italic_x ( italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) ) ∥ start_POSTSUBSCRIPT caligraphic_D start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT roman_x end_POSTSUBSCRIPT ∥ bold_italic_x ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_λ start_POSTSUBSCRIPT W1 end_POSTSUBSCRIPT ∥ caligraphic_W bold_italic_x ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT ∥ caligraphic_W bold_italic_x ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) , (9)

which has a form of a regularized least-squares regression, and where the variance parameter σ2superscript𝜎2\sigma^{2}italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT has been absorbed into the regularization parameters λxsubscript𝜆x\lambda_{\mathrm{x}}italic_λ start_POSTSUBSCRIPT roman_x end_POSTSUBSCRIPT, λW1subscript𝜆W1\lambda_{\mathrm{W1}}italic_λ start_POSTSUBSCRIPT W1 end_POSTSUBSCRIPT, and λW2subscript𝜆W2\lambda_{\mathrm{W2}}italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT. We reconstruct the spatio-temporal distributions of substances by solving this minimization problem.

III Material and methods

Refer to caption
Figure 1: A diagram of the proposed reconstruction method. The randomly undersampled MRSI signals are divided into time frames with arbitrary time width along the actual elapsed time and the spatio-temporal distributions of substances are assigned to the time frames.

In this section, we describe the procedures of the phantom and the animal experiments, the imaging protocol in the data acquisition, how to set the time frame and construct the base spectrum in preparation for reconstruction, the algorithm of the optimization method, and the reconstruction setting. In particular, the procedure described in subsection D, which divides the measured MRSI signal into time frames with arbitrary time width along the actual elapsed time and assigns the spatio-temporal distribution of substances to each time frame, is important for this reconstruction method. A diagram of the proposed reconstruction method is shown in Fig. 1.

III.1 Phantom experiments

We evaluated the performance of the reconstruction by our method using phantom experiments. MRSI data sets were acquired in three different settings using samples for which the spatial distributions of the substances and the time variations of their amount were known. In Experiment 1, uniformly 1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC-labeled D-glucose ([U-1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC66{}_{6}start_FLOATSUBSCRIPT 6 end_FLOATSUBSCRIPT]glucose) (Cambridge Isotope Laboratories, Inc., Andover, MA, USA) solution was instilled into a glass tube at a constant rate to increase the volume of the solution during the data collection. In Experiment 2, [U-1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC66{}_{6}start_FLOATSUBSCRIPT 6 end_FLOATSUBSCRIPT]glucose and [U-1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC33{}_{3}start_FLOATSUBSCRIPT 3 end_FLOATSUBSCRIPT]lactate solutions were instilled into the respective glass tubes. In Experiment 3, in addition to the setting of Experiment 2, a live mouse was also placed between the glass tubes for data acquisition of fat. The treatment of the mouse followed the one described in the animal experiment section below. The instilled volume of the solution was set to be increased along the slice direction of MR scans; since the MR scans were performed without slice selection, the increase in volume was measured as an increase in the spectral intensity of the corresponding voxels. In Experiment 1, a total of 400 μ𝜇\muitalic_μL of glucose solution was instilled at four different instillation rates of 53.3 (Experiment 1-1), 22.9 (Experiment 1-2), 11.1 (Experiment 1-3), and 5.9 (Experiment 1-4) μ𝜇\muitalic_μL/min, and the time required to instill the entire solution was 7.5, 17.5, 36.0, and 68.0 min, respectively. One tube was used to inject the glucose solution, and the four experiments with different settings in Experiment 1 were performed separately. In Experiments 2 and 3, a total of 400 μ𝜇\muitalic_μL of glucose solution and a total of 400 μ𝜇\muitalic_μL of lactate solution were instilled at rates of 22.9 μ𝜇\muitalic_μL/min for 17.5 min and 5.9 μ𝜇\muitalic_μL/min for 68.0 min, respectively. The instillation of both solutions into each of the two glass tubes was started simultaneously. The data acquisition started just prior to the beginning of instillation and continued until a set of 1,024 MRSI data were collected over 68 minutes.

III.2 Animal experiment

We furthermore evaluated our reconstruction method using animal experimental data in Experiment 4. In the experiment a tumor-bearing mouse injected with glucose solution was examined to observe metabolic processes related to the phenomenon called the Warburg effect (Hsu and Sabatini, 2008; Vander Heiden et al., 2009). The Warburg effect refers to the phenomenon occurring in tumor cells which, unlike cells in normal tissues, exhibit high glycolytic activity and tend to convert most glucose to lactate, so that the amount of lactate in our experimental setting is expected to increase gradually (about several minutes to several hours (DeBerardinis et al., 2007)) in tumor following the injection. However it is difficult to observe the dynamics via full-sampling MRSI, because the process occurs in short time scale relative to the time required for full sampling of MRSI signals.

All animal procedures were conducted in accordance with guidelines of animal experimentation at Kyoto University, where the experiment was conducted. A male BALB/c nude mouse (CLEA Japan, Inc., Tokyo, Japan) was transplanted with murine colon carcinoma cells (Colon 26, 1 ×\times× 1066{}^{6}start_FLOATSUPERSCRIPT 6 end_FLOATSUPERSCRIPT cells / 50 μ𝜇\muitalic_μL) into subepidermal tissues on the right back near the shoulder several weeks prior to the MR experiments. Two molar of [U-1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC66{}_{6}start_FLOATSUBSCRIPT 6 end_FLOATSUBSCRIPT]glucose solution was prepared for the injection of glucose. Before the MR scanning, a 27-gauge butterfly needle attached to a 1-mL plastic syringe through a tubing filled with the [U-1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC66{}_{6}start_FLOATSUBSCRIPT 6 end_FLOATSUBSCRIPT]glucose solution was inserted into the abdomen. Throughout MR scanning, the mouse was anesthetized with 1–2.5 % isoflurane (Forane; Abbott Japan, Co., Ltd., Tokyo, Japan) in a 1.5 L/min air flow through a plastic mask. The injection of glucose solution was started at 4 minutes and 47 seconds passed from the beginning of the MR scanning. The injection continued at a constant rate of 10 μ𝜇\muitalic_μL/s, yielding a total injection time of 30 s.

III.3 Data acquisition

We acquired 2D spectral and 2D spatial MRSI data. The MRSI pulse sequence we employed incorporates a gradient enhanced 11{}^{1}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPTH-1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC heteronuclear multiple quantum coherence (HMQC) based preparation (van Zijl et al., 1993). For acceleration of data acquisition, we just employed random undersampling, and did not use any fast-imaging methods specific to target substances or any special accelerating techniques in the pulse sequence, in order to demonstrate that our method works efficiently without them.

For designing the sequence of undersampling points in conjunction with the CS-based reconstruction, we employed Sobol sequences (Sobol’, 1967; Niederreiter, 1992), which are one of low-discrepancy sequences. A low-discrepancy sequence is a pseudo-random sequence with the property that its finite-length subsequences are close to uniformly distributed. In actual MR scanning, signals can be acquired rapidly enough along readout trajectories without undersampling. Since 11{}^{1}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPTH-1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC HMQC uses 11{}^{1}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPTH spectral direction as the readout axis in (Q2)subscript𝑄2\mathcal{F}(Q_{2})caligraphic_F ( italic_Q start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ), in our experiment, the sequence of undersampling points was determined for the remaining three axes of 1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC spectral dimension in (Q1)subscript𝑄1\mathcal{F}(Q_{1})caligraphic_F ( italic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) and two spatial dimensions in (R1)×(R2)subscript𝑅1subscript𝑅2\mathcal{F}(R_{1})\times\mathcal{F}(R_{2})caligraphic_F ( italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) × caligraphic_F ( italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ).

It is a common practice in designing undersampling points in MRSI (Furuyama et al., 2012) that regions with higher signal-to-noise ratio (SNR) are sampled more frequently than those with lower SNR. As for the 1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC dimension, the sampling for small-𝝉𝝉\textstyle\taubold_italic_τ points and large-𝝉𝝉\textstyle\taubold_italic_τ points are corresponding to the regions with higher and lower SNR, respectively. To achieve such non-uniform sampling, we applied nonlinear transformation to the elements of Sobol sequences in 1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC dimension. The particular form of the nonlinear transformation we used is as follows: Let NCsubscript𝑁CN_{\mathrm{C}}italic_N start_POSTSUBSCRIPT roman_C end_POSTSUBSCRIPT be the number of grid points in the 1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC dimension of (Q1)subscript𝑄1\mathcal{F}(Q_{1})caligraphic_F ( italic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ). Given an element η[0,1)𝜂01\eta\in[0,1)italic_η ∈ [ 0 , 1 ), in the 1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC dimension, of a member in a Sobol sequence and a parameter ψ>0𝜓0\psi>0italic_ψ > 0, we determined the corresponding index d{1,,NC}𝑑1subscript𝑁Cd\in\{1,\ldots,N_{\mathrm{C}}\}italic_d ∈ { 1 , … , italic_N start_POSTSUBSCRIPT roman_C end_POSTSUBSCRIPT } via the following nonlinear transformation:

d=log[1(1ψNC)η]logψ+1.𝑑11superscript𝜓subscript𝑁C𝜂𝜓1d=\left\lfloor\frac{\log[1-(1-\psi^{N_{\mathrm{C}}})\eta]}{\log\psi}\right% \rfloor+1.italic_d = ⌊ divide start_ARG roman_log [ 1 - ( 1 - italic_ψ start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT roman_C end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ) italic_η ] end_ARG start_ARG roman_log italic_ψ end_ARG ⌋ + 1 . (10)

If η𝜂\etaitalic_η is uniformly distributed over [0,1)01[0,1)[ 0 , 1 ), then the probability distribution of d𝑑ditalic_d satisfies P(d)ψdproportional-to𝑃𝑑superscript𝜓𝑑P(d)\propto\psi^{d}italic_P ( italic_d ) ∝ italic_ψ start_POSTSUPERSCRIPT italic_d end_POSTSUPERSCRIPT. We chose the value ψ=e4/NC𝜓superscript𝑒4subscript𝑁C\psi=e^{-4/N_{\mathrm{C}}}italic_ψ = italic_e start_POSTSUPERSCRIPT - 4 / italic_N start_POSTSUBSCRIPT roman_C end_POSTSUBSCRIPT end_POSTSUPERSCRIPT via our preliminary experiments, and used it in the following experiments. As for the spatial dimensions, on the other hand, we did not employ non-uniform undersampling, as our preliminary phantom experiments showed that non-uniform undersampling did not improve performance. It can be ascribed to the fact that the spatial resolution in our experiments was relatively low. When the spatial resolution is higher, one might consider non-uniform undersampling in the spatial dimensions as well, with higher sampling points near the origin of the k𝑘kitalic_k-space.

A preclinical 7T MR system (Bruker BioSpin MRI GmbH, Ettlingen, Germany) and a double resonant 11{}^{1}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPTH/1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC transmit-receive volume coil (Doty Scientific, Inc., Columbia, SC, USA) were used. The following acquisition parameters were used: TR/TE = 990.7/10.7 ms, FOV = 4×4444\times 44 × 4 cm22{}^{2}start_FLOATSUPERSCRIPT 2 end_FLOATSUPERSCRIPT (Experiment 1) and 4×8484\times 84 × 8 cm22{}^{2}start_FLOATSUPERSCRIPT 2 end_FLOATSUPERSCRIPT (Experiments 2, 3 , and 4), coronal orientation without slice selection, numbers of points = 32 (1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC) and 256 (11{}^{1}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPTH), bandwidths = 2000 Hz (11{}^{1}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPTH) and 8000 Hz (1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC), imaging matrix size = 8×8888\times 88 × 8 (Experiment 1) and 8×168168\times 168 × 16 (Experiments 2, 3 , and 4), and four-step phase cycling. The MRSI acquisition took approximately 68 minutes for a sequence of undersampling points of length 1,024 with four-step phase cycling per point, which constitute what we call an MRSI acquisition session. We performed a single MRSI acquisition session in each of the phantom experiments (Experiments 1, 2, and 3), and repeated six MRSI acquisition sessions with the same sequence of undersampling points, yielding a set of 6,144 MRSI data in the animal experiment (Experiment 4). Exactly the same sequence of undersampling points determined by a Sobol sequence as described above was used for all MRSI acquisition sessions in Experiments 2, 3, and 4, whose settings share the same imaging matrix.

In addition to the MRSI data, we acquired MRS data to construct the base spectra. The MRS data were obtained after the MRSI acquisition session (Experiments 1, 2, and 3), and every time between the consecutive MRSI acquisition sessions (Experiment 4), with the same acquisition parameters as the MRSI acquisition except for the use of phase encoding gradients. In the MRS scan, we performed full sampling along the 1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC spectral dimension, yielding full-sampled data in (Q)𝑄\mathcal{F}(Q)caligraphic_F ( italic_Q ). The scanning time was 2.1 minutes. In Experiment 4, the total scanning time was 7.3 hours including the six MRSI and the five MRS acquisition sessions, as well as the preparation time between consecutive sessions.

III.4 Preparation of reconstruction

We discretize the whole elapsed time T𝑇Titalic_T into M𝑀Mitalic_M equally-spaced time frames 𝒯¯={tmT:m=1,,M}¯𝒯conditional-setsubscript𝑡𝑚𝑇𝑚1𝑀\bar{\mathcal{T}}=\{t_{m}\in T:m=1,\ldots,M\}over¯ start_ARG caligraphic_T end_ARG = { italic_t start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ∈ italic_T : italic_m = 1 , … , italic_M }, where M𝑀Mitalic_M is the total number of time frames in the entire time to be reconstructed. The spatio-temporal distributions 𝒙𝒙\bm{x}bold_italic_x are then defined at these time frames, and let 𝒙m=𝒙(tm)subscript𝒙𝑚𝒙subscript𝑡𝑚\bm{x}_{m}=\bm{x}(t_{m})bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = bold_italic_x ( italic_t start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ). For convenience, we assume that the set 𝒯𝒯\mathcal{T}caligraphic_T of time points at which one acquires MRSI signals is a subset of the set 𝒯¯¯𝒯\bar{\mathcal{T}}over¯ start_ARG caligraphic_T end_ARG of time frames. If it is not the case, then one can interpolate 𝒙𝒙\bm{x}bold_italic_x to evaluate the likelihood of the acquired MRSI signals at time points in 𝒯𝒯\mathcal{T}caligraphic_T. The MRSI acquisition had some blank time during the intervals between the consecutive MRSI acquisition sessions to acquire MRS data and to prepare the next acquisition session in Experiment 4. As a consequence, there are time frames in 𝒯¯¯𝒯\bar{\mathcal{T}}over¯ start_ARG caligraphic_T end_ARG that are not in 𝒯𝒯\mathcal{T}caligraphic_T. We here define D={m:tm𝒯}𝐷conditional-set𝑚subscript𝑡𝑚𝒯D=\{m:t_{m}\in\mathcal{T}\}italic_D = { italic_m : italic_t start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ∈ caligraphic_T } as an index set to indicate the acquisition time points. Then |D|𝐷|D|| italic_D | means the number of time frames where MRSI data exists. The MRSI signals for mD𝑚𝐷m\in Ditalic_m ∈ italic_D are collectively represented as 𝒚m=𝒚(tm)subscript𝒚𝑚𝒚subscript𝑡𝑚\bm{y}_{m}=\bm{y}(t_{m})bold_italic_y start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = bold_italic_y ( italic_t start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) for simplicity. Assuming the time difference ΔΔ\Deltaroman_Δ in the definition of the time-difference operator 𝒲𝒲\mathcal{W}caligraphic_W to be equal to the time frame interval, our minimization problem [9] is discretized as

min𝒙(mD{12𝒚mAm𝒙m22+λx𝒙m1}+m=1M1{λW1𝒙m+1𝒙m1+12λW2𝒙m+1𝒙m22}),subscript𝒙subscript𝑚𝐷conditional-set12subscript𝒚𝑚evaluated-atsubscript𝐴𝑚subscript𝒙𝑚22subscript𝜆xsubscriptnormsubscript𝒙𝑚1superscriptsubscript𝑚1𝑀1conditional-setsubscript𝜆W1subscript𝒙𝑚1evaluated-atsubscript𝒙𝑚112subscript𝜆W2superscriptsubscriptnormsubscript𝒙𝑚1subscript𝒙𝑚22\displaystyle\min_{\bm{x}}\left(\sum_{m\in D}\left\{\frac{1}{2}\left\|\bm{y}_{% m}-A_{m}\bm{x}_{m}\right\|_{2}^{2}+\lambda_{\mathrm{x}}\left\|\bm{x}_{m}\right% \|_{1}\right\}\right.\left.+\sum_{m=1}^{M-1}\left\{\lambda_{\mathrm{W1}}\left% \|\bm{x}_{m+1}-\bm{x}_{m}\right\|_{1}+\frac{1}{2}\lambda_{\mathrm{W2}}\left\|% \bm{x}_{m+1}-\bm{x}_{m}\right\|_{2}^{2}\right\}\right),roman_min start_POSTSUBSCRIPT bold_italic_x end_POSTSUBSCRIPT ( ∑ start_POSTSUBSCRIPT italic_m ∈ italic_D end_POSTSUBSCRIPT { divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∥ bold_italic_y start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT - italic_A start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT roman_x end_POSTSUBSCRIPT ∥ bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT } + ∑ start_POSTSUBSCRIPT italic_m = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M - 1 end_POSTSUPERSCRIPT { italic_λ start_POSTSUBSCRIPT W1 end_POSTSUBSCRIPT ∥ bold_italic_x start_POSTSUBSCRIPT italic_m + 1 end_POSTSUBSCRIPT - bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT ∥ bold_italic_x start_POSTSUBSCRIPT italic_m + 1 end_POSTSUBSCRIPT - bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT } ) , (11)

where Am=UmFΘBsubscript𝐴𝑚subscript𝑈𝑚𝐹subscriptΘ𝐵A_{m}=U_{m}F\Theta_{B}italic_A start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = italic_U start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_F roman_Θ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT, where Umsubscript𝑈𝑚U_{m}italic_U start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT is the operator to extract elements corresponding to the undersampling points (𝝉,𝒌)𝒟𝝉𝒌𝒟(\mathchoice{\mbox{\boldmath$\displaystyle\tau$}}{\mbox{\boldmath$\textstyle% \tau$}}{\mbox{\boldmath$\scriptstyle\tau$}}{\mbox{\boldmath$\scriptscriptstyle% \tau$}},\bm{k})\in\mathcal{D}( bold_italic_τ , bold_italic_k ) ∈ caligraphic_D at time tmsubscript𝑡𝑚t_{m}italic_t start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT, and where F𝐹Fitalic_F is the inverse discrete Fourier transform matrix. Regularization with 𝒙1subscriptnorm𝒙1\left\|\bm{x}\right\|_{1}∥ bold_italic_x ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT is introduced only for time frames in 𝒯𝒯\mathcal{T}caligraphic_T: If the regularization were introduced for time frames in 𝒯¯\𝒯\¯𝒯𝒯\bar{\mathcal{T}}\backslash\mathcal{T}over¯ start_ARG caligraphic_T end_ARG \ caligraphic_T as well, then 𝒙msubscript𝒙𝑚\bm{x}_{m}bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT for mD𝑚𝐷m\not\in Ditalic_m ∉ italic_D would tend to zero, which is certainly undesirable.

We prepared the base spectra ΘBsubscriptΘ𝐵\Theta_{B}roman_Θ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT for target substances. We observed glucose in Experiment 1, glucose and lactate in Experiment 2, and fat as well as glucose and lactate in Experiments 3 and 4. The natural abundance of 1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC of approximately 1.11.11.11.1 % yields significant MRSI signals from fat independent of injection of 1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC-labeled glucose, which hampers accurate estimation of the amount of glucose and lactate. Distribution of fat is expected to be constant in time during the MRSI data acquisition, although we did not utilize the fact as prior knowledge of our reconstruction. In the 2D MRS spectrum of 11{}^{1}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPTH-1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC HMQC, the spectral peak corresponding to fat is separable from those of glucose and lactate. We extracted a 2D spectrum corresponding to each of the three substances from the spectra obtained by MRS measurements. In the phantom experiments we used the data from the MRS acquisition session after the MRSI acquisition session. In the animal experiment, we employed the data from the second MRS acquisition session, in which one can expect relatively large amounts of glucose and lactate existing in the body of the mouse, yielding reliable base spectra for glucose and lactate.

III.5 Optimization methods

The optimization problem (11) contains a large number of variables to be optimized. We employed an optimization algorithm by Wahlberg et al. (2012), which is based on the alternating direction method of multipliers (ADMM), to solve the problem. A basic idea behind the algorithm is to perform variable splitting, that is, introduction of auxiliary variables along with equality constraints, in order to make the resulting problems separable into smaller-sized subproblems, thereby allowing us to solve them efficiently. We show a pseudocode of our algorithm in Algorithm III.5, and describe it in the following. It should be noted that we do not claim that the particular form of the algorithm described below is optimal in any sense: It nevertheless demonstrates that the ADMM-based approach makes the large-scale optimization problem computationally feasible.

We rewrite the minimization problem (11) via variable splitting as

min𝒙,𝒉f(𝒙,𝒉)s.t.(𝒙,𝒉)C,formulae-sequencesubscript𝒙𝒉𝑓𝒙𝒉st𝒙𝒉𝐶\begin{split}&\min_{\bm{x},\bm{h}}f(\bm{x},\bm{h})\\ &\mathrm{s.t.}\;\;(\bm{x},\bm{h})\in C,\end{split}start_ROW start_CELL end_CELL start_CELL roman_min start_POSTSUBSCRIPT bold_italic_x , bold_italic_h end_POSTSUBSCRIPT italic_f ( bold_italic_x , bold_italic_h ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL roman_s . roman_t . ( bold_italic_x , bold_italic_h ) ∈ italic_C , end_CELL end_ROW (12)

where the objective function f𝑓fitalic_f and the constraint set C𝐶Citalic_C are defined as

f(𝒙,𝒉)=mD{Φm(𝒙m)+Ξm(𝒙m)}+m=1M1Ψm(𝒉m),𝑓𝒙𝒉subscript𝑚𝐷subscriptΦ𝑚subscript𝒙𝑚subscriptΞ𝑚subscript𝒙𝑚superscriptsubscript𝑚1𝑀1subscriptΨ𝑚subscript𝒉𝑚\displaystyle f(\bm{x},\bm{h})=\sum_{m\in D}\left\{\Phi_{m}(\bm{x}_{m})+\Xi_{m% }(\bm{x}_{m})\right\}+\sum_{m=1}^{M-1}\Psi_{m}(\bm{h}_{m}),italic_f ( bold_italic_x , bold_italic_h ) = ∑ start_POSTSUBSCRIPT italic_m ∈ italic_D end_POSTSUBSCRIPT { roman_Φ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) + roman_Ξ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) } + ∑ start_POSTSUBSCRIPT italic_m = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M - 1 end_POSTSUPERSCRIPT roman_Ψ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( bold_italic_h start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) , (13)
Φm(𝒙m)=12𝒚mAm𝒙m22,subscriptΦ𝑚subscript𝒙𝑚12superscriptsubscriptnormsubscript𝒚𝑚subscript𝐴𝑚subscript𝒙𝑚22\displaystyle\Phi_{m}(\bm{x}_{m})=\frac{1}{2}\left\|\bm{y}_{m}-A_{m}\bm{x}_{m}% \right\|_{2}^{2},roman_Φ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∥ bold_italic_y start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT - italic_A start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (14)
Ξm(𝒙m)=λx𝒙m1,subscriptΞ𝑚subscript𝒙𝑚subscript𝜆xsubscriptnormsubscript𝒙𝑚1\displaystyle\Xi_{m}(\bm{x}_{m})=\lambda_{\mathrm{x}}\left\|\bm{x}_{m}\right\|% _{1},roman_Ξ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) = italic_λ start_POSTSUBSCRIPT roman_x end_POSTSUBSCRIPT ∥ bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , (15)
Ψm(𝒉m)=λW1𝒉m1+12λW2𝒉m22,subscriptΨ𝑚subscript𝒉𝑚subscript𝜆W1subscriptnormsubscript𝒉𝑚112subscript𝜆W2superscriptsubscriptnormsubscript𝒉𝑚22\displaystyle\Psi_{m}(\bm{h}_{m})=\lambda_{\mathrm{W1}}\left\|\bm{h}_{m}\right% \|_{1}+\frac{1}{2}\lambda_{\mathrm{W2}}\left\|\bm{h}_{m}\right\|_{2}^{2},roman_Ψ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( bold_italic_h start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) = italic_λ start_POSTSUBSCRIPT W1 end_POSTSUBSCRIPT ∥ bold_italic_h start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT ∥ bold_italic_h start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (16)
C={(𝒙,𝒉):𝒉m=𝒙m+1𝒙m,m=1,,M1},𝐶conditional-set𝒙𝒉formulae-sequencesubscript𝒉𝑚subscript𝒙𝑚1subscript𝒙𝑚𝑚1𝑀1\displaystyle C=\left\{(\bm{x},\bm{h}):\bm{h}_{m}=\bm{x}_{m+1}-\bm{x}_{m},\;\;% m=1,\ldots,M-1\right\},italic_C = { ( bold_italic_x , bold_italic_h ) : bold_italic_h start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = bold_italic_x start_POSTSUBSCRIPT italic_m + 1 end_POSTSUBSCRIPT - bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , italic_m = 1 , … , italic_M - 1 } , (17)

with variables 𝒙={𝒙1,,𝒙M}𝒙subscript𝒙1subscript𝒙𝑀\bm{x}=\{\bm{x}_{1},\ldots,\bm{x}_{M}\}bold_italic_x = { bold_italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , bold_italic_x start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT } and 𝒉={𝒉1,,𝒉M1}𝒉subscript𝒉1subscript𝒉𝑀1\bm{h}=\{\bm{h}_{1},\ldots,\bm{h}_{M-1}\}bold_italic_h = { bold_italic_h start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , bold_italic_h start_POSTSUBSCRIPT italic_M - 1 end_POSTSUBSCRIPT }, 𝒙1,,𝒙M,𝒉1,,𝒉M1𝒩×Jsubscript𝒙1subscript𝒙𝑀subscript𝒉1subscript𝒉𝑀1superscript𝒩𝐽\bm{x}_{1},\ldots,\bm{x}_{M},\bm{h}_{1},\ldots,\bm{h}_{M-1}\in\mathbb{R}^{% \mathcal{N}\times J}bold_italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , bold_italic_x start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT , bold_italic_h start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , bold_italic_h start_POSTSUBSCRIPT italic_M - 1 end_POSTSUBSCRIPT ∈ blackboard_R start_POSTSUPERSCRIPT caligraphic_N × italic_J end_POSTSUPERSCRIPT. The constraint (𝒙,𝒉)C𝒙𝒉𝐶(\bm{x},\bm{h})\in C( bold_italic_x , bold_italic_h ) ∈ italic_C can alternatively be represented using an indicator function to further rewrite (12) as

min𝒙,𝒉,𝒛,𝒔{f(𝒙,𝒉)+C(𝒛,𝒔)}s.t.𝒙=𝒛,𝒉=𝒔,formulae-sequencesubscript𝒙𝒉𝒛𝒔𝑓𝒙𝒉subscript𝐶𝒛𝒔stformulae-sequence𝒙𝒛𝒉𝒔\begin{split}&\min_{\bm{x},\bm{h},\bm{z},\bm{s}}\;\;\left\{f(\bm{x},\bm{h})+% \mathcal{I}_{C}(\bm{z},\bm{s})\right\}\\ &\mathrm{s.t.}\;\;\bm{x}=\bm{z},\;\bm{h}=\bm{s},\end{split}start_ROW start_CELL end_CELL start_CELL roman_min start_POSTSUBSCRIPT bold_italic_x , bold_italic_h , bold_italic_z , bold_italic_s end_POSTSUBSCRIPT { italic_f ( bold_italic_x , bold_italic_h ) + caligraphic_I start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ( bold_italic_z , bold_italic_s ) } end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL roman_s . roman_t . bold_italic_x = bold_italic_z , bold_italic_h = bold_italic_s , end_CELL end_ROW (18)

with variables 𝒙=(𝒙1,,𝒙M)𝒙subscript𝒙1subscript𝒙𝑀\bm{x}=(\bm{x}_{1},\ldots,\bm{x}_{M})bold_italic_x = ( bold_italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , bold_italic_x start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ), 𝒉=(𝒉1,,𝒉M1)𝒉subscript𝒉1subscript𝒉𝑀1\bm{h}=(\bm{h}_{1},\ldots,\bm{h}_{M-1})bold_italic_h = ( bold_italic_h start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , bold_italic_h start_POSTSUBSCRIPT italic_M - 1 end_POSTSUBSCRIPT ), 𝒛=(𝒛1,,𝒛M)𝒛subscript𝒛1subscript𝒛𝑀\bm{z}=(\bm{z}_{1},\ldots,\bm{z}_{M})bold_italic_z = ( bold_italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , bold_italic_z start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ), and 𝒔=(𝒔1,,𝒔M1)𝒔subscript𝒔1subscript𝒔𝑀1\bm{s}=(\bm{s}_{1},\ldots,\bm{s}_{M-1})bold_italic_s = ( bold_italic_s start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , bold_italic_s start_POSTSUBSCRIPT italic_M - 1 end_POSTSUBSCRIPT ), where C(𝒛,𝒔)subscript𝐶𝒛𝒔\mathcal{I}_{C}(\bm{z},\bm{s})caligraphic_I start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ( bold_italic_z , bold_italic_s ) is the indicator function on the constraint set C𝐶Citalic_C, taking 0 if (𝒛,𝒔)C𝒛𝒔𝐶(\bm{z},\bm{s})\in C( bold_italic_z , bold_italic_s ) ∈ italic_C, and \infty otherwise.

Following the standard prescription of ADMM, we introduce the augmented Lagrangian for our problem (18), as

ρ1,ρ2(𝒙,𝒛,𝒖,𝒉,𝒔,𝝂)=f(𝒙,𝒉)+C(𝒛,𝒔)+ρ12𝒙𝒛+𝒖22+ρ22𝒉𝒔+𝝂22,subscriptsubscript𝜌1subscript𝜌2𝒙𝒛𝒖𝒉𝒔𝝂𝑓𝒙𝒉subscript𝐶𝒛𝒔subscript𝜌12superscriptsubscriptnorm𝒙𝒛𝒖22subscript𝜌22superscriptsubscriptnorm𝒉𝒔𝝂22\displaystyle\mathcal{L}_{\rho_{1},\rho_{2}}(\bm{x},\bm{z},\bm{u},\bm{h},\bm{s% },\mathchoice{\mbox{\boldmath$\displaystyle\nu$}}{\mbox{\boldmath$\textstyle% \nu$}}{\mbox{\boldmath$\scriptstyle\nu$}}{\mbox{\boldmath$\scriptscriptstyle% \nu$}})=f(\bm{x},\bm{h})+\mathcal{I}_{C}(\bm{z},\bm{s})+\frac{\rho_{1}}{2}% \left\|\bm{x}-\bm{z}+\bm{u}\right\|_{2}^{2}+\frac{\rho_{2}}{2}\left\|\bm{h}-% \bm{s}+\mathchoice{\mbox{\boldmath$\displaystyle\nu$}}{\mbox{\boldmath$% \textstyle\nu$}}{\mbox{\boldmath$\scriptstyle\nu$}}{\mbox{\boldmath$% \scriptscriptstyle\nu$}}\right\|_{2}^{2},caligraphic_L start_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( bold_italic_x , bold_italic_z , bold_italic_u , bold_italic_h , bold_italic_s , bold_italic_ν ) = italic_f ( bold_italic_x , bold_italic_h ) + caligraphic_I start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ( bold_italic_z , bold_italic_s ) + divide start_ARG italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ∥ bold_italic_x - bold_italic_z + bold_italic_u ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ∥ bold_italic_h - bold_italic_s + bold_italic_ν ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (19)

where 𝒖𝒖\bm{u}bold_italic_u and 𝝂𝝂\textstyle\nubold_italic_ν are scaled dual variables associated with the constraints 𝒙=𝒛𝒙𝒛\bm{x}=\bm{z}bold_italic_x = bold_italic_z and 𝒉=𝒔𝒉𝒔\bm{h}=\bm{s}bold_italic_h = bold_italic_s, respectively, and where ρ1,ρ2>0subscript𝜌1subscript𝜌20\rho_{1},\rho_{2}>0italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT > 0 are penalty parameters. Each iteration of ADMM consists of four steps, which will be described in the following.

The first step in the ADMM iteration is minimization of the augmented Lagrangian over 𝒙𝒙\bm{x}bold_italic_x. At iteration k𝑘kitalic_k, we solve the following minimization subproblem

𝒙mk+1:=argmin𝒙{Φm(𝒙)+Ξm(𝒙)+ρ12𝒙𝒛mk+𝒖mk22},m=1,,M.formulae-sequenceassignsuperscriptsubscript𝒙𝑚𝑘1subscriptargmin𝒙conditional-setsubscriptΦ𝑚𝒙subscriptΞ𝑚𝒙subscript𝜌12𝒙superscriptsubscript𝒛𝑚𝑘evaluated-atsuperscriptsubscript𝒖𝑚𝑘22𝑚1𝑀\displaystyle\bm{x}_{m}^{k+1}:=\mathop{\rm arg~{}min}\limits_{\bm{x}}\left\{% \Phi_{m}(\bm{x})+\Xi_{m}(\bm{x})+\frac{\rho_{1}}{2}\left\|\bm{x}-\bm{z}_{m}^{k% }+\bm{u}_{m}^{k}\right\|_{2}^{2}\right\},\quad m=1,\ldots,M.bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT := start_BIGOP roman_arg roman_min end_BIGOP start_POSTSUBSCRIPT bold_italic_x end_POSTSUBSCRIPT { roman_Φ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( bold_italic_x ) + roman_Ξ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( bold_italic_x ) + divide start_ARG italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ∥ bold_italic_x - bold_italic_z start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT + bold_italic_u start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT } , italic_m = 1 , … , italic_M . (20)

We again make use of variable splitting to handle the above subproblem as

min𝒙,𝜶{Φ(𝒙)+Ξ(𝜶)+ρ12𝒙𝒛mk+𝒖mk22}s.t.𝒙=𝜶,formulae-sequencesubscript𝒙𝜶Φ𝒙Ξ𝜶subscript𝜌12superscriptsubscriptdelimited-∥∥𝒙superscriptsubscript𝒛𝑚𝑘superscriptsubscript𝒖𝑚𝑘22st𝒙𝜶\begin{split}&\min_{\bm{x},\mathchoice{\mbox{\boldmath$\displaystyle\alpha$}}{% \mbox{\boldmath$\textstyle\alpha$}}{\mbox{\boldmath$\scriptstyle\alpha$}}{% \mbox{\boldmath$\scriptscriptstyle\alpha$}}}\left\{\Phi(\bm{x})+\Xi(% \mathchoice{\mbox{\boldmath$\displaystyle\alpha$}}{\mbox{\boldmath$\textstyle% \alpha$}}{\mbox{\boldmath$\scriptstyle\alpha$}}{\mbox{\boldmath$% \scriptscriptstyle\alpha$}})+\frac{\rho_{1}}{2}\left\|\bm{x}-\bm{z}_{m}^{k}+% \bm{u}_{m}^{k}\right\|_{2}^{2}\right\}\\ &\mathrm{s.t.}\;\;\bm{x}=\mathchoice{\mbox{\boldmath$\displaystyle\alpha$}}{% \mbox{\boldmath$\textstyle\alpha$}}{\mbox{\boldmath$\scriptstyle\alpha$}}{% \mbox{\boldmath$\scriptscriptstyle\alpha$}},\end{split}start_ROW start_CELL end_CELL start_CELL roman_min start_POSTSUBSCRIPT bold_italic_x , bold_italic_α end_POSTSUBSCRIPT { roman_Φ ( bold_italic_x ) + roman_Ξ ( bold_italic_α ) + divide start_ARG italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ∥ bold_italic_x - bold_italic_z start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT + bold_italic_u start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT } end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL roman_s . roman_t . bold_italic_x = bold_italic_α , end_CELL end_ROW (21)

with 𝒛mksuperscriptsubscript𝒛𝑚𝑘\bm{z}_{m}^{k}bold_italic_z start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT and 𝒖mksuperscriptsubscript𝒖𝑚𝑘\bm{u}_{m}^{k}bold_italic_u start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT given. The augmented Lagrangian for this subproblem is

ρ1,μ(𝒙,𝜶,𝜷;𝒛mk,𝒖mk)=Φ(𝒙)+Ξ(𝜶)+ρ12𝒙𝒛mk+𝒖mk22+μ2𝒙𝜶+𝜷22,subscriptsubscript𝜌1𝜇𝒙𝜶𝜷superscriptsubscript𝒛𝑚𝑘superscriptsubscript𝒖𝑚𝑘Φ𝒙Ξ𝜶subscript𝜌12superscriptsubscriptnorm𝒙superscriptsubscript𝒛𝑚𝑘superscriptsubscript𝒖𝑚𝑘22𝜇2superscriptsubscriptnorm𝒙𝜶𝜷22\displaystyle\mathcal{L}_{\rho_{1},\mu}(\bm{x},\mathchoice{\mbox{\boldmath$% \displaystyle\alpha$}}{\mbox{\boldmath$\textstyle\alpha$}}{\mbox{\boldmath$% \scriptstyle\alpha$}}{\mbox{\boldmath$\scriptscriptstyle\alpha$}},\mathchoice{% \mbox{\boldmath$\displaystyle\beta$}}{\mbox{\boldmath$\textstyle\beta$}}{\mbox% {\boldmath$\scriptstyle\beta$}}{\mbox{\boldmath$\scriptscriptstyle\beta$}};\bm% {z}_{m}^{k},\bm{u}_{m}^{k})=\Phi(\bm{x})+\Xi(\mathchoice{\mbox{\boldmath$% \displaystyle\alpha$}}{\mbox{\boldmath$\textstyle\alpha$}}{\mbox{\boldmath$% \scriptstyle\alpha$}}{\mbox{\boldmath$\scriptscriptstyle\alpha$}})+\frac{\rho_% {1}}{2}\left\|\bm{x}-\bm{z}_{m}^{k}+\bm{u}_{m}^{k}\right\|_{2}^{2}+\frac{\mu}{% 2}\left\|\bm{x}-\mathchoice{\mbox{\boldmath$\displaystyle\alpha$}}{\mbox{% \boldmath$\textstyle\alpha$}}{\mbox{\boldmath$\scriptstyle\alpha$}}{\mbox{% \boldmath$\scriptscriptstyle\alpha$}}+\mathchoice{\mbox{\boldmath$% \displaystyle\beta$}}{\mbox{\boldmath$\textstyle\beta$}}{\mbox{\boldmath$% \scriptstyle\beta$}}{\mbox{\boldmath$\scriptscriptstyle\beta$}}\right\|_{2}^{2},caligraphic_L start_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_μ end_POSTSUBSCRIPT ( bold_italic_x , bold_italic_α , bold_italic_β ; bold_italic_z start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT , bold_italic_u start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ) = roman_Φ ( bold_italic_x ) + roman_Ξ ( bold_italic_α ) + divide start_ARG italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ∥ bold_italic_x - bold_italic_z start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT + bold_italic_u start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG italic_μ end_ARG start_ARG 2 end_ARG ∥ bold_italic_x - bold_italic_α + bold_italic_β ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (22)

where 𝜷𝜷\textstyle\betabold_italic_β is a scaled dual variable associated with the constraint 𝒙=𝜶𝒙𝜶\bm{x}=\mathchoice{\mbox{\boldmath$\displaystyle\alpha$}}{\mbox{\boldmath$% \textstyle\alpha$}}{\mbox{\boldmath$\scriptstyle\alpha$}}{\mbox{\boldmath$% \scriptscriptstyle\alpha$}}bold_italic_x = bold_italic_α, and where μ>0𝜇0\mu>0italic_μ > 0 is a penalty parameter. We then apply the ADMM update to the augmented Lagrangian (22), yielding an inner loop of the algorithm: at iteration ksuperscript𝑘k^{\prime}italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT perform the updates

𝒙mk,k+1superscriptsubscript𝒙𝑚𝑘superscript𝑘1\displaystyle\bm{x}_{m}^{k,k^{\prime}+1}bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k , italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 1 end_POSTSUPERSCRIPT :=assign\displaystyle:=:= argmin𝒙{12𝒚mAm𝒙22+ρ12𝒙𝒛mk+𝒖mk22+μ2𝒙𝜶mk,k+𝜷mk,k22},subscriptargmin𝒙conditional-set12subscript𝒚𝑚evaluated-atsubscript𝐴𝑚𝒙22subscript𝜌12superscriptsubscriptnorm𝒙superscriptsubscript𝒛𝑚𝑘superscriptsubscript𝒖𝑚𝑘22𝜇2superscriptsubscriptnorm𝒙superscriptsubscript𝜶𝑚𝑘superscript𝑘superscriptsubscript𝜷𝑚𝑘superscript𝑘22\displaystyle\mathop{\rm arg~{}min}\limits_{\bm{x}}\left\{\frac{1}{2}\left\|% \bm{y}_{m}-A_{m}\bm{x}\right\|_{2}^{2}\right.+\left.\frac{\rho_{1}}{2}\left\|% \bm{x}-\bm{z}_{m}^{k}+\bm{u}_{m}^{k}\right\|_{2}^{2}+\frac{\mu}{2}\left\|\bm{x% }-\mathchoice{\mbox{\boldmath$\displaystyle\alpha$}}{\mbox{\boldmath$% \textstyle\alpha$}}{\mbox{\boldmath$\scriptstyle\alpha$}}{\mbox{\boldmath$% \scriptscriptstyle\alpha$}}_{m}^{k,k^{\prime}}+\mathchoice{\mbox{\boldmath$% \displaystyle\beta$}}{\mbox{\boldmath$\textstyle\beta$}}{\mbox{\boldmath$% \scriptstyle\beta$}}{\mbox{\boldmath$\scriptscriptstyle\beta$}}_{m}^{k,k^{% \prime}}\right\|_{2}^{2}\right\},start_BIGOP roman_arg roman_min end_BIGOP start_POSTSUBSCRIPT bold_italic_x end_POSTSUBSCRIPT { divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∥ bold_italic_y start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT - italic_A start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT bold_italic_x ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ∥ bold_italic_x - bold_italic_z start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT + bold_italic_u start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG italic_μ end_ARG start_ARG 2 end_ARG ∥ bold_italic_x - bold_italic_α start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k , italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT + bold_italic_β start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k , italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT } , (23)
𝜶mk,k+1superscriptsubscript𝜶𝑚𝑘superscript𝑘1\displaystyle\mathchoice{\mbox{\boldmath$\displaystyle\alpha$}}{\mbox{% \boldmath$\textstyle\alpha$}}{\mbox{\boldmath$\scriptstyle\alpha$}}{\mbox{% \boldmath$\scriptscriptstyle\alpha$}}_{m}^{k,k^{\prime}+1}bold_italic_α start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k , italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 1 end_POSTSUPERSCRIPT :=assign\displaystyle:=:= argmin𝜶{λx𝜶1+μ2𝜶(𝒙mk,k+1+𝜷mk,k)22},subscriptargmin𝜶conditional-setsubscript𝜆xevaluated-at𝜶1𝜇2superscriptsubscriptnorm𝜶superscriptsubscript𝒙𝑚𝑘superscript𝑘1superscriptsubscript𝜷𝑚𝑘superscript𝑘22\displaystyle\mathop{\rm arg~{}min}\limits_{\mathchoice{\mbox{\boldmath$% \displaystyle\alpha$}}{\mbox{\boldmath$\textstyle\alpha$}}{\mbox{\boldmath$% \scriptstyle\alpha$}}{\mbox{\boldmath$\scriptscriptstyle\alpha$}}}\left\{% \lambda_{\mathrm{x}}\left\|\mathchoice{\mbox{\boldmath$\displaystyle\alpha$}}{% \mbox{\boldmath$\textstyle\alpha$}}{\mbox{\boldmath$\scriptstyle\alpha$}}{% \mbox{\boldmath$\scriptscriptstyle\alpha$}}\right\|_{1}+\frac{\mu}{2}\left\|% \mathchoice{\mbox{\boldmath$\displaystyle\alpha$}}{\mbox{\boldmath$\textstyle% \alpha$}}{\mbox{\boldmath$\scriptstyle\alpha$}}{\mbox{\boldmath$% \scriptscriptstyle\alpha$}}-(\bm{x}_{m}^{k,k^{\prime}+1}+\mathchoice{\mbox{% \boldmath$\displaystyle\beta$}}{\mbox{\boldmath$\textstyle\beta$}}{\mbox{% \boldmath$\scriptstyle\beta$}}{\mbox{\boldmath$\scriptscriptstyle\beta$}}_{m}^% {k,k^{\prime}})\right\|_{2}^{2}\right\},start_BIGOP roman_arg roman_min end_BIGOP start_POSTSUBSCRIPT bold_italic_α end_POSTSUBSCRIPT { italic_λ start_POSTSUBSCRIPT roman_x end_POSTSUBSCRIPT ∥ bold_italic_α ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + divide start_ARG italic_μ end_ARG start_ARG 2 end_ARG ∥ bold_italic_α - ( bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k , italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 1 end_POSTSUPERSCRIPT + bold_italic_β start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k , italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT } , (24)
𝜷mk,k+1superscriptsubscript𝜷𝑚𝑘superscript𝑘1\displaystyle\mathchoice{\mbox{\boldmath$\displaystyle\beta$}}{\mbox{\boldmath% $\textstyle\beta$}}{\mbox{\boldmath$\scriptstyle\beta$}}{\mbox{\boldmath$% \scriptscriptstyle\beta$}}_{m}^{k,k^{\prime}+1}bold_italic_β start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k , italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 1 end_POSTSUPERSCRIPT :=assign\displaystyle:=:= 𝜷mk,k+(𝒙mk,k+1𝜶mk,k+1).superscriptsubscript𝜷𝑚𝑘superscript𝑘superscriptsubscript𝒙𝑚𝑘superscript𝑘1superscriptsubscript𝜶𝑚𝑘superscript𝑘1\displaystyle\mathchoice{\mbox{\boldmath$\displaystyle\beta$}}{\mbox{\boldmath% $\textstyle\beta$}}{\mbox{\boldmath$\scriptstyle\beta$}}{\mbox{\boldmath$% \scriptscriptstyle\beta$}}_{m}^{k,k^{\prime}}+(\bm{x}_{m}^{k,k^{\prime}+1}-% \mathchoice{\mbox{\boldmath$\displaystyle\alpha$}}{\mbox{\boldmath$\textstyle% \alpha$}}{\mbox{\boldmath$\scriptstyle\alpha$}}{\mbox{\boldmath$% \scriptscriptstyle\alpha$}}_{m}^{k,k^{\prime}+1}).bold_italic_β start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k , italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT + ( bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k , italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 1 end_POSTSUPERSCRIPT - bold_italic_α start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k , italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 1 end_POSTSUPERSCRIPT ) . (25)

The minimization problems (23) and (24) are explicitly solved, and the update in the inner loop of the algorithm is consequently derived as

𝒙mk,k+1superscriptsubscript𝒙𝑚𝑘superscript𝑘1\displaystyle\bm{x}_{m}^{k,k^{\prime}+1}bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k , italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 1 end_POSTSUPERSCRIPT :={Real(Am*trAm)+(ρ1+μ)I}1{Real(Am*tr𝒚m)+ρ1(𝒛mk𝒖mk)+μ(𝜶mk,k𝜷mk,k)},assignabsentsuperscriptRealsuperscriptsubscript𝐴𝑚absenttrsubscript𝐴𝑚subscript𝜌1𝜇𝐼1Realsuperscriptsubscript𝐴𝑚absenttrsubscript𝒚𝑚subscript𝜌1superscriptsubscript𝒛𝑚𝑘superscriptsubscript𝒖𝑚𝑘𝜇superscriptsubscript𝜶𝑚𝑘superscript𝑘superscriptsubscript𝜷𝑚𝑘superscript𝑘\displaystyle:=\left\{\mathrm{Real}(A_{m}^{\mathrm{*tr}}A_{m})+(\rho_{1}+\mu)I% \right\}^{-1}\left\{\mathrm{Real}(A_{m}^{\mathrm{*tr}}\bm{y}_{m})+\rho_{1}(\bm% {z}_{m}^{k}-\bm{u}_{m}^{k})+\mu(\mathchoice{\mbox{\boldmath$\displaystyle% \alpha$}}{\mbox{\boldmath$\textstyle\alpha$}}{\mbox{\boldmath$\scriptstyle% \alpha$}}{\mbox{\boldmath$\scriptscriptstyle\alpha$}}_{m}^{k,k^{\prime}}-% \mathchoice{\mbox{\boldmath$\displaystyle\beta$}}{\mbox{\boldmath$\textstyle% \beta$}}{\mbox{\boldmath$\scriptstyle\beta$}}{\mbox{\boldmath$% \scriptscriptstyle\beta$}}_{m}^{k,k^{\prime}})\right\},:= { roman_Real ( italic_A start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT * roman_tr end_POSTSUPERSCRIPT italic_A start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) + ( italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_μ ) italic_I } start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT { roman_Real ( italic_A start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT * roman_tr end_POSTSUPERSCRIPT bold_italic_y start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) + italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( bold_italic_z start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT - bold_italic_u start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ) + italic_μ ( bold_italic_α start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k , italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT - bold_italic_β start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k , italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) } , (26)
𝜶mk,k+1superscriptsubscript𝜶𝑚𝑘superscript𝑘1\displaystyle\mathchoice{\mbox{\boldmath$\displaystyle\alpha$}}{\mbox{% \boldmath$\textstyle\alpha$}}{\mbox{\boldmath$\scriptstyle\alpha$}}{\mbox{% \boldmath$\scriptscriptstyle\alpha$}}_{m}^{k,k^{\prime}+1}bold_italic_α start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k , italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 1 end_POSTSUPERSCRIPT :=SoftThr(𝒙mk,k+1+𝜷mk,k;λx/μ),assignabsentSoftThrsuperscriptsubscript𝒙𝑚𝑘superscript𝑘1superscriptsubscript𝜷𝑚𝑘superscript𝑘subscript𝜆x𝜇\displaystyle:=\mathrm{SoftThr}\left(\bm{x}_{m}^{k,k^{\prime}+1}+\mathchoice{% \mbox{\boldmath$\displaystyle\beta$}}{\mbox{\boldmath$\textstyle\beta$}}{\mbox% {\boldmath$\scriptstyle\beta$}}{\mbox{\boldmath$\scriptscriptstyle\beta$}}_{m}% ^{k,k^{\prime}};\;\lambda_{\mathrm{x}}/\mu\right),:= roman_SoftThr ( bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k , italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 1 end_POSTSUPERSCRIPT + bold_italic_β start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k , italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ; italic_λ start_POSTSUBSCRIPT roman_x end_POSTSUBSCRIPT / italic_μ ) , (27)

as well as (25), where the complex conjugate transpose is denoted by a superscript *trabsenttr\mathrm{*tr}* roman_tr. The soft-threshold function SoftThr(ξ;ι)sign(ξ)max{|ξ|ι,0}SoftThr𝜉𝜄sign𝜉𝜉𝜄0\mathrm{SoftThr}(\xi;\iota)\equiv\mathrm{sign}(\xi)\max\left\{\left|\xi\right|% -\iota,0\right\}roman_SoftThr ( italic_ξ ; italic_ι ) ≡ roman_sign ( italic_ξ ) roman_max { | italic_ξ | - italic_ι , 0 } (Wright et al., 2009) was applied to update 𝜶msubscript𝜶𝑚\mathchoice{\mbox{\boldmath$\displaystyle\alpha$}}{\mbox{\boldmath$\textstyle% \alpha$}}{\mbox{\boldmath$\scriptstyle\alpha$}}{\mbox{\boldmath$% \scriptscriptstyle\alpha$}}_{m}bold_italic_α start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT. The inner loop is to be iterated an enough number of times. The values of 𝒙mk,ksuperscriptsubscript𝒙𝑚𝑘superscript𝑘\bm{x}_{m}^{k,k^{\prime}}bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k , italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT after an enough number of iterations in the inner loop are to be used as the solution 𝒙mk+1superscriptsubscript𝒙𝑚𝑘1\bm{x}_{m}^{k+1}bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT of the subproblem (20) in the first step.

The second step is established by the minimization of the augmented Lagrangian over 𝒉𝒉\bm{h}bold_italic_h, which amounts to solving

𝒉mk+1superscriptsubscript𝒉𝑚𝑘1\displaystyle\bm{h}_{m}^{k+1}bold_italic_h start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT :=assign\displaystyle:=:= argmin𝒉{Ψm(𝒉)+ρ22𝒉𝒔mk+𝝂mk22}subscriptargmin𝒉conditional-setsubscriptΨ𝑚𝒉subscript𝜌22𝒉superscriptsubscript𝒔𝑚𝑘evaluated-atsuperscriptsubscript𝝂𝑚𝑘22\displaystyle\mathop{\rm arg~{}min}\limits_{\bm{h}}\left\{\Psi_{m}(\bm{h})+% \frac{\rho_{2}}{2}\left\|\bm{h}-\bm{s}_{m}^{k}+\mathchoice{\mbox{\boldmath$% \displaystyle\nu$}}{\mbox{\boldmath$\textstyle\nu$}}{\mbox{\boldmath$% \scriptstyle\nu$}}{\mbox{\boldmath$\scriptscriptstyle\nu$}}_{m}^{k}\right\|_{2% }^{2}\right\}start_BIGOP roman_arg roman_min end_BIGOP start_POSTSUBSCRIPT bold_italic_h end_POSTSUBSCRIPT { roman_Ψ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( bold_italic_h ) + divide start_ARG italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ∥ bold_italic_h - bold_italic_s start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT + bold_italic_ν start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT } (28)
=\displaystyle== argmin𝒉{λW1𝒉1+ρ2(1+λW2/ρ2)2𝒉𝒔mk𝝂mk1+λW2/ρ222},m=1,,M1.formulae-sequencesubscriptargmin𝒉conditional-setsubscript𝜆W1evaluated-at𝒉1subscript𝜌21subscript𝜆W2subscript𝜌22superscriptsubscriptnorm𝒉superscriptsubscript𝒔𝑚𝑘superscriptsubscript𝝂𝑚𝑘1subscript𝜆W2subscript𝜌222𝑚1𝑀1\displaystyle\mathop{\rm arg~{}min}\limits_{\bm{h}}\left\{\lambda_{\mathrm{W1}% }\left\|\bm{h}\right\|_{1}\right.+\left.\frac{\rho_{2}(1+\lambda_{\mathrm{W2}}% /\rho_{2})}{2}\left\|\bm{h}-\frac{\bm{s}_{m}^{k}-\mathchoice{\mbox{\boldmath$% \displaystyle\nu$}}{\mbox{\boldmath$\textstyle\nu$}}{\mbox{\boldmath$% \scriptstyle\nu$}}{\mbox{\boldmath$\scriptscriptstyle\nu$}}_{m}^{k}}{1+\lambda% _{\mathrm{W2}}/\rho_{2}}\right\|_{2}^{2}\right\},\quad m=1,\ldots,M-1.start_BIGOP roman_arg roman_min end_BIGOP start_POSTSUBSCRIPT bold_italic_h end_POSTSUBSCRIPT { italic_λ start_POSTSUBSCRIPT W1 end_POSTSUBSCRIPT ∥ bold_italic_h ∥ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + divide start_ARG italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( 1 + italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT / italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_ARG start_ARG 2 end_ARG ∥ bold_italic_h - divide start_ARG bold_italic_s start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT - bold_italic_ν start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT end_ARG start_ARG 1 + italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT / italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT } , italic_m = 1 , … , italic_M - 1 .

This minimization is again explicitly solved and the solution is given by

𝒉mk+1:=SoftThr(𝒔mk𝝂mk1+λW2/ρ2;λW1ρ2(1+λW2/ρ2)).assignsuperscriptsubscript𝒉𝑚𝑘1SoftThrsuperscriptsubscript𝒔𝑚𝑘superscriptsubscript𝝂𝑚𝑘1subscript𝜆W2subscript𝜌2subscript𝜆W1subscript𝜌21subscript𝜆W2subscript𝜌2\displaystyle\bm{h}_{m}^{k+1}:=\mathrm{SoftThr}\left(\frac{\bm{s}_{m}^{k}-% \mathchoice{\mbox{\boldmath$\displaystyle\nu$}}{\mbox{\boldmath$\textstyle\nu$% }}{\mbox{\boldmath$\scriptstyle\nu$}}{\mbox{\boldmath$\scriptscriptstyle\nu$}}% _{m}^{k}}{1+\lambda_{\mathrm{W2}}/\rho_{2}};\;\frac{\lambda_{\mathrm{W1}}}{% \rho_{2}(1+\lambda_{\mathrm{W2}}/\rho_{2})}\right).bold_italic_h start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT := roman_SoftThr ( divide start_ARG bold_italic_s start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT - bold_italic_ν start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT end_ARG start_ARG 1 + italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT / italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ; divide start_ARG italic_λ start_POSTSUBSCRIPT W1 end_POSTSUBSCRIPT end_ARG start_ARG italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( 1 + italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT / italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_ARG ) . (29)

In the third step, we calculate

(𝒛k+1,𝒔k+1)=ΠC(𝒙k+1+𝒖k,𝒉k+1+𝝂k),superscript𝒛𝑘1superscript𝒔𝑘1subscriptΠ𝐶superscript𝒙𝑘1superscript𝒖𝑘superscript𝒉𝑘1superscript𝝂𝑘(\bm{z}^{k+1},\bm{s}^{k+1})=\Pi_{C}(\bm{x}^{k+1}+\bm{u}^{k},\bm{h}^{k+1}+% \mathchoice{\mbox{\boldmath$\displaystyle\nu$}}{\mbox{\boldmath$\textstyle\nu$% }}{\mbox{\boldmath$\scriptstyle\nu$}}{\mbox{\boldmath$\scriptscriptstyle\nu$}}% ^{k}),( bold_italic_z start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT , bold_italic_s start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT ) = roman_Π start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ( bold_italic_x start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT + bold_italic_u start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT , bold_italic_h start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT + bold_italic_ν start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ) , (30)

that is, the projection of (𝒙k+1+𝒖k,𝒉k+1+𝝂k)superscript𝒙𝑘1superscript𝒖𝑘superscript𝒉𝑘1superscript𝝂𝑘(\bm{x}^{k+1}+\bm{u}^{k},\bm{h}^{k+1}+\mathchoice{\mbox{\boldmath$% \displaystyle\nu$}}{\mbox{\boldmath$\textstyle\nu$}}{\mbox{\boldmath$% \scriptstyle\nu$}}{\mbox{\boldmath$\scriptscriptstyle\nu$}}^{k})( bold_italic_x start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT + bold_italic_u start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT , bold_italic_h start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT + bold_italic_ν start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ) onto the constraint set C𝐶Citalic_C. It is formulated as the following minimization problem:

(𝒛k+1,𝒔k+1)=argmin(𝒛,𝒔);𝒔=W𝒛{ρ1𝒙k+1𝒛+𝒖k22+ρ2𝒉k+1𝒔+𝝂k22}.superscript𝒛𝑘1superscript𝒔𝑘1subscriptargmin𝒛𝒔𝒔𝑊𝒛conditional-setsubscript𝜌1superscript𝒙𝑘1𝒛evaluated-atsuperscript𝒖𝑘22subscript𝜌2superscriptsubscriptnormsuperscript𝒉𝑘1𝒔superscript𝝂𝑘22\displaystyle(\bm{z}^{k+1},\bm{s}^{k+1})=\mathop{\rm arg~{}min}\limits_{(\bm{z% },\bm{s});\bm{s}=W\bm{z}}\left\{\rho_{1}\|\bm{x}^{k+1}-\bm{z}+\bm{u}^{k}\|_{2}% ^{2}\right.\left.+\rho_{2}\|\bm{h}^{k+1}-\bm{s}+\mathchoice{\mbox{\boldmath$% \displaystyle\nu$}}{\mbox{\boldmath$\textstyle\nu$}}{\mbox{\boldmath$% \scriptstyle\nu$}}{\mbox{\boldmath$\scriptscriptstyle\nu$}}^{k}\|_{2}^{2}% \right\}.( bold_italic_z start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT , bold_italic_s start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT ) = start_BIGOP roman_arg roman_min end_BIGOP start_POSTSUBSCRIPT ( bold_italic_z , bold_italic_s ) ; bold_italic_s = italic_W bold_italic_z end_POSTSUBSCRIPT { italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ∥ bold_italic_x start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT - bold_italic_z + bold_italic_u start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ∥ bold_italic_h start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT - bold_italic_s + bold_italic_ν start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT } . (31)

The solution is explicitly given by

𝒛k+1=(LLtr)1{𝒙k+1+𝒖k+γWtr(𝒉k+1+𝝂k)},superscript𝒛𝑘1superscript𝐿superscript𝐿tr1superscript𝒙𝑘1superscript𝒖𝑘𝛾superscript𝑊trsuperscript𝒉𝑘1superscript𝝂𝑘\displaystyle\bm{z}^{k+1}=(LL^{\mathrm{tr}})^{-1}\left\{\bm{x}^{k+1}+\bm{u}^{k% }+\gamma W^{\mathrm{tr}}(\bm{h}^{k+1}+\mathchoice{\mbox{\boldmath$% \displaystyle\nu$}}{\mbox{\boldmath$\textstyle\nu$}}{\mbox{\boldmath$% \scriptstyle\nu$}}{\mbox{\boldmath$\scriptscriptstyle\nu$}}^{k})\right\},bold_italic_z start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT = ( italic_L italic_L start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT { bold_italic_x start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT + bold_italic_u start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT + italic_γ italic_W start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT ( bold_italic_h start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT + bold_italic_ν start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ) } , (32)
𝒔k+1=W𝒛k+1,superscript𝒔𝑘1𝑊superscript𝒛𝑘1\displaystyle\bm{s}^{k+1}=W\bm{z}^{k+1},bold_italic_s start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT = italic_W bold_italic_z start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT , (33)

where γ=ρ2/ρ1𝛾subscript𝜌2subscript𝜌1\gamma=\rho_{2}/\rho_{1}italic_γ = italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT / italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, the superscript trtr\mathrm{tr}roman_tr represents the transpose of a matrix, W𝑊Witalic_W is the matrix calculating the time difference, and L𝐿Litalic_L denotes the Choleskey factorization of I+γWtrW𝐼𝛾superscript𝑊tr𝑊I+\gamma W^{\mathrm{tr}}Witalic_I + italic_γ italic_W start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT italic_W. That L𝐿Litalic_L is a band matrix allows efficient implementation, which is illustrated in Algorithm III.5 following the formulation by Wahlberg et al. (2012).

As the last step of ADMM, we update the scaled dual variables.

𝒖mk+1:=𝒖mk+(𝒙mk+1𝒛mk+1),m=1,,M,formulae-sequenceassignsuperscriptsubscript𝒖𝑚𝑘1superscriptsubscript𝒖𝑚𝑘superscriptsubscript𝒙𝑚𝑘1superscriptsubscript𝒛𝑚𝑘1𝑚1𝑀\displaystyle\bm{u}_{m}^{k+1}:=\bm{u}_{m}^{k}+(\bm{x}_{m}^{k+1}-\bm{z}_{m}^{k+% 1}),\;\;m=1,\ldots,M,bold_italic_u start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT := bold_italic_u start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT + ( bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT - bold_italic_z start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT ) , italic_m = 1 , … , italic_M , (34)
𝝂mk+1:=𝝂mk+(𝒉mk+1𝒔mk+1),m=1,,M1.formulae-sequenceassignsuperscriptsubscript𝝂𝑚𝑘1superscriptsubscript𝝂𝑚𝑘superscriptsubscript𝒉𝑚𝑘1superscriptsubscript𝒔𝑚𝑘1𝑚1𝑀1\displaystyle\mathchoice{\mbox{\boldmath$\displaystyle\nu$}}{\mbox{\boldmath$% \textstyle\nu$}}{\mbox{\boldmath$\scriptstyle\nu$}}{\mbox{\boldmath$% \scriptscriptstyle\nu$}}_{m}^{k+1}:=\mathchoice{\mbox{\boldmath$\displaystyle% \nu$}}{\mbox{\boldmath$\textstyle\nu$}}{\mbox{\boldmath$\scriptstyle\nu$}}{% \mbox{\boldmath$\scriptscriptstyle\nu$}}_{m}^{k}+(\bm{h}_{m}^{k+1}-\bm{s}_{m}^% {k+1}),\;\;m=1,\ldots,M-1.bold_italic_ν start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT := bold_italic_ν start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT + ( bold_italic_h start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT - bold_italic_s start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT ) , italic_m = 1 , … , italic_M - 1 . (35)

All the updating processes described so far are summarized in Algorithm III.5. We implemented the algorithm on Matlab (ver. R2017b, MathWorks, Inc., Natick, MA, USA).

{algorithm*}

[t] Optimization procedure for our problem.

0:  𝒚,A,L𝒚𝐴𝐿\bm{y},A,Lbold_italic_y , italic_A , italic_L; λx,λW1,λW2subscript𝜆xsubscript𝜆W1subscript𝜆W2\lambda_{\mathrm{x}},\lambda_{\mathrm{W1}},\lambda_{\mathrm{W2}}italic_λ start_POSTSUBSCRIPT roman_x end_POSTSUBSCRIPT , italic_λ start_POSTSUBSCRIPT W1 end_POSTSUBSCRIPT , italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT: Regularization parameters; ρ1,ρ2,μsubscript𝜌1subscript𝜌2𝜇\rho_{1},\rho_{2},\muitalic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_μ: Penalty parameters; γ=ρ2/ρ1𝛾subscript𝜌2subscript𝜌1\gamma=\rho_{2}/\rho_{1}italic_γ = italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT / italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT
  𝒙mReal(Am*tr𝒚m)subscript𝒙𝑚Realsuperscriptsubscript𝐴𝑚absenttrsubscript𝒚𝑚\bm{x}_{m}\leftarrow\mathrm{Real}(A_{m}^{\mathrm{*tr}}\bm{y}_{m})bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← roman_Real ( italic_A start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT * roman_tr end_POSTSUPERSCRIPT bold_italic_y start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ); 𝒛m𝒙msubscript𝒛𝑚subscript𝒙𝑚\bm{z}_{m}\leftarrow\bm{x}_{m}bold_italic_z start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT; 𝜶m,𝜷m,𝒖m,𝒉m,𝝎m,𝒒m,𝒔m,𝒈m,𝒃m,𝝂m0subscript𝜶𝑚subscript𝜷𝑚subscript𝒖𝑚subscript𝒉𝑚subscript𝝎𝑚subscript𝒒𝑚subscript𝒔𝑚subscript𝒈𝑚subscript𝒃𝑚subscript𝝂𝑚0\mathchoice{\mbox{\boldmath$\displaystyle\alpha$}}{\mbox{\boldmath$\textstyle% \alpha$}}{\mbox{\boldmath$\scriptstyle\alpha$}}{\mbox{\boldmath$% \scriptscriptstyle\alpha$}}_{m},\mathchoice{\mbox{\boldmath$\displaystyle\beta% $}}{\mbox{\boldmath$\textstyle\beta$}}{\mbox{\boldmath$\scriptstyle\beta$}}{% \mbox{\boldmath$\scriptscriptstyle\beta$}}_{m},\bm{u}_{m},\bm{h}_{m},% \mathchoice{\mbox{\boldmath$\displaystyle\omega$}}{\mbox{\boldmath$\textstyle% \omega$}}{\mbox{\boldmath$\scriptstyle\omega$}}{\mbox{\boldmath$% \scriptscriptstyle\omega$}}_{m},\bm{q}_{m},\bm{s}_{m},\bm{g}_{m},\bm{b}_{m},% \mathchoice{\mbox{\boldmath$\displaystyle\nu$}}{\mbox{\boldmath$\textstyle\nu$% }}{\mbox{\boldmath$\scriptstyle\nu$}}{\mbox{\boldmath$\scriptscriptstyle\nu$}}% _{m}\leftarrow 0bold_italic_α start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , bold_italic_β start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , bold_italic_u start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , bold_italic_h start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , bold_italic_ω start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , bold_italic_q start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , bold_italic_s start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , bold_italic_g start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , bold_italic_b start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , bold_italic_ν start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← 0 {Initialization}
  while 𝒙msubscript𝒙𝑚\bm{x}_{m}bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT not converged do
     {Step 1, Eqs. (25)–(27)}  (m=1,2,,M𝑚12𝑀m=1,2,\ldots,Mitalic_m = 1 , 2 , … , italic_M)
     while 𝒙msubscript𝒙𝑚\bm{x}_{m}bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT not converged do
        𝒙m{Real(Am*trAm)+(ρ1+μ)I}1{Real(Am*tr𝒚m)+ρ1(𝒛m𝒖m)+μ(𝜶m𝜷m)}subscript𝒙𝑚superscriptRealsuperscriptsubscript𝐴𝑚absenttrsubscript𝐴𝑚subscript𝜌1𝜇𝐼1Realsuperscriptsubscript𝐴𝑚absenttrsubscript𝒚𝑚subscript𝜌1subscript𝒛𝑚subscript𝒖𝑚𝜇subscript𝜶𝑚subscript𝜷𝑚\bm{x}_{m}\leftarrow\left\{\mathrm{Real}(A_{m}^{\mathrm{*tr}}A_{m})+(\rho_{1}+% \mu)I\right\}^{-1}\left\{\mathrm{Real}(A_{m}^{\mathrm{*tr}}\bm{y}_{m})+\rho_{1% }(\bm{z}_{m}-\bm{u}_{m})+\mu(\mathchoice{\mbox{\boldmath$\displaystyle\alpha$}% }{\mbox{\boldmath$\textstyle\alpha$}}{\mbox{\boldmath$\scriptstyle\alpha$}}{% \mbox{\boldmath$\scriptscriptstyle\alpha$}}_{m}-\mathchoice{\mbox{\boldmath$% \displaystyle\beta$}}{\mbox{\boldmath$\textstyle\beta$}}{\mbox{\boldmath$% \scriptstyle\beta$}}{\mbox{\boldmath$\scriptscriptstyle\beta$}}_{m})\right\}bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← { roman_Real ( italic_A start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT * roman_tr end_POSTSUPERSCRIPT italic_A start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) + ( italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_μ ) italic_I } start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT { roman_Real ( italic_A start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT * roman_tr end_POSTSUPERSCRIPT bold_italic_y start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) + italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( bold_italic_z start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT - bold_italic_u start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) + italic_μ ( bold_italic_α start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT - bold_italic_β start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) }
        𝜶mSoftThr(𝒙m+𝜷m;λx/μ)subscript𝜶𝑚SoftThrsubscript𝒙𝑚subscript𝜷𝑚subscript𝜆x𝜇\mathchoice{\mbox{\boldmath$\displaystyle\alpha$}}{\mbox{\boldmath$\textstyle% \alpha$}}{\mbox{\boldmath$\scriptstyle\alpha$}}{\mbox{\boldmath$% \scriptscriptstyle\alpha$}}_{m}\leftarrow\mathrm{SoftThr}(\bm{x}_{m}+% \mathchoice{\mbox{\boldmath$\displaystyle\beta$}}{\mbox{\boldmath$\textstyle% \beta$}}{\mbox{\boldmath$\scriptstyle\beta$}}{\mbox{\boldmath$% \scriptscriptstyle\beta$}}_{m};\;\lambda_{\mathrm{x}}/\mu)bold_italic_α start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← roman_SoftThr ( bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + bold_italic_β start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ; italic_λ start_POSTSUBSCRIPT roman_x end_POSTSUBSCRIPT / italic_μ )  (mD𝑚𝐷m\in Ditalic_m ∈ italic_D),  𝜶m𝒙m+𝜷msubscript𝜶𝑚subscript𝒙𝑚subscript𝜷𝑚\mathchoice{\mbox{\boldmath$\displaystyle\alpha$}}{\mbox{\boldmath$\textstyle% \alpha$}}{\mbox{\boldmath$\scriptstyle\alpha$}}{\mbox{\boldmath$% \scriptscriptstyle\alpha$}}_{m}\leftarrow\bm{x}_{m}+\mathchoice{\mbox{% \boldmath$\displaystyle\beta$}}{\mbox{\boldmath$\textstyle\beta$}}{\mbox{% \boldmath$\scriptstyle\beta$}}{\mbox{\boldmath$\scriptscriptstyle\beta$}}_{m}bold_italic_α start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + bold_italic_β start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT  (mD𝑚𝐷m\notin Ditalic_m ∉ italic_D)
        𝜷m𝜷m+(𝒙m𝜶m)subscript𝜷𝑚subscript𝜷𝑚subscript𝒙𝑚subscript𝜶𝑚\mathchoice{\mbox{\boldmath$\displaystyle\beta$}}{\mbox{\boldmath$\textstyle% \beta$}}{\mbox{\boldmath$\scriptstyle\beta$}}{\mbox{\boldmath$% \scriptscriptstyle\beta$}}_{m}\leftarrow\mathchoice{\mbox{\boldmath$% \displaystyle\beta$}}{\mbox{\boldmath$\textstyle\beta$}}{\mbox{\boldmath$% \scriptstyle\beta$}}{\mbox{\boldmath$\scriptscriptstyle\beta$}}_{m}+(\bm{x}_{m% }-\mathchoice{\mbox{\boldmath$\displaystyle\alpha$}}{\mbox{\boldmath$% \textstyle\alpha$}}{\mbox{\boldmath$\scriptstyle\alpha$}}{\mbox{\boldmath$% \scriptscriptstyle\alpha$}}_{m})bold_italic_β start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← bold_italic_β start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + ( bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT - bold_italic_α start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT )
     end while
     {Step 2, Eq. (29)}  (m=1,2,,M1𝑚12𝑀1m=1,2,\ldots,M-1italic_m = 1 , 2 , … , italic_M - 1)
     𝒉mSoftThr(𝒔m𝝂m1+λW2/ρ2;λW1ρ2(1+λW2/ρ2))subscript𝒉𝑚SoftThrsubscript𝒔𝑚subscript𝝂𝑚1subscript𝜆W2subscript𝜌2subscript𝜆W1subscript𝜌21subscript𝜆W2subscript𝜌2\bm{h}_{m}\leftarrow\mathrm{SoftThr}\left(\frac{\mathchoice{\mbox{\boldmath$% \displaystyle s$}}{\mbox{\boldmath$\textstyle s$}}{\mbox{\boldmath$% \scriptstyle s$}}{\mbox{\boldmath$\scriptscriptstyle s$}}_{m}-\mathchoice{% \mbox{\boldmath$\displaystyle\nu$}}{\mbox{\boldmath$\textstyle\nu$}}{\mbox{% \boldmath$\scriptstyle\nu$}}{\mbox{\boldmath$\scriptscriptstyle\nu$}}_{m}}{1+% \lambda_{\mathrm{W2}}/\rho_{2}};\;\frac{\lambda_{\mathrm{W1}}}{\rho_{2}(1+% \lambda_{\mathrm{W2}}/\rho_{2})}\right)bold_italic_h start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← roman_SoftThr ( divide start_ARG bold_italic_s start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT - bold_italic_ν start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_ARG start_ARG 1 + italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT / italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ; divide start_ARG italic_λ start_POSTSUBSCRIPT W1 end_POSTSUBSCRIPT end_ARG start_ARG italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( 1 + italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT / italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_ARG )
     {Step 3, Eqs. (32)–(33)}
     𝝎m𝒙m+𝒖msubscript𝝎𝑚subscript𝒙𝑚subscript𝒖𝑚\mathchoice{\mbox{\boldmath$\displaystyle\omega$}}{\mbox{\boldmath$\textstyle% \omega$}}{\mbox{\boldmath$\scriptstyle\omega$}}{\mbox{\boldmath$% \scriptscriptstyle\omega$}}_{m}\leftarrow\bm{x}_{m}+\bm{u}_{m}bold_italic_ω start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + bold_italic_u start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT,  𝒒m𝒉m+𝝂msubscript𝒒𝑚subscript𝒉𝑚subscript𝝂𝑚\bm{q}_{m}\leftarrow\bm{h}_{m}+\mathchoice{\mbox{\boldmath$\displaystyle\nu$}}% {\mbox{\boldmath$\textstyle\nu$}}{\mbox{\boldmath$\scriptstyle\nu$}}{\mbox{% \boldmath$\scriptscriptstyle\nu$}}_{m}bold_italic_q start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← bold_italic_h start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + bold_italic_ν start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT  (m=1,2,,M𝑚12𝑀m=1,2,\ldots,Mitalic_m = 1 , 2 , … , italic_M)
     𝒃1𝝎1γ𝒒1subscript𝒃1subscript𝝎1𝛾subscript𝒒1\bm{b}_{1}\leftarrow\mathchoice{\mbox{\boldmath$\displaystyle\omega$}}{\mbox{% \boldmath$\textstyle\omega$}}{\mbox{\boldmath$\scriptstyle\omega$}}{\mbox{% \boldmath$\scriptscriptstyle\omega$}}_{1}-\gamma\bm{q}_{1}bold_italic_b start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ← bold_italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ bold_italic_q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT,  𝒃M𝝎M+γ𝒒M1subscript𝒃𝑀subscript𝝎𝑀𝛾subscript𝒒𝑀1\bm{b}_{M}\leftarrow\mathchoice{\mbox{\boldmath$\displaystyle\omega$}}{\mbox{% \boldmath$\textstyle\omega$}}{\mbox{\boldmath$\scriptstyle\omega$}}{\mbox{% \boldmath$\scriptscriptstyle\omega$}}_{M}+\gamma\bm{q}_{M-1}bold_italic_b start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ← bold_italic_ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT + italic_γ bold_italic_q start_POSTSUBSCRIPT italic_M - 1 end_POSTSUBSCRIPT,  𝒃m𝝎m+γ(𝒒m1𝒒m)subscript𝒃𝑚subscript𝝎𝑚𝛾subscript𝒒𝑚1subscript𝒒𝑚\bm{b}_{m}\leftarrow\mathchoice{\mbox{\boldmath$\displaystyle\omega$}}{\mbox{% \boldmath$\textstyle\omega$}}{\mbox{\boldmath$\scriptstyle\omega$}}{\mbox{% \boldmath$\scriptscriptstyle\omega$}}_{m}+\gamma(\bm{q}_{m-1}-\bm{q}_{m})bold_italic_b start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← bold_italic_ω start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + italic_γ ( bold_italic_q start_POSTSUBSCRIPT italic_m - 1 end_POSTSUBSCRIPT - bold_italic_q start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT )  (m=2,3,,M1𝑚23𝑀1m=2,3,\ldots,M-1italic_m = 2 , 3 , … , italic_M - 1)
     𝒈1(1/L1,1)×𝒃1subscript𝒈11subscript𝐿11subscript𝒃1\bm{g}_{1}\leftarrow({1}/L_{1,1})\times\bm{b}_{1}bold_italic_g start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ← ( 1 / italic_L start_POSTSUBSCRIPT 1 , 1 end_POSTSUBSCRIPT ) × bold_italic_b start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT,  𝒈m(1/Lm,m)×(𝒃mLm,m1𝒈m1)subscript𝒈𝑚1subscript𝐿𝑚𝑚subscript𝒃𝑚subscript𝐿𝑚𝑚1subscript𝒈𝑚1\bm{g}_{m}\leftarrow(1/L_{m,m})\times(\bm{b}_{m}-L_{m,m-1}\bm{g}_{m-1})bold_italic_g start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← ( 1 / italic_L start_POSTSUBSCRIPT italic_m , italic_m end_POSTSUBSCRIPT ) × ( bold_italic_b start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_m , italic_m - 1 end_POSTSUBSCRIPT bold_italic_g start_POSTSUBSCRIPT italic_m - 1 end_POSTSUBSCRIPT )  (m=2,3,,M)m=2,3,\ldots,M)italic_m = 2 , 3 , … , italic_M )
     𝒛M(1/LM,M)×𝒈Msubscript𝒛𝑀1subscript𝐿𝑀𝑀subscript𝒈𝑀\bm{z}_{M}\leftarrow(1/L_{M,M})\times\bm{g}_{M}bold_italic_z start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ← ( 1 / italic_L start_POSTSUBSCRIPT italic_M , italic_M end_POSTSUBSCRIPT ) × bold_italic_g start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT,  𝒛m(1/Lm,m)×(𝒈mLm+1,m𝒛m+1)subscript𝒛𝑚1subscript𝐿𝑚𝑚subscript𝒈𝑚subscript𝐿𝑚1𝑚subscript𝒛𝑚1\bm{z}_{m}\leftarrow(1/L_{m,m})\times(\bm{g}_{m}-L_{m+1,m}\bm{z}_{m+1})bold_italic_z start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← ( 1 / italic_L start_POSTSUBSCRIPT italic_m , italic_m end_POSTSUBSCRIPT ) × ( bold_italic_g start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT - italic_L start_POSTSUBSCRIPT italic_m + 1 , italic_m end_POSTSUBSCRIPT bold_italic_z start_POSTSUBSCRIPT italic_m + 1 end_POSTSUBSCRIPT )  (m=M1,M2,,1𝑚𝑀1𝑀21m=M-1,M-2,\ldots,1italic_m = italic_M - 1 , italic_M - 2 , … , 1)
     𝒔m𝒛m+1𝒛msubscript𝒔𝑚subscript𝒛𝑚1subscript𝒛𝑚\bm{s}_{m}\leftarrow\bm{z}_{m+1}-\bm{z}_{m}bold_italic_s start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← bold_italic_z start_POSTSUBSCRIPT italic_m + 1 end_POSTSUBSCRIPT - bold_italic_z start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT  (m=1,2,,M1𝑚12𝑀1m=1,2,\ldots,M-1italic_m = 1 , 2 , … , italic_M - 1)
     {Step 4, Eqs. (34)–(35)}
     𝒖m𝒖m+(𝒙m𝒛m)subscript𝒖𝑚subscript𝒖𝑚subscript𝒙𝑚subscript𝒛𝑚\bm{u}_{m}\leftarrow\bm{u}_{m}+(\bm{x}_{m}-\bm{z}_{m})bold_italic_u start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← bold_italic_u start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + ( bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT - bold_italic_z start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ),  𝝂m𝝂m+(𝒉m𝒔m)subscript𝝂𝑚subscript𝝂𝑚subscript𝒉𝑚subscript𝒔𝑚\mathchoice{\mbox{\boldmath$\displaystyle\nu$}}{\mbox{\boldmath$\textstyle\nu$% }}{\mbox{\boldmath$\scriptstyle\nu$}}{\mbox{\boldmath$\scriptscriptstyle\nu$}}% _{m}\leftarrow\mathchoice{\mbox{\boldmath$\displaystyle\nu$}}{\mbox{\boldmath$% \textstyle\nu$}}{\mbox{\boldmath$\scriptstyle\nu$}}{\mbox{\boldmath$% \scriptscriptstyle\nu$}}_{m}+(\bm{h}_{m}-\bm{s}_{m})bold_italic_ν start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← bold_italic_ν start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + ( bold_italic_h start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT - bold_italic_s start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT )  (m=1,2,,M𝑚12𝑀m=1,2,\ldots,Mitalic_m = 1 , 2 , … , italic_M)
  end while
  𝒙msubscript𝒙𝑚\bm{x}_{m}bold_italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT

III.6 Reconstruction setting

The interval of time frames was set to four seconds. This interval corresponds to the acquisition time of MRSI data for a single undersampling point. The total number M𝑀Mitalic_M of time frames and the number of the time frames in D𝐷Ditalic_D having MRSI data were set as M=|D|=1,024formulae-sequence𝑀𝐷1024M=|D|=1,024italic_M = | italic_D | = 1 , 024 in the phantom experiments and M=6,604𝑀6604M=6,604italic_M = 6 , 604 and |D|=6,144𝐷6144|D|=6,144| italic_D | = 6 , 144 in the animal experiment, respectively. In the phantom experiments, since we reconstructed the substance distributions from the data of a single acquisition session with no gaps during the total time of MRSI measurement, all time frames in 𝒯¯¯𝒯\bar{\mathcal{T}}over¯ start_ARG caligraphic_T end_ARG have MRSI data. Thus, in our settings, M𝑀Mitalic_M and |D|𝐷|D|| italic_D | are the same in the phantom experiments. In the animal experiment, on the other hand, M>|D|𝑀𝐷M>|D|italic_M > | italic_D | due to the multiple gaps between MRSI acquisition sessions.

The optimization for the reconstruction via the ADMM requires specification of the penalty parameters ρ1subscript𝜌1\rho_{1}italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, ρ2subscript𝜌2\rho_{2}italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, and μ𝜇\muitalic_μ. In principle, the reconstructed result should not depend on the choice of the penalty parameters if the algorithm were iterated infinitely, as our problem to be solved is a convex optimization problem. In practice, however, the choice of the penalty parameters affects convergence speed of the algorithm and behavior in convergence to the solution. If one uses too small values for them, the algorithm would require many iterations until convergence is achieved. With too large values, on the other hand, the algorithm would tend to be unstable. We selected ρ1=μ=103subscript𝜌1𝜇superscript103\rho_{1}=\mu=10^{-3}italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_μ = 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT and ρ2=101subscript𝜌2superscript101\rho_{2}=10^{-1}italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT on the basis of our preliminary experiments, which empirically allowed fast convergence of the algorithm.

We set the total number of iterations to solve the optimization problem (18) to 1,000, and performed the optimization of the subproblem (20) in Step 1 of Algorithm III.5 with two iterations of Eqs. (25)–(27). These were determined on the basis of the following observation.

Refer to caption
Figure 2: The root mean squares (RMSs) of 𝒙k𝒛ksuperscript𝒙𝑘superscript𝒛𝑘\bm{x}^{k}-\bm{z}^{k}bold_italic_x start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT - bold_italic_z start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT and 𝒛k𝒛k1superscript𝒛𝑘superscript𝒛𝑘1\bm{z}^{k}-\bm{z}^{k-1}bold_italic_z start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT - bold_italic_z start_POSTSUPERSCRIPT italic_k - 1 end_POSTSUPERSCRIPT at k𝑘kitalic_kth iteration. The vertical axis is in the logarithmic scale. Around the 500th iteration, the slope of the curves became more gradual.

We show in Fig. 2 how two residuals 𝒙k𝒛k2subscriptnormsuperscript𝒙𝑘superscript𝒛𝑘2\|\bm{x}^{k}-\bm{z}^{k}\|_{2}∥ bold_italic_x start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT - bold_italic_z start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and 𝒛k𝒛k12subscriptnormsuperscript𝒛𝑘superscript𝒛𝑘12\|\bm{z}^{k}-\bm{z}^{k-1}\|_{2}∥ bold_italic_z start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT - bold_italic_z start_POSTSUPERSCRIPT italic_k - 1 end_POSTSUPERSCRIPT ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT changed in the execution of our algorithm. These two residuals were employed in Wahlberg et al. (2012) to assess convergence of optimization by ADMM. Since the values had a tendency to decrease slowly after around 500th iteration, we selected 1,000 iterations in our algorithm. As for the inner loop performing the minimization in Step 1, the first iteration brought us closer to the optimal solution, and after the second iteration, the value remained almost the same.

IV Results

Refer to caption
Figure 3: The RMSE of the 2-fold CV for combinations of the regularization parameters in Experiment 4. (a) All combinations. (b) Combinations with λx=100subscript𝜆xsuperscript100\lambda_{\mathrm{x}}=10^{0}italic_λ start_POSTSUBSCRIPT roman_x end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT. Note that the same color range covers different value ranges in figures (a) and (b) to provide the visualization to identify large and small values.
Refer to caption
Figure 4: Reconstructed spatio-temporal distributions of each substance in the phantom experiments (Experiments 1, 2, and 3). One column shows the time variation of one substance in one experiment. Each figure shows a colored map of the spatial distribution of a substance in a single time frame. In Experiment 3, images are displayed as colored maps overlaid on the 11{}^{1}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPTH T22{}_{2}start_FLOATSUBSCRIPT 2 end_FLOATSUBSCRIPT-weighted images of mouse shown in gray scale for anatomical reference. For each substance, values of 𝒙𝒙\bm{x}bold_italic_x were rescaled so that the maximum value is equal to 1. The ”Frame” indicates the time frame index of the reconstruction and the ”Time” indicates the elapsed time (in minute) from the beginning of the scanning. The images lined up vertically throughout all the experiments are the results of the same time frame. The rightmost column shows the T2-weighted images taken immediately after the end of each experiment.
Refer to caption
Figure 5: Reconstructed temporal profiles of the amount of substances at spatial pixels with the largest value for each substance in the phantom experiments. The locations of the selected pixels are indicated by square markers in the T2-weighted image in each figure. Horizontal axis represents the elapsed time in minute. Vertical axis represents values of 𝒙𝒙\bm{x}bold_italic_x, rescaled so that the maximum value is equal to 1 in each substance.
Refer to caption
Figure 6: Reconstructed spatio-temporal distributions of glucose (upper row), lactate (middle row), and fat (lower row) in the animal experiment (Experiment 4). Images are displayed as colored maps overlaid on the 11{}^{1}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPTH T22{}_{2}start_FLOATSUBSCRIPT 2 end_FLOATSUBSCRIPT-weighted images. For each substance, values of 𝒙𝒙\bm{x}bold_italic_x were rescaled so that the maximum value is equal to 1. Elapsed times from the beginning of the scanning (in hour) and corresponding time frame indices are also shown at the bottom.
Refer to caption
Figure 7: Reconstructed temporal profiles of the amount of substances at spatial pixels corresponding to the injection site (a), the tumor (b), and the neck (c) in the animal experiment (Experiment 4). The pixels are indicated by white square markers in T22{}_{2}start_FLOATSUBSCRIPT 2 end_FLOATSUBSCRIPT-weighted anatomical images. Horizontal axis represents the elapsed time in hour. Vertical axis represents values of 𝒙𝒙\bm{x}bold_italic_x, rescaled so that the maximum value is equal to 1 in each substance.

First, we determined the three regularization parameters λxsubscript𝜆x\lambda_{\mathrm{x}}italic_λ start_POSTSUBSCRIPT roman_x end_POSTSUBSCRIPT, λW1subscript𝜆W1\lambda_{\mathrm{W1}}italic_λ start_POSTSUBSCRIPT W1 end_POSTSUBSCRIPT, and λW2subscript𝜆W2\lambda_{\mathrm{W2}}italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT via 2-fold cross validation (CV) as follows: The MRSI data were divided into two subsets according to the order of the scanned readouts, with the odd-numbered readouts as subset 1 and the even-numbered readouts as subset 2. Estimation of 𝒙𝒙\bm{x}bold_italic_x was performed with one of the subsets, and the quality of the estimated 𝒙𝒙\bm{x}bold_italic_x was assessed with the other subset, via calculating the values of 𝒚𝒚\bm{y}bold_italic_y corresponding to the latter subset from the estimated 𝒙𝒙\bm{x}bold_italic_x, and then evaluating the root mean square error (RMSE) of the calculated values of 𝒚𝒚\bm{y}bold_italic_y against the readouts in the latter subset. In other words, regarding each subset as a dataset which has some missing readouts, we used it to estimate 𝒙𝒙\bm{x}bold_italic_x for all time frames and calculated the values of 𝒚𝒚\bm{y}bold_italic_y for the missing readouts using the estimated 𝒙𝒙\bm{x}bold_italic_x. The values of the parameters λxsubscript𝜆x\lambda_{\mathrm{x}}italic_λ start_POSTSUBSCRIPT roman_x end_POSTSUBSCRIPT, λW1subscript𝜆W1\lambda_{\mathrm{W1}}italic_λ start_POSTSUBSCRIPT W1 end_POSTSUBSCRIPT, and λW2subscript𝜆W2\lambda_{\mathrm{W2}}italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT were chosen from {104,103,102,,106,107}superscript104superscript103superscript102superscript106superscript107\{10^{-4},10^{-3},10^{-2},\ldots,10^{6},10^{7}\}{ 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT , 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT , 10 start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT , … , 10 start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT , 10 start_POSTSUPERSCRIPT 7 end_POSTSUPERSCRIPT }. We show the results of CV in Experiment 4 in Fig. 3, where parameter combinations having high and low RMSEs are depicted in red and blue, respectively. The axes in Figs. 3 (a) and (b) are in the logarithmic scale. One observes in Fig. 3 (a) that the RMSE values were nearly unchanged when λxsubscript𝜆x\lambda_{\mathrm{x}}italic_λ start_POSTSUBSCRIPT roman_x end_POSTSUBSCRIPT is large. Figure 3 (b) shows the results with λx=100subscript𝜆xsuperscript100\lambda_{\mathrm{x}}=10^{0}italic_λ start_POSTSUBSCRIPT roman_x end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT in the λW1subscript𝜆W1\lambda_{\mathrm{W1}}italic_λ start_POSTSUBSCRIPT W1 end_POSTSUBSCRIPT-λW2subscript𝜆W2\lambda_{\mathrm{W2}}italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT plane, where the CV achieved smaller RMSEs for the most part. We found minimizers of the RMSE values among all of the 123superscript12312^{3}12 start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT possible parameter combinations and set them as the values of the regularization parameters: (λx,λW1,λW2)subscript𝜆xsubscript𝜆W1subscript𝜆W2(\lambda_{\mathrm{x}},\lambda_{\mathrm{W1}},\lambda_{\mathrm{W2}})( italic_λ start_POSTSUBSCRIPT roman_x end_POSTSUBSCRIPT , italic_λ start_POSTSUBSCRIPT W1 end_POSTSUBSCRIPT , italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT ) as (101,103,100)superscript101superscript103superscript100(10^{1},10^{3},10^{0})( 10 start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT , 10 start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT , 10 start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ) (Experiment 1), (101,102,101)superscript101superscript102superscript101(10^{1},10^{2},10^{-1})( 10 start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT , 10 start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , 10 start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ) (Experiment 2), and (100,103,101)superscript100superscript103superscript101(10^{0},10^{3},10^{-1})( 10 start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT , 10 start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT , 10 start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ) (Experiments 3 and 4).

With the regularization parameters selected above, we performed the reconstruction using all the acquired MRSI data. Figures 4 and 6 show snapshots of the reconstructed spatio-temporal distributions. For each time frame and for each substance, the dimension of 𝒙𝒙\bm{x}bold_italic_x is 8×8888\times 88 × 8 for Experiment 1 and 8×168168\times 168 × 16 for Experiments 2, 3, and 4, corresponding to the spatial resolution of MRSI. For visualization, we post-processed the estimated 𝒙𝒙\bm{x}bold_italic_x via first performing up-sampling of 𝒙𝒙\bm{x}bold_italic_x with the bi-cubic interpolation, and then rescaling the values by setting the maximum value to unity for each substance. Each resulting image of 𝒙𝒙\bm{x}bold_italic_x was overlaid on T22{}_{2}start_FLOATSUBSCRIPT 2 end_FLOATSUBSCRIPT-weighted MR image of the mouse in Experiments 3 and 4. Each image shows the ventral view of the mouse.

Figures 5 and 7 show the estimated temporal profiles of the amount of substances. The horizontal axis in Figures 5 and 7 represents the elapsed time from the start of the MRSI measurement; the unit in Figure 5 is minute, and the unit in Figure 7 is hour. In Figure 5, the temporal variation of the estimated 𝒙𝒙\bm{x}bold_italic_x of the spatial pixel (indicated by the square markers on the T2-weighted images in the figures) where the amount of each substance in each experiment took its maximum value is depicted. It should be noted that the vertical axis represents values of substance amounts, rescaled so that the maximum value of the reconstructed spatio-temporal distribution of each substance is 1. Each curve then represents relative temporal changes of the amount of the substance. In Figure 5 (a), we can observe the increase in glucose instilled at different instillation rates. In Figures 5 (b) and (c), an increase in lactate was observed after the increase in glucose. In Experiments 1-1–1-4, the instillation of glucose solution ended at 7.5, 17.5, 36.0, and 68.0 min, respectively. In Experiments 2 and 3, the instillation of glucose and lactate ended at 17.5 and 68 min, respectively. In Figure 5, \bigtriangledown indicates the time at which the instillation of each solution was finished.

Figures 7 (a)–(c) show temporal profiles of the three substances at the injection site, inside the tumor, and at the neck which is a lipid abundant region, respectively. Each of these positions is indicated in the inset of each figure with a square marker. The values of the substance amounts were rescaled so that the maximum value of the reconstructed spatio-temporal distribution of each substance is 1. The increase and decrease of glucose and lactate, and the constancy of fat were observed in Figures 6 and 7. Glucose spread over the whole body in the early stage and decayed in the latter half. At the injection site, glucose increased quickly in the beginning, and decreased slowly after that. Inside the tumor, glucose increased more slowly than that at the injection site, and decreased in the latter half. Lactate increased following the rise of glucose and kept a high level in the tumor. At the neck, glucose showed slight increase but lactate did not. Fat remained almost constant in time, with larger amount around the neck where more fat is located.

V Discussion

In order to validate our method, we first performed the phantom experiments. Figure 4 shows that the spatio-temporal distributions of glucose, lactate, and fat are appropriately reconstructed by our method, and they are consistent with the settings of the respective experiments. Figure 5 shows the reconstructed temporal profiles of the amounts of the substances at spatial pixels where the reconstructed profiles attained the largest values. In Experiments 1–3, the glucose increased and then remained almost constant. The time at which it reached the end of the increase corresponded approximately to the time at which the instillation of the solution actually ended (\bigtriangledown in Figure 5). Lactate continued to increase until the end of the experiment, which was consistent with the experimental setting that the instillation completed at the end of the measurement. In Figure 5 (c), the amount of fat did not fluctuate with time, which was consistent with the fact that the amount of fat in a mouse did not change in the short period of time. On the basis of the above, we have succeeded in demonstrating the spatio-temporal distributions of the three substances with a temporal resolution of four seconds from undersampled MRSI data.

In Figure 5, we observe that in Experiments 1-4 and 2, the amounts of the substances were reconstructed to be zero for several minutes after the start of the measurement, even though the instillation of the solution started at the beginning of the measurement. Since our reconstruction method employs 1subscript1\ell_{1}roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-norm regularization, small values tend to be estimated as zero. The fact that the amounts of the substances were estimated to be zero continuously after the beginning can be attributed to the effect of the 1subscript1\ell_{1}roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-norm regularization term in 𝒙𝒙\bm{x}bold_italic_x. In addition, for glucose and lactate in Experiments 1-1, 1-2, 1-3 and 3, the actual amount of substance is zero at the beginning of measurement, but is reconstructed to be a constant non-zero value for several minutes after the beginning. This could be due to the effect of the 1subscript1\ell_{1}roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-norm regularization term of xm+1xmsubscript𝑥𝑚1subscript𝑥𝑚x_{m+1}-x_{m}italic_x start_POSTSUBSCRIPT italic_m + 1 end_POSTSUBSCRIPT - italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT, which encourages the estimates to satisfy xm+1xm=0subscript𝑥𝑚1subscript𝑥𝑚0x_{m+1}-x_{m}=0italic_x start_POSTSUBSCRIPT italic_m + 1 end_POSTSUBSCRIPT - italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = 0. Our reconstruction method interpolated the missing measurement data by performing 1subscript1\ell_{1}roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-norm regularization based on the prior knowledge in the framework of compressed sensing. Although the effect of 1subscript1\ell_{1}roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-norm regularization can be the limitation of our method, the magnitude of the effect of 1subscript1\ell_{1}roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-norm regularization can be changed by adjusting the regularization parameter. The regularization parameters were determined by CV in this paper, but it may be better to determine them according to the variation of the amount of substance to be visualized. In the CV of this paper, the whole measured MRSI data was equally divided into two data sets, and the regularization parameters were chosen to reduce the error in estimating the data in the data set not used in the estimation. In Experiment 1, the time interval in which the amount of glucose was high was the longest in Experiment 1-1 and the shortest in Experiment 1-4. Therefore, it is possible that the CV error tended to be smaller when the estimated MRSI data was fitted to the measured MRSI data in the time interval with high glucose content, especially in Experiment 1-1. The estimation results may be more consistent with the experimental settings if the regularization parameters are chosen separately for the time periods with large and small changes in amount.

In the results of the animal experiment, the estimated spatio-temporal distributions of glucose, lactate, and fat, as presented in Figs. 6 and 7, are consistent with our expectations: The initial increase of glucose at the injection site, followed by its spread over the whole body and decay, reflects normal physiological processes. The constancy of fat is explained by the endogenous natural abundance of 1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC. The elevation of lactate level within the tumor following the rise of glucose is ascribed to the Warburg effect. With regard to the Warburg effect, it is said that glucose begins to change into lactate in a few seconds, and the temporal change of glucose and lactate could not be observed by 2D spectral MRSI with full sampling due to the prolonged acquisition time. Our method allows us to reconstruct the spatio-temporal distribution of the substances with a temporal resolution of four seconds, which enables us to observe the Warburg effect in vivo noninvasively.

One can observe, in Fig. 7, step-like structure in the first half of the temporal profile for glucose at the injection site, as well as those for glucose and lactate inside the tumor. It seems that these parts of the temporal profile include some stair-step artifacts, because one generally expects smooth temporal changes in the distributions, except for the rapid increase of glucose due to its injection. Similar step-like structures can be observed in the results of the phantom experiments as well (Fig. 5). It is considered that this step-like artifact is not due to noise in measurement but is caused by the regularization. We observed dependence of the stair-step artifacts on the regularization parameters λW1subscript𝜆W1\lambda_{\mathrm{W1}}italic_λ start_POSTSUBSCRIPT W1 end_POSTSUBSCRIPT and λW2subscript𝜆W2\lambda_{\mathrm{W2}}italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT (results not shown), suggesting that they were indeed artifacts: Smaller λW1subscript𝜆W1\lambda_{\mathrm{W1}}italic_λ start_POSTSUBSCRIPT W1 end_POSTSUBSCRIPT or larger λW2subscript𝜆W2\lambda_{\mathrm{W2}}italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT yielded the estimated temporal profiles smoother. Although the used values of the regularization parameters in our experiments achieved the smallest RMSE in CV, there were other sets of the regularization parameters with RMSEs which were not much different from the one with the smallest RMSE. For example, the parameter values (λx,λW1,λW2)=(100,102,102)subscript𝜆xsubscript𝜆W1subscript𝜆W2superscript100superscript102superscript102(\lambda_{\mathrm{x}},\lambda_{\mathrm{W1}},\lambda_{\mathrm{W2}})=(10^{0},10^% {2},10^{2})( italic_λ start_POSTSUBSCRIPT roman_x end_POSTSUBSCRIPT , italic_λ start_POSTSUBSCRIPT W1 end_POSTSUBSCRIPT , italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT ) = ( 10 start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT , 10 start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , 10 start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) gave rise to a relatively small RMSE (Fig. 3 (b)). The resulting temporal profiles became smoother without any noticeable stair-step artifacts, but the rapid increase of glucose at the beginning disappeared. Even if some stair-step artifacts are observed, if we do not strongly regularize the sparsity of the temporal variation of the substance distribution, we will not be able to observe the rapid changes. Therefore, the parameter value (λx,λW1,λW2)=(100,103,101)subscript𝜆xsubscript𝜆W1subscript𝜆W2superscript100superscript103superscript101(\lambda_{\mathrm{x}},\lambda_{\mathrm{W1}},\lambda_{\mathrm{W2}})=(10^{0},10^% {3},10^{-1})( italic_λ start_POSTSUBSCRIPT roman_x end_POSTSUBSCRIPT , italic_λ start_POSTSUBSCRIPT W1 end_POSTSUBSCRIPT , italic_λ start_POSTSUBSCRIPT W2 end_POSTSUBSCRIPT ) = ( 10 start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT , 10 start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT , 10 start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ) used in our experiment was suitable for our measurement data where we want to detect the amount of substances that changes quickly in time. The values of the regularization parameters should be chosen according to the temporal variation of the substance distribution.

In our method, we assume that the base spectra for the substances of interest are known. In our experiments, the MRS measurements to prepare the base spectra were performed simultaneously with the MRSI measurement. If it is not the case, then an alternative approach would be to estimate them jointly with the estimation of 𝒙𝒙\bm{x}bold_italic_x, via regarding (2) as defining a PSF model, where the base spectra ΘBsubscriptΘB\Theta_{\mathrm{B}}roman_Θ start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT are assumed independent of positions or time of appearance of the substances. This assumption is essentially equivalent to that in Lam and Liang (2014); Ma et al. (2016), and thus efficiently dealt with via low-rank matrix decomposition methods (Liang, 2007; Haldar and Liang, 2010). As another way to prepare the base spectra of substances, it would be created from the already acquired MRSI data. Using all acquired MRSI signals without considering temporal or spatial resolution, a combined spectrum of all substances existing in the imaging area is reconstructed. Characteristic frequencies of spectral peaks are known for many substances. By analyzing the reconstructed spectrum, it is possible to determine what substances exist in the object and to extract the spectrum of each substance. By using the extracted spectra of the substances as base spectra of the substances, the reconstruction can be performed by our method without additional measurement experiments. If additional measurement experiments are available, one may alternatively perform MRS measurements on a stable phantom with known substance concentrations in order to prepare the base spectra. The approach with measurements for the base spectra in advance opens a way to perform quantitative analysis on spatio-temporal substance distributions from MRSI data. This will be future work on development of MRSI framework.

The advantage of this method is that it can reconstruct the spatio-temporal distributions of multiple substances simultaneously on a time scale that is much shorter than the time scale of full MRSI sampling. Another advantage is that it does not require training with a large amount of data in advance and can easily reconstruct the substance distributions using only the acquired MRSI signal. However, as a limitation, this method cannot reconstruct whole MRSI spectra that include various spectral peaks other than those of the substances of interest, because the method reconstructs the substance distributions using the base spectra that include the peaks of the substances of interest. One idea to break through this limitation is not to decide on specific substances as the targets of estimation, but to estimate the whole spectra by combining spectra estimated separately for water, lipid, metabolite, and macromolecules, as is done in Lam et al. (2020). Another idea is to use a large number of spectra with various peaks as base spectra instead of spectral peaks of specific substances, to reconstruct the substance distributions without determining the substance of interest at the reconstruction stage, and to synthesize the entire spectrum to obtain the MRSI spectrum. However, this method would have a very large number of parameters to be estimated, so it may be necessary to collect some information in advance by some technique such as machine learning with a large amount of data.

In the experimental setting of this study, we used a 2D spectral and 2D spatial MRSI sequence. In the Fourier space of (Q)×(R)𝑄𝑅\mathcal{F}(Q)\times\mathcal{F}(R)caligraphic_F ( italic_Q ) × caligraphic_F ( italic_R ), (Q2)subscript𝑄2\mathcal{F}(Q_{2})caligraphic_F ( italic_Q start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) is the readout dimension in which the MRSI signal is acquired at one time. The readout is performed per point in the remaining three dimensions of (Q1)×(R1)×(R2)subscript𝑄1subscript𝑅1subscript𝑅2\mathcal{F}(Q_{1})\times\mathcal{F}(R_{1})\times\mathcal{F}(R_{2})caligraphic_F ( italic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) × caligraphic_F ( italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) × caligraphic_F ( italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ). The required time for a single readout per point is four seconds. The resolution of the spectrum was 256 (in the readout direction) ×\times× 32, and the resolution of the space was 8 ×\times× 8 or 8 ×\times× 16. In order to acquire complete information about the 2D spectrum in 2D space, 32 times sampling in the (Q1)subscript𝑄1\mathcal{F}(Q_{1})caligraphic_F ( italic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) direction and 8 ×\times× 8 or 8 ×\times× 16 times sampling in the (R)𝑅\mathcal{F}(R)caligraphic_F ( italic_R ) direction are required. In other words, to obtain a single 2D image where each spatial pixel has 2D spectral information, 4 s ×\times× 32 ×\times× 8 ×\times× 8 (or 16) === 2.3 hours (or 4.5 hours) is required. Therefore, reconstruction from a fully sampled signal only produce a movie with one time frame of 2.3 hours (or 4.5 hours). In this study, we propose a method to randomly acquire signals in the three dimensions of (Q1)×(R1)×(R2)subscript𝑄1subscript𝑅1subscript𝑅2\mathcal{F}(Q_{1})\times\mathcal{F}(R_{1})\times\mathcal{F}(R_{2})caligraphic_F ( italic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) × caligraphic_F ( italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) × caligraphic_F ( italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) and to reconstruct the substance distributions for each time frame divided by an arbitrary time width from the time-series of the MRSI signals. For the spectral dimension, we have reduced the number of elements to be reconstructed by using the base spectrum of each substance. By using compressed sensing on the spatial dimensions R𝑅Ritalic_R, we have succeeded in obtaining a movie with a time resolution of four seconds. The time width of the time frame can be determined arbitrarily. In other words, the number of acquired signals used in one time frame can be arbitrarily determined. The four seconds is a time elapsed during one readout. It is computationally possible to assign fewer signals to one time frame than the number of signals for one readout. However, since four-step phase cycling was employed in this experimental condition, signals acquired through four times signal acquisitions in different phases were combined assuming that the substance distributions did not change, during this time. Therefore, it is unreasonable to estimate the substance distribution from the signal in the shorter time than the readout time. For this reason, four seconds is considered to be the lower limit of the time resolution under the conditions of this experiment, but it could be shortened further by using other MRSI acquisition sequences, such as ultrafast MRSI imaging with signal enhancement by hyperpolarization (Müller et al., 2020).

As mentioned in the previous paragraph, in this study, a temporal resolution of four seconds was achieved by reconstructing the substance distribution image of one time frame per MRSI signal obtained as a readout at a single point in the three dimensions of (Q1)×(R1)×(R2)subscript𝑄1subscript𝑅1subscript𝑅2\mathcal{F}(Q_{1})\times\mathcal{F}(R_{1})\times\mathcal{F}(R_{2})caligraphic_F ( italic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) × caligraphic_F ( italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) × caligraphic_F ( italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ). Since we compressed the spectral dimension using the base spectra of target substances, the required full sampling points depend on the number of target substances. The CS acceleration factor (the under-sampling ratio for CS compared to full sampling to reconstruct a spatial distribution of substances) is calculated to be 3 (number of target substances) ×\times× 8 ×\times× 16 === 384 in the animal experiments, which is an extreme acceleration. However, this method does not reconstruct the whole MRSI spectra, nor does it reconstruct the substance distributions from only the MRSI signal assigned to a single time frame. Therefore, it is not fair to compare the temporal resolution with those in existing reports that reconstruct the spectrum of a single image. To the best of our knowledge, there are no reports on methods for estimating spatio-temporal distributions of substances from MRSI signals with the same strategy as this study, so we cannot compare them directly. In Klauser et al. (2021), they have achieved CS acceleration factors of up to 6.5 in 1D-spectral 2D-spatial MRSI. A study has reported that the acquisition time was 0.9 minutes for a spatial matrix of size 17 ×\times× 17 ×\times× 5 in 1D MRSI (Li et al., 2021). On the other hand, when imaging is performed using hyperpolarization techniques, the MRSI signal is amplified tens of thousands of times, so the signal can be acquired in a very short measurement time and the temporal resolution can be very high. Therefore, it is also not fair to compare the time resolution with experiments that do not use such signal amplification during imaging, as in this study. In Müller et al. (2020), they have reported that it took only 8.2 seconds to measure 1D MRSI in 3D space.

VI Conclusion

We have reconstructed the spatio-temporal distributions of substances with high temporal resolution from the undersampled 2D spectral MRSI data using compressed sensing. Our method utilized the acquired MRSI signal and the base spectra of substances of interest. We exploited the base spectra as well as the temporal change of the distribution of the substances as the prior knowledge for the compressed sensing. Our method was successful in reconstructing spatio-temporal distribution of multiple substances only from undersampled MRSI data with base spectra of substances of interest. Using our method, it will be possible to observe the spatio-temporal dynamics of substances with high temporal resolution from existing MRSI data. Indeed in our experiments the temporal resolution was four seconds in spite of long acquisition time for full sampling. Our method allows us to observe phenomena where the spatio-temporal distributions of substances change in a short time in vivo, such as metabolic activities and medical efficacy, and has the potential to capture unknown changes of substances distributed in vivo. In future work, it is expected that the reconstruction will be performed by preparing a large number of base spectra of substances without specifying the target substances, which will lead to the discovery of substances whose existence in vivo is unknown.

Acknowledgements.
This work was supported in part by the MEXT/JSPS KAKENHI [grant numbers JP25120008, JP16H02878, JP16K16407, JP19K20709, JP20J40290, and JP22K12840].

References

  • Bogner et al. (2021) Bogner, W., Otazo, R., and Henning, A. (2021). Accelerated MR spectroscopic imaging — A review of current and emerging techniques. NMR in Biomedicine, 34(5):e4314.
  • d’Arcy et al. (2002) d’Arcy, J. A., Collins, D. J., Rowland, I. J., Padhani, A. R., and Leach, M. O. (2002). Applications of sliding window reconstruction with cartesian sampling for dynamic contrast enhanced MRI. NMR Biomed, 15(2):174–183.
  • DeBerardinis et al. (2007) DeBerardinis, R. J., Mancuso, A., Daikhin, E., Nissim, I., Yudkoff, M., Wehrli, S., and Thompson, C. B. (2007). Beyond aerobic glycolysis: Transformed cells can engage in glutamine metabolism that exceeds the requirement for protein and nucleotide synthesis. Proc. Natl. Acad. Sci. USA, 104(49):19345–19350.
  • Djebra et al. (2022) Djebra, Y., Marin, T., Han, P. K., Bloch, I., El Fakhri, G., and Ma, C. (2022). Manifold learning via linear tangent space alignment (LTSA) for accelerated dynamic MRI with sparse sampling. IEEE Transactions on Medical Imaging, page Early Access.
  • Donoho (2006) Donoho, D. L. (2006). Compressed sensing. IEEE Trans. Inform. Theory, 52(4):1289–1306.
  • Feng et al. (2020) Feng, L., Wen, Q., Huang, C., Tong, A., Liu, F., and Chandarana, H. (2020). GRASP-Pro: imProving GRASP DCE-MRI through self-calibrating subspace-modeling and contrast phase automation. Magnetic Resonance in Medicine, 83(1):94–108.
  • Furuyama et al. (2012) Furuyama, J. K., Wilson, N. E., Burns, B. L., Nagarajan, R., Margolis, D. J., and Albert Thomas, M. (2012). Application of compressed sensing to multidimensional spectroscopic imaging in human prostate. Magn. Reson. Med., 67(6):1499–1505.
  • Glunde and Bhujwalla (2011) Glunde, K. and Bhujwalla, Z. M. (2011). Metabolic tumor imaging using magnetic resonance spectroscopy. Semins in Oncology, 38(1):26–41.
  • Haldar and Liang (2010) Haldar, J. P. and Liang, Z. P. (2010). Spatiotemporal imaging with partially separable functions: A matrix recovery approach. In IEEE International Symposium on Biomedical Imaging, pages 716–719, Rotterdam, Netherlands.
  • Hsu and Sabatini (2008) Hsu, P. P. and Sabatini, D. M. (2008). Cancer cell metabolism: Warburg and beyond. Cell, 134(5):703–707.
  • Iqbal et al. (2017) Iqbal, Z., Wilson, N. E., and Albert Thomas, M. (2017). Prior-knowledge fitting of accelerated five-dimensional echo planar J-resolved spectroscopic imaging: Effect of nonlinear reconstruction on quantitation. Sci. Rep., 7(1):6262.
  • Klauser et al. (2021) Klauser, A., Strasser, B., Thapa, B., Lazeyras, F., and Andronesi, O. (2021). Achieving high-resolution 1H-MRSI of the human brain with compressed-sensing and low-rank reconstruction at 7 Tesla. Journal of Magnetic Resonance, 331:107048.
  • Lam et al. (2020) Lam, F., Li, Y., Guo, R., Clifford, B., and Liang, Z.-P. (2020). Ultrafast magnetic resonance spectroscopic imaging using SPICE with learned subspaces. Magnetic Resonance in Medicine, 83(2):377–390.
  • Lam and Liang (2014) Lam, F. and Liang, Z.-P. (2014). A subspace approach to high-resolution spectroscopic imaging. Magn. Reson. Med., 71(4):1349–1357.
  • Larson et al. (2011) Larson, P. E. Z., Hu, S., Lustig, M., Kerr, A. B., Nelson, S. J., Kurhanewicz, J., Pauly, J. M., and Vigneron, D. B. (2011). Fast dynamic 3D MR spectroscopic imaging with compressed sensing and multiband excitation pulses for hyperpolarized 1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC studies. Magn. Reson. Med., 65(3):610–619.
  • Li et al. (2021) Li, Y., Zhao, Y., Guo, R., Wang, T., Zhang, Y., Chrostek, M., Low, W., Zhu, X., Liang, Z., and Chen, W. (2021). Machine learning-enabled high-resolution dynamic deuterium MR spectroscopic imaging. IEEE Transactions on Medical Imaging, 40(12):3879–3890.
  • Liang (2007) Liang, Z.-P. (2007). Spatiotemporal imaging with partially separable functions. In IEEE International Symposium on Biomedical Imaging, pages 988–991, Arlington, VA, USA.
  • Lustig et al. (2007) Lustig, M., Donoho, D., and Pauly, J. M. (2007). Sparse MRI: The application of compressed sensing for rapid MR imaging. Magn. Reson. Med., 58(6):1182–1195.
  • Ma et al. (2016) Ma, C., Lam, F., Johnson, C. L., and Liang, Z.-P. (2016). Removal of nuisance signals from limited and sparse 11{}^{1}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPTH MRSI data using a union-of-subspaces model. Magn. Reson. Med., 75(2):488–497.
  • Müller et al. (2020) Müller, C. A., Hundshammer, C., Braeuer, M., Skinner, J. G., Berner, S., Leupold, J., Düwel, S., Nekolla, S. G., Månsson, S., Hansen, A. E., von Elverfeldt, D., Ardenkjaer-Larsen, J. H., Schilling, F., Schwaiger, M., Hennig, J., and Hövener, J.-B. (2020). Dynamic 2D and 3D mapping of hyperpolarized pyruvate to lactate conversion in vivo with efficient multi-echo balanced steady-state free precession at 3 T. NMR in Biomedicine, 33(6):e4291.
  • Nassirpour et al. (2018) Nassirpour, S., Chang, P., Avdievitch, N., and Henning, A. (2018). Compressed sensing for high-resolution nonlipid suppressed 1H FID MRSI of the human brain at 9.4T. Magnetic Resonance in Medicine, 80(6):2311–2325.
  • Niederreiter (1992) Niederreiter, H. (1992). Random number generation and quasi-Monte Carlo methods, volume 63 of CBMS-NSF Regional Conf. Ser. in Appl. Math. SIAM, Philadelphia, PA.
  • Posse et al. (2013) Posse, S., Otazo, R., Dager, S. R., and Alger, J. (2013). MR spectroscopic imaging: Pronciples and recent advances. J. Magn. Reson. Imaging, 37(6):1301–1325.
  • Santos-Díaz and Noseworthy (2019) Santos-Díaz, A. and Noseworthy, M. D. (2019). Comparison of compressed sensing reconstruction algorithms for 31P magnetic resonance spectroscopic imaging. Magnetic Resonance Imaging, 59:88–96.
  • Saucedo et al. (2021) Saucedo, A., Macey, P. M., and Thomas, M. A. (2021). Accelerated radial echo-planar spectroscopic imaging using golden angle view-ordering and compressed-sensing reconstruction with total variation regularization. Magnetic Resonance in Medicine, 86(1):46–61.
  • Schmidt et al. (2019) Schmidt, R., Seginer, A., and Tal, A. (2019). Combining multiband slice selection with consistent k-t-space EPSI for accelerated spectral imaging. Magnetic Resonance in Medicine, 82(3):867–876.
  • Sobol’ (1967) Sobol’, I. M. (1967). On the distribution of points in a cube and the approximate evaluation of integrals. USSR Comput. Math. Math. Phys., 7(4):86–112.
  • Thomas et al. (2001) Thomas, M. A., Yue, K., Binesh, N., Davanzo, P., Kumar, A., Siegel, B., Frye, M., Curran, J., Lufkin, R., Martin, P., and Guze, B. (2001). Localized two-dimensional shift correlated MR spectroscopy of human brain. Magn. Reson. Med., 46(1):58–67.
  • Van Vaals et al. (1993) Van Vaals, J. J., Brummer, M. E., Thomas Dixon, W., Tuithof, H. H., Engels, H., Nelson, R. C., Gerety, B. M., Chezmar, J. L., and Den Boer, J. A. (1993). “keyhole” method for accelerating imaging of contrast agent uptake. J. Magn. Reson. Imaging, 3(4):671–675.
  • van Zijl et al. (1993) van Zijl, P. C. M., Chesnick, A. S., DesPres, D., Moonen, C. T. W., Ruiz-Cabello, J., and van Gelderen, P. (1993). In vivo proton spectroscopy and spectroscopic imaging of {1-1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC}-glucose and its metabolic products. Magn. Reson. Med., 30(5):544–551.
  • Vander Heiden et al. (2009) Vander Heiden, M. G., Cantley, L. C., and Thompson, C. B. (2009). Understanding the warburg effect: The metabolic requirements of cell proliferation. Science, 324(5930):1029–1033.
  • Wahlberg et al. (2012) Wahlberg, B., Boyd, S., Annergren, M., and Wang, Y. (2012). An ADMM algorithm for a class of total variation regularized estimation problems. In Proceedings of 16th IFAC Symposium on System Identification,, volume 45, pages 83–88, Brussels, Belgium.
  • Wright et al. (2009) Wright, S. J., Nowak, R. D., and Figueiredo, M. A. T. (2009). Sparse reconstruction by separable approximation. IEEE Trans. Signal Process., 57(7):2479–2493.
  • Xie et al. (2022) Xie, Y. R., Castro, D. C., Rubakhin, S. S., Sweedler, J. V., and Lam, F. (2022). Enhancing the throughput of FT mass spectrometry imaging using joint compressed sensing and subspace modeling. Analytical Chemistry, 94(13):5335–5343.
  • Zou and Hastie (2005) Zou, H. and Hastie, T. (2005). Regularization and variable selection via the elastic net. Journal of the Royal Statistical Society, Series B, 67(2):301–320.