SciPost Submission Page
Scaling of disorder operator at deconfined quantum criticality
by YanCheng Wang, Nvsen Ma, Meng Cheng, Zi Yang Meng
This is not the latest submitted version.
This Submission thread is now published as
Submission summary
Authors (as Contributors):  Meng Cheng 
Submission information  

Arxiv Link:  https://arxiv.org/abs/2106.01380v2 (pdf) 
Date submitted:  20220101 02:01 
Submitted by:  Cheng, Meng 
Submitted to:  SciPost Physics 
Ontological classification  

Academic field:  Physics 
Specialties: 

Approaches:  Theoretical, Computational 
Abstract
We study scaling behavior of the disorder parameter, defined as the expectation value of a symmetry transformation applied to a finite region, at the deconfined quantum critical point in (2+1)$d$ in the $J$$Q_3$ model via largescale quantum Monte Carlo simulations. We show that the disorder parameter for U(1) spin rotation symmetry exhibits perimeter scaling with a logarithmic correction associated with sharp corners of the region, as generally expected for a conformallyinvariant critical point. However, for large rotation angle the universal coefficient of the logarithmic corner correction becomes negative, which is not allowed in any unitary conformal field theory. We also extract the current central charge from the small rotation angle scaling, whose value is much smaller than that of the free theory.
Current status:
Submission & Refereeing History
You are currently on this page
Reports on this Submission
Anonymous Report 2 on 202232 (Invited Report)
 Cite as: Anonymous, Report on arXiv:2106.01380v2, delivered 20220302, doi: 10.21468/SciPost.Report.4602
Report
This paper applies the technology of symmetry disorder operators to deconfined quantum criticality. The paper is extremely interesting and worthwhile and apart from the specific points below it is clear. In addition to obtaining some scaling functions for the O(3) universality class, one main claim is that the line operator shows a violation of conformal invariance for deconfined quantum critical point (DCP) in negativity of quantity s(pi), a striking result.
However, I have a concern about the procedure for defining the line operators in a way that avoids strong bonds and the extent to which finite size effects are controlled. I hope that the authors can clarify these issues to solidify what will then be a nice paper.
1. Various definitions of the line operator are compared and Figure S3 (supplemental material) shows that for some of these choices of definition the expected behavior is not found. The authors' conclusion is that these choices of definition suffer from severe finite size effects.
What I do not see presented is evidence that similar finite size effects are absent for the preferred definition, in the DCP case where there is no independent result to check against. This is important because the authors explain in S3 that the finite size effects can be of the same magnitude as the phenomenon of interest and can artificially give a negative s(pi).
Therefore, the severity of finite size effects and the error bars in the large L extrapolation should be quantified directly from the data. This might allow the authors to directly support the claim that their chosen definitions are free of the severe finite size effects seen in Figure S3. Alternatively, it is possible that the size of differences between curves in S5 is reflective of the error bar in the final result.
The authors suggest in the supplemental material that the problem with finite size effects could be related to having to fit a nonuniversal leading term and also a universal subleading one. If it is possible with available data, an alternative may be to subtract off the leading term by taking appropriate differences of f(l)=ln <X> for different shapes/sizes instead of simply fitting it. For example f(l)b f(l/b) for some b.
It would also be useful to show in the supplemental material some intermediate plots that give a sense of the error bars involved in extracting the logarithmic coefficient.
2. The procedure of adjusting the path of the defect operator in response to the VBS configuration is justified on the grounds that it reduces the contribution from strong bonds. If I understand correctly, the adjustment is a simple translation of the operator.
It would seem that this procedure cannot change the coefficient of the leading perimeter law term. This term is set by microscopic correlations. Since the critical VBS order parameter is small at large L, a translation only changes microscopic conditions, on average, by an amount that is small at large L. Therefore, the change in the definition will only affect subleading terms.
For this reason, the argument for this protocol based on the J1J2 model example does not seem fully conclusive on its own to me. In the J1J2 model the differences in the protocols affect the leading term. The meaning of a strong bond is also different in the explicitly dimerized model and DCP model.
If point 1 was addressed with evidence quantifying finite size and fitting error then this could avoid needing to rely on this argument.
Other comments:
“is arguably the enigma of…”. I did not understand the exact meaning: this may be my ignorance of a use of the word, otherwise this could be clarified.
Why is the JQ3 model chosen (rather than JQ)?
“Previous studies of the (2+1)d Ising and … suggest”: is it a conjecture or has it been derived using RG?
“measurements of local observables in the H_JQ3 model appear to exhibit conformal invariance.” Is this correct? For a different DCP model in ref 14 the anomalous dimensions from the correlators become negative, violating unitarity bound, at scales roughly comparable with these.
What does it mean to calculate the VBS order parameter for a “spin configuration”?
Though there is an emergent U(1) for the VBS there is no corresponding microscopic onsite symmetry, so there is an obstacle to defining a similar disorder operator. Is there any way around this?
Anonymous Report 1 on 202231 (Invited Report)
 Cite as: Anonymous, Report on arXiv:2106.01380v2, delivered 20220301, doi: 10.21468/SciPost.Report.4592
Strengths
1. Timely study of a new aspect of the DQC scenario.
2. Marked differences in the behavior of the disorder operator mean value scaling between conventional QCP and anticipate DQC point are clearly exposed.
3. A careful numerical analysis is provided.
4. Details of the measurement scheme in the presence of translational symmetry breaking are provided.
Weaknesses
1. A few details need to be better explained, as detailed below.
2. The paper formatting needs to be adapted.
3. Several language flaws need to be corrected (see list below).
Report
The authors present a detailed numerical study using QMC methods of the scaling behavior of appropriate disorder operators in several quantum spin models at a quantum phase transition out of an AF ordered phase. In all cases the authors fit their numerical data, obtained on varying finitesize systems and square subregions, to a scaling form that contains a logarithmic corner contribution. They then carefully analyze the dependence of the corner contribution on the U(1) rotation angle entering the disorder parameter. For the bilayer and columnar dimer model (referred to as the J1J2 model in the manuscript) the observed behavior is in accord with earlier results by the same authors on related models and the lowangle scaling is in agreement with universal predictions from conformal symmetry and current conservation.
Interestingly, for the anticipated DQC in the JQ3 model, the behavior differs in two important aspects: (i) the extrapolated current central charge falls significantly below the free boson value, indicative of strong coupling, (ii) the largeangle value becomes negative, and the authors argue that this is not possible in any unitary CFT. This finding in certainly very interesting and adds an important new piece of information to the DQC scenario, in particular in view of several recent developments, as detailed by the authors.
In addition to the physical results, the authors provide detailed explanations of how to measure the disorder parameter mean value in the presence of (explicit or spontaneous) translational symmetry breaking, and such technical details are certainly very useful.
I find that all the general criteria for publication in SciPost Phys. are already met by the manuscript or will be met after my requests for changes are implemented, and also the expectation No. 3 is fulfilled, since this work opens a new perspective and approach to study the DQC scenario, calling for followup work from both computational and fieldtheoretical perspectives, e.g., on related models and transitions.
In summary, I suggest to publish this work after the following changes and clarifications are performed on the current manuscript:
Requested changes
1. All the SM should be turned into regular appendices or integrated into the main text.
2. The authors should provide details regarding the quality of the fits of their data to Eq. (4) in the form of chi^2 values that add information beyond the statement in [49].
3. The definition of the perimeter l=4RR should be justified (why not l=4R)?
4. The authors should explain how they arrived at the estimated scaling dimension for the spin operator in [53]. Furthermore, it should be made more explicit, how the last sentence in [53] relates to that result, i.e., the smallness of the imaginary part (I suppose).
5. In the current SM subsection on the choice of M, the authors claim that for the EvenA subregion the negative corner contribution comes about because of a large perimeter contribution that affects the fitting prediction. If this was indeed the case, then why does a similar problem not affect/explain the observed negative value of s in the case of the JQ3 model? Would the largeangel values of s turn out to become positive for the JQ3 model if better data would be available?
6. The authors should show ( e.g. included in the current Fig. S5) the results of a naive measurement of <X_M> at the anticipated DQC point in order for the reader to compare to the results from their correction procedure.
7. Overall, the manuscript contains a large number of language flaws, which must be corrected. Below is an incomplete list focusing on the first page only:
title: “Scaling of disorder operator…“ > “Scaling of the disorder operator…“
page 1: “exciciting“ > “exciting“
page 1: “which is defined“ > “which are defined“
page 1: “U(1) disorder operator“ > “The U(1) …“
page 1: “one side of DQC exhibits the Valence Bond Solid“ > “one site of the DQC exhibits valence bond solid“
page 1: “behavior of disorder operator“ > “behavior of the disorder operator“
page 1: “on square lattice, using the ubiased Stochastic…“ > “on the square lattice, using unbiased stochastic …“
…
Author: Meng Cheng on 20220620 [id 2598]
(in reply to Report 1 on 20220301)
We thank referee for his/her concise summary and high assessments of the importance of our work, and the useful comments and suggestions. We are more than happy to implement the requested changes and have substantially revised the main text and SM accordingly. Below are our responses to the requests:
Requested changes 1: All the SM should be turned into regular appendices or integrated into the main text.
Reply 1: Thanks for the suggestion and we have turned the SM into regular appendices.
Requested changes 2: The authors should provide details regarding the quality of the fits of their data to Eq. (4) in the form of $\chi^2$ values that add information beyond the statement in [49].
Reply 2: Thanks for the suggestion and we have added a more careful analysis of the fits in the Fig. 4 in the revised Appendix A.
Requested changes 3: The definition of the perimeter $l=4RR$ should be justified (why not $l=4R$)?
Reply 3: Sorry for the confusion. Since $l$ is the perimeter of region $M$ and the $M$ is a square shaped area with linear length $R$, we use $l=4R4$ to substract the overcounting of the 4 corners of the $M$. Of course, such a substraction will not affect the scaling behavior in the thermodynamic limit.
Comment 4: The authors should explain how they arrived at the estimated scaling dimension for the spin operator in [53]. Furthermore, it should be made more explicit, how the last sentence in [53] relates to that result, i.e., the smallness of the imaginary part (I suppose).
Reply 4: The scaling dimension is extracted from Ref. [52] ([55] in the revised manuscript). We have also expanded the discussions about the disorder operator in 1+1d Potts model.
Comment 5: In the current SM subsection on the choice of M, the authors claim that for the EvenA subregion the negative corner contribution comes about because of a large perimeter contribution that affects the fitting prediction. If this was indeed the case, then why does a similar problem not affect/explain the observed negative value of s in the case of the JQ3 model? Would the largeangel values of s turn out to become positive for the JQ3 model if better data would be available?
Reply 5: Thanks for the question. Actually, as shown in Fig.9 of the revised manuscript (in the appendix), the EvenA indeed affect the scaling behavior, note that even in Fig.9 is the EvenA in the Fig.7 for the J1J2 model. That is why, we have to introduce the even$\tilde{B}$ approach for the JQ3. And as for the large angle value of s, as shown in the Fig.9 (c), both even (the EvenA) and even$\tilde{B}$ give negative values, in fact the even (the EvenA) is more negative than even$\tilde{B}$. So we do not think s will turn to positive for JQ3 at large angle.
Comment 6: The authors should show ( e.g. included in the current Fig. S5) the results of a naive measurement of $<X_M>$ at the anticipated DQC point in order for the reader to compare to the results from their correction procedure.
Reply 6: Thanks for the suggestion. In the revised Fig.10 (in the appendix), we have now included the $s(\pi)$ as a function of $1/L$ for $q_c=0.59864$ at the DQCP.
Author: Meng Cheng on 20220620 [id 2599]
(in reply to Report 2 on 20220302)We would like to thank the referee for his/her high assessments, the careful reading and consise summary of both the physical impact and technical (numerical) innovation of our work. Regarding the comments, we respond them one by one below and make the corresponding changes in the revised manuscript.
Comment1: Various definitions of the line operator are compared and Figure S3 (supplemental material) shows that for some of these choices of definition the expected behavior is not found. The authors' conclusion is that these choices of definition suffer from severe finite size effects.
What I do not see presented is evidence that similar finite size effects are absent for the preferred definition, in the DCP case where there is no independent result to check against. This is important because the authors explain in S3 that the finite size effects can be of the same magnitude as the phenomenon of interest and can artificially give a negative $s(\pi)$.
Therefore, the severity of finite size effects and the error bars in the large L extrapolation should be quantified directly from the data. This might allow the authors to directly support the claim that their chosen definitions are free of the severe finite size effects seen in Figure S3. Alternatively, it is possible that the size of differences between curves in S5 is reflective of the error bar in the final result.
The authors suggest in the supplemental material that the problem with finite size effects could be related to having to fit a nonuniversal leading term and also a universal subleading one. If it is possible with available data, an alternative may be to subtract off the leading term by taking appropriate differences of $f(l)=ln <X>$ for different shapes/sizes instead of simply fitting it. For example f(l)b f(l/b) for some b.
It would also be useful to show in the supplemental material some intermediate plots that give a sense of the error bars involved in extracting the logarithmic coefficient.
Reply 1: We thank the referee for the insightful and professional suggestion and we are sorry that there are misunderstanding in our presentation that makes the referee confused about our data analysis. Let's try to explain in the more details here. We have tried three difference geometry of the region $M$ to obtain the $\langle X \rangle$ for the scaling analysis, the odd, evenA and evenB for the J1J2 model and the odd, even and even$\tilde{B}$ for JQ3 model, these are the Fig.7 and Fig.9 in the revised Appendix.
From these analyses, we find that odd and evenA for J1J2 model and odd and even for JQ3, give unexpected behavior which are the "finite size effect" the respected referee mentioned. And we believe the reason of such unexpected behavior is due to the fact the the boundaries of these two ways of defining the region $M$ cut too many local singlet bonds within nearest neighbor and generate too much local entanglement. So it is for both cases, the J1J2 and JQ3, "similar finite size effects are absent for the preferred definition", and we are sorry if our previous presentanation were not clear about this point.
Having this in mind, we found that the evenB choice for J1J2 and even$\tilde{B}$ for JQ3 give the similar preferred finite size scaling behavior of $\langle X \rangle$ and it is from here we can read the logcorrection for 2+1 O(3) consistent with the Bootstrap results and the largeangle $s$ is negative for DQCP.
As for the other suggestion of the respect referee, we have indeed implemented the $f(l) bf(l/b)$, i.e., the subleading term of the disorder parameter $X_M_{sub}=\frac{X_M}{b_0 \exp{(a_1 l)}}$, and it worked very well, as shown in the Fig.7(b) and Fig.9(b) of revised manuscript.
Comment 2: The procedure of adjusting the path of the defect operator in response to the VBS configuration is justified on the grounds that it reduces the contribution from strong bonds. If I understand correctly, the adjustment is a simple translation of the operator.
It would seem that this procedure cannot change the coefficient of the leading perimeter law term. This term is set by microscopic correlations. Since the critical VBS order parameter is small at large L, a translation only changes microscopic conditions, on average, by an amount that is small at large L. Therefore, the change in the definition will only affect subleading terms.
For this reason, the argument for this protocol based on the J1J2 model example does not seem fully conclusive on its own to me. In the J1J2 model the differences in the protocols affect the leading term. The meaning of a strong bond is also different in the explicitly dimerized model and DCP model.
If point 1 was addressed with evidence quantifying finite size and fitting error then this could avoid needing to rely on this argument.
Reply 2: We thank again the referee for the insightful comment, and we totally agree with the referee that ideally, the protocol for JQ3 (the even$\tilde{B}$) shall have less influence from the strong bonds compared with the evenB protocol of the J1J2, because, as the referee rightly put, the critical VBS of JQ3 shall not affect the leading term. However, as the referee is well aware of, it seems that the domain of the VBS at the DQCP can be actually large, at least for the system sizes we have studied. Therefore, in the revised Fig.9 in the appendix, we can see that the difference between the even$\tilde{B}$ protocol and say, odd protocol still exist even for the leading term. Of couse, the difference between them are indeed much smaller than that for the J1J2 case. It is exactly because of such subtle competition of the system sizes we could actually simulate and the interesting but complex behavior of the JQ3 model, that we are forced to follow the protocol after careful examination.
Comment 3: Other comments: ''is arguably the enigma of..''. I did not understand the exact meaning: this may be my ignorance of a use of the word, otherwise this could be clarified.
Reply 3: We thank the referee for the suggestion and have replaced the sentence to "the complex behavior of the DQCP ...".
Comment 4: Why is the JQ3 model chosen (rather than JQ)?
Reply 4: There are several kind of JQ model : JQ2, JQ3, et al, which are only distinguished by the difference of Q term. The reason of choosing JQ3 is because the critical point is larger in the axis of $J/Q$ such that the QMC simulation can be more efficient.
Comment 5: ''Previous studies of the (2+1)d Ising and … suggest'': is it a conjecture or has it been derived using RG?
Reply 5: A systematic RG derivation has not been done yet, but we notice that Eq. 4 contains all terms compatible with scale invariance. This form is also supported by extensive calculations in other critical theories, as cited in the manuscript.
Comment 6: ''measurements of local observables in the $H_{JQ3}$ model appear to exhibit conformal invariance.'' Is this correct? For a different DCP model in ref 14 the anomalous dimensions from the correlators become negative, violating unitarity bound, at scales roughly comparable with these.
Reply 6: This is correct, at least from available numerical data.
Comment 7: What does it mean to calculate the VBS order parameter for a ''spin configuration''?
Reply 7: Here, we mean that for each given``spin configuration'' (one microstate or one sample in the SSE QMC) at the $S_z$ basis, we calculate the two components of the VBS order $(D_x, D_y)$ with $D_x=\frac{1}{L^2}\sum_{x,y}(1)^{x} {\bf S}_{x,y} \cdot {\bf S}_{x+1,y}$ and $D_y$ defined analogously. It could take some confusion, we clarify the description in our revised manuscript.
Comment 8:  Though there is an emergent U(1) for the VBS there is no corresponding microscopic onsite symmetry, so there is an obstacle to defining a similar disorder operator. Is there any way around this?
Reply 8: While there is no corresponding U(1) symmetry, there is a $C_4$ lattice rotation symmetry that gets enhanced to U(1) at the critical point. It might be possible to generalize the definition of disorder operator for spatial rotation. Another possibility is to consider alternative realizations of the deconfined quantum critical point, such as the one between a quantum spin Hall insulator and a superconductor proposed in arXiv:1811.02583, where both SO(3) and U(1) are realized exactly in the lattice model and their disorder operators can be defined following the standard prescription. We are currently investigating disorder operators in this fermionic model.