Theory and Calculation Methods

This page describes the Bloch-McConnell formalism and simulation methods shared by all exchange models. For what each model represents physically and the population/binding equations specific to it, see Exchange Models.

Bloch-McConnell Equations

Exchange analysis uses the Bloch-McConnell formalism, which extends the Bloch equations to multiple exchanging states. For $N$ states, the magnetisation vector $\mathbf{M}$ evolves as:

\[\frac{d\mathbf{M}}{dt} = \mathbf{L} \, \mathbf{M}\]

where $\mathbf{L}$ is the $3N \times 3N$ Liouvillian superoperator incorporating:

  • Chemical shift evolution ($\Omega_i$ for each state)
  • Relaxation ($R_1$, $R_{2,i}$ for each state)
  • RF fields (spin-lock or saturation)
  • Chemical exchange (kinetic rate matrix $\mathbf{K}$)

CEST Simulation

For CEST experiments, the Liouvillian is augmented with an inhomogeneous term to account for relaxation back to equilibrium. The predicted CEST profile is computed by propagating the initial equilibrium magnetisation through the saturation period:

\[\mathbf{M}(T_\text{sat}) = \exp(\mathbf{L}_\text{inhom} \cdot T_\text{sat}) \, \mathbf{M}_0\]

The observed intensity is the sum of $M_z$ components across all states.

R1ρ Simulation

For on- and off-resonance R1ρ experiments, the effective relaxation rate at each spin-lock condition is obtained directly from the Liouvillian $\mathbf{L}$ (evaluated at that experiment's spin-lock offset and field strength), via the inverse-trace relation

\[R_{1\rho} = -\frac{1}{\mathrm{tr}(\mathbf{L}^{-1})},\]

sometimes referred to as the Koss method. On-resonance experiments vary the spin-lock field strength at zero offset; off-resonance experiments hold the spin-lock field fixed and vary the offset.

B₁ Inhomogeneity

The spin-lock and saturation fields are not uniform across the sample, so every simulation above is averaged over a distribution of field strengths rather than evaluated at the nominal one. The distribution is represented by a three-point quadrature: the field is sampled at $1 \pm \sqrt{3}\sigma$ and at the nominal value, with weights 1/6, 2/3 and 1/6. These are the three-point Gauss-Hermite nodes and weights, which reproduce the mean, variance and fourth moment of a Gaussian of fractional width σ exactly, for any σ. The node positions scale with σ for that reason: nodes fixed at particular fractions of the nominal field can only represent a distribution as wide as their own spacing, whatever σ is said to be.

σ comes from a nutation calibration where one has been given, and is otherwise assumed to be 5%, typical of a standard probe. With σ = 0 the quadrature is the single nominal field and the simulations reduce to the expressions above.

For CEST the averaged quantity is the profile itself, since $M_z$ is what the spectrum measures and the signal from the whole sample is the weighted sum of the signals from its parts:

\[M_z = \sum_i w_i \, M_z(\nu_1 \to s_i \nu_1).\]

R1ρ is different, because the reported quantity is a rate obtained by fitting one exponential to a decay. A spread of fields gives a spread of rates, so the decay is a sum of exponentials and the fitted rate is

\[R_{1\rho} = -\frac{1}{\bar{T}} \ln \sum_i w_i \exp(-R_{1\rho}(s_i \nu_1) \, \bar{T}),\]

where $\bar{T}$ is the mean of the spin-lock durations the decay was sampled at. This lies below the weighted mean of the rates, and approaches it as $\bar{T} \to 0$. The difference is of order $\tfrac{1}{2}\bar{T}\,\mathrm{var}(R_{1\rho})$, which at the low spin-lock strengths of a dispersion profile is comparable with the uncertainty on the measurement; averaging the rates instead would bias the fit there.

R1 Simulation

R1 experiments are fitted independently of the exchange model (R1 decay is not sensitive to chemical exchange under typical conditions). Depending on the experiment type:

  • Exponential decay: $I(t) = I_0 \exp(-R_1 t)$
  • Inversion recovery: $I(t) = I_0 (1 - f \exp(-R_1 t))$ where $f$ is the inversion factor

Exchange Matrix

The kinetic exchange matrix $\mathbf{K}$ encodes the rates of interconversion between states. Each element $K_{ij}$ is the rate from state $j$ to state $i$, and column sums are zero (conservation of total magnetisation). $\mathbf{K}$ is built once per model from the current parameters and (for binding models) the sample concentrations at each titration point — see Exchange Models for the matrix specific to each model.

Binding Equilibria

The binding models additionally require the equilibrium populations and, where relevant, the free titrant concentration to be solved analytically from total concentrations at each titration point, rather than fitted directly. These are closed-form solutions of the coupled mass-action and mass-balance equations for each mechanism:

  • Two-state binding: a single quadratic equation in the free titrant concentration.
  • Three-state binding: a quadratic equation for two independent, non-competing 1:1 sites on the same molecule.
  • Induced fit binding: a system of two equations (bimolecular association plus a first-order conformational step), reducing to a single quadratic in the same manner, ported from the TITAN bmInducedFit model.

See Exchange Models for the equations themselves. In each case, the resulting species concentrations are normalised to their own sum (rather than divided through by the nominal total concentration directly) so that population fractions remain exactly normalised under floating-point rounding.