The Wilson term and other doubling remedies [fdip-009T]
✍️sourceAGENTDRAFTED
- November 1, 2026
The Wilson term and other doubling remedies [fdip-009T]
✍️sourceAGENTDRAFTED
- November 1, 2026
Can the extra zero branches of the centered Dirac operator be lifted without abandoning a local lattice difference? The covariant operator supplies a skew-adjoint first difference. A second difference supplies the Wilson term. For a positive Wilson coefficient and trivial connection, its nonnegative scalar Fourier symbol vanishes only at zero momentum. Adding it to the skew Dirac symbol therefore leaves precisely the constant zero modes.
The factor of lattice spacing and the adjoint convention are part of this statement. Replacing the skew operator by its Hermitian multiple changes the kernel calculation and can create extra zeros. The calculation below uses the already specified reducible Clifford module and internal fiber; it does not identify one surviving momentum block with a minimal physical spinor.
The Wilson term also changes the anticommutation relation with chirality in even dimension. Staggered fields, cochain constructions and the Ginsparg–Wilson relation address different parts of that tradeoff. Their comparison here states the carriers and boundaries of the constructions. The Dirac–Kähler kernels are the comparison in Dirac–Kähler operators.
Definition 1. The covariant Wilson operator with lattice spacing [fdip-009U]AGENTDRAFTED
- November 1, 2026
Definition 1. The covariant Wilson operator with lattice spacing [fdip-009U]AGENTDRAFTED
- November 1, 2026
Use the field space and unitary shifts \(\mathcal H=\ell ^2(\Lambda )\otimes S\otimes F\) and \(T_j^U\), with \(\dim _{\mathbb C}S=2^d\) and \(q=\dim _{\mathbb C}F>0\). A lattice spacing \(a>0\) rescales the differences, while \(x\in \Lambda \) remains an integer site label. Define \[\begin {aligned} D_{a,U}&=a^{-1}D_U,\\ L_{a,U}&=a^{-2}\sum _{j=1}^d \bigl (2I-T_j^U-(T_j^U)^{-1}\bigr ). \end {aligned}\] For \(r\in \mathbb R\setminus \{0\}\), the massless Wilson operator in the skew Dirac convention is \[D_{W,a,U}=D_{a,U}+\frac {ra}{2}L_{a,U}.\] The usual positive Wilson coefficient is \(r>0\). For \(a=1\) this is \(D_U+(r/2)L_{1,U}\). The Laplacian is the nearest-neighbor second difference, not the negative square of the centered first difference.
Each \(T_j^U\) is unitary, so \[2I-T_j^U-(T_j^U)^{-1} =(I-T_j^U)^*(I-T_j^U).\] Consequently \(L_{a,U}\) is self-adjoint and nonnegative, whereas \(D_{a,U}\) is skew-adjoint. For the internal gauge transformation \(\mathcal G\) of that proposition, conjugating every shift and its inverse gives \[\begin {aligned} L_{a,U^g}&=\mathcal G L_{a,U}\mathcal G^{-1},\\ D_{W,a,U^g}&=\mathcal G D_{W,a,U}\mathcal G^{-1}. \end {aligned}\] This defines a covariant operator for all the supplied unitary connections. The Fourier kernel theorem below assumes the trivial connection.
For \(r=1\), this is the second-derivative addition in [wingate2025lattice, Section 9.3, Equation (9.15), p. 21]: \(L_a=-\sum _j\nabla _j^+\nabla _j^-\) in the free difference notation. The coefficient \(ra/2\), rather than \(r/2\), is required when \(L_a\) contains \(a^{-2}\). A paired Grassmann quadratic form may use this finite matrix as its kernel, as in Theorem [fdip-008H]. Gauge covariance and the Wilson coefficient alone supply neither a positive probability density nor a fermionic reflection-positive transfer construction.
Theorem 2. Only the zero-momentum block survives the free Wilson term [fdip-009V]AGENTDRAFTED
- November 1, 2026
Theorem 2. Only the zero-momentum block survives the free Wilson term [fdip-009V]AGENTDRAFTED
- November 1, 2026
Take the Wilson operator at trivial links, with \(a>0\) and real \(r\ne 0\), on the periodic grid with \(N_j\ge 3\). Its kernel consists exactly of constant fields. In particular, \[\dim _{\mathbb C}\ker D_{W,a,1}=2^d q.\] For the continuous momentum symbol, a corner having \(k\) coordinates equal to \(\pi \) receives scalar Wilson term \(2rk/a\); it is nonzero for \(k\ge 1\).
Proof.
- November 1, 2026
Proof.
- November 1, 2026
The finite Fourier decomposition has momenta \(p_j=2\pi n_j/N_j\), with \(0\le n_j<N_j\). These are dimensionless lattice momenta; their physical representatives are \(p_j/a\). Put \[\begin {aligned} A_a(p)&=\frac {i}{a}\sum _j\Gamma _j\sin p_j,\\ M_a(p)&=\frac {r}{a}\sum _j(1-\cos p_j). \end {aligned}\] The Wilson block is \(A_a(p)+M_a(p)I\). Hermitian gamma matrices and their anticommutation relations give \[\begin {aligned} A_a(p)^*&=-A_a(p),\\ A_a(p)^2&=-a^{-2}\sum _j\sin ^2p_j\,I. \end {aligned}\] Since \(M_a(p)\) is real and scalar, the mixed terms cancel: \[\begin {aligned} &(A_a+M_aI)^*(A_a+M_aI)\\ &\qquad =\left (a^{-2}\sum _j\sin ^2p_j+M_a^2\right )I. \end {aligned}\] Thus a block has a nonzero kernel precisely when both \(\sum _j\sin ^2p_j=0\) and \(M_a(p)=0\). Because \(r\ne 0\) and each \(1-\cos p_j\ge 0\), the latter condition already forces every \(\cos p_j=1\). In the chosen momentum range this means \(p=0\). Conversely the entire block at \(p=0\) is zero. Its dimension is \(\dim (S\otimes F)=2^d q\), and the zero Fourier character is the constant field.
The same formula is defined for every real momentum modulo \(2\pi \). At \(p=\pi \epsilon \), with \(\epsilon \in \{0,1\}^d\), the sine part vanishes and \[M_a(\pi \epsilon )=\frac {2r}{a}\sum _j\epsilon _j.\] This proves the corner claim, whether or not a particular finite grid samples that corner exactly.
For \(q=1\), periods \((4,4)\) and \((4,6)\) both give kernel dimension \(4\); periods \((4,4,4)\) give 8. The same formula applies to odd periods: zero momentum is always present and every other block is invertible.
The scalar addition is the free Wilson denominator mechanism in [wingate2025lattice, Section 9.3, Equations (9.15)–(9.16), p. 21]. For \(r>0\), its value at each nonzero corner grows as \(1/a\). This is an exact free-symbol statement, not a continuum-limit construction or an interacting mass calculation. The cancellation above uses the scalar free block and proves no corresponding kernel formula for a general connection. The surviving block still contains the whole chosen reducible \(S\otimes F\).
Example 3. The Hermitian convention can retain extra Wilson zeros [fdip-009W]AGENTDRAFTED
- November 1, 2026
Example 3. The Hermitian convention can retain extra Wilson zeros [fdip-009W]AGENTDRAFTED
- November 1, 2026
Set \(d=1\), \(N=4\), \(a=r=1\), trivial links and \(F=\mathbb C\). The chosen spin space is \(S=\mathbb C^2\), with gamma matrix \[X=\begin {pmatrix}0&1\\1&0\end {pmatrix}.\] The free skew Dirac block is \(D_1(p)=iX\sin p\). Replacing it by the Hermitian operator \(iD_1\) and then adding the same Wilson term gives the block \[H_W(p)=-X\sin p+(1-\cos p)I.\] This is a different operator from Theorem 2.
The normalized vectors \((1,1)/\sqrt 2\) and \((1,-1)/\sqrt 2\) are \(X\)-eigenvectors of eigenvalues \(+1\) and \(-1\). Thus the two eigenvalues of \(H_W(p)\) are \(1-\cos p\mp \sin p\). On the 4 allowed momenta: \[\begin {array}{c|cc|c} p&X=+1&X=-1&\dim \ker H_W(p)\\\hline 0&0&0&2\\ \pi /2&0&2&1\\ \pi &2&2&0\\ 3\pi /2&2&0&1 \end {array}\] The total kernel dimension is 4. The skew Wilson operator \(D_1+L_1/2\) instead has kernel dimension two, consisting of constant fields. Tensoring this example with an internal space of dimension \(q\) multiplies both counts by \(q\).
The difference is elementary: a real scalar can cancel a real eigenvalue of the Hermitian first difference. For the skew first difference the squared norm is a sum of nonnegative squares, as in the preceding proof. Adjoint conventions therefore cannot be changed silently in a claim that the Wilson term removes all nonzero-momentum zeros.
Remark 4. Chirality and the scope of other doubling remedies [fdip-009X]AGENTDRAFTED
- November 1, 2026
Remark 4. Chirality and the scope of other doubling remedies [fdip-009X]AGENTDRAFTED
- November 1, 2026
In even dimension \(d=2m\), the specified Hermitian gamma matrices define a chirality operator on \(S\otimes F\) by \[C=i^m\Gamma _1\cdots \Gamma _{2m}.\] Write \(P=\Gamma _1\cdots \Gamma _{2m}\). Reversing the order uses \(m(2m-1)\) interchanges, hence \(P^*=(-1)^mP\) and \(P^2=(-1)^mI\). It follows that \(C^*=C\) and \(C^2=I\). Moving one gamma matrix across the other \(2m-1\) factors gives \(C\Gamma _j=-\Gamma _j C\). Since the links act only on \(F\), \(C\) commutes with each shift and with \(L_{a,U}\). Therefore \[\begin {aligned} CD_{a,U}+D_{a,U}C&=0,\\ CD_{W,a,U}+D_{W,a,U}C&=ra\,C L_{a,U}. \end {aligned}\] The second expression is generally nonzero: already at trivial links the nearest-neighbor Laplacian is nonzero on a nonconstant Fourier mode. Thus the Wilson term changes this exact finite anticommutation relation, the algebraic chiral cost discussed in [wingate2025lattice, Section 9.3, p. 21].
Other approaches change different data. The following are source comparisons, not additional equivalence theorems for these finite operators.
- Staggered fields. Spin diagonalization uses a site-dependent product of gamma matrices and then a one-component field with alternating difference signs [wingate2025lattice, Section 9.4, Equations (9.19)–(9.25), pp. 22–23]. The conventional four-dimensional count is 4 tastes relative to minimal four-component Dirac spinors. It is not the number of exact zero modes on a finite grid. In dimension \(4\) the present \(S\) has 16 complex components; no taste identification for that reducible carrier is asserted. On a periodic torus the site-parity transformation also requires compatible even periods or correspondingly changed boundary conditions. No global spin diagonalization on arbitrary odd periods, rooting assertion or continuum equivalence is proved here.
- Dirac–Kähler fields. A geometric route places components on cells of different degrees. Becher and Joos map forms to cochains by integration over cells and use the boundary and coboundary correspondences to write a lattice equation [becher1982dirac, Section 3.1, Equations (3.1)–(3.4), pp. 352–353]. This is taken up in Dirac–Kähler operators. A dimension count does not identify that construction with the present spinor/internal operator, and no such identification or optional cochain construction is made here.
- Ginsparg–Wilson operators. The modified relation \[C\mathcal D+\mathcal D C=a\mathcal D C\mathcal D\] replaces exact anticommutation [wingate2025lattice, Section 9.6, Equation (9.27), p. 24]. If \(\mathcal D\) is invertible, multiplication on both sides by its inverse gives \[C\mathcal D^{-1}+\mathcal D^{-1}C=aC,\] matching the source's contact-term identity (9.28). Neither relation constructs an overlap operator here or follows from the Wilson kernel theorem.
These finite statements do not derive a positive fermion transfer operator or an interacting continuum theory. The reflection-positive transfer construction has its own hypotheses; the choice \(r=1\) does not extend it to a coupled Wilson-fermion action.