pith. sign in

arxiv: 1906.11847 · v1 · pith:X6SNLSREnew · submitted 2019-06-27 · ❄️ cond-mat.dis-nn · cond-mat.mes-hall· cond-mat.str-el

Robust topological invariants of topological crystalline phases in the presence of impurities

Pith reviewed 2026-05-25 13:35 UTC · model grok-4.3

classification ❄️ cond-mat.dis-nn cond-mat.mes-hallcond-mat.str-el
keywords topological crystalline phasesprojected symmetry operatorsreal-space topological markersimpurity robustnessspatial symmetriesinversion symmetrymirror symmetryboundary invariants
0
0 comments X

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.

Topological crystalline phases rely on spatial symmetries such as inversion or mirror symmetry for their protection. Standard invariants are formulated at high-symmetry momenta in the Brillouin zone and therefore assume perfect translational order. The paper constructs invariants directly from symmetry operators projected onto the occupied subspace. These invariants produce real-space markers that decay exponentially away from the symmetry fixed points. Because the markers sit only at those fixed points, impurities placed elsewhere leave the invariants intact and allow a mesh of local markers to distinguish the phase throughout the crystal.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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

Figures reproduced from arXiv: 1906.11847 by Ian Mondragon-Shem, Taylor L. Hughes.

Figure 1
Figure 1. Figure 1: FIG. 1. Inversion-symmetric 1D insulator. [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Rotationally-symmetric 2D superconductors. [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Mirror-symmetric DIII 2D superconductor. [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4 [PITH_FULL_IMAGE:figures/full_fig_p012_4.png] view at source ↗
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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

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)
  1. [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.
  2. [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)
  1. 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.
  2. 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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The paper introduces no new free parameters or invented entities. It relies on the standard assumption that spatial symmetries are present.

axioms (1)
  • domain assumption The crystalline system possesses well-defined spatial symmetries (inversion, rotation, mirror) whose fixed points can be identified.
    The entire construction of projected operators and localized markers presupposes the existence of these symmetries.

pith-pipeline@v0.9.0 · 5759 in / 1191 out tokens · 27164 ms · 2026-05-25T13:35:14.031530+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

49 extracted references · 49 canonical work pages

  1. [1]

    M. Z. Hasan and C. L. Kane. Colloquium : Topological insulators. Rev. Mod. Phys. , 82:3045–3067, Nov 2010

  2. [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

  3. [3]

    Topological crystalline insulators

    Liang Fu. Topological crystalline insulators. Phys. Rev. Lett., 106:106802, Mar 2011

  4. [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

  5. [5]

    Alidoust, M

    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...

  6. [6]

    Dziawa, B

    P. Dziawa, B. J. Kowalski, K. Dybko, R. Buczko, A. Szczerbakow, M. Szot, E. Lusakowska, T. Balasub- ramanian, B. M. Wojek, M. H. Berntsen, O. Tjernberg, and T. Story. Topological crystalline insulator states in pb1xsnxse. Nat Mater , 11(12):1023–1027, 12 2012

  7. [7]

    Tanaka, Zhi Ren, T

    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

  8. [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...

  9. [9]

    Hughes, Emil Prodan, and B

    Taylor L. Hughes, Emil Prodan, and B. Andrei Bernevig. Inversion-symmetric topological insulators. Phys. Rev. B, 83:245132, Jun 2011

  10. [10]

    Gilbert, and B

    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

  11. [11]

    Classifica- tion of topological insulators and superconductors in the presence of reflection symmetry.Phys

    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

  12. [12]

    Fan Zhang, C. L. Kane, and E. J. Mele. Topological mirror superconductivity. Phys. Rev. Lett. , 111:056403, Aug 2013

  13. [13]

    Gilbert, and B

    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

  14. [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

  15. [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

  16. [16]

    Benalcazar, Jeffrey C

    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

  17. [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

  18. [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

  19. [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

  20. [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

  21. [21]

    Lapa, Jeffrey C

    Matthew F. Lapa, Jeffrey C. Y. Teo, and Taylor L. Hughes. Interaction-enabled topological crystalline phases. Phys. Rev. B , 93:115131, Mar 2016

  22. [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

  23. [23]

    Elcoro, Jennifer Cano, M

    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

  24. [24]

    Elcoro, M

    Jennifer Cano, Barry Bradlyn, Zhijun Wang, L. Elcoro, M. G. Vergniory, C. Felser, M. I. Aroyo, and B. Andrei Bernevig. Building blocks of topological quantum chem- istry: Elementary band representations. Phys. Rev. B , 97:035139, Jan 2018

  25. [25]

    Benalcazar, B

    Wladimir A. Benalcazar, B. Andrei Bernevig, and Tay- lor L. Hughes. Quantized electric multipole insulators. Science, 357(6346):61–66, 2017

  26. [26]

    Benalcazar, B

    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

  27. [27]

    Cook, Maia G

    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

  28. [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

  29. [29]

    I. C. Fulga, B. van Heck, J. M. Edge, and A. R. Akhmerov. Statistical topological insulators. Phys. Rev. B, 89:155424, Apr 2014

  30. [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

  31. [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

  32. [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

  33. [33]

    Gilbert, and B

    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

  34. [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

  35. [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

  36. [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

  37. [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

  38. [38]

    Many-body topological invariants in fermionic symmetry-protected topological phases: Cases of point group symmetries

    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

  39. [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

  40. [40]

    Many-body topological invariants for fermionic short-range entangled topological phases pro- tected by antiunitary symmetries

    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

  41. [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

  42. [42]

    Kivelson

    S. Kivelson. Wannier functions in one-dimensional disor- dered systems: Application to fractionally charged soli- tons. Phys. Rev. B , 26:4269–4277, Oct 1982

  43. [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

  44. [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

  45. [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...

  46. [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. [47]

    Those that come in symmetry-related pairs {νRyjmod1,−νRyjmod1}

  48. [48]

    Those that coincide with an integer mirror-invariant point νRyjmod1 = 0

  49. [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) = ...