Source authenticated

The entanglement area law for gapped ground states in two dimensions

Theorem 1.1: for fixed q,R,J,Δq,R,J,\Delta there is CC such that for every finite induced domain Λ⊂Z2\Lambda\subset\mathbb Z^2 and every Hamiltonian of range RR and term norm JJ with a unique ground vector Ω\Omega and H−E0≥Δ(1−∣Ω⟩⟨Ω∣)H-E_0\ge\Delta(1-|\Omega\rangle\langle\Omega|), every A⊆ΛA\subseteq\Lambda has SΩ(A)≤C∣∂ΛA∣S_\Omega(A)\le C|\partial_\Lambda A|. Corollary 1.2 gives the vertex-boundary forms. The companion proves that on open L×LL\times L grids with nearest-neighbour interactions the ground state has a PEPS approximation of bond dimension CLcCL^c and global error L−1L^{-1}. It does not treat dimensions three and higher, Renyi entropies, or degenerate ground states, and gives no explicit constant.

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: The entanglement area law for gapped ground states in two dimensions · 2D area law for gapped ground states

Confidence: Not scored

Registry verification: unreviewed · announcement · candidate

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

Hastings, An area law for one-dimensional quantum systems (2007) evidence for this event

Theorem 1.1: for fixed q,R,J,Δq,R,J,\Delta there is CC such that for every finite induced domain Λ⊂Z2\Lambda\subset\mathbb Z^2 and every Hamiltonian of range RR and term norm JJ with a unique ground vector Ω\Omega and H−E0≥Δ(1−∣Ω⟩⟨Ω∣)H-E_0\ge\Delta(1-|\Omega\rangle\langle\Omega|), every A⊆ΛA\subseteq\Lambda has SΩ(A)≤C∣∂ΛA∣S_\Omega(A)\le C|\partial_\Lambda A|. Corollary 1.2 gives the vertex-boundary forms. The companion proves that on open L×LL\times L grids with nearest-neighbour interactions the ground state has a PEPS approximation of bond dimension CLcCL^c and global error L−1L^{-1}. It does not treat dimensions three and higher, Renyi entropies, or degenerate ground states, and gives no explicit constant. parent of this event

VibeMathed record: The entanglement area law for gapped ground states in two dimensions evidence for this event

Companion: A two-dimensional area law from a global spectral gap evidence for this event

The entanglement area law for gapped ground states in two dimensions parent of this event

Act on this frontier

Verify, challenge, or extend the result.