pith. sign in

arxiv: 2604.21524 · v1 · submitted 2026-04-23 · ❄️ cond-mat.str-el · cond-mat.mes-hall· hep-th· math-ph· math.MP

Symplectic symmetry of quadratic-band-touching Hamiltonians in two dimensions

Pith reviewed 2026-05-08 14:02 UTC · model grok-4.3

classification ❄️ cond-mat.str-el cond-mat.mes-hallhep-thmath-phmath.MP
keywords quadratic band touchingsymplectic symmetryUSp(2N)fermionic bilinearsinteraction termsspontaneous symmetry breakinghoneycomb latticeU(N) subgroup
0
0 comments X

The pith

The single-particle quadratic-band-touching Hamiltonian in two dimensions has an internal symmetry under the unitary symplectic group USp(2N).

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

The paper establishes that quadratic-band-touching Hamiltonians in two dimensions possess an internal symmetry given by the unitary symplectic group USp(2N), where N is the number of two-component fermions. This symmetry plays the same role for quadratic touchings that the orthogonal group O(2N) plays for massless Dirac fermions in 2+1 dimensions. A sympathetic reader would care because the symmetry immediately classifies every possible fermionic bilinear into one of only three irreducible representations and restricts the allowed rotationally invariant interactions to exactly two independent terms. When these interactions are infrared relevant, the symmetry is either preserved or spontaneously broken to the subgroup USp(N) times USp(N). On concrete lattices such as the honeycomb lattice the symmetry that survives to all orders in the dispersion expansion is the intersection U(N).

Core claim

The low-energy quadratic-band-touching Hamiltonian in two spatial dimensions is invariant under the unitary symplectic group USp(2N). All fermionic bilinears transform according to one of the three small irreducible representations of this group. The most general four-fermion interaction compatible with USp(2N) and spatial rotations contains two independent coupling constants. When these interactions are relevant at low energies the symplectic symmetry remains unbroken or breaks spontaneously to USp(N) times USp(N). In lattice models the symmetry that is preserved to infinite order in the momentum expansion is the group U(N) obtained as the intersection of O(2N) and USp(2N).

What carries the argument

The unitary symplectic group USp(2N) that acts internally on the N two-component fermions and organizes all bilinears into three small irreducible representations.

If this is right

  • Exactly two independent four-fermion interaction terms are allowed by USp(2N) together with spatial rotations.
  • Infrared-relevant interactions produce either an unbroken USp(2N) phase or spontaneous breaking to the subgroup USp(N) times USp(N).
  • On the honeycomb lattice the symmetry that holds to all orders in the momentum expansion is the intersection group U(N).
  • Every possible order parameter or mass term must transform under one of the three small irreps of USp(2N).

Where Pith is reading between the lines

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

  • The classification supplies a systematic way to list candidate interaction channels when modeling instabilities in materials whose bands touch quadratically.
  • Effective theories written for quadratic-touching points should employ symplectic-group invariants rather than orthogonal-group invariants when constructing scalar operators.
  • Renormalization-group flows for the two allowed couplings can be computed to determine which breaking pattern is realized for given microscopic parameters.

Load-bearing premise

The low-energy effective Hamiltonian is exactly quadratic in momentum with full rotational invariance and higher-order dispersion corrections do not reduce the symmetry group.

What would settle it

Enumeration of all rotationally invariant bilinears for a concrete N that fail to fall into one of the three irreducible representations of USp(2N) would show the claimed symmetry is absent.

read the original abstract

The internal low-energy symmetry of the massless Lorentz-invariant Dirac Hamiltonian in $2+1$ dimensions is known to be $O(2N)$, where $N$ is the number of two-component Dirac fermions. Here we point out that there exists an analogous internal symmetry of the single-particle quadratic-band-touching Hamiltonian in two spatial dimensions, and it is the unitary symplectic group, $USp(2N)$. All fermionic bilinears belong to one of the three small irreducible representations of this group. The interacting theory that respects the $USp(2N)$ symmetry and the spatial rotations is constructed and found to allow two independent interaction terms. When these interactions are infrared-relevant the symplectic symmetry either remains preserved or becomes spontaneously broken to $USp(N) \times USp(N)$. The symmetry in the lattices such as honeycomb to infinite order in the dispersion's expansion in powers of local momentum is given by the overlap of the symplectic and the orthogonal groups. We show that this overlap is $O(2N) \bigcap USp(2N) = U(N)$.

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 identifies an internal symmetry of the single-particle quadratic-band-touching (QBT) Hamiltonian in two spatial dimensions that is the unitary symplectic group USp(2N) for N two-component fermions. It shows that all fermionic bilinears transform under one of three small irreducible representations of this group, constructs the two independent four-fermion interactions that are invariant under USp(2N) and spatial rotations, and determines the possible infrared fates (preservation or spontaneous breaking to USp(N)×USp(N)). On the lattice the symmetry is the intersection O(2N) ∩ USp(2N) = U(N) to all orders in the momentum expansion.

Significance. If the central identification holds, the result supplies a symmetry classification for QBT systems that is directly analogous to the well-known O(2N) symmetry of massless Dirac fermions in 2+1 dimensions. This classification immediately constrains the allowed interaction terms and the possible symmetry-breaking channels, which is useful for both continuum and lattice studies of materials with quadratic band touching (e.g., bilayer graphene). The explicit demonstration that the lattice symmetry reduces exactly to U(N) is a concrete, falsifiable statement that can be checked in microscopic models.

major comments (2)
  1. The abstract and introduction assert that all bilinears fall into three small irreps of USp(2N) and that exactly two independent USp(2N)-invariant interactions exist, but the manuscript does not display the explicit 4N×4N Hamiltonian matrix or the decomposition of the bilinear basis into irreps. Without these matrices it is impossible to verify that the counting is exhaustive and that no additional invariant operators have been overlooked.
  2. The claim that the lattice symmetry is exactly U(N) to infinite order in the dispersion expansion relies on the intersection O(2N) ∩ USp(2N). The manuscript should state the precise embedding of the lattice point-group action into O(2N) and show that no higher-order terms can enlarge the intersection beyond U(N).
minor comments (2)
  1. Notation for the number of flavors is introduced as N but is not consistently distinguished from the number of lattice sites or other indices; a single clarifying sentence at the beginning of §2 would remove ambiguity.
  2. The spontaneous-breaking pattern USp(2N) → USp(N)×USp(N) is stated without an accompanying order-parameter construction or mean-field calculation; adding a short paragraph with the explicit bilinear that condenses would make the infrared analysis self-contained.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, the positive assessment of the work, and the recommendation for minor revision. The comments help clarify the presentation of the symmetry analysis. We respond to each major comment below.

read point-by-point responses
  1. Referee: The abstract and introduction assert that all bilinears fall into three small irreps of USp(2N) and that exactly two independent USp(2N)-invariant interactions exist, but the manuscript does not display the explicit 4N×4N Hamiltonian matrix or the decomposition of the bilinear basis into irreps. Without these matrices it is impossible to verify that the counting is exhaustive and that no additional invariant operators have been overlooked.

    Authors: We agree that the explicit matrices would make the counting transparent and allow direct verification. In the revised manuscript we will include the 4N × 4N single-particle Hamiltonian matrix written in a basis that makes the USp(2N) action manifest, together with the explicit decomposition of the 16N² − 1 bilinears into the three small irreducible representations of USp(2N). This will confirm that precisely two independent four-fermion operators are invariant under USp(2N) and spatial rotations. revision: yes

  2. Referee: The claim that the lattice symmetry is exactly U(N) to infinite order in the dispersion expansion relies on the intersection O(2N) ∩ USp(2N). The manuscript should state the precise embedding of the lattice point-group action into O(2N) and show that no higher-order terms can enlarge the intersection beyond U(N).

    Authors: The equality O(2N) ∩ USp(2N) = U(N) is a standard group-theoretic fact that holds for any faithful representation of the lattice symmetries inside O(2N). To address the request for explicitness, the revised manuscript will specify the embedding of the honeycomb (or other relevant) point-group action into O(2N) via its linear action on the low-energy two-component spinors. We will also note that all higher-order terms in the dispersion are polynomials in momentum that are themselves invariant under the same point group; consequently they are built from generators already contained in the U(N) subalgebra and cannot enlarge the intersection. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The central claim identifies the internal symmetry of the rotationally invariant quadratic-band-touching Hamiltonian as USp(2N) by direct inspection of the single-particle Hamiltonian form together with standard representation theory of the symplectic group. All bilinears are classified into the three small irreps, the allowed interactions are enumerated, and the lattice overlap O(2N) ∩ USp(2N) = U(N) is computed explicitly. No equation reduces a prediction to a fitted parameter, no load-bearing step rests on a self-citation whose content is itself unverified, and the derivation remains self-contained against the stated assumptions without importing uniqueness theorems or ansätze from prior work by the same authors.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the assumption that the low-energy Hamiltonian is exactly quadratic and rotationally invariant; no free parameters, new entities, or ad-hoc axioms are introduced beyond standard group theory.

axioms (1)
  • domain assumption The single-particle Hamiltonian is quadratic-band-touching and invariant under spatial rotations.
    Invoked to define the symmetry group USp(2N) and to count the allowed interaction terms.

pith-pipeline@v0.9.0 · 5504 in / 1222 out tokens · 41098 ms · 2026-05-08T14:02:45.857356+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages · 1 internal anchor

  1. [1]

    In contrast to the Dirac case, however, there now existtwoFierz-independent interaction terms that re- spect theU Sp(2N) and theO(2) of the spatial rotations. When the corresponding couplings are infrared-relevant in the renormalization group sense, theU Sp(2N) ends up being either preserved or spontaneously broken to U Sp(N)×U Sp(N) in the ground state. ...

  2. [2]

    Due to the assumed oddness of the functionsF i, all three operators in the bracket are odd under transposition

    Introducing the Majorana fermionsχ 1 andχ 2 as Ψ =χ 1 −iχ 2 and Ψ† =χ T 1 +iχ T 2 gives L0 =χ T [1N ⊗(14∂τ +12⊗σ1F1(ˆ⃗ p)+σ2⊗σ2F2(ˆ⃗ p))]χ,(2) whereχ T = (χ T 1 , χT 2 ). Due to the assumed oddness of the functionsF i, all three operators in the bracket are odd under transposition. This is a necessary condition in order for them to contribute toL0, and it...

  3. [3]

    nematics

    [11, 12] The space-inversion may now be defined asI= 1 N ⊗σ 2 and the time-reversal asT= (1 N ⊗σ 3)K, both accompanied with ˆpi → −ˆpi. In terms of Majorana fermions one then finds L0 =χ T [12N ⊗(1 2∂τ +σ 1F1(ˆ⃗ p) +σ2F2(ˆ⃗ p))]χ,(5) so that the symmetry group still remainsO(2N). The reader would obtain the same result for the reverse choice of evenF 1 an...

  4. [4]

    H. B. Nielsen, M. Ninomiya, Nucl. Phys. B.18520–40, (1981)

  5. [5]

    50 years of the renormalization group/Dedicated to the memory of Michael E. Fisher

    For a review, see I. F. Herbut, Mod. Phys. Lett. B,38, 2430006 (2024); also in “50 years of the renormalization group/Dedicated to the memory of Michael E. Fisher”, edited by A. Aharony, O. Entin-Wohlman, D. Huse, and L. Radzihovsky

  6. [6]

    I. F. Herbut and S. Mandal, Phys. Rev. B108, L161108 (2023)

  7. [7]

    Zinn-Justin,Quantum Field Theory and Critical Phe- nomena, (Clarendon Press, Oxford, 2002)

    J. Zinn-Justin,Quantum Field Theory and Critical Phe- nomena, (Clarendon Press, Oxford, 2002)

  8. [8]

    D. J. Gross and A. Neveu, Phys. Rev. D10, 3235 (1974)

  9. [9]

    Han and I

    S.E. Han and I. F. Herbut, Phys. Rev. B110, 125131 (2024); Phys Rev. B112, 155161 (2025)

  10. [10]

    Zee,Group Theory in Nutshell for Physicists, (Princeton University Press, Princeton, 2016)

    See, for example, A. Zee,Group Theory in Nutshell for Physicists, (Princeton University Press, Princeton, 2016)

  11. [11]

    Here we will call an irrep by its dimension

  12. [12]

    H. Zhou, T. Xie, T. Taniguchi, K. Watanabe, and A. F. Young, Nature (London)598, 434 (2021)

  13. [13]

    The choice of operators that represent the inversion and the time-reversal is obviuosly not unique

  14. [14]

    Montambaux, F

    G. Montambaux, F. Pi´ echon, J. Fuchs, and M. O. Goer- big, Eur. Phys. J. B72, 509 (2009)

  15. [15]

    D´ ora, I

    B. D´ ora, I. F. Herbut, and R. Moessner, Phys. Rev. B 88, 075126 (2013)

  16. [16]

    K. Sun, H. Yao, E. Fradkin, and S. A. Kivelson, Phys. Rev. Lett.103, 046811 (2009)

  17. [17]

    D´ ora, I

    B. D´ ora, I. F. Herbut, and R. Moessner, Phys. Rev. B 90, 045310 (2014). 7

  18. [18]

    For more general consider- ations see, S

    This is a well-known feature of the Pauli matrices, which is the expression of the pseudo-real nature of the spinor representation of theSO(3). For more general consider- ations see, S. Okubo, J. Math. Phys.32, 1657 (1991)

  19. [19]

    I. F. Herbut, Phys. Rev. B85, 085304 (2012), and, in particular, Table 1 therein

  20. [20]

    Roy, Phys

    B. Roy, Phys. Rev. B88, 075415 (2013)

  21. [21]

    This minimizes the ground state energy under quite gen- eral conditions. See [3]. [19]Ndoes not have to be even since the Nielsen-Ninomiya theorem does not apply to QBT. We assume it neverthe- less to include the cases of spin-1/2 and spinless graphene bilayer

  22. [22]

    Szab´ o, M

    A. Szab´ o, M. Sc. Thesis (Simon Fraser University, 2016.)

  23. [23]

    The choice of the three linearly independet quartic terms is not unique, but can not be made completely freely either

  24. [24]

    Vafek and K

    O. Vafek and K. Yang, Phys. Rev. B81, 041401(R) (2010)

  25. [25]

    This specific choice is made so thatTandIcommute, and thatT 2 = 1, but it is still not unique

  26. [26]

    I. F. Herbut, V. Juriˇ ci´ c, and B. Roy, Phys. Rev. B79, 085116 (2009)

  27. [27]

    A unitaryU 1 such thatU 1U ∗ 1 = 1 can always be trans- formed into unit operator

  28. [28]

    Such a basis also can always be found