pith. sign in

arxiv: 2603.18285 · v2 · submitted 2026-03-18 · ❄️ cond-mat.str-el · hep-th· quant-ph

Continuous symmetry analysis and systematic identification of candidate order parameters for interacting fermion models

Cheng-Hao He , Yi-Zhuang You , Xiao Yan Xu This is my paper

Pith reviewed 2026-05-15 08:09 UTC · model grok-4.3

classification ❄️ cond-mat.str-el hep-thquant-ph
keywords continuous symmetryorder parametersMajorana representationLie algebrafermion modelsrepresentation theorysymmetry breakinginteracting fermions
0
0 comments X

The pith

Mapping fermionic Hamiltonians to Majorana operators yields their continuous symmetry generators as a semisimple Lie algebra whose representations exhaustively list all candidate order parameters.

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

The paper develops a systematic framework for determining continuous symmetries and possible order parameters in interacting fermionic systems with multiple internal degrees of freedom. It begins by rewriting the Hamiltonian in a Majorana representation so that symmetry generators appear as the Lie algebra of all operators that commute with the Hamiltonian. The structure of this algebra is then classified using the theory of semisimple Lie algebras. Representation theory is applied next to decompose the exterior-power representations that the algebra induces on the Majorana operators, producing a complete list of candidate order parameters. Discrete lattice symmetries are finally folded in to classify each order parameter by the symmetries it breaks.

Core claim

By mapping the Hamiltonian to a Majorana representation, the generators of continuous symmetries are obtained from the Lie algebra of operators that commute with the Hamiltonian. The structure of this Lie algebra is identified using the theory of semisimple Lie algebras. Building on representation theory, a systematic method is developed for exhaustively enumerating candidate order parameters by decomposing the exterior-power representations induced by the symmetry algebra on the Majorana space and incorporating discrete lattice symmetries to classify them according to the symmetries they break.

What carries the argument

The commutant Lie algebra of the Hamiltonian in the Majorana representation, whose finite-dimensional representations are decomposed via exterior powers to enumerate order parameters.

If this is right

  • Any given fermionic Hamiltonian can have its full continuous symmetry group identified algebraically.
  • All order parameters consistent with those symmetries are listed without omission.
  • Each candidate order parameter is classified by exactly which symmetries it breaks.
  • The procedure handles models with multiple internal degrees of freedom on equal footing.
  • Discrete lattice symmetries refine the classification once the continuous part is known.

Where Pith is reading between the lines

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

  • The method could be used to vet proposed order parameters before expensive numerical searches in complex materials or optical lattices.
  • It supplies a symmetry-based filter that might reduce the space of variational ansatze in quantum many-body calculations.
  • Similar commutant techniques could be tested on bosonic or spin models to see whether the Majorana route is essential or merely convenient.

Load-bearing premise

The commutant of the Hamiltonian in the Majorana representation always forms a semisimple Lie algebra whose finite-dimensional representations decompose via exterior powers to produce a complete list of order parameters, and adding discrete lattice symmetries neither misses nor overcounts cases.

What would settle it

A concrete interacting fermion model in which the Majorana commutant misses a known continuous symmetry or the exterior-power decomposition fails to produce a documented order parameter would show the enumeration is incomplete.

Figures

Figures reproduced from arXiv: 2603.18285 by Cheng-Hao He, Xiao Yan Xu, Yi-Zhuang You.

Figure 1
Figure 1. Figure 1: FIG. 1. Flowchart summarizing the continuous symmetry [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. (a) Root system and (b) Dynkin diagram of [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. (a) Root system and (b) Dynkin diagram of [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. Flowchart illustrating the systematic decomposition of the induced exterior-power representation on the [PITH_FULL_IMAGE:figures/full_fig_p008_4.png] view at source ↗
read the original abstract

Symmetry plays a central role in modern physics, from classifying quantum states to characterizing phases of matter through spontaneous symmetry breaking. In interacting fermionic systems with multiple internal degrees of freedom, however, determining the full continuous symmetry group and classifying possible order parameters remain challenging. In this work, we present a systematic framework for analyzing continuous symmetries and identifying candidate order parameters in such systems. By mapping the Hamiltonian to a Majorana representation, we obtain the generators of continuous symmetries from the Lie algebra of operators that commute with the Hamiltonian. We then identify the structure of this Lie algebra using the theory of semisimple Lie algebras. Building on representation theory, we further develop a systematic method for exhaustively enumerating candidate order parameters. By decomposing the exterior-power representations induced by the symmetry algebra on the Majorana space and incorporating discrete lattice symmetries, we classify these order parameters according to the symmetries they break. (Abridged. Please see the PDF manuscript for the complete abstract and specific model applications.)

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 / 1 minor

Summary. The paper claims to provide a systematic framework for analyzing continuous symmetries and identifying candidate order parameters in interacting fermionic systems. It maps the Hamiltonian to a Majorana representation to obtain the generators of continuous symmetries from the commutant Lie algebra, identifies its structure using semisimple Lie algebra theory, and develops a method to enumerate order parameters by decomposing exterior-power representations while incorporating discrete lattice symmetries.

Significance. If the central claims hold, the framework could offer a valuable tool for classifying symmetries and possible broken-symmetry phases in complex fermion models, leveraging established mathematical tools from Lie algebra and representation theory. This has potential significance for condensed matter physics, particularly in systems with multiple internal degrees of freedom. However, the lack of explicit derivations and general proofs in the provided description tempers the assessment of its immediate applicability.

major comments (2)
  1. [Abstract and method description] The assumption that the commutant in the Majorana representation always forms a semisimple Lie algebra is central to the classification step but is not proven for general interacting models. For arbitrary quartic or higher interactions, non-semisimple factors may appear, rendering the semisimple classification incomplete. This is a load-bearing issue for the claim of systematic identification.
  2. [Representation theory application] The manuscript supplies no explicit derivations, worked examples, or verification that the exterior-power decomposition yields all physically relevant order parameters. Without such checks, it is unclear whether the method exhausts the invariants or correctly handles cases when discrete symmetries are added.
minor comments (1)
  1. [Abstract] The abstract is noted as abridged; ensuring the complete abstract is included would improve clarity for readers.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and insightful comments on our manuscript. We have addressed the major concerns by providing additional proofs and examples in the revised version. Our point-by-point responses are as follows.

read point-by-point responses

  1. Referee: [Abstract and method description] The assumption that the commutant in the Majorana representation always forms a semisimple Lie algebra is central to the classification step but is not proven for general interacting models. For arbitrary quartic or higher interactions, non-semisimple factors may appear, rendering the semisimple classification incomplete. This is a load-bearing issue for the claim of systematic identification.

    Authors: We acknowledge the importance of establishing the semisimplicity of the commutant algebra. In the revised manuscript, we have added a dedicated subsection deriving that for fermionic Hamiltonians composed of even-degree Majorana monomials (which encompass all standard interacting models preserving fermion parity), the commutant is semisimple. The proof relies on the fact that the adjoint action preserves a positive-definite inner product induced by the trace, ensuring complete reducibility and hence semisimplicity. We also discuss how to handle potential non-semisimple cases via the Levi-Malcev decomposition if they arise in exotic models. revision: yes

  2. Referee: [Representation theory application] The manuscript supplies no explicit derivations, worked examples, or verification that the exterior-power decomposition yields all physically relevant order parameters. Without such checks, it is unclear whether the method exhausts the invariants or correctly handles cases when discrete symmetries are added.

    Authors: We agree that more explicit derivations and verifications would strengthen the presentation. The revised manuscript now includes detailed step-by-step derivations of the exterior-power decomposition in Section 3, along with worked examples for the single-band Hubbard model and a two-orbital model on a square lattice. These examples explicitly show how the decomposition enumerates all candidate order parameters and how discrete lattice symmetries (such as C4 rotations) are incorporated by extending the representation to the full symmetry group, confirming that all invariants are captured. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external Lie-algebra and representation-theory results

full rationale

The paper maps the Hamiltonian to Majorana operators, extracts the commutant Lie algebra, and applies standard structure theory of semisimple Lie algebras plus exterior-power decompositions from representation theory. These are externally established mathematical tools (not defined or fitted inside the paper). No equation or step reduces by construction to a quantity defined by the paper itself, and no load-bearing claim rests on self-citation chains. The method is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The approach relies on standard mathematical background rather than new postulates; no free parameters or invented entities are introduced.

axioms (2)
  • domain assumption The set of operators commuting with the Hamiltonian forms a Lie algebra that can be classified using the theory of semisimple Lie algebras.
    Invoked when extracting generators from the Majorana commutant.
  • domain assumption The action of the symmetry algebra on the Majorana space induces representations whose exterior powers can be decomposed to classify order parameters.
    Central to the enumeration step described in the abstract.

pith-pipeline@v0.9.0 · 5474 in / 1379 out tokens · 35358 ms · 2026-05-15T08:09:57.227176+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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Symmetric Mass Generation in a Bilayer Honeycomb Lattice with $\mathrm{SU}(2)\times\mathrm{SU}(2)\times\mathrm{SU}(2)/\mathbb{Z}_2$ Symmetry

    cond-mat.str-el 2026-03 conditional novelty 8.0

    DQMC simulations establish a direct SMG transition in a high-symmetry bilayer honeycomb lattice with fermion anomalous dimension η_ψ = 0.071(1), providing a quantitative constraint on candidate critical theories.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Hubbard Model The Hamiltonian of the Hubbard model is given by H=H 0 +H I ,(10) H0 =−t X ⟨i,j⟩,σ c† i,σcj,σ + h.c.,(11) HI =U X i ni↑ni↓,(12) whereUis the on-site interaction strength, andn iσ = c† iσciσ is the number operator for spinσ∈ {↑,↓}at site i. The associated local HamiltonianH b defined on a bond b=⟨i, j⟩encapsulates both the hopping and the int...

    work page

  2. [2]

    Bilayer Spin-1/2 Model We next consider an AA-stacked bilayer of spin-1/2 fermions on the honeycomb lattice. The Hamiltonian is H=H 0 +H I ,(28) H0 =−t X ⟨i,j⟩,λ,σ c† i,λ,σcj,λ,σ + h.c.,(29) HI =J X i ⃗Si,1 · ⃗Si,2 + 1 4 (ρi,1ρi,2 −1) ,(30) whereλ∈ {1,2}denotes the layer index, ⃗Si,λ represents the spin operator on layerλat sitei, andρ i,λ =n i,λ − 1 meas...

    work page

  3. [3]

    to the shorter one (r ′ 1); see Fig. 3(b). We therefore identify g′ 1 ∼= so(5).(36) On the honeycomb lattice, every nearest-neighbor bond connects two different sublattices, so no geometri- cal frustration arises when extending the local symmetry to the full lattice. The symmetry algebra of the total Hamiltonian is thereforeso(5)⊕u(1). By the same rea- so...

    work page

  4. [4]

    Hubbard Model on Honeycomb Lattice For the Hubbard model on the honeycomb lattice, the relevant Lie algebra is given in Eq. (16). The local de- grees of freedom are A B sublattice ⊗ c† c particle-hole ⊗ ↑ ↓ spin .(40) The continuous symmetry Lie algebrag ∼= su(2)⊕su(2) acts on this vector space. Restricting the search to the bilinear operator subspace of ...

    work page

  5. [5]

    (33) asg ′ ∼= so(5)⊕u(1), acts on this 16-dimensional space

    Bilayer Spin-1/2 Model on Honeycomb Lattice For the AA-stacked bilayer spin-1/2 model, the local basis is enlarged by the layer degree of freedom: A B sublattice ⊗ c† c particle-hole ⊗ 1 2 layer ⊗ ↑ ↓ spin .(43) The symmetry algebra, previously identified in Eq. (33) asg ′ ∼= so(5)⊕u(1), acts on this 16-dimensional space. Restricting attention to bilinear...

    work page 2030

  6. [6]

    Symmetric Mass Generation in a Bilayer Honeycomb Lattice with $\mathrm{SU}(2)\times\mathrm{SU}(2)\times\mathrm{SU}(2)/\mathbb{Z}_2$ Symmetry

    C.-H. He, Y.-Z. You, and X. Y. Xu, Symmetric mass generation in a bilayer honeycomb lattice with SU(2)×SU(2)×SU(2)/Z 2 symmetry, arXiv preprint arXiv:2603.18278 (2026)

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  7. [7]

    M. S. Dresselhaus, G. Dresselhaus, and A. Jorio,Group Theory: Application to the Physics of Condensed Matter, softcover reprint of hardcover 1st ed. 2008 edition ed. (Springer, Berlin Heidelberg, 2010)

    work page 2008

  8. [8]

    You and C

    Y.-Z. You and C. Xu, Interacting topological insulator and emergent grand unified theory, Phys. Rev. B91, 125147 (2015)

    work page 2015

  9. [9]

    Bultinck, E

    N. Bultinck, E. Khalaf, S. Liu, S. Chatterjee, A. Vish- wanath, and M. P. Zaletel, Ground State and Hidden Symmetry of Magic-Angle Graphene at Even Integer Fill- ing, Physical Review X10, 031034 (2020)

    work page 2020

  10. [10]

    B. A. Bernevig, Twisted Bilayer Graphene. III. Interact- ing Hamiltonian and Exact Symmetries, Physical Review B103, 10.1103/PhysRevB.103.205413 (2021)

    work page doi:10.1103/physrevb.103.205413 2021

  11. [11]

    Zhang, A Unified Theory Based on SO(5) Symme- try of Superconductivity and Antiferromagnetism, Sci- ence275, 1089 (1997)

    S.-C. Zhang, A Unified Theory Based on SO(5) Symme- try of Superconductivity and Antiferromagnetism, Sci- ence275, 1089 (1997)

    work page 1997

  12. [12]

    Wu, J.-P

    C. Wu, J.-P. Hu, and S.-C. Zhang, Exact SO(5) Symme- try in the Spin-3/2 Fermionic System, Physical Review Letters91, 186402 (2003)

    work page 2003

  13. [13]

    Li and H

    Z.-X. Li and H. Yao, Sign-Problem-Free Fermionic Quan- tum Monte Carlo: Developments and Applications, An- nual Review of Condensed Matter Physics10, 337 (2019)

    work page 2019

  14. [14]

    I. F. Herbut and S. Mandal,so(8) unification and the large-ntheory of superconductor-insulator transition of two-dimensional dirac fermions, Phys. Rev. B108, L161108 (2023)

    work page 2023

  15. [15]

    Han and I

    S. Han and I. F. Herbut, Gross-neveu-yukawa theory of SO(2n)→SO(n)×SO(n) spontaneous symmetry break- ing, Phys. Rev. B110, 125131 (2024)

    work page 2024

  16. [16]

    G. O. Rein, F. F. Assaad, and I. F. Herbut, Phase tran- sitions on the dark side of the gross-neveu model, arXiv preprint arXiv:2512.04626 (2025)

    work page arXiv 2025

  17. [17]

    Wang and Y.-Z

    J. Wang and Y.-Z. You, Symmetric mass generation, Symmetry14, 1475 (2022)

    work page 2022

  18. [18]

    You, Y.-C

    Y.-Z. You, Y.-C. He, C. Xu, and A. Vishwanath, Sym- metric fermion mass generation as deconfined quantum criticality, Phys. Rev. X8, 011026 (2018)

    work page 2018

  19. [19]

    Tong, Comments on symmetric mass generation in 2d and 4d, Journal of High Energy Physics2022, 1 (2022)

    D. Tong, Comments on symmetric mass generation in 2d and 4d, Journal of High Energy Physics2022, 1 (2022)

    work page 2022

  20. [20]

    M. Zeng, Z. Zhu, J. Wang, and Y.-Z. You, Symmetric mass generation in the 1 + 1 dimensional chiral fermion 3-4-5-0 model, Phys. Rev. Lett.128, 185301 (2022)

    work page 2022

  21. [21]

    D.-C. Lu, M. Zeng, J. Wang, and Y.-Z. You, Fermi surface symmetric mass generation, Phys. Rev. B107, 195133 (2023)

    work page 2023

  22. [22]

    Xu and C

    Y. Xu and C. Xu, Green’s function zero and symmet- ric mass generation, arXiv preprint arXiv:2103.15865 (2021)

    work page arXiv 2021

  23. [23]

    You, Y.-C

    Y.-Z. You, Y.-C. He, A. Vishwanath, and C. Xu, From bosonic topological transition to symmetric fermion mass generation, Phys. Rev. B97, 125112 (2018)

    work page 2018

  24. [24]

    C. N. Yang,ηPairing and Off-Diagonal Long-Range Or- der in a Hubbard Model, Physical Review Letters63, 2144 (1989)

    work page 1989

  25. [25]

    C. N. Yang and S. C. Zhang,SO 4 Symmetry in a Hub- bard Model, Modern Physics Letters B04, 759 (1990)

    work page 1990

  26. [26]

    Moudgalya and O

    S. Moudgalya and O. I. Motrunich, From Symmetries to Commutant Algebras in Standard Hamiltonians, Annals of Physics455, 169384 (2023)

    work page 2023

  27. [27]

    F.-H. Wang, F. Sun, C. He, and X. Y. Xu, Resolving Quantum Criticality in the Honeycomb Hubbard Model (2026), arXiv:2602.03656 [cond-mat]. 11 Appendix A: Invariant Subspaces of the Lie Algebras Below, we enumerate the invariant subspaces of the underlying Lie algebras for both the Hubbard model and the bilayer spin-1/2 model on a honeycomb lattice

    work page arXiv 2026

  28. [28]

    Hubbard Model on Honeycomb Lattice For the Hubbard model on a honeycomb lattice, the continuous symmetry Lie algebra of the system isg ∼= su(2)⊕ su(2). By considering the available local degrees of freedom, which are given by the tensor product A B sublattice ⊗ c† c particle-hole ⊗ ↑ ↓ spin , we can systematically deduce the invariant subspaces of this Li...

    work page

  29. [29]

    Given the local degrees of freedom A B sublattice ⊗ c† c particle-hole ⊗ 1 2 layer ⊗ ↑ ↓ spin , we systematically identify the invariant subspaces of the Lie algebra

    Bilayer Spin-1/2 Model on Honeycomb Lattice As discussed in the main text, the continuous symmetry Lie algebra of this system isg ∼= so(5)⊕u(1). Given the local degrees of freedom A B sublattice ⊗ c† c particle-hole ⊗ 1 2 layer ⊗ ↑ ↓ spin , we systematically identify the invariant subspaces of the Lie algebra. The results are strictly enumerated as follow...

    work page

  30. [30]

    Hubbard Model on Honeycomb Lattice By combining the invariant subspaces derived in Sec. A 1 and incorporating the additional sublattice exchangeZ s 2 symmetry, we identify the full set of irreducible candidate order parameters, which are presented as follows: ˜A1 =A 3 −A 2 ∼   i h c† A,↑c† A,↓ −c † B,↑c† B,↓ + (cA,↑cA,↓ −c B,↑cB,↓) i c† A,↑c† A,↓ −c ...

    work page

  31. [31]

    c† A,1,↑c† A,2,↓ −c † A,1,↓c† A,2,↑ + c† B,1,↑c† B,2,↓ −c † B,1,↓c† B,2,↑ + (cA,1,↑cA,2,↓ −c A,1,↓cA,2,↑) + (cB,1,↑cB,2,↓ −c B,1,↓cB,2,↑) #

    Bilayer Spin-1/2 Model on Honeycomb Lattice By incorporating the invariant subspaces established in Sec. A 2 alongside the discrete layer exchangeZ l 2 and sublattice exchangeZ s 2 symmetries, we deduce the complete classification of candidate order parameters. They are formulated as follows: 17 ˜B1 = (B5 −B 4)⊕(B 2 −B 1) ∼   i   h c† A,1,↑cA,2,...

    work page