In this paper, we identify the scaling limit of the fermionic discrete Gaussian free field (fDGFF) as a logarithmic conformal field theory (CFT) in two dimensions. We first establish a one-to-one correspondence between the space of local observables of the fDGFF and the space of local fields of the symplectic fermions CFT, a logarithmic CFT with central charge c = - 2. This correspondence is meaningful in the sense that, when appropriately renormalised, the fDGFF correlation functions converge to corresponding CFT correlation functions in the scaling limit. As an application to these results, we interpret (the scaling limit of) certain local observables in the uniform spanning tree and the Abelian sandpile model as local fields of the symplectic fermions.
As representations of \textnormal{\textbf{Vir}}\oplus\overline\textnormal{\textbf{Vir}}, we have the isomorphism
Let \boldsymbol{\varphi}_1 , \ldots , \boldsymbol{\varphi}_n be symplectic-fermions local fields with generalised scaling dimensions D_1 , \ldots , D_n respectively. Let F_i and \tilde{F}_i be the fDGFF local observables corresponding —via Theorem 1— to the local field \boldsymbol{\varphi}_i and [(\textnormal{L}_{0}+ \mathrlap{\hspace{-1pt}\overline{\scalebox{0.85}[1]{\phantom{\ensuremath{\textnormal{L}}}}}}\ensuremath{\textnormal{L}} _{0})-D_i]\boldsymbol{\varphi}_i, respectively. Then, we have
uniformly for z_1, \ldots , z_n on compacts of \Omega and away from one another.
Although the space \mathscr{F}{\!\!\textnormal{\footnotesize\itshape ock}} is not an irreducible representation of \textnormal{\textbf{SF}} \oplus \overline{\textnormal{\textbf{SF}}}, it is cyclically generated by the action of the generators of \textnormal{\textbf{SF}} \oplus \overline{\textnormal{\textbf{SF}}} on the vector \boldsymbol{\omega}. From the explicit basis (?) and the anticommutation relations —Lie superbrackets— of the generators, one can argue that the only proper subrepresentations of \mathscr{F}{\!\!\textnormal{\footnotesize\itshape ock}} are the ones cyclically generated by the other ground states —\boldsymbol{\mathbbm{1}}, \boldsymbol{\xi}, and \boldsymbol{\theta}—. \diamond
The linear operators on \mathscr{F}{\!\!\textnormal{\footnotesize\itshape ock}} given by the formal sums
for n\in{\mathbb Z}, are well-defined and constitute two commuting representations of the Virasoro algebra with central charge -2. That is, they satisfy
with c=-2.
For each complex number \alpha\in{\mathbb C}, there exists a unique collection of correlation functions with the following properties:
(FER) The correlation functions of the ground fermions are
for (z_1,\ldots,z_n,w_1\ldots,w_n)\in\textnormal{Conf}_{2n}( \Omega ), they vanish when the number of \boldsymbol{\xi}-insertions and \boldsymbol{\theta}-insertions do not coincide, and they satisfy
(DER) For the Virasoro modes {\mathsf{L}}_{-1} and \mathrlap{\hspace{-0.3pt}\overline{\scalebox{0.6}[1]{\phantom{\ensuremath{\mathsf{L}}}}}}\ensuremath{\mathsf{L}} _{-1} we have
and
for any field \boldsymbol{\varphi}\in\mathscr{F}{\!\!\textnormal{\footnotesize\itshape ock}}.
(CUR) Within correlation functions, we have
for any field \boldsymbol{\varphi}\in\mathscr{F}{\!\!\textnormal{\footnotesize\itshape ock}} for small enough \vert z - w \vert.
(LOG) We have
as \vert z - w \vert \to 0.
Consider, for i=1,\ldots,n, the \mathscr{F}{\!\!\textnormal{\footnotesize\itshape ock}} elements
in the basis (?). By property (CUR), their correlation functions can be obtained as
where the integrals are performed along non-intersecting contours in the following way: for each i = 1 , \ldots , n, the variables \zeta_{i;a}^{\chi}, \zeta_{i;b}^{\eta}, \zeta_{i;\bar a}^{\bar \chi} and \zeta_{i;\bar b}^{\bar \eta} are integrated along nested contours around the point z_i in the radial order
in the inward direction. \diamond
We have
where \mathbf{g}_\Omega is the harmonic part of the Green’s function \mathbf{G}_\Omega. Note that this one-point function is related to the conformal radius \mathrm{R}(z;\Omega) of the domain \Omega from the point z\in\Omega since we have \mathrm{R}(z;\Omega) = \exp\big(2\pi\mathbf{g}_\Omega(z,z)\big). \diamond
The correlation functions of the ground states \boldsymbol{\xi}, \boldsymbol{\theta}, and \boldsymbol{\omega} satisfy the following formula: Take three non-intersecting collections \underline{z} \coloneqq\{z_1,\ldots,z_n\}, \underline{w} \coloneqq\{w_1,\ldots,w_n\} and \underline{x} \coloneqq\{x_1,\ldots,x_k\} of distinct points in the domain \Omega. Let {\mathfrak{B}(\underline{ z} ,\underline{ w} ;\underline{ x} )} denote the set of bijections from the set {\underline{ z} \cup\underline{ x} } onto the set {\underline{w} \cup\underline{ x} }. We have
where (-1)^b is the signature of the bijection b, and F_b is the number of fixed points of b. \diamond
The discrete Laplacian admits the following factorisations in terms of discrete differential operators:
and, for a function f \colon {\mathbb Z}^2_\diamond\to{\mathbb C},
We will use extensively these factorisations in our computations in later sections. \diamond
There exists a unique family of {\mathbb C}-valued functions \{\mathbf{u}\mapsto \mathbf{u}^{[n]}\}_{n\in{\mathbb Z}} on {\mathbb Z}^2_\diamond\cup{\mathbb Z}^2_\textnormal{m} that satisfies the following properties:
For all n\in{\mathbb Z}, the function \mathbf{u} \mapsto \mathbf{u}^{[n]} has the same square-grid symmetries as the Laurent monomial z \mapsto z^n, i.e., (\mathbbm{i} \mathbf{u})^{[n]}=\mathbbm{i}^n \mathbf{u}^{[n]} and \overline{\mathbf{u}}^{[n]} = \overline{\mathbf{u}^{[n]}} for all \mathbf{u} \in {\mathbb Z}^2_\diamond\cup{\mathbb Z}^2_\textnormal{m}.
For all \mathbf{u}\in{\mathbb Z}^2_\diamond\cup{\mathbb Z}^2_\textnormal{m}, \mathbf{u}^{[0]}=1 and, for all n\in{\mathbb Z}, \partial_\sharp \mathbf{u}^{[n]} = n\,\mathbf{u}^{[n-1]}.
For each \mathbf{u}\in{\mathbb Z}^2_\diamond\cup{\mathbb Z}^2_\textnormal{m}, there exists an N\in{\mathbb N} such that \mathbf{u}^{[n]}=0 for all n\geq N.
For n<0, we have \mathbf{u}^{[n]} \to 0 as \vert \mathbf{u}\vert\rightarrow \infty.
The first negative-power monomial has the following explicit failure of discrete holomorphicity near the origin
For any n\geq 0 and all \mathbf{u}\in{\mathbb Z}^2_\diamond\cup{\mathbb Z}^2_\textnormal{m} we have \mathrlap{\hspace{1pt}\overline{\scalebox{0.8}[1]{\phantom{\ensuremath{\partial}}}}}\ensuremath{\partial} _\sharp \mathbf{u}^{[n]}=0. For any n<0, we have \mathrlap{\hspace{1pt}\overline{\scalebox{0.8}[1]{\phantom{\ensuremath{\partial}}}}}\ensuremath{\partial} _\sharp \mathbf{u}^{[n]}=0 except at finitely many points \mathbf{u} \in {\mathbb Z}^2_\diamond\cup{\mathbb Z}^2_\textnormal{m}.
For any n,m\in{\mathbb Z}, we have the discrete residue formula
for any large enough positively-oriented corner contour \gamma that encircles the origin.
For any n \in {\mathbb Z}, as {|\mathbf{u}| \to \infty}, the discrete monomial has the asymptotics
where in \mathbf{u}^n we interpret \mathbf{u}\in{\mathbb C} via the embedding {\mathbb Z}^2 \subset {\mathbb C}.
The correlation function of the monomial \xi(\mathbf{z}_1)\cdots\xi(\mathbf{z}_n)\theta(\mathbf{w}_1)\cdots\theta(\mathbf{w}_m) vanishes unless n=m. For the two-point function, we have
where \mathbf{G}_{\Omega^{\delta}} is —up to a negative sign— the inverse of the Dirichlet Laplacian, that is, it satisfies
for \mathbf{z},\mathbf{w}\in\textnormal{int}\,{\Omega^{\delta}}, where the subindex (\,\cdot\,)_{(1)} indicates the Laplacian operator is taken with respect to the first variable of \mathbf{G}_{\Omega^{\delta}}. Finally, the 2n-point functions satisfy the fermionic Wick’s formula, i.e. we have
where \mathfrak{S}_n denotes the symmetric group of order n and (-1)^\sigma is the signature of the permutation \sigma. \diamond
In a similar fashion as in Remark 2.6, for three non-intersecting collections \underline{\mathbf{z}} \coloneqq\{\mathbf{z}_1 ,\ldots,\mathbf{z}_n \}, \underline{\mathbf{w}} \coloneqq\{\mathbf{w}_1 ,\ldots,\mathbf{w}_n \}, and \underline{\mathbf{x}} \coloneqq\{\mathbf{x}_1 ,\ldots,\mathbf{x}_k \} of points in the discrete domain \Omega^{\delta}, the set of bijections from the set {\underline{\mathbf{z}} \cup\underline{\mathbf{x}} } onto the set {\underline{\mathbf{w}} \cup\underline{\mathbf{x}} } is denoted by {\mathfrak{B}(\underline{\mathbf{z}} ,\underline{\mathbf{w}} ;\underline{\mathbf{x}} )}. For any fixed constant c\in{\mathbb C}, a straightforward manipulation of the fermionic Wick formula —Remark 3.1— leads to
where (-1)^b is the signature of the bijection b, and F_b is the number of fixed points of b. \diamond
Given a medial point \mathbf{u}_\textnormal{m}\in{\mathbb Z}^2_\textnormal{m}, the field polynomials
are called, respectively, the holomorphic and antiholomorphic currrents. \diamond
The field polynomial 1\in\mathcal{P} is not null since we have, for example,
for any discrete domain \Omega^{\delta} and any points \mathbf{z}\in\Omega^{\delta} and \mathbf{z}_1,\mathbf{w}_1\in\textnormal{int}\,{\Omega^{\delta}}. \diamond
For any \mathbf{u}\in{\mathbb Z}^2, the field polynomials
are null. This can be straightforwardly verified from Remark 3.1. Moreover, using Wick’s formula, one can see that, if P\in\mathcal{P} is a field polynomial satisfying \mathbf{u} \notin \textnormal{supp}\, P, the field polynomials \Delta_\sharp\boldsymbol\upxi(\mathbf{u})\cdot P and \Delta_\sharp\boldsymbol\uptheta(\mathbf{u})\cdot P are null, too. \diamond
By virtue of the factorisation of the Laplacian —Remark 2.7— and Example 3.5, we have that the field polynomials
are null for any \mathbf{u}\in{\mathbb Z}^2. \diamond
The field polynomial \Delta_\sharp\boldsymbol\upxi(\mathbf{u})\boldsymbol\uptheta(0)\boldsymbol\upxi(0) + 4\pi \delta_{0,\mathbf{u}}\boldsymbol\upxi(0) is null. To see this, we evaluate it at some \mathbf{z} in some discrete domain \Omega^{\delta} and test it against distant insertions. Using Wick’s formula and the multilinearity of correlation functions, we have
where the hat (\,\widehat{\phantom{m}}\;\!) indicates that a term does not appear in the product. Note that in the right-hand side of the above equation, the first factor in each term vanishes, proving the nullity of the given field polynomial. \diamond
In Theorem 4.1 below, we prove that the space of local fields \mathcal{F} is isomorphic to the logarithmic Fock space of the symplectic fermions. Through that isomorphism the local fields
correspond to the identity field and its logarithmic partner, respectively, and the local fields
correspond to the fermionic ground states. \diamond
Let P+\textnormal{\small Null}\in\mathcal{F} be a local field. The linear operators
where \gamma is a large enough discrete corner contour around the origin, are well-defined.
The operators are well-defined if they do not depend on the choice of corner contour \gamma and the choice of field-polynomial representative P. A straightforward application of the discrete Stokes’ formula —see Section ?— combined with the discrete holomorphicity of the discrete monomials —Proposition 2.8— and the null fields in Example 3.5 is enough to see that the operators are well-defined. To see that the operator does not depend on the representative P, one just needs to remember that the product of two field polynomials with supports that are at a large enough distance is null if one of the two field polynomials is null. For a more detailed proof see Lemmata 4.2 and 4.3 in [AdameCarrillo-discrete_symplectic_fermions].
For all k,\ell \in {\mathbb Z} the current modes satisfy
and
The proof that each sector —holomorphic and antiholomorphic— constitutes a representation of the symplectic fermions algebra follows the same lines as the proof of Proposition 4.4 in [AdameCarrillo-discrete_symplectic_fermions]. For the anticommutativity of the sectors with one another, we write:
The discrete integral in square brackets vanishes for all values of k and \ell; see the proof of Proposition 4.2 in [ABK-DGFF_local_fields].
The map \textnormal{\textbf{SF}} \oplus \overline{\textnormal{\textbf{SF}}}\to\textnormal{End}(\mathcal{F}) given by (the linear extension of)
is a Lie superalgebra homomorphism.
The current modes of index 0 satisfy
as linear operators \mathcal{F}\to\mathcal{F}. This can be checked by a straightforward application of the discrete Stokes’ formula —Section ?—. \diamond
The ground states satisfy the relations
Let us explicitly write down the computation for the first of these relations. We have, for a sufficiently large corner contour \gamma encircling the origin,
where we have used the discrete Stokes’ formula —Section ?—, the factorisation of the discrete Laplacian operator —Remark 2.7—, and the null field from Example 3.7. \diamond
With a simple application of the discrete Stokes’ formula and the discrete monomials value 0^{[k]}=0 for k>0 —Section ?—, one can check that all four ground states (\mathbf{1}, \boldsymbol{\upxi}, \boldsymbol{\uptheta}, and \boldsymbol{\upomega}) are annihilated by the current modes with positive index. That is, we have
and similarly for \mathbf{1}, \boldsymbol{\upxi}, and \boldsymbol{\uptheta} . \diamond
For any local field P+\textnormal{\small Null}, there exists N\in{\mathbb Z}_{>0} such that for all n\geq N we have
Fix a corner contour \gamma for the action —(3.9)–(3.9)— of any current mode on P+\textnormal{\small Null}. Since the discrete neighbourhood of the origin where the discrete monomials \mathbf{u}\mapsto\mathbf{u}^{[k]} vanishes grows with k, we just need to pick N big enough such that \mathbf{u}^{[N]} vanishes (in the interior of and) around the contour \gamma. Then, by formulae (3.9)–(3.9), it is clear that the action of \boldsymbol{\chi}_{n}, \boldsymbol{\eta}_{n}, \mathrlap{\hspace{0pt}\overline{\scalebox{1}[1]{\phantom{\ensuremath{\boldsymbol{\chi}}}}}}\ensuremath{\boldsymbol{\chi}} _{n}, and \mathrlap{\hspace{0pt}\overline{\scalebox{1}[1]{\phantom{\ensuremath{\boldsymbol{\eta}}}}}}\ensuremath{\boldsymbol{\eta}} _{n} on P+\textnormal{\small Null} vanishes for n\geq N.
The linear operators \mathcal{F}\rightarrow\mathcal{F} given by the formal sums
for n\in{\mathbb Z}, are well-defined and constitute two commuting representations of the Virasoro algebra with central charge c=-2.
As representations of the symplectic fermions algebra, we have the isomorphism
The local field \boldsymbol{\upomega} satisfies
for all k\in{\mathbb Z}_{>0} and
Moreover, we have \boldsymbol{\chi}_{0}\boldsymbol{\eta}_{0}\boldsymbol{\upomega}=\mathbf{1}\neq0 —Example 3.4—. Hence, by Lemma 5.12, the subrepresentation (\mathcal{SF}\oplus \mathrlap{\hspace{2.5pt}\overline{\scalebox{0.89}[1]{\phantom{\ensuremath{\mathcal{SF}}}}}}\ensuremath{\mathcal{SF}} )\boldsymbol{\upomega} generated by the cyclic action of the current modes on \boldsymbol{\upomega} is isomorphic to \mathscr{F}{\!\!\textnormal{\footnotesize\itshape ock}}. Since we have the inclusion (\mathcal{SF}\oplus \mathrlap{\hspace{2.5pt}\overline{\scalebox{0.89}[1]{\phantom{\ensuremath{\mathcal{SF}}}}}}\ensuremath{\mathcal{SF}} )\boldsymbol{\upomega}\subset \mathcal{F}, it only remains to prove \mathcal{F} \subset (\mathcal{SF}\oplus \mathrlap{\hspace{2.5pt}\overline{\scalebox{0.89}[1]{\phantom{\ensuremath{\mathcal{SF}}}}}}\ensuremath{\mathcal{SF}} )\boldsymbol{\upomega}. Take any field F\in\mathcal{F}. Since normal ordering is a surjective map —Remark 5.8—, we can find linear field polynomials L_1,\ldots,L_n\in\mathcal{P}_{\textnormal{lin}} such that we have
Since L_i are linear, they must be a linear combination of the elements in the basis
Finally, by Lemma 5.10, the multilinearlity of normal ordering, and the relations between ground states via the current modes —Remark 3.13—, the local field F can be written as an element of the submodule (\mathcal{SF}\oplus \mathrlap{\hspace{2.5pt}\overline{\scalebox{0.89}[1]{\phantom{\ensuremath{\mathcal{SF}}}}}}\ensuremath{\mathcal{SF}} )\boldsymbol{\upomega}.
Fix a positive constant \lambda\in{\mathbb R}_{>0}. For i=1,\ldots,n, let \boldsymbol{\varphi}_i\in\mathcal{F} be a local field with generalised scaling dimension \Delta_i+\bar\Delta_i. Let P_i^\delta\in\mathcal{P} be a field-polynomial representative of the local field
We have
uniformly for (z_1,\ldots,z_n) on compacts of \textnormal{Conf}_{n}( \Omega ), where we used P_i^\delta\big(\mathbf{z}_i^\delta\big)\coloneqq\textnormal{ev}_{\mathbf{z}_i^\delta}^{\Omega^{\delta}}\big(P_i^\delta\big) and \alpha(\lambda)\coloneqq 2 \big( \log \lambda + \mathsf{C}\, \big).
By linearity of the correlation functions, we only need to prove the statement for fields \boldsymbol{\varphi}_i in the basis (?). For the sake of brevity, we detail the proof in the case where we have
with {0 \leq k_1^{(i)} < k_2^{(i)} < \cdots < k_{r_i}^{(i)}} and {0 \leq \ell_1^{(i)} < \ell_2^{(i)} < \cdots < \ell_{s_i}^{(i)}}—the more general case can be handled in a similar way.
The CFT correlation functions of the fields \boldsymbol{\varphi}_1,\ldots,\boldsymbol{\varphi}_n\in\mathscr{F}{\!\!\textnormal{\footnotesize\itshape ock}} (\cong\mathcal{F}) can be expressed —recall Remark 2.4— as
where the variables \zeta_{i;a}^{\eta} and \zeta_{i;b}^{\chi} are integrated, respectively, along contours \Gamma_{i;a}^{\eta} and \Gamma_{i;b}^{\chi} in \Omega that encircle the point z_i and no other insertion point, and such that all contours are pairwise non-intersecting. An example of this scenario is shown in Figure ?.
In what remains of this proof, we omit some details—we refer the reader to the proof of Theorem 7.2 in [ABK-DGFF_local_fields]. In particular, in there, the contours and their discrete approximations are deliberately chosen to be of square shape so that some technical aspects substantially simplify.
To set up the scaling-limit convergence, we let \gamma_{i;a}^{\eta}(\delta) and \gamma_{i;b}^{\chi}(\delta) be discrete corner contours(Naturally, one needs to impose certain requirements to these discrete contours so that in the limit \delta\downarrow0 one gets proper Riemann-sum approximations of continuum contour integrals.) in {\mathbb Z}^2 that are, respectively, close to the blown-up contours \frac{1}{\delta}\big(\Gamma_{i;a}^{\eta}-z_i\big) and \frac{1}{\delta}\big(\Gamma_{i;b}^{\chi}-z_i\big). Then, for the field \boldsymbol{\varphi}_i\in\mathcal{F}, consider the \mathcal{P}-representative
of the field \boldsymbol{\varphi}_i-\log(\lambda\delta)\big[({\mathbf{L}}_{0}- \mathrlap{\hspace{-1pt}\overline{\scalebox{0.85}[1]{\phantom{\ensuremath{\mathbf{L}}}}}}\ensuremath{\mathbf{L}} _{0})-(\Delta_i+\bar\Delta_i)\big]\boldsymbol{\varphi}_i, where we have used the basis expression in Example 4.6, the representative \boldsymbol{\upomega} = -\boldsymbol\upxi(0)\boldsymbol\uptheta(0)+\textnormal{\small Null} —Example 3.8—, and the integral definition of the current modes —Proposition 3.9—.
The relevant fDGFF correlation functions are then
Let us focus on the integrand that is an fDGFF correlation function. By the fDGFF generalised Wick’s formula —Remark 3.2—, and by linearity of the fDGFF correlation functions, it can be rewritten as sums of products of factors of the two following types:
and
The latter type of factor, converges to
uniformly for x on compacts of \Omega by Corollary 5.14. The former type, when renormalised by \delta^{-(k_a^{(i)}+\ell_b^{(j)})}, converges uniformly for (z_i,z_j) on compacts of \textnormal{Conf}_{2}( \Omega ) to
where we took \alpha = \alpha(\lambda) since the CFT correlation does not depend on this constant. To see this, recall that for \mathbf{u}^\delta\in\delta{\mathbb Z}^2_\diamond satisfying \delta\mathbf{u}^\delta\to\zeta \in {\mathbb C} as \delta\downarrow0, we have —Proposition 2.8 (Property 8)— the convergence of the discrete monomials
uniformly for \zeta on compacts of {\mathbb C}\setminus\{0\}. We also need the classical result of the scaling-limit convergence of the double derivatives of the discrete (Dirichlet) Green’s function to its continuum counterpart when renormalized by \delta^2—see [ABK-DGFF_local_fields, Section 3.3]. Then, when each of the discrete differentials \textnormal{d}^{\sharp} is renormalised by \delta, the expression \eqref{eq: fDGFF corr fun} becomes a Riemann-sum approximation of double integrals. Collecting the powers of \delta we find that, if we renormalise (?) by
it converges uniformly on compacts to (?) —after a shift in the integration variables—. Note that \sum_a k_{i;a} + \sum_b \ell_{i;b} is the generalised scaling dimension of the field \boldsymbol{\varphi}_i.
In each discrete approximation \Omega^{\delta} of the continuum domain \Omega, the linear scale of the system is proportional to \delta; the proportionality constant \lambda is arbitrary. There is no good reason to pick as a linear scale the edge length \delta instead of the diagonal length of the square-grid plaquettes \sqrt{2}\,\delta or half the length of an edge \delta/2. \diamond
This arbitrariness is not relevant in non-logarithmic theories—a change in the linear scale can be absorbed as a multiplicative factor in the local observables. This is also the case for local fields in our theory with well-defined scaling dimensions. However, our theory contains more exotic fields that feature logarithmic divergencies in the scaling limit. These are the generalised eigenvectors of {\mathbf{L}}_{0}+ \mathrlap{\hspace{-1pt}\overline{\scalebox{0.85}[1]{\phantom{\ensuremath{\mathbf{L}}}}}}\ensuremath{\mathbf{L}} _{0} that are not eigenvectors. \diamond
The ground state \boldsymbol{\upomega} does not have a well-defined scaling dimension —recall that we have ({\mathbf{L}}_{0}+ \mathrlap{\hspace{-1pt}\overline{\scalebox{0.85}[1]{\phantom{\ensuremath{\mathbf{L}}}}}}\ensuremath{\mathbf{L}} _{0})\boldsymbol{\upomega} = 2\cdot\mathbf{1}— which implies that it requires a logarithmic correction to get a non-trivial scaling limit. More precisely, we have the convergence
uniformly for z on compacts of \Omega. The arbitrary CFT constant \alpha on the right-hand side arises from the arbitrary linear scale \lambda chosen in the discrete. \diamond
For a field
in the basis \eqref{eq: basis}, the corresponding field that behaves well under rescaling —in the sense of Theorem 4.2— is
where \Delta+\bar\Delta = \sum_{a=1}^r k_a + \sum_{b=1}^s \ell_b + \sum_{\bar a=1}^{\bar r} \bar k_{\bar a} + \sum_{\bar b=1}^{\bar s} \bar\ell_{\bar b}. \diamond
Let e_1,\ldots,e_n be distinct edges in E_{\Omega^{\delta}}. We have
Let \mathbf{z}^\delta be the closest vertex to z\in\Omega in the discrete domain \Omega^{\delta}. We have
uniformly for z on compacts of \Omega. Note that the limit is actually independent of \alpha. \diamond
Let \mathbf{z}^\delta be the closest vertex to z\in\Omega in the discrete domain \Omega^{\delta}. We have
uniformly for z on compacts of \Omega. Note again that the limit does not depend on \alpha. \diamond
By Theorem 4.2, we have the following scaling-limit convergence of the one-point function:
uniformly for z on compacts of \Omega, where \mathbf{z}^\delta is the vertex in \Omega^{\delta}\subset{\mathbb C} that is closest to z. Note the independence with respect to the constant \alpha. \diamond
We have
where we let 1 denote the constant random variable with constant value 1. \diamond
Let \mathbf{z}_1,\ldots,\mathbf{z}_n,\mathbf{w}_1,\ldots,\mathbf{w}_m\in\Omega^{\delta} be interior vertices of \Omega^{\delta}. We have
with D(\mathbf{z}) \coloneqq \dfrac{1}{4\pi}\xi(\mathbf{z})\theta(\mathbf{z}) .
Via the burning algorithm, recurrent configuration with dissipative sites at \mathbf{W} are in bijection with spanning forests of \Omega^{\delta} where \partial\Omega^{\delta} and each of the dissipative sites \mathbf{w}_i belongs in a different tree. Equivalently, these configurations are in bijection with spanning trees of the graph obtained from (V_{\Omega^{\delta}},E_{\Omega^{\delta}}) by fusing all dissipative sites \mathbf{w}_i with the boundary vertex \partial\Omega^{\delta}—let \tilde{\mathcal{G}} denote this modified graph. The Dirichlet Laplacian matrix \tilde\Delta_{\Omega^{\delta}}^{\texttt{D}} of \tilde{\mathcal{G}} is just \tilde\Delta_{\Omega^{\delta}}^{\texttt{D}} with the rows and columns of the dissipative sites removed.
Let us check that the Green’s function of \tilde{\mathcal{G}} is given by
where, recall, that D(\mathbf{w}_i) = \tfrac{1}{4\pi}\xi(\mathbf{w}_i)\theta(\mathbf{w}_i). From Remark 3.1, we see that it is symmetric, we have \big\langle \xi(\mathbf{x})\theta(\mathbf{y}) D(\mathbf{w}_1)\cdots D(\mathbf{w}_m) \big\rangle_{\Omega^{\delta}}^{\textnormal{fDGFF}} \,=\, 0 for x=\mathbf{w}_i, and
which straightforwardly leads to \big[\tilde\Delta_{\Omega^{\delta}}^{\texttt{D}}\tilde\mathbf{G}\big](\mathbf{x},\mathbf{y})=-\delta_{\mathbf{x},\mathbf{y}} for \mathbf{x},\mathbf{y}\in\Omega^{\delta}\setminus\mathbf{W}.
At this point, similarly as in the case of the height-one field without the presence of dissipation fields, one can prove that we have
where, recall, we defined H_1(\mathbf{z}) \coloneqq \frac{1}{4\pi}\big[\prod_{e \sim \mathbf{z}}\big(\nabla_{\!\sharp}\xi(e)\nabla_{\!\sharp}\theta(e) - 1\big) - 1\big].
To complete the proof, we just need to prove
Recall that recurrent configurations are in bijection with spanning trees via the burning algorithm. Then, on the one hand, using the matrix-tree theorem, we get
where \det_{\mathbf{W}} denotes the determinant of the submatrix with rows and columns indexed by \mathbf{W}=\{\mathbf{w}_1,\ldots,\mathbf{w}_n\} . On the other hand, from the fermionic Wick’s formula, it is straightforward to get get
from which one can compute
The complete the proof we just need to compare (?) and (?) since we have the 2-point function \big\langle \xi(\mathbf{z}) \theta(\mathbf{w}) \big\rangle_{\Omega^{\delta}}^{\textnormal{fDGFF}} = 4\pi \, \mathbf{G}_{\Omega^{\delta}} (\mathbf{z},\mathbf{w}).
For one height-one field and one dissipation field, we have
uniformly for (z,w) in compacts of \textnormal{Conf}_{2}( \Omega ), where \mathbf{z}^\delta and \mathbf{w}^\delta are the vertices in \Omega^{\delta} that are closest to z and w respectively. \diamond
The fields
transparently belong in \mathcal{F}_{\textnormal{lin}}. We define their representatives {X}_{0}\coloneqq \boldsymbol\upxi(0) and {H}_{0}\coloneqq \boldsymbol\uptheta(0). \diamond
The fields
are linear local fields. That is, they have linear field polynomial representatives. \diamond
The set
constitutes a basis of the space \mathcal{F}_{\textnormal{lin}}.
The proof follows the same lines as the proof of Theorem 5.1 in [ABK-DGFF_local_fields] with the addition of the non-zero average linear fields \boldsymbol{\uptheta} and \boldsymbol{\upxi}.
The set
spans the subspace \mathcal{N} \cap \mathcal{P}_{\textnormal{lin}} of null linear local field polynomials.
We have \wick{\Delta_\sharp\c\boldsymbol\upxi(\mathbf{u}) \c\boldsymbol\uptheta(\mathbf{v})} = \wick{\c\boldsymbol\upxi(\mathbf{u}) \Delta_\sharp\c\boldsymbol\uptheta(\mathbf{v})} = -4 \pi \delta_{\mathbf{u},\mathbf{v}}. In particular, we have
and
for any discrete domain \Omega^{\delta} and point \mathbf{z}\in\Omega^{\delta}. \diamond
Given two linear field polynomials L_1,L_2\in\mathcal{P}_{\textnormal{lin}}, their normal ordering is given by \, \rotatebox[]{90} {\scalebox{.8}{ }}\, L_1 \, L_2 \,\rotatebox[]{90}{\scalebox{.8}{ }}\, = L_1 \, L_2 - \wick{\c L_1 \, \c L_2}. In particular, by Example 5.5, we have
for any discrete domain \Omega^{\delta} and point \mathbf{z}\in\Omega^{\delta}. \diamond
The normal ordering of n>2 linear field polynomials L_1,\ldots,L_n\in\mathcal{P}_{\textnormal{lin}} can be inductively proven to satisfy the formula
where the hat (\,\widehat{\phantom{m}}\;\!) indicates the factor is not in the product. \diamond
The map \, \rotatebox[]{90} {\scalebox{.8}{ }}\,\cdot\,\rotatebox[]{90}{\scalebox{.8}{ }}\,\colon \mathcal{P}\longrightarrow\mathcal{P} is surjective. To see this, note that, for a field polynomial P of degree d, the field polynomial \, \rotatebox[]{90} {\scalebox{.8}{ }}\,P\,\rotatebox[]{90}{\scalebox{.8}{ }}\,-P is of degree at most d-2. That is, the map \, \rotatebox[]{90} {\scalebox{.8}{ }}\,\cdot\,\rotatebox[]{90}{\scalebox{.8}{ }}\, is upper triangular with 1s on the diagonal. \diamond
Let L_1,\ldots,L_n\in\mathcal{P}_{\textnormal{lin}} be linear field polynomials. If L_i is null for some i\in\{1,\ldots,n\}, then \, \rotatebox[]{90} {\scalebox{.8}{ }}\,L_1 \cdots L_n\,\rotatebox[]{90}{\scalebox{.8}{ }}\, is a null field polynomial too. To prove this, one first needs to expand the expression of the correlation function
by means of Wick’s formula —Remark 3.1— and the definition of normal ordering. The proof eventually boils down to the observation that we have
whenever L_1 or L_2 are null linear fields—recall the characterisation of null linear fields in Corollary 5.4 and the Example 5.6. We refer the reader to [ABK-DGFF_local_fields, Lemma 6.2] for a detailed proof of this statement in the bosonic setting. \diamond
Denote by T the tensor product
of linear fields. Then we have
We write down the details only for the case \overline n = \overline m = 0; the proof in the general case follows similar arguments. We proceed by induction on n+m. The linear base cases
are straightforward to check since normal ordering \, \rotatebox[]{90} {\scalebox{.8}{ }}\,\cdots\,\rotatebox[]{90}{\scalebox{.8}{ }}\, is the identity map when restricted to linear field polynomials. The value \mathbf{G}_{{\mathbb Z}^2}(0)=0 implies that we also have
For the rest of the proof we focus only on the last case —that is, the \, \rotatebox[]{90}{\scalebox{.8}{ }}\,T\otimes\boldsymbol{\uptheta}\otimes\boldsymbol{\upxi}\,\rotatebox[]{90}{\scalebox{.8}{ }}\, case—, the other three can be handled in a similar manner. By the induction hypothesis, we have
with F \, \coloneqq \, {X}_{-k_n} \cdots {X}_{-k_1} {H}_{-\ell_m} \cdots {H}_{-\ell_1} {H}_{0} \, {X}_{0} , where {X}_{k} and {H}_{\ell} are the field-polynomial representatives of the linear fields in Examples 5.1 and 5.2. In what follows, we also use the notation
where the hat (\,\widehat{\phantom{m}}\;\!) indicates the factor is not in the product. We prove the inductive step for the induction in n—the induction in m can be handled almost identically. Then, on the one hand, using the recursive formula in by Remark 5.7, we have
where we have already removed the terms with vanishing Wick contractions of the type \wick{\c X \c X}. On the other hand, by the definition of the current modes —Proposition 3.9— and using the discrete Stokes’ formula —Section ?—, we have
where the sum runs over a big enough neighbourhood of the origin. Using the recursive formula in Remark 5.7 again, we can massage the last expression into
Comparing (?) and (?) we see that if we have
for all k>0 and \ell\geq 0, we get the desired
Using the expression of the linear representatives —Example 5.2— and using Stokes’ formula again, (?) is equivalent to
which is indeed true by virtue of Lemma 5.11.
Let \gamma be a large enough corner contour encircling the origin. We have,
and
for k > 0 and \ell \geq 0. We also have
and
for k > 0 and \ell > 0.
We prove the case \ell = 0 for general k > 0. Recall that we defined X_0=\boldsymbol\upxi(0) in Example 5.1. We have
Note that, away from the origin, both integrands are discrete holomorphic, so the above integral does not depend on the (large enough) discrete contour \gamma. Recall that, as \vert \mathbf{u} \vert \to \infty, we have \mathbf{u}^{[-k]}=\mathcal{O}\big(\vert\mathbf{u}\vert^{-k}\big) and \partial^\bullet_\sharp\mathbf{G}_{{\mathbb Z}^2}(\mathbf{u})=\mathcal{O}\big(\vert\mathbf{u}\vert^{-1}\big). Let \gamma(R) be a discrete contour with a square shape of sidelength R. The above integral has the asymptotic behaviour \mathcal{O}\big(R^{-k}\big) as R \to \infty, but, since it does not depend on R, taking the limit R\to\infty we see that it must vanish. The case \ell > 0 can be handled by similar arguments—we refer the reader to [ABK-DGFF_local_fields, Lemma 6.5] for the details of these arguments in the bosonic setting.
Let V be a representation(We use the module notation for simplicity.) of \textnormal{\textbf{SF}} \oplus \overline{\textnormal{\textbf{SF}}}, and let v\in V\setminus \{0\} be a non-zero vector satisfying
and
Then there exists a unique (\textnormal{\textbf{SF}} \oplus \overline{\textnormal{\textbf{SF}}})-homomorphism \mathscr{F}{\!\!\textnormal{\footnotesize\itshape ock}}\rightarrow V determined by
This map is injective and constitutes an isomorphism between \mathscr{F}{\!\!\textnormal{\footnotesize\itshape ock}} and (\mathcal{SF} \otimes \mathrlap{\hspace{1.5pt}\overline{\scalebox{1}[1]{\phantom{\ensuremath{\mathcal{SF}}}}}}\ensuremath{\mathcal{SF}} )v as representations of \textnormal{\textbf{SF}} \oplus \overline{\textnormal{\textbf{SF}}}.
The existence of such a map follows from the universal property of the quotient \mathscr{F}{\!\!\textnormal{\footnotesize\itshape ock}}. Uniqueness follows from the fact that the values of the map on the basis vectors are fixed by \boldsymbol{\omega} \mapsto v and the homomorphism property. Let \phi\colon\mathscr{F}{\!\!\textnormal{\footnotesize\itshape ock}}\rightarrow V denote such a unique homomorphism. By construction, the map \phi maps \mathscr{F}{\!\!\textnormal{\footnotesize\itshape ock}} surjectively onto the submodule (\mathcal{SF} \otimes \mathrlap{\hspace{1.5pt}\overline{\scalebox{1}[1]{\phantom{\ensuremath{\mathcal{SF}}}}}}\ensuremath{\mathcal{SF}} )v. As for injectivity, since it is a non-zero map, its kernel must be a proper submodule of \mathscr{F}{\!\!\textnormal{\footnotesize\itshape ock}}. Recall from Remark 2.1 that the only three proper submodules of \mathscr{F}{\!\!\textnormal{\footnotesize\itshape ock}} are (\mathcal{SF} \otimes \mathrlap{\hspace{1.5pt}\overline{\scalebox{1}[1]{\phantom{\ensuremath{\mathcal{SF}}}}}}\ensuremath{\mathcal{SF}} )\boldsymbol{\xi}, (\mathcal{SF} \otimes \mathrlap{\hspace{1.5pt}\overline{\scalebox{1}[1]{\phantom{\ensuremath{\mathcal{SF}}}}}}\ensuremath{\mathcal{SF}} )\boldsymbol{\theta} and (\mathcal{SF} \otimes \mathrlap{\hspace{1.5pt}\overline{\scalebox{1}[1]{\phantom{\ensuremath{\mathcal{SF}}}}}}\ensuremath{\mathcal{SF}} )\boldsymbol{\mathbbm{1}}; the third one, in turn, is a proper submodule of each of the first two. However, since we assumed
we must have \ker \phi = \{0\}, i.e. \phi is injective. We conclude that \phi is an isomorphism between \mathscr{F}{\!\!\textnormal{\footnotesize\itshape ock}} and (\mathcal{SF} \otimes \mathrlap{\hspace{1.5pt}\overline{\scalebox{1}[1]{\phantom{\ensuremath{\mathcal{SF}}}}}}\ensuremath{\mathcal{SF}} )v.
Let \mathbf{z}^\delta\in\Omega^{\delta} be the closest vertex to z\in\Omega in \Omega^{\delta}. We have
uniformly for z in compacts of \Omega, where \mathbf{g}_{\Omega} is the harmonic part of the Green’s function on the domain \Omega as in Section ?.
The function,
is discrete harmonic on \Omega^{\delta} and has boundary values \frac{1}{2\pi}\log \vert \mathbf{x}^\delta - \mathbf{z}^\delta \vert + \mathcal{O}(\delta^2) as \delta\downarrow0 for \mathbf{x}^\delta at the boundary of \Omega^{\delta}. It is well-known that (any reasonable extension to \Omega of) H^\delta converges to the harmonic extension of the function x\mapsto\frac{1}{2\pi}\log \vert x - z\vert on \partial\Omega to the interior \Omega. This limiting function on \Omega is the harmonic part of the Green’s function \mathbf{g}_\Omega( \,\cdot\, ,z). Evaluating H^\delta at \mathbf{z}^\delta, we get the desired scaling limit convergence since we have \mathbf{G}_{{\mathbb Z}^2}(0)=0.
Let \mathbf{z}^\delta\in\Omega^{\delta} be the closest vertex to z\in\Omega in \Omega^{\delta} and fix \lambda > 0. We have
uniformly for z in compacts of \textnormal{Conf}_{n}( \Omega ), where \alpha(\lambda)\coloneqq 2 \big( \log \lambda + \mathsf{C} \big).
The text on this page is from arXiv:2508.03972v2 by David Adame-Carrillo and Wioletta M. Ruszel, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/2508/2508.03972.jsonl.