---
title: Fermionic Discrete Gaussian Free Field (fDGFF)
url: https://www.emergentmind.com/topics/fermionic-discrete-gaussian-free-field-fdgff
type: topic
---

# Fermionic Discrete Gaussian Free Field (fDGFF)

The fermionic discrete Gaussian free field (fDGFF) is a lattice fermionic Gaussian theory in which the basic variables are Grassmann generators and the covariance kernel is the inverse discrete Laplacian, i.e. the discrete Green’s function. In the 2023 graph-theoretic construction the authors use the term **fermionic Gaussian free field (fGFF)** and describe it as “the lattice representation of a free symplectic fermion field,” while the 2025 planar theory uses the term **fermionic discrete Gaussian free field** explicitly and identifies its two-dimensional scaling limit with the symplectic fermions logarithmic conformal field theory (logCFT) of central charge \(c=-2\) [2309.08349] [2508.03972]. Across these works, the fDGFF is not a bosonic random field with values in \(\mathbb R\), but a fermionic Gaussian state on a Grassmann algebra whose local composite observables encode the Abelian sandpile model (ASM) and the uniform spanning tree (UST).

## 1. Finite-volume definition and lattice formulations

The finite-volume formulation on a graph starts from a connected graph \(\mathcal G=(\Lambda,E)\), typically a finite subset of \(\mathbb Z^d\) or of the triangular lattice, together with Grassmann generators \(\{\psi_v,\bar\psi_v:v\in\Lambda\}\). The unnormalized Dirichlet state is
\[
\mathbb E_\Lambda^{\mathrm d}[F]
=
\left(\prod_{v\in\Lambda}\partial_{\bar\psi_v}\partial_{\psi_v}\right)
\exp\!\left(\langle \bm\psi,-\Delta_\Lambda\bm{\bar\psi}\rangle\right)F,
\]
and the normalized state is obtained by dividing by \(\det(-\Delta_\Lambda)\). There is also a pinned or wired version on the wired graph \(\Lambda^g=\Lambda\cup\{g\}\), and a key bulk statement is that the Dirichlet and pinned functionals agree on observables \(F\in\Omega^{2\Lambda}\) [2309.08349].

The covariance is the discrete Green’s function. In particular,
\[
\langle \psi_u\bar\psi_v\rangle_\Lambda = G_\Lambda(u,v),
\]
so the graph Laplacian plays the same structural role as in the bosonic DGFF, but within Berezin Gaussian calculus rather than ordinary Gaussian integration. The basic algebraic identity is the fermionic determinant formula
\[
\left(\prod_{i=1}^m \partial_{\bar\psi_i}\partial_{\psi_i}\right)\exp\big((\bm\psi,A\bm{\bar\psi})\big)=\det(A),
\]
which underlies all correlation computations [2309.08349].

In the two-dimensional square-lattice formulation, the domain is a discrete Jordan domain \(\Omega_\delta\subset\delta\mathbb Z^2\) with Dirichlet boundary condition. The Grassmann algebra is generated by two fermionic variables at each interior vertex,
\[
\xi(z),\qquad \theta(z),
\]
and the action is
\[
S_{\Omega_\delta}[\xi,\theta]
=
\frac{1}{4\pi}\sum_{z\in \operatorname{int}\Omega_\delta}\xi(z)\,\Delta_{\Omega_\delta}^D\theta(z).
\]
The normalized correlation functional is defined by Berezin integration against \(e^{-S_{\Omega_\delta}}\), and the two-point function is
\[
\langle \xi(z)\theta(w)\rangle^{\mathrm{fDGFF}_{\Omega_\delta}}=4\pi\,G_{\Omega_\delta}(z,w),
\]
with \(G_{\Omega_\delta}\) the Dirichlet Green function [2508.03972].

These formulations use different notations, but both are fermionic Gaussian lattice theories with inverse-Laplacian covariance. The 2023 paper therefore treats the natural discrete object that one would describe as an fDGFF even though the acronym itself is not used there [2309.08349].

## 2. Fermionic Wick calculus and composite lattice observables

Higher correlations are governed by the fermionic Wick rule: charge-unbalanced monomials vanish, and balanced monomials are determinants of covariance matrices. In the \((\xi,\theta)\) notation,
\[
\big\langle \xi(z_1)\theta(w_1)\cdots \xi(z_n)\theta(w_n)\big\rangle
=
\sum_{\sigma\in\mathfrak S_n}(-1)^\sigma
\prod_{i=1}^n
\langle \xi(z_i)\theta(w_{\sigma(i)})\rangle.
\]
In the graph formulation this yields, for instance,
\[
\kappa_\Lambda^{\mathbf 0}(\psi_v\bar\psi_v,\psi_w\bar\psi_w)=-\,G_\Lambda(v,w)^2<0,
\]
so cumulants are controlled by antisymmetry and determinant expansion rather than bosonic pairing sums [2309.08349].

The main local bilinear introduced in the graph formulation is
\[
X_v=\frac{1}{2d}\sum_{i=1}^{2d}\nabla_{e_i}\psi(v)\nabla_{e_i}\bar\psi(v),
\]
with
\[
\nabla_{e_i}\psi(v)=\psi_{v+e_i}-\psi_v,\qquad
\nabla_{e_i}\bar\psi(v)=\bar\psi_{v+e_i}-\bar\psi_v.
\]
A second local field,
\[
Y_v=\prod_{i=1}^{2d}\left(1-\nabla_{e_i}\psi(v)\nabla_{e_i}\bar\psi(v)\right),
\]
appears as a nilpotent correction factor in the exact ASM representation. These are local Grassmann composites, not bosonic normal-ordered polynomials [2309.08349].

For cumulants of \(X_v\), the exact finite-volume formula is a sum over cyclic permutations without fixed points:
\[
\kappa_\Lambda^{\mathbf 0}\left(-X_v:v\in V\right)
=
-\frac{1}{(2d)^n}
\sum_{\sigma\in S_{\mathrm{cycl}(V)}}
\sum_{\eta}
\prod_{v\in V}
\nabla_{\eta(v)}^{(1)}
\nabla_{\eta(\sigma(v))}^{(2)}
G_\Lambda\bigl(v,\sigma(v)\bigr).
\]
This isolates the genuinely connected fermionic contribution. For edge observables, the same determinant structure appears through transfer-current matrices and gradient bilinears of the form
\[
(\psi_{f^+}-\psi_{f^-})(\bar\psi_{f^+}-\bar\psi_{f^-}),
\]
which makes the UST connection exact at finite volume [2309.08349].

The contrast with the bosonic DGFF is structural: commuting real variables are replaced by anticommuting Grassmann pairs, Gaussian measures by Berezin integrals, bosonic Wick pairings by determinant contractions, and the partition function carries a determinant in the numerator rather than a negative power of a determinant [2309.08349].

## 3. Local fields, null fields, and symmetry algebra

The 2025 work develops a full local-field theory for the planar fDGFF. One begins with the Grassmann algebra of formal field polynomials
\[
\mathcal P=\mathrm{Gr}_{\mathbb Z^2}[\xi,\theta],
\]
and defines evaluation at a lattice point \(z\) by translation, with the convention that variables outside the domain evaluate to zero. A field polynomial is **null** if all sufficiently separated correlation functions with that insertion vanish. The space of local fields is then the quotient
\[
\mathcal F_\mathrm{fDGFF}:=\mathcal P/N.
\]
This quotient is the discrete analogue of the continuum state-field space [2508.03972].

Distinguished classes in the quotient are
\[
\mathbf 1=1+N,\qquad
\omega=-\xi(0)\theta(0)+N,\qquad
\chi=\xi(0)+N,\qquad
\eta=\theta(0)+N.
\]
Here \(\mathbf 1\) is the identity field, \(\omega\) is its logarithmic partner, and \(\chi,\eta\) are the ground fermions. Discrete Laplacians of the basic fermions are null, and the same is true for their \(\partial,\bar\partial\) descendants through the factorization \(\Delta=4\bar\partial\partial\) [2508.03972].

A central step is the construction of current modes by discrete contour integrals against discrete monomials \(u^{[k]}\). The resulting operators satisfy the symplectic-fermion anticommutation relations
\[
\{\chi_k,\eta_\ell\}=k\,\delta_{k+\ell,0}\,\mathrm{id},\qquad
\{\bar\chi_k,\bar\eta_\ell\}=k\,\delta_{k+\ell,0}\,\mathrm{id},
\]
with all other anticommutators vanishing. Via discrete Sugawara formulas, these modes generate commuting holomorphic and antiholomorphic Virasoro actions with central charge
\[
c=-2.
\]
The local-field space is then identified with the logarithmic Fock space of symplectic fermions [2508.03972].

The logarithmic character is encoded in the non-diagonalizability of \(L_0+\bar L_0\). In particular,
\[
(L_0+\bar L_0)\omega=2\,\mathbf 1,
\]
so \(\omega\) belongs to a rank-2 Jordan block rather than being an ordinary scaling eigenfield. This is the discrete algebraic origin of logarithmic renormalization in the scaling limit [2508.03972].

## 4. Scaling limit and symplectic-fermion logCFT

The planar scaling-limit theorem identifies the fDGFF local-field theory with the symplectic fermions logCFT in simply connected domains. If \(\Omega_\delta\to\Omega\) in the Carathéodory sense and \(P_i^\delta\) represent appropriately renormalized lattice fields corresponding to continuum fields \(\Phi_i\) of generalized scaling dimensions \(\Delta_i+\bar\Delta_i\), then
\[
\frac{\left\langle P_1^\delta(z_1^\delta)\cdots P_n^\delta(z_n^\delta)\right\rangle^{\mathrm{fDGFF}_{\Omega_\delta}}}
{\delta^{\sum_i(\Delta_i+\bar\Delta_i)}}
\longrightarrow
\left\langle \Phi_1(z_1)\cdots \Phi_n(z_n)\right\rangle^{\mathrm{SyFe}_{\Omega;\lambda}}
\]
uniformly on compact subsets of the configuration space of pairwise distinct points [2508.03972].

For genuine eigenfields of \(L_0+\bar L_0\), a pure power renormalization suffices. For generalized eigenfields one must add a logarithmic counterterm:
\[
\Phi^{(\delta,\lambda)}_{\mathrm{ren}}
=
\Phi-\log(\lambda\delta)\big[(L_0+\bar L_0)-(\Delta+\bar\Delta)\big]\Phi.
\]
The standard example is the logarithmic partner \(\omega\), represented discretely by
\[
-\xi(z^\delta)\theta(z^\delta)-2\log(\lambda\delta),
\]
whose expectation converges to
\[
\langle \omega(z)\rangle^{\mathrm{SyFe}_{\Omega;\lambda}}
=
-4\pi\,g_\Omega(z,z)-\alpha(\lambda),
\qquad
\alpha(\lambda)=2(\log\lambda+\mathsf C),
\]
with \(\mathsf C=\gamma+\frac32\log2\) [2508.03972].

The 2023 graph-theoretic results already establish the symplectic-fermion structure at the level of cumulants for the key observables \(X_v\) and \(X_vY_v\). Their scaling limits are expressed through derivatives of the continuum harmonic Green’s function \(g_U\), and in \(d=2\) the ASM normalization constant is
\[
C_2=\frac{2}{\pi}-\frac{4}{\pi^2}.
\]
The paper explicitly relates the continuum field to the symplectic-fermion bilinear
\[
\Phi_\theta=-\,C\left(\partial_z\theta\,\partial_{\bar z}\tilde\theta+\partial_{\bar z}\theta\,\partial_z\tilde\theta\right),
\]
and proves that the lattice cumulants converge to the predicted Green-derivative formulas with the correct constant in the square lattice case [2309.08349].

## 5. Uniform spanning tree and Abelian sandpile representations

One of the main roles of the fDGFF is to represent natural observables in UST and ASM. For the UST, if \(S\subseteq E\) is a set of edges and
\[
\zeta_S
=
\prod_{f\in S}(\psi_{f^+}-\psi_{f^-})(\bar\psi_{f^+}-\bar\psi_{f^-}),
\]
then
\[
\mathbf P(T:S\subseteq T)=\mathbb E_\Lambda^{\mathrm p}[\zeta_S].
\]
At the level of vertex observables, the normalized degree field \(\mathcal X_v\) satisfies
\[
\kappa\left(\mathcal X_v:v\in V\right)
=
\kappa_\Lambda^{\mathbf 0}\left(X_v:v\in V\right),
\]
so the UST degree field is represented directly by the fermionic bilinear \(X_v\) [2309.08349].

For the ASM, the exact finite-volume identity is
\[
\mathbb E\left(\prod_{v\in V} h_\Lambda(v)\right)
=
\mathbb E_\Lambda^{\mathrm p}\left[\prod_{v\in V} X_vY_v\right],
\]
where \(h_\Lambda(v)\) is the height-one indicator. Thus the height-one field is represented not by \(X_v\) alone but by the composite \(X_vY_v\), with \(Y_v\) acting as a lattice correction factor that becomes a multiplicative constant in the scaling limit [2309.08349].

The 2025 local-field theory sharpens this interpretation. The centered UST degree field corresponds to a local field \(T\) whose leading term is
\[
T=\frac{1}{\pi}\big(\bar\chi_{-1}\chi_{-1}+\eta_{-1}\bar\eta_{-1}\big)\mathbf 1+\text{higher-dimension terms},
\]
while the centered ASM height-one field corresponds to a local field \(H\) with leading term
\[
H=-\frac{\pi-2}{\pi^3}\big(\bar\chi_{-1}\chi_{-1}+\eta_{-1}\bar\eta_{-1}\big)\mathbf 1+\text{higher-dimension terms}.
\]
The dissipation field is
\[
D(z)=1+\frac{1}{4\pi}\xi(z)\theta(z),
\]
which is
\[
D=\mathbf 1-\frac{1}{4\pi}\omega
\]
in the local-field quotient, so dissipation is logarithmic. The same work proves exact fDGFF representations for mixed ASM correlations involving height-one and dissipation insertions [2508.03972].

The 2025 paper also states explicitly that the broader claim that the full ASM scaling limit is symplectic fermions is **not** asserted; what is proved is the correspondence for certain local observables and their scaling limits [2508.03972].

## 6. Universality, scope, and relation to the bosonic DGFF program

The 2023 results are not confined to planar square lattices. The same fermionic cumulant structure is established for the square and triangular lattices in two dimensions, with the same continuum functional form and lattice-dependent overall constants. For the triangular lattice, the ASM constant is given explicitly by
\[
C_{\mathbf T} = -\frac{25}{36} +\frac{162}{\pi^4} -\frac{99\sqrt3}{\pi^3} +\frac{99}{2\pi^2} -\frac{5}{4\sqrt3\,\pi} \approx 0.2241.
\]
The hypercubic lattice results hold for all \(d\ge 2\), and the paper identifies three ingredients for extension to more general embedded graphs: the Matrix–Tree theorem and burning algorithm, a good Green-function approximation to continuum, and isotropic neighborhoods [2309.08349].

By contrast, the fully developed logCFT identification in the 2025 work is specific to two dimensions, planar square-lattice Jordan domains, Dirichlet boundary conditions, simply connected continuum domains, and local fields built from finitely many nearby Grassmann variables modulo null fields [2508.03972]. The paper proves convergence of local-field correlation functions, not a full path-space continuum fermionic field theory.

A useful comparison is the bosonic program for the discrete GFF. The 2024 bosonic work organizes local fields as a quotient by null fields, equips them with Heisenberg and Virasoro actions, and shows that renormalization is governed by the eigenvalue of \(L_0+\bar L_0\) [2404.15490]. This suggests a structural parallel: the fDGFF realizes the same general local-field/CFT strategy in a fermionic, logarithmic setting, with symplectic-fermion anticommutation relations and \(c=-2\) replacing the bosonic Heisenberg picture and \(c=1\).

In this sense, the fDGFF is both a discrete fermionic Gaussian theory and a rigorous bridge between lattice combinatorics and logarithmic conformal field theory. On finite graphs it yields exact determinant and cumulant formulas for UST and ASM observables; in two dimensions it supports a complete local-field theory whose scaling limit is the symplectic fermions logCFT [2309.08349] [2508.03972].

Source: https://www.emergentmind.com/topics/fermionic-discrete-gaussian-free-field-fdgff