Skip to content

Unconventional Pairing Symmetries and Diagnostics

On this page, unconventional is an operational description: the gap cannot be represented by one everywhere-positive, fully symmetric scalar on the relevant Fermi surfaces, or the condensate breaks an additional symmetry. The central task is to classify the full pairing matrix, project it onto the measured bands only when that approximation is controlled, and demand one forward model that explains all available diagnostics. A symmetry label does not by itself identify the attractive interaction, and neither a sign change nor a node by itself establishes bulk topology.

The discussion assumes a spatially uniform, zero-center-of-mass, even-frequency condensate unless stated otherwise. The more general Pauli constraint is given first so that the scope of the familiar singlet-even and triplet-odd rule is explicit.

Required background. Nambu–Gor’kov notation supplies the gap matrix. Discrete and antiunitary symmetries supplies the transformation rules. Invertible background responses supplies the distinction between symmetry labels and topology.

Helpful background. Band topology and symmetry protection provides the normal-state geometric setting.

Let ckc_{\mathbf k} be a column of annihilation operators carrying every spin, orbital, sublattice, and band-basis index retained in the model. We use

Ψk=(ckckT),HΔ=12k[ckΔ(k)ckT+h.c.].\Psi_{\mathbf k} = \begin{pmatrix} c_{\mathbf k}\\ c^\dagger_{-\mathbf k}{}^{T} \end{pmatrix}, \qquad H_\Delta = \frac12\sum_{\mathbf k} \left[ c^\dagger_{\mathbf k}\Delta(\mathbf k)c^\dagger_{-\mathbf k}{}^{T} +\text{h.c.} \right].

With this sign and Nambu convention, exchanging the two fermions gives

Δ(k)=ΔT(k)\Delta(\mathbf k)=-\Delta^T(-\mathbf k)

for a static even-frequency gap. A dynamical anomalous self-energy obeys the more general relation

Δ(k,iωn)=ΔT(k,iωn).\Delta(\mathbf k,i\omega_n) =-\Delta^T(-\mathbf k,-i\omega_n).

Thus the exchange parities of spin, relative momentum, orbital or sublattice label, and relative frequency multiply to 1-1. This is sometimes summarized as the SPOT rule, but it is the displayed matrix equation—not the mnemonic—that remains valid when the factors do not separate. Odd-frequency pairing reverses the usual momentum-parity assignment, and finite-momentum pairing requires writing the two momenta as Q/2±k\mathbf Q/2\pm\mathbf k before performing the exchange. Geilhufe and Balatsky 2018, §§II–III develops the even- and odd-frequency symmetry classification.

For a single spin-1/21/2 orbital with negligible spin–orbit coupling,

Δ(k)=[ψ(k)σ0+d(k)σ]iσy.\Delta(\mathbf k) = \left[ \psi(\mathbf k)\sigma_0 +\mathbf d(\mathbf k)\mathbin{\cdot}\boldsymbol\sigma \right]i\sigma_y .

Because iσyi\sigma_y is antisymmetric while each σiiσy\sigma_i i\sigma_y is symmetric, Pauli antisymmetry makes ψ\psi even and d\mathbf d odd in k\mathbf k. In a centrosymmetric, time-reversal-invariant normal state with spin–orbit coupling, inversion and time reversal produce a Kramers pair at each momentum. If an isolated pair admits the standard pseudospin transformation law, the same formula holds with pseudospin matrices sis_i in place of the physical-spin matrices σi\sigma_i. It then classifies pseudospin singlet and triplet, not directly the laboratory spin polarization.

That replacement is not automatic. Some spin–orbit-coupled doublets transform as non-pseudospin bands, and a multiorbital gap carries independent orbital exchange parity. In those cases one must retain the full internal matrix and its symmetry sewing matrices; a physical-spin label alone does not determine spatial parity. Samokhin 2019, Introduction and §§II–III gives the band-basis qualifications, while Ramires and Sigrist 2019, §§II–III shows why orbital content changes the admissible multiband structures.

Crystal symmetry classifies the order parameter

Section titled “Crystal symmetry classifies the order parameter”

Fix the Bloch-basis convention

g^ckg^1=cgkUg(k)\hat g\,c^\dagger_{\mathbf k}\hat g^{-1} =c^\dagger_{g\mathbf k}U_g(\mathbf k)

for a unitary space-group operation gg. A chosen set of gap basis matrices {Δi}\{\Delta_i\} belongs to an irreducible representation Γ\Gamma when the active transformation

[GgΔi](k)Ug(g1k)Δi(g1k)UgT(g1k)=jΔj(k)DjiΓ(g).\begin{aligned} \bigl[\mathcal G_g\Delta_i\bigr](\mathbf k) &\equiv U_g(g^{-1}\mathbf k)\, \Delta_i(g^{-1}\mathbf k)\, U_g^T(-g^{-1}\mathbf k)\\ &= \sum_j\Delta_j(\mathbf k)D^\Gamma_{ji}(g). \end{aligned}

Here DΓ(g)D^\Gamma(g) is defined by this equation; choosing a different Bloch gauge conjugates the sewing matrices and gap basis together without changing spectra or representation content. For a nonsymmorphic operation, the fractional translation is included in the momentum-dependent Ug(k)U_g(\mathbf k), and gkg\mathbf k is understood modulo a reciprocal-lattice vector. Dropping those phases can give a wrong node prediction on a Brillouin-zone face.

For time reversal we choose

Θ^ckΘ^1=ckUΘ(k),\hat\Theta\,c^\dagger_{\mathbf k}\hat\Theta^{-1} =c^\dagger_{-\mathbf k}U_\Theta(\mathbf k),

with the complex conjugation of scalar coefficients supplied by the antiunitary operator. The transformed gap is

[TΔ](k)=UΘ(k)Δ(k)UΘT(k).\bigl[\mathcal T\Delta\bigr](\mathbf k) = U_\Theta(-\mathbf k)\Delta^*(-\mathbf k)U_\Theta^T(\mathbf k).

A state preserves time reversal when TΔ=eiχΔ\mathcal T\Delta=e^{i\chi}\Delta for one momentum-independent condensate phase χ\chi. The allowance for eiχe^{i\chi} matters: a minus sign under a crystal operation can likewise be compensated by a gauge rotation and need not imply that a gauge-invariant observable breaks that crystal symmetry.

The linearized gap equation selects an irrep but does not, by itself, select a direction inside a multidimensional irrep. If η=(η1,,ηd)\boldsymbol\eta=(\eta_1,\ldots,\eta_d) multiplies its basis matrices, symmetry-allowed quartic and higher-order terms decide whether the minimum is real and nematic, complex and time-reversal breaking, or split by strain. Distinct minima create domains, so a macroscopic measurement may average responses that a single-domain calculation predicts to be anisotropic. Sigrist and Ueda 1991, §II, pp. 240–252 gives the representation and Ginzburg–Landau construction.

Take a two-dimensional tetragonal crystal with point group D4hD_{4h}, lattice constant one, and one isolated Kramers doublet with the standard pseudospin basis. The even-parity gap

Δd(k)=Δ0(coskxcosky)isy\Delta_d(\mathbf k) = \Delta_0\bigl(\cos k_x-\cos k_y\bigr)i s_y

has the B1gB_{1g} form factor

ϕd(k)=coskxcosky.\phi_d(\mathbf k)=\cos k_x-\cos k_y.

It is even under inversion, changes sign under a 9090^\circ rotation, and changes sign under reflection across a diagonal. Those characters identify B1gB_{1g}. Its symmetry-fixed zero set is

ϕd(k)=0kx=±ky(mod2π).\phi_d(\mathbf k)=0 \quad\Longleftrightarrow\quad k_x=\pm k_y \pmod{2\pi}.

The zero set is not yet a quasiparticle node: it must intersect a Fermi surface. The figure asks the reader to compare two Fermi-surface geometries for exactly the same B1gB_{1g} form factor. A Γ\Gamma-centered sheet crosses both diagonals four times, whereas small pockets around X=(π,0)X=(\pi,0) and Y=(0,π)Y=(0,\pi) can avoid them. On those pockets the leading signs are opposite because ϕd(X)=2\phi_d(X)=-2 and ϕd(Y)=+2\phi_d(Y)=+2.

For the same B1g form factor, diagonal symmetry-zero lines intersect a Gamma-centered Fermi surface at four nodes, while separate X and Y pockets avoid the zero lines and remain fully gapped with opposite signs.

The B1gB_{1g} representation fixes diagonal zero loci, but the illustrated weak-pairing quasiparticle nodes occur only where those loci meet a Fermi surface. Small X/YX/Y pockets avoid the zeros and carry opposite signs. Original square-lattice schematic in an isolated-band weak-pairing limit; not to scale.

The same information is available without the image:

Pairing inputSymmetry-zero locusIllustrated Fermi surfaceIntersectionWeak-pairing conclusion
B1gB_{1g} with ϕd=coskxcosky\phi_d=\cos k_x-\cos k_ykx=±kyk_x=\pm k_ySimple Γ\Gamma-centered sheetFour crossingsFour nodal quasiparticle points in two dimensions
The same B1gB_{1g} form factorThe same diagonal lociSmall separate XX and YY pocketsNo crossingsEach pocket is fully gapped; the signs at XX and YY are opposite

This example separates three statements that are often conflated: the irrep fixes how the gap transforms, the basis function fixes a possible zero locus, and the normal-state Fermi surface decides whether that locus produces low-energy quasiparticles.

In the convention above, the full Bogoliubov–de Gennes matrix is

HBdG(k)=(h(k)μΔ(k)Δ(k)[h(k)μ]T).\mathcal H_{\mathrm{BdG}}(\mathbf k) = \begin{pmatrix} h(\mathbf k)-\mu & \Delta(\mathbf k)\\ \Delta^\dagger(\mathbf k) & -[h(-\mathbf k)-\mu]^T \end{pmatrix}.

A quasiparticle node is a momentum at which its smallest nonnegative eigenvalue vanishes. This definition remains valid at band crossings, for interband pairing, and when a projected scalar gap is not meaningful.

The familiar Fermi-surface rule is a controlled weak-pairing reduction. Let the columns of Wn(k)W_n(\mathbf k) span a normal-state band or degenerate band subspace, and define

Δn(k)=Wn(k)Δ(k)Wn(k).\Delta_n(\mathbf k) = W_n^\dagger(\mathbf k)\Delta(\mathbf k)W_n^*(-\mathbf k).

If the pairing scale is much smaller than the separation δEn\delta E_n to omitted bands,

ΔδEn,\lVert\Delta\rVert\ll\delta E_n,

then interband mixing is perturbative. On the nnth Fermi surface, the smallest singular value of Δn\Delta_n is the leading excitation gap. A projected zero gives a physical node only if the projection is controlled; near a normal-state degeneracy or for appreciable interband pairing, diagonalize the full BdG matrix instead.

Node statements fall into three different, partly overlapping classes:

  • A symmetry-enforced node occurs when little-group representations forbid a nonzero projected pairing matrix on an invariant line or plane. It persists under symmetry-preserving changes, provided the Fermi surface continues to intersect that locus.
  • An accidental node is a cancellation among allowed basis functions or band components within the same symmetry class. It can move, merge, or gap out without a phase transition that breaks an additional symmetry.
  • A topological node is surrounded by a nonzero invariant. For example, when a chiral symmetry puts the flattened BdG Hamiltonian in off-diagonal form with block q(k)q(\mathbf k), a loop CC on which detq0\det q\ne0 can carry
ν=12πiCdkklogdetq(k).\nu = \frac{1}{2\pi i} \oint_C d\mathbf k\mathbin{\cdot}\boldsymbol\nabla_{\mathbf k} \log\det q(\mathbf k).

It cannot disappear alone while that symmetry and the loop gap remain intact; it must meet a node of compensating charge or encounter a boundary where the invariant ceases to be defined. A node can be both symmetry-enforced and topological, so these labels are not mutually exclusive. Kobayashi et al. 2014, Abstract and §§II–III makes this distinction precise for odd-parity line nodes.

Blount’s result should not be read as a universal prohibition. In the standard strong-spin–orbit, symmorphic setting, an odd-parity line node is not generically symmetry-enforced, although an accidental line zero can still occur. On glide- or screw-invariant Brillouin-zone faces, nonsymmorphic phases and band sticking change the allowed pair representations and can protect odd-parity line nodes. Blount 1985, pp. 2935–2944 gives the classic argument; Sumita and Yanase 2018, Introduction and §§II–III gives the space-group qualification.

For a clean node with linear dispersion in cc transverse momentum directions, phase-space counting gives

N(E)Ec1,Cel(T)Tc.N(E)\propto E^{c-1}, \qquad C_{\mathrm{el}}(T)\propto T^c.

Thus a line node in three dimensions and a point node in two dimensions both have c=2c=2 and give CelT2C_{\mathrm{el}}\propto T^2, while a simple point node in three dimensions has c=3c=3 and gives T3T^3. Disorder, a small minimum gap, multiple bands, nonlinear dispersion, and a finite fitting window all modify these asymptotes. A measured power law is evidence about low-energy phase space, not a representation label by itself.

In a noncentrosymmetric but time-reversal-invariant metal, a minimal normal-state Hamiltonian is

h(k)=ξ(k)σ0+g(k)σ,g(k)=g(k).h(\mathbf k) = \xi(\mathbf k)\sigma_0 +\mathbf g(\mathbf k)\mathbin{\cdot}\boldsymbol\sigma, \qquad \mathbf g(-\mathbf k)=-\mathbf g(\mathbf k).

The spin–orbit field splits the two helicity bands. In the intraband weak-pairing limit, a mixed-parity gap with d(k)=d(k)g^(k)\mathbf d(\mathbf k)=d(\mathbf k)\widehat{\mathbf g}(\mathbf k) has helicity-gap magnitudes

Δλ(k)=ψ(k)+λd(k),λ=±.\left\lvert\Delta_\lambda(\mathbf k)\right\rvert = \left\lvert\psi(\mathbf k)+\lambda d(\mathbf k)\right\rvert, \qquad \lambda=\pm.

The omitted helicity-basis phase depends on how the time-reversed Bloch partners are chosen and does not change the excitation energy. A zero of one helicity gap can therefore arise from cancellation between two symmetry-allowed components; unless a symmetry fixes that cancellation, it is accidental. If the spin–orbit splitting is not large compared with pairing, the intraband formula is insufficient and the full BdG problem is required. Frigeri et al. 2004, pp. 097001-1–097001-4 and Erratum derives the protected intraband structure in the simplest noncentrosymmetric model.

In a multiorbital material, projection also folds the momentum-dependent orbital texture of Wn(k)W_n(\mathbf k) into Δn(k)\Delta_n(\mathbf k). Consequently, a gap that is momentum independent in an orbital basis can become strongly anisotropic in the band basis, and an orbital-antisymmetric spin-triplet matrix can be even in momentum without violating Pauli antisymmetry. Near avoided crossings, the same orbital texture can enhance interband pairing. Classification should therefore begin in a declared microscopic basis and end with the observable band-resolved gap, rather than switching between them silently.

Multicomponent order adds a second layer. Strain may select one component, quartic terms may favor a real or complex combination, and cooling can produce multiple domains. Domain averaging can hide a predicted anisotropy; domain walls can add low-energy states or local fields absent from a uniform calculation. A serious comparison with experiment must state whether it models one domain, a weighted domain ensemble, or a wall-containing sample.

The classification becomes falsifiable only after the candidate gap is propagated through the measurement geometry, matrix elements, resolution, disorder model, and domain population. The tricrystal experiment of Tsuei et al. 1994, pp. 593–596 is a useful model: its force came from a junction geometry designed to compare phase signs, not from treating flux as a direct picture of the bulk gap.

ProbeCandidate-specific predictionControls and alternatives to includeStrongest licensed conclusion
Heat capacity, penetration depth, and thermal transportLow-energy density of states, field-angle dependence, and clean-limit exponentImpurity bandwidth, phonons, nonlocal response, multiple gaps, vortex scattering, and fitting rangeConstrains nodal phase space and anisotropy; does not alone fix the irrep or phase sign
Phase-sensitive Josephson junction or ringJunction coupling signs and flux minima for the actual face orientationsFaceting, tunnelling matrix elements, trapped flux, junction transparency, and subdominant surface orderTests a specified relative phase pattern within the junction model
Knight shift or polarized susceptibilityField- and temperature-dependent spin response after spin–orbit and band projectionHyperfine and orbital shifts, diamagnetism, field-induced order-parameter rotation, and Van Vleck responseConstrains physical-spin response; does not directly read off pseudospin parity
Controlled disorderJoint evolution of TcT_c, residual resistivity, low-energy density of states, and gap anisotropyInterband versus intraband scattering, impurity potential, local moments, carrier-density changes, and irradiation damageTests sign structure only relative to a quantified scattering model
ARPES, tunnelling, and quasiparticle interferenceBand-resolved gap minima, zero loci, and coherence-factor patternsEnergy and momentum resolution, surface termination, tunnelling or photoemission matrix elements, and kzk_z averagingLocates projected gap structure on the bands that the probe can see
Strain, ultrasound, Kerr response, and local-field probesDegeneracy splitting, collective-mode coupling, or onset expected for a multicomponent stateDomain repopulation, trapped flux, magnetic inclusions, structural transitions, and extrinsic chiralityConstrains component degeneracy or additional symmetry breaking after alternatives are bounded

Controlled disorder is especially model dependent: even for a two-band sign-changing state, the rate of TcT_c suppression varies strongly with the impurity scattering matrix. Wang et al. 2013, Abstract and §§II–IV illustrates why a disorder series should fit several observables together rather than use a single residual-resistivity slope.

A persuasive assignment is the intersection of surviving tests. A null result is decisive only if the forward model predicts a resolvable nonzero coupling, and a positive signal is decisive only after realistic alternatives have been bounded.

What symmetry establishes—and what it does not

Section titled “What symmetry establishes—and what it does not”

The shared validity map keeps three inference branches separate. Follow the symmetry branch through Pauli antisymmetry, crystal covariance, and band-resolved diagnostics; do not jump from agreement on that branch to a microscopic interaction or boundary quasiparticle.

Pairing symmetry is constrained by antisymmetry and crystal transformations, then tested by nodes, phase, spin, and disorder, while microscopic mechanism and topological boundary claims require separate evidence.

Symmetry classification predicts a linked set of falsifiable observables. Agreement licenses a representation within the tested model; it does not identify the pairing interaction or a topological boundary mode. Original schematic, not to scale.

Use the paired-matter claim test matrix to compare the evidence obligations directly. The next questions have separate handoffs:

Inferring parity from a spin label. Singlet-even and triplet-odd follows only after specifying even frequency and a symmetric single-orbital sector. Orbital antisymmetry, odd-frequency pairing, or non-pseudospin spin–orbit-coupled bands change the inference.

Equating an irrep with a node pattern. An irrep constrains allowed gap matrices. Actual nodes also depend on coefficients within the irrep, Fermi-surface intersections, band projection, and interband pairing.

Calling every sign under rotation a broken symmetry. A one-dimensional superconducting order parameter may acquire an irrep character such as 1-1 under a rotation while the state remains invariant after a global gauge transformation. Test gauge-invariant observables before claiming rotational symmetry breaking.

Promoting one diagnostic to mechanism or topology. A phase-sensitive sign change constrains the order parameter, not the pairing glue. A nodal power law does not supply a bulk invariant, and a zero-bias boundary feature needs a boundary forward model before it can be called a Majorana mode.

Suppose a separable pair matrix has spin, orbital, momentum, and frequency factors with exchange parities ϵs\epsilon_s, ϵo\epsilon_o, ϵp\epsilon_p, and ϵf\epsilon_f. Derive their constraint. Then determine the momentum parity of (a) an even-frequency spin singlet with an orbital-symmetric matrix and (b) an even-frequency spin triplet with an orbital-antisymmetric matrix.

Solution

Write

Δs1o1;s2o2(k,iωn)=Ss1s2Oo1o2ϕ(k)f(iωn),\Delta_{s_1o_1;s_2o_2}(\mathbf k,i\omega_n) = S_{s_1s_2}O_{o_1o_2}\phi(\mathbf k)f(i\omega_n),

with ST=ϵsSS^T=\epsilon_sS, OT=ϵoOO^T=\epsilon_oO, ϕ(k)=ϵpϕ(k)\phi(-\mathbf k)=\epsilon_p\phi(\mathbf k), and f(iωn)=ϵff(iωn)f(-i\omega_n)=\epsilon_f f(i\omega_n). Substitution into the Pauli relation gives

ϵsϵoϵpϵf=1.\epsilon_s\epsilon_o\epsilon_p\epsilon_f=-1.

For (a), ϵs=1\epsilon_s=-1, ϵo=+1\epsilon_o=+1, and ϵf=+1\epsilon_f=+1, so ϵp=+1\epsilon_p=+1: the momentum dependence is even. For (b), ϵs=+1\epsilon_s=+1, ϵo=1\epsilon_o=-1, and ϵf=+1\epsilon_f=+1, so again ϵp=+1\epsilon_p=+1. The second case is an even-momentum spin triplet made possible by orbital antisymmetry; it is why the one-orbital rule must not be applied to a multiorbital matrix.

2. Follow the B₁g example to its low-energy thermodynamics

Section titled “2. Follow the B₁g example to its low-energy thermodynamics”

For ϕd(k)=coskxcosky\phi_d(\mathbf k)=\cos k_x-\cos k_y, verify its inversion and 9090^\circ-rotation characters. Find its intersections with a circular Fermi surface centered at Γ\Gamma. Linearize the BdG spectrum near one crossing and infer the clean two-dimensional low-temperature heat capacity. Finally evaluate ϕd\phi_d at XX and YY.

Solution

Inversion gives

ϕd(kx,ky)=ϕd(kx,ky),\phi_d(-k_x,-k_y)=\phi_d(k_x,k_y),

while C4:(kx,ky)(ky,kx)C_4:(k_x,k_y)\mapsto(-k_y,k_x) gives

ϕd(ky,kx)=coskycoskx=ϕd(kx,ky).\phi_d(-k_y,k_x) =\cos k_y-\cos k_x =-\phi_d(k_x,k_y).

The zeros are the two diagonals kx=±kyk_x=\pm k_y modulo reciprocal vectors. A simple Γ\Gamma-centered circle crosses them at four points. Resolving momentum into qq_\perp normal to the Fermi surface and qq_\parallel tangent to it, the generic linearization is

E(q)vF2q2+vΔ2q2.E(\mathbf q) \simeq \sqrt{v_F^2q_\perp^2+v_\Delta^2q_\parallel^2}.

This two-dimensional Dirac cone has N(E)EN(E)\propto E, hence CelT2C_{\mathrm{el}}\propto T^2 in the clean asymptotic regime. At the pocket centers,

ϕd(X)=ϕd(π,0)=2,ϕd(Y)=ϕd(0,π)=+2.\phi_d(X)=\phi_d(\pi,0)=-2, \qquad \phi_d(Y)=\phi_d(0,\pi)=+2.

Small pockets about XX and YY can therefore be fully gapped yet have opposite signs.

3. Project a mixed-parity gap onto helicity bands

Section titled “3. Project a mixed-parity gap onto helicity bands”

For

h(k)=ξ(k)σ0+g(k)σ,h(\mathbf k) =\xi(\mathbf k)\sigma_0 +\mathbf g(\mathbf k)\mathbin{\cdot}\boldsymbol\sigma,

use Pλ=(σ0+λg^σ)/2P_\lambda=(\sigma_0+\lambda\widehat{\mathbf g}\mathbin{\cdot}\boldsymbol\sigma)/2 to project

Δ(k)=[ψ(k)σ0+d(k)g^(k)σ]iσy.\Delta(\mathbf k) = \left[ \psi(\mathbf k)\sigma_0 +d(\mathbf k)\widehat{\mathbf g}(\mathbf k)\mathbin{\cdot}\boldsymbol\sigma \right]i\sigma_y.

Find the two excitation-gap magnitudes and state when a zero is accidental.

Solution

Since

Pλ[ψσ0+dg^σ]Pλ=(ψ+λd)Pλ,P_\lambda \bigl[ \psi\sigma_0+d\,\widehat{\mathbf g}\mathbin{\cdot}\boldsymbol\sigma \bigr] P_\lambda = (\psi+\lambda d)P_\lambda,

pairing between time-reversed states on helicity sheet λ\lambda has magnitude

Δλ(k)=ψ(k)+λd(k).\left\lvert\Delta_\lambda(\mathbf k)\right\rvert = \left\lvert\psi(\mathbf k)+\lambda d(\mathbf k)\right\rvert.

A helicity-basis phase multiplying this result depends on the gauge for the Bloch states and drops out of the energy. A zero on the λ\lambda Fermi surface occurs when ψ=λd\psi=-\lambda d. It is accidental if symmetry allows either component to vary independently, because a symmetry-preserving change then moves or removes the cancellation. It is symmetry-enforced only if the little group requires the projected matrix to vanish there.

4. Let quartic terms choose a two-component state

Section titled “4. Let quartic terms choose a two-component state”

Consider a two-dimensional irrep with

f=αr2+β1r4+β2η12+η222,r2=η12+η22.f = \alpha r^2 +\beta_1r^4 +\beta_2\left\lvert\eta_1^2+\eta_2^2\right\rvert^2, \qquad r^2=\left\lvert\eta_1\right\rvert^2+\left\lvert\eta_2\right\rvert^2.

For fixed rr, find the minima when β2>0\beta_2>0 and when β2<0\beta_2<0. State the quartic stability conditions and whether time reversal is broken.

Solution

The triangle inequality gives

0η12+η222r4.0 \le \left\lvert\eta_1^2+\eta_2^2\right\rvert^2 \le r^4.

For β2>0\beta_2>0, the minimum sets η12+η22=0\eta_1^2+\eta_2^2=0, which requires equal magnitudes and relative phase ±π/2\pm\pi/2. Up to a global phase,

η=r2(1,±i).\boldsymbol\eta = \frac{r}{\sqrt2}(1,\pm i).

The two choices are exchanged by time reversal, so this complex or chiral state breaks it. Its quartic stability requires β1>0\beta_1>0.

For β2<0\beta_2<0, the minimum maximizes the last factor to r4r^4. The components have a common phase and can be chosen real, giving a time-reversal-preserving nematic family at quartic order. Higher-order crystal anisotropy can select discrete domain directions. Stability along this direction requires β1+β2>0\beta_1+\beta_2>0.

  • Blount, E. I. (1985). “Symmetry properties of triplet superconductors.” Physical Review B 32, 2935–2944. doi:10.1103/PhysRevB.32.2935.
  • Frigeri, P. A., Agterberg, D. F., Koga, A., and Sigrist, M. (2004). “Superconductivity without inversion symmetry: MnSi versus CePt3_3Si.” Physical Review Letters 92, 097001; Erratum 93, 099903. doi:10.1103/PhysRevLett.92.097001; Erratum doi:10.1103/PhysRevLett.93.099903.
  • Geilhufe, R. M., and Balatsky, A. V. (2018). “Symmetry analysis of odd- and even-frequency superconducting gap symmetries for time-reversal symmetric interactions.” Physical Review B 97, 024507. doi:10.1103/PhysRevB.97.024507.
  • Kobayashi, S., Shiozaki, K., Tanaka, Y., and Sato, M. (2014). “Topological Blount’s theorem of odd-parity superconductors.” Physical Review B 90, 024516. doi:10.1103/PhysRevB.90.024516.
  • Ramires, A., and Sigrist, M. (2019). “Superconducting order parameter of Sr2_2RuO4_4: A microscopic perspective.” Physical Review B 100, 104501. doi:10.1103/PhysRevB.100.104501.
  • Samokhin, K. V. (2019). “Symmetry of superconducting pairing in non-pseudospin electron bands.” Physical Review B 100, 054501. doi:10.1103/PhysRevB.100.054501.
  • Sigrist, M., and Ueda, K. (1991). “Phenomenological theory of unconventional superconductivity.” Reviews of Modern Physics 63, 239–311. doi:10.1103/RevModPhys.63.239.
  • Sumita, S., and Yanase, Y. (2018). “Unconventional superconducting gap structure protected by space group symmetry.” Physical Review B 97, 134512. doi:10.1103/PhysRevB.97.134512.
  • Tsuei, C. C., Kirtley, J. R., Chi, C. C., Yu-Jahnes, L. S., Gupta, A., Shaw, T., Sun, J. Z., and Ketchen, M. B. (1994). “Pairing symmetry and flux quantization in a tricrystal superconducting ring of YBa2_2Cu3_3O7δ_{7-\delta}.” Physical Review Letters 73, 593–596. doi:10.1103/PhysRevLett.73.593.
  • Wang, Y., Kreisel, A., Hirschfeld, P. J., and Mishra, V. (2013). “Using controlled disorder to distinguish s±s_\pm and s++s_{++} gap structure in Fe-based superconductors.” Physical Review B 87, 094504. doi:10.1103/PhysRevB.87.094504.