Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in...
Transcript of Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in...
![Page 1: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/1.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Algebraic Combinatorics and the Parity Argument
PPA membership of Combinatorial Nullstellensatz and related problems
László Varga
ESRC Workshop on Algorithmic Game Theory, London17-18 October 2013
Institute of Mathematics, Eötvös Loránd University, [email protected]
![Page 2: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/2.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Contents
1 Motivations
Alon's Combinatorial Nullstellensatz
pd -divisible subgraphs
Our main results
2 The algebraic part - sketch
Conditions modulo pd and conditions modulo p
Key observation through an example
3 The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2
PPA membership of Combinatorial Nullstellensatz
2d -divisible subgraphs
László Varga: Algebraic Combinatorics and the Parity Argument 2
![Page 3: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/3.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
Alon's Combinatorial Nullstellensatz
In 1999, Alon presented a general algebraic technique and its numerousapplications in Combinatorial Number Theory, in Graph Theory and inCombinatorics.
Theorem (Combinatorial Nullstellensatz, Alon)
Let F be an arbitrary �eld, and let f ∈ F[x1, . . . xm] be an m-variablepolynomial. Suppose that the degree of f is
∑nj=1 tj , where each tj is a
nonnegative integer, and that the coe�cient of∏m
j=1 xtjj is nonzero. Then, if
S1, S2, . . . , Sm are subsets of F with |Sj | > tj for all j = 1, . . . ,m, then thereexists an (s1, s2, . . . , sm) ∈ S1 × S2 × · · · × Sm such that f (s1, s2, . . . , sm) 6= 0.
The proofs of its applications are algebraic, and hence non-constructive in thesense that they supply no e�cient algorithm for solving the correspondingalgorithmic problems.
László Varga: Algebraic Combinatorics and the Parity Argument 3
![Page 4: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/4.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
Alon's Combinatorial Nullstellensatz
In 1999, Alon presented a general algebraic technique and its numerousapplications in Combinatorial Number Theory, in Graph Theory and inCombinatorics.
Theorem (Combinatorial Nullstellensatz, Alon)
Let F be an arbitrary �eld, and let f ∈ F[x1, . . . xm] be an m-variablepolynomial. Suppose that the degree of f is
∑nj=1 tj , where each tj is a
nonnegative integer, and that the coe�cient of∏m
j=1 xtjj is nonzero. Then, if
S1, S2, . . . , Sm are subsets of F with |Sj | > tj for all j = 1, . . . ,m, then thereexists an (s1, s2, . . . , sm) ∈ S1 × S2 × · · · × Sm such that f (s1, s2, . . . , sm) 6= 0.
The proofs of its applications are algebraic, and hence non-constructive in thesense that they supply no e�cient algorithm for solving the correspondingalgorithmic problems.
László Varga: Algebraic Combinatorics and the Parity Argument 3
![Page 5: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/5.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
Alon's Combinatorial Nullstellensatz
In 1999, Alon presented a general algebraic technique and its numerousapplications in Combinatorial Number Theory, in Graph Theory and inCombinatorics.
Theorem (Combinatorial Nullstellensatz, Alon)
Let F be an arbitrary �eld, and let f ∈ F[x1, . . . xm] be an m-variablepolynomial. Suppose that the degree of f is
∑nj=1 tj , where each tj is a
nonnegative integer, and that the coe�cient of∏m
j=1 xtjj is nonzero. Then, if
S1, S2, . . . , Sm are subsets of F with |Sj | > tj for all j = 1, . . . ,m, then thereexists an (s1, s2, . . . , sm) ∈ S1 × S2 × · · · × Sm such that f (s1, s2, . . . , sm) 6= 0.
The proofs of its applications are algebraic, and hence non-constructive in thesense that they supply no e�cient algorithm for solving the correspondingalgorithmic problems.
László Varga: Algebraic Combinatorics and the Parity Argument 3
![Page 6: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/6.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
Alon's Combinatorial Nullstellensatz
In 1999, Alon presented a general algebraic technique and its numerousapplications in Combinatorial Number Theory, in Graph Theory and inCombinatorics.
Theorem (Combinatorial Nullstellensatz, Alon)
Let F be an arbitrary �eld, and let f ∈ F[x1, . . . xm] be an m-variablepolynomial. Suppose that the degree of f is
∑nj=1 tj , where each tj is a
nonnegative integer, and that the coe�cient of∏m
j=1 xtjj is nonzero. Then, if
S1, S2, . . . , Sm are subsets of F with |Sj | > tj for all j = 1, . . . ,m, then thereexists an (s1, s2, . . . , sm) ∈ S1 × S2 × · · · × Sm such that f (s1, s2, . . . , sm) 6= 0.
The proofs of its applications are algebraic, and hence non-constructive in thesense that they supply no e�cient algorithm for solving the correspondingalgorithmic problems.
László Varga: Algebraic Combinatorics and the Parity Argument 3
![Page 7: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/7.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
Combinatorial Nullstellensatz MOD 2
Theorem (Combinatorial Nullstellensatz MOD 2)
Let f ∈ F2[x1, . . . xm] be an m-variable polynomial. Suppose that the degree off is m and that the coe�cient of x1x2 . . . xm is nonzero. Then, there exists an(s1, s2, . . . , sm) ∈ {0, 1}m such that f (s1, s2, . . . , sm) 6= 0.
For example, if f (x1, x2, x3) = x1x2x3 + x1x2 + x2x3, f (1, 1, 1) = 1.
László Varga: Algebraic Combinatorics and the Parity Argument 4
![Page 8: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/8.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
Combinatorial Nullstellensatz MOD 2
Theorem (Combinatorial Nullstellensatz MOD 2)
Let f ∈ F2[x1, . . . xm] be an m-variable polynomial. Suppose that the degree off is m and that the coe�cient of x1x2 . . . xm is nonzero. Then, there exists an(s1, s2, . . . , sm) ∈ {0, 1}m such that f (s1, s2, . . . , sm) 6= 0.
For example, if f (x1, x2, x3) = x1x2x3 + x1x2 + x2x3, f (1, 1, 1) = 1.
László Varga: Algebraic Combinatorics and the Parity Argument 4
![Page 9: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/9.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
Combinatorial Nullstellensatz MOD 2
Theorem (Combinatorial Nullstellensatz MOD 2)
Let f ∈ F2[x1, . . . xm] be an m-variable polynomial. Suppose that the degree off is m and that the coe�cient of x1x2 . . . xm is nonzero. Then, there exists an(s1, s2, . . . , sm) ∈ {0, 1}m such that f (s1, s2, . . . , sm) 6= 0.
For example, if f (x1, x2, x3) = x1x2x3 + x1x2 + x2x3,
f (1, 1, 1) = 1.
László Varga: Algebraic Combinatorics and the Parity Argument 4
![Page 10: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/10.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
Combinatorial Nullstellensatz MOD 2
Theorem (Combinatorial Nullstellensatz MOD 2)
Let f ∈ F2[x1, . . . xm] be an m-variable polynomial. Suppose that the degree off is m and that the coe�cient of x1x2 . . . xm is nonzero. Then, there exists an(s1, s2, . . . , sm) ∈ {0, 1}m such that f (s1, s2, . . . , sm) 6= 0.
For example, if f (x1, x2, x3) = x1x2x3 + x1x2 + x2x3, f (1, 1, 1) = 1.
László Varga: Algebraic Combinatorics and the Parity Argument 4
![Page 11: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/11.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
p-divisible subgraphs
A nonempty subset of edges is called p-divisible subgraph such that the numberof edges incident to every vertex is divisible by p.
What does it mean in the case p = 2?
a cycle, an Eulerian subgraph.
Theorem (Alon)
For any prime p and any graph G on n vertices and m edges, if m > n · (p− 1),there exists a p-divisible subgraph.
If m > n, of course, there exists a 2-divisible subgraph, e.g. a cycle.
László Varga: Algebraic Combinatorics and the Parity Argument 5
![Page 12: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/12.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
p-divisible subgraphs
A nonempty subset of edges is called p-divisible subgraph such that the numberof edges incident to every vertex is divisible by p.
What does it mean in the case p = 2? a cycle,
an Eulerian subgraph.
Theorem (Alon)
For any prime p and any graph G on n vertices and m edges, if m > n · (p− 1),there exists a p-divisible subgraph.
If m > n, of course, there exists a 2-divisible subgraph, e.g. a cycle.
László Varga: Algebraic Combinatorics and the Parity Argument 5
![Page 13: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/13.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
p-divisible subgraphs
A nonempty subset of edges is called p-divisible subgraph such that the numberof edges incident to every vertex is divisible by p.
What does it mean in the case p = 2? a cycle, an Eulerian subgraph.
Theorem (Alon)
For any prime p and any graph G on n vertices and m edges, if m > n · (p− 1),there exists a p-divisible subgraph.
If m > n, of course, there exists a 2-divisible subgraph, e.g. a cycle.
László Varga: Algebraic Combinatorics and the Parity Argument 5
![Page 14: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/14.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
p-divisible subgraphs
A nonempty subset of edges is called p-divisible subgraph such that the numberof edges incident to every vertex is divisible by p.
What does it mean in the case p = 2? a cycle, an Eulerian subgraph.
Theorem (Alon)
For any prime p and any graph G on n vertices and m edges, if m > n · (p− 1),there exists a p-divisible subgraph.
If m > n, of course, there exists a 2-divisible subgraph, e.g. a cycle.
László Varga: Algebraic Combinatorics and the Parity Argument 5
![Page 15: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/15.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
p-divisible subgraphs
A nonempty subset of edges is called p-divisible subgraph such that the numberof edges incident to every vertex is divisible by p.
What does it mean in the case p = 2? a cycle, an Eulerian subgraph.
Theorem (Alon)
For any prime p and any graph G on n vertices and m edges, if m > n · (p− 1),there exists a p-divisible subgraph.
If m > n, of course, there exists a 2-divisible subgraph, e.g. a cycle.
László Varga: Algebraic Combinatorics and the Parity Argument 5
![Page 16: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/16.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
p-divisible subgraphs
A nonempty subset of edges is called p-divisible subgraph such that the numberof edges incident to every vertex is divisible by p.
What does it mean in the case p = 2? a cycle, an Eulerian subgraph.
Theorem (Alon)
For any prime p and any graph G on n vertices and m edges, if m > n · (p− 1),there exists a p-divisible subgraph.
If m > n, of course, there exists a 2-divisible subgraph, e.g. a cycle.
László Varga: Algebraic Combinatorics and the Parity Argument 5
![Page 17: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/17.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
p-divisible subgraphs
A nonempty subset of edges is called p-divisible subgraph such that the numberof edges incident to every vertex is divisible by p.
Theorem (Alon)
For any prime p and any graph G on n vertices and m edges, if m > n · (p− 1),there exists a p-divisible subgraph.
n = 5 vertices, 11 > 5 · (3− 1) edges =⇒ there exists a 3-divisible subgraph.
László Varga: Algebraic Combinatorics and the Parity Argument 6
![Page 18: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/18.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
p-divisible subgraphs
A nonempty subset of edges is called p-divisible subgraph such that the numberof edges incident to every vertex is divisible by p.
Theorem (Alon)
For any prime p and any graph G on n vertices and m edges, if m > n · (p− 1),there exists a p-divisible subgraph.
n = 5 vertices, 11 > 5 · (3− 1) edges =⇒ there exists a 3-divisible subgraph.
László Varga: Algebraic Combinatorics and the Parity Argument 6
![Page 19: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/19.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
p-divisible subgraphs
A nonempty subset of edges is called p-divisible subgraph such that the numberof edges incident to every vertex is divisible by p.
Theorem (Alon)
For any prime p and any graph G on n vertices and m edges, if m > n · (p− 1),there exists a p-divisible subgraph.
n = 5 vertices, 11 > 5 · (3− 1) edges =⇒ there exists a 3-divisible subgraph.
László Varga: Algebraic Combinatorics and the Parity Argument 6
![Page 20: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/20.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
p-divisible subgraphs
A nonempty subset of edges is called p-divisible subgraph such that the numberof edges incident to every vertex is divisible by p.
Theorem (Alon)
For any prime p and any graph G on n vertices and m edges, if m > n · (p− 1),there exists a p-divisible subgraph.
n = 5 vertices, 11 > 5 · (3− 1) edges =⇒ there exists a 3-divisible subgraph.
László Varga: Algebraic Combinatorics and the Parity Argument 7
![Page 21: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/21.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
Useful corollary of Combinatorial Nullstellensatz
Let p be an arbitrary prime. Let us be given some m-variable polynomialsf1, f2, . . . , fn over Fp with no constant terms. If
m > (p − 1) ·n∑
i=1
deg(fi ),
then there exists a vector 0 6= x ∈ {0, 1}m such that fi (x) = 0 for all i .
fA(x) = x1 + x2 + x3 + x4
fB(x) = x4 + x5 + x6 + x7
fC (x) = x7 + x3 + x8 + x9
fD(x) = x1 + x5 + x10 + x11
fE (x) = x11 + x10 + x2 + x6 + x8 + x9
11 = m > 5 · (3− 1)⇒exists a vector 0 6= x : fi (x) = 0 .
László Varga: Algebraic Combinatorics and the Parity Argument 8
![Page 22: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/22.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
Useful corollary of Combinatorial Nullstellensatz
Let p be an arbitrary prime. Let us be given some m-variable polynomialsf1, f2, . . . , fn over Fp with no constant terms. If
m > (p − 1) ·n∑
i=1
deg(fi ),
then there exists a vector 0 6= x ∈ {0, 1}m such that fi (x) = 0 for all i .
fA(x) = x1 + x2 + x3 + x4
fB(x) = x4 + x5 + x6 + x7
fC (x) = x7 + x3 + x8 + x9
fD(x) = x1 + x5 + x10 + x11
fE (x) = x11 + x10 + x2 + x6 + x8 + x9
11 = m > 5 · (3− 1)⇒exists a vector 0 6= x : fi (x) = 0 .
László Varga: Algebraic Combinatorics and the Parity Argument 9
![Page 23: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/23.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
pd -divisble subgraphs
In a previous paper, Alon, Friedland and Kalai answered the analogous questionmodulo prime powers with no use of Combinatorial Nullstellensatz.
Theorem (Alon, Friedland and Kalai)
For any prime p and any graph G on n vertices and m edges, ifm > n · (pd − 1), there exist a pd -divisible subgraph.
The analogous theorem about k-divisible subgraphs is not known, if k is not aprime power, but one can prove that if the graph has su�ciently large numberof edges, there exists a k-divisible subgraph.
László Varga: Algebraic Combinatorics and the Parity Argument 10
![Page 24: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/24.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
pd -divisble subgraphs
In a previous paper, Alon, Friedland and Kalai answered the analogous questionmodulo prime powers with no use of Combinatorial Nullstellensatz.
Theorem (Alon, Friedland and Kalai)
For any prime p and any graph G on n vertices and m edges, ifm > n · (pd − 1), there exist a pd -divisible subgraph.
The analogous theorem about k-divisible subgraphs is not known, if k is not aprime power, but one can prove that if the graph has su�ciently large numberof edges, there exists a k-divisible subgraph.
László Varga: Algebraic Combinatorics and the Parity Argument 10
![Page 25: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/25.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
pd -divisble subgraphs
In a previous paper, Alon, Friedland and Kalai answered the analogous questionmodulo prime powers with no use of Combinatorial Nullstellensatz.
Theorem (Alon, Friedland and Kalai)
For any prime p and any graph G on n vertices and m edges, ifm > n · (pd − 1), there exist a pd -divisible subgraph.
The analogous theorem about k-divisible subgraphs is not known, if k is not aprime power, but one can prove that if the graph has su�ciently large numberof edges, there exists a k-divisible subgraph.
László Varga: Algebraic Combinatorics and the Parity Argument 10
![Page 26: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/26.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
Our main results
New proofs via Combinatorial Nullstellensatz
We give a reduction of pd -divisible subgraphs to Combinatorial Nullstellensatz.
Theorem
Suppose that f1, f2, . . . , fn are m-variable polynomials over Z without constantterms. Then, if
m > (pd − 1) ·n∑
i=1
deg(fi )
there exists a 0 6= x ∈ {0, 1}m such that pd |fi (x) for all i .
Theorem
Finding a 2d -divisible subgraph and Combinatorial Nullstellensatz MOD 2belong to PPA.
László Varga: Algebraic Combinatorics and the Parity Argument 11
![Page 27: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/27.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
Our main results
New proofs via Combinatorial Nullstellensatz
We give a reduction of pd -divisible subgraphs to Combinatorial Nullstellensatz.
Theorem
Suppose that f1, f2, . . . , fn are m-variable polynomials over Z without constantterms. Then, if
m > (pd − 1) ·n∑
i=1
deg(fi )
there exists a 0 6= x ∈ {0, 1}m such that pd |fi (x) for all i .
Theorem
Finding a 2d -divisible subgraph and Combinatorial Nullstellensatz MOD 2belong to PPA.
László Varga: Algebraic Combinatorics and the Parity Argument 11
![Page 28: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/28.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Alon's Combinatorial Nullstellensatzpd -divisible subgraphsOur main results
Our main results
New proofs via Combinatorial Nullstellensatz
We give a reduction of pd -divisible subgraphs to Combinatorial Nullstellensatz.
Theorem
Suppose that f1, f2, . . . , fn are m-variable polynomials over Z without constantterms. Then, if
m > (pd − 1) ·n∑
i=1
deg(fi )
there exists a 0 6= x ∈ {0, 1}m such that pd |fi (x) for all i .
Theorem
Finding a 2d -divisible subgraph and Combinatorial Nullstellensatz MOD 2belong to PPA.
László Varga: Algebraic Combinatorics and the Parity Argument 11
![Page 29: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/29.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Conditions modulo pd and conditions modulo pKey observation through an example
Conditions modulo pd and conditions modulo p
pd -divisible subgraphs � conditions modulo pd .
Combinatorial Nullstellensatz � conditions over a �eld, e.g. modulo p.
How could you reduce conditions modulo pd to conditions modulo p?
∑xj ≡ q (mod pd) ⇐⇒ ??? (mod p)
f (x) ≡ q (mod pd) ⇐⇒ ??? (mod p)
László Varga: Algebraic Combinatorics and the Parity Argument 12
![Page 30: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/30.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Conditions modulo pd and conditions modulo pKey observation through an example
Conditions modulo pd and conditions modulo p
pd -divisible subgraphs � conditions modulo pd .
Combinatorial Nullstellensatz � conditions over a �eld, e.g. modulo p.
How could you reduce conditions modulo pd to conditions modulo p?
∑xj ≡ q (mod pd) ⇐⇒ ??? (mod p)
f (x) ≡ q (mod pd) ⇐⇒ ??? (mod p)
László Varga: Algebraic Combinatorics and the Parity Argument 12
![Page 31: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/31.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Conditions modulo pd and conditions modulo pKey observation through an example
Conditions modulo pd and conditions modulo p
pd -divisible subgraphs � conditions modulo pd .
Combinatorial Nullstellensatz � conditions over a �eld, e.g. modulo p.
How could you reduce conditions modulo pd to conditions modulo p?
∑xj ≡ q (mod pd) ⇐⇒ ??? (mod p)
f (x) ≡ q (mod pd) ⇐⇒ ??? (mod p)
László Varga: Algebraic Combinatorics and the Parity Argument 12
![Page 32: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/32.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Conditions modulo pd and conditions modulo pKey observation through an example
Conditions modulo pd and conditions modulo p
pd -divisible subgraphs � conditions modulo pd .
Combinatorial Nullstellensatz � conditions over a �eld, e.g. modulo p.
How could you reduce conditions modulo pd to conditions modulo p?
∑xj ≡ q (mod pd) ⇐⇒ ??? (mod p)
f (x) ≡ q (mod pd) ⇐⇒ ??? (mod p)
László Varga: Algebraic Combinatorics and the Parity Argument 12
![Page 33: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/33.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Conditions modulo pd and conditions modulo pKey observation through an example
Conditions modulo pd and conditions modulo p
pd -divisible subgraphs � conditions modulo pd .
Combinatorial Nullstellensatz � conditions over a �eld, e.g. modulo p.
How could you reduce conditions modulo pd to conditions modulo p?
∑xj ≡ q (mod pd) ⇐⇒ ??? (mod p)
f (x) ≡ q (mod pd) ⇐⇒ ??? (mod p)
László Varga: Algebraic Combinatorics and the Parity Argument 12
![Page 34: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/34.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Conditions modulo pd and conditions modulo pKey observation through an example
Key observation through an example
In our paper, a new algebraic technique is presented to describe conditionsmodulo pd as conditions modulo p.
Example
If (x1, x2, x3) ∈ {0, 1}3, then
x1 + x2 + x3 ≡ 1 (mod 4)
is equivalent to the system
x1 + x2 + x3 ≡ 1 (mod 2)
x1x2 + x1x3 + x2x3 ≡ 0 (mod 2)
This example can be extended to any polynomial f and prime power pd .
László Varga: Algebraic Combinatorics and the Parity Argument 13
![Page 35: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/35.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Conditions modulo pd and conditions modulo pKey observation through an example
Key observation through an example
In our paper, a new algebraic technique is presented to describe conditionsmodulo pd as conditions modulo p.
Example
If (x1, x2, x3) ∈ {0, 1}3, then
x1 + x2 + x3 ≡ 1 (mod 4)
is equivalent to the system
x1 + x2 + x3 ≡ 1 (mod 2)
x1x2 + x1x3 + x2x3 ≡ 0 (mod 2)
This example can be extended to any polynomial f and prime power pd .
László Varga: Algebraic Combinatorics and the Parity Argument 13
![Page 36: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/36.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Conditions modulo pd and conditions modulo pKey observation through an example
Key observation through an example
In our paper, a new algebraic technique is presented to describe conditionsmodulo pd as conditions modulo p.
Example
If (x1, x2, x3) ∈ {0, 1}3, then
x1 + x2 + x3 ≡ 1 (mod 4)
is equivalent to the system
x1 + x2 + x3 ≡ 1 (mod 2)
x1x2 + x1x3 + x2x3 ≡ 0 (mod 2)
This example can be extended to any polynomial f and prime power pd .
László Varga: Algebraic Combinatorics and the Parity Argument 13
![Page 37: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/37.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
Conditions modulo pd and conditions modulo pKey observation through an example
Key observation through an example
In our paper, a new algebraic technique is presented to describe conditionsmodulo pd as conditions modulo p.
Example
If (x1, x2, x3) ∈ {0, 1}3, then
x1 + x2 + x3 ≡ 1 (mod 4)
is equivalent to the system
x1 + x2 + x3 ≡ 1 (mod 2)
x1x2 + x1x3 + x2x3 ≡ 0 (mod 2)
This example can be extended to any polynomial f and prime power pd .
László Varga: Algebraic Combinatorics and the Parity Argument 13
![Page 38: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/38.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Combinatorial Nullstellensatz MOD 2
In the rest of this presentation, we focus on PPA and the complexity ofCombinatorial Nullstellensatz MOD 2.
Theorem (Combinatorial Nullstellensatz MOD 2)
Let f ∈ F2[x1, . . . xm] be an m-variable polynomial. Suppose that the degree off is m and that the coe�cient of x1x2 . . . xm is nonzero. Then, there exists an(s1, s2, . . . , sm) ∈ {0, 1}m such that f (s1, s2, . . . , sm) 6= 0.
László Varga: Algebraic Combinatorics and the Parity Argument 14
![Page 39: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/39.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
The complexity of �nding such a vector whose existence is guaranteed by theCombinatorial Nullstellensatz depends on the input form of the givenpolynomial.
If the polynomial is given explicitly, as the sum of monomials, e.g.f (x1, x2, x3) = x1x2x3 + x1x2 + x2x3
one can trivially construct a polynomial time algorithm
If the polynomial is given as the sum of products of polynomials, e.g.f (x1, x2, x3) = (x1 + x2 + x3)
3 + x1x2x3
such as in the most of the applications
not known to be solvable in polynomial time
an open question by Douglas West conjectures that the problem is in PPA
we verify this conjecture
László Varga: Algebraic Combinatorics and the Parity Argument 15
![Page 40: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/40.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
The complexity of �nding such a vector whose existence is guaranteed by theCombinatorial Nullstellensatz depends on the input form of the givenpolynomial.
If the polynomial is given explicitly, as the sum of monomials, e.g.f (x1, x2, x3) = x1x2x3 + x1x2 + x2x3
one can trivially construct a polynomial time algorithm
If the polynomial is given as the sum of products of polynomials, e.g.f (x1, x2, x3) = (x1 + x2 + x3)
3 + x1x2x3
such as in the most of the applications
not known to be solvable in polynomial time
an open question by Douglas West conjectures that the problem is in PPA
we verify this conjecture
László Varga: Algebraic Combinatorics and the Parity Argument 15
![Page 41: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/41.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
The complexity of �nding such a vector whose existence is guaranteed by theCombinatorial Nullstellensatz depends on the input form of the givenpolynomial.
If the polynomial is given explicitly, as the sum of monomials, e.g.f (x1, x2, x3) = x1x2x3 + x1x2 + x2x3
one can trivially construct a polynomial time algorithm
If the polynomial is given as the sum of products of polynomials, e.g.f (x1, x2, x3) = (x1 + x2 + x3)
3 + x1x2x3
such as in the most of the applications
not known to be solvable in polynomial time
an open question by Douglas West conjectures that the problem is in PPA
we verify this conjecture
László Varga: Algebraic Combinatorics and the Parity Argument 15
![Page 42: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/42.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
The complexity of �nding such a vector whose existence is guaranteed by theCombinatorial Nullstellensatz depends on the input form of the givenpolynomial.
If the polynomial is given explicitly, as the sum of monomials, e.g.f (x1, x2, x3) = x1x2x3 + x1x2 + x2x3
one can trivially construct a polynomial time algorithm
If the polynomial is given as the sum of products of polynomials, e.g.f (x1, x2, x3) = (x1 + x2 + x3)
3 + x1x2x3
such as in the most of the applications
not known to be solvable in polynomial time
an open question by Douglas West conjectures that the problem is in PPA
we verify this conjecture
László Varga: Algebraic Combinatorics and the Parity Argument 15
![Page 43: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/43.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
The complexity of �nding such a vector whose existence is guaranteed by theCombinatorial Nullstellensatz depends on the input form of the givenpolynomial.
If the polynomial is given explicitly, as the sum of monomials, e.g.f (x1, x2, x3) = x1x2x3 + x1x2 + x2x3
one can trivially construct a polynomial time algorithm
If the polynomial is given as the sum of products of polynomials, e.g.f (x1, x2, x3) = (x1 + x2 + x3)
3 + x1x2x3
such as in the most of the applications
not known to be solvable in polynomial time
an open question by Douglas West conjectures that the problem is in PPA
we verify this conjecture
László Varga: Algebraic Combinatorics and the Parity Argument 15
![Page 44: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/44.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
The complexity of �nding such a vector whose existence is guaranteed by theCombinatorial Nullstellensatz depends on the input form of the givenpolynomial.
If the polynomial is given explicitly, as the sum of monomials, e.g.f (x1, x2, x3) = x1x2x3 + x1x2 + x2x3
one can trivially construct a polynomial time algorithm
If the polynomial is given as the sum of products of polynomials, e.g.f (x1, x2, x3) = (x1 + x2 + x3)
3 + x1x2x3
such as in the most of the applications
not known to be solvable in polynomial time
an open question by Douglas West conjectures that the problem is in PPA
we verify this conjecture
László Varga: Algebraic Combinatorics and the Parity Argument 15
![Page 45: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/45.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
The complexity of �nding such a vector whose existence is guaranteed by theCombinatorial Nullstellensatz depends on the input form of the givenpolynomial.
If the polynomial is given explicitly, as the sum of monomials, e.g.f (x1, x2, x3) = x1x2x3 + x1x2 + x2x3
one can trivially construct a polynomial time algorithm
If the polynomial is given as the sum of products of polynomials, e.g.f (x1, x2, x3) = (x1 + x2 + x3)
3 + x1x2x3
such as in the most of the applications
not known to be solvable in polynomial time
an open question by Douglas West conjectures that the problem is in PPA
we verify this conjecture
László Varga: Algebraic Combinatorics and the Parity Argument 15
![Page 46: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/46.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Reminder about Polynomial Parity Argument
In '94, Papadimitriou de�ned the complexity class Polynomial Parity Argument.
A problem is in PPA if and only if it is reducible to the End Of The Line.
László Varga: Algebraic Combinatorics and the Parity Argument 16
![Page 47: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/47.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Reminder about Polynomial Parity Argument
In '94, Papadimitriou de�ned the complexity class Polynomial Parity Argument.
A problem is in PPA if and only if it is reducible to the End Of The Line.
László Varga: Algebraic Combinatorics and the Parity Argument 17
![Page 48: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/48.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Reminder about Polynomial Parity Argument
In '94, Papadimitriou de�ned the complexity class Polynomial Parity Argument.
A problem is in PPA if and only if it is reducible to the End Of The Line.
László Varga: Algebraic Combinatorics and the Parity Argument 18
![Page 49: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/49.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Reminder about Polynomial Parity Argument
In '94, Papadimitriou de�ned the complexity class Polynomial Parity Argument.
A problem is in PPA if and only if it is reducible to the End Of The Line.
László Varga: Algebraic Combinatorics and the Parity Argument 19
![Page 50: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/50.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Reminder about Polynomial Parity Argument
In '94, Papadimitriou de�ned the complexity class Polynomial Parity Argument.
A problem is in PPA if and only if it is reducible to the End Of The Line.
László Varga: Algebraic Combinatorics and the Parity Argument 20
![Page 51: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/51.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Reminder about Polynomial Parity Argument
In '94, Papadimitriou de�ned the complexity class Polynomial Parity Argument.
A problem is in PPA if and only if it is reducible to the End Of The Line.
László Varga: Algebraic Combinatorics and the Parity Argument 21
![Page 52: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/52.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Reminder about Polynomial Parity Argument
In '94, Papadimitriou de�ned the complexity class Polynomial Parity Argument.
A problem is in PPA if and only if it is reducible to the End Of The Line.
László Varga: Algebraic Combinatorics and the Parity Argument 22
![Page 53: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/53.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
The pairing function
Papadimitriou shows that this problem is equivalent to the problem in whichthe nodes may have more (e.g. exponentially many) neighbours and apolynomial time pairing function is given.
Pairing function φ for an input node v pairs up its neighbours.
For an even-degree node:
For an odd-degree node:
László Varga: Algebraic Combinatorics and the Parity Argument 23
![Page 54: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/54.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
The pairing function
Papadimitriou shows that this problem is equivalent to the problem in whichthe nodes may have more (e.g. exponentially many) neighbours and apolynomial time pairing function is given.
Pairing function φ for an input node v pairs up its neighbours.
For an even-degree node:
For an odd-degree node:
László Varga: Algebraic Combinatorics and the Parity Argument 23
![Page 55: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/55.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
The pairing function
Papadimitriou shows that this problem is equivalent to the problem in whichthe nodes may have more (e.g. exponentially many) neighbours and apolynomial time pairing function is given.
Pairing function φ for an input node v pairs up its neighbours.
For an even-degree node:
For an odd-degree node:
László Varga: Algebraic Combinatorics and the Parity Argument 23
![Page 56: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/56.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
PPA membership of Chévalley's theorem
Theorem (Chévalley)
Let p1, p2, . . . , pn be polynomials in m variables over {0, 1}. Suppose that∑ni=1 deg(pi ) < m. Then, the number of common solutions of the polynomial
equation system pi (x1, . . . , xm) = 0 (i = 1 . . . n) is even. In particular, if thereis a solution, there exists another.
Chévalley MOD 2
Input: polynomials p1, p2, . . . , pn over {0, 1} such that∑n
i=1 deg(pi ) < m.Also, we are given a root (c1, c2, . . . , cm) ∈ {0, 1}m of the equationsystem pi (x) = 0 (i = 1, . . . , n)
Find: another root of the equation system pi (x) = 0 (i = 1, . . . , n).
Papadimitriou showed that Chévalley MOD 2 belongs to PPA. Our followingproof about Combinatorial Nullstellensatz is based on his proof but it requirestrickier pairing function.
László Varga: Algebraic Combinatorics and the Parity Argument 24
![Page 57: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/57.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
PPA membership of Chévalley's theorem
Theorem (Chévalley)
Let p1, p2, . . . , pn be polynomials in m variables over {0, 1}. Suppose that∑ni=1 deg(pi ) < m. Then, the number of common solutions of the polynomial
equation system pi (x1, . . . , xm) = 0 (i = 1 . . . n) is even. In particular, if thereis a solution, there exists another.
Chévalley MOD 2
Input: polynomials p1, p2, . . . , pn over {0, 1} such that∑n
i=1 deg(pi ) < m.Also, we are given a root (c1, c2, . . . , cm) ∈ {0, 1}m of the equationsystem pi (x) = 0 (i = 1, . . . , n)
Find: another root of the equation system pi (x) = 0 (i = 1, . . . , n).
Papadimitriou showed that Chévalley MOD 2 belongs to PPA. Our followingproof about Combinatorial Nullstellensatz is based on his proof but it requirestrickier pairing function.
László Varga: Algebraic Combinatorics and the Parity Argument 24
![Page 58: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/58.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
PPA membership of Chévalley's theorem
Theorem (Chévalley)
Let p1, p2, . . . , pn be polynomials in m variables over {0, 1}. Suppose that∑ni=1 deg(pi ) < m. Then, the number of common solutions of the polynomial
equation system pi (x1, . . . , xm) = 0 (i = 1 . . . n) is even. In particular, if thereis a solution, there exists another.
Chévalley MOD 2
Input: polynomials p1, p2, . . . , pn over {0, 1} such that∑n
i=1 deg(pi ) < m.Also, we are given a root (c1, c2, . . . , cm) ∈ {0, 1}m of the equationsystem pi (x) = 0 (i = 1, . . . , n)
Find: another root of the equation system pi (x) = 0 (i = 1, . . . , n).
Papadimitriou showed that Chévalley MOD 2 belongs to PPA. Our followingproof about Combinatorial Nullstellensatz is based on his proof but it requirestrickier pairing function.
László Varga: Algebraic Combinatorics and the Parity Argument 24
![Page 59: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/59.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
PPA membership of Chévalley's theorem
Theorem (Chévalley)
Let p1, p2, . . . , pn be polynomials in m variables over {0, 1}. Suppose that∑ni=1 deg(pi ) < m. Then, the number of common solutions of the polynomial
equation system pi (x1, . . . , xm) = 0 (i = 1 . . . n) is even. In particular, if thereis a solution, there exists another.
Chévalley MOD 2
Input: polynomials p1, p2, . . . , pn over {0, 1} such that∑n
i=1 deg(pi ) < m.Also, we are given a root (c1, c2, . . . , cm) ∈ {0, 1}m of the equationsystem pi (x) = 0 (i = 1, . . . , n)
Find: another root of the equation system pi (x) = 0 (i = 1, . . . , n).
Papadimitriou showed that Chévalley MOD 2 belongs to PPA. Our followingproof about Combinatorial Nullstellensatz is based on his proof but it requirestrickier pairing function.
László Varga: Algebraic Combinatorics and the Parity Argument 24
![Page 60: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/60.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
The construction of End Of The Line graph
The input polynomial: f =∑k
i=1
(∏mij=1 pij
).
It has k blocks:∏m1
j=1 p1j ,∏m2
j=1 p2j , . . . ,∏mk
j=1 pkj .
A monomial (term) in the ith block can be represented by an (mi + 1)-tuple ofintegers: (i , ai,1, . . . , ai,mi ). ai,j shows that the term is the product of ai,j thmonomials of pij .
E.g. in (1+ x1)(1+ x2) (i , 1, 1) ∼ 1, (i , 1, 2) ∼ x2, (i , 2, 1) ∼ x1, (i , 2, 2) ∼ x1x2.
László Varga: Algebraic Combinatorics and the Parity Argument 25
![Page 61: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/61.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
The construction of End Of The Line graph
The input polynomial: f =∑k
i=1
(∏mij=1 pij
).
It has k blocks:∏m1
j=1 p1j ,∏m2
j=1 p2j , . . . ,∏mk
j=1 pkj .
A monomial (term) in the ith block can be represented by an (mi + 1)-tuple ofintegers: (i , ai,1, . . . , ai,mi ). ai,j shows that the term is the product of ai,j thmonomials of pij .
E.g. in (1+ x1)(1+ x2) (i , 1, 1) ∼ 1, (i , 1, 2) ∼ x2, (i , 2, 1) ∼ x1, (i , 2, 2) ∼ x1x2.
László Varga: Algebraic Combinatorics and the Parity Argument 25
![Page 62: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/62.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
The construction of End Of The Line graph
The input polynomial: f =∑k
i=1
(∏mij=1 pij
).
It has k blocks:∏m1
j=1 p1j ,∏m2
j=1 p2j , . . . ,∏mk
j=1 pkj .
A monomial (term) in the ith block can be represented by an (mi + 1)-tuple ofintegers: (i , ai,1, . . . , ai,mi ). ai,j shows that the term is the product of ai,j thmonomials of pij .
E.g. in (1+ x1)(1+ x2) (i , 1, 1) ∼ 1, (i , 1, 2) ∼ x2, (i , 2, 1) ∼ x1, (i , 2, 2) ∼ x1x2.
László Varga: Algebraic Combinatorics and the Parity Argument 25
![Page 63: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/63.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
The construction of End Of The Line graph
László Varga: Algebraic Combinatorics and the Parity Argument 26
![Page 64: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/64.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
The construction of End Of The Line graph
Edges:
A vector x is connected to a term t if and only if the value of t is 1 at x .
László Varga: Algebraic Combinatorics and the Parity Argument 27
![Page 65: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/65.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
The construction of End Of The Line graph
For a vector (s1, s2, . . . , sm), f (s1, s2, . . . , sm) 6= 0 holds if and only if in theconstructed graph its degree is odd.
The degree of a term t(x) 6= x1 . . . xm is even because there exists a variable xinot appearing in t. The degree of term term x1 . . . xm is odd because it isconnected only to the vector (1, 1, . . . , 1).
The standard leaf is the term x1 . . . xm. Another leaf is a solution.
László Varga: Algebraic Combinatorics and the Parity Argument 28
![Page 66: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/66.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Pairing for a term t
However, the nodes of this graph have exponentially large degrees, andtherefore we must exhibit a pairing function between the edges out of a node.
For a node corresponding to the term t(x) 6= x1x2 . . . xm, we pair up the vectorx via the variable xl is such that does not appear in t.
László Varga: Algebraic Combinatorics and the Parity Argument 29
![Page 67: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/67.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Pairing for a term t
However, the nodes of this graph have exponentially large degrees, andtherefore we must exhibit a pairing function between the edges out of a node.
For a node corresponding to the term t(x) 6= x1x2 . . . xm, we pair up the vectorx via the variable xl is such that does not appear in t.
László Varga: Algebraic Combinatorics and the Parity Argument 29
![Page 68: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/68.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Pairing at a vector x
Suppose that f (x) = 0. The case f (x) = 1 can be checked similarly.
László Varga: Algebraic Combinatorics and the Parity Argument 30
![Page 69: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/69.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Pairing at a vector x
For a block g =∏mi
j=1 pij such that g(x) = 0, then there is an index j such thatpij(x) = 0. Pick the smallest such j . There is an even number of monomials ofpij such that pij(x) = 1. We pair these monomials by a pairing function φi .Then the mate of term (i , ai1, . . . , aij , . . . , ai,mi ) is (i , ai1, . . . , φi (aij), . . . , ai,mi ).
László Varga: Algebraic Combinatorics and the Parity Argument 31
![Page 70: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/70.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Pairing at a vector x
For a block g =∏mi
j=1 pij such that g(x) = 0, then there is an index j such thatpij(x) = 0. Pick the smallest such j . There is an even number of monomials ofpij such that pij(x) = 1. We pair these monomials by a pairing function φi .Then the mate of term (i , ai1, . . . , aij , . . . , ai,mi ) is (i , ai1, . . . , φi (aij), . . . , ai,mi ).
László Varga: Algebraic Combinatorics and the Parity Argument 31
![Page 71: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/71.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Pairing at a vector x
For a block g =∏mi
j=1 pij such that g(x) = 1, then for all index j , thatpij(x) = 1 holds. We can pair all but one monomials of pij with pij(x) = 1 by apairing function φij . One of them does not have a mate, denote its index by ωij .
If there exists an index j such that aij 6= ωij , pick the smallest such j . Then themate of (i , ai1, . . . , ai,mi ) is (i , ai1, . . . , φij(aij), . . . , ai,mi ).
László Varga: Algebraic Combinatorics and the Parity Argument 32
![Page 72: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/72.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Pairing at a vector x
For a block g =∏mi
j=1 pij such that g(x) = 1, then for all index j , thatpij(x) = 1 holds. We can pair all but one monomials of pij with pij(x) = 1 by apairing function φij . One of them does not have a mate, denote its index by ωij .
If there exists an index j such that aij 6= ωij , pick the smallest such j . Then themate of (i , ai1, . . . , ai,mi ) is (i , ai1, . . . , φij(aij), . . . , ai,mi ).
László Varga: Algebraic Combinatorics and the Parity Argument 32
![Page 73: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/73.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Pairing at a vector x
For a block g =∏mi
j=1 pij such that g(x) = 1, then for all index j , thatpij(x) = 1 holds. We can pair all but one monomials of pij with pij(x) = 1 by apairing function φij . One of them does not have a mate, denote its index by ωij .
If there exists an index j such that aij 6= ωij , pick the smallest such j . Then themate of (i , ai1, . . . , ai,mi ) is (i , ai1, . . . , φij(aij), . . . , ai,mi ).
László Varga: Algebraic Combinatorics and the Parity Argument 32
![Page 74: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/74.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Pairing at a vector x
What about the term t if it is represented by (i , ωi1, . . . , ωi,mi )?
Since f (x) = 0, there is an even number of blocks that are 1 at x. We pairthese blocks by a pairing function φ.
Then, the mate of (i , ωi1, . . . , ωi,mi ) is (φ(i), ωφ(i),1, . . . , ωφ(i),mφ(i)).
László Varga: Algebraic Combinatorics and the Parity Argument 33
![Page 75: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/75.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Pairing at a vector x
What about the term t if it is represented by (i , ωi1, . . . , ωi,mi )?
Since f (x) = 0, there is an even number of blocks that are 1 at x. We pairthese blocks by a pairing function φ.
Then, the mate of (i , ωi1, . . . , ωi,mi ) is (φ(i), ωφ(i),1, . . . , ωφ(i),mφ(i)).
László Varga: Algebraic Combinatorics and the Parity Argument 33
![Page 76: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/76.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Pairing at a vector x
What about the term t if it is represented by (i , ωi1, . . . , ωi,mi )?
Since f (x) = 0, there is an even number of blocks that are 1 at x. We pairthese blocks by a pairing function φ.
Then, the mate of (i , ωi1, . . . , ωi,mi ) is (φ(i), ωφ(i),1, . . . , ωφ(i),mφ(i)).
László Varga: Algebraic Combinatorics and the Parity Argument 33
![Page 77: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/77.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Pairing at a vector x
The key idea is this upper-level pairing function which pair up such blocks.
So, we presented a polynomial algorithm that computes the mate of an edgeout of a node, and therefore we reduced Combinatorial Nullstellensatz MOD 2to the End Of The Line, so the proof is complete.
László Varga: Algebraic Combinatorics and the Parity Argument 34
![Page 78: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/78.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Pairing at a vector x
The key idea is this upper-level pairing function which pair up such blocks.
So, we presented a polynomial algorithm that computes the mate of an edgeout of a node, and therefore we reduced Combinatorial Nullstellensatz MOD 2to the End Of The Line, so the proof is complete.
László Varga: Algebraic Combinatorics and the Parity Argument 34
![Page 79: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/79.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
2d -divisible subgraph.
Input: a positive integer d and a graph G = (V ,E), where |V | = n,|E | = m and m > n · (2d − 1)− 2d−1.
Find: a 2d -divisible subgraph, that is, an ∅ 6= F ⊆ E such that for everyv ∈ V , the number of incident edges of F is divisible by 2d .
Theorem
Finding a 2d -divisible subgraph is polynomially reducible to CombinatorialNullstellensatz, hence it belongs to PPA.
László Varga: Algebraic Combinatorics and the Parity Argument 35
![Page 80: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/80.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
2d -divisible subgraph.
Input: a positive integer d and a graph G = (V ,E), where |V | = n,|E | = m and m > n · (2d − 1)− 2d−1.
Find: a 2d -divisible subgraph, that is, an ∅ 6= F ⊆ E such that for everyv ∈ V , the number of incident edges of F is divisible by 2d .
Theorem
Finding a 2d -divisible subgraph is polynomially reducible to CombinatorialNullstellensatz, hence it belongs to PPA.
László Varga: Algebraic Combinatorics and the Parity Argument 35
![Page 81: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/81.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Thank you for your attention!
László VargaInstitute of Mathematics, Eötvös Loránd University, Budapest
László Varga: Algebraic Combinatorics and the Parity Argument 36
![Page 82: Algebraic Combinatorics and the Parity Argument · applications in Combinatorial Number Theo,ry in Graph Theory and in Combinatorics. Theorem (Combinatorial Nullstellensatz, Alon)](https://reader036.fdocuments.net/reader036/viewer/2022062506/5f0da49f7e708231d43b5e72/html5/thumbnails/82.jpg)
MotivationsThe algebraic part - sketch
The complexity of Combinatorial Nullstellensatz
The class PPA and Chévalley's MOD 2PPA membership of Combinatorial Nullstellensatz2d -divisible subgraphs
Thank you for your attention!
László VargaInstitute of Mathematics, Eötvös Loránd University, Budapest
László Varga: Algebraic Combinatorics and the Parity Argument 36