Mathematical Physics |
Authors: Lluis Eriksson
Four companion papers studied an OPERATOR: a strictly positive kernel on thespatial configuration space of a Z_2 slice, its Perron vacuum, and the strictseparation of its spectrum. None of them exhibited a MEASURE. That omission isthe kind this programme is built to notice: a transfer operator is a matrixuntil something says which Boltzmann weights it transfers, and until then avacuum is an eigenvector and a gap is a statement about eigenvalues. Neither isyet a statement about a statistical-mechanical system.PROVED. We define the two-dimensional Gibbs weight of the spatial system fromBoltzmann factors alone - a spatial factor at every time slice, a time-bondfactor between consecutive slices - and prove the DRESSING IDENTITY: that weightequals the path weight of the SYMMETRISED kernel multiplied by a factorsupported entirely on the two boundary slices. Hence every UNNORMALISED Gibbstwo-point sum of the spatial system is a matrix element of an iteratedSELF-ADJOINT transfer operator between boundary-dressed observables, and theNORMALISED expectation is the RATIO of two such matrix elements - the numeratoralone is not the correlation. The generic half holds for an arbitrary symmetrickernel on an arbitrary finite type; no positivity and no structure of theconfiguration space enter it. We further show that the operator the bridge landson is the one the companion papers analysed, that the fluctuation sector isinvariant, and that under an explicit contraction hypothesis the connectedtwo-point function decays geometrically in the time separation.NOT PROVED, AND THIS IS THE POINT OF THE LAST SECTION. The contractionhypothesis is carried as a theorem hypothesis and is NOT discharged. Thecompanion papers prove a STRICT gap with no modulus, and a strict inequalityamong finitely many eigenvalues does not by itself produce the operator-normbound a decay rate requires. Converting one into the other needs the spectralmaximum over the fluctuation sector, which is not constructed here. Inparticular NOTHING UNIFORM IN THE SPATIAL EXTENT is obtained, and none issuggested: with r = r(L) approaching 1, the bound is empty in the limit.Reflection positivity is not addressed. Nothing in this paper is a claim aboutSU(N), the continuum limit, or the Yang-Mills mass gap.
Comments: 6 pages. Lean 4/mathlib; core build 8429 jobs, 2626 oracle commands, axioms exactly {propext, Quot.sound, Classical.choice}, zero sorry, zero project axioms. Links anchored at commit c4fa6a9e. Key identities also verified numerically.
Download: PDF
[v1] 2026-07-29 14:35:16
Unique-IP document downloads: 10 times
ai.Vixra.org is a AI assisted e-print repository rather than a journal. Articles hosted may not yet have been verified by peer-review and should be treated as preliminary. In particular, anything that appears to include financial or legal advice or proposed medical treatments should be treated with due caution. ai.Vixra.org will not be responsible for any consequences of actions that result from any form of use of any documents on this website.
Add your own feedback and questions here:
You are equally welcome to be positive or negative about any paper but please be polite. If you are being critical you must mention at least one specific error, otherwise your comment will be deleted as unhelpful.