SciPost Submission Page
Lieb-Schultz-Mattis, Luttinger, and 't Hooft -- anomaly matching in lattice systems
by Meng Cheng, Nathan Seiberg
This is not the latest submitted version.
This Submission thread is now published as
|Authors (as registered SciPost users):||Meng Cheng · Nathan Seiberg|
|Preprint Link:||https://arxiv.org/abs/2211.12543v2 (pdf)|
|Date submitted:||2023-01-10 15:51|
|Submitted by:||Cheng, Meng|
|Submitted to:||SciPost Physics|
We analyze lattice Hamiltonian systems whose global symmetries have 't Hooft anomalies. As is common in the study of anomalies, they are probed by coupling the system to classical background gauge fields. For flat fields (vanishing field strength), the nonzero spatial components of the gauge fields can be thought of as twisted boundary conditions, or equivalently, as topological defects. The symmetries of the twisted Hilbert space and their representations capture the anomalies. We demonstrate this approach with a number of examples. In some of them, the anomalous symmetries are internal symmetries of the lattice system, but they do not act on-site. (We clarify the notion of "on-site action.") In other cases, the anomalous symmetries involve lattice translations. Using this approach we frame many known and new results in a unified fashion. In this work, we limit ourselves to 1+1d systems with a spatial lattice. In particular, we present a lattice system that flows to the $c=1$ compact boson system with any radius (no BKT transition) with the full internal symmetry of the continuum theory, with its anomalies and its T-duality. As another application, we analyze various spin chain models and phrase their Lieb-Shultz-Mattis theorem as an 't Hooft anomaly matching condition. We also show in what sense filling constraints like Luttinger theorem can and cannot be viewed as reflecting an anomaly. As a by-product, our understanding allows us to use information from the continuum theory to derive some exact results in lattice model of interest, such as the lattice momenta of the low-energy states.
Submission & Refereeing History
You are currently on this page
Reports on this Submission
- Cite as: Anonymous, Report on arXiv:2211.12543v2, delivered 2023-03-30, doi: 10.21468/SciPost.Report.6976
1-The manuscript is written in a pedagogical form and is very readable. With slight polish, the paper can be adapted to be an introductory review or textbook.
2-The work pays attention to the anomalies on lattice systems, which bridges the models on discrete finite lattice in UV limit to low-energy physics on continuum field theory in IR limit.
3-The framework can unify the Lieb-Schultz-Mattis theorem, Luttinger theorem and anomaly matching on the conceptual level and has the potential to offer new perspective in these topics.
1-The examples of lattice models are all well studied by other methods before. A novel lattice model is required to manifest the power of present theory.
The paper presents a delicate lattice theory of anomalies with anomalous symmetries including both internal and spatial symmetries. The framework can harbor Lieb-Schultz-Mattis theorem, Luttinger theorem, and so on.
I highly recommend the work towards publication. Nevertheless I still suggest the authors respond to the points in the “Weakness” and “Requested changes” to improve the manuscript.
The authors limit to the 1+1D bosonic lattice systems. A sketchy discussion about possible generalizations may benefit readers, like 2+1D systems and/or fermionic systems, other anomalies and so on.
The XXZ model has phase transitions at lambda_z=±1. The statement on page.9 “The standard BKT transition at R_XXZ=2 (corresponding to lambda_z=-1/sqrt(2))” is a bit confusing.
The statement on page. 76 “It does not decouple because it is irrelevant, but because of its large spatial momentum.” seems to be self-contradictory if the contexts are understood correctly. Also there is a concern about such decouple in regard to whether the order matters. Does “first decouple on finite size and then take the thermodynamic limit” equivalent to “first take the thermodynamic limit and then decouple”?
1-Typo at footnote of page.6, “rho(g(1))” should be “rho(h(1))”.
2-Add doi and publication information of References, e.g. Ref. “https://doi.org/10.1016/0003-4916(61)90115-4”, Ref. “DOI 10.4171/90-2/46 Published in Rupert L. Frank, Ari Laptev, Mathieu Lewin, and Robert Seiringer eds. "The Physics and Mathematics of Elliott Lieb'' vol.~2, pp.~405--446 (European Mathematical Society Press, 2022)”, Ref. “https://doi.org/10.1007/s00220-019-03343-5”, and others.
3-Define the “M” below eq.(1.6) in “Phi→Phi+2pi/M” precisely.
4-For the completeness of the presentation, there should have a “Summary and discussion” part at the end of the manuscript.
- Cite as: Anonymous, Report on arXiv:2211.12543v2, delivered 2023-02-11, doi: 10.21468/SciPost.Report.6719
1. The authors develop a very detailed theory of anomalies in lattice systems with translation symmetry. I certainly think that there is much value and conceptual insight to be gained in formulating these ideas precisely, and they discuss many examples in detail.
2. The results on finite-size systems, for example the relationship between the momentum of the ground state and the anomalies, are particularly welcome and I think totally new.
1. Regarding section 5: From various perspectives on LSM,it is clear that for a general internal symmetry group G, there should be an "anomaly" whenever the translation unit cell transforms projectively under G. However, this seems to be far from manifest from the perspectives described here. It's clear enough if G is Abelian -- then you can just read off the projective representation of a unit cell from eq. (5.4). [Indeed it's a well-known result about the cohomology of finite Abelian groups with U(1) coefficients that if phi is a 2-cocycle, then phi(g,h) - phi(h,g) contains all the information about the cohomology class of phi]. But the situation for non-Abelian G seems much less clear, especially due to the restriction that h \in C_g.
2. Throughout the paper, the authors are careful to consider systems with a finite (but large) system size L. This allows them to consider interesting properties of the finite-size systems, e.g. the momenta of the low-lying states. However, in condensed matter physics we are often interested only in the thermodynamic limit. I wonder whether there is a clean way to take the L->infty limit in order to simplify the formalism described, or if worrying about the details of finite-L is in fact unavoidable?
For the reasons described above, I would recommend acceptance, subject to the authors responding to the points in the "Weaknesses" and "Requested changes" sections of this report.
1. In Section I, regarding the sentence "The modern view of these anomalies involves coupling the system to classical background gauge fields for these symmetries, placing the system on a closed Euclidean spacetime, e.g., a torus, and studying the partition function"
Although this is *one* way to think about anomalies, it is certainly not the *only* way as the authors seem to be implying here. For example for local anomalies (which includes at least some of the anomalies discussed in the present work) one can talk about non-conservation of charge in response to background gauge fields, or non-commutation of the local density operators. Even for anomalies of discrete symmetries there are ways to formulate them in a Hilbert space / Hamiltonian language without having to talk about partition functions.
2. In Section 1: "This picture of anomalies assumes a continuous and Lorentz invariant space-time".
I do not believe that Lorentz invariance plays any essential role in discussing anomalies in continuum theories.
3. In Section 5.5, I can see why for sufficiently large L, there should be an exact agreement with the continuum theory regarding the momentum of the low-lying states. However for very small values of L, isn't the agreement that the authors found in this particular model merely a coincidence, or curiosity? For a generic Hamiltonian, with extremely small system sizes like L=2, there is no reason to think that the eigenstates of the Hamiltonian will have anything to do with the continuum theory.
4. The terminology and notation in section 2 was a bit confusing:
(a) In the general setup in section 2, are the authors already assuming that the internal symmetries are on-site? Otherwise it seems there may be some ambiguities in how to introduce the twist defects.
(b) In Section 2.3.2, the sentence: "Consider first the symmetry operators associated with the internal symmetry G and denote them by h \in G". Since the authors are talking about the symmetry operators in the twisted theory here, shouldn't they already be calling them "h(g)"?
(c) On the lattice, for internal on-site symmetries, is it not the case that h(g) = h(1) anyway, if h is in the centralizer of g?'
(d) In the paragraph below (2.10), the sentence "We will denote these operators as h(g)", it is unclear what exactly "these operators" is referring to.