quantum-information-computing / Quantum optimization; spin glasses

The Basso-Farhi-Marwaha-Villalonga-Zhou conjecture: QAOA attains the Sherrington-Kirkpatrick ground-state energy as depth grows

Theorem 1.1: lim⁡p→∞Qp=P∗\lim_{p\to\infty}Q_p=P_* for the zero-field SK model; for every ε>0\varepsilon>0 some finite depth and deterministic angles, independent of nn and the disorder, reach expected energy per spin ≥P∗−ε\ge P_*-\varepsilon in the limit n→∞n\to\infty taken first, with the standard cost Hamiltonian and transverse-field mixer. It also gives leading-order optimal expected MaxCut on large-degree random regular graphs (size before degree). Not given: any depth bound, finite-size estimate, efficient angle selection, or concentration beyond expectation. The companion proves full support on [0,1)[0,1) of zero-temperature Parisi minimizers, a result H.-B. Chen had already posted (arXiv 2607.18032), as the companion acknowledges.

16Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

quantum-information-computingSep 25, 2026Significance 16/100Registry: unreviewed

The Basso-Farhi-Marwaha-Villalonga-Zhou conjecture: QAOA attains the Sherrington-Kirkpatrick ground-state energy as depth grows

Prior state unknown→proved

Theorem 1.1: lim⁡p→∞Qp=P∗\lim_{p\to\infty}Q_p=P_* for the zero-field SK model; for every ε>0\varepsilon>0 some finite depth and deterministic angles, independent of nn and the disorder, reach expected energy per spin ≥P∗−ε\ge P_*-\varepsilon in the limit n→∞n\to\infty taken first, with the standard cost Hamiltonian and transverse-field mixer. It also gives leading-order optimal expected MaxCut on large-degree random regular graph…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: lim⁡p→∞Qp=P∗\lim_{p\to\infty}Q_p=P_* for the zero-field SK model; for every ε>0\varepsilon>0 some finite depth and deterministic angles, independent of nn and the disorder, reach expected energy per spin ≥P∗−ε\ge P_*-\varepsilon in the limit n→∞n\to\infty taken first, with the standard cost Hamiltonian and transverse-field mixer. It also gives leading-order optimal expected MaxCut on large-degree random regular graphs (size before degree). Not given: any depth bound, finite-size estimate, efficient angle selection, or concentration beyond expectation. The companion proves full support on [0,1)[0,1) of zero-temperature Parisi minimizers, a result H.-B. Chen had already posted (arXiv 2607.18032), as the companion acknowledges.

Theorem 1.1: lim⁡p→∞Qp=P∗\lim_{p\to\infty}Q_p=P_* for the zero-field SK model; for every ε>0\varepsilon>0 some finite depth and deterministic angles, independent of nn and the disorder, reach expected energy per spin ≥P∗−ε\ge P_*-\varepsilon in the limit n→∞n\to\infty taken first, with the standard cost Hamiltonian and transverse-field mixer. It also gives leading-order optimal expected MaxCut on large-degree random regular graphs (size before degree). Not given: any depth bound, finite-size estimate, efficient angle selection, or concentration beyond expectation. The companion proves full support on [0,1)[0,1) of zero-temperature Parisi minimizers, a result H.-B. Chen had already posted (arXiv 2607.18032), as the companion acknowledges.

Recorded attempts

Evidence graph

Connected research record

The Basso-Farhi-Marwaha-Villalonga-Zhou conjecture: QAOA attains the Sherrington-Kirkpatrick ground-state energy as depth grows — Mathematical Frontier Network