SciPost Submission Page
Parity and the modular bootstrap
by Tarek Anous, Raghu Mahajan, Edgar Shaghoulian
This Submission thread is now published as
Submission summary
Authors (as registered SciPost users):  Tarek Anous 
Submission information  

Preprint Link:  https://arxiv.org/abs/1803.04938v3 (pdf) 
Date accepted:  20180910 
Date submitted:  20180802 02:00 
Submitted by:  Anous, Tarek 
Submitted to:  SciPost Physics 
Ontological classification  

Academic field:  Physics 
Specialties: 

Approach:  Theoretical 
Abstract
We consider unitary, modular invariant, twodimensional CFTs which are invariant under the parity transformation $P$. Combining $P$ with modular inversion $S$ leads to a continuous family of fixed points of the $SP$ transformation. A particular subset of this locus of fixed points exists along the line of positive left and rightmoving temperatures satisfying $\beta_L \beta_R = 4\pi^2$. We use this fixed locus to prove a conjecture of Hartman, Keller, and Stoica that the free energy of a large$c$ CFT$_2$ with a suitably sparse lowlying spectrum matches that of AdS$_3$ gravity at all temperatures and all angular potentials. We also use the fixed locus to generalize the modular bootstrap equations, obtaining novel constraints on the operator spectrum and providing a new proof of the statement that the twist gap is smaller than $(c1)/12$ when $c>1$. At large $c$ we show that the operator dimension of the first excited primary lies in a region in the $(h,\overline{h})$plane that is significantly smaller than $h+\overline{h}<c/6$. Our results for the free energy and constraints on the operator spectrum extend to theories without parity symmetry through the construction of an auxiliary parityinvariant partition function.
Author comments upon resubmission
List of changes
1) In order to clarify which results are independent of the parity symmetry, we have changed the last line of the abstract to: ``Our results for the free energy and constraints on the operator spectrum extend to theories without parity symmetry through the construction of an auxiliary parityinvariant partition function.''
2) We have included the word ``both'' in the line above equation (3.8) in order to clarify that we must keep both temperatures fixed.
3) In section 3.2 we have reworded the discussion to indicate that we can always do the integral by saddle point. We have added the sentence ``If $\sqrt{E_{L}\,E_R}>c/24$, this saddle point is at a value of $\beta_L$ and $\beta_R$ such that $\beta_L \beta_R < 4\pi^2$.'' to explain the significance of that condition in the final equation for the Cardy formula.
4) We have modified figure 2 from simply showing the upper bound on the operator dimension to showing the entire region (including now a lower bound), where an operator must exist as dictated by modular invariance. We have modified the relevant section and caption accordingly and have added a parenthetical in the ensuing description to indicate that the sharp features are only a result of the largec limit and are not related to the low derivative order.
5) We have fixed a typo in the original submitted version of our paper. Previously it was written that $\tilde{\rho}\leq 2\rho(h,\overline{h})$. We have replaced this with the correct expression (3.12):$\tilde{rho} \leq 2\, \text{max}\left[\rho(h, \overline{h}),\rho(\overline{h},h)\right]$.
Published as SciPost Phys. 5, 022 (2018)
Reports on this Submission
Report #1 by Anonymous (Referee 3) on 2018816 (Invited Report)
 Cite as: Anonymous, Report on arXiv:1803.04938v3, delivered 20180816, doi: 10.21468/SciPost.Report.557
Strengths
1The authors used clear and concise arguments to argue qualitative properties of 2d CFT.$\\$
2It is a nice idea to utilize a continuous line of fixed points to bound theories.$\\$
3The paper is wellwritten and clarifies several potential confusions along the way.
Weaknesses
1Most techniques are existing ones, and some results are rederivations of old results.
Report
This paper explores how a continuous line of fixed points in parityinvariant CFT2 may be used to generate bounds and demonstrate universal features. Their major achievement is to prove a previous conjecture about the universality of the spectrum in large c theories. Other utilizations of the continuous line of fixed points are also discussed, and some are further generalized to theories without parity symmetry.
Requested changes
1Following up on Weakness 1 in my earlier report, I find the comment below (4.9) about the kink in the infinite c limit slightly misleading to the reader who is less familiar with bootstrap. Here there are two limits involved, infinite derivative order and infinite c. The physical order of limit is first infinite derivative order, and then infinite c. So the physical meaning of a kink that develops in the infinite c limit at 3 derivative order is unclear. I suggest that the authors add a footnote explaining this point, saying that the kink may be an artifact of finite derivative order. Better yet, if they wish, the authors may go to 5 or 7 derivatives to check the fate of the kink, and make a more definitive statement.$\\$
Note: There has also been no change or response regarding Changes 2, 4 and 6 in my earlier report, but since they were subjective comments, I leave those points to the authors' liberty.
Author: Tarek Anous on 20180830 [id 311]
(in reply to Report 1 on 20180816)Dear Referee,
Thank you again for your report. We would like to stress that the plots we have shown do not come from an exhaustive optimization up to a certain order of derivatives, as is usually the case in the bootstrap. They simply present the constraint that arises from a single combination of derivatives, with a judiciously chosen set of coefficients. In particular, the meaning of "the shape at higher orders" is, in not a welldefined notion in our presentation.
If we had chosen to perform a systematic optimization, one should expect a shape similar to the one that appears in our paper, but then the question of how the shape changes as we increase derivative order can be addressed, in that context. We instead judged that such a systematic optimization was outside the scope of our paper, opting instead for a qualitative illustration.
Without undertaking a systematic optimization, the best one can do to address your comment is to keep the combination of derivatives fixed and vary the central charge. As seen by the plots, the kinks only develop at large central charge.
As a result we believe it is best to leave the section unchanged.
Thank you for taking the time to assess our paper.
Tarek Anous, Raghu Mahajan, Edgar Shaghoulian