1 · The essentials
These manuscripts study quantum systems arranged on a square grid, with interactions restricted to nearby sites. They focus on systems with a single lowest-energy state and a fixed minimum energy separation between that state and higher-energy states. The main manuscript shows that the quantum entanglement between any chosen group of sites and the rest is limited by the number of grid edges crossing its boundary. The bound does not grow with the size or complexity of the surrounding domain when the stated physical bounds are held fixed. A companion manuscript shows that, on open square grids with interactions only between immediate neighbors, the lowest-energy state has an accurate representation using connected local pieces. The size of the connections needed in that representation grows at most polynomially with the grid's side length. This second result establishes existence rather than a procedure for finding the representation. The main result is not formalized in Lean and has not been formally verified.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine a neighborhood whose connections to the surrounding city run only along streets crossing its border: the bound counts those crossings rather than the houses inside. Here the quantity being limited is quantum entanglement, not traffic, and the conclusion requires the manuscripts' assumptions about the system.
Why it matters
The main result shown in the manuscript connects an energy-separation assumption for the whole system to an entanglement bound for every set of sites. It applies to arbitrary finite induced square-lattice domains, not just squares. The companion result gives a controlled tensor-network approximation on squares, while making no claim to provide an algorithm for constructing it.
2 · Going further
The main manuscript considers a finite-range Hamiltonian on any finite induced subgraph of the square lattice, with a unique ground state. It assumes a lower bound on the spectral gap of the full Hamiltonian, together with fixed bounds on local dimension, interaction range, and interaction strength. For every set of sites , the result shown in the manuscript has the form , where is its entanglement entropy and counts lattice edges crossing from to its complement within the domain. The constant is independent of the domain's size and shape under those fixed bounds.
The central connection stated in the abstract is from a full-system spectral gap to an entropy area law. Only the gap of the full Hamiltonian is assumed; the abstract does not list additional gap assumptions for smaller regions. However, neither abstract describes the intermediate argument or its techniques, so no more detailed account of the mechanism is supported by the supplied text. The source also gives no historical account of earlier results.
The companion manuscript treats the unique ground state of a uniformly gapped nearest-neighbor Hamiltonian on an open square lattice. It shows in the manuscript that a projected entangled-pair state (PEPS) approximation exists with bond dimension polynomial in and global vector error at most after normalization. Its constants are uniform over Hamiltonians with fixed local dimension, interaction strength, and gap. This complements the entropy bound with an approximation statement, but the supplied abstracts do not explain a derivation of one result from the other.
Useful notions
- Square lattices and boundary edges
- Hamiltonians and ground states
- Spectral gaps
- Entanglement entropy
- Tensor networks and bond dimension
What was known before / what is new
Before
The source does not describe earlier theorems, historical milestones, or a previously established approximation bound. It frames both manuscripts around the relationship between a full-system energy gap, ground-state entanglement, and tensor-network representations.
New
The main manuscript shows an entropy area law for every set of sites in an arbitrary finite induced square-lattice domain under the stated gap and local-interaction bounds. The companion manuscript shows the existence of polynomial-bond-dimension PEPS approximations on open square grids, with normalized global vector error at most . Both statements use only a gap assumption for the full Hamiltonian.
Limits and assumptions
Both results require a unique ground state and a uniform lower bound on the full-system spectral gap. The area-law statement additionally fixes bounds on local dimension, interaction range, and interaction strength; it concerns finite induced square-lattice domains. The PEPS statement is restricted to open L-by-L squares with nearest-neighbor interactions and fixed local dimension, interaction strength, and gap. It is an existence result, not a supplied construction algorithm. The main result is not formalized in Lean and has not been formally verified. The source does not identify specific remaining open problems or describe the argument techniques.
Mini glossary
- Ground state —
- A ground state is a lowest-energy state of the system's Hamiltonian.
- Spectral gap —
- The spectral gap here is the energy separation between the unique ground state and higher-energy states.
- Entanglement entropy —
- Entanglement entropy measures the entanglement between a chosen set of sites and the rest of the system in the ground state.
- Area law —
- An area law here bounds a set's entanglement entropy by a constant times the number of lattice edges crossing its boundary.
- Projected entangled-pair state (PEPS) —
- A PEPS is a tensor-network representation of a state using connected local pieces on the lattice.
- Bond dimension —
- Bond dimension specifies the size of the internal connections in a tensor-network representation.
Keywords : Area law · Spectral gap · PEPS
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Proves an entropy area law for unique ground states of finite-range Hamiltonians on arbitrary finite induced square-lattice domains, using only a uniform full-system spectral gap and bounds on the local interactions. On open squares, uniformly gapped nearest-neighbor ground states also admit projected entangled-pair state approximations with polynomial bond dimension and global vector error at most L−1.
To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.
Manuscripts in this family
A two-dimensional area law from a global spectral gap
24/09/2026We prove an entropy area law for the unique ground state of a finite-range Hamiltonian on any finite induced subgraph of the square lattice. A lower bound on the spectral gap of the full Hamiltonian and fixed bounds on the local dimension, interaction range, and interaction strength suffice. For every set of sites, its entanglement entropy is bounded by a constant times the number of edges crossing its boundary, independently of the size and shape of the domain.
Polynomial PEPS approximation of gapped square-grid ground states
24/09/2026We prove that the unique ground state of a uniformly gapped nearest-neighbor Hamiltonian on an square lattice admits a projected entangled-pair state approximation with bond dimension polynomial in L and global vector error at most L−1 after normalization. Only the gap of the full Hamiltonian is assumed. The result is an existence theorem, with constants uniform over Hamiltonians of fixed local dimension, interaction strength, and gap.