Robust topological invariants of topological crystalline phases in the presence of impurities
Pith reviewed 2026-05-25 13:35 UTC · model grok-4.3
The pith
Projected symmetry operators yield basis-independent invariants for topological crystalline phases that stay stable under impurities away from symmetry centers.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Robust basis-independent topological invariants can be generically constructed for TCPs using projected symmetry operators. The real-space topological markers of these invariants are exponentially localized to the fixed points of the spatial symmetry. As a result, this real-space structure protects them against the presence of impurities that are located away from the fixed points. By considering all possible symmetry centers a mesh of markers is obtained that distinguishes the phase locally, and the same construction applies to boundary modes such as the gapless Majorana edges of mirror-symmetric topological superconductors.
What carries the argument
Projected symmetry operators onto the occupied subspace, whose eigenvalues define the invariants and whose real-space matrix elements furnish exponentially localized markers at symmetry fixed points.
If this is right
- A complete mesh of markers, one per possible symmetry center, supplies a local topological diagnostic throughout the sample.
- The same projected-operator construction produces quantized invariants on the boundaries of these phases, including an integer edge invariant for mirror-symmetric topological superconductors that equals a quantized effective edge polarization.
- The approach covers one- and two-dimensional examples protected by inversion, rotation, and mirror symmetries.
- Because the markers are exponentially localized, the invariants remain well-defined for any impurity configuration that spares the immediate vicinity of the fixed points.
Where Pith is reading between the lines
- Local spectroscopic probes placed near symmetry centers could read out the topology without requiring knowledge of the entire sample or momentum-space periodicity.
- The localization property suggests that controlled disorder engineered far from fixed points might be used to test the separation between bulk and boundary invariants in experiment.
- Extending the projection technique to interacting or Floquet systems could produce analogous real-space markers for those settings.
Load-bearing premise
Spatial symmetries remain well-defined and their operators can still be projected onto the occupied subspace even when impurities sit away from the symmetry fixed points.
What would settle it
Observation that the topological markers lose their quantization or spread significantly when impurities are introduced near the symmetry fixed points would falsify the claimed robustness.
Figures
read the original abstract
Topological crystalline phases (TCPs) are topological states protected by spatial symmetries. A broad range of TCPs have been conventionally studied by formulating topological invariants (symmetry indicators) at invariant momenta in the Brillouin zone, which leaves open the question of their stability in the absence of translational invariance. In this work, we show that robust basis-independent topological invariants can be generically constructed for TCPs using projected symmetry operators. Remarkably we show that the real-space topological markers of these invariants are exponentially localized to the fixed points of the spatial symmetry. As a result, this real-space structure protects them against the presence of impurities that are located away from the fixed points. By considering all possible symmetry centers in a crystalline system we can generate a mesh of real-space topological markers that can provide a local topological distinction for TCPs. We illustrate the robustness of this mesh of invariants with 1D and 2D TCPs protected by inversion, rotational and mirror symmetries. Finally, we find that the boundary modes of these TCPs can also exhibit robust topological invariants with localized markers on the edges. We illustrate this with the gapless Majorana boundary modes of mirror-symmetric topological superconductors, and relate their integer topological edge invariant with a quantized effective edge polarization.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes constructing robust, basis-independent topological invariants for topological crystalline phases (TCPs) via projected symmetry operators. It claims that the associated real-space topological markers localize exponentially at spatial-symmetry fixed points, thereby remaining insensitive to impurities placed elsewhere (provided the symmetry is preserved). The construction is illustrated for 1D and 2D TCPs protected by inversion, rotational, and mirror symmetries; the approach is further applied to gapless Majorana boundary modes of mirror-symmetric topological superconductors, where an integer edge invariant is related to quantized effective edge polarization. A mesh of such markers is proposed to furnish local topological distinction.
Significance. If the localization property and the associated robustness are rigorously established, the work supplies a real-space route to topological classification of TCPs that does not rely on translational invariance. This could be useful for systems with impurities or weak disorder that preserve the relevant spatial symmetries. The explicit connection between the projected-operator invariants and boundary-mode polarization is a concrete strength.
major comments (2)
- [Abstract / projected symmetry operators section] Abstract and § on projected symmetry operators: the claim that the projection onto the occupied subspace remains well-defined when impurities are present away from fixed points is stated but not accompanied by an explicit construction or error bound; the manuscript should demonstrate that the occupied projector commutes with the symmetry operator to the required accuracy even in the presence of such impurities.
- [real-space markers section] Section on real-space markers: the exponential localization is asserted as the key protection mechanism, yet no decay length, analytic bound, or systematic numerical check (e.g., versus impurity strength or distance) is referenced; without such evidence the robustness statement remains qualitative.
minor comments (2)
- Figure captions should explicitly label the symmetry fixed points and the spatial decay of the markers so that the localization claim can be read off visually.
- Notation for the projected operators (e.g., P S P) should be introduced once and used consistently; a short appendix collecting all definitions would improve readability.
Simulated Author's Rebuttal
We thank the referee for the positive assessment and the recommendation for minor revision. We address the two major comments point by point below.
read point-by-point responses
-
Referee: [Abstract / projected symmetry operators section] Abstract and § on projected symmetry operators: the claim that the projection onto the occupied subspace remains well-defined when impurities are present away from fixed points is stated but not accompanied by an explicit construction or error bound; the manuscript should demonstrate that the occupied projector commutes with the symmetry operator to the required accuracy even in the presence of such impurities.
Authors: When impurities preserve the spatial symmetry, the full Hamiltonian (including the impurity potential) commutes exactly with the symmetry operator S. The occupied projector P is the spectral projector onto states below the gap and is uniquely determined by the Hamiltonian; it therefore inherits the exact commutation relation [P, S] = 0 with no approximation or error bound required. This holds regardless of the location of the impurities provided the symmetry is unbroken. We will insert a short clarifying paragraph in the projected-symmetry-operator section making this commutation explicit. revision: yes
-
Referee: [real-space markers section] Section on real-space markers: the exponential localization is asserted as the key protection mechanism, yet no decay length, analytic bound, or systematic numerical check (e.g., versus impurity strength or distance) is referenced; without such evidence the robustness statement remains qualitative.
Authors: The exponential decay of the real-space markers follows directly from the exponential decay of the single-particle density matrix in a gapped system (a standard result for insulators with a finite gap). Because the marker is built from the projected symmetry operator, its support is confined to the fixed-point region on the same length scale. While we did not include explicit numerical scans versus impurity distance or strength, the analytic argument based on the gapped density-matrix decay already supplies the protection mechanism. We will add a brief reference to this standard decay property and one illustrative numerical panel in the revised manuscript. revision: partial
Circularity Check
No significant circularity; derivation is a self-contained construction
full rationale
The paper constructs topological invariants directly from projected symmetry operators applied to the occupied subspace. The claimed exponential localization of real-space markers at symmetry fixed points follows from the algebraic properties of these operators and the definition of the fixed points, without any parameter fitting, renaming of known results, or load-bearing self-citation chains. The robustness to distant impurities is a direct geometric consequence of that localization rather than an input redefined as output. No step reduces the target invariants to the inputs by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The crystalline system possesses well-defined spatial symmetries (inversion, rotation, mirror) whose fixed points can be identified.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
real-space topological markers of these invariants are exponentially localized to the fixed points of the spatial symmetry... protects them against the presence of impurities that are located away from the fixed points
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]
M. Z. Hasan and C. L. Kane. Colloquium : Topological insulators. Rev. Mod. Phys. , 82:3045–3067, Nov 2010
work page 2010
-
[2]
Topological insu- lators and superconductors
Xiao-Liang Qi and Shou-Cheng Zhang. Topological insu- lators and superconductors. Rev. Mod. Phys. , 83:1057– 1110, Oct 2011
work page 2011
-
[3]
Topological crystalline insulators
Liang Fu. Topological crystalline insulators. Phys. Rev. Lett., 106:106802, Mar 2011
work page 2011
-
[4]
Hsieh, Hsin Lin, Junwei Liu, Wenhui Duan, Arun Bansil, and Liang Fu
Timothy H. Hsieh, Hsin Lin, Junwei Liu, Wenhui Duan, Arun Bansil, and Liang Fu. Topological crystalline insu- lators in the snte material class. Nat Commun , 3:982, 07 2012
work page 2012
-
[5]
Su-Yang Xu, Chang Liu, N. Alidoust, M. Neupane, D. Qian, I. Belopolski, J. D. Denlinger, Y. J. Wang, H. Lin, L. A. Wray, G. Landolt, B. Slomski, J. H. Dil, A. Marcinkova, E. Morosan, Q. Gibson, R. Sankar, F. C. Chou, R. J. Cava, A. Bansil, and M. Z. Hasan. Ob- servation of a topological crystalline insulator phase and topological phase transition in pb1xs...
work page 2012
- [6]
-
[7]
Y. Tanaka, Zhi Ren, T. Sato, K. Nakayama, S. Souma, T. Takahashi, Kouji Segawa, and Yoichi Ando. Exper- imental realization of a topological crystalline insulator in snte. Nat Phys , 8(11):800–803, 11 2012
work page 2012
-
[8]
Sankar, Fangcheng Chou, Arun Bansil, M
Yoshinori Okada, Maksym Serbyn, Hsin Lin, Daniel Walkup, Wenwen Zhou, Chetan Dhital, Madhab Neu- pane, Suyang Xu, Yung Jui Wang, R. Sankar, Fangcheng Chou, Arun Bansil, M. Zahid Hasan, Stephen D. Wil- son, Liang Fu, and Vidya Madhavan. Observation of dirac node formation and mass acquisition in a topolog- ical crystalline insulator. Science, 341(6153):149...
work page 2013
-
[9]
Taylor L. Hughes, Emil Prodan, and B. Andrei Bernevig. Inversion-symmetric topological insulators. Phys. Rev. B, 83:245132, Jun 2011
work page 2011
-
[10]
Chen Fang, Matthew J. Gilbert, and B. Andrei Bernevig. Bulk topological invariants in noninteracting point group symmetric insulators. Phys. Rev. B, 86:115112, Sep 2012
work page 2012
-
[11]
Ching-Kai Chiu, Hong Yao, and Shinsei Ryu. Classifica- tion of topological insulators and superconductors in the presence of reflection symmetry.Phys. Rev. B, 88:075142, Aug 2013
work page 2013
-
[12]
Fan Zhang, C. L. Kane, and E. J. Mele. Topological mirror superconductivity. Phys. Rev. Lett. , 111:056403, Aug 2013
work page 2013
-
[13]
Chen Fang, Matthew J. Gilbert, and B. Andrei Bernevig. New class of topological superconductors protected by magnetic group symmetries. Phys. Rev. Lett. , 112:106401, Mar 2014
work page 2014
-
[14]
Alexandradinata, Chen Fang, Matthew J
A. Alexandradinata, Chen Fang, Matthew J. Gilbert, and B. Andrei Bernevig. Spin-orbit-free topological insu- lators without time-reversal symmetry. Phys. Rev. Lett. , 113:116403, Sep 2014. 6
work page 2014
-
[15]
Jeffrey C. Y. Teo and Taylor L. Hughes. Existence of majorana-fermion bound states on disclinations and the classification of topological crystalline superconductors in two dimensions. Phys. Rev. Lett. , 111:047006, Jul 2013
work page 2013
-
[16]
Wladimir A. Benalcazar, Jeffrey C. Y. Teo, and Tay- lor L. Hughes. Classification of two-dimensional topo- logical crystalline superconductors and majorana bound states at disclinations. Phys. Rev. B , 89:224503, Jun 2014
work page 2014
-
[17]
Interaction effect on topolog- ical classification of superconductors in two dimensions
Hong Yao and Shinsei Ryu. Interaction effect on topolog- ical classification of superconductors in two dimensions. Phys. Rev. B , 88:064507, Aug 2013
work page 2013
-
[18]
Theory of interacting topo- logical crystalline insulators
Hiroki Isobe and Liang Fu. Theory of interacting topo- logical crystalline insulators. Phys. Rev. B , 92:081304, Aug 2015
work page 2015
-
[19]
Anomalous crystal symmetry fractionalization on the surface of topological crystalline insulators
Yang Qi and Liang Fu. Anomalous crystal symmetry fractionalization on the surface of topological crystalline insulators. Phys. Rev. Lett. , 115:236801, Dec 2015
work page 2015
-
[20]
Ching-Kai Chiu, D. I. Pikulin, and M. Franz. Proposed platform to study interaction-enabled topological phases with fermionic particles. Phys. Rev. B , 92:241115, Dec 2015
work page 2015
-
[21]
Matthew F. Lapa, Jeffrey C. Y. Teo, and Taylor L. Hughes. Interaction-enabled topological crystalline phases. Phys. Rev. B , 93:115131, Mar 2016
work page 2016
-
[22]
Topological phases protected by point group sym- metry
Hao Song, Sheng-Jie Huang, Liang Fu, and Michael Her- mele. Topological phases protected by point group sym- metry. arXiv, 2016
work page 2016
-
[23]
Barry Bradlyn, L. Elcoro, Jennifer Cano, M. G. Vergniory, Zhijun Wang, C. Felser, M. I. Aroyo, and B. Andrei Bernevig. Topological quantum chemistry.Na- ture, 547:298 EP –, Jul 2017. Article
work page 2017
- [24]
-
[25]
Wladimir A. Benalcazar, B. Andrei Bernevig, and Tay- lor L. Hughes. Quantized electric multipole insulators. Science, 357(6346):61–66, 2017
work page 2017
-
[26]
Wladimir A. Benalcazar, B. Andrei Bernevig, and Tay- lor L. Hughes. Electric multipole moments, topological multipole moment pumping, and chiral hinge states in crystalline insulators. Phys. Rev. B, 96:245115, Dec 2017
work page 2017
-
[27]
Frank Schindler, Ashley M. Cook, Maia G. Vergniory, Zhijun Wang, Stuart S. P. Parkin, B. Andrei Bernevig, and Titus Neupert. Higher-order topological insulators. Science Advances, 4(6), 2018
work page 2018
-
[28]
Liang Fu and C. L. Kane. Topology, delocalization via average symmetry and the symplectic anderson transi- tion. Phys. Rev. Lett. , 109:246605, Dec 2012
work page 2012
-
[29]
I. C. Fulga, B. van Heck, J. M. Edge, and A. R. Akhmerov. Statistical topological insulators. Phys. Rev. B, 89:155424, Apr 2014
work page 2014
-
[30]
Quantization of topolog- ical invariants under symmetry-breaking disorder
Juntao Song and Emil Prodan. Quantization of topolog- ical invariants under symmetry-breaking disorder. Phys. Rev. B, 92:195119, Nov 2015
work page 2015
-
[31]
Sankar, Daniel Walkup, Wenwen Zhou, Junwei Liu, Guoqing Chang, Yung Jui Wang, M
Ilija Zeljkovic, Yoshinori Okada, Maksym Serbyn, R. Sankar, Daniel Walkup, Wenwen Zhou, Junwei Liu, Guoqing Chang, Yung Jui Wang, M. Zahid Hasan, Fangcheng Chou, Hsin Lin, Arun Bansil, Liang Fu, and Vidya Madhavan. Dirac mass generation from crystal symmetry breaking on the surfaces of topological crys- talline insulators. Nat Mater , 14(3):318–324, 03 2015
work page 2015
-
[32]
Ex- tended topological group structure due to average reflec- tion symmetry
M Diez, D I Pikulin, I C Fulga, and J Tworzyd lo. Ex- tended topological group structure due to average reflec- tion symmetry. New Journal of Physics , 17(4):043014, apr 2015
work page 2015
-
[33]
Chen Fang, Matthew J. Gilbert, and B. Andrei Bernevig. Entanglement spectrum classification of Cn-invariant noninteracting topological insulators in two dimensions. Phys. Rev. B , 87:035119, Jan 2013
work page 2013
-
[34]
Mapping topologi- cal order in coordinate space
Raffaello Bianco and Raffaele Resta. Mapping topologi- cal order in coordinate space. Phys. Rev. B , 84:241106, Dec 2011
work page 2011
-
[35]
Meier, Fangzhao Alex An, Alexandre Dauphin, Maria Maffei, Pietro Massignan, Taylor L
Eric J. Meier, Fangzhao Alex An, Alexandre Dauphin, Maria Maffei, Pietro Massignan, Taylor L. Hughes, and Bryce Gadway. Observation of the topological an- derson insulator in disordered atomic wires. Science, 362(6417):929–933, 2018
work page 2018
-
[36]
Building crystalline topological phases from lower-dimensional states
Sheng-Jie Huang, Hao Song, Yi-Ping Huang, and Michael Hermele. Building crystalline topological phases from lower-dimensional states. Phys. Rev. B , 96:205106, Nov 2017
work page 2017
-
[37]
Real-space recipes for general topological crystalline states, 2018
Zhida Song, Chen Fang, and Yang Qi. Real-space recipes for general topological crystalline states, 2018
work page 2018
-
[38]
Ken Shiozaki, Hassan Shapourian, and Shinsei Ryu. Many-body topological invariants in fermionic symmetry-protected topological phases: Cases of point group symmetries. Phys. Rev. B , 95:205139, May 2017
work page 2017
-
[39]
Many-body topological invariants for fermionic symmetry-protected topological phases
Hassan Shapourian, Ken Shiozaki, and Shinsei Ryu. Many-body topological invariants for fermionic symmetry-protected topological phases. Phys. Rev. Lett., 118:216402, May 2017
work page 2017
-
[40]
Ken Shiozaki, Hassan Shapourian, Kiyonori Gomi, and Shinsei Ryu. Many-body topological invariants for fermionic short-range entangled topological phases pro- tected by antiunitary symmetries. Phys. Rev. B , 98:035151, Jul 2018
work page 2018
-
[41]
Hughes, Juntao Song, and Emil Prodan
Ian Mondragon-Shem, Taylor L. Hughes, Juntao Song, and Emil Prodan. Topological criticality in the chiral- symmetric aiii class at strong disorder. Phys. Rev. Lett. , 113:046802, Jul 2014
work page 2014
- [42]
-
[43]
Simplified topo- logical invariants for interacting insulators
Zhong Wang and Shou-Cheng Zhang. Simplified topo- logical invariants for interacting insulators. Phys. Rev. X, 2:031008, Aug 2012
work page 2012
-
[44]
Wei Zhang and L.-M. Duan. Tomography of correlation functions for ultracold atoms via time-of-flight images. Phys. Rev. A , 80:063614, Dec 2009
work page 2009
-
[45]
Disordered topological insulators: a non- commutative geometry perspective
Emil Prodan. Disordered topological insulators: a non- commutative geometry perspective. Journal of Physics A: Mathematical and Theoretical , 44(11):113001, 2011. 7 Supplementary Material Section I: Localization and robustness of topological markers of TCPs I.1 Conventional momentum-space classification Consider a translationally invariant d-dimensional sy...
work page 2011
-
[46]
The Pauli matrices τa act on the Nambu degree of freedom
+ cos(k.a′ 2)]τ3, (73) where a1 =a(1, 0), a2 =a(0, 1), a′ 1 = a1 + a2, and a′ 1 =−a1 + a2. The Pauli matrices τa act on the Nambu degree of freedom. The four-fold rotation operator is given by ˜c(4) S (k)|r0=0 = 1√ 2 (τ0 +iτ3). The specific parameters chosen wereu1 = 1.0 and u2 = 0.5. Section IV: Mirror-symmetric DIII topological superconductors in two dim...
-
[47]
Those that come in symmetry-related pairs {νRyjmod1,−νRyjmod1}
-
[48]
Those that coincide with an integer mirror-invariant point νRyjmod1 = 0
-
[49]
Those that coincide with a half-integer mirror-invariant point νRyjmod1 = 1/2. In view of these possibilities, if we denote by Nχ,1/2(R1) the number of Wannier states centered at R1 + 1/2, then δYχ edge(R1) = Nb∑ j=1 λR1j mod1 = Nχ,1/2∑ i=1 1 2 mod1 = [ 1 2Nχ,1/2(R1) ] mod1. (99) Thus, the only way to obtain a nonzero shift δYχ edge(R1) = ...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.