SYK Bilocal Collective Fields as Near-AdS2 Data
At large , the quartic Sachdev–Ye–Kitaev (SYK) model replaces interacting fermions by two functions of two Euclidean times. records the collective two-point function, while enforces its definition and becomes its self-energy at the saddle. Their stationary equations are closed and can be solved numerically.
This page derives that replacement, computes a finite-temperature benchmark, and states exactly which disorder average and order of limits the answer represents. The resulting saddle and fluctuation kernel are useful near-AdS₂ comparison data. They are not local bulk fields, a unique microscopic Hamiltonian, or evidence for a complete gravity dual.
Required background. SYK Models and Local Quantum Criticality fixes the Majorana normalization, disorder variance, and no-minus Green-function convention used below.
Helpful background. Vector Models, Auxiliary Fields, and Large-N Saddles develops collective-field saddle methods; Replica and Supersymmetry Methods for Disorder separates exact averaging, analytic continuation, and saddle assumptions; Near-AdS₂, SYK, and the Duality Interface explains what the gravity comparison does and does not identify.
Scope. We study the standard even-, Gaussian, quartic Majorana ensemble on a Euclidean thermal circle. The explicit saddle calculation is the one-copy annealed problem at leading order in . Replica and fixed-realization statements are labeled separately.
Evidence cutoff: 29 August 2026.
The quartic ensemble and its thermal circle
Section titled “The quartic ensemble and its thermal circle”Let be even and normalize the Majoranas by
For , take
with independent Gaussian couplings
The frequently used general- phase changes only an overall sign at ; the symmetric Gaussian distribution absorbs that sign. The displayed convention therefore agrees with the prerequisite page.
Define the no-minus Euclidean correlator
It is antisymmetric in its two arguments. At a translation-invariant thermal saddle, write and use
Before doing any calculation, distinguish the operations often compressed into the phrase “the SYK average.”
| Quantity or ansatz | Operation | Collective-field route | Strongest immediate statement |
|---|---|---|---|
| Fixed realization ZJ | Keep every coupling fixed | Not produced by disorder averaging | One sample-specific quantum system |
| Annealed log partition function | Average ZJ, then take the logarithm | The one-copy action derived below | Annealed thermodynamics of the declared ensemble |
| Quenched log partition function | Take log ZJ, then average | Integer replicas followed by a formal n → 0 continuation | Quenched thermodynamics, if the continuation and saddle are controlled |
| Replica-diagonal saddle | Set off-diagonal saddle fields to zero | An ansatz inside the replicated theory | A candidate saddle, not a proof of dominance |
| Replica-nondiagonal sector | Allow Gab and Σab for a ≠ b | Fluctuations and possibly additional saddles | Existence, stability, dominance, and the n → 0 limit are separate tests |
Disorder contraction produces the G–Σ action
Section titled “Disorder contraction produces the G–Σ action”For one fixed coupling realization,
The couplings are Gaussian, so their average can be done exactly. Define the off-shell fermion bilinear
The index choices combine with the variance to leave an interaction:
Insert a functional delta constraint that replaces by an independent antisymmetric field and introduces an antisymmetric multiplier . Integrating the Majoranas gives a Pfaffian:
with
This is equivalently
It is not : that expression would be and would miss a factor of two in the first saddle equation. The correctly normalized Pfaffian action appears in Maldacena and Stanford 2016, § 2.6, Eqs. (2.25)–(2.26).
The multiplier contour initially enforces the delta functional and is then deformed through an appropriate saddle. The normalization , contour choice, regulator, and functional Jacobian do not change the leading stationary equations, but they matter for the fluctuation determinant. Thus the displayed action is a leading large- object, not a complete finite- measure.
Stationarity gives two closed equations
Section titled “Stationarity gives two closed equations”For an antisymmetric operator ,
Take . In the trace, the kernel order is reversed; antisymmetry then converts the variation of the Pfaffian term into . It cancels the explicit precisely when
Variation with respect to gives the second equation. Together,
where
At a translation-invariant saddle these become
Four elementary checks catch most sign and normalization errors:
- Fermion exchange: .
- Thermal reflection: antiperiodicity implies for .
- Equal-time jump: and in the no-minus convention.
- Ultraviolet tail: .
These equations and checks are reviewed with the corresponding diagrammatics in Chowdhury et al. 2022, §§ II.B–II.D.
A reproducible finite-temperature saddle
Section titled “A reproducible finite-temperature saddle”Set . For each , solve the full equations rather than dropping the derivative term. Some references instead use ; at , . Every temperature in the table is expressed using .
The calculation uses
with the matching finite Fourier pair. Start from . Before transforming to time, subtract this known ultraviolet tail and add its exact value for . One iteration is
followed by
Stop when the relative fixed-point update is below . Independently report the Dyson residual
The primary grid has points. A second calculation with supplies a discretization estimate. For comparison, the thermal conformal solution for is
| βJ | G(β/4) | G(β/2) | Gc(β/2) | Midpoint difference from conformal | 1024 → 2048 midpoint shift | RSD |
|---|---|---|---|---|---|---|
| 5 | 0.391691 | 0.364121 | 0.421005 | −13.51% | 2.26 × 10−8 | 1.8 × 10−14 |
| 10 | 0.313992 | 0.279188 | 0.297696 | −6.22% | 3.02 × 10−8 | 3.5 × 10−14 |
| 20 | 0.236904 | 0.204449 | 0.210503 | −2.88% | 3.50 × 10−8 | 5.0 × 10−14 |
| 50 | 0.155164 | 0.131678 | 0.133134 | −1.09% | 3.02 × 10−8 | 9.3 × 10−14 |
The four runs converged in 77–82 iterations. On the grid, Fourier closure was better than , reflection symmetry better than , and imaginary leakage below . The median ultraviolet-tail error over the highest one-eighth of Matsubara modes ranged from at to at .
The largest last-grid shift, in , is a discretization estimate rather than a rigorous error bound. It dominates the iteration error but is far smaller than the physical difference from the conformal approximation. The systematic trend is clear: the full saddle approaches the conformal answer as grows, while the short-time endpoints remain ultraviolet-sensitive. The algorithm follows Maldacena and Stanford 2016, Appendix G, with every grid, tail, mixing, stopping, and comparison choice stated here.
Bilocal fluctuations organize four-point data
Section titled “Bilocal fluctuations organize four-point data”Write fluctuations around the saddle as
The linear term vanishes by stationarity. The quadratic action couples and . Eliminating produces the ladder kernel; in index-free notation its action contains the operator , with
for in this convention. The inverse sums ladder diagrams and gives the connected four-point function. A nearly unit eigenvalue in the reparametrization channel is the precursor of the Schwarzian soft mode. The derivation and its normalization are given in Maldacena and Stanford 2016, §§ 3.1 and 4; the bilocal fluctuation viewpoint is developed in Jevicki, Suzuki, and Yoon 2016, §§ 2–3.
The pair can be reorganized into a center time and a relative time, which makes some conformal structures resemble a field in one extra dimension. That is a useful kinematic representation, not a proof of locality: the Pfaffian and the full quadratic kernel remain nonlocal in the bilocal coordinates. The next page, SYK Conformal Regime and Schwarzian Matching, extracts the soft sector without identifying every bilocal fluctuation with a local bulk particle.
Three infrared boundaries are physically different
Section titled “Three infrared boundaries are physically different”The shorthand “finite- cutoff” hides distinct mechanisms. For a low-energy state with entropy , the relevant hierarchy is parametrically
up to model- and energy-dependent prefactors.
| Boundary | Parametric scale | What changes | What remains useful |
|---|---|---|---|
| Ultraviolet crossover | Energy of order J | The derivative term cannot be dropped | The full bilocal Schwinger–Dyson equations |
| Quantum Schwarzian crossover | Energy parametrically of order J/N | The classical conformal saddle is insufficient; the soft mode fluctuates strongly | The Schwarzian effective theory in its stated window |
| Sample-specific discreteness | Mean level spacing of order J e−S(E) | A smooth density cannot resolve individual levels or recurrences | Coarse or averaged spectral observables above the spacing scale |
Thus is not the many-body level spacing. The classical conformal window may be summarized as only when one is specifically discussing the leading conformal saddle. Below , the Schwarzian sector is the next effective description; exponentially farther into the infrared, a fixed sample’s discrete spectrum becomes unavoidable.
Quenched and annealed claims need separate evidence
Section titled “Quenched and annealed claims need separate evidence”The one-copy derivation computed . The quenched quantity begins instead with an integer replica number:
where
Here , and likewise for . The quenched free energy is formally
The replica-diagonal choice and reduces the saddle to copies of the one-copy equations. Calling this an ansatz keeps the logic honest: dominance, analytic continuation, and the absence of another saddle are additional questions.
At every finite , Jensen’s inequality gives
Equality of leading free-energy densities is nevertheless much better supported for the standard fermionic ensemble than an appeal to replica diagonality alone:
- In the normalization studied by Anschuetz, Chen, Kiani, and King, the intensive annealed–quenched log-partition gap is bounded by . It therefore vanishes for —for , —but the result does not reach exponentially low temperatures or identify finite- samples. Constants must be translated before combining their normalization with the convention on this page Anschuetz et al. 2025, § IV, Eq. (9), and Appendix C, Corollary C.1.
- For every fixed even , Gamarnik, Pernice, Schmidhuber, and Zlokapa prove the existence and compute the common annealed and quenched free-energy density at sufficiently small but constant for their Rademacher-coupling ensemble and normalized trace. Their numerical comparison agrees with the physics bilocal equations over the tested interval ; that interval is not itself the theorem’s full rigorously established range. Applying the theorem literally to the Gaussian convention above requires a separate universality and normalization translation Gamarnik et al. 2026, § 2, Theorem 5, and § 5, Eqs. (40)–(41) and Figure 3.
- Replica-nondiagonal solutions do exist in controlled ansätze. Aref’eva and collaborators found finite-integer-replica candidates that are subleading and singular as , alongside strong-coupling conformal candidates whose regulated continuation requires separate interpretation Aref’eva et al. 2019, §§ 3–5 and Appendix B.
- Numerical long-time correlators support the replica-diagonal saddle plus Gaussian fluctuations—including off-diagonal fluctuation components—on times shorter than the inverse many-body level spacing Wang et al. 2019, §§ 3–5. Independent analytic and spectral tests found no spin-glass phase in the standard model within their examined regimes Gur-Ari, Mahajan, and Vaezi 2018, §§ 2–3.
These statements concern the standard fermionic SYK ensemble. Bosonic or spin variants can behave differently; the comparison in Baldwin and Swingle 2020, §§ II–IV is a warning against transferring the conclusion by name alone.
Adversarial control: change the averaging hypothesis
Section titled “Adversarial control: change the averaging hypothesis”Now change one assumption at a time.
| Change | What can survive | What no longer follows | Reason for the downgrade |
|---|---|---|---|
| Annealed → quenched | Leading free-energy density and coarse correlators in regimes covered by concentration or a controlled saddle | Finite-N equality or sample-specific spectral data | The logarithm and disorder average do not commute |
| Add off-diagonal Gaussian fluctuations | Replica-diagonal leading saddle and corrected four-point functions | A strictly diagonal fluctuation theory | Off-diagonal fluctuations need not imply an off-diagonal saddle |
| Admit a dominant nondiagonal saddle | The exact replicated functional integral | The one-copy saddle as the full quenched answer | The saddle and possibly its n → 0 continuation have changed |
| Ensemble → one fixed realization | Self-averaging coarse observables in a demonstrated regime | Exact late-time recurrences, individual levels, or a unique nonperturbative completion | The smooth collective saddle has discarded realization-specific information |
The strongest claim that survives all of these tests is deliberately limited: a normalized large- SYK saddle, its fluctuation kernel, and their averaging convention can supply coarse infrared data that match selected near-AdS₂ observables. Annealed–quenched agreement of an intensive quantity does not turn an ensemble into one Hamiltonian; replica-nondiagonal saddle existence does not establish dominance; and melonic bilocal dynamics does not by itself prove a gravity dual.
Common pitfalls
Section titled “Common pitfalls”Halving the Pfaffian twice. A Majorana Gaussian integral gives a Pfaffian, and . Writing both the Pfaffian and an additional factor loses a factor of two.
Calling the one-copy action replica diagonal. The one-copy action has no replica indices and computes an annealed object. “Replica diagonal” describes an ansatz made only after constructing .
Equating existence with dominance. A stationary point can be subleading, unstable, or singular under . Its action, Hessian, contour, and continuation must be checked.
Using as a level spacing. The scale governs the quantum soft-mode crossover. A typical many-body level spacing is exponentially smaller, of order .
Turning bilocal coordinates into a local bulk. Reorganizing two times as center and relative coordinates is kinematically useful. It does not remove the nonlocal Pfaffian or prove a local two-dimensional bulk action.
Exercises
Section titled “Exercises”1. Pfaffian versus determinant
Section titled “1. Pfaffian versus determinant”Show why replacing by changes the saddle normalization.
Solution
For antisymmetric ,
so
An extra factor would instead give . Its variation would be half as large, while the explicit term would be unchanged. The resulting stationarity condition could not be with the displayed interaction normalization.
2. Vary the collective action
Section titled “2. Vary the collective action”Derive both Schwinger–Dyson equations from .
Solution
Use
Keeping the reversed kernel order inside the trace and using antisymmetry, the variation gives
The variation is
so . Multiplying the first equation by gives the convolution form.
3. Equal-time jump and ultraviolet tail
Section titled “3. Equal-time jump and ultraviolet tail”Find and infer the leading large-frequency behavior.
Solution
The no-minus convention and give
Fermionic time ordering exchanges the operators across the origin, so . The unit discontinuity is the Green function of the first-order kinetic operator, hence
This is also obtained directly by neglecting relative to at large frequency.
4. Read the numerical control
Section titled “4. Read the numerical control”At , compare the midpoint value with the conformal value. Which numerical uncertainty dominates?
Solution
The fractional difference is
The last grid shift is , whereas the Dyson residual is . Discretization therefore dominates iteration error. The 1.09% physical difference from the conformal approximation is still much larger than either numerical diagnostic.
5. Jensen’s inequality and free energies
Section titled “5. Jensen’s inequality and free energies”Determine the ordering of annealed and quenched free energies.
Solution
Because is concave,
Multiplying by reverses the inequality:
If their difference divided by vanishes in a large- regime, the leading free-energy densities agree there. The finite- operations remain distinct.
6. Separate the infrared scales
Section titled “6. Separate the infrared scales”Suppose and a relevant energy window has entropy . Compare with the rough level-spacing estimate .
Solution
The soft-mode scale is
The spacing estimate is
They differ by almost seven orders of magnitude. Crossing calls for quantum Schwarzian dynamics; resolving calls for the individual spectrum of a fixed finite- sample.
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”- Anschuetz, Eric R., Chi-Fang Chen, Bobak T. Kiani, and Robbie King. “Strongly Interacting Fermions Are Non-Trivial Yet Non-Glassy.” Physical Review Letters 135, 030602 (2025). DOI and open article. Open PDF.
- Aref’eva, Irina, Mikhail Khramtsov, Maria Tikhanovskaya, and Igor Volovich. “Replica-Nondiagonal Solutions in the SYK Model.” Journal of High Energy Physics 2019, 7 (2019): 113. DOI and open article. Open PDF.
- Baldwin, Christopher L., and Brian Swingle. “Quenched versus Annealed: Glassiness from SK to SYK.” Physical Review X 10, 031026 (2020). DOI and open article. Open PDF.
- Chowdhury, Debanjan, Antoine Georges, Olivier Parcollet, and Subir Sachdev. “Sachdev–Ye–Kitaev Models and Beyond: A Window into Non-Fermi Liquids.” Reviews of Modern Physics 94, 035004 (2022). DOI. Open PDF.
- Gamarnik, David, Francisco Pernice, Alexander Schmidhuber, and Alexander Zlokapa. “The Free Energy Limit of the SYK Model at High Temperature.” arXiv:2605.02768 [cond-mat.dis-nn, hep-th, math.PR, quant-ph] (2026). Open PDF.
- Gur-Ari, Guy, Raghu Mahajan, and Abolhassan Vaezi. “Does the SYK Model Have a Spin Glass Phase?” Journal of High Energy Physics 2018, 11 (2018): 070. DOI and open article. Open PDF.
- Jevicki, Antal, Kenta Suzuki, and Junggi Yoon. “Bi-Local Holography in the SYK Model.” Journal of High Energy Physics 2016, 7 (2016): 007. DOI and open article. Open PDF.
- Maldacena, Juan, and Douglas Stanford. “Remarks on the Sachdev–Ye–Kitaev Model.” Physical Review D 94, 106002 (2016). DOI. Open PDF.
- Wang, Hanteng, Dmitry Bagrets, Alexander L. Chudnovskiy, and Alex Kamenev. “On the Replica Structure of the Sachdev–Ye–Kitaev Model.” Journal of High Energy Physics 2019, 9 (2019): 057. DOI and open article. Open PDF.
Original QFT.org content:CC BY 4.0, unless an item supplies different terms. Third-party material retains its own terms.