Discrete symmetry and 't Hooft anomalies for 3450 model

Hiroki Wada; Tatsuya Yamaoka; Tetsuya Onogi

REVIEW 4 major objections 4 minor 17 references

Discrete symmetry and 't Hooft anomalies for 3450 model

T0 review · 4 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper argues that the exact Z2 permutation symmetry of the two-flavor lattice 3450 model has vanishing mixed and self 't Hooft anomalies, removing a potential obstruction to the mirror-fermion gapping scenario.

desk verdict The new Z2 permutation symmetry is a real find, but the anomaly cancellation is not established: the descent step fails because the Z2 gauge field is flat. read the letter →

arxiv 2501.18156 v2 pith:XACSSXZ5 submitted 2025-01-30 hep-lat

Tetsuya Onogi , Hiroki Wada , Tatsuya Yamaoka This is my paper · ORCID

classification hep-lat

keywords latticechiralgaugetheorydomain-wallfermion3450modelsymmetricmassgenerationmirrorgapping'tHooftanomalydiscretesymmetryStora-Zuminodescent

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper tries to establish that the exact discrete symmetry of the two-flavor lattice 3450 model does not obstruct the mirror-fermion gapping scenario. The 3450 model is a domain-wall fermion construction intended to yield an anomaly-free chiral U(1) gauge theory in 1+1 dimensions, with gapping interactions that are supposed to remove the unwanted mirror edge modes. The authors find an exact Z2 permutation symmetry in the multi-flavor version and compute its 't Hooft anomalies, assuming the Stora-Zumino descent procedure applies to discrete symmetries. They show that the mixed and self anomalies involving the discrete symmetry vanish, which would remove a potential consistency obstruction. If correct, this strengthens the case that the lattice 3450 model produces the desired chiral gauge theory in the continuum limit.

What carries the argument

The mechanism is the Stora-Zumino descent procedure applied to a gauged Z2 symmetry together with the continuous U(1) symmetries. The Z2 gauge field is represented by a 1-form B_1 and a 0-form B_0 obeying 2 B_1 = d B_0, and the descent from a 4D topological action produces a 3D action whose boundary variation gives the 2D 't Hooft anomaly. The U(1) x U(1) anomalies separately vanish by the charge-sum identities, so the discrete-symmetry terms are the only new contributions.

What would settle it

A direct lattice or continuum computation of the Z2 't Hooft anomaly, for example evaluating the two-flavor 3450 partition function on a torus with a nonzero Z2 background and checking whether the fermion path integral is invariant, would settle the claim: any nontrivial phase would disprove the anomaly cancellation.

Watch

Extended reading notes

Core claim

The central claim is that in the two-flavor lattice 3450 model, a domain-wall realization of the anomaly-free 1+1-dimensional chiral U(1) gauge theory with fermion charges (3,4,5,0), the exact discrete Z2 permutation symmetry of the two flavors has vanishing mixed and self 't Hooft anomalies. Using the Stora-Zumino descent formalism, the mixed anomaly is computed as (2 pi)/(2!(2 pi)^2) times the integral of 4 B_1 (A + C), which equals 2 pi times (1/(2 pi)) integral (A + C), an element of 2 pi Z, hence it vanishes modulo 2 pi; the self-anomaly is said to cancel formally. The paper therefore concludes that no discrete-symmetry obstruction prevents symmetric gapping of the mirror sector, consistent with the expectation that the lattice model flows to a chiral U(1) gauge theory in the continuum.

Load-bearing premise

The whole anomaly cancellation rests on the assumption, stated in the abstract and Section 6, that the Stora-Zumino descent procedure extends to discrete Z2 gauge symmetries; if that extension is not valid, the vanishing of the mixed and self anomalies is not established, and the paper itself flags the self-anomaly cancellation as formal apart from mathematical subtleties.

Editorial extensions

If this is right

The mirror sector of the two-flavor 3450 model faces no discrete-symmetry 't Hooft anomaly obstruction to symmetric gapping.
The exact Z2 permutation symmetry can remain unbroken in the continuum limit without forcing additional massless edge modes.
The computation gives a new consistency check that the lattice model reproduces the target 1+1D chiral U(1) gauge theory.
The same analysis can be applied to other multi-flavor lattice models with exact discrete symmetries to test whether symmetric gapping is viable.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

This suggests that gauging the Z2 permutation symmetry in the two-flavor model may be consistent, which could provide a lattice definition of a chiral gauge theory with a discrete gauge group; the paper itself does not gauge the symmetry.
A numerical test of the two-flavor model's low-energy spectrum could look for the absence of a Z2-protected edge mode, which would corroborate the anomaly cancellation in a nonperturbative setting.
The assumption that Stora-Zumino descent applies to discrete symmetries may deserve independent mathematical scrutiny; if established, the same technique could check mixed continuous-discrete anomalies in higher-dimensional chiral lattice models.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Quick take: the two-flavor Z2 permutation symmetry is genuinely new and worth knowing about, but the claimed vanishing of mixed and self anomalies is not derived. The descent from (27) to (29) doesn't go through, because dB1=0 from (19), so the 4D SPT action has no B1 dependence at all. The 3D action (29) is introduced ad hoc, not obtained by Stora-Zumino descent, and its coefficient is unfixed.

What the paper does well: the single-flavor discrete symmetry analysis is clean and shows that all Z3-type solutions are contained in the continuous U(1)xU(1), so there is no new 0-form discrete symmetry. The discovery of the Z2 permutation symmetry in the multi-flavor case is new, and the paper is transparent about the assumptions: it explicitly says the Stora-Zumino procedure is assumed to work for discrete symmetries and that the self-anomaly cancels only formally. That honesty is to its credit.

The soft spots are the load-bearing ones. First, even granting Stora-Zumino for discrete groups, the specific computation is internally inconsistent. Since 2B1=dB0, B1 is closed, so F_i in (28) reduces to the same curvature in both flavor components and the total trace in (27) vanishes identically by the anomaly-free conditions. No B1 dependence survives, so there is nothing to descend to a 3D action. The mixed-anomaly integral in (30) is not a consequence of the fermion content; the coefficient 4 is chosen to make the answer look like 2π times an integer. Second, the self-anomaly is only 'formally' cancelled, which the authors concede, but using differential forms for a Z2 symmetry can miss torsion contributions. The paper does not address this, so the absence of discrete anomalies remains an open question.

Who should read it: people working on symmetric mass generation and the 3450 model specifically. They'll get a useful new symmetry and a cautionary example of how easy it is to overreach with a formal descent calculation in this setting. It deserves a serious referee — the topic is important and the paper is short enough to fix — but the referee should push for a rigorous discrete-anomaly computation, perhaps via finite-group cohomology or cobordism, before the cancellation claim is accepted. My recommendation: send to peer review with a request for major revision, not desk reject, because the question matters and the paper is honest about what it does and doesn't prove.

Referee Report

4 major / 4 minor

Summary. This proceedings paper studies discrete symmetries of the lattice 3450 model of Wang and Wen, concentrating on the two-flavour case with an exact Z2 permutation symmetry. After arguing that the single-flavour discrete transformations are already contained in the continuous U(1)×U(1) symmetry, the authors gauge U(1)×U(1)×Z2 in the two-flavour model and apply a Stora-Zumino descent from a four-dimensional SPT action. They conclude that the mixed and self 't Hooft anomalies involving the Z2 symmetry vanish, which they read as further evidence that the mirror-fermion gapping scenario for the 3450 model is consistent. The paper is explicit that the extension of Stora-Zumino to discrete symmetries is an assumption and that the self-anomaly cancellation is only formal.

Significance. If established, the vanishing of mixed and self anomalies for the Z2 discrete symmetry would remove a potential obstruction to mirror-fermion gapping in the 3450 model and would be a useful consistency check complementing earlier continuous-anomaly and cobordism analyses. The single-flavour group-theoretic part is straightforward and checkable, and the paper is commendably transparent about its assumptions and about the formal nature of the self-anomaly computation. However, the central anomaly computation is not established as written: the descent from Eq. (27) to Eq. (29) is invalid for the stated Z2 gauge-field background, and the self-anomaly part is explicitly not computed. The paper therefore currently provides at most a conditional consistency argument, not a derivation of the advertised result.

major comments (4)

[Section 6, Eqs. (19), (27)-(30)] Eq. (19) gives 2B1 = dB0, so dB1 = 0 as an ordinary 2-form. Substituting this into Eq. (28), the lower component of F_i equals the upper component, and tr(F_i^2) in Eq. (27) contains no dependence on B1. After using the anomaly-free conditions (5)-(7), Eq. (27) vanishes identically. The 3D action in Eq. (29), proportional to ∫ B1 ∧ (F_A + F_C), is therefore not obtainable by Stora-Zumino descent from Eq. (27); its coefficient is not fixed by the fermion content. Consequently the mixed-anomaly result in Eq. (30) does not follow from the computation as written.
[Abstract and Section 6] The entire computation relies on the assumption that the Stora-Zumino procedure extends to discrete gauge symmetries. This is stated as an assumption in the abstract and again in Section 6, but no proof or reference establishing the extension is provided. Since the only calculation supporting the vanishing of mixed and self anomalies uses this extension, the main conclusion remains conditional even if the descent step itself were repaired.
[Section 5.1] The claimed exact discrete symmetry for the multi-flavour model is not documented in the manuscript. The text says that Vint can be given, but the interaction is not displayed, and no demonstration is given that it is invariant under the permutation group or that it preserves the anomaly-free conditions. The subsequent anomaly computation is only meaningful if this exact symmetry actually exists, so the missing interaction is a load-bearing gap.
[Section 6, after Eq. (30)] The paper states that the self-anomaly cancels only 'formally' and 'except for mathematical subtleties'. Because the Z2 gauge field is flat, its characteristic classes are torsion contributions that are invisible to differential-form Stora-Zumino computations. The manuscript does not compute the self-anomaly; it asserts that it cancels. A complete treatment over Z2, for example using Dijkgraaf-Witten or lattice cohomology methods, is needed before the self-anomaly cancellation can be claimed.

minor comments (4)

[Eq. (28)] The notation F_i is used for what should be a 2-form field strength, but the displayed entries look like 1-form connections (q_i A + e_i C). Please define A_i as the connection and F_i = dA_i, or write F_i = diag(q_i F_A + e_i F_C, q_i F_A + e_i F_C + dB1).
[Section 6, Eqs. (27)-(29)] The relation between the charges (q_i, e_i) used in Section 6 and the charges (q, q') defined in Eq. (4) is not stated explicitly; without this mapping, the charge sums inside Eqs. (27)-(29) are difficult for the reader to verify.
[Eq. (30)] The factor 2π/2 appearing in the boundary integral is not derived from Eq. (29). Please spell out the descent of B1 to the boundary, including the treatment of large gauge transformations of the Z2 field.
[Throughout] The manuscript contains several typographical errors and OCR artifacts ('knwoing', 'discent', 'fre e', malformed reference entries). A careful copyedit would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the anomaly computation is self-contained from the charge assignments and Z2 action; the unverified Stora-Zumino extension and the formal self-anomaly cancellation are rigor caveats, not circular inputs.

full rationale

No circularity found. The discrete Z2 symmetry and its action on the two flavors are derived from the explicit invariance conditions on the gapping interaction (Eqs. (12)-(13)), not assumed from the desired anomaly cancellation. The anomaly coefficients are computed from the charge assignments q=(3,4,5,0), the U(1) x U(1) charges in Eq. (4), and the Z2 representation in Eqs. (22)/(25); no fitted parameter or pre-imposed cancellation enters the computation. The vanishing of the continuous U(1) anomalies is verified from Eqs. (5)-(7) using the same charges. The paper's own caveats are flagged: the abstract states 'Assuming the Zumino-Stora procedure works also for discrete symmetry'; Section 6 states the self-anomaly cancels 'formally' and 'except for mathematical subtleties'; and the closing line 'A more mathematically rigorous analysis is in progress' concedes the discrete-group descent is not fully justified. These are rigor concerns rather than circularity: the conclusion is not identical to the input by construction. Independently, the Z2 gauge-field constraint 2B1 = dB0 (Eq. (19)) implies dB1 = 0, so the descent step leading to Eq. (29) is mathematically questionable because the 4D term proportional to dB1 vanishes; this is a potential error in the derivation, not a circular reuse of the conclusion. Thus the paper merits a circularity score of 0.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

No free parameters are fitted. The axioms are the assumed applicability of Stora-Zumino to discrete symmetries, the assumed correctness of the gapping interaction, and the standard continuum description of a Z2 gauge field. No new particles, forces, or dimensions are introduced.

assumptions (3)

domain assumption The Stora-Zumino descent procedure extends to discrete gauge symmetries.
Stated in the abstract and in Section 6; the entire anomaly computation depends on this.
domain assumption The gapping interaction V_int (Eq. 2) is the correct one for symmetric gapping of the mirror sector.
Section 4, 'Assuming that this V_int is the correct choice for the moment'; this determines the symmetry H.
standard math The Z2 gauge field is described by a pair (B1, B0) with constraint 2B1 = dB0.
Section 6, Eq. 19; standard description of Z2 gauge fields in the continuum.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Discrete symmetry and 't Hooft anomalies for 3450 model." pith.science (2026). https://pith.science/paper/XACSSXZ5

@misc{pith2026250118156,
  author       = {Pith},
  title        = {Pith review of: Discrete symmetry and 't Hooft anomalies for 3450 model},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XACSSXZ5}},
  note         = {Machine review of arXiv:2501.18156}
}

read the original abstract

We report our study of the discrete symmetry for lattice 3450 model proposed by Wang and Wen. Lattice 3450 model is expected to describe the anomaly free chiral U(1) gauge theory in 1+1 dimension using 2+1 dimensional domain-wall fermion with gapping interactions for the mirror sector. We find that the lattice model has exact discrete symmetry in addition to U(1) x U(1) symmetry. Assuming the Zumino-Stora procedure works also for discrete symmetry, we compute the full 't Hooft anomaly for the target continuum U(1) chiral gauge theory with the same discrete symmetry. We show that the mixed and self anomalies involving the discrete symmetry are absent, which is consistent with the expectation that the lattice 3450 produces chiral U(1) gauge theory in the continuum limit.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 16 canonical work pages

[1]

Wang and X.-G

J. Wang and X.-G. Wen, Nonperturbative regularization of (1+1)-dimensional ano maly-free chiral fermions and bosons: On the equivalence of anomaly ma tching conditions and boundary gapping rules, Phys. Rev. B 107 (2023) 014311 [13/zero.alt37.748/zero.alt3]

work page 2023
[2]

Luscher, Abelian chiral gauge theories on the lattice with exact gaug e invariance, Nucl

M. Luscher, Abelian chiral gauge theories on the lattice with exact gaug e invariance, Nucl. Phys. B 549 (1999) 295 [hep-lat/9811/zero.alt332]

work page 1999
[3]

Luscher, Chiral gauge theories revisited, Subnucl

M. Luscher, Chiral gauge theories revisited, Subnucl. Ser. 38 (2002) 41 [hep-th//zero.alt31/zero.alt32/zero.alt328]

work page 2002
[4]

Kaplan, A Method for simulating chiral fermions on the lattice , Phys

D.B. Kaplan, A Method for simulating chiral fermions on the lattice , Phys. Lett. B 288 (1992) 342 [hep-lat/92/zero.alt36/zero.alt313]. 6 Discrete symmetry and ’t Hooft anomalies for 3450 model Tetsuya Onogi

work page 1992
[5]

Fidkowski and A

L. Fidkowski and A. Kitaev, The eﬀects of interactions on the topological classiﬁcatio n of free fermion systems, Phys. Rev. B 81 (2010) 134509 [/zero.alt39/zero.alt34.2197]

work page 2010
[6]

Wang and Y .-Z

J. Wang and Y .-Z. Y ou,Symmetric Mass Generation, Symmetry 14 (2022) 1475 [22/zero.alt34.14271]

work page 2022
[7]

Wan and J

Z. Wan and J. Wang, Higher anomalies, higher symmetries, and cobordisms I: cla ssiﬁcation of higher-symmetry-protected topological states and their boundary fermionic/bosonic anomalies via a generalized cobordism theory , Ann. Math. Sci. Appl. 4 (2019) 107 [1812.11967]

arXiv 2019
[8]

Wang, CT or P problem and symmetric gapped fermion solution , Phys

J. Wang, CT or P problem and symmetric gapped fermion solution , Phys. Rev. D 106 (2022) 125007 [22/zero.alt37.14813]

work page 2022

Show all 17 references

[9]

C. Chen, J. Giedt and E. Poppitz, On the decoupling of mirror fermions, JHEP 04 (2013) 131 [1211.6947]

2013 arXiv
[10]

Y . Y ou, Y . BenTov and C. Xu,Interacting Topological Superconductors and possible Origin of 16/u1D45BChiral Fermions in the Standard Model, 14/zero.alt32.4151
[11]

Y . Kikukawa, Why is the mission impossible? – Decoupling the mirror Ginsp arg-Wilson fermions in the lattice models for two-dimensional abelian chiral gauge theories, PTEP 2019 (2019) 073B02 [171/zero.alt3.111/zero.alt31]

2019
[12]

Kikukawa, On the gauge invariant path-integral measure for the overlap Weyl fermions in 16 of SO(10), PTEP 2019 (2019) 113B03 [171/zero.alt3.11618]

Y . Kikukawa, On the gauge invariant path-integral measure for the overlap Weyl fermions in 16 of SO(10), PTEP 2019 (2019) 113B03 [171/zero.alt3.11618]

2019
[13]

Wang and X.-G

J. Wang and X.-G. Wen, A Solution to the 1+1D Gauged Chiral Fermion Problem , Phys. Rev. D 99 (2018) 111501 [18/zero.alt37./zero.alt35998]

2018
[14]

M. Zeng, Z. Zhu, J. Wang and Y .-Z. Y ou, Symmetric Mass Generation in the 1+1 Dimensional Chiral Fermion 3-4-5-0 Model , Phys. Rev. Lett. 128 (2022) 185301 [22/zero.alt32.12355]

2022
[15]

D.-C. Lu, M. Zeng, J. Wang and Y .-Z. Y ou, Fermi surface symmetric mass generation, Phys. Rev. B 107 (2023) 195133 [221/zero.alt3.163/zero.alt34]

2023
[16]

D.-C. Lu, M. Li, Z.- Y . Zeng, W . Hou, J. Wang, F. Y ang et al., Superconductivity from Doping Symmetric Mass Generation Insulators: Application to La 3Ni2O7 under Pressure, 23/zero.alt38.11195
[17]

Xu, Staggered Fermions with Chiral Anomaly Cancellation, 25/zero.alt31.1/zero.alt3837

L.-X. Xu, Staggered Fermions with Chiral Anomaly Cancellation, 25/zero.alt31.1/zero.alt3837. 7

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.

[1] [1]

Wang and X.-G

J. Wang and X.-G. Wen, Nonperturbative regularization of (1+1)-dimensional ano maly-free chiral fermions and bosons: On the equivalence of anomaly ma tching conditions and boundary gapping rules, Phys. Rev. B 107 (2023) 014311 [13/zero.alt37.748/zero.alt3]

work page 2023

[2] [2]

Luscher, Abelian chiral gauge theories on the lattice with exact gaug e invariance, Nucl

M. Luscher, Abelian chiral gauge theories on the lattice with exact gaug e invariance, Nucl. Phys. B 549 (1999) 295 [hep-lat/9811/zero.alt332]

work page 1999

[3] [3]

Luscher, Chiral gauge theories revisited, Subnucl

M. Luscher, Chiral gauge theories revisited, Subnucl. Ser. 38 (2002) 41 [hep-th//zero.alt31/zero.alt32/zero.alt328]

work page 2002

[4] [4]

Kaplan, A Method for simulating chiral fermions on the lattice , Phys

D.B. Kaplan, A Method for simulating chiral fermions on the lattice , Phys. Lett. B 288 (1992) 342 [hep-lat/92/zero.alt36/zero.alt313]. 6 Discrete symmetry and ’t Hooft anomalies for 3450 model Tetsuya Onogi

work page 1992

[5] [5]

Fidkowski and A

L. Fidkowski and A. Kitaev, The eﬀects of interactions on the topological classiﬁcatio n of free fermion systems, Phys. Rev. B 81 (2010) 134509 [/zero.alt39/zero.alt34.2197]

work page 2010

[6] [6]

Wang and Y .-Z

J. Wang and Y .-Z. Y ou,Symmetric Mass Generation, Symmetry 14 (2022) 1475 [22/zero.alt34.14271]

work page 2022

[7] [7]

Wan and J

Z. Wan and J. Wang, Higher anomalies, higher symmetries, and cobordisms I: cla ssiﬁcation of higher-symmetry-protected topological states and their boundary fermionic/bosonic anomalies via a generalized cobordism theory , Ann. Math. Sci. Appl. 4 (2019) 107 [1812.11967]

arXiv 2019

[8] [8]

Wang, CT or P problem and symmetric gapped fermion solution , Phys

J. Wang, CT or P problem and symmetric gapped fermion solution , Phys. Rev. D 106 (2022) 125007 [22/zero.alt37.14813]

work page 2022