SciPost Submission Page
An exact mapping between loop-erased random walks and an interacting field theory with two fermions and one boson
by Assaf Shapira, Kay Jörg Wiese
This is not the latest submitted version.
Submission summary
| Authors (as registered SciPost users): | Assaf Shapira · Kay Joerg Wiese |
| Submission information | |
|---|---|
| Preprint Link: | https://arxiv.org/abs/2006.07899v1 (pdf) |
| Date submitted: | June 16, 2020, 2 a.m. |
| Submitted by: | Assaf Shapira |
| Submitted to: | SciPost Physics |
| Ontological classification | |
|---|---|
| Academic field: | Physics |
| Specialties: |
|
| Approach: | Theoretical |
Abstract
We give a simplified proof for the equivalence of loop-erased random walks to a lattice model containing two complex fermions, and one complex boson. This equivalence works on an arbitrary directed graph. Specifying to the $d$-dimensional hypercubic lattice, at large scales this theory reduces to a scalar $\phi^4$-type theory with two complex fermions, and one complex boson. While the path integral for the fermions is the Berezin integral, for the bosonic field we can either use a complex field $\phi(x)\in \mathbb C$ (standard formulation) or a nilpotent one satisfying $\phi(x)^2 =0$. We discuss basic properties of the latter formulation, which has distinct advantages in the lattice model.
Current status:
Reports on this Submission
Report #2 by Anonymous (Referee 2) on 2020-9-18 (Invited Report)
- Cite as: Anonymous, Report on arXiv:2006.07899v1, delivered 2020-09-18, doi: 10.21468/SciPost.Report.2009
Strengths
The combinatorics of the method is interesting in its own right.
The new combinatorial approach is clearly compared with prior field theory literature on the statistical models.
The manuscript is very well written.
Weaknesses
Report
Requested changes
1) • p. 3, Example (10): Clarify that the graph is assumed to contain no other directed edges except between x and y (or perhaps a milder but similar assumption). Perhaps the authors in fact thought of the graph consisting only of these two vertices, which should then be stated clearly.
2) • p. 3, Definition of loop: The text defines loops as paths whose first and last vertices are equal and all other vertices are distinct. For the following combinatorics to work out correctly, this definition should be modified so that any two paths related by a cyclic permutation of vertices are considered the same loop. A possible terminology for this is (oriented) unrooted loops, as opposed to rooted loops.
3) • p. 3, Definition of $\mathcal{L}_{\gamma}$: Sentence: “We define the set $\mathcal{L}_{\gamma}$ to be the collections of…” -> “We define $\mathcal{L}_{\gamma}$ to be the set of collections of…” or “We define the set $\mathcal{L}_{\gamma}$ to consist of the collections of…”.
4) • p. 4, Paragraph of Eqn. (17)-(18) or of Eqn. (16): It is worth emphasizing that in the prescription, whenever a loop is transferred from the walk to the collection of loops, the disjointness of the loop collection is indeed preserved.
5) • p. 5, Paragraph of Eqn. (21): The terminology is otherwise accurate in referring to “pairs of complex conjugate fields”, except at the first mention of them. Change: “one pair $(\phi,\phi^{*})$ of complex fermionic fields” -> “one pair $(\phi,\phi^{*})$ of complex conjugate fermionic fields”.
6) • p. 6, Definition of “graded commutation relations”: The intended meaning of Eqn. (24) and (25) can probably be guessed correctly, but its current statement is not sufficiently clear. Specifically, (24) should be imposed for $\phi(x)\psi(y)$ for any $x,y$, whereas (25) should only be imposed for $\phi(x)\phi(y)$ when $x=y$.
7) • p. 6, Eqn (28): One further pair of parentheses would avoid any potential misunderstanding about whether the product $\prod_{i}$ is inside the product $\prod_{x}$ (as is should be), or whether the two are separate.
8) • p. 7, Paragraph of Eqn (30): The most interesting observable that the authors calculate in the field theory is $U(a,b,c)$, proportional to the probability that the loop-erased random walk from $a$ to $c$ goes via $b$. It appears very natural to ask about a generalization: does the field theory at least in principle also allow for the calculation of the probability that the loop-erased random walk from $a$ to $c$ goes via all of $b_{1},\ldots,b_{n}$? If the answer is no, the field theory formulation is still quite interesting, but it seems appropriate to briefly admit that there are questions about loop-erased random walks that can not be addressed in the theory. If the answer is yes, I recommend mentioning this interesting generalization and giving a brief hint for how it is done.
9) • p. 9, Paragraph of Eqn. (42): “standard bosonic fields” -> “standard pair of complex conjugate bosonic fields”.
10) • p. 11, Last paragraph before Section 7: “on a 3-regular graph as the honeycomb lattice” -> “on a 3-regular graph such as the honeycomb lattice”.
Report #1 by Ilya Gruzberg (Referee 1) on 2020-8-4 (Invited Report)
- Cite as: Ilya Gruzberg, Report on arXiv:2006.07899v1, delivered 2020-08-03, doi: 10.21468/SciPost.Report.1882
Strengths
- The paper contains a new exact relation between a probabilistic object, which is intrinsically non-local (loop erased random walk), and a local field theory. The relation holds for any directed graph.
- The paper is well written and organized, clearly stating its results and outlining the derivations.
- The paper is sufficiently compact to be read reasonably quickly in order to grasp the main results.
- The paper provide enough details to reproduce all the intermediate steps.
Report
The paper presents a new and exact relation between loop-erased walks on arbitrary directed graphs and discrete field theories of two complex fermions and one complex boson. Such a relation was known before from the work of one of the authors (and collaborators), where the complex boson involved in the construction was nilpotent. The present paper demonstrates that the nilpotetn boson can be replaced a much more familiar canonical complex bosonic field. The applications and extensions of this work are numerous and partially summarized by the authors at the end of the paper.
Requested changes
- I have never before encountered nilpotent bosons, and would like the authors to provide some clarifications. I had to go to the previously published paper by T. Helmuth and A. Shapira to make sense of the nilpotent bosons. They turned out to be even members of a Grassman algebra made up by to fermionc fields. However, this is not sufficient to understand why the definition of the functional integral for the nilpotent bosons can be taken as the Berezin integral, literally in parallel with the fermionic degrees of freedom. Therefore, I request that the authors provide an explanation of this choice of the functional integral, and its consequences: what is the result for a Gaussian integral of this form, and what is the statement of the Wick's theorem for the nilpotent bosons?