Parity Obstruction in Field Theory and Topology

• Parity obstruction is the phenomenon where parity-odd structures are constrained by positivity, topology, or algorithmic rules, limiting their independent specification.
• In three-dimensional CFT, parity-odd tensor data are confined to disc bounds in parameter space, linking collider observables to analytic and crossing symmetry constraints.
• This concept spans diverse fields—from foliation theory and knot invariants to quantum anomalies, computational parity problems, and material band topology—highlighting its broad practical impact.

In the cited literature, parity obstruction denotes situations in which parity-odd tensor structures, mod $2$ tangency data, Euler invariants, or parity-sensitive information are not freely specifiable, but are constrained by positivity, topology, anomaly, or algorithmic structure. In three-dimensional conformal field theory, the phrase refers to conformal-collider bounds that confine parity-violating three-point data to discs in parameter space; in foliation theory and knot theory it refers to mod $2$ obstructions detected by determinant lines, Stiefel–Whitney classes, and parity-based invariants; in anomaly theory and topological order it refers to quantum or topological incompatibility with parity-like symmetries; and in information theory and complexity it refers to parity-preserving or parity-erasing constraints that delimit what a process or algorithm can compute or transmit (Chowdhury et al., 2017, Farsani, 13 Sep 2025, Kurkov et al., 2017, Liu et al., 9 Dec 2025).

1. Parity obstruction in three-dimensional conformal field theory

In $d=3$, conformal invariance allows one independent parity-odd tensor structure in each of the correlators $\langle TTT\rangle$ and $\langle jjT\rangle$. This is special to three spacetime dimensions because only in $3d$ is the Levi-Civita tensor $\varepsilon_{\mu\nu\rho}$ available to build conformally covariant parity-odd structures. The correlators therefore take the schematic form

$$\langle jjT\rangle = n_s^j \langle jjT\rangle_{\text{free boson}} + n_f^j \langle jjT\rangle_{\text{free fermion}} + p_j \langle jjT\rangle_{\text{parity odd}},$$

$$\langle TTT\rangle = n_s^T \langle TTT\rangle_{\text{free boson}} + n_f^T \langle TTT\rangle_{\text{free fermion}} + p_T \langle TTT\rangle_{\text{parity odd}}.$$

The conformal-collider parametrization rewrites these data in terms of parity-even variables $a_2,t_4$ and parity-odd variables $2$0 (Chowdhury et al., 2017).

For $2$1, the energy matrix is

$2$2

with

$2$3

For $2$4,

$2$5

with

$2$6

The diagonal entries come from parity-even data, while the off-diagonal entries come entirely from the parity-odd structures (Chowdhury et al., 2017).

Positivity of the energy flux requires the eigenvalues of these $2$7 matrices to be nonnegative. Since the trace is manifestly positive, the condition reduces to nonnegativity of the determinant, yielding the disc bounds

$2$8

Equivalently, $2$9 must lie inside or on a disc of radius $d=3$0 centered at the origin, and $d=3$1 must lie inside or on a disc of radius $d=3$2 centered at the origin. In this precise sense, parity-odd data are allowed but obstructed: $d=3$3 and $d=3$4 cannot take arbitrary values independently of the parity-even collider parameters (Chowdhury et al., 2017).

Large-$d=3$5 $d=3$6 Chern-Simons theories coupled to a fundamental fermion or boson realize the extremal case. For the fermionic theory,

$d=3$7

$d=3$8

with

$d=3$9

Hence

$\langle TTT\rangle$0

These theories lie exactly on the boundary circles of the allowed discs, with $\langle TTT\rangle$1 the free fermion point, $\langle TTT\rangle$2 the critical boson point, and intermediate $\langle TTT\rangle$3 interpolating continuously along the boundary (Chowdhury et al., 2017).

2. Bootstrap realization of the collider obstruction

The mixed four-point function

$\langle TTT\rangle$4

provides a bootstrap realization of the same parity-violating data in $\langle TTT\rangle$5. In this setting, the $\langle TTT\rangle$6-channel stress-tensor exchange contains parity-even and parity-odd differential-operator pieces, with the parity-odd part controlled by the coefficient $\langle TTT\rangle$7 in $\langle TTT\rangle$8. The normalization used in the bootstrap analysis is

$\langle TTT\rangle$9

The crossing equations then require new parity-violating data in the crossed channel (Chowdhury et al., 2018).

A central result is that the parity-odd $\langle jjT\rangle$0-channel stress-tensor exchange forces the appearance of a new tower of $\langle jjT\rangle$1-channel double-trace operators,

$\langle jjT\rangle$2

whose large-spin OPE coefficients are fixed. This is not the parity-even light-cone pattern. In the parity-even case, the shifted block develops logarithmic singularities and produces anomalous dimensions. In the parity-odd case, the shifted block is rational and has no logarithm at this order, so the parity-odd exchange contributes new OPE data but not anomalous dimensions (Chowdhury et al., 2018).

The paper isolates the analytic reason for this difference. The parity-even contribution is associated with a logarithmic cut, whereas the parity-odd collider contribution comes from a square-root branch cut. Thus the parity-odd term still contributes to the collider bound after continuation to the second sheet, but it does so through a distinct singularity structure. Reflection positivity, analyticity, and a Cauchy–Schwarz step reproduce the conformal-collider disc

$\langle jjT\rangle$3

which coincides with the previously known parity-odd collider bound (Chowdhury et al., 2018).

This establishes that the three-dimensional CFT obstruction is not merely a kinematic feature of energy matrices. It is also encoded dynamically in crossing symmetry, in the operator content required in the crossed channel, and in the analytic structure of light-cone conformal blocks. A plausible implication is that the phrase parity obstruction in this context refers simultaneously to positivity, crossing, and analyticity constraints on the same parity-odd three-point data.

3. Mod $\langle jjT\rangle$4 and topological parity obstructions

In foliation theory, a parity obstruction arises from tangencies between a complementary submanifold and a foliation presented by a submersion

$\langle jjT\rangle$5

For a closed embedded complementary submanifold $\langle jjT\rangle$6 with $\langle jjT\rangle$7, tangencies are the zeroes of the determinant section

$\langle jjT\rangle$8

After a $\langle jjT\rangle$9-small perturbation, the tangency locus

$3d$0

is a closed $3d$1-dimensional submanifold with mod $3d$2 fundamental class

$3d$3

When $3d$4, this becomes the parity formula

$3d$5

The determinant-line class $3d$6 is therefore the mod $3d$7 obstruction to removing tangencies by a small perturbation (Farsani, 13 Sep 2025).

The same paper gives a global degree obstruction in twisted top homology. If $3d$8 is proper with connected fibers and

$3d$9

then $\varepsilon_{\mu\nu\rho}$0 must be tangent somewhere. In the orientable case this recovers the classical degree argument; in nonorientable settings the obstruction is encoded by the orientation local system $\varepsilon_{\mu\nu\rho}$1 and $\varepsilon_{\mu\nu\rho}$2. The case $\varepsilon_{\mu\nu\rho}$3 forces tangency automatically, and examples such as $\varepsilon_{\mu\nu\rho}$4 yield nonempty tangency loci and, for $\varepsilon_{\mu\nu\rho}$5, odd tangency parity (Farsani, 13 Sep 2025).

A distinct topological realization appears in Euler-class systems on non-Bravais lattices. There, Brillouin-zone boundary conditions are encoded by diagonal phase matrices $\varepsilon_{\mu\nu\rho}$6, and for real Bloch Hamiltonians relevant to Euler topology these boundary conditions can force an obstruction that fixes the parity of the Euler invariant. For three-band $\varepsilon_{\mu\nu\rho}$7-symmetric Euler systems in $\varepsilon_{\mu\nu\rho}$8, the allowed $\varepsilon_{\mu\nu\rho}$9 patterns split into Type 1, Type 2a, Type 2bI, and Type 2bII. The parity consequences are explicit: $$\langle jjT\rangle = n_s^j \langle jjT\rangle_{\text{free boson}} + n_f^j \langle jjT\rangle_{\text{free fermion}} + p_j \langle jjT\rangle_{\text{parity odd}},$$0

$$\langle jjT\rangle = n_s^j \langle jjT\rangle_{\text{free boson}} + n_f^j \langle jjT\rangle_{\text{free fermion}} + p_j \langle jjT\rangle_{\text{parity odd}},$$1

Thus odd Euler topology appears only when the boundary conditions are nontrivial in an anisotropic way along both reciprocal directions (Alsaiari et al., 30 Jul 2025).

Parity-based obstructions also occur in low-dimensional topology. For free knots, parity assigns crossings values in $$\langle jjT\rangle = n_s^j \langle jjT\rangle_{\text{free boson}} + n_f^j \langle jjT\rangle_{\text{free fermion}} + p_j \langle jjT\rangle_{\text{parity odd}},$$2 compatible with the Reidemeister moves, and the resulting group-valued construction yields an integer invariant $$\langle jjT\rangle = n_s^j \langle jjT\rangle_{\text{free boson}} + n_f^j \langle jjT\rangle_{\text{free fermion}} + p_j \langle jjT\rangle_{\text{parity odd}},$$3. The main sliceness criterion is sharp: if

$$\langle jjT\rangle = n_s^j \langle jjT\rangle_{\text{free boson}} + n_f^j \langle jjT\rangle_{\text{free fermion}} + p_j \langle jjT\rangle_{\text{parity odd}},$$4

then the free knot is not slice. The obstruction extends to higher-genus cobordisms under additional atomic or checkerboard-type hypotheses (Manturov, 2010). For $$\langle jjT\rangle = n_s^j \langle jjT\rangle_{\text{free boson}} + n_f^j \langle jjT\rangle_{\text{free fermion}} + p_j \langle jjT\rangle_{\text{parity odd}},$$5-colourable virtual links, the 2-colour parity extends Gaussian parity, and the resulting 2-colour writhe

$$\langle jjT\rangle = n_s^j \langle jjT\rangle_{\text{free boson}} + n_f^j \langle jjT\rangle_{\text{free fermion}} + p_j \langle jjT\rangle_{\text{parity odd}},$$6

is a concordance invariant that obstructs sliceness, amphichirality, and concordance to chequerboard-colourable or classical links. In particular, a nonzero entry obstructs sliceness, and absence of $$\langle jjT\rangle = n_s^j \langle jjT\rangle_{\text{free boson}} + n_f^j \langle jjT\rangle_{\text{free fermion}} + p_j \langle jjT\rangle_{\text{parity odd}},$$7 among the entries obstructs concordance to any chequerboard-colourable link (Rushworth, 2019).

4. Quantum anomalies, topological order, and deformed parity

In four dimensions with boundary, parity obstruction appears as a parity anomaly tied to spectral asymmetry of the Dirac operator. For a massless Dirac fermion on a four-dimensional Euclidean manifold $$\langle jjT\rangle = n_s^j \langle jjT\rangle_{\text{free boson}} + n_f^j \langle jjT\rangle_{\text{free fermion}} + p_j \langle jjT\rangle_{\text{parity odd}},$$8 with boundary, obeying bag boundary conditions

$$\langle jjT\rangle = n_s^j \langle jjT\rangle_{\text{free boson}} + n_f^j \langle jjT\rangle_{\text{free fermion}} + p_j \langle jjT\rangle_{\text{parity odd}},$$9

the parity-odd part of the one-loop effective action is

$$\langle TTT\rangle = n_s^T \langle TTT\rangle_{\text{free boson}} + n_f^T \langle TTT\rangle_{\text{free fermion}} + p_T \langle TTT\rangle_{\text{parity odd}}.$$0

Varying the background gauge field yields

$$\langle TTT\rangle = n_s^T \langle TTT\rangle_{\text{free boson}} + n_f^T \langle TTT\rangle_{\text{free fermion}} + p_T \langle TTT\rangle_{\text{parity odd}}.$$1

so the anomaly is a boundary Chern–Simons current. For topologically trivial $$\langle TTT\rangle = n_s^T \langle TTT\rangle_{\text{free boson}} + n_f^T \langle TTT\rangle_{\text{free fermion}} + p_T \langle TTT\rangle_{\text{parity odd}}.$$2 bundles this integrates to a boundary Chern–Simons action with level

$$\langle TTT\rangle = n_s^T \langle TTT\rangle_{\text{free boson}} + n_f^T \langle TTT\rangle_{\text{free fermion}} + p_T \langle TTT\rangle_{\text{parity odd}}.$$3

The action is gauge invariant and passes the consistency checks discussed in the paper, but the classical parity-like symmetry cannot be preserved quantum mechanically once spectral asymmetry is taken into account (Kurkov et al., 2017).

A different obstruction is explored at the Planck scale, where the ordinary low-energy assumptions about parity may fail. The usual relations

$$\langle TTT\rangle = n_s^T \langle TTT\rangle_{\text{free boson}} + n_f^T \langle TTT\rangle_{\text{free fermion}} + p_T \langle TTT\rangle_{\text{parity odd}}.$$4

need not hold, and parity may map a definite right-handed state into a superposition of right- and left-handed states or send momentum $$\langle TTT\rangle = n_s^T \langle TTT\rangle_{\text{free boson}} + n_f^T \langle TTT\rangle_{\text{free fermion}} + p_T \langle TTT\rangle_{\text{parity odd}}.$$5 to a momentum of different magnitude. In $$\langle TTT\rangle = n_s^T \langle TTT\rangle_{\text{free boson}} + n_f^T \langle TTT\rangle_{\text{free fermion}} + p_T \langle TTT\rangle_{\text{parity odd}}.$$6-Poincaré kinematics, an antipode-based definition of parity,

$$\langle TTT\rangle = n_s^T \langle TTT\rangle_{\text{free boson}} + n_f^T \langle TTT\rangle_{\text{free fermion}} + p_T \langle TTT\rangle_{\text{parity odd}}.$$7

is compatible with deformed momentum geometry but is not idempotent: $$\langle TTT\rangle = n_s^T \langle TTT\rangle_{\text{free boson}} + n_f^T \langle TTT\rangle_{\text{free fermion}} + p_T \langle TTT\rangle_{\text{parity odd}}.$$8 In this setting parity invariance can become intertwined with scale invariance, and right-left asymmetry of tensor spectra may be viewed as a manifestation of deformed parity symmetry (Arzano et al., 2017).

In three-dimensional fermionic topological order, parity obstruction is formulated as enforced symmetry breaking. The cited example is an Ising-type fermionic topological order obtained by gauging a $$\langle TTT\rangle = n_s^T \langle TTT\rangle_{\text{free boson}} + n_f^T \langle TTT\rangle_{\text{free fermion}} + p_T \langle TTT\rangle_{\text{parity odd}}.$$9 fermionic SPT. Its non-Abelian three-loop braiding implies that time reversal with

$a_2,t_4$0

is incompatible with the topological order, while conventional fermionic time reversal with

$a_2,t_4$1

remains compatible. By the crystalline equivalence principle, the same incompatibility translates into an obstruction to parity symmetry. The broader suggestion is that parity violation can arise not from spontaneous breaking but from intrinsic incompatibility between a symmetry and a three-dimensional fermionic topological order (Ning et al., 3 Apr 2025).

5. Operational, logical, and computational parity obstructions

In higher-order process theory, parity obstruction appears as parity erasure. For an $a_2,t_4$2-party supermap with local input bits $a_2,t_4$3 and outputs $a_2,t_4$4, the weak principle of parity erasure states that for any nonempty subset $a_2,t_4$5,

$a_2,t_4$6

A stronger channel-level formulation requires that the marginal state after discarding outputs outside $a_2,t_4$7 be independent of the same parity. The cited theorems state that every supermap in a causal operational probabilistic theory satisfies weak parity erasure, that local tomography upgrades this to strong parity erasure, and that under local tomography and one-way-signaling decomposability parity erasure characterizes supermaps exactly. In this setting the obstruction is informational: the process cannot preserve the parity of the relevant inputs in its local input-output behavior (Liu et al., 9 Dec 2025).

In fine-grained complexity, parity forms a different kind of barrier. The paper on parity problems shows that for many classical problems the parity version is subcubic-equivalent or subquadratic-equivalent to the exact version, including All-Pairs Shortest Paths, Radius, Median, Replacement Paths, Second Shortest Path, Min-Plus Convolution, Maximum Consecutive Subsums, and $a_2,t_4$8-Knapsack. At the same time, parity is not merely a weaker proxy for exact computation: for Negative Weight Triangle, the natural parity-counting version is not shown subcubic-equivalent to decision, and the reduction from Zero Weight Triangle to Negative Weight Triangle Parity is used as evidence that parity may be conditionally harder than decision (Abboud et al., 2020).

In SAT solving, xor-constraints encode parity conditions

$a_2,t_4$9

The cited work studies how equivalence reasoning, unit propagation, resolution, parity explanations, and Gauss–Jordan elimination interact inside DPLL(XOR). One key result is that resolution simulates equivalence reasoning efficiently for bounded-width xor constraints; another is that parity explanations can simulate Gauss–Jordan elimination on bounded-occurrence classes; and a further result shows that full Gauss–Jordan reasoning can be simulated by unit propagation after adding redundant xor-constraints, with polynomial behavior on bounded-treewidth instances (Laitinen et al., 2013).

Algorithmic work on Parity-SAT and population protocols turns parity from an obstruction into an exploitable structure. Parity-SAT asks whether a CNF formula has an odd number of satisfying assignments, and under SETH it admits no $2$00-time or $2$01-time algorithm in full generality. The cited paper breaks the $2$02 barrier for bounded occurrence, giving a randomized

$2$03

algorithm for Parity-$2$04-occ-SAT, a deterministic

$2$05

algorithm for Parity-$2$06-occ-SAT, and a deterministic

$2$07

algorithm for general Parity-SAT parameterized by formula length $2$08 (Jain et al., 13 May 2026). In population protocols, parity had long resisted simultaneous time-efficiency, space-efficiency, stability, and silence. The cited work overcomes that difficulty by introducing weights, robust clocking, anomaly detection, and a switching mechanism, yielding parity and congruence protocols with

$2$09

and

$2$10

(Gąsieniec et al., 23 Dec 2025).

6. Phenomenology, materials, and parity in effective descriptions

In collider phenomenology, longitudinal top polarization provides a direct parity-sensitive observable. For the subprocess

$2$11

the longitudinal polarization

$2$12

vanishes in QCD because QCD is parity conserving, and the paper states that this remains true to all orders in perturbative QCD. A nonzero $2$13 therefore isolates parity nonconservation in the production mechanism, and can be measured through the semileptonic decay distribution

$2$14

An illustrative source is an $2$15-channel massive $2$16-gluon with chiral couplings, which can produce sizeable polarization effects even when other distributions look similar (Barger et al., 2011).

In QCD fragmentation, parity obstruction takes the form of a local rather than global allowance. The $2$17-vacuum term

$2$18

is parity odd, and the paper argues that local parity-odd domains can induce parity-odd fragmentation functions. At leading twist there are $2$19 fragmentation functions in total: $2$20 parity-conserving and $2$21 parity-violating, paired one-to-one. The parity-odd functions satisfy positivity bounds analogous to the usual ones, such as

$2$22

Yet they are local quantities and vanish when summed over all hadrons, for example

$2$23

The obstruction here is therefore inclusive: parity-odd effects are allowed event by event but cancel in the fully summed observable (Yang, 2019).

Several papers emphasize that the apparent restoration or suppression of parity violation in long-distance physics does not imply fundamental parity symmetry. One argues that long-distance observable forces are parity invariant in practice because parity violation is tied to short-distance weak interactions, while mass terms

$2$24

tend to restore left-right symmetry in effective low-energy descriptions; electric dipole moments are identified as a possible long-distance remnant of parity violation (Frère, 2022). Another constructs $2$25 models in which parity is broken explicitly at all energies, with $2$26, no generalized parity symmetry in the Lagrangian, and low-energy left-handed dominance arising from heavy right-handed gauge bosons, small $2$27-$2$28 mixing, or weaker right-handed couplings (2002.03524).

In condensed-matter optics, obstruction-driven parity inversion provides a band-theoretic mechanism for enabling optical absorption. In monolayer hexagonal transition metal dichalcogenides, the cited work contrasts a trivial atomic limit with an obstructed atomic limit. In the obstructed phase, intersite hopping dominates, the valence-band maximum becomes a trimer bonding state with even parity, and the conduction-band minimum becomes trimer antibonding states with odd parity, so that

$2$29

This converts a nominally parity-inhibited $2$30-$2$31 transition into a dipole-allowed one. For the MoS$2$32 model discussed there, the maximum transition dipole moment squared increases from

$2$33

in the atomic-limit phase to

$2$34

in the obstructed phase, and the low-energy absorptive optical conductivity is enhanced by roughly a factor of $2$35 (Baek et al., 2 Oct 2025).

Across these settings, parity obstruction does not denote a single invariant or theorem. The common structure is more specific: parity-sensitive quantities are admitted by the underlying formalism, but they are admitted only together with a compensating restriction. In three-dimensional CFT the restriction is a positivity disc; in foliation theory it is a mod $2$36 determinant-line class; in Euler systems it is a boundary-condition parity constraint; in anomaly theory and topological order it is incompatibility of the quantum theory with a classical parity-like symmetry; and in computation or information theory it is a barrier on parity transmission, parity reasoning, or parity computation itself.