Source authenticated

Polynomial-bond-dimension PEPS approximation of gapped ground states on an open square grid

Theorem 1.1: for fixed q≥2q\ge2, J,Δ>0J,\Delta>0 there are C,cC,c such that for every L≥2L\ge2 and every Hamiltonian on the open grid {1,…,L}2\{1,\dots,L\}^2 with on-site and nearest-neighbour terms of norm at most JJ, a unique ground vector Ω\Omega and global gap Δ\Delta, some PEPS Φ\Phi on the same grid with bond dimension at most CLcCL^c satisfies min⁡θ∥Φ/∥Φ∥−eiθΩ∥≤L−1\min_\theta\|\Phi/\|\Phi\|-e^{i\theta}\Omega\|\le L^{-1}. 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

Prior state unknown→proved

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

Open the source record ↗

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 q≥2q\ge2, J,Δ>0J,\Delta>0 there are C,cC,c such that for every L≥2L\ge2 and every Hamiltonian on the open grid {1,…,L}2\{1,\dots,L\}^2 with on-site and nearest-neighbour terms of norm at most JJ, a unique ground vector Ω\Omega and global gap Δ\Delta, some PEPS Φ\Phi on the same grid with bond dimension at most CLcCL^c satisfies min⁡θ∥Φ/∥Φ∥−eiθΩ∥≤L−1\min_\theta\|\Phi/\|\Phi\|-e^{i\theta}\Omega\|\le L^{-1}. 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

Verify, challenge, or extend the result.