pith. sign in

arxiv: 2511.21821 · v2 · pith:3A4NYUX3new · submitted 2025-11-26 · ❄️ cond-mat.mtrl-sci

IRSSG: An Open-Source Software Package for Spin Space Groups

Pith reviewed 2026-05-21 17:26 UTC · model grok-4.3

classification ❄️ cond-mat.mtrl-sci
keywords spin space groupsmagnetic symmetryDFT wavefunctionsirreducible corepresentationsaltermagnetismmagnetic topologysymmetry softwareband labeling
0
0 comments X

The pith

IRSSG software identifies all spin space group operations from DFT wavefunctions and assigns irreducible corepresentation labels to magnetic energy bands.

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

The paper introduces an open-source package called IRSSG that analyzes magnetic systems by determining their spin space group symmetries directly from density functional theory wavefunctions. It first finds all symmetry operations and assigns an international symbol, then creates character tables for little groups at chosen momentum points, and finally labels the energy bands with their irreducible corepresentations by calculating representation traces. This tool integrates with popular DFT codes like VASP and Quantum ESPRESSO through Wannier90 interfaces. A sympathetic reader would care because spin space groups capture combined spatial and spin symmetries that govern phenomena such as altermagnetism and protected band degeneracies in magnetic materials.

Core claim

The IRSSG package works within the DFT framework by taking wavefunctions as input. It identifies all SSG operations and determines the SSG international symbol for a given magnetic system. It generates the SSG character tables of little groups at any k point. Finally, it computes the traces of matrix representations of SSG operations and assigns irreducible corepresentation labels to magnetic energy bands.

What carries the argument

IRSSG, the software package that detects spin space group operations by processing DFT wavefunctions and uses trace calculations to label bands with irreducible corepresentations.

If this is right

  • Researchers gain an automated route to study magnons and altermagnetism in systems whose symmetries are described by spin space groups.
  • Character tables become available for little groups at any chosen k-point in magnetic structures.
  • Magnetic energy bands receive systematic irreducible corepresentation assignments based on computed traces.
  • The approach supports direct input from VASP, Quantum ESPRESSO, and Wannier90 outputs for practical calculations.

Where Pith is reading between the lines

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

  • The labeled bands could be used to compute topological invariants that are protected specifically under spin space group symmetries.
  • Scanning material databases with IRSSG might help identify new candidates for high-degeneracy magnetic excitations.
  • Validation on additional test cases with known SSGs would clarify how far the automation extends without manual checks.

Load-bearing premise

The wavefunctions output by standard DFT calculations contain all the information needed to uniquely identify the complete set of spin space group operations without extra inputs on the magnetic configuration.

What would settle it

Running IRSSG on a collinear antiferromagnet with independently known SSG symmetry and verifying whether it recovers the correct international symbol along with accurate band labels.

Figures

Figures reproduced from arXiv: 2511.21821 by Hongming Weng, Sheng Zhang, Zhijun Wang, Zhong Fang, Ziyin Song.

Figure 1
Figure 1. Figure 1: Workflow of IRSSG for spin space groups. Based on the above derivations, the code has been extended to work with the TB Hamiltonians. Thus, it works for any DFT code that has an interface to Wannier90, e.g. VASP, Wien2k [37, 38] and OpenMX [39–41]. To run IRSSG, users must provide two input files: case hr.dat and tbbox.in. The file case hr.dat contains the TB parameters and can be generated by Wannier90 [3… view at source ↗
Figure 2
Figure 2. Figure 2: (a) Magnetic crystal structure of Mn3Sn with coplanar configuration. (b) The modified POSCAR. coordinates should follow the fractional coordinates of the atoms. A 5-tuple variable ‘cell’ as defined in Table III is obtained. For instance, the modified POSCAR file of Mn3Sn with a type-II configuration is shown in [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Screenshot of ‘ssg.out’. 1. Obtaining the SSG k-little group The SSG operations are read from ‘ssg.data’ by get ssg.f90. An SSG operation that leaves k invariant up to a reciprocal-lattice vector [Eq. (4)] belongs to the k-little group; this is implemented in kgroup.f90. All related variables are summarized in Table IV in detail. 2. Generating the character table of the k-little group In this part, we use … view at source ↗
Figure 4
Figure 4. Figure 4: (a) Magnetic energy bands of Mn3Sn with a type-II configuration. (b) Screenshot of ‘chart.dat’. 3. Obtaining compatibility relations Due to subgroup relations between the SSG little groups of adjacent k points, the compatibility relations are generated accordingly. They are written to ‘chart.dat’ as well. D. Computing the coirreps of magnetic energy bands For each k point, we obtain the coirreps of all mag… view at source ↗
Figure 5
Figure 5. Figure 5: The band coirreps determined by IRSSG, which are output in ‘irssg.out’. The first three columns give band indices, degeneracies, and energies (without subtracting the Fermi level EF ), respectively. Then the band characters of each unitary operation and the band coirreps are given in the following lines. Panels (a)–(c) correspond to the two DT points (two dash￾dotted lines in [PITH_FULL_IMAGE:figures/full… view at source ↗
Figure 6
Figure 6. Figure 6: (a) Magnetic crystal structure of NpBi with a type-III configuration, where Np atoms are magnetic. (b) Magnetic [PITH_FULL_IMAGE:figures/full_fig_p011_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: (a) Crystal structure of Eu3PbO. (b) Magnetic structure of Eu in Eu3PbO. (c) Magnetic energy bands of Eu3PbO. (fourfold) and GM8 (sixfold), resulting in a high-degeneracy point at the Fermi level. The red line is the highest valence band, while the blue line is the lowest conduction band. All the bands are doubly degenerate due to the presence of two unitary SSG symmetries with the anti-commutation relatio… view at source ↗
read the original abstract

We present an open-source software package IRSSG for investigating magnetic systems with spin space groups (SSGs). The package works within the density functional theory (DFT) framework and requires wavefunctions from DFT codes, such as VASP, Quantum ESPRESSO, as well as any other code that has an interface to Wannier90. We introduce a set of compact SSG international symbols by combining non-crystallographic point groups with the 230 crystallographic space groups. The program first identifies all SSG operations and determines the SSG international symbol for a given magnetic system. It then generates the SSG character tables of little groups at any $k$ point. Finally, it computes the traces of matrix representations of SSG operations and assigns irreducible corepresentation labels to magnetic energy bands. The program is not only timely but also essential for advancing research on the study of magnons, altermagnetism, magnetic topology, and novel high-degeneracy excitations in SSG systems.

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 presents the open-source IRSSG package for spin space group (SSG) analysis of magnetic systems in the DFT framework. It takes wavefunctions from VASP, Quantum ESPRESSO, or Wannier90 interfaces, identifies all SSG operations and assigns a compact international symbol formed by combining non-crystallographic point groups with the 230 space groups, generates SSG character tables for little groups at arbitrary k-points, computes traces of matrix representations, and assigns irreducible corepresentation labels to magnetic energy bands.

Significance. If the identification and labeling algorithms prove correct, the package would provide a timely automated tool for symmetry analysis in altermagnetism, magnons, and magnetic topology, where manual SSG treatment is currently laborious. The introduction of compact SSG symbols and direct interfacing to standard DFT outputs are practical strengths, but the overall significance cannot yet be assessed without validation data.

major comments (2)
  1. [§3] §3 (SSG identification workflow): The central step of extracting all SSG operations directly from DFT wavefunctions is presented without any benchmark against known SSG cases, test magnetic structures, or discussion of uniqueness for non-collinear or incommensurate order; this is load-bearing because all downstream character tables and corepresentation assignments inherit errors from this step.
  2. [§4] §4 (character table and corepresentation assignment): No explicit validation examples, error-handling details, or comparison to manual SSG calculations or existing codes are provided, so the correctness of the trace computation and irreducible corepresentation labeling cannot be verified from the manuscript.
minor comments (2)
  1. [Abstract] Abstract: The phrase 'compact SSG international symbols' is introduced without a single concrete example or comparison to existing SSG notation.
  2. The manuscript would benefit from a short table listing supported input file formats and output file formats for the character tables and band labels.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive comments on our manuscript describing the IRSSG package. We address each major comment below and agree that additional validation is needed to strengthen the presentation. Revisions will be made to incorporate benchmarks and examples as detailed in the point-by-point responses.

read point-by-point responses
  1. Referee: [§3] §3 (SSG identification workflow): The central step of extracting all SSG operations directly from DFT wavefunctions is presented without any benchmark against known SSG cases, test magnetic structures, or discussion of uniqueness for non-collinear or incommensurate order; this is load-bearing because all downstream character tables and corepresentation assignments inherit errors from this step.

    Authors: We acknowledge that explicit benchmarks for the SSG identification step are absent from the current manuscript. In the revised version, we will add a dedicated validation subsection that includes benchmarks against known SSG cases (e.g., collinear antiferromagnets and altermagnets), test magnetic structures from the literature, and discussion of operation uniqueness for non-collinear cases. Limitations for incommensurate orders will also be addressed. These additions will allow direct verification of the workflow. revision: yes

  2. Referee: [§4] §4 (character table and corepresentation assignment): No explicit validation examples, error-handling details, or comparison to manual SSG calculations or existing codes are provided, so the correctness of the trace computation and irreducible corepresentation labeling cannot be verified from the manuscript.

    Authors: We agree that the manuscript requires explicit validation for the character table generation and corepresentation labeling. We will include concrete examples comparing computed traces and irreducible corepresentation labels to manual SSG calculations for representative k-points and magnetic systems. Expanded error-handling details and any relevant comparisons to other SSG tools will be added to the text and supplementary material. revision: yes

Circularity Check

0 steps flagged

Software implementation applies established group theory without circular derivation

full rationale

The manuscript describes an open-source software package that implements identification of spin-space-group operations, international symbols, little-group character tables, and irreducible corepresentation labels from DFT wavefunctions. No derivation chain, first-principles prediction, or fitted parameter is presented that reduces by construction to its own inputs. The central workflow is an algorithmic realization of pre-existing group-theoretic concepts (SSG operations combining spin and spatial symmetries) rather than a self-referential or self-citation-dependent theoretical result. The package is self-contained as a computational tool; any uniqueness or completeness issues in operation identification from wavefunctions are matters of algorithmic correctness and input sufficiency, not circularity in a claimed derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The package rests on standard representation theory of spin space groups and the assumption that DFT wavefunctions faithfully encode the magnetic symmetry; no free parameters or new physical entities are introduced beyond the compact notation.

axioms (1)
  • standard math Standard representation theory of spin space groups and little groups applies directly to the magnetic systems under study.
    Invoked when generating character tables and assigning irreducible corepresentations.
invented entities (1)
  • Compact SSG international symbols no independent evidence
    purpose: To label spin space groups by combining non-crystallographic point groups with the 230 crystallographic space groups.
    New notation scheme introduced to make SSG identification more compact.

pith-pipeline@v0.9.0 · 5708 in / 1381 out tokens · 53562 ms · 2026-05-21T17:26:39.798653+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

73 extracted references · 73 canonical work pages

  1. [1]

    VASP and QE)

    Plane-wave basis In the plane-wave basis, the spinor WFs are expanded in plane waves as ψnk(r) = ψnk↑(r) ψnk↓(r) = X j C nk ↑j C nk ↓j ei(k+Gj )·r = X j, ζ ={↑,↓} C nk ζj ei(k+Gj )·r |ζ⟩ with ⟨k + Gi|k + Gj⟩ = δij (11) The coefficients (C nk ζj ) are obtained from ab initio calculations and are output by DFT packages (e.g. VASP and QE). The action of SSG ...

  2. [2]

    Localized Wannier basis In a tight-binding (TB) Hamiltonian, the spinor WFs are expanded in the basis of exponentially localized orthogonal orbitals: |0, µaσ⟩ ≡ ϕµ aσ(r) ≡ ϕa(r − τµ) |σ⟩ and |Lj, µaσ⟩ ≡ ϕa(r − Lj − τµ) |σ⟩, where µ labels the atoms, a labels the orbitals, σ labels the spins, Lj labels the lattice vectors in 3D crystals, and τµ labels the ...

  3. [3]

    (16) Thus, Eq

    − RαLj)eiRαk·[RαLj +(τµ′ +Li 0)] |ζ⟩ using vα + Rατµ = Li 0 + τµ′ =e−i(Rαk·vα) X aµζζ ′j Qα,ζζ ′C nk µaζ′dRαϕaζ′(r − τµ′ − Lj′)eiRαk·(Lj′ +τµ′ ) |ζ⟩ with Lj′ = Li 0 + RαLj =e−i(Rαk·vα) X abµζζ ′ Qα,ζζ ′C nk µaζ′Dα,µ ba ϕµ′ b,Rαkζ′(r) |ζ⟩ with dRαϕaσ(r) ≡ X b ϕbσ(r)Dα,µ ba . (16) Thus, Eq. (10) can be written as ⟨ψnk|Oα|ψnk⟩ = e−i(Rαk·vα) X abµζζ ′ ei(Rαk−...

  4. [4]

    An SSG operation that leaves k invariant up to a reciprocal-lattice vector [Eq

    Obtaining the SSG k-little group The SSG operations are read from ‘ssg.data’ by get ssg.f90. An SSG operation that leaves k invariant up to a reciprocal-lattice vector [Eq. (4)] belongs to the k-little group; this is implemented in kgroup.f90. All related variables are summarized in Table IV in detail

  5. [5]

    The related variable is listed in Table IV, while Ncoirrep and Ch table2 are valid only when aunt=2

    Generating the character table of the k-little group In this part, we use the Hamiltonian method to decompose the regular projective corep to obtain the projective coirreps, and finally obtain the linear coirreps, which are all done in file linear rep.f90. The related variable is listed in Table IV, while Ncoirrep and Ch table2 are valid only when aunt=2....

  6. [6]

    They are written to ‘chart.dat’ as well

    Obtaining compatibility relations Due to subgroup relations between the SSG little groups of adjacent k points, the compatibility relations are generated accordingly. They are written to ‘chart.dat’ as well. D. Computing the coirreps of magnetic energy bands For each k point, we obtain the coirreps of all magnetic energy bands

  7. [7]

    (11) are stored in the WAVECAR generated by VASP and wfc.dat generated by QE

    Computing the traces of the SSG operations in the k-little group The coefficients C nk ζj in Eq. (11) are stored in the WAVECAR generated by VASP and wfc.dat generated by QE. All coefficients are read by wave data.f90 and stored in the complex variables coeffa (C nk ↑j ) and coeffb (C nk ↓j ). To compute traces only, one can use the plane-wave wavefunctio...

  8. [8]

    Assigning coirreps to magnetic energy bands By comparing the obtained traces with the traces of the character tables, one can easily assign the coirreps, which is done in chrct.f90. E. Outputting coirreps, character tables, and compatibility relations for the SSG system The band characters and their coirreps are presented in the file ‘irssg.out’. Fig. 5 s...

  9. [9]

    We conclude that the crossing along ΓX is formed by DT2 (twofold) and DT5 (fourfold)

    The total number of electrons is 488 for the compound. We conclude that the crossing along ΓX is formed by DT2 (twofold) and DT5 (fourfold). The detailed analysis shows that the band inversion happens between GM5 12 (a) (b) DT5 DT5 DT2 DT2 SM1 SM1 SM3 SM3 GM5 GM8 (c) Figure 7: (a) Crystal structure of Eu 3PbO. (b) Magnetic structure of Eu in Eu 3PbO. (c) ...

  10. [10]

    N. A. Benedek and C. J. Fennie, Phys. Rev. Lett. 106, 107204 (2011), URL https://link.aps.org/doi/10.1103/ PhysRevLett.106.107204

  11. [11]

    Zhang, Y

    S. Zhang, Y. Liu, Z. Sun, X. Chen, B. Li, S. L. Moore, S. Liu, Z. Wang, S. E. Rossi, R. Jing, et al., Nature Communications 14, 6200 (2023), ISSN 2041-1723, URL https://doi.org/10.1038/s41467-023-41773-x

  12. [12]

    G. Yu, J. Ji, Y. Chen, C. Xu, and H. J. Xiang, Phys. Rev. Lett. 134, 016801 (2025), URL https://link.aps.org/doi/ 10.1103/PhysRevLett.134.016801

  13. [13]

    Galiffi, G

    E. Galiffi, G. Carini, X. Ni, G. ´Alvarez P´ erez, S. Yves, E. M. Renzi, R. Nolen, S. Wasserroth, M. Wolf, P. Alonso-Gonzalez, et al., Nature Reviews Materials 9, 9 (2024), ISSN 2058-8437, URL https://doi.org/10.1038/s41578-023-00620-7

  14. [14]

    L. Shu, Y. Xia, B. Li, L. Peng, H. Shao, Z. Wang, Y. Cen, H. Zhu, and H. Zhang, npj Computational Materials 10, 2 (2024), ISSN 2057-3960, URL https://doi.org/10.1038/s41524-023-01162-w . 13

  15. [15]

    Lin, S.-H

    Y.-Q. Lin, S.-H. Cao, C.-E. Hu, H.-Y. Geng, and X.-R. Chen, Phys. Rev. B 110, 075414 (2024), URL https://link.aps. org/doi/10.1103/PhysRevB.110.075414

  16. [16]

    Zhang, C.-X

    H. Zhang, C.-X. Liu, X.-L. Qi, X. Dai, Z. Fang, and S.-C. Zhang, Nature Physics 5, 438 (2009), ISSN 1745-2481, publisher: Nature Publishing Group, URL https://www.nature.com/articles/nphys1270

  17. [17]

    T. H. Hsieh, H. Lin, J. Liu, W. Duan, A. Bansil, and L. Fu, Nature Communications 3, 982 (2012), ISSN 2041-1723, URL https://doi.org/10.1038/ncomms1969

  18. [18]

    Elcoro, B

    L. Elcoro, B. J. Wieder, Z. Song, Y. Xu, B. Bradlyn, and B. A. Bernevig, Nature Communications 12, 5965 (2021), ISSN 2041-1723, URL https://doi.org/10.1038/s41467-021-26241-8

  19. [19]

    J. Yao, R. Zhang, S. Zhang, H. Sheng, Y. Shi, Z. Fang, H. Weng, and Z. Wang, Phys. Rev. B 111, L041117 (2025), URL https://link.aps.org/doi/10.1103/PhysRevB.111.L041117

  20. [20]

    S. Ono, Y. Yanase, and H. Watanabe, Phys. Rev. Res. 1, 013012 (2019), URL https://link.aps.org/doi/10.1103/ PhysRevResearch.1.013012

  21. [21]

    Ono and K

    S. Ono and K. Shiozaki, Phys. Rev. X12, 011021 (2022), URL https://link.aps.org/doi/10.1103/PhysRevX.12.011021

  22. [22]

    S. Ono, H. C. Po, and H. Watanabe, Science Advances 6, eaaz8367 (2020), URL https://www.science.org/doi/abs/10. 1126/sciadv.aaz8367

  23. [23]

    C. J. Bradley and B. L. Davies, Rev. Mod. Phys. 40, 359 (1968), URL https://link.aps.org/doi/10.1103/RevModPhys. 40.359

  24. [24]

    W. F. Brinkman and R. J. Elliott, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences 294, 343 (1966), URL https://royalsocietypublishing.org/doi/abs/10.1098/rspa.1966.0211

  25. [25]

    Z. Xiao, J. Zhao, Y. Li, R. Shindou, and Z.-D. Song, Phys. Rev. X 14, 031037 (2024), URL https://link.aps.org/doi/ 10.1103/PhysRevX.14.031037

  26. [26]

    X. Chen, J. Ren, Y. Zhu, Y. Yu, A. Zhang, P. Liu, J. Li, Y. Liu, C. Li, and Q. Liu, Phys. Rev. X 14, 031038 (2024), URL https://link.aps.org/doi/10.1103/PhysRevX.14.031038

  27. [27]

    Jiang, Z

    Y. Jiang, Z. Song, T. Zhu, Z. Fang, H. Weng, Z.-X. Liu, J. Yang, and C. Fang, Phys. Rev. X 14, 031039 (2024), URL https://link.aps.org/doi/10.1103/PhysRevX.14.031039

  28. [28]

    Corticelli, R

    A. Corticelli, R. Moessner, and P. A. McClarty, Phys. Rev. B 105, 064430 (2022), URL https://link.aps.org/doi/10. 1103/PhysRevB.105.064430

  29. [29]

    X. Chen, Y. Liu, P. Liu, Y. Yu, J. Ren, J. Li, A. Zhang, and Q. Liu, Nature 640, 349 (2025), ISSN 1476-4687, URL https://doi.org/10.1038/s41586-025-08715-7

  30. [30]

    Feng and Z

    X. Feng and Z. Zhang, Phys. Rev. B 111, 054520 (2025), URL https://link.aps.org/doi/10.1103/PhysRevB.111. 054520

  31. [31]

    ˇSmejkal, J

    L. ˇSmejkal, J. Sinova, and T. Jungwirth, Phys. Rev. X 12, 031042 (2022), URL https://link.aps.org/doi/10.1103/ PhysRevX.12.031042

  32. [32]

    ˇSmejkal, J

    L. ˇSmejkal, J. Sinova, and T. Jungwirth, Phys. Rev. X 12, 040501 (2022), URL https://link.aps.org/doi/10.1103/ PhysRevX.12.040501

  33. [33]

    Z. Liu, M. Wei, W. Peng, D. Hou, Y. Gao, and Q. Niu, Phys. Rev. X 15, 031006 (2025), URL https://link.aps.org/ doi/10.1103/PhysRevX.15.031006

  34. [34]

    J. Gao, Q. Wu, C. Persson, and Z. Wang, Comput. Phys. Commun. 261, 107760 (2021), ISSN 0010-4655, code available at https://github.com/zjwang11/IRVSP

  35. [35]

    Kresse and J

    G. Kresse and J. Furthm¨ uller, Phys. Rev. B54, 11169 (1996), URL https://link.aps.org/doi/10.1103/PhysRevB.54. 11169

  36. [36]

    Kresse and author J

    G. Kresse and J. Furthm¨ uller, Computational Materials Science 6, 15 (1996), ISSN 0927-0256, URL https://www. sciencedirect.com/science/article/pii/0927025696000080

  37. [37]

    Giannozzi, S

    P. Giannozzi, S. Baroni, N. Bonini, M. Calandra, R. Car, C. Cavazzoni, D. Ceresoli, G. L. Chiarotti, M. Cococcioni, I. Dabo, et al., Journal of Physics: Condensed Matter 21, 395502 (2009), URL https://doi.org/10.1088/0953-8984/ 21/39/395502

  38. [38]

    Giannozzi, O

    P. Giannozzi, O. Andreussi, T. Brumme, O. Bunau, M. Buongiorno Nardelli, M. Calandra, R. Car, C. Cavazzoni, D. Ceresoli, M. Cococcioni, et al., Journal of Physics: Condensed Matter 29, 465901 (2017), URL https://doi.org/ 10.1088/1361-648X/aa8f79

  39. [39]

    Marzari , author A

    N. Marzari, A. A. Mostofi, J. R. Yates, I. Souza, and D. Vanderbilt, Rev. Mod. Phys. 84, 1419 (2012), URL https: //link.aps.org/doi/10.1103/RevModPhys.84.1419

  40. [40]

    A. A. Mostofi, J. R. Yates, G. Pizzi, Y.-S. Lee, I. Souza, D. Vanderbilt, and N. Marzari, Computer Physics Communications 185, 2309 (2014), ISSN 0010-4655, URL https://www.sciencedirect.com/science/article/pii/S001046551400157X

  41. [41]

    J. Gao, Z. Guo, H. Weng, and Z. Wang, Phys. Rev. B 106, 035150 (2022), website at https://tm.iphy.ac.cn/TopMat_ 1651msg.html, URL https://link.aps.org/doi/10.1103/PhysRevB.106.035150

  42. [42]

    J. Gao, Y. Qian, H. Jia, Z. Guo, Z. Fang, M. Liu, H. Weng, and Z. Wang, Science Bulletin 67, 598 (2022), ISSN 2095- 9273, website at https://tm.iphy.ac.cn/UnconvMat.html, URL https://www.sciencedirect.com/science/article/ pii/S2095927321008045

  43. [43]

    Z. Song, A. Z. Yang, Y. Jiang, Z. Fang, J. Yang, C. Fang, H. Weng, and Z.-X. Liu, Phys. Rev. B 111, 134407 (2025), URL https://link.aps.org/doi/10.1103/PhysRevB.111.134407

  44. [44]

    Z.-Y. Yang, J. Yang, C. Fang, and Z.-X. Liu, Journal of Physics A: Mathematical and Theoretical 54, 265202 (2021), URL https://doi.org/10.1088/1751-8121/abfffc

  45. [45]

    S. K. Kim, Journal of Mathematical Physics 25, 2125 (1984), ISSN 0022-2488, URL https://doi.org/10.1063/1.526419

  46. [46]

    Blaha, K

    P. Blaha, K. Schwarz, F. Tran, R. Laskowski, G. K. H. Madsen, and L. D. Marks, The Journal of Chemical Physics 152, 14 074101 (2020), ISSN 0021-9606, URL https://doi.org/10.1063/1.5143061

  47. [47]

    Schwarz, P

    K. Schwarz, P. Blaha, and G. Madsen, Computer Physics Communications 147, 71 (2002), ISSN 0010-4655, proceedings of the Europhysics Conference on Computational Physics Computational Modeling and Simulation of Complex Systems, URL https://www.sciencedirect.com/science/article/pii/S0010465502002060

  48. [48]

    Ozaki and H

    T. Ozaki and H. Kino, Phys. Rev. B 72, 045121 (2005), URL https://link.aps.org/doi/10.1103/PhysRevB.72.045121

  49. [49]

    Ozaki and H

    T. Ozaki and H. Kino, Phys. Rev. B 69, 195113 (2004), URL https://link.aps.org/doi/10.1103/PhysRevB.69.195113

  50. [50]

    Ozaki, Phys

    T. Ozaki, Phys. Rev. B 67, 155108 (2003), URL https://link.aps.org/doi/10.1103/PhysRevB.67.155108

  51. [51]

    Q. Wu, S. Zhang, H.-F. Song, M. Troyer, and A. A. Soluyanov, Computer Physics Communications 224, 405 (2018), ISSN 0010-4655, URL https://www.sciencedirect.com/science/article/pii/S0010465517303442

  52. [52]

    C. Yue, Symmetrization of wannier tight-binding models (wannhr symm), https://github.com/quanshengwu/wannier_ tools/tree/master/utility/wannhr_symm (2018), part of WannierTools; introduced in v2.4.0; accessed 2025-10-20, URL https://github.com/quanshengwu/wannier_tools/tree/master/utility/wannhr_symm

  53. [53]

    Gresch, Q

    D. Gresch, Q. Wu, G. W. Winkler, R. H¨ auselmann, M. Troyer, and A. A. Soluyanov, Phys. Rev. Mater.2, 103805 (2018), URL https://link.aps.org/doi/10.1103/PhysRevMaterials.2.103805

  54. [54]

    J. C. Slater and G. F. Koster, Phys. Rev. 94, 1498 (1954), URL https://link.aps.org/doi/10.1103/PhysRev.94.1498

  55. [55]

    Willatzen and L

    M. Willatzen and L. C. L. Y. Voon, The kp method: electronic properties of semiconductors , vol. 1 (Springer, 2009)

  56. [56]

    A. Togo, K. Shinohara, and I. Tanaka, Science and Technology of Advanced Materials: Methods 4, 2384822 (2024), URL https://doi.org/10.1080/27660400.2024.2384822

  57. [57]

    S. P. Ong, W. D. Richards, A. Jain, G. Hautier, M. Kocher, S. Cholia, D. Gunter, V. L. Chevrier, K. A. Persson, and G. Ceder, Computational Materials Science 68, 314 (2013), ISSN 0927-0256, URL https://www.sciencedirect.com/ science/article/pii/S0927025612006295

  58. [58]

    Wang, Mom2ssg, code available at https://github.com/zjwang11/TopMat

    Z. Wang, Mom2ssg, code available at https://github.com/zjwang11/TopMat

  59. [59]

    M. I. Aroyo, J. M. Perez-Mato, C. Capillas, E. Kroumova, S. Ivantchev, G. Madariaga, A. Kirov, and H. Wondratschek, Zeitschrift f¨ ur Kristallographie - Crystalline Materials221, 15 (2006), URL https://doi.org/10.1524/zkri.2006.221. 1.15

  60. [60]

    M. I. Aroyo, A. Kirov, C. Capillas, J. M. Perez-Mato, and H. Wondratschek, Acta Crystallographica Section A 62, 115 (2006), URL https://doi.org/10.1107/S0108767305040286

  61. [61]

    M. I. Aroyo, J. M. Perez-Mato, D. Orobengoa, E. Tasci, G. de la Flor, and A. Kirov, Bulg. Chem. Commun 43, 183 (2011)

  62. [62]

    P. J. Brown, V. Nunez, F. Tasset, J. B. Forsyth, and P. Radhakrishna, Journal of Physics: Condensed Matter 2, 9409 (1990), URL https://doi.org/10.1088/0953-8984/2/47/015

  63. [63]

    P. Liu, J. Li, J. Han, X. Wan, and Q. Liu, Phys. Rev. X 12, 021016 (2022), URL https://link.aps.org/doi/10.1103/ PhysRevX.12.021016

  64. [64]

    Zhang, H

    S. Zhang, H. Sheng, Z.-D. Song, C. Liang, Y. Jiang, S. Sun, Q. Wu, H. Weng, Z. Fang, X. Dai, et al., Chin. Phys. Lett. 40, 127101 (2023), website at https://www.vasp2kp.com/, URL https://dx.doi.org/10.1088/0256-307X/40/12/127101

  65. [65]

    Burlet, F

    P. Burlet, F. Bourdarot, J. Rossat-Mignod, J. Sanchez, J. Spirlet, J. Rebizant, and O. Vogt, Physica B: Condensed Matter 180-181, 131 (1992), ISSN 0921-4526, URL https://www.sciencedirect.com/science/article/pii/092145269290683J

  66. [66]

    M. M. Hirschmann, A. S. Gibbs, F. Orlandi, D. Khalyavin, P. Manuel, V. Abdolazimi, A. Yaresko, J. Nuss, H. Takagi, A. P. Schnyder, et al., Phys. Rev. Mater. 6, 114202 (2022), URL https://link.aps.org/doi/10.1103/PhysRevMaterials.6. 114202. 15 Appendix A: Prove the factor system arising from the translation part Let Oα = {Uα||Rα|vα}, Oβ = {Uβ||Rβ|vβ} and O...

  67. [67]

    ‘ISPIN=2’ and ‘NON- COLLINEAR=.FALSE

    spinpol: whether the magnetism of the system is collinear (type-I SSG) ( e.g. ‘ISPIN=2’ and ‘NON- COLLINEAR=.FALSE. in INCAR for VASP’). Default: False

  68. [68]

    This parameter only works when spinpol=False

    hr name: the name of the input file containing TB parameters, whose format should be the same as ‘wan- nier90 hr.dat’ generated by Wannier90. This parameter only works when spinpol=False

  69. [69]

    This parameter is valid for spinpol=True

    hr name up: the name of the input file containing TB parameters with up spin. This parameter is valid for spinpol=True

  70. [70]

    This parameter is valid for spinpol=True

    hr name dn: the name of the input file containing TB parameters with down spin. This parameter is valid for spinpol=True

  71. [71]

    Each row is one direct lattice vector, in the order a, b, c

    unit cell: 3 × 3 lattice matrix in Cartesian coordinates ( ˚A). Each row is one direct lattice vector, in the order a, b, c. The 3-5 lines in POSCAR can be pasted here directly

  72. [72]

    end kpoint : defines a k-space path for band sampling

    kpoint . . . end kpoint : defines a k-space path for band sampling. • kmesh: number of evenly spaced samples taken on each consecutive line segment between listed k-nodes. • Nk: number of k points that follow; the path is formed by connecting them in order. • k points list: k points given in fractional coordinates with respect to the reciprocal basis vect...

  73. [73]

    end proj : defines the local-orbital projectors used to build the TB basis

    proj: . . . end proj : defines the local-orbital projectors used to build the TB basis. Each projector line has eight fields (x1, x2, x3, m1, m2, m3, itau, iorbit) . • orbt: convention for orbital ordering. It selects how each iorbit maps to concrete orbitals, as in Table S1. • spincov: spinful basis ordering . 1 = orbit-major, spin-minor ( a ↑, b ↑, . . ...