SYK Conformal Regime and Schwarzian Matching
Starting from the bilocal saddle, this page identifies the reparametrization fluctuation whose conformal ladder-kernel eigenvalue is one, computes how the ultraviolet kinetic term shifts that eigenvalue, and packages the result in a Schwarzian action. For standard even- Majorana SYK at large and , the coefficient extracted from the kernel must equal the coefficient of the low-temperature heat capacity. That equality is a quantitative infrared test; it neither fixes the entropy intercept nor reconstructs a finite- spectrum.
Required background. SYK Bilocal Collective Fields as Near-AdS₂ Data supplies the no-minus Green-function convention, disorder normalization, full saddle equations, fluctuation kernel, and numerical data. JT Gravity and the Schwarzian Boundary Mode supplies the independent gravitational coefficient .
Helpful background. SYK Models and Local Quantum Criticality develops the many-body model. Nearly AdS₂ Effective Theory Beyond the Leading Schwarzian explains how additional irrelevant operators limit the match.
Scope. The explicit calculation is the leading one-copy, disorder-averaged saddle, with taken before the low-temperature limit. A quenched or fixed-realization claim needs additional evidence. The derivation proceeds from the conformal saddle to the unit kernel mode, its finite-coupling lift, the Schwarzian coefficient, and an independent thermodynamic check.
Reading route. Follow the conformal orbit to the unit kernel mode, its ultraviolet lift, the Schwarzian action, and the thermodynamic match. The last sections delimit the JT comparison and the three breakdown scales before the solved exercises.
Evidence reviewed: 29 August 2026.
The infrared saddle has a reparametrization orbit
Section titled “The infrared saddle has a reparametrization orbit”Use the coupling fixed by
and define the second common coupling convention by
For , . Keeping both symbols visible will prevent a factor- error later.
At strong coupling, drop the kinetic term in the Schwinger–Dyson equations. The conformal equations are
Under a monotone reparametrization , they are invariant if
The convolution measure supplies one inverse Jacobian. Covariance therefore requires , so the fermion dimension is
On the line, write the dimensionless normalization as :
For , . The normalization follows by Fourier transforming the power law and imposing ; it is not fixed by scaling alone. These steps are derived in Maldacena and Stanford 2016, § 2.3, Eqs. (2.7)–(2.11).
The fixed line-to-circle map
gives, for ,
extended antiperiodically. This formula requires and time separations far from both ultraviolet endpoints:
Those conditions justify dropping the derivative. The operative semiclassical condition derived below is
It is often abbreviated as , but the shorthand hides the fixed- coefficient and is not part of the conformal power-counting step.
Now distinguish from the dynamical circle diffeomorphism :
The reparametrized thermal family is obtained from . Projective transformations of leave the conformal correlator unchanged, so distinct configurations are circle diffeomorphisms modulo . The literature often abbreviates the stabilizer as .
The weight-two ladder mode is exactly flat
Section titled “The weight-two ladder mode is exactly flat”The conformal ladder kernel acting on antisymmetric bilocal fluctuations is
Consider , where has units of time. To first order,
Differentiate the conformal saddle equation along this orbit. Since
the variation reduces to
Thus every nontrivial infinitesimal reparametrization is a unit-eigenvalue fluctuation of . In the bilocal Hessian, the corresponding factor vanishes. This is the weight- channel that was only anticipated on the preceding page; the exact derivation is Maldacena and Stanford 2016, § 3.3.1, Eqs. (3.108)–(3.113).
Put and separate the dimensionful shift from its dimensionless Fourier field:
The modes generate the projective stabilizer and give . They are not physical zero-action fluctuations to integrate over. The soft orbit begins at :
This distinction matters: an eigenvalue equal to one explains the conformal divergence of , but it does not yet determine the energy scale or coefficient that regulates it.
The ultraviolet term lifts the unit eigenvalue
Section titled “The ultraviolet term lifts the unit eigenvalue”Restore the kinetic term and solve the full saddle to first order away from the conformal limit. On the thermal circle, choose . The following expansion is local to the infrared region and is not uniform at coincident points; it requires
There the leading correction has the form
where
The shape is fixed by the infrared equations, but is a UV-to-IR matching coefficient. Its value requires the full saddle or equivalent microscopic data. For fixed Fourier index with , perturbing the exact kernel by this corrected propagator gives
with
The factor is the leading explicit-breaking lift. Combining it with the normalization of the eigenfunction produces in the inverse soft propagator. The calculation and its UV sensitivity are explicit in Maldacena and Stanford 2016, § 3.3.2, Eqs. (3.124)–(3.130), and Appendix E.
For , the full Schwinger–Dyson solution gives
and hence
when the eigenvalue shift is written using .
There is a useful reproducibility check against the full saddle on the preceding page. Since , its midpoint data define
At , the recorded values and give . This is above the asymptotic . The grid shift is only , so the visible discrepancy is finite-coupling truncation, not solver convergence.
The repository checker reruns the full saddle on a smaller audit grid. At , it obtains , respectively, approaching monotonically; the last Dyson residual is . These values diagnose convergence rather than independently determine . Invoke scripts/benchmark-syk-schwarzian-soft-mode.py with a Python 3 interpreter; --skip-saddle runs only the analytic normalization and thermodynamic checks.
The lifted mode becomes the Schwarzian
Section titled “The lifted mode becomes the Schwarzian”Inserting the lifted channel into the bilocal quadratic action gives
where
Using the dimensionless Fourier coefficients defined above, this is
Before quotienting, the unrestricted quadratic operator has exactly three null directions, , as projective invariance requires. The displayed sum already omits them.
The kernel calculation fixes this quadratic action. At general finite , locality, the derivative expansion, and projective invariance select the leading nonlinear completion
where
The coefficient dictionary is
Maldacena and Stanford obtain the lifted quadratic action and motivate this completion Maldacena and Stanford 2016, § 4, Eqs. (4.174)–(4.180). Kitaev and Suh formulate the UV/IR matching and derive the leading nonlocal correction Kitaev and Suh 2018, §§ 1 and 6. A direct microscopic nonlinear derivation is now available in the controlled large- limit, where is the interaction order; it is not a theorem for finite Bucca and Mezei 2025, §§ 2.1 and 4–5.
For ,
Quoting a bare number called without naming its coupling convention is therefore incomplete.
Thermodynamics closes the coefficient loop
Section titled “Thermodynamics closes the coefficient loop”At the thermal saddle ,
The one-copy low-temperature partition function, written as , is consequently
Here is the large- entropy intercept of the annealed saddle, with taken before . It is not a claim of an exactly degenerate finite- ground space. Differentiation gives three linked observables:
For , the independent full-saddle thermodynamic result is
equivalently
Agreement with inferred from the lifted kernel is the promised normalization check Maldacena and Stanford 2016, § 5, Eqs. (5.181)–(5.182). It tests the slope, not the entropy intercept.
At order , integrating the quantum soft mode adds the characteristic term to . The exact Schwarzian path integral is one-loop exact and has the continuous form
up to convention-dependent normalization Stanford and Witten 2017, § 2.4. This quantum result improves the classical saddle; it still does not resolve the discrete levels of one finite- realization.
Matching one coupling to JT gravity
Section titled “Matching one coupling to JT gravity”JT gravity has the same leading boundary action with
The quantitative infrared matching condition is simply
When a parent near-extremal black hole determines independently, this is a nontrivial comparison of thermodynamic slopes. In bottom-up JT, it is a parameter identification. The common statement is therefore precise but limited: SYK and JT can share the leading effective theory after matching one coupling Maldacena, Stanford, and Yang 2016, § 3.1.
This equality does not identify with the JT topological entropy, construct a microscopic Hilbert-space isomorphism, decide whether gravitational observables are ensemble averaged, or match the tower of nonsoft bilinear modes. A comparison of soft exchange in four-point functions additionally needs a specified matter bilocal with matched dimension and normalization; pure JT alone has no SYK fermion operator. The fuller claim boundary belongs to Near-AdS₂, SYK, and the Duality Interface, while JT Correlators, Bilocals, and Chaos develops the gravitational correlators.
The approximation changes character at three scales
Section titled “The approximation changes character at three scales”Let denote the characteristic external energy, of order . Three different expansions must not be compressed into one error term.
-
Finite-coupling expansion. The leading correction to the conformal two-point function is . Higher powers, nonsoft bilocal modes, and the nonlocal correction to the soft action become progressively important. At , neither the power law nor a Schwarzian-only description is controlled; the full Schwinger–Dyson equations remain valid.
-
Soft-loop expansion. The semiclassical parameter is not a uniform but
When , the classical soft saddle is reliable. Near —parametrically of order at fixed —soft fluctuations become strong. This is the quantum-Schwarzian regime, not a failure of the Schwarzian effective theory.
-
Sample-specific discreteness. A fixed finite- Hamiltonian has a mean spacing of order , parametrically much smaller than in a many-body window. Once the requested energy resolution reaches that spacing, or times reach the Heisenberg scale, a smooth Schwarzian density cannot reproduce individual levels or recurrences. The next page, Random Matrices, Spectral Statistics, and Ensemble Questions, begins there.
There is also a theory-space failure test. An irrelevant operator with can generate a nonlocal term that dominates the Schwarzian at low temperature. Standard SYK has no operator in this dangerous range, but approximate reparametrization symmetry alone does not exclude it in another model Maldacena, Stanford, and Yang 2016, Appendix D.
The strongest statement surviving all adversarial tests is this: the normalized large-, strong-coupling SYK saddle has a lifted sector whose leading local action and thermodynamic slope match a Schwarzian theory. It does not follow that the Schwarzian reconstructs the ultraviolet Hamiltonian, remains semiclassical at every infrared scale, or resolves a fixed sample’s exact spectrum.
Common pitfalls
Section titled “Common pitfalls”Using one symbol for two maps. is the fixed line-to-circle map. is the dynamical circle diffeomorphism. The Schwarzian acts on .
Integrating over the stabilizer. The modes leave the conformal correlator unchanged. They are divided out as , not counted as fluctuating zero modes.
Mixing and . At , . The numbers and describe the same action in different coupling conventions.
Matching an intercept from a slope. matches the energy and linear- entropy corrections. It does not match the constant entropy terms.
Calling a level spacing. That is the parametric quantum-soft crossover. A many-body level spacing is exponentially smaller.
Treating the nonlinear completion as a finite- microscopic theorem. The finite- kernel directly fixes the quadratic action. The leading nonlinear Schwarzian follows from the local effective-theory construction; the currently controlled microscopic nonlinear derivation is restricted to the large-interaction-order limit.
Exercises
Section titled “Exercises”1. Scaling dimension and normalization
Section titled “1. Scaling dimension and normalization”Derive from reparametrization covariance, then verify at .
Solution
The convolution contains one integration measure. Under , the two kernels contribute weights at the integrated point, while contributes one inverse power. Covariance requires
so . At ,
hence .
2. The unit kernel eigenvalue
Section titled “2. The unit kernel eigenvalue”Differentiate the conformal saddle equation along and show that . Why do not give physical bilocal fluctuations?
Solution
Vary :
Right-convolve the first equation with and use :
In components, the last factor satisfies . Substituting therefore supplies the minus sign in the displayed definition of . Hence
For , the reparametrization is an infinitesimal projective transformation of the thermal coordinate. The conformal two-point function is invariant under those transformations, so itself. They are stabilizer directions, not nonzero bilocal eigenvectors.
3. Quadratic expansion of the Schwarzian
Section titled “3. Quadratic expansion of the Schwarzian”Let
Expand to second order and recover the factor .
Solution
Use the composition identity
After expanding and integrating by parts, the linear term vanishes and
With , orthogonality gives
It vanishes precisely at .
4. The q = 4 coefficient dictionary
Section titled “4. The q = 4 coefficient dictionary”Starting from , compute , , and .
Solution
At ,
Therefore
Next,
Because ,
Thus .
5. One coefficient, three thermodynamic observables
Section titled “5. One coefficient, three thermodynamic observables”Differentiate the low-temperature partition function to obtain the energy, entropy, and heat capacity corrections. Explain why the calculation does not determine the entropy intercept.
Solution
Start with
Then
Using and gives
The Schwarzian term determines only the temperature-dependent part. The constant comes from other saddle data and from the declared order of limits.
6. Diagnose two infrared crossovers
Section titled “6. Diagnose two infrared crossovers”Suppose , , and the entropy in a low-energy window is . Estimate the quantum-soft scale and the mean level spacing. Which description changes at each scale?
Solution
The quantum-soft crossover follows from :
This is times . It scales as at fixed , with the coefficient retained rather than hidden in the order symbol.
The rough level spacing is
Near , the classical reparametrization saddle must be replaced by the quantum Schwarzian path integral. Near , even its smooth spectral density is insufficient and sample-specific levels are required. The two scales are physically distinct.
The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.
For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.
References
Section titled “References”- Bucca, Marta, and Márk Mezei. “Nonlinear Soft Mode Action for the Large- SYK Model.” Journal of High Energy Physics 2025, 89 (2025). DOI. Open PDF.
- Kitaev, Alexei, and S. Josephine Suh. “The Soft Mode in the Sachdev–Ye–Kitaev Model and Its Gravity Dual.” Journal of High Energy Physics 2018, 183 (2018). DOI. Open PDF.
- Maldacena, Juan, and Douglas Stanford. “Remarks on the Sachdev–Ye–Kitaev Model.” Physical Review D 94, 106002 (2016). DOI. Open PDF.
- Maldacena, Juan, Douglas Stanford, and Zhenbin Yang. “Conformal Symmetry and Its Breaking in Two-Dimensional Nearly Anti-de Sitter Space.” Progress of Theoretical and Experimental Physics 2016, 12C104 (2016). DOI. Open PDF.
- Stanford, Douglas, and Edward Witten. “Fermionic Localization of the Schwarzian Theory.” Journal of High Energy Physics 2017, 008 (2017). DOI. Open PDF.