Sharp Bounds on Ground State Energy of the SYK Model
📄 arXiv:2607.27185 · 📥 PDF · 2026-07-29 · quant-ph
Authors: Arpon Basu [arXiv · scholar] , Pravesh K. Kothari [arXiv · scholar] , Siddhant Midha [arXiv · scholar]
🕰 Orloj analysis
Tato práce studuje Sachdev-Ye-Kitaev (SYK) Hamiltonián a dokazuje ostré hranice pro jeho operátorovou normu, čímž potvrzuje dřívější předpovědi a odpovídá na otevřenou otázku. Klíčová metodologie spočívá v identifikaci lineárního operátoru, který lze interpretovat jako zkroucený model bosonů na hyperhranách hypergrafu, a redukci problému na spektrální analýzu tohoto operátoru.
💡 Práce přináší rigorózní matematické důkazy pro dlouho předpovídané vlastnosti SYK modelu a zavádí nový, elegantní matematický aparát s potenciálními dopady na kvantové algoritmy.
Categories:
EMG-1
MET-1
THE-20
QFD-3
THE-11
THE-12
QFD-1
✓ falsifiable, limit_reductions, modest_claims
📄 Abstract
We study the Sachdev-Ye-Kitaev (SYK) Hamiltonian $H_{\operatorname{SYK}}$ on $n$ Majorana modes with $k$-body interactions, and prove that $\mathbb{E}\|H_{\operatorname{SYK}}\|_{\operatorname{op}} = (1 - o(1))\cdot\sqrt{2n}/k$ for super-constant $k\leq o(\sqrt{n})$, where the expectation is over the disorder variables in the Hamiltonian. This confirms the predictions due to Garcia-Garcia, Jia and Verbaarschot'18 and answers a question posed in Feng, Tian and Wei'19. Our results extend to the sparse SYK Hamiltonian. As a corollary, we obtain that the dissipative quantum algorithm of Basso, Chen and Dalzell'24 provably computes the ground state energy of the SYK Hamiltonian up to an $O(1)$-multiplicative factor for all $k < \sqrt{n}/4$. Our key technical idea is identifying an explicit, deterministic linear operator $\mathsf{x}$ such that a fixed quadratic form of $\mathsf{x}^{2\ell}$ exactly equals the expected trace moments of the SYK Hamiltonian for every $n$ and $k$. This linear operator can be naturally viewed as a \emph{twisted} model of bosons on the space of hyperedges of a hypergraph. The problem thus reduces to identifying the spectral edge of $\mathsf{x}$, which we show is dominated by the spectrum of a natural ${n \choose k}$-dimensional matrix from the \emph{Johnson} scheme and is straightforward to compute using known results. To show that our bound is sharp, we construct a witness state with a large quadratic form on $\mathsf{x}$ and transform it into a certificate of a lower bound on the largest quadratic form on $H_{\operatorname{SYK}}$.