Pith. sign in

REVIEW 2 major objections 5 minor 22 references

For S4-symmetric axion insulators with vanishing Chern numbers, the magnetoelectric response equals the high-symmetry eigenvalue count z2.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review

2026-07-14 16:10 UTC pith:7KHK5FPD

load-bearing objection Solid, self-contained proof that 2P3 equals the S4 indicator z2 for Chern-trivial axion insulators; the unitary orientation-reversing case is the real addition. the 2 major comments →

arxiv 2607.05719 v2 pith:7KHK5FPD submitted 2026-07-07 cond-mat.mes-hall

Equivalence between the Axion Invariant and the S₄ Symmetry Indicator

Mengyao Zhang This is my paper
classification cond-mat.mes-hall
keywords axion insulatorS4 rotoinversionsymmetry indicatorChern-Simons invariantmagnetoelectric polarizabilitysewing matrixmapping degree
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper shows that two standard ways of diagnosing the same three-dimensional phase actually compute the same number. One description is the axion magnetoelectric response (the Chern-Simons integral that quantizes θ to 0 or π). The other is a symmetry-indicator formula that only inspects the eigenvalues of the four-fold rotoinversion S4 at four special momenta in the Brillouin zone. Starting from the sewing matrix that encodes how S4 acts on the occupied Bloch states, the author rewrites the response as a mapping degree from the Brillouin zone into SU(2). After a stable reduction that breaks the bands into determinant-one two-band blocks, that degree modulo two is exactly the known indicator z2. A minimal tight-binding model confirms both sides of the equality. The result gives the eigenvalue count a direct field-theoretic meaning and shows that the response-indicator link, previously known mainly for time-reversal or antiunitary symmetries, also holds for a unitary orientation-reversing crystalline symmetry.

Core claim

For three-dimensional S4-symmetric axion insulators with vanishing three-dimensional Chern numbers, the Chern-Simons axion invariant equals the symmetry indicator: 2P3 equals z2. Here z2 is the mod-2 count, over the four S4-invariant momenta, of occupied pairs with eigenvalues e^{±iπ/4} versus e^{±i3π/4}. The equality is obtained by expressing the response through the S4 sewing matrix, reducing to SU(2)-valued two-band blocks, and evaluating the resulting mapping degree at those high-symmetry points.

What carries the argument

The S4 sewing matrix B(k), reduced after stabilization by atomic bands to determinant-one two-band blocks valued in SU(2). Its Chern-Simons integral becomes a mapping degree T3 o S3 whose value modulo two is read off solely from the S4 eigenvalues at the four fixed momenta, yielding z2.

Load-bearing premise

Every admissible band arrangement with the other two indicators zero can, after adding only trivial atomic bands, be broken into one- and two-band pieces whose two-band sewing matrices have determinant one; the paper verifies this by computer enumeration rather than a closed analytic classification.

What would settle it

Find an S4-symmetric insulator with vanishing Chern numbers and z4S = δ2S = 0 for which a smooth gauge exists, yet the numerically integrated Chern-Simons 2P3 differs from the eigenvalue count z2; or exhibit a two-band symmetry-data vector that cannot be stabilized into determinant-one blocks.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The manuscript proves that for three-dimensional S4-symmetric axion insulators with vanishing three-dimensional Chern numbers, the Chern-Simons axion invariant equals the magnetic symmetry indicator: 2P3 = z2. Starting from the Chern-Simons formula for magnetoelectric polarizability, Appendix A rewrites 2P3 in terms of the unitary S4 sewing matrix B(k). Under the conditions z4S = δ2S = 0, Appendices B–C show that after stabilization by elementary band representations the sewing matrix decomposes into 1×1 and determinant-one 2×2 blocks; only the latter contribute. Each such block defines a map T3 o SU(2) whose degree modulo 2 is evaluated by counting preimages of the regular values A± at the four S4-invariant momenta, yielding exactly the eigenvalue-counting formula for z2 (Eqs. 5–11). A minimal tight-binding model with explicit S4 representation confirms that both the high-symmetry eigenvalue data and a numerical Chern-Simons integral give 2P3 = 1.

Significance. The result closes a genuine conceptual gap between the topological-field-theory description of the axion response and the symmetry-indicator classification for a unitary, orientation-reversing crystalline symmetry. Prior response-indicator equivalences (Fu-Kane, CnT) rely on antiunitary structure; the present derivation extends that correspondence to S4 by a careful sewing-matrix reduction and a modulo-two degree argument. The computer-assisted completeness check of the block decomposition (Hilbert basis of 2466 generators, 438 two-band feasibility solves) and the explicit model verification are concrete strengths that make the claim falsifiable and reproducible in principle. If correct, the work supplies a field-theoretic meaning for the z2 indicator of magnetic space group 81.33 and broadens the dictionary between response theory and topological band theory.

major comments (2)
  1. Appendices B–C establish the load-bearing claim that every admissible symmetry-data vector with z4S = δ2S = 0, after EBR stabilization, decomposes into 1×1 and determinant-one 2×2 blocks. Completeness is asserted via a PyNormaliz Hilbert basis of 2466 generators and nonnegative integer solutions for all 438 two-band targets, yet no scripts, generator lists, or residual checks are provided. Because the reduction of 2P3 to an SU(2) mapping degree fails if any counterexample block exists, the authors should either release the verification artifacts or supply an independent analytic argument that no larger blocks are required.
  2. Section III reports a single numerical evaluation of the Chern-Simons integral (Eq. 4) for one parameter set, obtaining 2P3 = 1. The construction of a smooth occupied frame via the projector (Eq. 13) is standard, but no convergence data (mesh density, residual gauge roughness, or comparison against an independent gauge) are given. A short supplementary table or figure quantifying numerical stability would strengthen the only explicit check of the analytic claim.
minor comments (5)
  1. In Eq. (1) and the surrounding text the indicator is written both as z2 and as z_2; a uniform subscript style would improve readability.
  2. Figure 1 is adapted from Ref. [5] and is pedagogically useful, but the caption could briefly note that the same counting applies to maps T3 o S3 once the Jacobian signs are discarded modulo 2.
  3. Appendix A, after Eq. (A7), states that the result holds modulo 2 for both (S4)4 = ±1 conventions; a one-sentence reminder that the phase redefinition e^{iπ/4} leaves the final mod-2 invariant unchanged would help readers who work in the opposite convention.
  4. The tight-binding Hamiltonian (Eq. 12) uses au and au0 interchangeably for the orbital Pauli matrices; a single consistent notation would avoid momentary confusion.
  5. References [14] and [7] are central; a short parenthetical in the introduction noting that the present proof is unitary while Ref. [7] is antiunitary would make the novelty claim more self-contained.

Circularity Check

0 steps flagged

No circularity: Chern-Simons form is rewritten via the S4 sewing matrix and reduced to a mod-2 mapping degree that independently equals the eigenvalue-count indicator z2.

full rationale

The paper starts from the standard Chern-Simons expression for P3 (App. A), rewrites it under unitary S4 as an integral over the sewing matrix B(k), and, after stable reduction to det=1 two-band blocks (Apps. B-C), identifies 2P3 with the mod-2 degree of maps T3 o SU(2). That degree is then evaluated by counting preimages of the regular values A± at the four S4-fixed momenta, which by construction of A± is exactly the eigenvalue-count formula for z2 (Eqs. 8-11). z2 itself is imported as an independent definition from magnetic topological quantum chemistry (Eq. 1, Ref. [14]); the paper does not redefine z2 in terms of P3, nor does it fit any parameter to force the equality. The only non-analytic step is a computer enumeration (Hilbert basis of 2466 generators, 438 two-band targets) establishing that every admissible symmetry-data vector with z4S=δ2S=0 decomposes, after EBR stabilization, into 1 imes1 and det=1 2 imes2 blocks. That is a completeness claim about the monoid of symmetry data, not a definitional loop or a fitted prediction. Self-citations are to standard background (Qi et al., Elcoro et al., Li-Sun) and do not close a circular chain. The explicit tight-binding check (Sec. III) independently evaluates both sides and finds agreement. Score 0.

Axiom & Free-Parameter Ledger

1 free parameters · 4 axioms · 0 invented entities

The central equality rests on standard Chern-Simons and sewing-matrix technology plus two domain assumptions (vanishing Chern numbers; spinful (S4)^4 = −1) and a computer-assisted completeness claim about the monoid of symmetry data. No free parameters enter the general proof; model parameters are only for numerical illustration. No new physical entities are postulated.

free parameters (1)
  • tight-binding parameters (u, v, mz, δ, ε0)
    Chosen by hand (u = v = 1.0, mz = δ = 0.2, ε0 = 2.4) to open a gap and realize the nontrivial SI; they illustrate but do not determine the general theorem.
axioms (4)
  • domain assumption Three-dimensional Chern numbers vanish, so a smooth periodic gauge for the occupied frame exists and the Chern-Simons integral is well-defined mod 2.
    Stated in the abstract, Introduction, and Appendix A; required for the sewing-matrix expression (A7) and for the degree interpretation.
  • domain assumption (S4)^4 = −1 (spin-1/2 convention); the final mod-2 result is unchanged under the phase redefinition that sets (S4)^4 = 1.
    Section II; used to fix the form of D(k) and the eigenvalues that define A±.
  • ad hoc to paper After adding elementary band representations, every admissible symmetry-data vector with z4S = δ2S = 0 is a nonnegative integer combination of 1×1 and determinant-one 2×2 generators (verified by Hilbert basis of size 2466 and 438 feasibility solves).
    Appendices B–C; this is the paper-specific completeness claim that lets 2P3 reduce to a sum of SU(2) degrees.
  • standard math Mapping degree of a continuous map T^3 → SU(2) ≃ S^3 is well-defined and equals the signed count of preimages of a regular value.
    Used in Section II and Appendix E; standard differential topology.

reviewed 2026-07-14 · how reviews work

0 comments
Cite this review

Pith. "Pith review of Equivalence between the Axion Invariant and the $S_4$ Symmetry Indicator." pith.science (2026). https://pith.science/paper/7KHK5FPD

@misc{pith2026260705719,
  author       = {Pith},
  title        = {Pith review of: Equivalence between the Axion Invariant and the $S_4$ Symmetry Indicator},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7KHK5FPD}},
  note         = {Machine review of arXiv:2607.05719}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

The equivalence between the axion invariant and the $S_4$ symmetry indicator is established for three-dimensional $S_4$-symmetric axion insulators with vanishing three-dimensional Chern numbers. Starting from the Chern-Simons expression for the magnetoelectric polarizability, $2P_3=\theta/\pi$ is rewritten in terms of the $S_4$ sewing matrix. After stable reduction to determinant-one two-band blocks, the invariant is expressed as the degree of a map from the Brillouin zone to $SU(2)$. The degree modulo two is then evaluated from the $S_4$ eigenvalues at the four $S_4$-invariant momenta and is shown to coincide with the symmetry indicator $z_2$. A minimal tight-binding model verifies the correspondence between $2P_3$ and $z_2$. The result closes a gap between the topological-field-theory description of the axion response and the topological-band-theory classification by symmetry indicators. It also extends the known response-indicator equivalence from antiunitary settings such as $C_nT$ symmetry to the unitary, orientation-reversing rotoinversion symmetry $S_4$.

Figures

Figures reproduced from arXiv: 2607.05719 by Mengyao Zhang.

Figure 1
Figure 1. Figure 1: illustrates this construction for a map f : M → N between two copies of S 1 . If θ and ϕ are coordinates on M and N, respectively, then deg(f) = 1 2π R 2π 0 dθ dϕ/dθ = n. Equivalently, deg(f) = P f(θi)=ϕ0 sgn det( ∂ϕ ∂θ ) [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Band structure of the tight-binding model, with [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Density of states (DOS) of the tight-binding model, [PITH_FULL_IMAGE:figures/full_fig_p003_3.png] view at source ↗

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

22 extracted references · 1 linked inside Pith

  1. [1]

    It contains oneZ 4 indicator, z4S, and twoZ 2 indicators,δ 2S andz 2. The latter is [14] z2 = X K∈K 4 n1/2 K −n −3/2 K 2 mod 2, K4 ={Γ, Z, M, A}(1) wheren ±1/2 K andn ±3/2 K count occupied states withS 4 eigenvaluese ∓iπ/4 ande ∓i3π/4, respectively, atK∈ K4. For vanishing three-dimensional Chern numbers, {z4S, δ2S, z2}={0,0,1}diagnoses an axion insulator ...

    Pith/arXiv arXiv 2026

  2. [2]

    After projecting onto the spinful sector relevant to theZ 4 ×Z 2 ×Z 2 indicator group, a symmetry-data vector is B= m(¯Γ5),

    Preparation of symmetry-data vectors We work in the basis of double-valued small coreps of the fourS 4-invariant momenta and the two (S 4)2- invariant momenta. After projecting onto the spinful sector relevant to theZ 4 ×Z 2 ×Z 2 indicator group, a symmetry-data vector is B= m(¯Γ5), . . . , m(¯Γ8), m( ¯A5), . . . , m(¯A8), m( ¯M5), . . . , m( ¯M8), m( ¯Z5...

  3. [3]

    (B6) from an infinite family to a finite check based on Gordan’s lemma [18]

    Reduction toB 1 andB 2 We convert the problem in Eq. (B6) from an infinite family to a finite check based on Gordan’s lemma [18]. The lemma states thatM= B′ ∈Z 22 ≥0 AB′ = 0 can be generated by a finite number of elements after the congruences in Eq. (B4) are converted to slack variables: A=   CR0 0 P1 −8 0 P2 0−2   ,B ′ =   B u v   ,AB ′ = 0,(B7)...

  4. [4]

    B2 guarantee that this content propagates consistently across the Brillouin zone

    Block decomposition of theS 4 sewing matrix TheS 4 sewing matrixB mn(k) =⟨u m(S4k)|S4|un(k)⟩ of an isolated set of bands has, at the high-symmetry mo- menta, an eigenvalue content fixed entirely by the sym- metry dataB, and the compatibility relations Eq. B2 guarantee that this content propagates consistently across the Brillouin zone. A grouping of the b...

  5. [5]

    Fu and C

    L. Fu and C. L. Kane, Topological insulators with inver- sion symmetry, Physical Review B76, 045302 (2007)

    2007

  6. [6]

    X.-L. Qi, T. L. Hughes, and S.-C. Zhang, Topological field theory of time-reversal invariant insulators, Physical Review B78, 195424 (2008)

    2008

  7. [7]

    A. M. Essin, J. E. Moore, and D. Vanderbilt, Mag- netoelectric Polarizability and Axion Electrodynamics in Crystalline Insulators, Physical Review Letters102, 11 10.1103/PhysRevLett.102.146805 (2009)

    doi:10.1103/physrevlett.102.146805 2009

  8. [8]

    Qi and S.-C

    X.-L. Qi and S.-C. Zhang, Topological insulators and superconductors, Reviews of Modern Physics83, 1057 (2011)

    2011

  9. [9]

    Wang, X.-L

    Z. Wang, X.-L. Qi, and S.-C. Zhang, Equivalent topolog- ical invariants of topological insulators, New Journal of Physics12, 065007 (2010)

    2010

  10. [10]

    C. Fang, M. J. Gilbert, and B. A. Bernevig, Bulk topolog- ical invariants in noninteracting point group symmetric insulators, Physical Review B86, 115112 (2012)

    2012

  11. [11]

    Li and K

    H. Li and K. Sun, Pfaffian Formalism for Higher-Order Topological Insulators, Physical Review Letters124, 036401 (2020)

    2020

  12. [12]

    N. H. Jo, L.-L. Wang, R.-J. Slager, J. Yan, Y. Wu, K. Lee, B. Schrunk, A. Vishwanath, and A. Kaminski, Intrinsic axion insulating behavior in antiferromagnetic MnBi6Te10, Physical Review B102, 045130 (2020)

    2020

  13. [13]

    Kruthoff, J

    J. Kruthoff, J. de Boer, J. van Wezel, C. L. Kane, and R.- J. Slager, Topological Classification of Crystalline Insu- lators through Band Structure Combinatorics, Physical Review X7, 041069 (2017)

    2017

  14. [14]

    H. C. Po, A. Vishwanath, and H. Watanabe, Symmetry- based indicators of band topology in the 230 space groups, Nature Communications8, 50 (2017)

    2017

  15. [15]

    Bradlyn, L

    B. Bradlyn, L. Elcoro, J. Cano, M. G. Vergniory, Z. Wang, C. Felser, M. I. Aroyo, and B. A. Bernevig, Topological quantum chemistry, Nature547, 298 (2017)

    2017

  16. [16]

    Khalaf, H

    E. Khalaf, H. C. Po, A. Vishwanath, and H. Watanabe, Symmetry Indicators and Anomalous Surface States of Topological Crystalline Insulators, Physical Review X8, 031070 (2018)

    2018

  17. [17]

    Z. Song, T. Zhang, Z. Fang, and C. Fang, Quantitative mappings between symmetry and topology in solids, Na- ture Communications9, 3530 (2018)

    2018

  18. [18]

    Elcoro, B

    L. Elcoro, B. J. Wieder, Z. Song, Y. Xu, B. Bradlyn, and B. A. Bernevig, Magnetic topological quantum chemistry, Nature Communications12, 5965 (2021)

    2021

  19. [19]

    B. A. Dubrovin, S. P. Novikov, and A. T. Fomenko, The Degree of a Mapping. The Intersection Index of Sub- manifolds. Applications, inModern Geometry— Methods and Applications: Part II: The Geometry and Topology of Manifolds, edited by B. A. Dubrovin, S. P. Novikov, and A. T. Fomenko (Springer, New York, NY, 1985) pp. 99–134

    1985

  20. [20]

    Chen, Intrinsic Axion Statistical Topological In- sulator, Physical Review Letters134, 10.1103/Phys- RevLett.134.226601 (2025)

    X. Chen, Intrinsic Axion Statistical Topological In- sulator, Physical Review Letters134, 10.1103/Phys- RevLett.134.226601 (2025)

    doi:10.1103/phys- 2025

  21. [21]

    A. A. Soluyanov and D. Vanderbilt, Wannier repre- sentation of${\mathbb{Z}} {2}$topological insulators, Physical Review B83, 035108 (2011)

    2011

  22. [22]

    Bruns and J

    W. Bruns and J. Gubeladze, Affine monoids and their Hilbert bases, inPolytopes, Rings, and k-Theory (Springer New York, New York, NY, 2009) pp. 49–89

    2009

This paper was first reviewed by grok-4.5 on July 14, 2026.