{"id":"74571e90-6104-433e-addd-167a8f5f70a1","arxiv_id":"2412.14434","paper_version":3,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":2,"one_line_summary":"Continuous translations are broken by an ABJ-like anomaly to a discrete non-Abelian symmetry in a broad class of non-relativistic continuum field theories.","lead":"This paper shows that in many non-relativistic quantum field theories, the continuous translation symmetry of the classical theory is explicitly broken in the quantum theory to a discrete, non-Abelian symmetry. It unifies previously known examples, such as charged particles in a magnetic field and ferromagnets, as instances of an Adler-Bell-Jackiw-like anomaly.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The derivation leans on the unproved differential-cohomology transformation law (1.3); if the ellipsis terms behave differently, the translation anomaly and the non-Abelian algebra collapse. This is a real verification gap, though the quoted fact is standard.","rationale":"The paper's central derivation is a coherent application of a well-known Chern-Simons transformation law. The reader's weakest-assumption diagnosis is accurate: the unproved input is (1.3), and the x0^i analysis is taken from [1]. I do not see an internal contradiction in the paper. In particular, the path integral phase (4.6) follows formally from (1.3), the reduction to Z_k is consistent with the quantization condition, and the duality checks in Section 5 are non-trivial consistency tests that would fail if the anomaly were absent. The one place where I paused is the step from the phase (4.6) to the non-Abelian algebra (4.10)-(4.11): the paper argues by analogy with the charged-particle problem rather than deriving the operator algebra from the field-theoretic Hilbert space. This is a gap in presentation, not a demonstrated error, and it does not change the verdict because the analogy is direct and the algebra is the standard magnetic-translation algebra. The proposed test would settle the primary assumption; if it passes, the ACCEPT verdict stands. Therefore I recommend UNCHANGED.","tokens_in":17688,"tokens_out":14037,"duration_ms":121734,"concrete_test":"Compute the phase (4.6) from the bulk definition exp(iCS(A,2pi phi)) = exp((i/2pi) integral_{B_{d+2}} dA wedge d(2pi phi)), with boundary the d+1 dimensional torus spacetime, dA = 2pi k/V dx^1 wedge ... wedge dx^d, and holonomies (4.1). Shift A by the flat field (4.5), extend the shifted connection to the bulk, and evaluate the change of the bulk integral including all boundary terms from the extension. If the resulting phase differs from exp(2pi i k epsilon_i / ell_i integral dtau dx^i j_{tau i}), the central derivation fails; if it matches, the quoted fact is confirmed for the specific background.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim in Section 4 is obtained by applying the 'useful mathematical fact' of Section 1.1 to the background holonomies (4.1)-(4.6). The fact itself is quoted, not proved: equation (1.3) states that a flat shift of A1 multiplies exp(ik CS(A1,A2)) by exp((ik/2pi) integral xi1 wedge dA2), and the reduction U(1) to Z_k follows from (1.4)-(1.5). The ellipses in (1.2), (3.2), and (4.3) are precisely where the holonomy dependence and the x0^i dependence live; without an independent check that the properly defined CS(A,2pi phi) obeys (1.3) when phi is only a local potential with dphi = j, the phase (4.6) and the breaking U(1)^d to Z_k^d are assumptions rather than consequences. A second, related gap is that the non-Abelian algebra (4.10)-(4.11) is imported from the known single-particle magnetic-translation result by analogy ('our system does not have a single particle... As a result...'), rather than derived from the phase (4.6) in the many-body Hilbert space. The algebra is the distinctive part of the strongest claim, and it is the least-secure step. These are verification gaps, not demonstrated errors: (1.3) is a standard differential-cohomology fact, and the analogy to Appendix A is natural.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies a class of non-relativistic continuum field theories with a two-form current j whose periods are quantized, and couples them to a background (d-1)-form gauge field A with constant field strength dA = (2πk/V) dx^1∧...∧dx^d. The coupling is defined as a Chern-Simons term, and a transformation law quoted from differential cohomology, Eq. (1.3), is used to show that a spatial translation by ϵ^i multiplies the topological term by exp(2πi k ϵ^i ∮ j_{τ i}/ℓ^i). From this the paper concludes that the classical continuous translation symmetry is explicitly broken to Z_k^d, that for d=2 the discrete translations obey the non-Abelian algebra (T^1)^k=(T^2)^k=1, T^1T^2 = e^{2πi Q/k} T^2T^1 with Q=∮ j, and that the extension is by an internal operator rather than a central charge. The result is interpreted as an ABJ-like anomaly, used to check particle-vortex duality, and related to lattice models and the Lieb-Schultz-Mattis theorem. An appendix gives a pedagogical review of the charged-particle-in-a-magnetic-field example.","tokens_in":17999,"tokens_out":7319,"duration_ms":65665,"significance":"If the central argument is correct, the paper gives a clean and fairly general mechanism for the quantum breaking of continuous translations, unifying previously studied examples such as gauge theories with constant charge density and ferromagnets, and sharpening the distinction between an 't Hooft anomaly and an ABJ-type explicit breaking. The paper has no fitted parameters: k is an integer background flux and Q, Q_ij are quantized charges, and the main claim is falsifiable through the stated duality checks and lattice realizations. The presentation is explicit and largely self-contained, and the appendix is a useful pedagogical account of anomalies in a well-known system. The main caveat is that two load-bearing mathematical inputs—the differential-cohomology transformation law (1.3) and the many-body non-Abelian algebra (4.10)-(4.11)—are quoted or imported rather than derived in this manuscript.","major_comments":[{"comment":"The transformation law (1.3) is the central mathematical input, but it is quoted rather than proved. The text states that it follows from differential cohomology and refers to the literature in general terms, but it does not give a precise statement of what the ellipses in (1.2) denote, nor a proof of (1.3) from, say, the bulk definition exp((ik/2π)∫_bulk dA1 ∧ dA2). This matters because the holonomy dependence and the origin dependence x0^i live precisely in the terms hidden by the ellipses (see (4.1)-(4.3)), so the derivation of (4.6) is only as secure as this quoted fact. I request either a short proof of (1.3) and (1.5), or an explicit theorem statement with a specific reference; in particular, the claimed reduction (1.5) of the A2-shift symmetry is described as 'somewhat less obvious' and is asserted without demonstration. This is a verification gap rather than a demonstrated error, but it is load-bearing for the paper's central claim.","section":"Section 1.1, Eq. (1.3)"},{"comment":"The non-Abelian algebra is the distinctive part of the strongest claim, but it is not derived for the many-body system. The text says 'Our system does not have a single particle... As a result...' and imports the single-particle magnetic-translation result from Appendix A. The phase (4.6) determines the transformation of the topological term under a translation, but it does not by itself fix the operator product T^i T^j T^{-i} T^{-j} in the many-body Hilbert space, where Q_ij is an operator rather than a c-number. Please derive (4.10)-(4.11) from the definition of the T^i as discrete translation operators—for example, from the current expression (6.6) or from a Ward identity for the anomalous momentum current—or state explicitly the additional assumption needed to pass from (4.6) to the algebra.","section":"Section 4, Eqs. (4.10)-(4.11)"},{"comment":"The x0^i dependence that signals the breaking of translations is imported from the author's previous paper [1] rather than derived here. The paper describes itself as a streamlined derivation, and the note after (4.2) explicitly says that '[1]' contained the careful analysis of the x0^i dependence. This is acceptable only if the needed result from [1] is stated precisely enough that the reader can see which property of the Chern-Simons term establishes (4.6). As written, the dependence on the constant mode of A is asserted in Section 1.1 and then used in (4.1)-(4.6), so the logical dependency should be made explicit, ideally with a self-contained derivation of the x0^i dependence for the topological term.","section":"Section 4, Eqs. (4.1)-(4.6)"}],"minor_comments":[{"comment":"The text 'for ω ∈ H^2(M,R) with ∫ ω ∈ Z' should presumably be 'for ω in the image of H^2(M,Z)', since the integrality condition is what selects the integral cohomology class; this is a mathematical typo but could confuse readers.","section":"Section 2.2"},{"comment":"The notation H^i(A) is used for a 'holonomy' that for d=1 is just exp(iθ(x^1)); this is slightly abusive. A footnote or sentence clarifying that for d=1 the object is a θ-parameter rather than a holonomy would help.","section":"Section 4, Eq. (4.1)"},{"comment":"The map T^i_UV → (T^i)^{k/L_i} is stated to rely on k/L_i being an integer, but the condition is not discussed. If L_i does not divide k, the map is not defined, and in the continuum limit L_i → ∞ with fixed k the exponent k/L_i is not an integer; the sentence deserves an explanatory comment.","section":"Section 6.4, Eq. (6.8)"},{"comment":"The duality check is qualitative: it asserts matching of the translation symmetry on both sides of (5.1) but does not exhibit the matching operators or verify that the charge Q and the order k map correctly under the duality. A few more details would make the check more conclusive.","section":"Section 5"}],"recommendation":"major_revision","confidential_remarks":"This is a concise and clearly written paper by a leading expert, and much of the substance is a streamlined version of [1]. The referee report asks for proofs or precise references for two load-bearing inputs: the differential-cohomology transformation law (1.3) and the many-body non-Abelian algebra (4.10)-(4.11). Both are standard or natural in the single-particle setting, but the manuscript's strongest claim depends on them. If the author can supply the requested derivations, or state the needed results as explicit lemmas with references, the paper would be suitable for publication. The editor may also wish to weigh whether the general-d extension and the duality check constitute sufficient new material relative to [1]."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear [colleague],\n\nYou know Seiberg's previous paper on ferromagnets and the non-invertible translation anomaly. This follow-up generalizes the story: take any theory with an off-shell conserved (d-2)-form current j with quantized periods, couple it to a background field A with constant flux, and the properly defined Chern-Simons term breaks continuous translations to Z_k^d, extended by an operator Q_ij into a non-Abelian algebra. The concrete examples—U(1) gauge theory with uniform charge density and the SO(3) ferromagnet—were already understood; what's new is the packaging. Writing the coupling as exp(i CS(A, 2πφ)) makes the translation anomaly a one-line consequence of a standard differential-cohomology fact, and it makes duality checks in Section 5 nearly trivial. The paper is also unusually honest: the abstract and appendix say the core effect comes from [1] and earlier literature.\n\nWhat's good: the presentation is clear, the cross-checks on dualities are nice, and Section 6.4 on lattice versus continuum translations is a useful resolution of a puzzle that people will cite. The appendix tutorial on 't Hooft vs ABJ anomalies is well done and not just filler.\n\nThe soft spots are real but minor. The x0^i dependence is imported from [1] rather than re-derived; the differential-cohomology fact in Section 1.1 is quoted, not proved (though references are given and the fact is standard); and the non-Abelian algebra T^iT^j = exp(2πi Q_ij/k) T^jT^i is argued by analogy to the single-particle magnetic-translation result rather than derived in the many-body Hilbert space. None of these are load-bearing cracks. If (1.3) were wrong the whole thing would collapse, but no one thinks it is. The analogy for the algebra is natural and consistent with the phase in (4.6); a more explicit derivation would make the paper stronger, but its absence isn't a flaw.\n\nWho should read this: anyone working on generalized symmetries, ferromagnets, or non-relativistic QFT anomalies. It deserves a serious referee; I'd send it out rather than desk-reject. The main question for the referee is whether to push for a fuller derivation of the algebra, not whether the paper is wrong.\n\nBest,\n[You]","headline":"A clean unification of known translation anomalies into one Chern-Simons framework, honestly labeled as streamlining [1]; the main gaps are imported rather than fatal.","tokens_in":18553,"tokens_out":4315,"would_cite":true,"duration_ms":31390,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"In a large class of quantum field theories, quantization breaks continuous translations to a discrete non-Abelian group.","keywords":["ABJ anomaly","continuous translations","discrete translation symmetry","non-Abelian translations","Chern-Simons term","differential cohomology","generalized global symmetries","ferromagnet continuum theory"],"falsifier":"In the $d=2$ $U(1)$ gauge theory at fixed charge density, evaluate the commutator $T^1T^2(T^1)^{-1}(T^2)^{-1}$ on a state of magnetic charge $Q$. The paper predicts the phase $e^{2\\pi i Q/k}$; detecting any other phase, or finding that translation by $\\ell^i/k$ is not a symmetry of the spectrum, would falsify the claim. A complementary check is to compute the torus partition function at flux $k$ and verify that it depends on the origin parameters $x_0^i$ exactly as predicted.","tokens_in":17452,"feed_emoji":"⚛️","tokens_out":10648,"duration_ms":85893,"temperature":0.7,"pith_summary":"This paper argues that a large class of continuum quantum field theories, including $U(1)$ gauge theories at fixed charge density and continuum ferromagnets, have their classical continuous translation symmetry broken by the act of quantization. The culprit is a subtle Chern-Simons term in the action: its globally correct definition is not translation invariant, and the failure is an Adler-Bell-Jackiw-type anomaly rather than spontaneous symmetry breaking. The continuous translation group $U(1)^d$ is reduced to a discrete group $\\mathbb{Z}_k^d$, and the surviving discrete translations do not commute; their commutator is controlled by an internal charge operator, making the symmetry non-Abelian. If correct, the result unifies known examples, predicts that dualities match only at the quantum level, and changes what symmetry data a continuum effective theory can carry.","feed_headline":"Translations break to a discrete non-Abelian symmetry","feed_subtitle":"A Chern-Simons term in the quantum action cuts translations to a period-k subgroup and makes them fail to commute.","key_machinery":"The load-bearing object is the properly defined Chern-Simons term $\\exp(ik\\, CS(A_1,A_2))$ for two $U(1)$ gauge fields, defined through differential cohomology or an extension to a higher-dimensional bulk. Its key property, quoted as a useful mathematical fact, is that shifting a flat background gauge field $A_1\\to A_1+\\xi_1$ multiplies the term by $\\exp\\left(\\frac{ik}{2\\pi}\\int \\xi_1\\wedge dA_2\\right)$; therefore the naive higher-form symmetry is reduced to $\\mathbb{Z}_k$. Applied to the background holonomies on a torus, this fact turns a constant background field into a term whose origin-dependent holonomies encode the breaking of translations, and the phase produced by a translation is read off directly from the Chern-Simons transformation law.","core_discovery":"The central claim is that the Euclidean translation symmetry of the classical Lagrangian is explicitly violated in the quantum theory by an Adler-Bell-Jackiw-like anomaly. For a theory with a conserved two-form current $j$ with quantized periods, coupling to a background gauge field $A$ with constant flux $dA=\\frac{2\\pi k}{V}\\, dx^1\\wedge\\cdots\\wedge dx^d$ gives the action a term that must be defined as a Chern-Simons term. Properly defined, this term depends on the holonomies of $A$, parameterized by constants $x_0^i$ that amount to choosing a point in space. Translating by $\\epsilon^i$ shifts those holonomies and produces a phase $\\exp\\left(\\frac{2\\pi i k\\epsilon^i}{\\ell^i}\\int d\\tau\\, dx^i\\, j_{\\tau i}\\right)$ on the functional integral, exactly as a $\\theta$-parameter shifts in a chiral anomaly. Consequently each $U(1)$ translation is broken to $\\mathbb{Z}_k$: the generators $T^i$ satisfy $(T^i)^k=1$ and $T^iT^j=\\exp\\left(\\frac{2\\pi i Q_{ij}}{k}\\right)T^jT^i$ with $Q_{ij}=\\int_{\\Sigma_{ij}} j$, so the discrete translations are extended by an internal operator and form a non-Abelian group.","pith_inferences":["Editorial inference: the mechanism suggests that any lattice model whose continuum limit carries a quantized two-form current will show noncommuting translations in the continuum, even when the microscopic lattice translations commute; the paper's map $T^i_{UV}\\to (T^i)^{k/L_i}$ makes this concrete and could be checked in exact lattice diagonalizations.","Editorial inference: because the symmetry breaking is explicit and tied to the origin $x_0^i$, a cleaner observable may be the response to changing boundary conditions or inserting flux through the torus: correlation functions should depend on $x_0^i$ in a specific way, which a numerical simulation of the $U(1)$ gauge theory at fixed density could test.","Editorial inference: the noninvertible restoration of continuous translations in the subspace with $\\int j_1=\\int j_2=0$ suggests that coupled-layer or bilayer constructions realizing the current as $j_1\\wedge j_2$ could exhibit emergent continuous translations, providing a microscopic laboratory for these anomalies."],"forward_implications":["In any theory with an off-shell conserved two-form current with quantized periods, turning on background flux $k$ forces continuous translations down to $\\mathbb{Z}_k^d$; the reduction is a property of the quantum definition of the action, not of the classical equations of motion.","The surviving discrete translations obey a non-Abelian algebra extended by the internal charge $Q_{ij}$; because the extension is by an operator rather than a c-number, it is not an 't Hooft anomaly and cannot be removed by adding a local counterterm.","The breaking is explicit, so there are no phonon Goldstone modes; the analogue of the $\\eta'$ mass from QCD instantons is played by instanton configurations with nonzero $\\int d\\tau\\, dx^i\\, j_{\\tau i}$.","On a sphere, the same background field leaves rotation symmetry intact, because the $\\theta$-terms responsible for the anomaly are absent on spheres.","Known dualities such as particle-vortex duality pass a nontrivial test: the classical symmetry groups of the two sides do not match, but after the ABJ breaking both sides realize the same discrete non-Abelian translation symmetry."],"supporting_citations":[{"why":"It supplies the prior analysis of the origin-dependent term and the noninvertible translation picture that this paper streamlines and extends.","marker":"[1]"},{"why":"It gives the bulk definition and quantization of the Chern-Simons term, the fact on which the transformation law (1.3) rests.","marker":"[18]"},{"why":"It introduces $U(1)$ gauge theory with constant background charge density, one of the two running examples where translation breaking appears.","marker":"[2]"},{"why":"It analyzes the Schwinger model at finite density, another concrete realization of fixed charge density and broken translations.","marker":"[3]"},{"why":"It provides the Dirac composite-fermion and half-filled Landau level context where noncommuting translations and duality matter.","marker":"[4]"},{"why":"It interprets momentum and crystal momentum in ferromagnetic Heisenberg chains, the lattice-translation connection used in Section 6.4.","marker":"[6]"},{"why":"It defines the $d-2$-form global symmetry whose current $j$ and off-shell conservation underlie the whole class of theories.","marker":"[27]"},{"why":"It sets up the $2+1$-dimensional duality web with properly normalized Chern-Simons terms, used to test the anomaly under duality.","marker":"[31]"}],"fun_headline_variants":["Anomaly breaks translations to discrete non-Abelian","Quantum anomaly discretizes translations into non-Abelian","Translations become non-Abelian via anomaly","Continuous translations break to a discrete non-Abelian symmetry","Anomaly yields non-Abelian discrete translations"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument collapses if the Chern-Simons transformation law quoted in Section 1.1 is not exact: a properly defined Chern-Simons term must shift by $\\exp\\left(\\frac{ik}{2\\pi}\\int \\xi_1\\wedge dA_2\\right)$ with no additional corrections, and the ellipsis terms in (1.2) must not cancel the phase.","fun_headline_variants_meta":{"raw":{"variants":["Anomaly breaks translations to discrete non-Abelian","Quantum anomaly discretizes translations into non-Abelian","Translations become non-Abelian via anomaly","Continuous translations break to a discrete non-Abelian symmetry","Anomaly yields non-Abelian discrete translations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001057,"raw_usage":{"total_tokens":4424,"prompt_tokens":921,"completion_tokens":3503,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":537,"completion_tokens_details":{"reasoning_tokens":3426}},"tokens_in":537,"tokens_out":3503,"duration_ms":20724,"temperature":1.0,"reasoning_tokens":3426,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T12:14:43.384146+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"In the $d=2$ $U(1)$ gauge theory at fixed charge density, evaluate the commutator $T^1T^2(T^1)^{-1}(T^2)^{-1}$ on a state of magnetic charge $Q$. The paper predicts the phase $e^{2\\pi i Q/k}$; detecting any other phase, or finding that translation by $\\ell^i/k$ is not a symmetry of the spectrum, would falsify the claim. A complementary check is to compute the torus partition function at flux $k$ and verify that it depends on the origin parameters $x_0^i$ exactly as predicted.","supporting_citations":[{"cited_title":"Fischler, J","cited_arxiv_id":null,"evidence_quote":"It introduces $U(1)$ gauge theory with constant background charge density, one of the two running examples where translation breaking appears."},{"cited_title":"Is Schwinger Model at Finite Density a Crystal?","cited_arxiv_id":"hep-th/0609046","evidence_quote":"It analyzes the Schwinger model at finite density, another concrete realization of fixed charge density and broken translations."},{"cited_title":"The half-filled Landau level: the case for Dirac composite fermions","cited_arxiv_id":"1508.04140","evidence_quote":"It provides the Dirac composite-fermion and half-filled Landau level context where noncommuting translations and duality matter."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It interprets momentum and crystal momentum in ferromagnetic Heisenberg chains, the lattice-translation connection used in Section 6.4."}],"review_version":1}