## Abstract

The dynamics of large spin-1/2 ensembles are commonly described by the Bloch equation, which is characterized by the magnetization’s non-linear response to the driving magnetic field. Consequently, most magnetic field variations result in non-intuitive spin dynamics, which are sensitive to small calibration errors. Although simplistic field variations result in robust spin dynamics, they do not explore the richness of the system’s phase space. Here, we identify adiabaticity conditions that span a large experiment design space with tractable dynamics. All dynamics are trapped in a one-dimensional subspace, namely in the magnetization’s absolute value, which is in a transient state, while its direction adiabatically follows the steady state. In this hybrid state, the polar angle is the effective drive of the spin dynamics. As an example, we optimize this drive for robust and efficient quantification of spin relaxation times and utilize it for magnetic resonance imaging of the human brain.

## Introduction

For many nuclei, the spin gives rise to a magnetic moment, whose dynamics can be exploited, among other things, for quantum computing^{1}, to study the chemical structure of molecules, as done in nuclear magnetic resonance^{2} (NMR) spectroscopy, or to analyze the composition of biological tissue, as used for clinical diagnosis in magnetic resonance imaging^{3} (MRI). Modeling spin–lattice and spin–spin interactions as random magnetic field fluctuations^{4} allows for capturing their macroscopic effect by the relaxation times *T*_{1} and *T*_{2}, respectively. This facilitates the description of large spin-1/2 ensembles with the classical Bloch equation^{5}, formally akin to the time-dependent Schrödinger equation in a 4D-space:

Here, *∂*_{t} denotes the partial derivative with respect to time, *x*, *y*, *z* are the spatial components of the magnetization, and 1 is the normalized *z*-magnetization at thermal equilibrium. The Rabi frequencies^{2} *ω*_{x} and *ω*_{y} (induced by radio frequency (RF) pulses), together with the Larmor frequency *ω*_{z}, are the external drive of the spin dynamics.

While the Bloch equation is very general, it provides little intuition to help design robust and efficient experiments. This lack of intuition has biased experimental design towards elementary drives for which analytic solutions make the effect of spin relaxation and experimental imperfections evident. For example, the workhorses of clinical MRI weight the signal intensity either by *T*_{1} or *T*_{2} effects by exploiting the simplest spin dynamics, most notably exponential relaxation^{6,7,8} and steady states^{9,10,11}. These basic drives span small subspaces like the steady-state ellipse^{9,12,13,14}, which entail relatively trivial spin dynamics compared to the richness found outside. More recent approaches strive to break away from such traditional experimental designs in search for an improved signal-to-noise efficiency^{15}. However, the non-intuitive nature of the Bloch equation has limited the exploration of this vast experiment design space to heuristic guesses^{15,16,17,18,19,20}.

The rationale for this improved encoding efficiency can be understood intuitively: Variations of the driving fields result in a transient state, which enables one to exploit the entire Bloch sphere in search for the optimal encoding of characteristic parameters such as spin relaxation times. However, there is a risk associated with the transient state: Small magnetic field deviations can produce substantial differences in spin trajectories, which can bias the estimation of characteristic parameters. This is particularly problematic in biological tissues, where inhomogeneous broadening and diffusion narrowing are inevitable and are nontrivial to model^{19,21,22}.

Here, we formulate conditions under which the sensitivity to magnetic field deviations and inhomogeneous broadening is greatly mitigated and reveal a large subspace of drives in which the Bloch equation is tractable. Our analysis shows that, under these conditions, the direction of the magnetization adiabatically follows the one of steady states, while the absolute value of the magnetization can be in a transient state. In this hybrid state, the spin dynamics thus live in a one-dimensional subspace and can be described by a 2 × 2 Hamiltonian:

where *r* is the magnetization along the radial direction, i.e. its magnitude (refer to the section “Methods” for the derivation). This notation identifies the polar angle *ϑ*(*t*), which is the angle between the *z*-axis and the magnetization, as the relevant degree of freedom, which describes the joint effect of the drives *ω*_{x}(*t*), *ω*_{y}(*t*), and *ω*_{z}(*t*) on the spin dynamics. As an example, we show that this hybrid-state equation and its solution provide intuition for the encoding processes of spin-relaxation times and are an excellent basis for numerical optimizations of a *T*_{1} and *T*_{2} mapping experiment that combines the robustness of the steady state with the encoding efficiency of the transient state.

## Hybrid state boundary conditions

An eigendecomposition of the Bloch–Hamiltonian points out the source of the sensitivity to magnetic field inhomogeneities. As the magnetization described by Eq. (1) is real-valued, we can conclude that the eigenvalues of the Hamiltonian must either be real-valued or occur in complex conjugate pairs. One eigenvalue is zero and describes the steady-state magnetization. Therefore, another eigenvalue must be real-valued. As such, it describes an exponential decay of the corresponding transient-state component, while the remaining complex eigenvalues describe oscillatory decays. Ganter pointed out that the complex phase makes the latter components very sensitive to deviations in the magnetic field and, in particular, to inhomogeneous broadening^{23}. Figure 1 provides some intuition for this sensitivity: As the complex phase accumulates during the experiment, the spin trajectory becomes very sensitive to deviations in the magnetic fields. Considering that the measured signal is invariably given by the integral over some distribution of Larmor frequencies^{21}, or more generally, over the Brownian paths in a magnetically heterogeneous environment^{22}, contributions of the complex eigenvalues will lead to a bias in the estimated relaxation parameters^{19}.

Conversely, if we design our MR experiment such that the cumbersome complex-valued eigenstates are not populated, we achieve robustness to magnetic field deviations and inhomogeneous broadening. If we simultaneously populate the real-valued transient eigenstate, we liberate the magnetization from the steady-state ellipse and gain access to the entire Bloch sphere (Fig. 1).

In general, variations of the driving fields rotate the eigenvectors and populate all transient eigenstates. A Taylor expansion of this eigenbasis rotation (see the section “Methods”) reveals that this population is dominated by the gaps between the eigenvalue and the rest of the Hamiltonian’s spectrum, similar to the quantum mechanical adiabatic theorem^{24}. If we assume *T*_{1} = *T*_{2} as an illustrative example, the Hamiltonian has the eigenvalues *λ*_{1} = 0, *λ*_{2} = −1/*T*_{1,2}, and *λ*_{3,4} = −1/*T*_{1,2} ± *i*|** ω**| with

**= (**

*ω**ω*

_{x},

*ω*

_{y},

*ω*

_{z}). This illustrates that the separation of the real-valued eigenvalue from the steady-state relies on relaxation, while the spin-ensemble’s frequency adds to the separation of the complex-conjugate eigenvalues. It is this structure of the Hamiltonian’s spectrum that enables the hybrid state.

For pulsed experiments^{6}, which dominate modern MR, a thorough derivation (see the section “Methods”) results in the steady-state adiabatic condition

Here, the driving fields are parameterized by the flip angle *α* and the accumulated phase *ϕ* = *ω*_{z}*T*_{R}, and Δ*α* and Δ*ϕ* denote the change of these parameters in consecutive repetitions. For biological tissue, rapid imaging protocols usually use *T*_{R} ≪ *T*_{1}, which makes Eq. (3) a very restrictive bound.

The eigenvalues’ phase allows for a substantially less restrictive bound for the complex eigenstates:

Assuming, e.g., *ϕ* = *π*, which is commonly referred to as the on-resonance condition^{23,25}, this bound is at the order of one. Since the latter adiabatic condition is substantially less restrictive, the hybrid-state theory governs a vast experiment design space, as illustrated in Fig. 2.

## Adiabaticity and the solution of the Bloch equation

Hargreaves et al. showed that the eigenvector corresponding to the complex eigenvalue is approximately perpendicular to the steady-state magnetization^{25}, while the real-valued eigenvalue describes the transient-state component parallel to the steady-state magnetization. By enforcing Eq. (4), we, thus, effectively force the direction of the magnetization to adiabatically follow that of the steady states. If we then simultaneously pick our driving fields to violate Eq. (3), the magnitude of the magnetization is in a transient state, and a hybrid of two co-existing states emerges, which we dub the hybrid state.

The adiabaticity of the magnetization’s direction effectively decouples the components of the Bloch equation, which allows us to formulate an analytic solution. For this purpose, we transform the Bloch equation into spherical coordinates and provide the solutions for the polar angle *ϑ*, the phase *φ*, and the radius *r*, which we here define as the magnitude combined with a sign (refer to the section “Methods” for the derivation). Except in the vicinity of the stop bands, which are defined by |sin *ϕ*| ≪ 1 (Supplementary Fig. 5), the polar angle can be approximated by

This equation reduces to *ϑ* = *α*/2 for *ϕ* = *π*, which we define as the on-resonance condition. In practice, *ϕ* = *π* is assigned to the on-resonant spin isochromat by the common phase increment of *π* in consecutive RF pulses. The phase of the magnetization is approximated by

where the Heaviside function \({\cal{H}}\) disambiguates the four-quadrants and \(\phi _{T_{\mathrm{E}}}\) describes the phase of the magnetization accumulated between the RF pulse and the time the signal is observed, i.e., the echo time *T*_{E}.

The radial component *r* captures the entire spin dynamics, which is described by a single first-order differential equation (Eq. (2)). This equation is solved by

with

Here, *t* denotes time and *r*(0) the initial magnetization. Alternatively, we can define the initial magnetization as a function of the final magnetization, i.e. *r*(0) = *β* · *r*(*T*_{C}), where *T*_{C} denotes the duration of a single cycle of the experiment. With this boundary condition, the radial Bloch equation is solved by Eq. (7) with

When we set *β* = 1, a periodic boundary condition is obtained, which requires the magnetization at the beginning and the end of each cycle to be equal. Similarly, *β* = −1 leads to an anti-periodic boundary condition, which implies an inversion of the magnetization between cycles. Such boundary conditions enable the concatenation of multiple cycles without delays, thus, allowing for efficient signal averaging and a flexible implementation, e.g., of time-consuming 3D imaging experiments.

Intuitively, Eq. (7) describes a predominant *T*_{1} encoding at small *ϑ*-values (close to the *z*-axis), and a predominant *T*_{2} encoding as *ϑ* approaches *π*/2, which corresponds to the *x*–*y*-plane. When *ϑ* is constant, Eq. (7) reduces to the exponential transition into steady state described by Schmitt et al.^{26} (Supplementary Note 1). Supplementary Figure 5 validates the hybrid-state model by comparing Eqs. (5–7) to Bloch simulations for the example of anti-periodic boundary conditions.

## Robustness of the hybrid state

The superior robustness of the hybrid state in comparison to the fully transient state becomes evident when estimating spin relaxation times from simulated and measured signals. While the fully transient state is, in general, sensitive to deviations of both the Rabi and the Larmor frequency, inhomogeneous broadening makes latter much more difficult to correct. In order to demonstrate this, we simulated the average signal obtained from a collection of isochromats with a Gaussian distribution of Larmor frequencies and added white noise to reflect thermal noise. Because the Larmor frequency distribution in a sample is generally unknown, the obtained signals were fitted assuming a single isochromat. Figure 3 shows that the transient state leads to increasingly biased estimates of the relaxation times as the distribution of Larmor frequencies widens (full width at half maximum (FWHM) increases). Conversely, the hybrid state is more robust to inhomogeneous broadening. This finding is also validated experimentally in Fig. 4.

In most clinical imaging scenarios, the signal observed from each voxel (or volumetric pixel) is approximated well by a single Rabi frequency, which allows for easier correction^{17,27}. Nevertheless, experiments that operate in the transient-state regime can be so sensitive to magnetic field variations that even small calibration errors can lead to substantial errors in the estimated relaxation times (Supplementary Note 2).

## Efficiency of the hybrid state

The simulations in Fig. 3 visualize numerically optimized experiments. Thus, we can also use them to demonstrate the superior signal-to-noise ratio (SNR) efficiency of the hybrid state in comparison to the steady state. As anticipated, the estimates retrieved from the hybrid-state experiment exhibit substantially less noise compared to the steady state. The hybrid state, thus, unites superior encoding capabilities similar to the transient state, and robustness to deviations of the magnetic fields and to inhomogeneous broadening, similar to the steady state. This finding is also validated experimentally in Fig. 4.

For a more comprehensive analysis of the noise properties of different experiment design spaces, we examine the sum of the relative Cramér–Rao bound (rCRB) for *T*_{1}-encoding and *T*_{2}-encoding. The rCRB provides a lower limit for the noise in the estimated parameters, normalized by the input noise variance, by the square of the respective relaxation time and by *T*_{C}/*T*_{R} (Eqs. (39) and (40)). It can be understood as a lower bound for the squared inverse SNR efficiency per unit time, and Fig. 3 shows that the simulated noise comes close to this theoretical limit. We numerically searched the parameter space of possible drive functions for the lowest combined rCRB. Due to the nature of the steady state, its rCRB does not depend on *T*_{C}, so that the experiment’s duration can be chosen freely to meet the experimental needs. Hybrid-state experiments with anti-periodic boundary conditions provide a similar flexibility, since multiple cycles can be concatenated without gaps. Comparing these two experiments, one finds that the hybrid state allows for a substantially more efficient measurement than the steady state (Fig. 5).

The performance of exponential relaxation curves is here demonstrated using the example of the inversion-recovery balanced steady-state-free precession (IR-bSSFP) experiment, which is known to have a high SNR efficiency^{26,28}. (Despite the name, this is actually not a steady-state experiment. Instead, one measures the magnetization as it exponentially approaches the steady state.) In contrast to the previously discussed experiments, the magnetization departs here from thermal equilibrium. This requires a long waiting time (Δ*t* ≫ *T*_{1}) before the measurement can be repeated. For *T*_{C} ≲ 25 s, exponential experiments have a lower rCRB compared to steady-state experiments, and for *T*_{C} ≲ 5 s it is even lower compared to anti-periodic hybrid-state experiments (Fig. 5). An optimization of exponential experiments is essentially the search for the optimal line from the southern half of the Bloch sphere to the steady-state ellipse (Supplementary Fig. 4g). If we take the IR-bSSFP experiment and allow *ϑ*(*t*) to vary over time, we can exploit the full experiment design space spanned by the hybrid state, and we find an improved SNR-efficiency at all *T*_{C} values, with the most dramatic improvement in the case of long experiments. In analogy to the acronym IR-bSSFP, we use the term inversion-recovery balanced hybrid-state-free precession (IR-bHSFP) for hybrid-state experiments that start from thermal equilibrium by the application of an inversion pulse. We focus this analysis on experiments with balanced gradient moments because of their superior SNR properties.

In this section, we analyzed the noise properties at a single *T*_{1} and *T*_{2} value. Supplementary Note 3 demonstrates that the conclusions drawn here remain valid throughout large areas in *T*_{1}–*T*_{2}-space, and also in the presence of deviations of the Larmor and Rabi frequencies.

## Spin dynamics in the hybrid state

Optimizing the driving functions *ϑ*(*t*) results in spin trajectories with reproducible features (Fig. 6). For example, all optimizations resulted in comparatively smooth functions *ϑ*(*t*). Note that the optimizations assume a hybrid state, but otherwise do not enforce smoothness, which indicates that the adiabaticity condition (Eq. (4)) does not impair the *T*_{1,2}-encoding efficiency. In some segments, the optimization exploits the design limits 0 ≤ *ϑ* ≤ *π*/4, which are imposed for practical reasons. These extreme values help to achieve a large d*r*/d*T*_{1} while minimizing d*r*/d*T*_{2} and vice versa. However, directly after crossing the origin (turquoise segment), the product of d*r*/d*T*_{1} and d*r*/d*T*_{2} has a different sign compared to the remainder of the sequence, which makes this segment valuable for decorrelating those two derivatives. As a consequence, the magnetization follows a trajectory with *ϑ* > 0. During a segment of *ϑ* ≈ 0 (yellow segment), d*r*/d*T*_{2} approaches zero. Thereafter, the optimized driving function *ϑ* increases again, resulting in non-zero signal and disentangled encoding of *r* and d*r*/d*T*_{1}. Further, the optimized trajectories do not spend a significant amount of time on the steady-state ellipse. On the contrary, crossing the ellipse triggers a fast change of *ϑ*, as highlighted by the magnifications in Fig. 6.

Described hybrid-state spin trajectories result from non-convex optimizations and we can only speculate about their optimality. However, the simple and reproducible structures, together with the simple form of the governing Eq. (2) provide an excellent basis for a more detailed analysis.

## In vivo experiment

Figure 7 shows an example application of the hybrid state. The *T*_{1}-map and *T*_{2}-map in a sagittal slice through a human brain were acquired with an anti-periodic bHSFP experiment and demonstrate the feasibility of the hybrid state for in vivo imaging. Similar to the case of steady-state imaging, the robustness of the hybrid-state spin dynamics with respect to magnetic field variations allows us to approximate the inhomogeneously broadened spin ensemble in each voxel by a single spin isochromat with a well-defined Larmor frequency (Figs. 3 and 4). The benign response of the spin dynamics to *B*_{0} and *B*_{1} inhomogeneities—evident from the fact that Eqs. (5)–(7) are smooth functions of *α* and *ϕ* outside of the stop-band—further mitigates the propagation of unavoidable errors in estimates of those field variations, allowing for a robust correction^{17,27}. Figure 7 also serves as a validation of the hybrid-state model: Fitting the data with the full Bloch model and the hybrid-state model resulted in virtually the same *T*_{1}-map and *T*_{2}-map, apart from regions with extremely long relaxation times (arrows in Fig. 7). This good agreement is also confirmed by the values within a region of interest comprised by white brain matter (bottom left corner in Fig. 7). All slices of this 3D acquisition can be found in Supplementary Note 4, where we also show an additional knee scan that demonstrates the robustness of hybrid-state acquisitions and alludes to their versatility.

## Scope of the hybrid-state model

Adiabatic passages are frequently used in NMR, MRI, as well as quantum computing for robust spin excitation, inversion, and refocusing in the presence of magnetic field inhomogeneities^{29,30}. These passages are achieved by using continuous, slowly varying driving fields, for which the well-established adiabaticity condition \(|{\mathrm{{d}}}\omega _{x,y,z}/{\mathrm{{d}}}t| \ll \omega _x^2 + \omega _y^2 + \omega _z^2\) exploits the same structure of the Hamiltonian’s spectrum as the hybrid-state condition (Eq. (4)). Further, adiabatic pulses commonly violate the corresponding steady-state condition \(|{\mathrm{{d}}}\omega _{x,y,z}/{\mathrm{{d}}}t| \ll 1/T_1^2\). From this point of view, we can consider the hybrid state as a generalization of adiabatic passages to pulsed experiments, which allows us to exploit their robustness throughout the entire experiment. The flexible and efficient access to relaxation mechanisms, combined with the robustness of adiabatic passages constitutes the core of the hybrid-state framework.

The robustness of the measured signal to magnetic field deviations, including inhomogeneous broadening, is reflected by the hybrid-state equations of motion (Eqs. (5–7)) being smooth functions of the Larmor and Rabi frequencies, which are here parameterized by *ϕ* and *α*, respectively. This property is a direct consequence of the constrained population of the complex eigenstates and is particularly important when the line shape is unknown, e.g., when measuring biological tissue with balanced-HSFP experiments^{21}. The estimation of the distribution is less problematic in unbalanced experiments, such as the fast imaging with steady-state precession^{11} (FISP) experiment, or the reversed PSIF experiment. In these experiments, one places crusher gradient pulses directly before or after the RF pulses, which essentially average the signal over *ϕ* ∈ [−2*π*, 2*π*] and desensitize the signal to inhomogeneous broadening at the cost of SNR. Assuming *ϕ* = 0 as a worst-case scenario, the hybrid-state model holds true for these experiments, and the crusher gradients can be incorporated by setting \(\phi _{T_{\mathrm{E}}} = 0\) or \(\phi _{T_{\mathrm{E}}} = \phi\) in Eq. (6) for FISP and PSIF, respectively.

For complex molecules, as well as for complex biological tissues, the Bloch equation is an oversimplified model. This can be observed in Fig. 7, where the measured relaxation times are subject to systematic deviations, which are most likely caused by magnetization transfer^{31,32,33}. Magnetization transfer, as well as diffusion^{34} and chemical exchange^{35}, are captured neither by the Bloch equation, nor by the hybrid-state model in their basic forms. However, these effects can be modeled by extensions to the hybrid-state model similarly to the established extensions of the Bloch equation^{34,35}. Such extended hybrid-state models can provide a more intuitive understanding of these effects, and pave the road towards more efficient experiment designs to measure them.

## Methods

### Derivation of the hybrid state adiabaticity conditions

*The evolution matrix***:** In order to describe pulsed MR experiments, we analyze the spin evolution matrix **U** ∈ ℝ^{4×4}, which is generated by the Hamiltonian. The matrix **U** can, e.g., be derived by taking the matrix exponential of the Hamiltonian and is not unitary due to the relaxation terms (Eq. (1)). Note that an analysis of the evolution matrix is largely equivalent to an analysis based on the Hamiltonian itself. For pulsed experiments, where we assume one hard, i.e. infinitesimally short, RF pulse surrounded by Larmor precession and relaxation, the evolution matrix is given by

where

describes the relaxation of the magnetization with *E*_{1,2} = exp(−*T*_{R}/*T*_{1,2}). The rotation matrices

and

describe the rotations caused by the RF pulse and free precession, respectively.

Equation (8) assumes a symmetric experiment, as it is used, e.g. in balanced-SSFP experiments, where one usually measures the magnetization in the middle between two RF pulses (*T*_{E} = *T*_{R}/2)^{36}. In the case of unbalanced-SSFP experiments, one would usually acquire the magnetization right after each RF pulse and would place a so-called crusher gradient after the signal acquisition in order to create a net gradient moment. In such a FISP^{11} experiment, the evolution matrix would, thus, be given by **U**_{FISP} = **R**_{y} · **R**_{z} · **E**^{2} with the appropriate choice of *ϕ*, and the reversed PSIF experiment with the crusher gradient prior to the readout would be described by **U**_{PSIF} = **E**^{2} · **R**_{z} · **R**_{y}. Note that derivations for FISP and PSIF lead to the same result as the one presented here.

For future reference, we also define the derivative of **U** with respect to *α*, which is given by \({\mathbf{U}}^\prime = {\mathbf{ER}}_z{\mathbf{R}}_y^\prime {\mathbf{R}}_z{\mathbf{E}}\) with

and the derivative of **U** with respect to *ϕ*, which is given by \({\mathbf{U}}^\prime = {\mathbf{ER}}_z^\prime {\mathbf{R}}_y{\mathbf{R}}_z{\mathbf{E}} + {\mathbf{ER}}_z{\mathbf{R}}_y{\mathbf{R}}_z^\prime {\mathbf{E}}\) with

*Eigendecomposition of the evolution matrix*** :** The eigendecomposition of the evolution matrix is given by

where **V** ∈ ℂ^{4×4} is composed of the right-eigenvectors **v**_{d} ∈ ℂ^{4×1} defined by **Uv**_{d} = *λ*_{d}**v**_{d}, and **Λ** ∈ ℂ^{4×4} is a diagonal matrix with the eigenvalues *λ*_{d} ∈ ℂ on the diagonal. The magnetization in MR experiments never grows arbitrarily, so that |*λ*_{d}| ≤ 1 must be fulfilled for all eigenvalues. Further, if the experiment described by **U** has a non-zero steady-state magnetization, at least one eigenvalue must fulfill |*λ*_{d}| = 1.

For the explicit definition of the evolution matrix in Eq. (8), which describes one RF pulse surrounded by free precession and relaxation, one eigenvalue is given by

and the corresponding eigenvector describes the steady-state magnetization. As shown by Ganter^{23}, the remaining eigenvalues are approximated by

with

These eigenvalues are a first-order approximation of the parameter *δ* = (*E*_{1} − *E*_{2})/(*E*_{1} + *E*_{2}), which is small for *T*_{R} ≪ {*T*_{1}, *T*_{2}} in most biological tissues^{23}. The eigenvalues have an absolute value smaller than one and describe the transient state. The eigenvalue \({\lambda _\parallel}\) is real-valued and the corresponding eigenvector is approximately parallel to the steady-state magnetization in the three spatial dimensions^{23}. The other two eigenvalues \(\lambda _ \bot ^{( \ast )}\) are in general complex and complex conjugate of each other, as indicated by the star. This results in the well-known oscillatory behavior of the transient state of bSSFP experiments^{25}. As shown by Ganter^{23}, the corresponding eigenvectors are approximately perpendicular to the steady-state eigenvector.

*The perturbation matrix***:** A sequence of *N* identical and equidistant RF pulses is simply given by **U**^{N} = **VΛ**^{N}**V**^{−1} and describes the transition into the steady state^{23,25}. The description of an experiment with varying driving fields, as required to avoid the steady state, is slightly more complicated. To approach this problem, we denote the evolution matrix of the *n*th repetition by **U**_{n} and the spin dynamics in two consecutive repetitions is described by \({\mathbf{U}}_n{\mathbf{U}}_{n - 1} = {\mathbf{V}}_n{\mathbf{\Lambda }}_n{\mathbf{V}}_n^{ - 1}{\mathbf{V}}_{n - 1}{\mathbf{\Lambda }}_{n - 1}{\mathbf{V}}_{n - 1}^{ - 1} = {\mathbf{V}}_n{\mathbf{\Lambda }}_n{\mathbf{P}}_n{\mathbf{\Lambda }}_{n - 1}{\mathbf{V}}_{n - 1}^{ - 1}\). Here, the perturbation matrix

describes the transformation from the eigenspace of **U**_{n−1} to the eigenspace of **U**_{n}.

*Expanding the perturbation matrix***:** Since an explicit notation of the perturbation matrix is not very enlightening, we approximate its elements by a Taylor expansion \({\mathbf{U}}_{n - 1} = {\mathbf{U}}(\kappa _{n - 1}) = {\mathbf{U}}(\kappa _n) - {\mathrm{\Delta }}\kappa _n{\mathbf{U}}^\prime (\kappa _n) + {\cal{O}}({\mathrm{\Delta }}\kappa _n^2)\), where \({\mathbf{U}}^\prime (\kappa _n) = d{\mathbf{U}}/d\kappa |_{\kappa = \kappa _n}\) denotes the derivative evaluated at *κ*_{n}. Assuming that **U**(*κ*_{n}) is not degenerate, i.e. all eigenvalues are distinct, we can utilize the Taylor series described by Eq. (10.2) in Chapter 2 of ref. ^{37} to expand the perturbation matrix (Eq. (17)). The diagonal elements are then given by *P*_{d→d} = 1 and the off-diagonal elements by

where the left-eigenvectors are defined by \({\mathbf{u}}_f^{\mathrm{{H}}}(\kappa _n){\mathbf{U}}(\kappa _n) = \lambda _f(\kappa _n){\mathbf{u}}_f^{\mathrm{{H}}}(\kappa _n)\) and the right-eigenvectors by **U**(*κ*_{n})**v**_{f}(*κ*_{n}) = *λ*_{f}(*κ*_{n})**v**_{f}(*κ*_{n}). The superscript H indicates the complex conjugate transpose. Equation (18) has some similarities to the quantum mechanical adiabatic theorem^{24}. In both cases, the matrix elements strongly depend on the gap between the eigenvalues. Like in the quantum mechanical case, *λ*_{S} − \({\lambda _\parallel}\) is purely determined by the absolute value of the eigenvalues, since they both are real-valued and positive. This is fundamentally different in the case of \(\lambda _{S} - \lambda _ \bot ^{( \ast )}\), where the gap is dominated by the complex phase of \(\lambda _ \bot ^{( \ast )}\). In the following, we will show that this key difference opens the door for the hybrid state to emerge.

*The population of the transient eigenstates*** :** In order to analyze the cumulative population transfer during

*N*repetitions, we describe the corresponding spin dynamics by

The goal of this section is to extract the essential elements of this matrix product and to derive boundary conditions for avoiding a population of the individual eigenstates that describe the transient state magnetization. For this purpose, we will first show that only the population transfer from the steady state is of relevance.

The steady-state left-eigenvector becomes evident to be \({\mathbf{u}}_{\mathrm{S}}^{\mathrm{{H}}} = (0,0,0,1)\) by multiplying it from the left to **U** (Eq. (8)). For either parameter variation, we obtain \({\mathbf{u}}_{\mathrm{S}}^{\mathrm{{H}}}{\mathbf{U}}^\prime = (0,0,0,0)\) since the last rows of \({\mathbf{R}}_y^\prime\) and \({\mathbf{R}}_z^\prime\) contain only zeros (Eqs. (9) and (10)). With Eq. (18), it follows that *P*_{d→S} = 0∀*d* ≠ *S*, resulting in the following structure of the perturbation matrix:

Here, only the essential elements are denoted explicitly. The central part of Eq. (19) describes the combined effect of *N* RF pulses with varying parameters onto the eigenvectors and is given by

For the leading order error term, the differences between the three different \(\lambda _{\parallel , \bot }^{( \ast )}\) and the dependency on the experimental parameters are neglected, and the product of any combination of eigenvalues is denoted by *λ*^{N}. Equation (20) shows that all matrix elements except the first column approach zero for large *N* since \(|\lambda _{\parallel , \bot }^{( \ast )}| < 1\). This reveals that the population transfer between the individual transient eigenstates are negligible, and we are left with the population transfer from the steady eigenstate to the transient eigenstates, as described by the first column. Its entries describe the counteraction of populating the transient eigenstates, denoted by *P*_{S→f}(*κ*_{n}, Δ*κ*_{n}) with \(f \in \{\Vert, \bot , \bot^{\star} \}\), and the relaxation of the transient eigenstates in the time span between their population and the time of observation after *N* repetitions, denoted by \(\mathop {\prod}\limits_{k = n}^N {\lambda _f} (\kappa _k)\).

Our goal here is to understand how slowly we should drive the system to maintain negligible population transfer from the steady to the transient eigenstates. In order to assess how many terms in Eq. (20) are relevant, we calculate the following limit:

with

Therefore, we can neglect all summands that fulfill

Assuming that we change experimental parameters slowly over this time span, we can use the Taylor expansion

with

Equation (25) becomes evident from Eqs. (13) and (14). Equation (18) approximates the elements of the perturbation matrix to the first order of Δ*κ*_{n}. In this approximation, *P*_{S→f}(*κ*_{n}, Δ*κ*_{n}) is constant and we can approximate

by employing the geometric series.

In order to derive a limit under which we can neglect the individual transient eigenstates, we compare the corresponding elements of the first column in Eq. (20) to the element corresponding to the steady-state eigenstate, which is unity. Examining Eq. (26), we find that we can neglect the last term in the brackets as long as

By doing so, we find the condition

which ensures that the corresponding eigenstate is not populated.

It will turn out (see the section “The hybrid state adiabaticity condition”) that the Condition (27) is equivalent to the Condition (28), being the necessary adiabaticity condition to remain in the hybrid state. We also note that accounting for the higher-order Taylor expansion terms ((Δ*κ*_{n})^{m} with *m* = 2, 3, …) in Eqs. (26) and (28), does not qualitatively change our adiabaticity bound (Eq. (27)). Indeed, after the summation, such higher-order terms result in the contributions where each extra power of Δ*κ*_{n} in the denominator (from the higher order approximations of the perturbation matrix elements, Eq. (11.3) in Chapter 2 of ref. ^{37}), is compensated by the extra power of order |1 − *λ*_{f}(*κ*_{n})| in the denominator (arising from the corresponding sums such as \(\mathop {\sum}\limits_n n \lambda ^n \approx 1/(1 - \lambda )^2\) and so on). Hence, as long as |Δ*κ*_{n}| ≪ |1 − *λ*_{f}(*κ*_{n})|, which is automatically satisfied due to Condition (27) from the leading-order term, taking into account the higher-order terms in the Taylor expansion would exceed the accuracy for our approximation. Thus, Eq. (28) is the most stringent bound.

*The hybrid state adiabaticity condition*** :** In this section, we will use the Taylor expansion in Eq. (18) to solve Eq. (28) for the cases of the perpendicular eigenstates, i.e. for

*f*= ⊥

^{(*)}. Note that

*P*

_{S→⊥}and \(P_{{{\mathrm{{S}}}} \to \bot }^ \ast\), as defined by Eq. (18), are complex conjugate of each other.

Assuming that the eigenvectors are normalized to have a unit \(\ell _2\)-norm, we can bound the numerator of Eq. (18) by

The here employed subordinate matrix norm is given by the square root of the largest eigenvalue of (**U**′)^{H}**U**′ and is smaller than one since the **U**′ consists only of rotations and relaxation terms (Eq. (53.5), Chapter 1 and Eq. (8.4), Chapter 2 of ref. ^{37}).

The first term of the denominator in Eq. (18), \(1 - \lambda _ \bot ^{( \ast )}\), describes the gap of the eigenvalues. We can assume \(|\lambda _ \bot ^{( \ast )}| = 1\) as a worst case scenario and bound this gap by the complex phase Ω. This gap can only be small when Ω approaches zero (Eqs. (14–16)), so that we can use a Taylor expansion of Eq. (16)

to derive the limit

The last term in Eq. (18) that requires our attention is \({\mathbf{u}}_ \bot ^{\mathrm{{H}}}{\mathbf{v}}_ \bot\). In order to assess the scenarios under which this product is small, we can approximate the evolution matrix by \({\mathbf{U}} \approx {\mathbf{R}} + \frac{\epsilon }{2}{\mathbf{D}} + {\cal{O}}(\epsilon ^2)\), which describes it as a small perturbation of the unitary rotation matrix **R** = **R**_{z}**R**_{y}**R**_{z}. The perturbation is of the order \(\epsilon\) (Eq. (22)), and **D** = {**R**, **C**} is the anti-commutator of the rotation matrix and

which approximates the relaxation matrix by \({\mathbf{E}} \approx 1 + \frac{\epsilon }{2}{\mathbf{C}}\) when assuming *δ* ≪ 1. In this perturbation picture, the product of left-eigenvector and right-eigenvector \({\mathbf{u}}_f^{\mathrm{{H}}}{\mathbf{v}}_f\) of the evolution matrix is approximated by

where the tilde indicates the eigenvalues and vectors of **R** (Eq. (18) or Eq. (10.2) in Chapter 2 of ref. ^{37}). The first term results from the property \(\widetilde {\mathbf{u}}_f^{\mathrm{{H}}}\widetilde {\mathbf{v}}_f = 1\) of the eigenvectors of **R**. Due to the orthornormality of the eigenspace of **R**, we further eliminated the terms that are linear in \(\epsilon\). With the bound ||**D**||_{2} ≤ 1 and the normalization of the eigenvectors, we obtain \(|\widetilde {\mathbf{v}}_d^{\mathrm{{H}}}{\mathbf{D}}\widetilde {\mathbf{v}}_f| \le 1\). Further, we can derive the eigenvalues of **R** from Eqs. (13) and (14) by setting *E*_{1} = *E*_{2} = 1 and find \(\tilde \lambda _S = \tilde \lambda _\parallel = 1\) and \(\tilde \lambda _ \bot ^{( \ast )} = {\mathrm{{e}}}^{ \pm i\Omega }\).

We adopt the bound in Eq. (31) for \(d \in \{ {{\mathrm{{S}}}},\parallel \}\) and for \(d = \bot ^ \ast\) we find \(|\tilde \lambda _ \bot - \tilde \lambda _ \bot ^ \ast |^2 \ge 8\Omega ^2\). This bound neglects the scenario in which \(\lambda _ \bot ^{( \ast )}\) both approach negative one, which is the case when \(|\cos \frac{\alpha }{2}| \ll 1\) or \(|\cos \frac{\phi }{2}| \ll 1\). Note that this leads to a breakdown of the approximations made for deriving Eq. (14). Since both eigenvalues have the same complex phase, we can treat those two components jointly and without proof we state that both scenarios result in \(||P_{{{\mathrm{{S}}}} \to \bot }^{(1)}{\mathbf{v}}_ \bot ^{(1)} + P_{{{\mathrm{{S}}}} \to \bot }^{(2)}{\mathbf{v}}_ \bot ^{(2)}||_2 \ll 1\), where the superscript indicates the two formally complex conjugate components. In other words, when the eigenvalues \(\lambda _ \bot ^{( \ast )}\) approach negative one, the perpendicular eigenstates are not populated.

By summing over all three terms, we arrive at

A hybrid state only occurs if \(\epsilon\) ≪ Ω. Therefore, we can neglect the second term when deriving the hybrid-state condition. Inserting the bounds of the individual terms of the perturbation matrix (Eqs. (29), (31), and (33)) into Eq. (18), we find

This bound describes how much magnetization is at most transfered from the steady state to the orthogonal eigenstates by varying *α* or *ϕ* between two consecutive repetitions.

Further, inserting Eq. (34) into Eq. (28) in order to account for the cumulative population, and utilizing Eq. (31), we arrive at the limit

When this adiabaticity condition is fulfilled, we can neglect the perpendicular transient eigenstates. For simplicity, we can drop the factor of 8 in Eq. (4).

*The steady-state adiabaticity condition*** :** In order to do the same analysis for the parallel transient eigenstate, we have to rely on the absolute value of \({\lambda _\parallel}\), since it is real-valued and positive. Note that \({\mathbf{u}}_\parallel ^{\mathrm{{H}}}{\mathbf{v}}_\parallel\) cannot be bound in the same way as done in Eq. (33), since the eigenvalues \(\tilde \lambda _ {S} = \tilde \lambda _\parallel\) are degenerate. Since the steady-state adiabaticity condition is not essential for this work, we skip the degenerate perturbation theory and assume \({\mathbf{u}}_\parallel ^{\mathrm{{H}}}{\mathbf{v}}_\parallel \approx 1\). With the bound \({\lambda _\parallel}\) ≤

*E*

_{1}, which results from Eq. (13), and with Eqs. (28) and (29), we arrive at the adiabaticity condition

which ensures that the parallel transient state is negligible.

### The Bloch equation in spherical coordinates

Under the derived adiabaticity condition, the hybrid state emerges, and we observe transient-state behavior only along the direction of the steady-state magnetization. Transforming the Bloch equation into spherical coordinates isolates the transient-state behavior in a single dimension, and the components of the Bloch equation uncouple into first-order differential equations that can be solved.

Spherical coordinates are here defined by *x* = *r* sin *ϑ* cos *φ*, *y* = *r* sin *ϑ* sin *φ* and *z* = *r* cos *ϑ*, where *r* is the radius, *ϑ* the polar angle or the angle between the magnetization and the *z*-axis and *φ* is the azimuth or the angle between the *x*-axis and the projection of the magnetization onto the *x*–*y* plane. For practical reasons, we use the limits −1 ≤ *r* ≤ 1, 0 ≤ *ϑ* ≤ *π*/2, and 0 ≤ *φ* < 2*π* to uniquely identify the polar coordinates. Thermal equilibrium is given by *r*_{0} = 1, *ϑ*_{0} = 0, and *φ*_{0} = 0, where the latter can be chosen freely.

Since the azimuth, or phase, adiabatically follows the steady state, we can transform the known Cartesian steady-state solutions (Eqs. (6) and (7) in ref. ^{12}) to spherical coordinates, which results in Eq. (6). The polar angle can be derived from Eqs. (9)–(11) in ref. ^{12} and is given by

with

With a Taylor expansion at *E*_{2} = 1, the polar angle is described by

with

The factor *ξ* is only large, if cos *ϕ* ≈ (3 − cos *α*)/(cos *α* + 1), which is only the case, if |1 − cos *α*| ≪ 1 and |1 − cos *ϕ*| ≪ 1 are simultaneously fulfilled, i.e. for small flip angles in the vicinity of the stop-band. Consequently, for standard imaging scenarios with *T*_{R} ≪ *T*_{2} the polar angle can be approximated by Eq. (5) apart from the vicinity of the stop band.

The spherical coordinate *r* captures the transient-state spin dynamics, and we can derive Eq. (2) simply by transforming the Bloch equation into spherical coordinates^{14,38}.

*B*_{1}*-inhomogeneities*: One can describe the effect of *B*_{1}-inhomogeneities on the spins by \(\alpha = B_1/B_1^{{\mathrm{nom}}{\mathrm{.}}}\alpha ^{{\mathrm{nom}}{\mathrm{.}}}\), where \(B_1^{{\mathrm{nom}}{\mathrm{.}}}\) and *α*^{nom.} describe the nominal *B*_{1}-field and flip angle, respectively. The effect on the polar angle is described by inserting this relation into Eq. (5) and successively into Eq. (7).

In order to implement anti-periodic boundary conditions, the magnetization must be inverted between successive cycles (*r*(0) = −*r*(*T*_{C})), while changes of *ϑ* and *ϕ* are required to remain within limits in order not to violate the adiabaticity condition posed in Eq. (4a). Applying a *π*-pulse with an inhomogeneous *B*_{1}-field would lead to severe fluctuations of *ϑ*, causing a violation of the adiabaticity condition. In order to mitigate these fluctuations, we surround the inversion pulse by crusher gradients. As shown in refs. ^{39,40}, the transversal magnetization *M*_{⊥} refocuses after inversion pulse with crusher gradients to an echo of the size \(M_ \bot ^ + = \sin ^2(\pi /2\cdot B_1/B_1^{{\mathrm{nom}}{\mathrm{.}}})M_ \bot ^ -\), where the superscript + and − indicate the magnetization before and after the RF pulse, respectively. The longitudinal magnetization, on the other hand, is given by \(M_z^ + = \cos (\pi B_1/B_1^{{\mathrm{nom}}{\mathrm{.}}})M_z^ -\). In spherical coordinates, this leads to

In the human brain at 3T, one usually observes variations in the range of \(B_1/B_1^{{\mathrm{nom}}.} \in [0.8,1.2]\)^{41}. Within this range, the resulting effect is bound by *|ϑ*^{+}/*ϑ*^{−} − 1| < 0.12 and will be neglected in the following.

In return, the crusher gradients manipulate *r*, which is accounted for by setting

in Eq. (7). Repeating the inversion pulses with the same spoiling gradients can potentially result in higher order spin echoes and stimulated echoes, impairing the derived description of the spin physics. However, when using *T*_{C} ≫ *T*_{2}, we can assume that those contributions are negligible.

### Numerical optimizations

*Cramér–Rao bound*** :** The Cramér–Rao bound

^{42,43}provides a universal limit for the noise variance of a measured parameter, given that the reconstruction algorithm is an unbiased estimator. This very general and established metric has been utilized for optimizing MR parameter mapping experiments in refs.

^{44,45,46}amongst others, and to MRF in ref.

^{47}. In discretized notation, the Cramér–Rao bound is defined by the inverse of the Fisher information matrix

**F**with the entries \({\mathbf{F}}_{ij} = {\mathbf{b}}_i^{\mathrm{{T}}}{\mathbf{b}}_j/\sigma ^2\) given by

Here \({\mathbf{x}} \in {\Bbb R}^{N_t}\) is a vector describing the measured signal or, equivalently, the transversal magnetization at *N*_{t} discrete time points, and *σ*^{2} is the input variance. Each element of the vector is given by *x*_{n} = *M*_{0}*r*(*t*_{n})·sin *ϑ*(*t*_{n}). The vectors **b**_{i} describe the derivatives of the signal evolution with respect to all considered parameters. For the optimizations, we normalize the proton density to *M*_{0} = 1, so that **b**_{1} = **x**.

In this work, we focused on quantifying relaxation times, since a measured *M*_{0}, as defined in this work, is modulated by the receive coil sensitivity and provides only a relative measure. We can define the dimensionless rCRB to be

The normalization by the variances cancels out the variance in the definition of the Fisher information matrix, and the normalization by the relaxation time is done to best reflect the *T*_{1,2}-to-noise ratio (defined as \(T_{1,2}/\sigma _{T_{1,2}}\)). Further, the multiplication with *T*_{C}/*T*_{R} normalizes the rCRB by duration of the experiment such that it can be understood as the squared inverse SNR efficiency per unit time, given a fixed *T*_{R}.

*Optimal control*** :** The polar angle

*ϑ*is here treated as the control parameter for spin dynamics along the radial direction as by Eq. (2). Thus, we can employ the rich optimal control literature

^{48,49}for numerical optimization of

*ϑ*(

*t*). We used a Broyden–Fletcher–Goldfarb–Shanno (BFGS) algorithm

^{50}with rCRB(

*T*

_{1}) + rCRB(

*T*

_{2}) as an objective function. To further improve convergence, the BFGS algorithm is embedded in a scatter search algorithm which tried 1000 starting points

^{51}. The numerical optimization was based on

*ϑ*(Δ

*t*·

*n*) with a discrete step size of Δ

*t*= 4.5 ms and the evaluation points

*n*∈ {1, 2, …,

*T*

_{C}/Δt}. The gradient of the objective function with respect to

*T*

_{1},

*T*

_{2}, and each

*ϑ*(Δ

*t*·

*n*) was explicitly calculated.

Since the rCRB intrinsically compares a signal evolution to its surrounding in the parameter space, only a single set of relaxation times is necessary for the optimization. Here, we used the relaxation times *T*_{1} = 781 ms and *T*_{2} = 65 ms, corresponding to the values measured for white matter as reported in ref. ^{16}. All optimizations were initialized with the pattern provided in the pseudo-SSFP paper^{19} and the optimizations were performed with the constraint 0 ≤ *ϑ* ≤ *π*/4, which limits the flip angle to *α* ≤ *π*/2, ensuring consistent slice profiles by virtue of the linearity in the small tip-angle approximation^{52}, and aiding compliance with safety considerations by avoiding high power large flip-angle pulses.

### Phantom simulations

In order to visualize the noise properties of the transient-state, the hybrid-state, and the steady-state, as well as the systematic errors arising from inhomogeneous broadening, we simulated the signal generated by a spin ensemble with a Gaussian distribution of Larmor frequencies, added Gaussian noise and performed a non-linear least-square fit.

The hybrid-state is exemplified by the optimized sequence with anti-periodic boundary conditions (Fig. 6d–f), the transient-state by the original MRF-pattern^{15} (Supplementary Fig. 4a–d) modified to have the same constant *T*_{R} = 4.5 ms as the other two sequences, and the steady-state by the Cramér–Rao-bound optimized sequence depicted in Supplementary Fig. 4m–o. Note that the optimization resulted in one distinct flip angle for the spoiled gradient-recalled echo (SPGR) segment and two distinct flip angles for the bSSFP segment. We use this pattern in order to provide an upper bound of the steady-state’s SNR performance even though it is sensitive to \(T_2^ \ast\)-decay in the SPGR segment. For this reason, we performed simulations that neglect and account for \(T_2^ \ast\)-decay, respectively. Note that the experiment can be desensitized to \(T_2^ \ast\)-decay by using two SPGR segments with distinct flip angles, which comes, however, at the cost of SNR efficiency^{53}.

### Phantom experiments

In order to experimentally demonstrate the benefits of the hybrid state, we measured relaxation times in a homogeneous, spherical, table-tennis ball-sized phantom filled with doped water on a clinical 3T Prisma scanner (Siemens, Erlangen, Germany). We used a commercial transmit-receive knee RF-coil for excitation and one of its 15 elements for signal reception.

For reference, we measured *T*_{1} with inversion recovery spin-echo experiments with different inversion times and fitting an exponential function. Similarly, we performed multiple spin-echo experiments with different echo times in order to measure a *T*_{2} reference.

With each of the three considered excitation patterns (see the section “Phantom simulations”), we performed experiments without any spatial encoding. At the beginning of the transient-state MRF sequence, a secant inversion pulse with a duration of 10.24 ms was applied followed by a spoiler gradient. Thereafter, the sequence consists only of RF pulses alternating with signal reception. The RF pulses were implemented as 1000 μs long rectangular pulses following the flip angle schemes shown in Supplementary Fig. 4b and using *T*_{R} = 4.5 ms. Since this sequence starts from thermal equilibrium, consecutive repetitions were separated by a 10 s pause. The anti-periodic boundary conditions used for the hybrid-state experiment allows for consecutive repetitions were acquired without any gaps. We use a rectangular *π*-pulse surrounded by crusher gradients for inverting the magnetization between consecutive repetitions. The steady-state experiments require a transition phase in order to reach the steady-state. Thereafter, all repetitions for each segment were acquired without gaps.

Each repetition was fitted with a non-linear least-square fit. The fitted function accounts for the finite pulse duration by approximating the pulse by 10 hard pulses at a 100 μs interval. In the case of the transient-state experiment, the approximation was incorporated in the Bloch simulation in a straightforward manner. In case of the hybrid-state model, the RF-pulse was implemented as a linear ramp of *ϑ*. In case of the the steady-state sequence, the finite pulse correction prohibits the use of the standard steady-state equations. Therefore, we used the hybrid state framework and simulated the signal with a constant *ϑ* and used the signal after 1000 repetitions as the steady-state signal.

Mean and standard deviation were calculated. Due to the high input SNR in this non-imaging experiment, the standard deviation was multiplied a factor of 10 for easier depiction in Fig. 4. This set of experiments was repeated while manipulating one linear component of the shim coils in order to increase the width of the Larmor-frequency distribution.

### In vivo experiments

An asymptomatic volunteer’s brain was imaged following written informed consent and according to a protocol approved by our institutional review board. A measurement was performed with the anti-periodic bHSFP experiment on a 3T Prisma scanner (Siemens, Erlangen, Germany). The manufacturer’s 20 channel head/neck coil was used for signal reception.

Spatial encoding was performed with a sagittally oriented 3D stack-of-stars trajectory, which starts at the outer *k*-space and acquires for one *T*_{C} data while incrementing the angle of the *k*-space spoke by twice the golden angle increment^{54}. These large gaps were filled by repeating this procedure one time with the entire *k*-space trajectory rotated by the golden angle. Thereafter, the next 3D phase encoding step was performed in the exact same way, while adhering to the Nyquist–Shannon theorem along the slice direction. The acquired resolution of the maps is 1 mm × 1 mm × 2 mm at a FOV of 512 mm × 512 mm × 192 mm. The readout dwell time was set to 2.1 μs. We used a *T*_{R} = 4.5 ms and the readout was skipped in segments with a polar angle close to zero (gray areas in Supplementary Fig. 5), so that 601 spokes were acquired during one *T*_{C}. The total scan time was ~12.24 min.

Along the fully sampled phase encoding direction, a Fourier transformation was performed and, thereafter, each slice was treated separately. Image reconstruction was performed with the low rank alternating direction method of multipliers (ADMM) approach proposed in ref. ^{55}, which includes parallel imaging^{56,57,58} and avoids undersampling errors typical for MRF^{59,60}. The data consistency step of the ADMM algorithm was performed with 100 conjugate gradient steps. In order to prevent non-linear effects from impairing the noise assessment, only a single ADMM iteration was performed and no spatial regularization was applied.

The low rank approximation was calculated based on a coarse dictionary that covers the range between 100 ms and 6 s in steps of 10% and *T*_{2} between 10 ms and 3 s also in steps of 10%. The dictionary further discretized *ϕ* ∈ [0, *π*] into 15 bins and \(B_1/B_1^{{\mathrm{nom}}.} \in [0.7,1.2]\) into 40 bins. For consistency, we calculated a dictionary with Bloch simulations and used it to calculate a rank 6 approximation of the data with a singular value decomposition of the dictionary matrix^{61}.

Represented in this low rank approximation, we fitted each voxel of the data with a non-linear least-square fit while accounting for the finite RF-pulse duration. We fixed *ϕ* and \(B_1/B_1^{{\mathrm{nom}}.}\) for each voxel to the values that resulted from separate scans^{27}. The *ϕ* map was acquired with a double-echo SPGR experiment and the *B*_{1} map with a turboFLASH experiment, as described in ref. ^{41}.

### Reporting summary

Further information on research design is available in the Nature Research Reporting Summary linked to this article.

## Data availability

The datasets generated and analyzed during the current study are available from the corresponding author on reasonable request.

## Code availability

The source code used for the current study is available from the corresponding author on reasonable request.

## References

- 1.
Gershenfeld, N. A. & Chuang, I. L. Bulk spin-resonance quantum computation.

*Science***275**, 350–356 (1997). - 2.
Rabi, I., Zacharias, J., Millman, S. & Kusch, P. A new method of measuring nuclear magnetic moment.

*Phys. Rev.***53**, 318 (1938). - 3.
Lauterbur, P. C. Image formation by induced local interactions. Examples employing nuclear magnetic resonance.

*Nature***242**, 190–191 (1973). - 4.
Bloembergen, N., Purcell, E. M. & Pound, R. V. Relaxation effects in nuclear magnetic resonance absorption.

*Phys. Rev.***73**, 679–712 (1948). - 5.
Bloch, F. Nuclear induction.

*Phys. Rev.***70**, 460–474 (1946). - 6.
Hahn, E. L. Spin echoes.

*Phys. Rev.***80**, 580–594 (1950). - 7.
Hennig, J., Nauerth, A. & Friedburg, H. RARE imaging: a fast imaging method for clinical MR.

*Magn. Reson. Med.***3**, 823–833 (1986). - 8.
Mugler, J. P. & Brookeman, J. R. Three‐dimensional magnetization‐prepared rapid gradient‐echo imaging (3D MP RAGE).

*Magn. Reson. Med.***15**, 152–157 (1990). - 9.
Carr, H. Steady-state free precession in nuclear magnetic resonance.

*Phys. Rev.***112**, 1693–1701 (1958). - 10.
Haase, A., Frahm, J., Matthaei, D., Hanicke, W. & Merboldt, K. D. FLASH imaging. Rapid NMR imaging using low flip-angle pulses.

*J. Magn. Reson. (1969)***67**, 258–266 (1986). - 11.
Oppelt, A. et al. FISP—a new fast MRI sequence.

*Electromedica***54**, 15–18 (1986). - 12.
Freeman, R. & Hill, H. D. W. Phase and intensity anomalies in fourier transform NMR.

*J. Magn. Reson. (1969)***4**, 366–383 (1971). - 13.
Hennig, J., Speck, O. & Scheffler, K. Optimization of signal behavior in the transition to driven equilibrium in steady-state free precession sequences.

*Magn. Reson. Med.***48**, 801–809 (2002). - 14.
Lapert, M., Assémat, E., Glaser, S. J. & Sugny, D. Understanding the global structure of two-level quantum systems with relaxation: vector fields organized through the magic plane and the steady-state ellipsoid.

*Phys. Rev. A***88**, 033407 (2013). - 15.
Ma, D. et al. Magnetic resonance fingerprinting.

*Nature***495**, 187–192 (2013). - 16.
Jiang, Y., Ma, D., Seiberlich, N., Gulani, V. & Griswold, M. A. MR fingerprinting using fast imaging with steady state precession (FISP) with spiral readout.

*Magn. Reson. Med.***74**, 1621–1631 (2015). - 17.
Cloos, M. A. et al. Multiparamatric imaging with heterogenous radiofrequency fields.

*Nat. Commun.***7**, https://doi.org/10.1038/ncomms12445 (2016). - 18.
Ma, D. et al. Music-based magnetic resonance fingerprinting to improve patient comfort during MRI examinations.

*Magn. Reson. Med.***75**, 2303–2314 (2016). - 19.
Assländer, J., Glaser, S. J. & Hennig, J. Pseudo steady-state free precession for MR-fingerprinting.

*Magn. Reson. Med.***77**, 1151–1161 (2017). - 20.
Jiang, Y. et al. MR fingerprinting using the quick echo splitting NMR imaging technique.

*Magn. Reson. Med.***77**, 979–988 (2017). - 21.
Ganter, C. Static susceptibility effects in balanced SSFP sequences.

*Magn. Reson. Med.***56**, 687–691 (2006). - 22.
Kiselev, V. G. & Novikov, D. S. Transverse NMR relaxation in biological tissues.

*NeuroImage***182**, 149–168 (2018). - 23.
Ganter, C. Off-resonance effects in the transient response of SSFP sequences.

*Magn. Reson. Med.***52**, 368–375 (2004). - 24.
Born, M. & Fock, V. Beweis des Adiabatensatzes.

*Z. Phys.***51**, 165–180 (1928). - 25.
Hargreaves, B. A., Vasanawala, S. S., Pauly, J. M. & Nishimura, D. G. Characterization and reduction of the transient response in steady-state MR imaging.

*Magn. Reson. Med.***46**, 149–158 (2001). - 26.
Schmitt, P. et al. Inversion recovery TrueFISP: quantification of T1, T2, and spin density.

*Magn. Reson. Med.***51**, 661–667 (2004). - 27.
Ma, D. et al. Slice profile and B 1 corrections in 2D magnetic resonance fingerprinting.

*Magn. Reson. Med.***78**, 1781–1789 (2017). - 28.
Ehses, P. et al. IR TrueFISP with a golden-ratio-based radial readout: fast quantification of T1, T2, and proton density.

*Magn. Reson. Med.***69**, 71–81 (2013). - 29.
Silver, M. S., Joseph, R. I., Chen, C. N., Sank, V. J. & Hoult, D. I. Selective population inversion in NMR.

*Nature***310**, 681–683 (1984). - 30.
Jones, J. A., Vedral, V., Ekert, A. & Castagnoli, G. Geometric quantum computation using nuclear magnetic resonance.

*Nature***403**, 869–871 (2000). - 31.
Wolff, S. D. & Balaban, R. S. Magnetization transfer contrast (MTC) and tissue water proton relaxation in vivo.

*Magn. Reson. Med.***10**, 135–144 (1989). - 32.
Bieri, O. & Scheffler, K. On the origin of apparent low tissue signals in balanced SSFP.

*Magn. Reson. Med.***56**, 1067–1074 (2006). - 33.
Hilbert T, Knoll F, Zhao T, et al. Magnetic resonance fingerprinting: mitigating the bias in the quantification of T1 and T2 caused by macromolecules. In

*Scientific Assembly and Annual Meeting*(Radiological Society of North America, 2016) http://archive.rsna.org/2016/16010335.html. - 34.
Torrey, H. C. Bloch equations with diffusion terms.

*Phys. Rev.***104**, 563–565 (1956). - 35.
McConnell, H. M. Reaction rates by nuclear magnetic resonance.

*J. Chem. Phys.***28**, 430–431 (1958). - 36.
Scheffler, K. & Hennig, J. Is TrueFISP a gradient-echo or a spin-echo sequence?

*Magn. Reson. Med.***49**, 395–397 (2003). - 37.
Wilkinson, J. H

*The Algebraic Eigenvalue Problem*. (Clarendon Press: Oxford, London, 1965). - 38.
Tahayori, B., Johnston, L. A., Mareels, I. M. Y. & Farrell, P. M. Novel insight into magnetic resonance through a spherical coordinate framework for the Bloch equation.

*SPIE Conf. Med. Imaging***7258**, 2–4 (2009). - 39.
Hennig, J. Echoes—how to generate, recognize, use or avoid them in MR-imaging sequences; Part 1: fundamental and not so fundamental properties of spin echoes.

*Concepts Magn. Reson.***3**, 125–143 (1991). - 40.
Weigel, M. Extended phase graphs: dephasing, RF pulses, and echoes—pure and simple.

*J. Magn. Reson. Imaging***41**, 266–295 (2015). - 41.
Chung, S., Kim, D., Breton, E. & Axel, L. Rapid B1+ mapping using a preconditioning RF pulse with turboFLASH readout.

*Magn. Reson. Med.***64**, 439–446 (2010). - 42.
Rao, C. R. Information and the accuracy attainable in the estimation of statistical parameters.

*Bull. Calcutta Math. Soc.***37**, 81–91 (1945). - 43.
Cramér, H.

*Methods of Mathematical Statistics*. (Princeton University Press, Princeton, NJ, 1946). - 44.
Jones, J., Hodgkinson, P., Barker, A. & Hore, P. Optimal sampling strategies for the measurement of spin–spin relaxation times.

*J. Magn. Reson. Ser. B***113**, 25–34 (1996). - 45.
Jones, J. A. Optimal sampling strategies for the measurement of relaxation times in proteins.

*J. Magn. Reson.***126**, 283–286 (1997). - 46.
Teixeira, R. P. A. G., Malik, S. J. & Hajnal, J. V. Joint system relaxometry (JSR) and Crámer–Rao lower bound optimisation of sequence parameters: a framework for enhanced precision of DESPOT T1 and T2 estimation.

*Magn. Reson. Med.*https://doi.org/10.1002/mrm.26670 (2017). - 47.
Zhao, B. et al. Optimal experiment design for magnetic resonance fingerprinting: Cramér–Rao bound meets spin dynamics.

*IEEE Trans. Med. Imaging***38**, 844–861 (2019). - 48.
Conolly, S., Nishimura, D. & Macovski, A. Optimal control solutions to the magnetic resonance selective excitation problem.

*IEEE Trans. Med. Imaging***5**, 106–115 (1986). - 49.
Skinner, T. E., Reiss, T. O., Luy, B., Khaneja, N. & Glaser, S. J. Application of optimal control theory to the design of broadband excitation pulses for high-resolution NMR.

*J. Magn. Reson.***163**, 8–15 (2003). - 50.
De Fouquieres, P., Schirmer, S. G., Glaser, S. J. & Kuprov, I. Second order gradient ascent pulse engineering.

*J. Magn. Reson.***212**, 412–417 (2011). - 51.
Ugray, Z. et al. Scatter search and local NLP solvers: a multistart framework for global optimization.

*INFORMS J. Comput.***19**, 328–340 (2007). - 52.
Hoult, D. I. The solution of the bloch equations in the presence of a varying B1 field—an approach to selective pulse analysis.

*J. Magn. Reson. (1969)***35**, 69–86 (1979). - 53.
Deoni, S. C. L., Rutt, B. K. & Peters, T. M. Rapid combined T1 and T2 mapping using gradient recalled acquisition in the steady state.

*Magn. Reson. Med.***49**, 515–526 (2003). - 54.
Winkelmann, S., Schaeffter, T., Koehler, T., Eggers, H. & Doessel, O. An optimal radial profile order based on the golden ratio for time-resolved MRI.

*IEEE Trans. Med. Imaging***26**, 68–76 (2007). - 55.
Assländer, J. et al. Low rank alternating direction method of multipliers reconstruction for MR fingerprinting.

*Magn. Reson. Med.***79**, 83–96 (2018). - 56.
Sodickson, D. K. & Manning, W. J. Simultaneous acquisition of spatial harmonics (SMASH): fast imaging with radiofrequency coil arrays.

*Magn. Reson. Med.***38**, 591–603 (1997). - 57.
Pruessmann, K. P., Weiger, M., Börnert, P. & Boesiger, P. Advances in sensitivity encoding with arbitrary

*k*-space trajectories.*Magn. Reson. Med.***46**, 638–651 (2001). - 58.
Uecker, M. et al. ESPIRiT—an eigenvalue approach to autocalibrating parallel MRI: where SENSE meets GRAPPA.

*Magn. Reson. Med.***71**, 990–1001 (2014). - 59.
Kara, D. et al. Parameter map error due to normal noise and aliasing artifacts in MR fingerprinting.

*Magn. Reson. Med.***81**, 3108–3123 (2019). - 60.
Stolk, C. C. & Sbrizzi, A. Understanding the combined effect of

*k*-space undersampling and transient states excitation in MR fingerprinting reconstructions.*IEEE Trans. Med. Imaging*https://ieeexplore.ieee.org/document/8649707/ (2019). - 61.
McGivney, D., Ma, D., Saybasili, H., Jiang, Y. & Griswold, M. Singular value decomposition for magnetic resonance fingerprinting in the time domain.

*IEEE Trans. Med. Imaging***33**, 2311–2322 (2014). - 62.
Chandarana, H. et al. Free-breathing radial 3D fat-suppressed T1-weighted gradient echo sequence.

*Invest. Radiol.***46**, 648–653 (2011).

## Acknowledgements

The authors would like to thank Zidan Yu for preparing the phantom used for the validation, as well as Steffen Glaser, Quentin Ansel, and Dominique Sugny for fruitful discussions, and for giving insights into their optimal control implementation. The authors would also like to acknowledge Jeffrey Fessler and Gopal Nataraj for discussions regarding the solution of the simplified Bloch equation. This work was supported by the research grants NIH/NIBIB R21 EB020096 and NIH/NIAMS R01 AR070297, and was performed under the rubric of the Center for Advanced Imaging Innovation and Research (CAI2R, www.cai2r.net), a NIBIB Biomedical Technology Resource Center (NIH P41 EB017183).

## Author information

### Affiliations

### Contributions

J.A. and D.S.N. derived the theory. J.A. performed the numerical optimizations, simulations, and the experiment. J.A., R.L. and M.A.C. analyzed and interpreted the data. D.K.S. provided consultancy. J.A. wrote the paper with the help of all authors. All authors have critically reviewed the manuscript.

### Corresponding author

Correspondence to Jakob Assländer.

## Ethics declarations

### Competing interests

The authors declare no competing interests.

## 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 license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license 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 license, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

#### Received

#### Accepted

#### Published

#### DOI

## Comments

By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.