Parity Condition in Graphs, Games & Quantum

• Parity condition is a mod-2 structural constraint that defines admissible degree classes and underpins Lovász’s (g,f)-parity theorem in graph theory.
• It serves as a core acceptance criterion in infinite games, where even or odd priority conditions govern winning strategies and algorithmic complexity.
• In quantum and arithmetic contexts, parity conditions enforce encoding consistency and track the oscillation of sequences, linking computational outputs to structural properties.

A parity condition is a requirement formulated modulo $2$. Across the literature surveyed here, the term denotes several technically distinct kinds of constraint: prescribed degree congruences in spanning subgraphs, winning conditions on infinite plays, consistency equations in parity-based quantum encodings, symmetry under parity-time conjugation, and the odd-or-even behavior of arithmetic sequences such as partition values on quadratic progressions [(Lu, 2013); (Dantam et al., 2023); (Ender et al., 2021); (Ono, 11 Sep 2025)]. What unifies these uses is not a single definition, but the role of mod-$2$ structure as a compact way to encode feasibility, acceptance, symmetry, or information.

1. Degree congruence and the graph-theoretic parity condition

In graph factor theory, the standard formalization is the $(g,f)$-parity factor. For integer-valued functions $g,f:V(G)\to \mathbb Z_{\ge 0}$ with

$g(v)\le f(v), \qquad g(v)\equiv f(v)\pmod 2,$

a spanning subgraph $F$ is a $(g,f)$-parity factor if

$$g(v)\le d_F(v)\le f(v), \qquad d_F(v)\equiv f(v)\pmod 2$$

for every vertex $v$. In the constant case $g\equiv a$, $2$0, this yields an $2$1-parity factor, meaning

$2$2

so the allowed degrees are exactly $2$3 [(Lu, 2013); (Liu et al., 2016); (Wang et al., 2023)].

Lovász’s $2$4-parity theorem gives the fundamental obstruction criterion. With disjoint $2$5, a parity factor exists exactly when a deficiency term of the form

$2$6

is never positive, where $2$7 counts components $2$8 of $2$9 satisfying a parity test

$(g,f)$0

(Lu, 2013). In the constant case, this becomes the standard way to convert a parity-factor problem into inequalities over vertex cuts and component counts.

A particularly compact specialization is the intrinsic “restricted minimum degree” criterion. A graph $(g,f)$1 contains a factor $(g,f)$2 with

$(g,f)$3

if and only if, for every $(g,f)$4,

$(g,f)$5

where $(g,f)$6 counts components $(g,f)$7 of $(g,f)$8 such that

$(g,f)$9

(Lu, 2013). For constant $g,f:V(G)\to \mathbb Z_{\ge 0}$0, this yields explicit even-factor and odd-factor criteria. When $g,f:V(G)\to \mathbb Z_{\ge 0}$1 is even,

$g,f:V(G)\to \mathbb Z_{\ge 0}$2

with $g,f:V(G)\to \mathbb Z_{\ge 0}$3 counting components satisfying $g,f:V(G)\to \mathbb Z_{\ge 0}$4; when $g,f:V(G)\to \mathbb Z_{\ge 0}$5 is odd, the same inequality holds but $g,f:V(G)\to \mathbb Z_{\ge 0}$6 counts components satisfying

$g,f:V(G)\to \mathbb Z_{\ge 0}$7

(Lu, 2013).

These formulations make the graph-theoretic parity condition exact rather than heuristic. The parity obstruction is local at the level of components of $g,f:V(G)\to \mathbb Z_{\ge 0}$8, but it is also global, because the inequalities compare total degree demand on $g,f:V(G)\to \mathbb Z_{\ge 0}$9 with total incident degree supply.

2. Connectivity, degree, and spectral conditions forcing parity factors

A large part of the graph-theoretic literature asks when crude global hypotheses force the Lovász inequalities automatically. The resulting criteria are diverse, but all treat the parity condition as a structural consequence of density or connectivity rather than as an explicit constraint to be checked subset by subset.

Setting	Hypothesis	Conclusion
General graphs	$g(v)\le f(v), \qquad g(v)\equiv f(v)\pmod 2,$0-edge-connected with $g(v)\le f(v), \qquad g(v)\equiv f(v)\pmod 2,$1 for even $g(v)\le f(v), \qquad g(v)\equiv f(v)\pmod 2,$2, or $g(v)\le f(v), \qquad g(v)\equiv f(v)\pmod 2,$3-edge-connected for odd $g(v)\le f(v), \qquad g(v)\equiv f(v)\pmod 2,$4	even or odd factor $g(v)\le f(v), \qquad g(v)\equiv f(v)\pmod 2,$5 with $g(v)\le f(v), \qquad g(v)\equiv f(v)\pmod 2,$6 (Lu, 2013)
$g(v)\le f(v), \qquad g(v)\equiv f(v)\pmod 2,$7-regular graphs	parity-dependent conditions on $g(v)\le f(v), \qquad g(v)\equiv f(v)\pmod 2,$8, including $g(v)\le f(v), \qquad g(v)\equiv f(v)\pmod 2,$9 and $F$0 in the case $F$1 even, $F$2 odd	existence of an $F$3-parity factor (Lu, 2011)
Degree/Ore-type condition	$F$4, $F$5, and $F$6 for nonadjacent $F$7	existence of an $F$8-parity factor (Liu et al., 2016)
Spectral condition	$F$9 and $(g,f)$0 with $(g,f)$1	existence of an $(g,f)$2-parity factor unless $(g,f)$3 (Wang et al., 2023)

For edge connectivity, the parity gain can be explicit. If $(g,f)$4 is even and $(g,f)$5 is $(g,f)$6-edge-connected with minimum degree $(g,f)$7, then $(g,f)$8 contains an even factor $(g,f)$9 with $$g(v)\le d_F(v)\le f(v), \qquad d_F(v)\equiv f(v)\pmod 2$$0. If $$g(v)\le d_F(v)\le f(v), \qquad d_F(v)\equiv f(v)\pmod 2$$1 is odd and $$g(v)\le d_F(v)\le f(v), \qquad d_F(v)\equiv f(v)\pmod 2$$2 is $$g(v)\le d_F(v)\le f(v), \qquad d_F(v)\equiv f(v)\pmod 2$$3-edge-connected, then $$g(v)\le d_F(v)\le f(v), \qquad d_F(v)\equiv f(v)\pmod 2$$4 contains an odd factor $$g(v)\le d_F(v)\le f(v), \qquad d_F(v)\equiv f(v)\pmod 2$$5 with $$g(v)\le d_F(v)\le f(v), \qquad d_F(v)\equiv f(v)\pmod 2$$6 (Lu, 2013). The proof mechanism is characteristic: edge connectivity bounds the cut size of each parity-obstructing component, and when the required cut parity disagrees with the connectivity threshold, the lower bound increases by $$g(v)\le d_F(v)\le f(v), \qquad d_F(v)\equiv f(v)\pmod 2$$7, producing the contradiction.

Regular graphs admit a more delicate parity-sensitive picture. For an $$g(v)\le d_F(v)\le f(v), \qquad d_F(v)\equiv f(v)\pmod 2$$8-edge-connected $$g(v)\le d_F(v)\le f(v), \qquad d_F(v)\equiv f(v)\pmod 2$$9-regular graph, sufficient conditions depend on the parities of $v$0. In the case $v$1 even and $v$2 odd, $v$3 even, the conditions

$v$4

force an $v$5-parity factor; the other two cases use the odd integer $v$6 with $v$7, and require either

$v$8

or

$v$9

according to the parity pattern of $g\equiv a$0 (Lu, 2011). The paper explicitly states that these edge-connectivity conditions are sharp.

The Ore-type degree condition of Nishimura-style factor theory also extends to parity factors. If

$g\equiv a$1

and every nonadjacent pair $g\equiv a$2 satisfies

$g\equiv a$3

then $g\equiv a$4 has an $g\equiv a$5-parity factor (Liu et al., 2016). A plausible implication is that the parity obstruction can be overcome whenever local degree deficits are ruled out strongly enough on nonedges.

Spectral forcing gives a different extremal language. Wang, Yu, Hu, and Wen show that if

$g\equiv a$6

under the stated order condition, then $g\equiv a$7 has an $g\equiv a$8-parity factor unless $g\equiv a$9 (Wang et al., 2023). Here the parity condition is controlled indirectly through adjacency spectral radius, with the exceptional join graph serving as the sharp obstruction.

3. Strong parity properties and universal parity prescriptions in graphs

A stronger usage of “parity condition” requires a graph to realize not one prescribed parity pattern, but every admissible one. This leads to the strong parity property, all $2$00-parity factors, and the $2$01-strong parity property.

A graph has the strong parity property if for every even set $2$02, there exists a spanning subgraph $2$03 such that

$2$04

Lu, Yang, and Zhang’s characterization states that this holds if and only if

$2$05

for every $2$06. On the spectral side, if $2$07 is connected of order $2$08, minimum degree $2$09, $2$10, and

$2$11

then $2$12 has the strong parity property unless

$2$13

(Zhou et al., 2024).

The paper on all $2$14-parity factors imposes an even stronger universality requirement. A graph has all $2$15-parity factors if it has an $2$16-factor for every function

$2$17

with $2$18 and the necessary global parity compatibility. Under

$2$19

and

$2$20

for every pair of nonadjacent vertices $2$21, a connected graph has all $2$22-parity factors (Liu et al., 2020). Here the parity condition is not a single congruence class to be achieved once; it is a uniform realizability statement over all allowable vertexwise parity-bounded degree prescriptions.

Kano and Matsumura’s $2$23-strong parity property adds a lower bound outside the odd-degree set. For even $2$24, a graph has the $2$25-strong parity property if for every even $2$26 there is a spanning subgraph $2$27 with

$2$28

and

$2$29

Their characterization is

$2$30

for all $2$31. Subsequent work gives both a size condition and a signless Laplacian spectral radius condition forcing this property (Wu, 26 May 2025). This suggests that “strong” parity conditions are best viewed as deletion-component inequalities rather than merely as degree congruences.

4. Parity objectives in infinite games and verification

In game theory and formal verification, a parity condition is an $2$32-regular acceptance criterion defined by priorities assigned to states. In the most common convention represented here, a play $2$33 satisfies even parity iff the minimum priority seen infinitely often is even: $2$34 This is the convention used for simple stochastic games with energy-parity objectives, energy parity games, and mean-payoff parity games [(Dantam et al., 2023); (Chatterjee et al., 2010); (Chatterjee et al., 2017)]. A different convention also appears: one paper defines the winner by the parity of the highest priority seen infinitely often (Dijk, 2018). The presence of both conventions is a standard source of confusion; the surveyed papers simply adopt different priority orderings.

Once combined with quantitative objectives, the parity condition becomes the qualitative component of a mixed specification. In simple stochastic games, the central objective is

$2$35

where

$2$36

The value of this objective can be approximated in $2$37-NEXPTIME, and $2$38-optimal strategies for both players require

$2$39

memory modes for unary rewards (Dantam et al., 2023). In two-player energy parity games, exponential memory is necessary and sufficient for winning strategies, the finite initial credit problem is in $2$40, and player 2 has memoryless winning strategies (Chatterjee et al., 2010).

Mean-payoff parity games conjoin the parity condition with a threshold or optimality condition on the mean payoff. The threshold problem can be solved in

$2$41

and the value problem in

$2$42

for $2$43 vertices, $2$44 edges, $2$45 priorities, and maximum absolute reward $2$46 (Chatterjee et al., 2017). Parity is again the hard qualitative constraint: if it fails, the payoff is set to $2$47.

The parity condition also supports mixed qualitative semantics. For Markov decision processes and turn-based stochastic games with two parity objectives, one of which must hold surely and the other almost-surely or limit-surely, the MDP problems lie in $2$48 for finite-memory strategies, whereas the corresponding turn-based stochastic game problems are $2$49-complete (Chatterjee et al., 2018). By contrast, the algorithmic study of parity solvers itself shows that parity conditions can induce difficult recursive behavior: the Two Counters construction gives exponential lower bounds for a wide range of attractor-based parity game algorithms (Dijk, 2018).

5. Quantum, coding, and symmetry interpretations

In parity quantum optimization, the parity condition is a consistency relation on encoded variables. A parity qubit represents a product of logical spins, and any collection of such products in which every logical index appears an even number of times must multiply to the identity. In operator form,

$2$50

In bit language, if $2$51, then valid parity strings satisfy

$2$52

Thus the parity condition is literally a parity-check code constraint derived from closed cycles of a graph or hypergraph (Ender et al., 2021).

In minimally universal parity quantum computing, the term refers to a sufficient condition on the chosen family of parity subsets $2$53. Universality follows if every $2$54 is even, $2$55, nonadjacent sets are disjoint, and consecutive sets intersect in exactly one element, with all overlaps distinct. This leads to the sharp minimality result that one auxiliary parity qubit suffices when the number of logical qubits is even, and two are necessary and sufficient when it is odd (Smith et al., 4 Apr 2025). Here parity is no longer merely a constraint on outputs; it is the organizing principle of the computational model.

A different quantum use appears in simulated $2$56-symmetric evolution. With parity operator $2$57 and time reversal given by complex conjugation, the relevant condition is

$2$58

equivalently

$2$59

The paper shows that local $2$60-symmetric evolution alone is not sufficient for information transfer in the simulated setting: the density matrix and the corresponding measurements must contain complex numbers (Lakkaraju et al., 2021). In this context, the parity condition is a symmetry condition rather than a feasibility or acceptance condition.

6. Arithmetic parity and parity as computational output

In arithmetic, parity conditions can concern the values of number-theoretic functions along thin sequences. A recent result proves that if $2$61 is square-free and divisible only by primes $2$62, then both parities occur infinitely often among

$2$63

The proof passes through a mod-$2$64 identity for the logarithmic derivative of a twisted Borcherds product on $2$65, and shows that parity along these quadratic progressions is not constant (Ono, 11 Sep 2025). This is a parity condition in the arithmetic sense of value distribution modulo $2$66, not in the structural sense of graphs or games.

Fine-grained complexity studies yet another meaning: the parity of an algorithmic output. For APSP, Diameter, Radius, Median, Second Shortest Path, Maximum Consecutive Subsums, Min-Plus Convolution, and $2$67-Knapsack, the parity variants are as hard as exact computation under the corresponding subcubic or subquadratic reductions (Abboud et al., 2020). The paper distinguishes parity computation from parity counting. A parity computation problem asks whether an optimum value is even or odd; a parity counting problem asks whether the number of witnesses is even or odd. The distinction matters: the natural parity-counting variant of Negative Weight Triangle is not shown to be subcubic-equivalent to decision Negative Weight Triangle, and the reduction from Zero Weight Triangle parity suggests that parity can be conditionally strictly harder than decision in that setting (Abboud et al., 2020).

Across these domains, the parity condition remains a mod-$2$68 invariant, but its mathematical role varies sharply. In graph theory it encodes admissible degree classes and deletion-component obstructions; in games it defines $2$69-regular winning sets; in quantum information it enforces encoding consistency or symmetry; in arithmetic it records the oscillation of a sequence; and in complexity theory it becomes the minimal one-bit summary of an exact answer. The common theme is that mod-$2$70 structure is often far from superficial: it can determine existence, certify obstruction, control algorithmic complexity, and expose extremal behavior.