Abstract
Magnetic Particle Imaging (MPI) is a promising tracer-based, functional medical imaging technique which measures the non-linear magnetization response of magnetic nanoparticles to a dynamic magnetic field. For image reconstruction, system matrices from time-consuming calibration scans are used predominantly. Finding modeled forward operators for magnetic particle imaging, which are able to compete with measured matrices in practice, is an ongoing topic of research. The existing models for magnetic particle imaging are by design not suitable for arbitrary dynamic tracer concentrations. Neither modeled nor measured system matrices account for changes in the concentration during a single scanning cycle. In this paper we present a new MPI forward model for dynamic concentrations. A static model will be introduced briefly, followed by the changes due to the dynamic behavior of the tracer concentration. Furthermore, the relevance of this new extended model is examined by investigating the influence of the extension and example reconstructions with the new and the standard model.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Magnetic Particle Imaging (MPI) is a relatively new medical imaging modality invented by Weizenecker and Gleich in 2005 [9]. In this tomographic imaging technique, the non-linear magnetization response of the superparamagnetic tracer material to an external magnetic field induces a potential in the receive coils of the scanner. The spatial distribution of the magnetic particles is reconstructed from these measurements. MPI allows for a rapid data acquisition with high temporal resolution which makes it a promising imaging device for different imaging applications, see [21] for an overview. In many of these applications, visualization of tracer dynamics is highly relevant, such as physiological diagnosis like stroke detection [24], visualization of blood flow [31] or localization of medical instruments in vascular interventions [14].
The MPI forward operator can be described by model- or measurement-based approaches [13]. In a measurement-based approach the forward operator is represented by a calibration scan [27, 30]. Therefore, the signal generated by a delta sample of tracer material is measured for a finite number of spatial positions. The modeling approach describes the measurement process with physical laws [22]. Unfortunately, models usually idealize the physical setting to limit the complexity of the model. These simplifications can lead to large modeling errors and give reasons for the time consuming measurement approach being still dominant in practice.
The state of the art model underlies the assumption of a (nearly) static concentration during the signal acquisition. This assumption is not always fulfilled. MPI is able to visualize the distribution of a liquid tracer. It can accumulate, dissipate or move e.g. with the blood flow. The behavior of the particle concentration is not static in these cases. Also time-series measurements imply a dynamic tracer distribution such that the static model is only true for piecewise constant concentrations. The same problem is valid for the measurement approach. Since the delta sample is static during each cycle of the calibration scan, the measured system matrix does not cover dynamic behavior. Currently, the only way to reconstruct non-periodic dynamic concentrations is to reconstruct a time-series of images under the assumption of static behavior during the scan [14, 28]. Reconstruction of periodic dynamics in magnetic particle imaging is investigated in [8] in order to reduce of artifacts induced by cardiac- or respiratory motion in multi-patch MPI. The authors use the measurement-based approach and assume limits on the velocity and periodicity of the motion. By rearranging measurements from the same motion phase into virtual frames, dynamic tracer distributions can be reconstructed by static reconstructions from the virtual frames.
The model-based approach gives rise to various directions of research covering all components of the signal generation chain and analyses of the models. One of these directions is modeling of the magnetic behavior of magnetic nanoparticles which was studied by Kluth [17, 19] and Weizenecker [29]. The most frequently used magnetization model is the Langevin- or equilibrium model, which is also the basis for the derivations in the following articles. The equilibrium model does not respect magnetic relaxation effects. In [17], the model is extended for different kinds of relaxation. The author presents forward models incorporating either Brownian rotation or Néel relaxation in the cases of mono- and polydisperse tracers under the assumption of single domain particles with uniaxial anisotropy.
Based on the equilibrium model the authors of [26] derive analytical reconstruction formulae as well as numerical reconstruction schemes for two- and three-dimensional MPI. They examine and compare the ill-posedness of the reconstruction problem for different dimensions. A mathematical analysis of the 1D model is provided by Erb, Weinmann et al. [7]. They investigate properties like the ill-posedness and discover an exponential singular value decay of the reconstruction problem. Goodwill and Conolly [10] follow the X-space approach. They consider the dependence of the spatial position of the field free point (FFP), which is the time-dependent volume of vanishing magnetic field strength, and the drive field of the scanner. As a result the forward operator of 1D MPI can be identified as a convolution operator. The authors extend their approach to multiple dimensions in [11]. The more analytically focused article by Maass and Mertins deals with closed-form expressions for the Fourier transform of the system function for multiple dimensions [25]. The system function is related to tensor products of Chebychev polynomials of the second kind and tensor products of Bessel functions. This result might allow for analytical insights into the system function and more efficient reconstruction techniques in the future.
Another common model simplification is the assumption of ideal magnetic fields. In practice magnetic fields can be distorted which is influencing spatial signal encoding. In [5], the authors use spherical harmonics to achieve more realistic representations of magnetic fields for FFP and field free line (FFL) scanners. A 3D forward model for non-ideal magnetic fields which can be reconstructed with the algebraic reconstruction technique (ART) is presented. Artifacts caused by distorted magnetic fields have also been investigated in the context of the X-space approach [32]. These distortions especially affect multi-patch MPI, since distortions increase with the distance from the center. In the case of measurement-based reconstruction, compensation methods for displacement artifacts in multi-patch scans are studied in [3, 4].
In this paper we present an extended MPI forward model for dynamic tracer distributions, in the discrete and continuous case, both in time- and Fourier domain. While the initial theoretical setup presented in Sect. 3 is identical to the one in [8], our model is not limited to periodic motion and covers dynamic tracer distributions with high velocities. Furthermore, we provide simulation experiments to show the importance of the extension relative to the tracer dynamics and the impact on reconstruction quality compared to the static model. The presented approach is of special interest for blood flow measurements [16] because the speed of the motion is part of the model and can be reconstructed simultaneously.
The remainder of this paper starts with a brief introduction to the principles of an ideal MPI system in Sect. 2 and is followed by presenting the standard modeling approach in Sect. 2.1 which we will extend to arbitrary dynamic tracer distributions in Sect. 3. Based on the Langevin model, FFP scanners and Lissajous trajectories we investigate the influence of the extension to the signal for different kinds of dynamics in Sect. 4, while we compare reconstructions of simulated dynamic measurements with the standard and the extended model in Sect. 5. We close with a discussion of the results in Sect. 6.
2 Basic Principles of Magnetic Particle Imaging
The aim of magnetic particle imaging is the reconstruction of the multi-dimensional spatial concentration of the particles. Spatial encoding of the signal is realized by applying a spatially and temporally varying magnetic field \(H\in L^2(\varOmega \times {\mathbb {R}}^+,{\mathbb {R}}^{3})\) where \(\varOmega \subset {\mathbb {R}}^{3}\) denotes the field of view (FOV). While there also exist other scanner topologies, such as field free line, we describe the basic principles of an ideal field free point scanner. The magnetic field
consists of a spatially inhomogeneous selection field \(H_S\) and a temporally varying drive field \(H_D\). The selection field is a gradient field that has a point of zero field strength in the center, the so-called field free point (FFP), and a linearly increasing field strength to the periphery (see Fig. 1a). The drive field \(H_D(t) = [a_l\sin (2\pi f_l t + \varphi _l)]_{l=1,\dots ,3}\) is spatially constant but changes its magnetization over time according to a sine function in each dimension. It has three parameters per dimension, the amplitude \(a_l\in {\mathbb {R}}\) determining the size of the field of view, the frequency \(f_l\in {\mathbb {R}}\) defining the density of the scan trajectory and a phase shift \(\varphi _l\in {\mathbb {R}}\) setting the starting point of the scan trajectory. Choosing the parameters appropriately, the overlay of \(H_S\) and \(H_D\) forms the field H which has a FFP moving through the volume of interest along a so-called Lissajous curve (see Fig. 1b).
Superparamagnetic means that the magnetic nanoparticles behave like tiny magnets, while an external magnetic field is applied. They have their own magnetic moments which are larger than their atomic moments. There is no remanent magnetization after the applied magnetic field is removed [2].
The magnetic moment of the particles responds to temporal changes of magnetic fields. There are different models describing the magnetic behavior of the particles which where studied in [17, 19, 29]. In Sects. 4 and 5 the Langevin or equilibrium model is used but could be replaced by more complex models. When the field free point moves over a position r, it causes a change in the mean magnetic moment at this location. The magnitude of the magnetization
is proportional to the tracer concentration \(c:\varOmega \mapsto {\mathbb {R}}^+\) and the mean magnetic moment \({{\bar{m}}}:\varOmega \times {\mathbb {R}}^+\mapsto {\mathbb {R}}^{3}\). In practice, slight magnetization changes can be observed throughout the whole FOV. The Sobolev space
denotes the space of \(L^2\)-functions whose first weak derivatives are also functions in \(L^2\) on the domain \(D\subset {\mathbb {R}}^d\) with \(\gamma \in {\mathbb {N}}^d\) being a multi-index with \(|\gamma |=\sum _{i=1}^d \gamma _i\), see [1]. The change in magnetization induces a current in the receive coils of the scanner. Due to the construction of the magnetic field, a measured voltage at time point t can be connected to a magnetization change and thus to a certain concentration at a position r. The measurement process is described by a forward model in the following section.
2.1 MPI Forward Model
The static forward model
describes the magetic particle imaging process in time domain [20]. The sensitivity of the receive coils \(p:\varOmega \mapsto {\mathbb {R}}^{3\times 3}\) is multiplied with the permeability constant \(\mu _0\) and the change in magnetization which is caused by the superparamagnetic particles and the applied magnetic field H from the send-coils.
Assuming that the signal generated by the excitation field is removed by a filter yields
As defined in the previous section, the excitation field is multi-dimensional which means that the system function S(r, t) maps to \({\mathbb {R}}^{3}\), thus \(u(t) \in {\mathbb {R}}^{3}\) is a voltage vector, where each value is measured by the respective receive coil. In the discrete models in the remainder of this paper we will refer to a single component of u(t) since the computations are analogous for all channels.
Discretization The formulation of discrete forward models is motivated by measured system matrices and the use of numerical reconstruction methods. Therefore, we use a basis \(\{\phi _i\}_{i=1, \dots ,R} \subset L^2\) of a finite-dimensional subspace \(X_R\subset L^2\). An intuitive choice are piecewise constant basis functions on equisized, pairwise disjoint quadratic or cubic domains as they are a reasonable representation of both the pixels or voxels in an image and the delta probe used for the calibration scans.
Using the basis functions, we obtain piecewise constant approximations of the concentration and system function
evaluated at equidistant time sampling points \(\{t_j\}_{j=1,\dots ,n_T}\) with \(t_j=(j-1)T_c/(n_T-1)\) and \(T_c\) being the repetition time for one Lissajous cycle. Insterting \({{\tilde{c}}}\) in (3) yields the following discrete forward problem
It can also be written as a matrix vector multiplication of a concentration vector and the system matrix \({\mathbf {S}}\)
Reconstructing the concentration vector \({\mathbf {c}}\) from a given measurement vector \({\mathbf {u}}\) is a classic inverse problem. In [18, 26], it was shown that the multidimensional MPI reconstruction problem is severely ill-posed. Thus, computing a stable and unique solution requires regularization. Two common regularization methods in MPI are Tikhonov- and iterative regularization. The former defines a Tikhonov functional by adding a penalty term with a regularization parameter. The resulting minimization problem can then be solved by the Kaczmarz algorithm or other iterative schemes adapted to the applied regularization term. The latter option regularizes the iterative method directly by choosing a maximum number of iterations. In both cases, the standard iterative method used in MPI is the Kaczmarz algorithm [15]. The information from reconstructions of several channels can be combined to improve image quality.
3 Dynamic Forward Model
The forward model presented in the preceding section underlies the assumption of a (nearly) static concentration during the signal acquisition which might be violated in case of dynamically changing tracer distributions. MPI is able to visualize the distribution of a liquid tracer which can accumulate, dissipate or move e.g. with the blood flow. In these situations, the behavior of the particle concentration is clearly not static.
In practice oftentimes measured system matrices are used for MPI reconstruction. These matrices are the results of calibration scans which measure the induced voltage of a delta sample during a scanning cycle for each spatial position. This approach yields good results for static concentrations because the matrices also incorporate the transfer function of the system. Since the delta sample is static during the complete cycle the measured system matrix does not cover dynamic behavior.
In order to adapt the model to dynamic tracer concentrations, the magnetization function (1) is modified such that it contains a time-dependent concentration
Thus, the forward model (2) changes to
Assuming a constant coil sensitivity p and that the signal generated by the excitation field is removed by a filter results in the dynamic forward model
It describes a measurement \(u:{\mathbb {R}}^+\mapsto {\mathbb {R}}^{3}\) in time domain and contains a sum of two system functions \(S_1,S_2:\varOmega \times {\mathbb {R}}^+\mapsto {\mathbb {R}}^{3}\) multiplied with the tracer concentration \(c:\varOmega \times {\mathbb {R}}^+\mapsto {\mathbb {R}}^+\) and its time derivative. The derivatives \(\frac{\partial c}{\partial t}\), \(S_1=\frac{\partial {\bar{m}}}{\partial t}\) and the measurement u are \(L^2\)-functions because the concentration c and \(S_2={{\bar{m}}}\) are in the Sobolev space \(H^1(\varOmega \times {\mathbb {R}}^+)\).
Dynamic forward model in frequency domain MPI measurements are usually given in frequency domain. Due to the time dependence of the concentration the static model
in frequency domain changes to
The measurement in frequency space \({{\hat{u}}}:{\mathbb {R}}^+ \mapsto {\mathbb {C}}^{3}\) and the derivatives \(\widehat{\frac{\partial c}{\partial t}}:\varOmega \times {\mathbb {R}}^+\mapsto {\mathbb {C}}\), \({{\hat{S}}}_1:\varOmega \times {\mathbb {R}}^+\mapsto {\mathbb {C}}^{3}\) are \(L^2\)-functions because \({{\hat{c}}}\,,{{\hat{S}}}_2 \in H^1(\varOmega \times {\mathbb {R}}^+)\). The convolution is only applied to the frequency components.
Discretization Using the same pixel-basis \(\{\phi _i\}_{i=1, \dots ,R} \subset L^2\) for discretization as in Sect. 2.1 yields the following representation of a piecewise constant dynamic concentration
and analogously for the derivative \(\frac{\partial c}{\partial t}\) and system functions \(S_1\) and \(S_2\). Together with the time sampling points \(\{t_j\}_{j=1,\dots ,n_T}\) from Sect. 2.1, we get the discretized dynamic forward problem
For measurements with \(F\ge 1\) cycles the time sampling for the measurement and concentration changes to \(\{\tau _j\}_{j=1,\dots ,Fn_T}\) with \(\tau _j=(j-1)FT_c/(Fn_T-1)\) while the system functions are evaluated at \(t_{j\text { mod }n_T}\). Eq.(12) is no longer a matrix-vector multiplication as in (5) but a sum of element-wise matrix multiplications
with \({\mathbf {u}}\in {\mathbb {R}}^{n_T},\; {\mathbf {c}}, {\mathbf {D}}_c\in {\mathbb {R}}^{n_T \times R},\;{\mathbf {S}}_1,\mathbf{S }_2\in {\mathbb {R}}^{n_T \times R},\;{\mathbf {1}}_R=[1,\dots ,1]^{\top }\in {\mathbb {N}}^{R}\) and \(\odot \) being an element-wise matrix multiplication, e.g. \({\mathbf {A}}\odot {\mathbf {B}}=[a_{ij}b_{ij}]_{i=1,\dots ,n}^{j=1,\dots ,m}\), with matrices \({\mathbf {A}},{\mathbf {B}} \in {\mathbb {R}}^{n\times m}\).
In frequency space the same approach yields the following discrete forward problem
with \(\hat{{\mathbf {u}}}\in {\mathbb {C}}^{n_K}, \hat{{\mathbf {c}}}, \hat{{\mathbf {D}}}_c\in {\mathbb {C}}^{n_K \times R},\hat{ \mathbf { S}}_1,\hat{ {\mathbf {S}}}_2 \in {\mathbb {C}}^{n_K \times R},{\mathbf {1}}_R=[1,\dots ,1]^{\top }\in {\mathbb {N}}^{R}\). Again the convolution is only applied to the frequency components, i.e. the respective matrix columns. Note that a frequency domain reconstruction computes \({{\hat{c}}}\). To see the behavior of the concentration in time, the inverse Fourier transform needs to be applied. Reconstruction becomes a deconvolution problem in frequency space. A typical solution approach for this ill-posed inverse problem is to make use of the convolution theorem of the Fourier transform which in this case results in time domain reconstruction.
The dynamic model (8) is also mentioned in [8] but followed by strong restrictions of the dynamics such that there are no further consequences in the reconstruction process. In contrast, the models proposed in this section are valid for a broad range of dynamics, e.g. rapid changes or non-periodic behavior. The tracer distribution is required to be differentiable in time and integrable in space.
4 Relevance of the Dynamic Model
As mentioned in Sect. 2.1, the concentration is usually assumed to be constant. The time derivative of the concentration would therefore be nearly zero and the second summand of the extended model (9) would thus be small such that it can be neglected.
We investigate the structure of \(S_2\) in comparison to \(S_1\) and consider a set of simulated dynamic concentrations to survey whether neglecting the second term in the new model may be justified. Before looking at example reconstructions to compare reconstructions with the old and extended model in Sect. 5, we are looking at the influence of the new summand in the dynamic model.
For the simulation, the system functions with \(19\times 19\times 1\) voxels and 1632 sampling points in time are modeled according to the Langevin model using the parameters listed in Table 1.
Langevin model In the Langevin model the particles are assumed to be in thermal equilibrium and the applied magnetic fields to be static. The mean magnetic moment at spatial position r and time point t is given by
with \({\mathscr {L}}_{\alpha ,\beta }:{\mathbb {R}}\mapsto {\mathbb {R}}\) being the Langevin function
with \(\alpha ,\beta \in {\mathbb {R}}\) being particle dependent parameters.
Equation (11) shows a sum of two convolutions. In a first step, we are interested in the shape of the convolution kernels. Therefore, we compute
which are shown in Fig. 2 together with an approximation of their convex hulls. The approximation of the convex hull was calculated by determining and connecting the maximum values within the next 15 frequency steps to include all peaks of the function. Both matrices exhibit a similar structure. The peaks have the same distances (\(\approx 15\) frequency steps) and the convex hull (orange line) has a similar shape. The full-width-at-half-maximum (FWHM) of the convex hull is the same (\(\approx 33\) frequency steps) while the maximum of the second system matrix \({{\hat{S}}}_2\) is \(10^4\) smaller than the maximum of the first system matrix \({{\hat{S}}}_1\). Thus, on a first view, the assumption that the second term \(S_2\) in the dynamic model is negligible might be reasonable.
In a second step, we looked at four types of dynamic concentrations during one cycle for a single voxel. The plots in Fig. 3 show the concentration over the scan time, its time derivative and the respective Fourier transforms for each example concentration.
Example concentration 1 is depicted in Fig. 3a which shows one peak at the beginning of the scan. The tracer is flowing through the voxel for a short period of time. This could be a small tracer bolus moving fast through the volume of the voxel. In the second example, shown in Fig. 3b, the concentration increases strongly in the beginning, remains constant for a short period of time and decreases again. The tracer flows through the voxel for a longer period of time. Example 2 represents a larger bolus moving fast through the voxel. Example 3, shown in Fig. 3c, shows a slow increase and decrease of the concentration. This represents a slowly moving small bolus. Example 4 is a periodic version of the first example. Fig. 3d shows two peaks within the scan time. The tracer flows two times through the voxel with a high velocity. This represents a small bolus with fast periodic motion.
Looking at the Fourier transformations shows that the maximal absolute values of the Fourier transformed concentrations \({{\hat{c}}}\) are about \(10^4\) smaller than the maximal absolute values of the Fourier transformed time derivatives \(\frac{{\widehat{dc}}}{dt}\) for all 4 examples. This demonstrates that for these dynamic concentrations the magnitude of the two summands of the new dynamic model is the same.
The imaging process in Fourier space is a convolution of the Fourier transformed system matrices with the Fourier transformed concentration and its time derivative. Thus, the concentration is smoothed by the system matrix. The kernels \(S_1\) and \(S_2\) have the same width meaning that the concentration and its derivative are smoothed equally.
To further examine these effects, we split up the discrete forward model such that the signal
is now the sum of A and B, where A denotes the signal component generated by the first system matrix \(S_1\) and B the signal component generated by the second system matrix \(S_2\). The convolution of the frequency components of system matrix 1 and the tracer distribution is named a and the convolution of system matrix 2 with the derivative of the concentration is named b.
Using the dynamic example concentration 3 shown in Figs. 3c, 4 shows a and b for each voxel. As expected, one can see that the shape and the maximum values of both terms are similar. Both plots show maximum values of about \(1.2\cdot 10^{-4}\). Fig. 5 shows the plots of A and B for the frequencies \(k\in [0.08,1.25]\)MHz. Again, both terms have the same order of magnitude. For A the frequencies with high amplitudes have a small variance while for B high amplitudes can be observed in the whole frequency range. This shows that even for this example with slower dynamics the second component of the forward model has a significant impact on the signal. While the second summand in Eq.(9) is negligible for static concentrations, for dynamic concentrations it should not be neglected in general. A practical threshold on the velocity or other characteristics remain to be studied.
5 Comparing Reconstructions with the Dynamic and Static Model
The challenge in solving the dynamic inverse problem (12) is the high number of degrees of freedom. We therefore use a minimalist setup with a grid of \(3\times 3\times 1\) voxels. We use two computational phantoms to simulate an MPI measurement with the dynamic model and reconstruct it with the dynamic and the static model. They are named one-peak phantom and three-peak phantom and their spatial setup can be seen in Fig. 6.
5.1 Parameterized Concentration Curve
To reduce the degrees of freedom and computational cost, the tracer concentration of the one-peak phantom is described by parametric curves
for \(i=1,\dots ,R\), with parameter set \(\lambda _B=[b_{m,r_i}]_{i=1,\dots ,R}^{m=1,\dots ,M}\), \(M\in {\mathbb {N}}\) and basis functions \(\psi _m\) which are cubic B-splines. This means that for each voxel \(r_i\) there is a set of coefficients \(b_m\) which together with the spline basis form a continuous concentration curve in time. Consequently, we assume that the concentration is twice differentiable with respect to t which is a stronger condition than previously assumed in the dynamic model.
Cubic B-spline curves are well suited to model the dynamics of the magnetic tracer. In [12], the authors deal with the reconstruction of spatiotemporal tracer distributions in Single Photon Emission Computed Tomography (SPECT). Cubic B-spline curves are used to describe and reconstruct the dynamic distribution of the radioactive tracer from gated cardiac SPECT sequences. We generate three variants of the one-peak phantom 1F, 2F and 4F. For one-peak phantom 1F the coefficients for all \(R=9\) voxels except \(r_5\) are zero. The concentration is non-zero within the scan time of one frame. Figure 7a shows the development of the tracer distribution for the total scan time where each curve describes the concentration within one voxel. The plot shows a peak at \(t=0.4128\)ms with a concentration of 2.67 for voxel \(r_5\). Versions 2F and 4F differ only in the width of the concentration peak. The concentration peak for \(r_5\) lasts for the scan time of 2 frames in version 2F and 4 frames in version 4F (see Fig. 7b). The three variants can be related to boluses with different velocities. The bolus in version 1F is twice as fast as in 2F and four times faster than in version 4F. Measurements with 4 frames which are each sampled at 408 time points and the dynamic forward model with \(S_1 = \frac{\partial {{\bar{m}}}}{\partial t}\) and \(S_2={{\bar{m}}}\) are simulated according to (12). The parameters used for the simulations are listed in Tables 1 and 2. There is no transition time in between the frames.
We reconstruct the concentrations by minimization with respect to the parameter set \(\lambda _B\) so that we get continuous concentration curves. The solution set is restricted to parametric spline curves in \(L^2({\mathbb {R}}^3)\times C^2({\mathbb {R}})\) which is an implicit regularization. The curves are reconstructed with two different settings. In the first experiment both matrices are used for reconstruction which corresponds to minimizing
with \({\mathbf {u}}\in {\mathbb {R}}^{n_T}\). The problem is minimized with 200 iterations of a conjugate gradient algorithm and no further regularization. Figure 8a shows the average of reconstructions of the x- and y-channel of one-peak phantom 1F. The peak for voxel \(r_5\) is located at \(t=0.4448\)ms with a concentration of 2.96 which is very close to ground truth. In the same period of time also the concentration of the remaining voxels is non-zero. The peaks of the voxels with even indices have concentration values of about 0.9 and the peaks of the voxels with odd indices have even smaller values of about 0.4. Even if these voxels have a non-zero concentration, it is significantly lower than the value of \(r_5\), so that we can expect sufficient contrast in the reconstructed images. The values for the off-diagonal voxels (voxels with even indices, cf. Figure 6) show higher concentration values than the ones on the diagonal. The x-channel reconstruction locates the concentration correctly in x and the y-channel reconstruction locates the concentration correctly in y. Thus, the off-diagonal voxels are masked by the high concentration in the central voxel.
In the next experiment the same measurement is reconstructed only with \(S_1\) which corresponds to minimizing
with \({\mathbf {u}}\in {\mathbb {R}}^{n_T}\). The problem is again minimized with 200 iterations of a conjugate gradient algorithm and no further regularization. The result for the average of x- and y-channel reconstructions is shown in Fig. 8b. The reconstruction shows a peak for voxel \(r_5\) at \(t=0.3808\)ms which is close to the ground truth but with a significantly smaller concentration of 0.85. Again there are concentration peaks for all remaining voxels with values of about 0.4. This means that the reconstructed images will show reduced contrast. And the true concentration is underestimated.
To get a more intuitive impression of the impact of the discussed curves on the reconstruction quality, Fig. 9 shows a frame of the phantom and the two reconstructed time-series at the time point of the maximum concentration (\(t=0.4128\)ms). Looking at the image of the first experiment in Fig. 9b one can observe a good contrast and slightly higher concentration values for the off-diagonal voxels. As discussed above, the image from the second experiment shown in Fig. 9c exhibits poor contrast and significantly lower concentration values compared to the phantom.
Version 2F and 4F of the one-peak phantom are reconstructed analogously to version 1F. While also for version 2F reconstructed with both matrices the concentration peaks show the correct location and \(83\%\) of the true amplitude (see Fig. 8c), the peak in the reconstruction using only \(S_1\) is less than \(50\%\) of ground truth (see Fig. 8d). The reconstructions for version 4F with and without \(S_2\) are shown in Fig. 8e and 8f. The location is correct for both reconstruction methods and the amplitude of the peak for \(r_5\) reaches \(87\%\) of the ground truth for reconstruction with both matrices and \(73\%\) for using only \(S_1\). Also the concentrations for the remaining voxels are sufficiently low in both cases. Looking at a frame of one-peak phantom 4F and the two reconstructed time-series at the time point of the maximum concentration (\(t=1.304\)ms) in Fig. 10, one can see that the contrast in the reconstruction without \(S_2\) (see. Figure 10c) is improved compared to version 1F and almost comparable to the reconstruction using \(S_1\) and \(S_2\) (see. Fig. 10b).
In order to get an impression on the strength of the dynamics in one-peak phantom 4F, we relate these values to a \(2\times 2\times 2\hbox { mm}^3\) bolus with constant concentration \(c_{max}\) moved through a \(2\times 2 \times 2\hbox { mm}^3\) voxel with a constant velocity v (see Fig. 11). The one-peak phantom has a maximum concentration of \(c_{max}=2.667\) and a maximum time derivative of \({\dot{c}}_{max}=3065\). The average change rate yields a bolus velocity of \(v_{av}=2\cdot 10^{-3}/(2\cdot T_c)=1.53\hbox { m/s}\) and the maximum change rate results in a velocity of \(v_{max}=2\cdot 10^{-3}/(c_{max}/{\dot{c}}_{max})=2.3\hbox { m/s}\). Thus, we state \(v_{dyn}=1.53\hbox { m/s}\) as a preliminary threshold velocity. For reconstructions with an average flow \(v>v_{dyn}\) the dynamic model will improve the reconstruction quality in comparison to the static model.
5.2 Frame-by-Frame Reconstruction
Another way to investigate the impact of the new model is to reconstruct a dynamic measurement frame-by-frame with the assumption of a static concentration within each frame. Therefore we use the three-peak phantom.
As the one-peak phantom, the tracer concentration of the three-peak phantom is described by parametric curves \(c(r_i,t)=\sum _m b_{m,r_i}\psi _m(t)={\mathbf {c}}(\lambda _B(r_i),t)\) with parameter set \(\lambda _B\) and basis functions \(\psi _m\) which are cubic B-splines meaning that for each voxel \(r_i\) there is a set of coefficients \(b_m\) which together with the spline basis form a continuous concentration curve in time.
For the three-peak phantom only the coefficients for the voxels \(r_4\), \(r_5\) and \(r_6\) are non-zero. The tracer distribution during the total scan time is shown in Fig. 12a where each curve describes the concentration within one voxel. There is a concentration peak of 6.67 for voxel \(r_4\), \(r_5\) and \(r_6\). The peaks are shifted in time, such that this dynamic can be seen as an object or tracer bolus that moves from voxel \(r_4\) to voxel \(r_6\) considering the location of the voxels in Fig. 6. The peaks are located in the scan time of frame 3, 4 and 5 and have a temporal width of about 4 frames. The concentration of the remaining voxels is zero.
A measurement with \(F=10\) frames which are each sampled at 408 time points and the dynamic matrix model (12) with \(S_1\) and \(S_2\) is simulated. The parameters used for the simulation can be found in Tables 1 and 2.
The dynamic tracer distribution is reconstructed with two different settings. The first one uses information about the tracer dynamics from the reconstructions of previous frames and the second one reconstructs each frame independently. In fact the reconstructions are piecewise constant functions over time. For better comparison the results depicted in Fig. 12 show linear interpolations of the static reconstructions of 10 frames.
In the first experiment both matrices are used for reconstruction of each frame while the time derivative \(\frac{\partial {\mathbf {c}}}{\partial t}=\frac{{\mathbf {c}}^f-{\mathbf {c}}^{f-1}}{\varDelta t}\) is the divided difference of the concentration vector of the current and the preceding frame. This corresponds to minimizing
with \({\mathbf {u}}^f\in {\mathbb {R}}^{n_T}\), \({\mathbf {c}}^f\in {\mathbb {R}}^{R}\), \({\mathbf {S}}_1, {\mathbf {S}}_2\in {\mathbb {R}}^{n_T \times R}\). Figure 12b shows the average of x- and y-channel reconstructions which were reconstructed in time domain with 100 iterations of a gradient descent algorithm and no further regularization. It can be seen that the peaks are correctly located in frame 3, 4 and 5. The amplitude of the peaks is slightly lower than the ground truth and decreasing, 5.41 for \(r_4\), 4.96 for \(r_5\) and 4.82 for \(r_6\). There is a non-zero concentration for the remaining voxels in the first 5 frames of less than 0.5. So the reconstructed images will exhibit sufficient contrast.
In the next experiment the same measurement is reconstructed using only \(S_1\), i.e. minimizing
with \({\mathbf {u}}^f\in {\mathbb {R}}^{n_T}\), \({\mathbf {c}}^f\in {\mathbb {R}}^{R}\), \({\mathbf {S}}_1\in {\mathbb {R}}^{n_T \times R}\) in time domain with 100 iterations of a gradient descent algorithm and no further regularization. The result is shown in Fig. 12c. Again the peaks are located correctly in frame 3, 4 and 5. The amplitudes 5.47 for \(r_4\), 5.07 for \(r_5\) and 5.49 for \(r_6\) are also slightly lower than in the phantom and differ less than in the first experiment. The remaining voxels show non-zero concentrations up to 1.2 being more than twice as high as for the first experiment.
6 Discussion and Conclusion
We introduced a new extended forward model for dynamic magnetic particle imaging. It was shown that the standard forward model does not account for dynamic tracer distributions which is corrected by the extended model presented in this paper.
One of the main differences is that the dynamic model contains a second summand with a second system matrix. For different kinds of dynamic concentrations the two summands have been examined. The order of magnitude of the summands is the same for the chosen dynamic examples. This emphasizes the importance of the new model for dynamic tracer distributions.
Furthermore, we simulated measurements from dynamic concentrations with the extended model and reconstructed them with both the dynamic and the static model. In the experiments in Sect. 5.1 three simple phantoms with different change rates are examined. For one-peak 4F, the phantom with the lowest change rates, the static approach using only one system matrix provided an acceptable reconstruction quality. For the phantoms with higher change rates, one-peak phantom 2F and 1F, the static approach resulted in reconstructions with low contrast and significantly lower amplitudes than ground truth while the dynamic approach performed well on all three phantoms. While a quantitative study of this is beyond the scope of this article, we can state that for higher change rates than in one-peak phantom 4F the dynamic model should be considered for reconstruction.
The presented dynamic model is more general than existing approaches for dynamic concentration reconstruction as it is not limited to periodic motion and can be applied to motions with high velocities. While in this paper the equilibrium model is used, the dynamic model allows to incorporate more advanced magnetization models which could improve the reconstruction quality in the future. The reconstruction approach with parametric concentration curves features an implicit dynamic regularization. Additional spatial or temporal regularization, like sparsity in time and space, can be included easily. Moreover, the model allows for joint reconstructions of the particle concentration and its time-derivative which might be of special interest for blood-flow diagnostics.
It remains future research to develop new reconstruction techniques for dynamic tracer distributions based on this model and extend it to multi-patch imaging sequences for larger volumes. Furthermore, the methods need to be evaluated for simulations with phantoms of realistic size and physical phantom measurements. Practice-oriented scenarios might require improved minimization schemes for reconstruction. The dynamic model might also be combined with measurement-based reconstruction. While using a calibration scan for \(S_1\), the second system matrix can be modeled and corrected with the transfer function. Alternatively, \(S_2\) might be learned from its measured time-derivative \(S_1\). In addition to our preliminary statement, a quantitative study of phantoms with different velocities is required for a more precise proposition about when the dynamic model is necessary based on the level of dynamics and the desired reconstruction quality. A further theoretical research direction is the analysis of features like the ill-posedness of the dynamic reconstruction problem.
Availability of Data
The data sets generated during the experiments are available from the corresponding author on reasonable request.
Code availability
The code used for the simulations is available from the corresponding author on reasonable request.
References
Adams, R. A., & Fournier, J. J. (2003). Sobolev spaces. London: Elsevier.
Bean, C., & Livingston, u.D. . (1959). Superparamagnetism. Journal of Applied Physics, 30(4), S120–S129.
Boberg, M., Knopp, T., & Möddel, M. (2020). Reducing displacement artifacts by warping system matrices in efficient joint multi-patch magnetic particle imaging. International Journal on Magnetic Particle Imaging 6(2), 1–3. Doi: https://doi.org/10.18416/IJMPI.2020.2009030.URL https://journal.iwmpi.org/index.php/iwmpi/article/view/292. Inproceedings, multi-patch, artifact
Boberg, M., Knopp, T., Szwargulski, P., & M\({\ddot{{\rm o}}}\)ddel, M. (2020). Generalized mpi multi-patch reconstruction using clusters of similar system matrices. IEEE Transactions on Medical Imaging, 39(5), 1347–1358. https://doi.org/10.1109/TMI.2019.2949171. Article, multi-patch, artifact
Bringout, G., Erb, W., & Frikel, J. (2020). A new 3D model for magnetic particle imaging using realistic magnetic field topologies for algebraic reconstruction. arXiv preprint: arXiv:2004.13357.
Eberbeck, D., Dennis, C. L., Huls, N. F., Krycka, K. L., Gruttner, C., & Westphal, F. (2012). Multicore magnetic nanoparticles for magnetic particle imaging. IEEE Transactions on Magnetics, 49(1), 269–274.
Erb, W., Weinmann, A., Ahlborg, M., Brandt, C., Bringout, G., Buzug, T. M., Frikel, J., Kaethner, C., Knopp, T., März, T., et al. (2018). Mathematical analysis of the 1D model and reconstruction schemes for magnetic particle imaging. Inverse Problems, 34(5), 055012.
Gdaniec, N., Boberg, M., Möddel, M., Szwargulski, P., & Knopp, T. (2020). Suppression of motion artifacts caused by temporally recurring tracer distributions in multi-patch magnetic particle imaging. IEEE Transactions on Medical Imaging, 39(11), 3548–3558. https://doi.org/10.1109/TMI.2020.2998910. URL https://ieeexplore.ieee.org/document/9104762. Article, multi-patch, artifact, opendata.
Gleich, B., & Weizenecker, J. (2005). Tomographic imaging using the nonlinear response of magnetic particles. Nature, 435(7046), 1214–1217.
Goodwill, P. W., & Conolly, S. M. (2010). The X-space formulation of the magnetic particle imaging process: 1-D signal, resolution, bandwidth, SNR, SAR, and magnetostimulation. IEEE Transactions on Medical Imaging, 29(11), 1851–1859.
Goodwill, P. W., & Conolly, S. M. (2011). Multidimensional x-space magnetic particle imaging. IEEE Transactions on Medical Imaging, 30(9), 1581–1590.
Gravier, E., Yang, Y., & Jin, M. (2007). Tomographic reconstruction of dynamic cardiac image sequences. IEEE Transactions on Image Processing, 16(4), 932–942.
Grüttner, M., Knopp, T., Franke, J., Heidenreich, M., Rahmer, J., Halkola, A., Kaethner, C., Borgert, J., & Buzug, T.M. (2013). On the formulation of the image reconstruction problem in magnetic particle imaging. Biomedical Engineering/Biomedizinische Technik 58(6), 583–591.
Haegele, J., Rahmer, J., Gleich, B., Borgert, J., Wojtczyk, H., Panagiotopoulos, N., Buzug, T. M., Barkhausen, J., & Vogt, F. M. (2012). Magnetic particle imaging: visualization of instruments for cardiovascular intervention. Radiology, 265(3), 933–938.
Kaczmarz, S. (1937). Angenäherte Auflösung von Systemen linearer Gleichungen. Bulletin of the International Academy of Polish Sciences and Letters in the Classificatios in Science, Mathematics Nature, pp. 355–7.
Kaul, M. G., Salamon, J., Knopp, T., Ittrich, H., Adam, G., Weller, H., & Jung, C. (2018). Magnetic particle imaging for in vivo blood flow velocity measurements in mice. Physics in Medicine and Biology, 63(6), 064001.
Kluth, T. (2018). Mathematical models for magnetic particle imaging. Inverse Problems, 34(8), 083001.
Kluth, T., Jin, B., & Li, G. (2018). On the degree of ill-posedness of multi-dimensional magnetic particle imaging. Inverse Problems, 34(9), 095006. https://doi.org/10.1088/1361-6420/aad015
Kluth, T., Szwargulski, P., Knopp, T. (2020). Towards accurate modeling of the multidimensional MPI physics. International Journal on Magnetic Particle Imaging 6(2), 1–3. https://doi.org/10.18416/IJMPI.2020.2009004. URL https://journal.iwmpi.org/index.php/iwmpi/article/view/318. Inproceedings
Knopp, T., & Buzug, T. (2012). Magnetic particle imaging: An introduction to imaging principles and scanner instrumentation. Heidelberg: Springer.
Knopp, T., Gdaniec, N., & Möddel, M. (2017). Magnetic particle imaging: from proof of principle to preclinical applications. Physics in Medicine and Biology, 62(14), R124–R178. https://doi.org/10.1088/1361-6560/aa6c99.
Knopp, T., Sattel, T. F., Biederer, S., Rahmer, J., Weizenecker, J., Gleich, B., Borgert, J., & Buzug, T. M. (2009). Model-based reconstruction for magnetic particle imaging. IEEE Transactions on Medical Imaging, 29(1), 12–18.
Knopp, T., Szwargulski, P., Griese, F., & Gräser, M. (2020). OpenMPIData: An initiative for freely accessible magnetic particle imaging data. Data in Brief, 28. https://doi.org/10.1016/j.dib.2019.104971. URL http://www.sciencedirect.com/science/article/pii/S2352340919313265.
Ludewig, P., Gdaniec, N., Sedlacik, J., Forkert, N. D., Szwargulski, P., Graeser, M., et al. (2017). Magnetic particle imaging for real-time perfusion imaging in acute stroke. ACS Nano, 11(10), 10480–10488.
Maass, M., & Mertins, A. (2020). On the representation of magnetic particle imaging in fourier space. International Journal on Magnetic Particle Imaging 6(1).
März, T., Weinmann, A. (2016). Model-based reconstruction for magnetic particle imaging in 2D and 3D. arXiv preprint: arXiv:1605.08095.
Rahmer, J., Weizenecker, J., Gleich, B., & Borgert, J. (2012). Analysis of a 3-d system function measured for magnetic particle imaging. IEEE Transactions on Medical Imaging, 31(6), 1289–1299.
Storath, M., Brandt, C., Hofmann, M., Knopp, T., Salamon, J., Weber, A., & Weinmann, A. (2017). Edge preserving and noise reducing reconstruction for magnetic particle imaging. IEEE Transactions on Medical Imaging, 36(1), 74–85. https://doi.org/10.1109/TMI.2016.2593954
Weizenecker, J. (2018). The Fokker-Planck equation for coupled Brown-Néel-rotation. Physics in Medicine and Biology, 63(3), 035004.
Weizenecker, J., Borgert, J., & Gleich, B. (2007). A simulation study on the resolution and sensitivity of magnetic particle imaging. Physics in Medicine and Biology, 52(21), 6363.
Weizenecker, J., Gleich, B., Rahmer, J., Dahnke, H., & Borgert, J. (2009). Three-dimensional real-time in vivo magnetic particle imaging. Physics in Medicine and Biology, 54(5), L1.
Yagiz, E., Cagil, A.R., Saritas, E.U. (2020). Non-ideal selection field induced artifacts in x-space mpi. International Journal on Magnetic Particle Imaging 6(2).
Funding
Open Access funding enabled and organized by Projekt DEAL. No funds, grants, or other support was received.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no conflicts of interest to declare that are relevant to the content of this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Brandt, C., Schmidt, C. Modeling Magnetic Particle Imaging for Dynamic Tracer Distributions. Sens Imaging 22, 45 (2021). https://doi.org/10.1007/s11220-021-00368-w
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11220-021-00368-w