Polynomial-bond-dimension PEPS approximation of gapped ground states on an open square grid
Theorem 1.1: for fixed , there are such that for every and every Hamiltonian on the open grid with on-site and nearest-neighbour terms of norm at most , a unique ground vector and global gap , some PEPS on the same grid with bond dimension at most satisfies . It does not treat the torus or translation-invariant formulation of the posed question, longer-range interactions, the structural (injective, gapped parent) PEPS conjecture of Schwarz-Buerschaper-Eisert, or efficient algorithms.
Exact FrontierDelta
Scope and record
Occurred: Sep 24, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: Polynomial-bond-dimension PEPS approximation of gapped ground states on an open square grid · Polynomial PEPS for gapped 2D ground states
Confidence: Not scored
Registry verification: unreviewed · announcement · variant
Attribution
VibeMathed
registry · event recorded by
Unreleased internal OpenAI model
model · ai model contributor · OpenAI
Lineage and corrections
Polynomial-bond-dimension PEPS approximation of gapped ground states on an open square grid evidence for this event
This event attributed to Unreleased internal OpenAI model
Polynomial-bond-dimension PEPS approximation of gapped ground states on an open square grid parent of this event
Cirac, Garre-Rubio, Perez-Garcia, Mathematical open problems in PEPS (2019) evidence for this event
VibeMathed record: Polynomial-bond-dimension PEPS approximation of gapped ground states on an open square grid evidence for this event
Companion: A two-dimensional area law from a global spectral gap evidence for this event
Theorem 1.1: for fixed , there are such that for every and every Hamiltonian on the open grid with on-site and nearest-neighbour terms of norm at most , a unique ground vector and global gap , some PEPS on the same grid with bond dimension at most satisfies . It does not treat the torus or translation-invariant formulation of the posed question, longer-range interactions, the structural (injective, gapped parent) PEPS conjecture of Schwarz-Buerschaper-Eisert, or efficient algorithms. parent of this event
Act on this frontier