Topological susceptibility is defined as the variance density of the global topological charge, representing the curvature of the vacuum free energy with respect to the QCD vacuum angle.
It plays a critical role in mechanisms like the Witten–Veneziano explanation of the η′ mass, linking topological fluctuations to physical observables in QCD and Yang–Mills theory.
Lattice implementations using flowed gluonic and chirally symmetric fermionic methods provide practical tests for sampling topology, especially in regimes affected by topology freezing or thermal transitions.
Topological susceptibility is the second cumulant of the topological-charge distribution, the zero-momentum two-point function of the topological charge density, and the curvature of the vacuum free energy with respect to the QCD vacuum angle θ. In gauge theory notation,
χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,
with the proviso that the correlator representation is only formal until the contact singularity at x=0 is controlled. In QCD and Yang–Mills theory, χt quantifies topological fluctuations of the vacuum, enters the Witten–Veneziano mechanism for the η′ mass, and governs the θ-dependence relevant for axion physics; on the lattice it is also a stringent diagnostic of whether topology is sampled correctly [(Lüscher et al., 2010); (Cè et al., 2016); (Dromard et al., 2016); (Petreczky et al., 2016)].
1. Formal definition and cumulant structure
The standard definition treats χt as the variance density of the global topological charge. In CP-symmetric ensembles one usually has ⟨Q⟩=0, so χt=⟨Q2⟩/V. The same quantity is the second derivative of the vacuum energy density evac(θ) at χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,0, χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,1, and therefore the first nontrivial even cumulant in the χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,2-expansion of the vacuum free energy [(Xiong et al., 2015); (Lüscher et al., 2010)].
Higher cumulants characterize departures from a Gaussian topological-charge distribution. The fourth cumulant is commonly written as
χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,3
or equivalently, in the notation used for fixed-topology analyses,
χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,4
A vanishing χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,5 indicates a Gaussian χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,6-distribution; nonzero χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,7 controls the leading nonquadratic χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,8-dependence and enters some fixed-sector expansions (Xiong et al., 2015, Bautista et al., 2015).
A recurrent subtlety is that the formal identity between χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,9 and the integrated density correlator is not automatic in the continuum. The local operator x=00 generates non-integrable short-distance singularities in x=01, so a valid definition of x=02 requires a UV-safe prescription compatible with anomalous chiral Ward identities rather than a naive contact-term subtraction (Lüscher et al., 2010).
2. Renormalized definitions and lattice realizations
On the lattice, topological susceptibility can be defined through flowed gluonic observables, chirally symmetric fermionic constructions, or mixed density-chain representations. The core issue is universality: once a renormalized, short-distance-safe definition is adopted, distinct admissible definitions should converge to the same continuum limit. A prominent fermionic representation is the spectral-projector formula,
x=03
where x=04 approximates the projector onto the low-mode subspace of x=05. In pure x=06 gauge theory this definition showed negligible visible cutoff effects over x=07–x=08 fm and yielded x=09, practically coincident with the earlier chiral-Dirac-operator value χt0, thereby providing a direct universality test (Lüscher et al., 2010).
A related fermionic strategy uses twisted-mass spectral projectors. There the renormalized susceptibility is
χt1
with χt2 reconstructed from density chains or stochastic projector observables. An important technical result is that, at maximal twist, contact terms generated by integrated scalar and pseudoscalar density chains do not spoil automatic χt3-improvement: the relevant χt4 contributions are odd under the χt5 symmetry and vanish. The same framework produced a quark-mass dependence compatible with LO ChPT and condensate determinations consistent with direct extractions (Cichy et al., 2013).
Gluonic definitions remain widely used, but their finite-χt6 implementation depends on smoothing. In two-flavor lattice QCD with Wilson twisted mass fermions, the topological charge was measured from a field-strength definition after gradient flow, followed by a multiplicative renormalization and projection toward integer charge (Dromard et al., 2016). In the large asqtad study, by contrast, χt7 was reconstructed from the integrated point-to-point correlator of a discretized χt8 operator with HYP smearing and asymptotic-tail modeling; the continuum extrapolation agreed with lowest-order χt9 ChPT at small quark mass, supporting the rooted staggered formulation (Collaboration et al., 2010).
3. Topology freezing and fixed-sector estimators
Modern fine-lattice simulations often encounter topological freezing: the Monte Carlo history remains trapped in a single integer-η′0 sector, especially for η′1 fm or for exactly or highly chirally symmetric fermions. In that regime, the naive estimator η′2 ceases to probe the underlying theory and instead reflects algorithmic trapping (Dromard et al., 2016).
One fixed-sector strategy is the AFHO method, based on the large-distance plateau of the charge-density correlator at fixed η′3. In the two-flavor QCD application,
η′4
valid when η′5 and η′6. In benchmark ensembles with η′7, the method reproduced the unfixed-topology result: η′8 from fixed sectors versus η′9 from the direct estimator (Dromard et al., 2016). Earlier numerical tests in the θ0 model, the θ1 model, θ2 gauge theory, and θ3 Yang–Mills employed the related asymptotic form
θ4
so that the kurtosis correction θ5 appears explicitly when one goes beyond the simplest Gaussian approximation (Bautista et al., 2015).
The second strategy is the slab method. Here the volume is partitioned into slabs θ6 and θ7, and one studies the topological charge θ8 in a subvolume while the total charge θ9 is fixed. Under a Gaussian assumption for the charge distribution,
χt0
This estimator uses local subvolume fluctuations that can remain active even when the global integer charge is frozen. In sigma-model tests the method worked best in sectors χt1 and χt2, with robustness improving when χt3; non-Gaussianity is monitored through χt4 (Bietenholz et al., 2015). In two-flavor QCD the slab method yielded χt5, again consistent with the unfixed benchmark (Dromard et al., 2016).
Gradient flow modifies the slab observable in a model-dependent way. In two-flavor QCD, the data after flow are well described by
χt6
with an additive constant χt7 that grows approximately like χt8, whereas in the χt9 model the same constant was not required over the explored flow range. The ⟨Q⟩=00 model interpolates between these behaviors: short flow times preserve the pure parabola, long flow times generate a noticeable constant offset (Mejía-Díaz et al., 2017).
4. Thermal behavior from the crossover to the semiclassical regime
At finite temperature, ⟨Q⟩=01 is a sensitive probe of deconfinement, chiral restoration, and the onset of dilute instanton physics. In quenched ⟨Q⟩=02 on anisotropic lattices with over-improved stout-link smoothing, ⟨Q⟩=03 remained nearly constant below ⟨Q⟩=04 and then decreased rapidly across the transition, from ⟨Q⟩=05 at ⟨Q⟩=06 to ⟨Q⟩=07 at ⟨Q⟩=08. The fourth cumulant displayed a step-like change near ⟨Q⟩=09, and the ratio χt=⟨Q2⟩/V0 approached the dilute-instanton-gas value χt=⟨Q2⟩/V1 at higher temperature (Xiong et al., 2015).
Dynamical-quark studies show a less universal pattern. In χt=⟨Q2⟩/V2 Wilson twisted mass QCD with χt=⟨Q2⟩/V3 MeV, the susceptibility over χt=⟨Q2⟩/V4 MeV decreases only slowly above the crossover temperature χt=⟨Q2⟩/V5 MeV, and Wilson flow, Wilson cooling, over-improved cooling, and stout smearing agree well when matched at the same smoothing scale (Trunin et al., 2015). In χt=⟨Q2⟩/V6-flavor HISQ QCD near the physical point, continuum-extrapolated data exhibit two regimes: below about χt=⟨Q2⟩/V7 MeV the falloff is milder than DIGA, while above χt=⟨Q2⟩/V8 MeV the behavior is consistent with χt=⟨Q2⟩/V9, with a fitted high-temperature exponent evac(θ)0 for evac(θ)1. Matching to the partial two-loop DIGA expression requires a temperature-independent evac(θ)2-factor evac(θ)3, and the resulting evac(θ)4 feeds directly into the axion bound evac(θ)5 in the post-inflation PQ scenario (Petreczky et al., 2016).
Very high temperatures pose a rare-event problem because nonzero-evac(θ)6 sectors become exponentially suppressed. Two complementary strategies have been used in pure gauge theory. The density-of-states method reconstructs the charge-sector histogram from constrained ensembles and reached evac(θ)7, finding evac(θ)8 at fixed evac(θ)9 and sector probabilities consistent with a Skellam distribution, as expected for a free instanton gas (Borsanyi et al., 2021). Reweighting methods, using a partially flowed proxy charge to enhance transitions through dislocation-like configurations, produced continuum-extrapolated values
χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,00
in agreement with the existing quenched literature (Jahn et al., 2018).
Recent physical-point χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,01 Möbius domain-wall simulations reinforce the extent of cutoff sensitivity. Preliminary χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,02 results gave χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,03 at χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,04 and χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,05 at χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,06, close to the HISQ continuum value χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,07, while topological sectors became nearly invisible by χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,08 MeV, where only χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,09 configurations were observed in the reported sample (Kanamori et al., 24 Mar 2026).
5. Universality, large-χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,10, and exceptional scaling failures
In pure Yang–Mills theory, the flowed definition of χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,11 behaves in the expected large-χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,12 manner. A combined continuum and large-χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,13 analysis of χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,14, χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,15, χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,16, and χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,17 gauge theory with open temporal boundary conditions gave
χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,18
with continuum values χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,19, χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,20, χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,21, and χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,22 for χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,23, respectively. The χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,24 corrections are therefore modest, quantitatively confirming the large-χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,25 picture behind the Witten–Veneziano mechanism (Cè et al., 2016).
The χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,26 model is exceptional. There the conventional scaling combination is χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,27, and long-standing evidence indicates that it diverges rather than approaching a finite continuum limit. Direct gradient-flow studies showed that GF strongly reduces χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,28, especially on fine lattices, but even when the smoothing radius reaches approximately χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,29 there is no sign that χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,30 converges; the growth with χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,31 persists and is well described by logarithmic or mild power-law ansätze (Bietenholz et al., 2018). Earlier GF/slab investigations had already found that χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,32 drops quickly at early flow time but had not yet reached flow radii large enough to settle the continuum question decisively (Mejía-Díaz et al., 2017). A common misconception is that GF automatically cures topological UV pathologies; the χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,33 evidence does not support that conclusion.
Infrared effective models can reproduce some, but not all, of the same physics. In the χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,34 random center-vortex world-surface ensemble, topological charge is generated by writhe and self-intersection of vortex surfaces, and the confined-phase susceptibility appears quantitatively consistent with Yang–Mills theory after accounting for systematic uncertainties from the hypercubic construction. In the deconfined phase, however, the susceptibility falls off significantly less than in lattice χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,35 Yang–Mills, indicating either hypercubic artefacts or incomplete effective vortex dynamics (Engelhardt, 2010).
6. External fields, dense matter, and alternative reformulations
Topological susceptibility admits nontrivial generalizations in external environments. In a weak uniform magnetic field, χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,36PT yields model-independent sum rules for the shifts of topological cumulants. For two flavors,
χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,37
while in three flavors,
χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,38
The shift of the fourth cumulant depends not only on condensate shifts but also on quark susceptibility shifts. In this framework the magnetic field enhances χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,39, and the same structure follows from Ward–Takahashi identities, not only from the low-energy expansion (Adhikari, 2021).
At finite density, WTIs can make the anomaly content of χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,40 explicit. In two-color QCD with two flavors and zero temperature,
χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,41
and in the vacuum low-energy regime,
χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,42
Within the linear sigma model used there, the susceptibility vanishes identically if the χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,43 anomaly term is absent; with anomaly effects present it is constant and nonzero in the hadronic phase and then decreases smoothly as χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,44 in the baryon-superfluid phase (Kawaguchi et al., 2023).
Dense three-color superconducting matter leads to a different structure. In a DSE/HDET/2PI treatment of CFL and 2SC phases, the curvature of the χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,45-dependent effective potential gives
χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,46
where χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,47 is the asymptotic anomaly-induced gap component and χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,48 is the effective χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,49-breaking coupling. Within that framework, χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,50 in both CFL and 2SC remains of vacuum-like order, implying axion masses of the same order through χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,51 (Murgana et al., 26 Feb 2025).
A more formal reinterpretation identifies χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,52 with the quantum Fisher information density of the ground state with respect to χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,53. Under the assumptions made in that analysis, χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,54, and the axion field can be viewed as the maximally efficient quantum estimator of the χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,55-angle. This reformulation leaves the usual role of χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,56 intact—curvature of χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,57, integrated χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,58 correlator, and axion mass parameter—but recasts it as a metric notion of distinguishability in the space of χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,59-vacua (Gomez, 2020).
In aggregate, topological susceptibility is not a single computational object but a tightly constrained family of equivalent definitions whose equivalence is contingent on UV control, IR volume, and algorithmic ergodicity. In four-dimensional Yang–Mills and QCD, flowed and fermionic constructions now support a coherent continuum picture; in fixed-topology simulations, subvolume and correlator methods recover the same observable under controlled assumptions; in thermal, dense, and magnetized settings, χt=V⟨Q2⟩−⟨Q⟩2,Q=∫d4xq(x),χt=∫d4x⟨q(x)q(0)⟩,60 remains the canonical measure of how anomalous topology reorganizes itself under external scales and symmetry breaking.