A Finite-Lattice Model from a Reciprocal Cost Action: Spectral and Reflection-Positivity Properties

Abstract: We study the finite-lattice statistical-mechanical model whose nearest-neighbor bond potential is the reciprocal cost $J(e<sup>\varepsilon)=\cosh\varepsilon-1$, selected by the d'Alembert functional equation under the stated regularity and calibration assumptions. The structural inputs are stated explicitly; once they are fixed, the analysis is rigorous mathematics about the bond action $V(Δφ)=\cosh(Δφ)-1$ on finite boxes in $\mathbb Z^{3\times\mathbb} Z/8\mathbb Z$. Our main result pairs a negative and a positive statement about reflection positivity. For the continuous noncompact model the natural temporal kernel $K(u)=\exp[-(\cosh u-1)]$ fails the Bochner positive-definiteness test: an interval-certified quadrature gives $\widetilde K(3)&lt;0$. Thus the standard Bochner route to Osterwalder-Schrader reflection positivity is obstructed. For a finite-alphabet variant, with field values restricted to a finite symmetric set $Φ=v_0{-N,\ldots,N}$, reflection positivity holds whenever the finite crossing-bond Toeplitz matrix $(K_{Φ(v_0,N)})_{a,b}:=K(b-a), a,b\inΦ$, is positive semidefinite. For $v_0\in{1.2,1.5,2.5}$, this is discharged by a rigorous diagonal-dominance certificate uniform in $N$, and the associated one-step transfer operator is then positive and self-adjoint in an explicit reflection-positivity inner product. These finite-volume results do not provide a continuum Wightman theory, Osterwalder-Schrader reconstruction, LSZ scattering, or a continuum mass gap.

• The paper develops a rigorous finite-lattice model using a unique reciprocal cost action that derives its structure from the RS framework and yields a detailed spectral decomposition via the discrete Fourier transform.
• The paper demonstrates that the continuous noncompact model fails reflection positivity while a discrete-field variant attains positivity through finite Toeplitz matrix properties and operator norm estimates.
• The paper highlights practical and theoretical implications for constructive quantum field theory, outlining open problems on continuum limits and alternative scaling yielding non-Gaussian interactions.

Finite-Lattice Statistical Mechanics with a Reciprocal Cost Action: Reflection Positivity and Spectral Analysis

Model and Structural Foundations

The paper develops a rigorous analysis of a finite-lattice statistical-mechanical model featuring a nearest-neighbor bond potential of the form $V(\Delta\varphi) = \cosh(\Delta\varphi) - 1$, derived from the unique solution to the d'Alembert functional equation in the context of the Recognition Science (RS) framework. This cost structure, grounded in analytic symmetry and calibration axioms, precludes arbitrary parameter choices often encountered in phenomenologically motivated models.

The lattice is taken as $\mathbb{Z}^3 \times \mathbb{Z}/8\mathbb{Z}$, imposing spatial cubic periodicity and an eight-site cyclic clock in the temporal dimension. The model's foundational inputs—bond action, temporal period, and spatial dimension—are established by the RS framework, supplemented with explicit normalization and regularity constraints that ensure the uniqueness and continuity of the cost functional.

Spectral and Cyclic Shift Properties

The cyclic shift operator corresponding to the temporal period admits a complete spectral decomposition over the complex field via discrete Fourier transform (DFT), aligning with standard results for cyclic systems. For period $n>2$, no real basis yields a complete one-dimensional eigendecomposition due to the non-real roots of unity; the DFT provides the canonical diagonalization, yielding a unitary representation for lattice updates.

The cost action, given analytically by $J(e^\epsilon) = \cosh(\epsilon) - 1$, identifies the reciprocal cost directly with a nonlinear Euclidean action density. The power-series expansion elucidates that the quadratic term recovers the standard kinetic term of a scalar field, while quartic and higher order terms produce non-local, nonlinear gradient interactions.

Reflection Positivity: Dichotomy between Continuous and Discrete Models

Negative Result for the Continuous Model:

Reflection positivity for lattice models is a central criterion for a correspondence to quantum field theory via the Osterwalder-Schrader axioms. Here, for the continuous noncompact model with real-valued fields, the core issue reduces to the positive definiteness of the temporal kernel $K(u) = \exp[-(\cosh u - 1)]$. The Fourier transform of $K$, computable in closed form as $2e K_{i\sigma}(1)$ (with $K_{i\sigma}$ a modified Bessel function of imaginary order), attains negative values around $\sigma \approx 3$, as certified by interval arithmetic. This directly falsifies the Bochner positivity criterion: the standard route to Osterwalder-Schrader reflection positivity is obstructed, and no standard constructive QFT results follow for the continuum model.

Positive Result for a Discrete-Field Variant:

By contrast, imposing a discrete field restriction—where site values are constrained to a symmetric, finitely-spaced alphabet $\mathcal{A} = v_0 \{-N, ..., N\}$—alters the scenario fundamentally. Reflection positivity is now governed by the positive semidefiniteness of a finite Toeplitz matrix $\mathbb{Z}^3 \times \mathbb{Z}/8\mathbb{Z}$0, $\mathbb{Z}^3 \times \mathbb{Z}/8\mathbb{Z}$1, eliminating the need for full Bochner positivity over $\mathbb{Z}^3 \times \mathbb{Z}/8\mathbb{Z}$2. The authors provide non-numerical, uniformly-$\mathbb{Z}^3 \times \mathbb{Z}/8\mathbb{Z}$3 diagonal-dominance certificates for field spacings $\mathbb{Z}^3 \times \mathbb{Z}/8\mathbb{Z}$4, yielding operator norm lower bounds for the minimal eigenvalue of $\mathbb{Z}^3 \times \mathbb{Z}/8\mathbb{Z}$5, thus establishing strict positivity. These rigorous estimates verify reflection positivity for the finite-lattice, finite-alphabet model at these spacings, independent of matrix size.

The positive transfer matrix, constructed explicitly for the discrete-field case, is self-adjoint and positive with respect to an inner product induced by the spatial action. It admits a finite-volume transfer operator formalism, compatible with reflection-positivity-based constructive arguments, although no passage to thermodynamic or continuum limits is supplied.

Practical and Theoretical Implications

Numerical Results and Distinctions:

The certified negative value of the kernel’s Fourier transform, $\mathbb{Z}^3 \times \mathbb{Z}/8\mathbb{Z}$6, though quantitatively minor relative to the spectral peak near zero, constitutes an exact obstruction for the application of reflection-positivity methods in the continuous noncompact field setting. The scale and isolation of the negative band further explain why finite discrete sampling can recover positivity at coarse enough resolution, as the periodization of $\mathbb{Z}^3 \times \mathbb{Z}/8\mathbb{Z}$7 in the discrete case avoids sampling the negative region sufficiently at large $\mathbb{Z}^3 \times \mathbb{Z}/8\mathbb{Z}$8.

Open Directions and Continuum/Large Volume Limits:

The analysis is sharply delimited to finite-lattice, finite-alphabet statements. The established finite-volume OS reflection positivity does not extend to a continuum or thermodynamic-limit theory, and no continuum Wightman reconstruction or LSZ scattering result follows. The paper poses the key open problem of whether nonstandard lattice spacings or field rescalings could yield an interacting (non-Gaussian) continuum limit from the nonlinear gradient action, or whether the expected flow to the Gaussian free field under canonical scaling prevails.

From a constructive and rigorous field theory perspective, the results illustrate both the subtlety of reflection-positivity obstructions for non-polynomial actions and the efficacy of discretization in evading spectral pitfalls. However, the finite-alphabet model remains a regularized approximation whose continuum behavior is not presently resolved.

Algebraic and Foundational Aspects

Various ancillaries, including sector-measure extensions and precise algebraic properties of the cost functional (e.g., non-separability), are collected to delimit the mathematical and physical scope. Notably, it is demonstrated that the bilinear component of the joint-cost combiner cannot be reduced to an additive functional form, emphasizing the structural rigidity imposed by the functional equation derivation.

The Lean proof assistant is employed to formally verify algebraic steps, although analytic and probabilistic core results remain in traditional mathematical proof format.

Conclusion

The rigorous dichotomy established in this work—failure of reflection positivity for the noncompact continuous action contrasted with certified positivity at certain spacings in the finite-alphabet setting—provides a concrete example of how analytically fixed, nonlinear lattice actions can challenge and yet partially accommodate Euclidean field-theoretic reconstruction criteria. The work precisely isolates where standard construction programs fail and what discrete modifications are sufficient for recovery of key properties at the lattice level.

Key open problems include the existence (or obstruction) of a nontrivial continuum scaling, the possibility of alternative reflection-positive continuations for the continuous action, and the spectral theory of the transfer operator in the thermodynamic limit. These remain substantive challenges for future analysis in rigorous lattice statistical mechanics and constructive quantum field theory.