A dynamical route to the lattice area law

Exact source · explicit scope

The records below distinguish what the authors state, what this site examined, and what remains unestablished. Reading a source does not certify its proof.

Volume-uniform lattice area law at strong coupling

theorem as stated · restricted model

Theorem 1.6 gives rectangular Wilson-loop area-law bounds in the stated small-beta lattice regime with constants independent of lattice volume.

Model: Lattice d ≥ 2; Theorem 1.6 lists U(N), SU(N), SO(2(N−1)), N ≥ 2. A nonempty positive-beta SO(M) regime requires even M ≥ 4.; Pure gauge
Geometry and regulator: Finite periodic lattice boxes; rectangular loops subject to size bounds; Lattice. Periodic box; rectangular side lengths at most L/2.
Normalization: Equation (1.2) uses exp(N beta sum_p ReTr Q_p), where N is matrix size. For SO(M), that coefficient is M beta. beta* = 1/[8(d−1)] for U/SU, and 1/[16(d−1)] − 1/[8M(d−1)] for SO(M), with beta < beta*.
Assumptions: Definition 1.4 coupling restriction and Theorem 1.6 group/loop/box conditions; normalization in Remark 1.5.
Exact source: Section 1, action (1.2), Definition 1.4, Remark 1.5, Theorem 1.6 and Remark 1.7
arXiv:2509.04688v2, revised 2025-09-28
Section 2, slab criterion and dependency discussion
arXiv:2509.04688v2, revised 2025-09-28
Printed page 2 visually inspected in local Poppler rendering
arXiv:2509.04688v2, revised 2025-09-28
Publication: preprint; source date 2025-09-28 (day). First submitted: 2025-09-04.
What remains: The lattice regulator remains. The auxiliary dynamical estimates are not by themselves a continuum physical Hamiltonian gap.
Definition 1.4 gives beta*=1/[8(d-1)] for U/SU and beta*=1/[16(d-1)]-1/[8M(d-1)] for SO(M); beta<beta* and the stated group-parameter restrictions matter. Odd SO is excluded. Finite-regulator result; stochastic estimates are not a physical continuum gap.
Limits and uniformity: lattice box size L: Increase volume in the fixed-regulator regime. Fixed: beta; d; N. Constants C,c in C exp(−c area) depend on beta,d,N but not L. No cutoff-removal limit is established.
Proof-obligation relation: volume — ingredient: Volume-uniform lattice area law at strong coupling: The lattice regulator remains. The auxiliary dynamical estimates are not by themselves a continuum physical Hamiltonian gap.
Author claim: A scoped theorem as stated in the model above; no full four-dimensional solution is asserted by this record.
Technical assessment: selected sections; latest recorded action scope checked on 2026-10-24. No independent proof verification is recorded.
Community acceptance: No consensus assessment is inferred from publication or this site’s reading. External assessments, if documented, are separate records.
Clay recognition: These are partial-result records, not prize-recognition claims. See the separately sourced problem status.

Assessment history and unresolved checks

2026-10-24: scope checked

selected sections · Codex editorial source inspection; inherited and current actions remain distinct.

Examined: Section 1, action (1.2), Definition 1.4, Remark 1.5, Theorem 1.6 and Remark 1.7; Section 2, slab criterion and dependency discussion; Printed page 2 visually inspected in local Poppler rendering.

Finite periodic d-dimensional lattice, d>=2, pure gauge action N beta sum ReTr Qp. Theorem 1.6 bounds rectangular loops with sides at most L/2 by C exp(-c area), C,c depending on beta,d,N but independent of L, in the small-beta regime for U(N), SU(N), and even orthogonal groups.

Definition 1.4 gives beta*=1/[8(d-1)] for U/SU and beta*=1/[16(d-1)]-1/[8M(d-1)] for SO(M); beta<beta* and the stated group-parameter restrictions matter. Odd SO is excluded. Finite-regulator result; stochastic estimates are not a physical continuum gap.
No independent proof certification or numerical simulation reproduction.

2026-10-23: scope checked

selected sections · Inherited webmaster-kit planning inspection; not a new reading on import.

Examined: Section 1, especially Theorem 1.6 and definitions preceding it; Section 2, slab criterion; Section 3, Proposition 3.2 and semigroup estimates.

Theorem 1.6 gives rectangular Wilson-loop area-law bounds with volume-independent constants in the stated small-beta 't Hooft-normalized lattice regime, for the specified unitary, special unitary, and even orthogonal groups. Section 3 develops conditional sigma-model estimates.

Retain the exact beta thresholds in Definition 1.4, normalization discussion in Remark 1.5, and group restrictions in Theorem 1.6 when implementing a technical record. Auxiliary stochastic estimates and a fixed-regulator area law do not themselves prove a four-dimensional physical continuum gap.
No independent expert proof verification or computational reproduction is recorded.

Editorial history

2026-10-24 · scope correction

Separated provenance and claim type for Volume-uniform lattice area law at strong coupling.

Replace the inherited undifferentiated “source scope checked” badge with the actual recorded read depth and explicit limitations. Midnight UTC is a date-only editorial convention, not a source publication time.

Previous statement: “Source scope checked, 22 October 2026 (inherited undifferentiated label).”

2026-10-22 · new result

Inherited dossier: A dynamical route to the lattice area law.

Original editorial snapshot, retained during migration. This is not the date the source result first appeared.

Download public records (JSON) · Source versions (BibTeX) · Compare in the atlas

The precise advance

Dynamical approach to area law for lattice Yang–Mills, Theorem 1.6, gives an area-law bound for rectangular loops in the specified unitary, special-unitary, and even-orthogonal cases. The constants are uniform in lattice size, with the stated restrictions on loop dimensions.

For $SU(N)$ and $U(N)$ , Definition 1.4 gives the threshold $\beta<1/[8(d-1)]$ in the paper’s normalization

d\mu \propto \exp\!\left(N\beta\sum_p\operatorname{ReTr} U_p\right)dU.

The proof verifies a correlation condition for conditional slab models and applies an area-law criterion. Sections 2–3 explain this structure. The regime is a strong-coupling region; the statement does not remove the lattice cutoff.

Why an area estimate is stronger than a perimeter estimate

Consider rectangles with side lengths $R$ and $T$ . Their perimeter grows as $R+T$ , while their area grows as $RT$ . If both sides become large, suppressing an expectation by the area demands substantially stronger control.

For example, compare two schematic bounds:

|W(R,T)|\leq e^{-\alpha(R+T)}, \qquad |W(R,T)|\leq e^{-\sigma RT}.

At fixed $R$ and large $T$ , the second permits a static-source energy growing with $R$ . The first does not by itself show that growth. This simple comparison explains why a new area-law theorem can be important even when other decay estimates are already available.

A rectangle that wraps around a periodic box also changes the geometry of the question. Restrictions relating loop size to box size are part of a statement’s content, not technical decoration to remove from a summary.

The role of an auxiliary dynamics

An equilibrium measure can be studied by constructing a Markov process that preserves it. Think of a sampling algorithm that repeatedly updates variables. Rapid mixing of this process concerns relaxation in an auxiliary time.

The physical Hamiltonian, by contrast, generates physical time translations in a reconstructed quantum theory. The two generators live in different constructions. One cannot identify their gaps merely because both are called spectral gaps.

The useful route is through a proved implication. An auxiliary-process estimate can help control covariances of the equilibrium measure; a further argument can connect those covariances to a Wilson-loop inequality. The intermediate steps do the scientific work.

This distinction is already visible in a finite-dimensional example. Many different Markov algorithms preserve the same probability distribution. Their relaxation rates can differ, even though the distribution is unchanged. An algorithm’s rate therefore cannot automatically be an intrinsic particle mass.

What volume uniformity gives

A bound such as

|\langle W_\ell\rangle_L| \leq C e^{-c\,\operatorname{Area}(\ell)}

is useful for increasing boxes when $C,c$ do not deteriorate with $L$ . Without that control, a convincing result at each finite volume could become empty as the box grows.

But a continuum limit changes more than the number of lattice sites. The spacing and bare coupling must also be related to a physical scale. Constants uniform in lattice volume at fixed coupling need not be suitable along that scaling trajectory.

This is why the record contributes to infrared control at a regulator, without completing the continuum construction or physical mass-gap obligations.

How to read and use this result

Begin with the measure normalization and Definition 1.4. Then read Theorem 1.6 before following the slab decomposition. In Section 2 identify the assumed correlation statement; in Section 3 identify how the dynamical estimates supply it.

A useful exercise is to translate the coupling convention into the Wilson-action convention used in another paper. Do not compare numerical thresholds until the trace normalization and coefficient of each plaquette agree.

For a first encounter, read a rigorous result and uniform estimates. For the neighboring approach, compare Chatterjee’s criterion, whose precise hypotheses differ.

Continue: Proof map · Research atlas