Recognition: 1 theorem link
· Lean TheoremHybrid-order topology in two-dimensional nonsymmorphic antiferromagnets
Pith reviewed 2026-05-11 01:51 UTC · model grok-4.3
The pith
A single bulk insulating phase in nonsymmorphic antiferromagnets displays either gapless edge states or zero-energy corner states based only on termination geometry.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Utilizing a generic antiferromagnetic Dirac model with a symmetry-allowed, momentum-dependent spin-density-wave (SDW) mass, we show that a single bulk insulating phase exhibits distinct topological boundary manifestations governed solely by the termination geometry. For screw-compatible edges, nonsymmorphic screw symmetry protects gapless first-order edge states. In contrast, for a 45° diamond-shaped termination, the screw symmetry is broken at the boundary, resulting in gapped edges. However, the finite geometry still preserves magnetic mirror symmetries MxT and MyT, which enforce an alternating pattern of edge masses, thereby binding zero-dimensional corner states. This second-order phase
What carries the argument
The generic antiferromagnetic Dirac model with symmetry-allowed momentum-dependent SDW mass term, which permits termination geometry to select between first-order edge states protected by nonsymmorphic screw symmetry and second-order corner states enforced by magnetic mirror symmetries.
If this is right
- Explicit lattice perturbations can selectively gap the first-order edge modes while robustly preserving the corner states.
- The second-order phase is characterized by a quantized quadrupole moment.
- Corner states remain pinned to zero energy by chiral symmetry.
- Hybrid-order topology arises via a termination-controlled duality between first- and second-order phases in magnetic nonsymmorphic systems.
Where Pith is reading between the lines
- The same crystal could host both types of boundary states simultaneously if fabricated with mixed terminations.
- The geometric control may extend to other nonsymmorphic magnetic lattices where screw and mirror symmetries coexist.
- Boundary engineering could serve as a design principle for devices that switch between edge-channel and corner-state transport.
Load-bearing premise
The generic antiferromagnetic Dirac model with a symmetry-allowed momentum-dependent SDW mass term fully captures the relevant low-energy physics and the chosen terminations can be realized without additional symmetry-breaking effects from real-material details or disorder.
What would settle it
Fabrication of a nonsymmorphic antiferromagnet with both screw-compatible straight edges and 45-degree diamond terminations, followed by local spectroscopy to confirm gapless edge modes on the first and zero-energy corner modes on the second.
Figures
read the original abstract
We theoretically demonstrate hybrid-order topology in a two-dimensional nonsymmorphic antiferromagnet. Utilizing a generic antiferromagnetic Dirac model with a symmetry-allowed, momentum-dependent spin-density-wave (SDW) mass, we show that a single bulk insulating phase exhibits distinct topological boundary manifestations governed solely by the termination geometry. For screw-compatible edges, nonsymmorphic screw symmetry protects gapless first-order edge states. In contrast, for a $45^\circ$ diamond-shaped termination, the screw symmetry is broken at the boundary, resulting in gapped edges. However, the finite geometry still preserves magnetic mirror symmetries $\mathcal{M}_x\mathcal{T}$ and $\mathcal{M}_y\mathcal{T}$, which enforce an alternating pattern of edge masses, thereby binding zero-dimensional corner states. This second-order phase is characterized by a quantized quadrupole moment, with corner states pinned to zero energy by the chiral symmetry. We further demonstrate that explicit lattice perturbations can selectively gap the first-order edge modes while robustly preserving the corner states. Our work establishes a symmetry-based route to a termination-controlled duality between first- and second-order topology in magnetic nonsymmorphic systems.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that a single bulk insulating phase in a two-dimensional nonsymmorphic antiferromagnet, described by a generic antiferromagnetic Dirac model with a symmetry-allowed momentum-dependent SDW mass term, can exhibit termination-geometry-controlled hybrid-order topology: screw-compatible edges host gapless first-order edge states protected by nonsymmorphic screw symmetry, while a 45° diamond-shaped termination breaks the screw symmetry (gapping the edges) but preserves magnetic mirror symmetries MxT and MyT that enforce alternating edge masses, binding zero-energy corner states with a quantized quadrupole moment pinned by chiral symmetry. Explicit lattice perturbations are shown to selectively gap first-order modes while preserving the corners.
Significance. If substantiated, the work offers a symmetry-based mechanism for realizing a termination-controlled duality between first- and second-order topology within one bulk phase in magnetic nonsymmorphic systems. The generic-model approach isolates the role of symmetries (screw, MxT, MyT, chiral) without material-specific tuning, providing a broadly applicable framework that could inform material searches and boundary-engineering strategies in antiferromagnetic topological insulators.
major comments (3)
- [discussion of the diamond-shaped termination and SDW mass implementation] The central claim that MxT and MyT remain exact on the 45° diamond termination and enforce an alternating edge-mass pattern (leading to quantized quadrupole and corner states) rests on the assumption that the momentum-dependent SDW mass term introduces no additional boundary perturbations. This needs explicit verification, either analytically or via lattice discretization, because the SDW form factor can couple to the cut and generate symmetry-allowed mass terms not forbidden by the remaining symmetries.
- [section on lattice perturbations and numerical results] The assertion that explicit lattice perturbations gap the first-order edge modes while robustly preserving corner states requires demonstration that these perturbations preserve chiral symmetry and do not induce finite-size corrections to the quadrupole quantization. Without accompanying numerical spectra or finite-size scaling of the quadrupole moment, it is unclear whether the duality survives beyond the continuum limit.
- [model construction and symmetry analysis] The generic Dirac model is stated to fully capture the low-energy physics, yet the manuscript does not provide the explicit lattice Hamiltonian or the mapping from the continuum SDW term to the lattice, making it difficult to confirm that the chosen terminations (screw-compatible vs. 45° diamond) can be realized without extraneous symmetry breaking from lattice effects or disorder.
minor comments (2)
- [abstract and introduction] Notation for the magnetic mirror symmetries (MxT, MyT) and the SDW mass term should be defined consistently in the main text and abstract to avoid ambiguity for readers unfamiliar with nonsymmorphic magnetic groups.
- [figures and numerical methods] If figures of edge or corner spectra are present, they should include a clear statement of the system size used and any finite-size extrapolation performed for the quadrupole moment.
Simulated Author's Rebuttal
We thank the referee for the thorough review and constructive suggestions. The comments have prompted us to strengthen the presentation of our results on termination-controlled hybrid-order topology. We address each major comment below and indicate the revisions made.
read point-by-point responses
-
Referee: [discussion of the diamond-shaped termination and SDW mass implementation] The central claim that MxT and MyT remain exact on the 45° diamond termination and enforce an alternating edge-mass pattern (leading to quantized quadrupole and corner states) rests on the assumption that the momentum-dependent SDW mass term introduces no additional boundary perturbations. This needs explicit verification, either analytically or via lattice discretization, because the SDW form factor can couple to the cut and generate symmetry-allowed mass terms not forbidden by the remaining symmetries.
Authors: We agree that explicit verification strengthens the central claim. In the revised manuscript we have added an analytical derivation of the boundary conditions for the diamond termination together with a lattice discretization of the SDW term. These calculations confirm that the momentum-dependent SDW mass does not generate extra symmetry-allowed mass terms on the cut; the magnetic mirror symmetries MxT and MyT remain exact and continue to enforce the alternating edge-mass pattern that binds the corner states. revision: yes
-
Referee: [section on lattice perturbations and numerical results] The assertion that explicit lattice perturbations gap the first-order edge modes while robustly preserving corner states requires demonstration that these perturbations preserve chiral symmetry and do not induce finite-size corrections to the quadrupole quantization. Without accompanying numerical spectra or finite-size scaling of the quadrupole moment, it is unclear whether the duality survives beyond the continuum limit.
Authors: We thank the referee for this observation. The revised version now includes the full numerical spectra of the lattice model with the added perturbations, explicitly showing the gapping of the first-order edge modes while the corner states remain pinned at zero energy. We also present a finite-size scaling analysis of the quadrupole moment, demonstrating that it stays quantized at the expected value with only exponentially small corrections for large system sizes, thereby confirming that the hybrid-order duality is robust beyond the continuum limit. revision: yes
-
Referee: [model construction and symmetry analysis] The generic Dirac model is stated to fully capture the low-energy physics, yet the manuscript does not provide the explicit lattice Hamiltonian or the mapping from the continuum SDW term to the lattice, making it difficult to confirm that the chosen terminations (screw-compatible vs. 45° diamond) can be realized without extraneous symmetry breaking from lattice effects or disorder.
Authors: We accept that an explicit lattice realization improves transparency. The revised manuscript now contains the full lattice Hamiltonian, the low-energy expansion that yields the continuum Dirac model, and the precise mapping of the momentum-dependent SDW term. We further detail how both the screw-compatible and 45° diamond terminations are constructed on the lattice so that only the intended symmetries are broken by the geometry, with no additional disorder or symmetry-breaking terms introduced. revision: yes
Circularity Check
No significant circularity in symmetry-based derivation
full rationale
The paper's derivation starts from a generic antiferromagnetic Dirac model whose momentum-dependent SDW mass term is introduced explicitly as symmetry-allowed (abstract). Boundary manifestations are then deduced by inspecting which symmetries survive each termination: nonsymmorphic screw symmetry remains intact on screw-compatible edges, protecting gapless first-order states; the 45° diamond cut breaks screw symmetry but retains MxT and MyT, which enforce alternating edge masses and bind zero-energy corners via chiral symmetry. The quantized quadrupole moment follows directly from this symmetry pattern. No equation or claim reduces by construction to a fitted parameter renamed as prediction, no self-citation supplies a load-bearing uniqueness theorem, and the SDW term is not defined in terms of the target hybrid-order states. The lattice-perturbation checks are additional verifications, not the core chain. The analysis is therefore self-contained against external symmetry principles.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The low-energy physics is captured by a generic antiferromagnetic Dirac model with a symmetry-allowed momentum-dependent SDW mass term
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.lean; IndisputableMonolith/Cost/FunctionalEquation.leanreality_from_one_distinction; washburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Utilizing a generic antiferromagnetic Dirac model with a symmetry-allowed, momentum-dependent spin-density-wave (SDW) mass... For screw-compatible edges, nonsymmorphic screw symmetry protects gapless first-order edge states. In contrast, for a 45° diamond-shaped termination, the screw symmetry is broken... magnetic mirror symmetries MxT and MyT, which enforce an alternating pattern of edge masses, thereby binding zero-dimensional corner states.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Replacingq x → −i∂ x, we separate the Hamiltonian into a transverse part and a longitudinal perturbation H0 = ( ˜∆−∆ 1∂2 x)τzσz +it soc∂xτzσy,(5a) Hp =t socqyτzσx.(5b) SolvingH 0ψ(x) = 0yields a two-dimensional edge-state sub- space. ProjectingH p into this subspace gives the effective edge Hamiltonian Heff,[10] =vq y ηz,(6) whereη z act in the projected ...
-
[2]
M. Z. Hasan and C. L. Kane, Colloquium: Topological insula- tors, Rev. Mod. Phys.82, 3045 (2010)
work page 2010
-
[3]
X.-L. Qi and S.-C. Zhang, Topological insulators and supercon- ductors, Rev. Mod. Phys.83, 1057 (2011)
work page 2011
-
[4]
R. S. K. Mong, A. M. Essin, and J. E. Moore, Antiferromagnetic topological insulators, Phys. Rev. B81, 245209 (2010)
work page 2010
-
[5]
L. ˇSmejkal, Y. Mokrousov, B. Yan, and A. H. MacDonald, Topological antiferromagnetic spintronics, Nature Phys.14, 242 (2018)
work page 2018
-
[6]
C. Fang, M. J. Gilbert, and B. A. Bernevig, Topological insula- tors with commensurate antiferromagnetism, Phys. Rev. B88, 085406 (2013)
work page 2013
- [7]
-
[8]
M. M. Otrokov, I. P. Rusinov, M. Blanco-Rey, M. Hoffmann, A. Y. Vyazovskaya, S. V. Eremeev, A. Ernst, P. M. Echenique, A. Arnau, and E. V. Chulkov, Unique thickness-dependent prop- erties of the van der waals interlayer antiferromagnetmnbi2te4 films, Phys. Rev. Lett.122, 107202 (2019)
work page 2019
-
[9]
M. M. Otrokov, I. I. Klimovskikh, H. Bentmann, D. Estyunin, A. Zeugner, Z. S. Aliev, S. Gaß, A. U. B. Wolter, A. V. Ko- roleva, A. M. Shikin, M. B. Rey, M. Hoffmann, I. P. Rusi- nov, A. Y. Vyazovskaya, S. V. Eremeev, Y. M. Koroteev, V. M. Kuznetsov, F. Freyse, J. S. Barriga, I. R. Amiraslanov, M. B. Ba- banly, N. T. Mamedov, N. A. Abdullayev, V. N. Zverev...
work page 2019
-
[10]
Y. Gong, J. Guo, J. Li, K. Zhu, M. Liao, X. Liu, Q. Zhang, L. Gu, L. Tang, F. Xiao, D. Zhang, W. Li, C. Song, L. Wang, P. Yu, X. Chen, Y. Wang, H. Yao, W. Duan, Y. Xu, S.-C. Zhang, X. Ma, Q.-K. Xue, and K. He, Experimental realization of an intrinsic magnetic topological insulator, Chinese Physics Letters 36, 076801 (2019)
work page 2019
-
[11]
S. Li, T. Liu, C. Liu, Y. Wang, H.-Z. Lu, and X. C. Xie, Progress on the antiferromagnetic topological insulator mnbi2te4, Na- tional Science Review11, nwac296 (2024)
work page 2024
-
[12]
Z. F. Wang, H. Zhang, D. Liu, C. Liu, C. Tang, C. Song, Y. Zhong, J. Peng, F. Li, C. Nie, L. Wang, X. J. Zhou, X. C. Ma, Q. K. Xue, and F. Liu, Topological edge states in a high- temperature superconductor fese/srtio3(001) film, Nature Ma- terials15, 968 (2016)
work page 2016
-
[13]
C. Niu, H. Wang, N. Mao, B. Huang, Y. Mokrousov, and Y. Dai, Antiferromagnetic topological insulator with nonsymmorphic protection in two dimensions, Phys. Rev. Lett.124, 066401 (2020)
work page 2020
- [14]
-
[15]
W. A. Benalcazar, B. A. Bernevig, and T. L. Hughes, Quantized electric multipole insulators, Science357, 61 (2017)
work page 2017
-
[16]
Z. Song, Z. Fang, and C. Fang,(d−2)-dimensional edge states of rotation symmetry protected topological states, Phys. Rev. Lett.119, 246402 (2017)
work page 2017
-
[17]
F. Schindler, A. M. Cook, M. G. Vergniory, Z. Wang, S. J. Parkin, B. A. Bernevig, and T. Neupert, Higher-order topologi- cal insulators, Science Advances4, eaat0346 (2018)
work page 2018
- [18]
-
[19]
B. J. Wieder, B. Bradlyn, J. Cano, Z. Wang, M. G. Vergniory, L. Elcoro, A. A. Soluyanov, C. Felser, T. Neupert, N. Regnault, and B. A. Bernevig, Topological materials discovery from crys- tal symmetry, Nature Reviews Materials7, 196 (2022)
work page 2022
-
[20]
M. Ezawa, Higher-order topological insulators and semimetals on the breathing kagome and pyrochlore lattices, Phys. Rev. Lett. 120, 026801 (2018)
work page 2018
-
[21]
Yan, Higher-order topological odd-parity superconductors, Phys
Z. Yan, Higher-order topological odd-parity superconductors, Phys. Rev. Lett.123, 177001 (2019)
work page 2019
-
[22]
R. Chen, C.-Z. Chen, J.-H. Gao, B. Zhou, and D.-H. Xu, Higher- order topological insulators in quasicrystals, Phys. Rev. Lett. 124, 036803 (2020)
work page 2020
-
[23]
C.-B. Hua, R. Chen, B. Zhou, and D.-H. Xu, Higher-order topo- logical insulator in a dodecagonal quasicrystal, Phys. Rev. B 102, 241102 (2020)
work page 2020
- [24]
-
[25]
M. J. Park, Y. Kim, G. Y. Cho, and S. Lee, Higher-order topolog- ical insulator in twisted bilayer graphene, Phys. Rev. Lett.123, 216803 (2019)
work page 2019
-
[26]
E. Lee, R. Kim, J. Ahn, and B.-J. Yang, Two-dimensional 6 higher-order topology in monolayer graphdiyne, npj Quantum Mater.5, 1 (2020)
work page 2020
-
[27]
N. Bultinck, B. A. Bernevig, and M. P. Zaletel, Three- dimensional superconductors with hybrid higher-order topol- ogy, Phys. Rev. B99, 125149 (2019)
work page 2019
-
[28]
S. H. Kooi, G. van Miert, and C. Ortix, Hybrid-order topology of weak topological insulators, Phys. Rev. B102, 041122 (2020)
work page 2020
-
[29]
Y.-Q. Zhu, Z. Zheng, G. Palumbo, and Z. D. Wang, Topological insulators with hybrid-order boundary states, Phys. Rev. B111, 195107 (2025)
work page 2025
-
[30]
N.-J. Yang, J.-M. Zhang, X.-P. Li, Z. Zhang, Z.-M. Yu, Z. Huang, and Y. Yao, Sliding ferroelectrics induced hybrid- order topological phase transitions, Phys. Rev. Lett.134, 256602 (2025)
work page 2025
-
[31]
W. Jia, Y. Tian, H. Yang, X. Kong, Z.-H. Huang, W.-J. Gong, and J.-H. An, Unconventional hybrid-order topological insula- tors, Phys. Rev. B112, L241103 (2025)
work page 2025
-
[32]
Y. Yang, J. Lu, M. Yan, X. Huang, W. Deng, and Z. Liu, Hybrid- order topological insulators in a phononic crystal, Phys. Rev. Lett.126, 156801 (2021)
work page 2021
-
[33]
Y. Xu, Z. Song, Z. Wang, H. Weng, and X. Dai, Higher-order topology of the axion insulatoreuin 2as2, Phys. Rev. Lett.122, 256402 (2019)
work page 2019
- [34]
- [35]
-
[36]
H. Mu, G. Zhao, H. Zhang, and Z. Wang, Antiferromagnetic second-order topological insulator with fractional mass-kink, npj Computational Materials8, 82 (2022)
work page 2022
-
[37]
A. Luo, Z. Song, and G. Xu, Fragile topological band in the checkerboard antiferromagnetic monolayer fese, npj Computa- tional Materials8, 26 (2022)
work page 2022
-
[38]
F. Zhan, Z. Qin, D.-H. Xu, X. Zhou, D.-S. Ma, and R. Wang, Design of antiferromagnetic second-order band topology with rotation topological invariants in two dimensions, Nano Letters 24, 7741 (2024)
work page 2024
-
[39]
B. A. Bernevig, C. Felser, and H. Beidenkopf, Progress and prospects in magnetic topological materials, Nature603, 41 (2022)
work page 2022
-
[40]
H. Ikeda and Y. Ohashi, Theory of unconventional spin density wave: A possible mechanism of the micromagnetism in u-based heavy fermion compounds, Phys. Rev. Lett.81, 3723 (1998)
work page 1998
-
[41]
L. ˇSmejkal, J. ˇZelezn´y, J. Sinova, and T. Jungwirth, Electric con- trol of dirac quasiparticles by spin-orbit torque in an antiferro- magnet, Phys. Rev. Lett.118, 106402 (2017)
work page 2017
-
[42]
Wang, Antiferromagnetic dirac semimetals in two dimen- sions, Phys
J. Wang, Antiferromagnetic dirac semimetals in two dimen- sions, Phys. Rev. B95, 115138 (2017)
work page 2017
-
[43]
S. M. Young and C. L. Kane, Dirac semimetals in two dimen- sions, Phys. Rev. Lett.115, 126803 (2015)
work page 2015
-
[44]
S. Qin, C. Fang, F.-C. Zhang, and J. Hu, Topological supercon- ductivity in an extendeds-wave superconductor and its impli- cation to iron-based superconductors, Phys. Rev. X12, 011030 (2022)
work page 2022
- [45]
-
[46]
P. Tang, Q. Zhou, G. Xu, and S.-C. Zhang, Dirac fermions in an antiferromagnetic semimetal, Nature Physics12, 1100 (2016)
work page 2016
-
[47]
A. G. Linn, P. Hao, K. N. Gordon, D. Narayan, B. S. Berggren, N. Speiser, S. Reimers, R. P. Campion, V. Nov´ak, S. S. Dhesi, T. K. Kim, C. Cacho, L.ˇSmejkal, T. Jungwirth, J. D. Denlinger, P. Wadley, and D. S. Dessau, Experimental electronic struc- ture of the electrically switchable antiferromagnet cumnas, npj Quantum Materials8, 19 (2023)
work page 2023
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.