SciPost Submission Page
On currents in the $O(n)$ loop model
by Jesper Lykke Jacobsen, Rongvoram Nivesvivat, Hubert Saleur
This is not the latest submitted version.
This Submission thread is now published as
Submission summary
Authors (as registered SciPost users):  Jesper Lykke Jacobsen · Rongvoram Nivesvivat 
Submission information  

Preprint Link:  https://arxiv.org/abs/2310.11064v1 (pdf) 
Code repository:  https://gitlab.com/s.g.ribault/Bootstrap_Virasoro 
Data repository:  https://gitlab.com/s.g.ribault/Bootstrap_Virasoro 
Date submitted:  20231206 02:45 
Submitted by:  Nivesvivat, Rongvoram 
Submitted to:  SciPost Physics 
Ontological classification  

Academic field:  Physics 
Specialties: 

Approach:  Theoretical 
Abstract
Using methods from the conformal bootstrap, we study the properties of Noether currents in the critical $O(n)$ loop model. We confirm that they do not give rise to a KacMoody algebra (for $n\neq 2$), a result expected from the underlying lack of unitarity. By studying fourpoint functions in detail, we fully determine the currentcurrent OPEs, and thus obtain several structure constants with physical meaning. We find in particular that the terms $:\!J\bar{J}\!:$ in the identity and adjoint channels vanish exactly, invalidating the argument made in \cite{car931} that adding orientationdependent interactions to the model should lead to continuously varying exponents in selfavoiding walks. We also determine the residue of the identity channel in the $JJ$ twopoint function, finding that it coincides both with the result of a transfermatrix computation for an orientationdependent correlation function in the lattice model, and with an earlier Coulomb gas computation of Cardy \cite{car93}. This is, to our knowledge, one of the first instances where the Coulomb gas formalism and the bootstrap can be successfully compared.
Current status:
Reports on this Submission
Report #2 by Anonymous (Referee 2) on 202422 (Invited Report)
 Cite as: Anonymous, Report on arXiv:2310.11064v1, delivered 20240202, doi: 10.21468/SciPost.Report.8489
Report
In the submitted manuscript the authors have considered 2d CFTs with a $O(n)$ symmetry which describe the critical point of $O(n)$ loop models. They work with the current operators $J, \bar{J}$ and show the spectrum of operators in their OPEs. It is pointed out from the expressions of the OPEs that the currents are nonholomorphic and do not have a KacMoody algebra. In sec 3, they show how the 4point function $\langle JJJJ\rangle$ is determined by the spectrum up to some structure constants i.e. OPE coefficients. These structure constants are determined from a bootstrap analysis and the results are compared with an analytic formula, which is obtained in a companion paper. This analytic formula is also used to determine the level parameter $k$ i.e. the residue of the leading singularity in the $J(x)J(0)$ OPE.
In sec 4, the special cases of $n=\pm 2$ are discussed separately. In the final section the authors have argued that the marginal operator $J\bar{J}$ decouple from the theory and hence cannot be a deformation of the critcal loop model as argued in ref. [1] of the paper. In this context they discuss the two point function of orientation of loops in a complex $O(n/2)$ model, which depends on the parameter $k$. The expression for $k$ obtained in the paper matches that obtained in refs. [2,9] using Coulomb gas technique.
I find the analysis and results of this paper quite robust and interesting. I would recommend it for publication, but I request the authors for clarifications on the following two points:
1. For the bootstrap analysis in sections 3.1 and 3.2, it is argued that an infinite tower of Virasoro primaries can be packed together into a single interchiral conformal block. It is then convenient to truncate the spectrum of primaries in the crossing equation. However it was not clear to me how the truncation was done. Was the complete interchiral block computed so that the truncation was only in the first primary in the tower? Or was the interchiral block itself truncated at some order of expansion?
2. It is clear that the bootstrap analysis was performed for an arbitrary $n$ and the result matched with the analytic expression (3.8). However is it not possible to have some special value of $n$ where there are other crossing symmetric solutions, that cannot be captured in the analysis of sec. 3.2? Is there any reason to rule out such solution? If not, should eq (3.8) be modified for such $n$'s?
I also noticed that one of the authors of ref. [9] was not credited in the paragraph above eq. (5.19).
Report #1 by Anonymous (Referee 1) on 2024122 (Invited Report)
 Cite as: Anonymous, Report on arXiv:2310.11064v1, delivered 20240122, doi: 10.21468/SciPost.Report.8434
Report
This paper analyzes CFT data about Noether currents in critical $O(n)$ loop model using methods of numerical Virasoro conformal bootstrap. An important contribution of the paper is a bootstrap study of problems which is usually tackled using Coulomb gas calculations.
In section $2$, the authors study currentcurrent OPEs and show that there is no underlying KacMoody algebra that would have followed in a unitary $2D$ critical system with continuous symmetry, described by WessZuminoWitten CFT in the continuum. In section $3$ the authors continue their study of $JJ$ OPE using analytical approach as well as numerical bootstrap. They show outstanding agreement between the results obtained from the two methods. Then in sections $4$ the authors study currentcurrent OPE in the $n\to\pm 2$ freefield limits of the loop model. In section $5$ general $n$ loop models, like selfavoiding random walk, are investigated. This paper is an interesting application of numerical conformal bootstrap adapted to nonunitary CFT with important physical implications for $2D$ critical loop models. This work is also important in comparing numerical bootstrap results with results obtained from other nonbootstrap analytical methods like the Coulomb gas technique.
I recommend the publication of this paper after the authors address the following points and incorporate the changes requested.
$\textbf{Requests for clarification}$
1. In equation (3.8) the authors have introduced the structure constants $C_{JJV}^{\rm ref}, \, C_{VJJ}^{\rm ref}$ which they have called the $\textit{reference structure constants}$. Is there any particular reason why these are called with the prefix $\textit{reference}\, ?$ What are their relations to the structure constants $C_{JJV}$ introduced in prior discussions, like, for example, in eq. (2.7)?
2. Eq (3.16) gives conjectural upper bounds on the degrees of the polynomial $q^{\Lambda}_{(r,s)}(n)$ for $r\le 5$ based on the analysis of a companion paper cited as ref [25].
A) What is so special about $r=5$? Is there a reason why there is no conjecture for $r>5$?
B) The authors provide explicit expressions for various $q^\Lambda_{(r,s)}(n)$ in equations (3.18)(3.21). The polynomials in equations (3.18) and (3.19) saturate the respective upper bounds on the degree of the polynomials. Are there other polynomials of the same class which does not saturate the upper bounds given in eq(3.16), like some of the polynomials in (3.20)(3.21) which do not saturate the respective upper bounds? Since, in the preceding paragraph, the authors claim that these polynomials can be uniquely determined by the crossingsymmetry equation, is there a way to analyze the crossingsymmetry equation to predict whether the polynomial will saturate the upper bound of the degree?
3. Are there particular reason why the authors consider $\langle\bar{J}\bar{J}\bar{J}\bar{J}\rangle$ instead of $\langle JJJJ\rangle$ for numerical bootstrap?
$\textbf{Requests for changes}$
$\S$ The review paragraph on the spectrum of $O(n)$ CFT is a natural entry point into the paper's analysis. Starting section 2 with this review paragraph, instead of relegating it to the end of the introduction, sets a better flow.
$\S$ The authors claim that the various equalities in equation (3.17) can be established using the degenerate shift equation (2.7). Since this does not seem obvious, and this provides the logical precedence to the subsequent numerical analysis, it is desirable to have this worked out explicitly. At the least, the authors are requested to provide a clear flow of logic as to how one can show these equalities.
$\S$ Since this paper uses important techniques, both analytical and numerical, some short reviews of these will improve the readability of the paper. In particular, a gist of the results of ref [25], which is cited time and again throughout the paper, is needed to understand some important points that have been raised in point $3$ above. Further, a review of the basic setup for the numerical bootstrap, like some formal expressions for the various truncated crossingsymmetry equations, is needed to understand how the numerical scheme is used.
$\S$ Please use some different colors in the diagrams of (A.28) in Appendix A which can act as a better guide for the arguments presented in the preceding paragraphs.
$\S$ Please update the ref [25].