Papers › Optimizing Sparse SYK

Optimizing Sparse SYK

10 Jun 2025arXiv:2506.09037links table onlyarchive 2025-07-28

Matthew Ding, Robbie King, Bobak T. Kiani, Eric R. Anschuetz

The archive published only this paper's code-link row. Authors, date and abstract are from arXiv's metadata (CC0), read from the Kaggle arXiv metadata snapshot of 2026-09-12 where its title matched the archive's; the title is the archive's.

Finding the ground state of strongly-interacting fermionic systems is often the prerequisite for fully understanding both quantum chemistry and condensed matter systems. The Sachdev--Ye--Kitaev (SYK) model is a representative example of such a system; it is particularly interesting not only due to the existence of efficient quantum algorithms preparing approximations to the ground state such as Hastings--O'Donnell (STOC 2022), but also known no-go results for many classical ansatzes in preparing low-energy states. However, this quantum-classical separation is known to \emph{not} persist when the SYK model is sufficiently sparsified, i.e., when terms in the model are discarded with probability 1-p, where p=Θ(1/n³) and n is the system size. This raises the question of how robust the quantum and classical complexities of the SYK model are to sparsification. In this work we initiate the study of the sparse SYK model where p ∈[Θ(1/n³),1] and show there indeed exists a certain robustness of sparsification. We prove that with high probability, Gaussian states achieve only a Θ(1/√(n))-factor approximation to the true ground state energy of sparse SYK for all p≥Ω(logn/n²), and that Gaussian states cannot achieve constant-factor approximations unless p ≤O(log² n/n³). Additionally, we prove that the quantum algorithm of Hastings--O'Donnell still achieves a constant-factor approximation to the ground state energy when p≥Ω(logn/n). Combined, these show a provable separation between classical algorithms outputting Gaussian states and efficient quantum algorithms for the goal of finding approximate sparse SYK ground states whenever p ≥Ω(logn/n), extending the analogous p=1 result of Hastings--O'Donnell.

PaperPDFCode

Code

bkiani/lovasz_for_syk officialmentioned in papermentioned on GitHub report

Repository list and official/mentioned flags are the archive's, frozen 2025-07-28. Reachability, where shown, is from one Syntology probe window (2026-09-16 to 2026-09-18); repositories not probed show nothing. GitHub stars are not tracked.

Code Syntology ran Syntology

Not run by Syntology. Nothing on this page verifies that the listed code works.

Results from the paper archive 2025-07-28

No leaderboard rows for this paper in the archive.

Report a problem or propose a change · a person checks every report against the paper or source before anything changes; decisions are listed on /corrections