The transfer matrix and physical time
Prerequisites: the lattice definition, semigroups and reflection positivity.
You will learn to convert transfer eigenvalues into energies with correct units, identify the physical gauge-invariant sector, and distinguish time evolution from Monte Carlo updates.
One step through spacetime
Section titled “One step through spacetime”A Euclidean lattice can be sliced into spatial configurations. Integrating over the fields between adjacent slices suggests an operator that advances by a time spacing . Repeating the step gives , and inserting observables on slices produces correlation functions separated by .
In the pure Wilson-action setting, this construction must account for the gauge transformations on each spatial slice. The physical space consists of gauge-invariant states; temporal-link integration implements the corresponding constraints. A transfer operator on an unconstrained space and a physical transfer operator are not interchangeable.
The Wilson convention used here is
for isotropic spacing, with each plaquette counted once. If temporal and spatial spacings differ, the couplings for their plaquettes must be specified separately. We do not take a Hamiltonian anisotropic limit by silently replacing with the spatial spacing.
Positivity has an operator meaning
Section titled “Positivity has an operator meaning”For self-adjoint and positive, normalize its largest vacuum eigenvalue to one. On a suitable subspace where the logarithm is defined,
An eigenvalue then corresponds to
The logarithm is defined by spectral calculus, not by taking logarithms of matrix entries. Zero spectral values require attention to its domain; “positive semidefinite” and “strictly positive with a bounded inverse” are different conditions.
A kernel with positive entries need not be a positive operator. The matrix
has positive entries but eigenvalues three and minus one. An ordinary positive Boltzmann weight is therefore not an adequate substitute for a transfer-positivity argument. Reflection positivity supplies the underlying kind of structure.
Worked conversion: hold the physical mass fixed
Section titled “Worked conversion: hold the physical mass fixed”Take the exact two-state model
At , the excited transfer eigenvalue is ; at , it is . Both give energy . The eigenvalue approaches the vacuum eigenvalue as the lattice is refined, although the physical gap remains fixed.
A claim that a transfer-eigenvalue separation must remain a fixed positive number as would exclude this elementary massive scaling example. The dimensionless energy is , not itself.
Monte Carlo time can change without changing the theory
Section titled “Monte Carlo time can change without changing the theory”For a two-state uniform probability measure, consider a reversible sampling matrix
Its stationary distribution is always , while its nonconstant eigenvalue is . The relaxation rate depends on . Altering the algorithm changes the rate without changing the equilibrium measure.
This exact toy calculation shows why a sampling gap needs a separate argument before it becomes a statement about physical energies. The auxiliary dynamics in the lattice area-law dossier are used to derive a specified static estimate; they are not simply identified with the physical Hamiltonian.
Exercise: do the units survive a refinement?
Section titled “Exercise: do the units survive a refinement?”A transfer eigenvalue ratio is at time spacing in chosen length units. What energy does it give? If that same ratio is retained while is halved, has the physical energy stayed fixed?
Solution. The first energy is in inverse-length units. Keeping the ratio fixed at gives six. To retain energy three, the ratio must instead become . “Same dimensionless eigenvalue” is not “same physics.”
Source trail and next step
Section titled “Source trail and next step”Creutz, Physical Review D 15, 1128 (1977) treats gauge fixing and the lattice transfer matrix. Kogut–Susskind, Physical Review D 11, 395 (1975) develops the Hamiltonian formulation. For the explicit transfer-positivity assumptions used in spectral extraction, see Blossier et al., arXiv:0902.1265v2, §2.1.
The calculations here are conditional operator identities and exact toy examples, not a reconstruction proof for the continuum target. Continue to spectral extraction or continuum scaling.