SciPost Submission Page
Gapped Phases with Non-Invertible Symmetries: (1+1)d
by Lakshya Bhardwaj, Lea E. Bottini, Daniel Pajer, Sakura Schäfer-Nameki
This is not the latest submitted version.
Submission summary
Authors (as registered SciPost users): | Lakshya Bhardwaj · Lea Bottini |
Submission information | |
---|---|
Preprint Link: | https://arxiv.org/abs/2310.03784v2 (pdf) |
Date submitted: | 2023-10-26 13:25 |
Submitted by: | Bottini, Lea |
Submitted to: | SciPost Physics |
Ontological classification | |
---|---|
Academic field: | Physics |
Specialties: |
|
Approach: | Theoretical |
Abstract
We propose a general framework to characterize gapped infra-red (IR) phases of theories with non-invertible (or categorical) symmetries. In this paper we focus on (1+1)d gapped phases with fusion category symmetries. The approach that we propose uses the Symmetry Topological Field Theory (SymTFT) as a key input: associated to a field theory in d spacetime dimensions, the SymTFT lives in one dimension higher and admits a gapped boundary, which realizes the categorical symmetries. It also admits a second, physical, boundary, which is generically not gapped. Upon interval compactification of the SymTFT by colliding the gapped and physical boundaries, we regain the original theory. In this paper, we realize gapped symmetric phases by choosing the physical boundary to be a gapped boundary condition as well. This set-up provides computational power to determine the number of vacua, the symmetry breaking pattern, and the action of the symmetry on the vacua. The SymTFT also manifestly encodes the order parameters for these gapped phases, thus providing a generalized, categorical Landau paradigm for (1+1)d gapped phases. We find that for non-invertible symmetries the order parameters involve multiplets containing both untwisted and twisted sector local operators, and hence can be interpreted as mixtures of conventional and string order parameters. We also observe that spontaneous breaking of non-invertible symmetries can lead to vacua that are physically distinguishable: unlike the standard symmetries described by groups, non-invertible symmetries can have different actions on different vacua of an irreducible gapped phase. This leads to the presence of relative Euler terms between physically distinct vacua. We also provide a mathematical description of symmetric gapped phases as 2-functors from delooping of fusion category characterizing the symmetry to Euler completion of 2-vector spaces.
Current status:
Reports on this Submission
Report
This paper provides a systematic study of 1+1d gapped phase with non-invertible symmetries. It provides sufficient details that expands a short companion paper on generalized Landau paradigm by the same set of authors. The results are novel, interesting, and the presentation is well-organized. The referee likes the paper a lot, and would strongly recommend the paper to be accepted by Scipost physics.
That said, there are a few comments i wish the authors can implement before publication. Note that all the comments below are based on the latest arXiv version v3 (rather than the submitted version v2).
1. I agree with all the comments from the first referee, and they should be implemented.
2. To the referee’s knowledge, the SPT phases and phase transitions between SPT phases (even for invertible symmetries) lay outside the generalized Landau paradigm. See for instance the discussion in the middle of page 7 of https://arxiv.org/pdf/2312.16898. However, in the present work, the generalized charges involve extended operators from the twist sector, hence the SPT phase can be understood as condensation of string order parameters, and can be incorporated into the generalized Landau paradigm in the sense of the current paper. I think this should be emphasized somewhere in the paper.
3. The authors emphasized that vacua in the presence of SSB of non-invertible symmetry are “physically distinguishable”, while whose of invertible symmetry are not. I do not fully agree with the later statement. Consider a mixed anomaly between G and H. For suitable mixed anomaly, the vacua from SSB of G carry different H-SPTs, and different SPTs are clearly distinguishable—for example different SPTs have different twisted sector charges, and also have different edge modes in the presence of boundaries. I think by physical distinguishability, the authors mean the relative Euler terms, hence it is somewhat a more restricted sense of physical distinguishability.
4. I think it is worth to mention that only “simple” symmetry boundary condition A_S of the SymTFT is considered, which means the paper does not consider multi-fusion category. (However mult-fusion category appeared below eq 3.9, is the assumption relaxed here, and only here? )
5. Related to 4, I think it is also worth to mention that only “simple” physical topological boundary condition A_{phys} of the SymTFT is considered, which means the paper considers the “maximal” symmetry of the TQFT. The reason I brought this up is because given a TQFT, the choice of SymTFT is not unique. In particular, we can consider the SymTFT of a sub-symmetry. In this paper, I think the 2d S-symmetric TQFT classified by the SymTFT has S as its maximal 0-form symmetry. Relaxing the simpleness of the physical boundary clearly makes the symmetry non-maximal. For example, one can consider a topological domain wall between the two 2d TQFTs associated with each simple TFT, and domain wall is not associated with any object in S. Moreover, simple physical boundary condition is also related to only one ambiguous \lambda in eq 3.12. If the physical boundary condition is non-simple, there can be multiple \lambda’s unfixed.
6. The simpleness of the topological boundary conditions are mentioned on page 27, but I think it can be mentioned much earlier (say in the intrduction).
7. On page 11, it is said that the TY($Z_N$) are non-group-theoretical. This is not precise—TY($Z_N$) is non-group theoretical only when N is not a prefect square, as discussed in detail in ref 64.
8. What is the precise relation between eq 3.32 and eq 3.34? Is the latter a special case of the former? Should’t the representation of tube algebra completely characterize the generalized charge, or not?
9. In footnote 16, it is said that A_S and A’_S have the same localized symmetry S. Can the authors give an example? Moreover, what does “localized symmetry” mean?
Recommendation
Ask for minor revision
Strengths
1- The paper contains a detailed discussion of a novel aspect that spontaneous breaking of non-invertible symmetries can lead to physically distinguishable vacua.
2- The paper is very comprehensive and rather detailed in its discussion of examples, starting with relatively simple and well-known ones and then turning its attention to more complicated and also new ones that have not been discussed in the literature so far
3- At many places, the paper uses different perspectives and approaches to reach the same conclusions. This is instructive and provides additional confidence in the validity of the results.
Weaknesses
1- Referring to the acceptance criteria: The paper does NOT contain a clear conclusion summarizing the results and offering perspectives for future work. One could argue though that the introduction itself serves as a suitable summary.
2- Beyond the introduction the authors are very sparse with references. For readers who are not entirely familiar with previous developments in this very dynamic area it is frequently very hard to judge whether a statement that is made is (i) well-established knowledge (not worth citing a reference [according to them]), (ii) a working hypothesis, or (iii) something that is going to be established later by the authors. One of many examples: "For invertible symmetries, i.e. when the symmetry is described by a finite (0-form) symmetry group G, the Euler terms can all still be tuned to zero" below equation (2.3), stated without explanation or reference.
3- Referring to point 2: What the authors regard as well-established knowledge might differ from what the reader regards as well-established knowledge, either because the reader lacks the detailed experience in the area or because they have different attitudes concerning the mathematical level of rigor of the statement. From this perspective it would be appropriate to be much more detailed about references that the authors have in mind in connection with certain statements and also be clearer about what is an assumption or working hypothesis and what will be shown subsequently.
4- Referring to point 3: The authors should imagine someone reading their paper in many years time, without having all the relevant background knowledge that active researchers in the field might currently have. In my opinion it should still be valuable then and be so as a stand-alone paper. For instance, the classification of fiber functors in (3.22) very clearly requires an explicit reference to where this (specific) result was obtained. Similarly, the statement "The irreducible topological boundary conditions of the SymTFT Z(S) are captured (modulo Euler terms) by Lagrangian algebras in the Drinfeld Center Z(S)" requires a reference. These are just two of many examples.
Report
The paper uses the recent SymTFT approach to classify gapped phases of matter in 1+1D and provides a detailed discussion of the relevant vacua and generalized order parameters, from a general perspective and in many concrete examples. One novel aspect is the realization that the spontaneous breakdown of non-invertible symmetries may lead to the existence of physically distinguishable vacua. Also the discussion of some examples seems to be new, especially of the symmetries $TY(Z_N)$.
The paper provides a very clear introduction into the topic and a nice summary of the general strategy and the results obtained. I also regard it as very valuable to see how the general theory of "generalized charges" that was obtained in a different paper applies concretely in 1+1D, a setting many people from various different scientific communities have experience and interest in. Even though the results for some of the examples are not truly new I personally regard it as important to see how they can be obtained within the powerful and very general framework of SymTFT and generalized charges.
The methodology and reasoning is very sound and explained in appropriate detail even though the referee was not able to validate all individual statements and computations in view of the available time. Concrete strengths and weaknesses have been highlighted before.
In my opinion, the paper opens a new pathway in an existing/emerging direction, with clear potential for multipronged follow-up work, thus satisfying one of the expectations for publications in SciPost Physics. It also satisfies acceptance criteria 1-5, with some reservations concerning the appropriate referencing to the literature (see above). Criterion 6 is clearly violated as was pointed out before.
In view of the well-written summary of the strategy and the results in the introduction I would still recommend the manuscript for publication after a minor revision.
Requested changes
1- Please address points 2-4 mentioned in the weaknesses above by being more specific about the origin of specific statements throughout the bulk of the text, including the citation of appropriate literature
2- Explicit examples of statements that would benefit from clarification or references are (and this list should not be viewed as exhaustive)
* The fiber functor classification around (3.22)
* Why are the two statements around (3.40) equivalent?
* "one may obtain physically indistinguishable vacua even if non-invertible symmetries are spontaneously broken" just before Section 3.5 (this will be derived later and that should be stated explicitly)
* below (4.12), what is "trivial" about this G-symmetry?
* "A general fact of every 3d SymTFT Z(S) is that any arbitrary topological boundary condition of Z(S) can be obtained by gauging the S symmetry of BsymS . "
* The statements below (4.19)
* The statements in the second paragraph of Section 4.2
* The statements around (4.20)
* Equation (4.29)
3- There is a long history of "string operators" and "string order", specifically in 1+1D and in connection with the notion of hidden symmetry breaking, that is currently completely absent from the references. The relevant original paper (which to my knowledge coined the term) appears to be https://doi.org/10.1103/PhysRevB.40.4709 and is, in my opinion, the minimum which should be cited
4- In (3.36) and the subsequent discussion there is an index $i$ in the coefficients $n_i^a$ that I found rather confusing (as it does not appear on the left hand side of the equation) and whose presence should be motivated explicitly
5- There is an $\omega$ appearing in (5.16) that appears to refer back to Section 4 while in the meantime $\omega$ was used for the anomaly of $Vec_G^\omega$. I would suggest to state again explicitly what $\omega$ is in this formula.
6- Papers that I would recommend citing at appropriate places:
* https://doi.org/10.1103/PhysRevB.79.045316
7- There are a few typos that should be corrected
* Below eq (3.32) there is no "following" rectangle identity but rather a figure that should be referenced
* identity $\to$ identify above (5.41) and (5.44)
* Below (7.17) (and maybe more generally) the footnote should be placed after the punctuation
* Footnote 21 appears in an incomplete sentence and it lacks the desired reference
* Appendix C would benefit from checking again for grammar, word twists, etc.
8- Probably quite a few papers cited in the references have been published in the meantime and should be updated.