Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2610.18440

A Central Limit Theorem for High-Temperature SYK Model: A case study on mathematical research using AI and Lean

Yoshinori Kamijima, Shuta Nakajima, Ryoichiro Noda, Kôhei Sasaya

Published Oct 13, 2026• 0 citations
arXivHTMLPDF

Abstract

The Sachdev--Ye--Kitaev (SYK) model is a quantum many-body model of Majorana fermions with all-to-all random interactions. It has attracted wide interest in condensed matter and high-energy physics as a solvable model of non-Fermi liquids and holography. Fix an even integer $q\geq4$, and let $Z_N(β)$ be the partition function of the Gaussian $q$-body SYK model. We prove that for all sufficiently small inverse temperatures $β> 0$, there exists $ρ=ρ(β)>0$ such that \[ N^{q/2 -1}(\log Z_N(β)-\mathbb{E}[\log Z_N(β)]) \Longrightarrow \mathcal{N}(0,ρ^2). \] In addition to the mathematical results, we discuss how the proofs were developed and refined through interaction between human researchers and AI, and we describe the subsequent formalization of the main arguments in Lean 4. This work thus serves as a case study of a research workflow that integrates human insight, AI-assisted exploration, iterative proof refinement, and formal verification.

DOI
10.48550/arxiv.2610.18440

Related papers

SYK and SYK-like models

Yuki Hamano

The SYK model of Sachdev, Ye and Kitaev is a recent model of N Majorana fermions coupled via quartic random interaction. It has the extraordinary properties of being exactly solvable at large N , having emergent conformal symmetry in the IR, and exhibiting maximal quantum chaos. The confluence of these properties make SYK a highly attractive candidate for a solvable AdS/CFT correspondence. What’s more, it was found to capture elements of non-Fermi-liquid behavior in strange metals. This thesis introduces the SYK model and discusses a recent variant, the SYK∗ model of Marcus and Vandoren. In the latter, the effective action is derived and branches of conformal solutions are discussed. The parameter space of SYK∗ is investigated for large and small M . The former reveals a phase separation and a N critical point in the T−M plane is claimed to exist.

•Jan 1, 2019•0 citations

Sachdev-Ye-Kitaev models and beyond: Window into non-Fermi liquids

Debanjan Chowdhury, Antoine Georges, Olivier Parcollet +1 more

The Sachdev-Ye-Kitaev (SYK) model is a solvable model of a many-body quantum system that has stimulated interest in both condensed matter physics and quantum gravity. This review focuses on the insights provided by the SYK model, which has no quasiparticle excitations, into the physics of Planckian non-Fermi-liquid metals. This is discussed for a range of strongly correlated models and in relation to experiments on strongly correlated materials. Also included is a discussion of recent developments regarding the connections between the SYK model and the quantum theory of black holes.

Reviews of Modern Physics•Sep 14, 2022•297 citations

The free energy limit of the SYK model at high temperature

David Gamarnik, Francisco Pernice, Alexander Schmidhuber +1 more

The Sachdev-Ye-Kitaev (SYK) model is a disordered quantum mean-field model studied in condensed matter physics and the holographic theory of black holes. Its structural properties can be derived heuristically using a combination of the replica method and path integration techniques. Analyzing it mathematically rigorously, however, turned out to be notoriously difficult, even for basic questions such as computing the annealed free energy. In this paper we rigorously compute the free energy limit (annealed and quenched) for this model at high enough but constant temperature. Our results are in numerical agreement with the results derived by physics methods. Remarkably, though, our method of proof is novel and is different from the physics approach. It is based on (a) the theory of the component structure of sparse random graphs and (b) a variant of the cavity method, used widely in prior rigorous and heuristic treatments of classical spin glasses.

cond-mat.dis-nnCross-listedarXiv:2605.02768•May 5, 2026•0 citations

The chiral SYK model

Biao Lian, Shivaji L. Sondhi, Zhenbin Yang

Abstract We study the generalization of the Sachdev-Ye-Kitaev (SYK) model to a 1 + 1 dimensional chiral SYK model of N flavors of right-moving chiral Majorana fermions with all-to-all random 4-fermion interactions. The interactions in this model are exactly marginal, leading to an exact scaling symmetry. We show the Schwinger-Dyson equation of this model in the large N limit is exactly solvable. In addition, we show this model is integrable for small N ≤ 6 by bosonization. Surprisingly, the two point function in the large N limit has exactly the same form as that for N = 4, although the four point functions of the two cases are quite different. The ground state entropy in the large N limit is the same as that of N free chiral Majorana fermions, leading to a zero ground state entropy density. The OTOC of the model in the large N limit exhibits a non-trivial spacetime structure reminscent of that found by Gu and Kitaev [1] for generic SYK-like models. Specifically we find a Lyapunov regime inside an asymmetric butterfly cone, which are signatures of quantum chaos, and that the maximal velocity dependent Lyapunov exponent approaches the chaos bound 2π/β as the interaction strength approaches its physical upper bound. Finally, the model is integrable for (at least) N ≤ 6 but chaotic in the large N limit, leading us to conjecture that there is a transition from integrability to chaos as N increases past a critical value.

arXiv:1906.03308•Journal of High Energy Physics•Sep 1, 2019•24 citations

Fast mixing of the SYK model at high temperatures

Yiyi Cai, Yongtao Zhan, Alexander Zlokapa

The Sachdev-Ye-Kitaev (SYK) model is a strongly interacting fermionic system. Its dynamics are difficult to analyze with Lieb-Robinson bounds and cluster expansions due to its all-to-all disordered interactions. We prove that, with high probability over the disorder, the SYK model admits a quantum Gibbs sampler with a system-size-independent spectral gap at sufficiently high constant temperatures. This yields polynomial-time preparation of SYK Gibbs states on a quantum computer. While prior non-rigorous computations that suggested SYK thermalization were limited to studying local correlators, we emphasize that our result holds up to arbitrary inverse polynomial trace distance. Our proof introduces the pseudo-Lindbladian approach to fermions and uses an especially simple SYK analysis based on a comparison to classical dynamics.

quant-pharXiv:2610.05953•Oct 6, 2026•0 citations

Solving Lévy Sachdev-Ye-Kitaev Model

Budhaditya Bhattacharjee, William. E. Salazar, Alexei Andreanov +1 more

We present an exact solution in the large-$N$ limit of the Lévy Sachdev-Ye-Kitaev (LSYK) model introduced in Ref. [1], wherein the couplings are drawn from a Lévy Stable distribution parameterized by a tail exponent $μ\in [0, 2]$. Starting from the Hamiltonian and its associated partition function, we highlight the key differences from the standard Gaussian SYK model and derive the large-$N$ Schwinger-Dyson equations via a bosonic oscillator representation of the action. These equations are solved both numerically and analytically in the large-$q$ and infrared limits. We subsequently analyze the chaotic properties of the model by computing the Krylov exponent from the large-$q$ Green's function and extracting the Lyapunov exponent from the $4$-point function. The parameter $μ$ continuously interpolates between a free theory at $μ= 0$ and the conventional, maximally chaotic Gaussian SYK model at $μ= 2$, with non-maximal chaos persisting throughout the intermediate regime $0 < μ< 2$. Thermodynamic quantities, including the entropy, free energy, average energy, and specific heat capacity, are computed and compared with their Gaussian SYK counterparts. The interpretations of the thermodynamics are discussed with respect to the holographic dual and non-Fermi liquid theory. Finally, we discuss an alternative representation of the LSYK model based on a distinct decomposition of the Lévy Stable distribution, which establishes a non-trivial connection to Gaussian SYK, and provide supporting analytical and numerical results in the appendices.

hep-thCross-listedarXiv:2604.01320•Apr 3, 2026•0 citations
The Sachdev--Ye--Kitaev (SYK) model is a quantum many-body model of Majorana fermions with all-to-all random interactions. It has attracted wide interest in condensed matter and high-energy physics as a solvable model of non-Fermi liquids and holography. Fix an even integer q≥4q\geq4q≥4, and let ZN(β)Z_N(β)ZN​(β) be the partition function of the Gaussian qqq-body SYK model. We prove that for all sufficiently small inverse temperatures β>0β> 0β>0, there exists ρ=ρ(β)>0ρ=ρ(β)>0ρ=ρ(β)>0 such that [ N^{q/2 -1}(\log Z_N(β)-\mathbb{E}[\log Z_N(β)]) \Longrightarrow \mathcal{N}(0,ρ^2). ] In addition to the mathematical results, we discuss how the proofs were developed and refined through interaction between human researchers and AI, and we describe the subsequent formalization of the main arguments in Lean 4. This work thus serves as a case study of a research workflow that integrates human insight, AI-assisted exploration, iterative proof refinement, and formal verification.
The SYK model of Sachdev, Ye and Kitaev is a recent model of N Majorana fermions coupled via quartic random interaction. It has the extraordinary properties of being exactly solvable at large N , having emergent conformal symmetry in the IR, and exhibiting maximal quantum chaos. The confluence of these properties make SYK a highly attractive candidate for a solvable AdS/CFT correspondence. What’s more, it was found to capture elements of non-Fermi-liquid behavior in strange metals. This thesis introduces the SYK model and discusses a recent variant, the SYK∗ model of Marcus and Vandoren. In the latter, the effective action is derived and branches of conformal solutions are discussed. The parameter space of SYK∗ is investigated for large and small M . The former reveals a phase separation and a N critical point in the T−M plane is claimed to exist.
The Sachdev-Ye-Kitaev (SYK) model is a solvable model of a many-body quantum system that has stimulated interest in both condensed matter physics and quantum gravity. This review focuses on the insights provided by the SYK model, which has no quasiparticle excitations, into the physics of Planckian non-Fermi-liquid metals. This is discussed for a range of strongly correlated models and in relation to experiments on strongly correlated materials. Also included is a discussion of recent developments regarding the connections between the SYK model and the quantum theory of black holes.
The Sachdev-Ye-Kitaev (SYK) model is a disordered quantum mean-field model studied in condensed matter physics and the holographic theory of black holes. Its structural properties can be derived heuristically using a combination of the replica method and path integration techniques. Analyzing it mathematically rigorously, however, turned out to be notoriously difficult, even for basic questions such as computing the annealed free energy. In this paper we rigorously compute the free energy limit (annealed and quenched) for this model at high enough but constant temperature. Our results are in numerical agreement with the results derived by physics methods. Remarkably, though, our method of proof is novel and is different from the physics approach. It is based on (a) the theory of the component structure of sparse random graphs and (b) a variant of the cavity method, used widely in prior rigorous and heuristic treatments of classical spin glasses.
Abstract We study the generalization of the Sachdev-Ye-Kitaev (SYK) model to a 1 + 1 dimensional chiral SYK model of N flavors of right-moving chiral Majorana fermions with all-to-all random 4-fermion interactions. The interactions in this model are exactly marginal, leading to an exact scaling symmetry. We show the Schwinger-Dyson equation of this model in the large N limit is exactly solvable. In addition, we show this model is integrable for small N ≤ 6 by bosonization. Surprisingly, the two point function in the large N limit has exactly the same form as that for N = 4, although the four point functions of the two cases are quite different. The ground state entropy in the large N limit is the same as that of N free chiral Majorana fermions, leading to a zero ground state entropy density. The OTOC of the model in the large N limit exhibits a non-trivial spacetime structure reminscent of that found by Gu and Kitaev [1] for generic SYK-like models. Specifically we find a Lyapunov regime inside an asymmetric butterfly cone, which are signatures of quantum chaos, and that the maximal velocity dependent Lyapunov exponent approaches the chaos bound 2π/β as the interaction strength approaches its physical upper bound. Finally, the model is integrable for (at least) N ≤ 6 but chaotic in the large N limit, leading us to conjecture that there is a transition from integrability to chaos as N increases past a critical value.
The Sachdev-Ye-Kitaev (SYK) model is a strongly interacting fermionic system. Its dynamics are difficult to analyze with Lieb-Robinson bounds and cluster expansions due to its all-to-all disordered interactions. We prove that, with high probability over the disorder, the SYK model admits a quantum Gibbs sampler with a system-size-independent spectral gap at sufficiently high constant temperatures. This yields polynomial-time preparation of SYK Gibbs states on a quantum computer. While prior non-rigorous computations that suggested SYK thermalization were limited to studying local correlators, we emphasize that our result holds up to arbitrary inverse polynomial trace distance. Our proof introduces the pseudo-Lindbladian approach to fermions and uses an especially simple SYK analysis based on a comparison to classical dynamics.
We present an exact solution in the large-NNN limit of the Lévy Sachdev-Ye-Kitaev (LSYK) model introduced in Ref. [1], wherein the couplings are drawn from a Lévy Stable distribution parameterized by a tail exponent μ∈[0,2]μ\in [0, 2]μ∈[0,2]. Starting from the Hamiltonian and its associated partition function, we highlight the key differences from the standard Gaussian SYK model and derive the large-NNN Schwinger-Dyson equations via a bosonic oscillator representation of the action. These equations are solved both numerically and analytically in the large-qqq and infrared limits. We subsequently analyze the chaotic properties of the model by computing the Krylov exponent from the large-qqq Green's function and extracting the Lyapunov exponent from the 444-point function. The parameter μμμ continuously interpolates between a free theory at μ=0μ= 0μ=0 and the conventional, maximally chaotic Gaussian SYK model at μ=2μ= 2μ=2, with non-maximal chaos persisting throughout the intermediate regime 0<μ<20 < μ< 20<μ<2. Thermodynamic quantities, including the entropy, free energy, average energy, and specific heat capacity, are computed and compared with their Gaussian SYK counterparts. The interpretations of the thermodynamics are discussed with respect to the holographic dual and non-Fermi liquid theory. Finally, we discuss an alternative representation of the LSYK model based on a distinct decomposition of the Lévy Stable distribution, which establishes a non-trivial connection to Gaussian SYK, and provide supporting analytical and numerical results in the appendices.