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.
Multiple-trace loop equations and positivity constraints
method · related method
The method combines multiple-trace loop equations with positive-semidefinite matrices of Wilson-loop observables to restrict admissible expectation values.
- Model
- 2D, 3D, 4D lattice; SU(3), with SU(2) comparisons; Pure gauge
- Geometry and regulator
- Euclidean lattice; Lattice. Boundary details: see the exact source conditions.
- Assumptions
- Specified observable basis, trace normalization and exact identities; each reflection condition retains its dimensional domain.
- Publication
published; source date 2025-12-05 (day). First submitted: 2025-02-20.
- What remains
- Bounds on short-loop observables do not establish a continuum mass gap. Exact inequalities and the numerical certification of optimization outputs must be distinguished.
- Twist positivity cannot be advertised as a general 3D/4D result. Numerical solver output is separate from certified inequalities; no hierarchy-convergence or continuum spectrum result checked.
- Proof-obligation relation
- This method or constraint does not establish a target proof obligation; its value is in organizing restricted lattice information.
- Author claim
- A scoped method 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 2 setup and strategy; Section 3.2.2, especially equation (43).
Finite-N SU(3) Wilson-loop bootstrap uses exact loop identities and ordinary positivity with numerical truncated applications in 2D/3D/4D. The extra twist-reflection argument is justified in two dimensions after the stated gauge fixing.
- Twist positivity cannot be advertised as a general 3D/4D result. Numerical solver output is separate from certified inequalities; no hierarchy-convergence or continuum spectrum result checked.
- 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: Abstract; Section 2 (setup and strategy); Section 3.2.2 (twist reflection positivity); Section 4 (loop equations).
Wilson-loop equations and positivity constrain SU(3) lattice observables with 2D, 3D, and 4D numerical applications. The additional twist-reflection positivity argument in section 3.2.2 is justified in 2D.
- Exact constraints, numerical solver certification, and convergence of an infinite hierarchy must be distinct claims. Short-loop bounds do not constitute a continuum spectrum or mass-gap theorem.
- No independent expert proof verification or computational reproduction is recorded.
The additional twist-reflection positivity argument is two-dimensional
theorem as stated · restricted model
Section 3.2.2 justifies the additional twist-reflection positivity condition in two dimensions.
- Model
- 2D lattice; SU(3) in the paper’s setting; Pure gauge
- Geometry and regulator
- Two-dimensional Euclidean lattice; Lattice. Boundary details: see the exact source conditions.
- Assumptions
- Two-dimensional geometry and reflection operation of section 3.2.2; no transfer to 3D or 4D is inferred.
- Publication
published; source date 2025-12-05 (day). First submitted: 2025-02-20.
- What remains
- Bounds on short-loop observables do not establish a continuum mass gap. Exact inequalities and the numerical certification of optimization outputs must be distinguished.
- Twist positivity cannot be advertised as a general 3D/4D result. Numerical solver output is separate from certified inequalities; no hierarchy-convergence or continuum spectrum result checked.
- Proof-obligation relation
- This method or constraint does not establish a target proof obligation; its value is in organizing restricted lattice information.
- 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 2 setup and strategy; Section 3.2.2, especially equation (43).
Finite-N SU(3) Wilson-loop bootstrap uses exact loop identities and ordinary positivity with numerical truncated applications in 2D/3D/4D. The extra twist-reflection argument is justified in two dimensions after the stated gauge fixing.
- Twist positivity cannot be advertised as a general 3D/4D result. Numerical solver output is separate from certified inequalities; no hierarchy-convergence or continuum spectrum result checked.
- 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 3.2.2 (two-dimensional twist reflection positivity).
Wilson-loop equations and positivity constrain SU(3) lattice observables with 2D, 3D, and 4D numerical applications. The additional twist-reflection positivity argument in section 3.2.2 is justified in 2D.
- Exact constraints, numerical solver certification, and convergence of an infinite hierarchy must be distinct claims. Short-loop bounds do not constitute a continuum spectrum or mass-gap theorem.
- No independent expert proof verification or computational reproduction is recorded.
Finite bootstrap computations constrain plaquette values
numerical evidence · numerical support
The paper reports numerical plaquette bounds from finite loop/positivity systems in two, three and four dimensions.
- Model
- 2D, 3D, 4D lattice; SU(3), with SU(2) comparisons; Pure gauge
- Geometry and regulator
- Euclidean lattice; Lattice. Boundary details: see the exact source conditions.
- Assumptions
- Finite truncation and solver implementation; a numerical optimum is distinct from an independently checked rigorous certificate.
- Publication
published; source date 2025-12-05 (day). First submitted: 2025-02-20.
- What remains
- Bounds on short-loop observables do not establish a continuum mass gap. Exact inequalities and the numerical certification of optimization outputs must be distinguished.
- Twist positivity cannot be advertised as a general 3D/4D result. Numerical solver output is separate from certified inequalities; no hierarchy-convergence or continuum spectrum result checked.
- Proof-obligation relation
- This method or constraint does not establish a target proof obligation; its value is in organizing restricted lattice information.
- Author claim
- A scoped numerical evidence 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 cross-review of exact numerical-results sections; separate from the earlier setup/positivity inspection.
Examined: Section 6.2 (2D SU(3) numerical results); Section 7.2, Figure 14 (3D SU(3)); Section 7.4, Figure 16 (4D SU(3)); Section 8, Figure 17 (summary).
The 2D/3D/4D SU(3) numerical-result claims are supported by their results sections and figures, rather than only by setup or twist-reflection passages.
- No solver output was reproduced or independently certified; no hierarchy convergence or continuum spectral theorem follows.
2026-10-24: scope checked
selected sections · Codex editorial source inspection; inherited and current actions remain distinct.
Examined: Section 2 setup and strategy; Section 3.2.2, especially equation (43).
Finite-N SU(3) Wilson-loop bootstrap uses exact loop identities and ordinary positivity with numerical truncated applications in 2D/3D/4D. The extra twist-reflection argument is justified in two dimensions after the stated gauge fixing.
- Twist positivity cannot be advertised as a general 3D/4D result. Numerical solver output is separate from certified inequalities; no hierarchy-convergence or continuum spectrum result checked.
- 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: Abstract; Section 2 (setup and strategy); Section 3.2.2 (twist reflection positivity); Section 4 (loop equations).
Wilson-loop equations and positivity constrain SU(3) lattice observables with 2D, 3D, and 4D numerical applications. The additional twist-reflection positivity argument in section 3.2.2 is justified in 2D.
- Exact constraints, numerical solver certification, and convergence of an infinite hierarchy must be distinct claims. Short-loop bounds do not constitute a continuum spectrum or mass-gap theorem.
- No independent expert proof verification or computational reproduction is recorded.
Editorial history
2026-10-24 · scope correction
Separated provenance and claim type for Multiple-trace loop equations and positivity constraints.
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-24 · scope correction
Separated provenance and claim type for The additional twist-reflection positivity argument is two-dimensional.
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-24 · scope correction
Separated provenance and claim type for Finite bootstrap computations constrain plaquette values.
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: Positivity bounds for SU(3) lattice Yang–Mills.
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 useful advance. Guo, Li, Yang, and Zhu extend lattice positivity bootstrap calculations to SU(3), incorporating multiple-trace operators. Their paper, arXiv:2502.14421v2, studies plaquette bounds in two, three, and four dimensions. The additional twist-reflection positivity condition is proved in two dimensions; it must not be imported as an exact four-dimensional constraint.
Suppose O1,…,Ok are gauge-invariant observables in a theory with a positive expectation functional. Form the matrix
Mij=⟨Oi†Oj⟩.
For any complex coefficients ci, the operator X=∑iciOi satisfies
c†Mc=⟨X†X⟩≥0.
This is the meaning of M⪰0, or “positive semidefinite.” It turns a basic physical consistency condition into a restriction on many expectation values at once. As a small example, use the identity and one normalized observable O. Positivity of their two-by-two matrix requires
⟨O†O⟩−∣⟨O⟩∣2≥0.
You recognize this as nonnegative variance. The bootstrap enlarges the collection of observables and combines analogous inequalities with equations expressing the dynamics.
There is a conceptual advantage: one need not guess the value of every observable in order to exclude an impossible candidate. A set of proposed expectations that violates positivity cannot belong to the theory under those assumptions.
Imagine keeping finitely many unknown expectations, including a target u. Exact equations restrict which combinations are possible, while positive matrices impose additional constraints. Minimize and maximize u over everything still allowed. If the true theory satisfies every imposed constraint, its value lies between those extrema.
This description exposes two different decisions. Omitting a valid constraint generally enlarges the allowed set and may weaken a bound. Adding a false constraint can exclude the actual theory and invalidate the result. That is why checking the dimension, reflection operation, and operator domain of each positivity statement matters.
A larger calculation is not automatically stronger in a mathematical sense. To compare two truncations cleanly, check that the later feasible set includes all the earlier constraints consistently. Changing the observable basis, normalization, or auxiliary assumptions can obscure the comparison.
The source’s §3 separates Hermitian, standard-reflection, and twist-reflection positivity; §4 develops the loop equations. The dimensional restriction is discussed again in §8. For numerical applications, compare §6 with §7 rather than transferring every two-dimensional ingredient to higher dimensions. These are precise reading locations, not a certification of every optimization output.
The underlying positivity conditions and their floating-point implementation also require different checks. A solver’s apparent optimum is useful evidence. A formally certified bound needs an appropriate certificate and control of numerical residuals, rounding, and feasibility. This dossier does not independently supply those certificates.
The plaquette is the smallest lattice loop. Its expectation probes local gauge-field fluctuations. A narrow interval for this observable can test algorithms and approximate descriptions. A physical mass gap asks about the energy of every nonvacuum physical excitation, or appropriately comprehensive long-distance spectral information.
These questions have different quantifiers. Information about a fixed finite collection of short loops does not, by itself, determine all correlations at arbitrarily large separation. Even exact knowledge of one observable can leave many possible long-distance behaviors.
The continuum limit introduces another demand: estimates must remain useful while the lattice spacing tends to zero along an appropriate scaling trajectory. A successful computation at one bare coupling does not establish that uniform control.
For a proposed advance, ask: Which additional observable or certified constraint connects the present feasible set to long-distance physics? Possible research directions include increasing the separation of operators, establishing convergence of a hierarchy, or finding certificates that survive regulator removal. Each would address a specific missing step rather than merely producing a tighter local number.
Try deriving the two-by-two variance inequality above before reading the paper. Then deliberately remove one constraint in a small optimization example: the allowed interval should broaden or stay unchanged.
Continue with reflection positivity, direct and indirect loop equations, and the proof-obligation map. Reading scope and proof verification remain separate; use the assessment history above.