Grassmann variables and finite fermion integrals [fdip-008E]

Can electrons, which never share a state, be described in the probability-based setting? The spatial Dirac operator has a real matrix in its chosen basis and is skew-adjoint, so its real restriction satisfies \(D^T=-D\). For commuting real coordinates \(x\), transposition gives \(x^TDx=-x^TDx=0\). The weight \(e^{-x^TDx/2}\) is therefore constant, and adding a scalar mass leaves only \(m x^Tx\) in \(x^T(D+mI)x\): this quadratic expression loses the spatial operator.

Electrons are fermions: their multiparticle amplitudes change sign when two identical particles are exchanged [etingof2024mathematical, v2, Section 9.1, pp. 121-122]. Exclusion concerns the same complete one-particle state, including spin, not merely the same spatial orbital. The exterior algebra encodes the alternating sign through generators satisfying \(\psi _i\psi _j=-\psi _j\psi _i\) and \(\psi _i^2=0\) over \(\mathbb R\) or \(\mathbb C\). These are Grassmann variables. Their use here is an algebraic model of that sign rule, not a derivation of electron physics or a claim that measured fermion outcomes lack ordinary probabilities.

Integrating commuting Gaussian fields produces inverse powers of a determinant. For Grassmann variables, ordered top-coefficient extraction instead gives a determinant for independent paired variables and a Pfaffian for an alternating quadratic form. Two generators fix the signs before the general identities; the normalized Wick rule additionally requires invertibility. This algebraic integration is not a positive measure. Its relation to the earlier Clifford algebra is a vector-space comparison. Elimination, covariant lattice Dirac operators and their doubling problem are the later questions.