Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz,...
Transcript of Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz,...
![Page 1: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/1.jpg)
Hilbert’s Nullstellensatz, Linear Algebra andCombinatorial Problems
Susan Margulies
Mathematics Department,US Naval Academy, Annapolis, Maryland
Visiting National Institute of Standards and Technology!April 7, 2015
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 2: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/2.jpg)
The Nullstellensatz Linear Algebra (NulLA) Algorithm
Let x = {x1, ..., xn} and fi ∈ K[x1, . . . , xn] (K ususally C or F2)
INPUT:
A system of polynomial equations
f1(x) = 0, f2(x) = 0, . . . fs(x) = 0
OUTPUT:
1 yes, there is a solution.2 no, there is no solution
, along with a Nullstellensatz certificateof infeasibility
.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 3: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/3.jpg)
The Nullstellensatz Linear Algebra (NulLA) Algorithm
Let x = {x1, ..., xn} and fi ∈ K[x1, . . . , xn] (K ususally C or F2)
INPUT: A system of polynomial equations
f1(x) = 0, f2(x) = 0, . . . fs(x) = 0
OUTPUT:
1 yes, there is a solution.2 no, there is no solution
, along with a Nullstellensatz certificateof infeasibility
.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 4: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/4.jpg)
The Nullstellensatz Linear Algebra (NulLA) Algorithm
Let x = {x1, ..., xn} and fi ∈ K[x1, . . . , xn] (K ususally C or F2)
INPUT: A system of polynomial equations
f1(x) = 0, f2(x) = 0, . . . fs(x) = 0
OUTPUT:1 yes, there is a solution.2 no, there is no solution
, along with a Nullstellensatz certificateof infeasibility
.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 5: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/5.jpg)
The Nullstellensatz Linear Algebra (NulLA) Algorithm
Let x = {x1, ..., xn} and fi ∈ K[x1, . . . , xn] (K ususally C or F2)
INPUT: A system of polynomial equations
f1(x) = 0, f2(x) = 0, . . . fs(x) = 0
OUTPUT:1 yes, there is a solution.2 no, there is no solution, along with a Nullstellensatz certificate
of infeasibility.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 6: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/6.jpg)
Hilbert’s Nullstellensatz
Theorem (1893): Let K be an algebraically closed field andf1, . . . , fs be polynomials in K[x1, . . . , xn]. Given a system ofequations such that f1 = f2 = · · · = fs = 0, then this systemhas no solution if and only if there exist polynomialsβ1, . . . , βs ∈ K[x1, . . . , xn] such that
1 =s∑
i=1
βifi . 2
1 6= 0
x21 − 1 = 0 , x1 + x2 = 0 , x2 + x3 = 0 , x1 + x3 = 0
(−1)︸ ︷︷ ︸β1
(x21 − 1)︸ ︷︷ ︸f1
+
(1
2x1
)︸ ︷︷ ︸
β2
(x1 + x2)︸ ︷︷ ︸f2
+
(− 1
2x1
)︸ ︷︷ ︸
β3
(x2 + x3)︸ ︷︷ ︸f3
+
(1
2x1
)︸ ︷︷ ︸
β4
(x1 + x3)︸ ︷︷ ︸f4(
1
2+
1
2− 1
)x2
1 + 1 +
(1
2− 1
2
)x1x2 +
(− 1
2+
1
2
)x1x3 = 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 7: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/7.jpg)
Hilbert’s Nullstellensatz
Theorem (1893): Let K be an algebraically closed field andf1, . . . , fs be polynomials in K[x1, . . . , xn]. Given a system ofequations such that f1 = f2 = · · · = fs = 0, then this systemhas no solution if and only if there exist polynomialsβ1, . . . , βs ∈ K[x1, . . . , xn] such that
1 =s∑
i=1
βifi . 2
1 6= 0
x21 − 1 = 0 , x1 + x2 = 0 , x2 + x3 = 0 , x1 + x3 = 0
(−1)︸ ︷︷ ︸β1
(x21 − 1)︸ ︷︷ ︸f1
+
(1
2x1
)︸ ︷︷ ︸
β2
(x1 + x2)︸ ︷︷ ︸f2
+
(− 1
2x1
)︸ ︷︷ ︸
β3
(x2 + x3)︸ ︷︷ ︸f3
+
(1
2x1
)︸ ︷︷ ︸
β4
(x1 + x3)︸ ︷︷ ︸f4(
1
2+
1
2− 1
)x2
1 + 1 +
(1
2− 1
2
)x1x2 +
(− 1
2+
1
2
)x1x3 = 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 8: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/8.jpg)
Hilbert’s Nullstellensatz
Theorem (1893): Let K be an algebraically closed field andf1, . . . , fs be polynomials in K[x1, . . . , xn]. Given a system ofequations such that f1 = f2 = · · · = fs = 0, then this systemhas no solution if and only if there exist polynomialsβ1, . . . , βs ∈ K[x1, . . . , xn] such that
1 =s∑
i=1
βifi . 2
1 6= 0
x21 − 1 = 0 , x1 + x2 = 0 , x2 + x3 = 0 , x1 + x3 = 0
(−1)︸ ︷︷ ︸β1
(x21 − 1)︸ ︷︷ ︸f1
+
(1
2x1
)︸ ︷︷ ︸
β2
(x1 + x2)︸ ︷︷ ︸f2
+
(− 1
2x1
)︸ ︷︷ ︸
β3
(x2 + x3)︸ ︷︷ ︸f3
+
(1
2x1
)︸ ︷︷ ︸
β4
(x1 + x3)︸ ︷︷ ︸f4(
1
2+
1
2− 1
)x2
1 + 1 +
(1
2− 1
2
)x1x2 +
(− 1
2+
1
2
)x1x3 = 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 9: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/9.jpg)
Hilbert’s Nullstellensatz
Theorem (1893): Let K be an algebraically closed field andf1, . . . , fs be polynomials in K[x1, . . . , xn]. Given a system ofequations such that f1 = f2 = · · · = fs = 0, then this systemhas no solution if and only if there exist polynomialsβ1, . . . , βs ∈ K[x1, . . . , xn] such that
1 =s∑
i=1
βifi . 2
1 6= 0
x21 − 1 = 0 , x1 + x2 = 0 , x2 + x3 = 0 , x1 + x3 = 0
(−1)︸ ︷︷ ︸β1
(x21 − 1)︸ ︷︷ ︸f1
+
(1
2x1
)︸ ︷︷ ︸
β2
(x1 + x2)︸ ︷︷ ︸f2
+
(− 1
2x1
)︸ ︷︷ ︸
β3
(x2 + x3)︸ ︷︷ ︸f3
+
(1
2x1
)︸ ︷︷ ︸
β4
(x1 + x3)︸ ︷︷ ︸f4(
1
2+
1
2− 1
)x2
1 + 1 +
(1
2− 1
2
)x1x2 +
(− 1
2+
1
2
)x1x3 = 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 10: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/10.jpg)
Hilbert’s Nullstellensatz
Theorem (1893): Let K be an algebraically closed field andf1, . . . , fs be polynomials in K[x1, . . . , xn]. Given a system ofequations such that f1 = f2 = · · · = fs = 0, then this systemhas no solution if and only if there exist polynomialsβ1, . . . , βs ∈ K[x1, . . . , xn] such that
1 =s∑
i=1
βifi . 2
1 6= 0
x21 − 1 = 0 , x1 + x2 = 0 , x2 + x3 = 0 , x1 + x3 = 0
(−1)︸ ︷︷ ︸β1
(x21 − 1)︸ ︷︷ ︸f1
+
(1
2x1
)︸ ︷︷ ︸
β2
(x1 + x2)︸ ︷︷ ︸f2
+
(− 1
2x1
)︸ ︷︷ ︸
β3
(x2 + x3)︸ ︷︷ ︸f3
+
(1
2x1
)︸ ︷︷ ︸
β4
(x1 + x3)︸ ︷︷ ︸f4(
1
2+
1
2− 1
)x2
1 + 1 +
(1
2− 1
2
)x1x2 +
(− 1
2+
1
2
)x1x3 = 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 11: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/11.jpg)
Hilbert’s Nullstellensatz
Theorem (1893): Let K be an algebraically closed field andf1, . . . , fs be polynomials in K[x1, . . . , xn]. Given a system ofequations such that f1 = f2 = · · · = fs = 0, then this systemhas no solution if and only if there exist polynomialsβ1, . . . , βs ∈ K[x1, . . . , xn] such that
1 =s∑
i=1
βifi . 2
1 6= 0
x21 − 1 = 0 , x1 + x2 = 0 , x2 + x3 = 0 , x1 + x3 = 0
(−1)︸ ︷︷ ︸β1
(x21 − 1)︸ ︷︷ ︸f1
+
(1
2x1
)︸ ︷︷ ︸
β2
(x1 + x2)︸ ︷︷ ︸f2
+
(− 1
2x1
)︸ ︷︷ ︸
β3
(x2 + x3)︸ ︷︷ ︸f3
+
(1
2x1
)︸ ︷︷ ︸
β4
(x1 + x3)︸ ︷︷ ︸f4(
1
2+
1
2− 1
)x2
1 + 1 +
(1
2− 1
2
)x1x2 +
(− 1
2+
1
2
)x1x3 = 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 12: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/12.jpg)
Hilbert’s Nullstellensatz
Theorem (1893): Let K be an algebraically closed field andf1, . . . , fs be polynomials in K[x1, . . . , xn]. Given a system ofequations such that f1 = f2 = · · · = fs = 0, then this systemhas no solution if and only if there exist polynomialsβ1, . . . , βs ∈ K[x1, . . . , xn] such that
1 =s∑
i=1
βifi . 2
1 6= 0
x21 − 1 = 0 , x1 + x2 = 0 , x2 + x3 = 0 , x1 + x3 = 0
(−1)︸ ︷︷ ︸β1
(x21 − 1)︸ ︷︷ ︸f1
+
(1
2x1
)︸ ︷︷ ︸
β2
(x1 + x2)︸ ︷︷ ︸f2
+
(− 1
2x1
)︸ ︷︷ ︸
β3
(x2 + x3)︸ ︷︷ ︸f3
+
(1
2x1
)︸ ︷︷ ︸
β4
(x1 + x3)︸ ︷︷ ︸f4(
1
2+
1
2− 1
)x2
1 + 1 +
(1
2− 1
2
)x1x2 +
(− 1
2+
1
2
)x1x3 = 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 13: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/13.jpg)
Hilbert’s Nullstellensatz
Theorem (1893): Let K be an algebraically closed field andf1, . . . , fs be polynomials in K[x1, . . . , xn]. Given a system ofequations such that f1 = f2 = · · · = fs = 0, then this systemhas no solution if and only if there exist polynomialsβ1, . . . , βs ∈ K[x1, . . . , xn] such that
1 =s∑
i=1
βifi . 2
1 6= 0
x21 − 1 = 0 , x1 + x2 = 0 , x2 + x3 = 0 , x1 + x3 = 0
(−1)︸ ︷︷ ︸β1
(x21 − 1)︸ ︷︷ ︸f1
+
(1
2x1
)︸ ︷︷ ︸
β2
(x1 + x2)︸ ︷︷ ︸f2
+
(− 1
2x1
)︸ ︷︷ ︸
β3
(x2 + x3)︸ ︷︷ ︸f3
+
(1
2x1
)︸ ︷︷ ︸
β4
(x1 + x3)︸ ︷︷ ︸f4(
1
2+
1
2− 1
)x2
1 + 1 +
(1
2− 1
2
)x1x2 +
(− 1
2+
1
2
)x1x3 = 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 14: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/14.jpg)
Hilbert’s Nullstellensatz
Theorem (1893): Let K be an algebraically closed field andf1, . . . , fs be polynomials in K[x1, . . . , xn]. Given a system ofequations such that f1 = f2 = · · · = fs = 0, then this systemhas no solution if and only if there exist polynomialsβ1, . . . , βs ∈ K[x1, . . . , xn] such that
1 =s∑
i=1
βifi . 2
1 6= 0
x21 − 1 = 0 , x1 + x2 = 0 , x2 + x3 = 0 , x1 + x3 = 0
(−1)︸ ︷︷ ︸β1
(x21 − 1)︸ ︷︷ ︸f1
+
(1
2x1
)︸ ︷︷ ︸
β2
(x1 + x2)︸ ︷︷ ︸f2
+
(− 1
2x1
)︸ ︷︷ ︸
β3
(x2 + x3)︸ ︷︷ ︸f3
+
(1
2x1
)︸ ︷︷ ︸
β4
(x1 + x3)︸ ︷︷ ︸f4(
1
2+
1
2− 1
)x2
1 + 1 +
(1
2− 1
2
)x1x2 +
(− 1
2+
1
2
)x1x3 = 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 15: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/15.jpg)
Hilbert’s Nullstellensatz
Theorem (1893): Let K be an algebraically closed field andf1, . . . , fs be polynomials in K[x1, . . . , xn]. Given a system ofequations such that f1 = f2 = · · · = fs = 0, then this systemhas no solution if and only if there exist polynomialsβ1, . . . , βs ∈ K[x1, . . . , xn] such that
1 =s∑
i=1
βifi . 2
1 6= 0
x21 − 1 = 0 , x1 + x2 = 0 , x2 + x3 = 0 , x1 + x3 = 0
(−1)︸ ︷︷ ︸β1
(x21 − 1)︸ ︷︷ ︸f1
+
(1
2x1
)︸ ︷︷ ︸
β2
(x1 + x2)︸ ︷︷ ︸f2
+
(− 1
2x1
)︸ ︷︷ ︸
β3
(x2 + x3)︸ ︷︷ ︸f3
+
(1
2x1
)︸ ︷︷ ︸
β4
(x1 + x3)︸ ︷︷ ︸f4
(1
2+
1
2− 1
)x2
1 + 1 +
(1
2− 1
2
)x1x2 +
(− 1
2+
1
2
)x1x3 = 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 16: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/16.jpg)
Hilbert’s Nullstellensatz
Theorem (1893): Let K be an algebraically closed field andf1, . . . , fs be polynomials in K[x1, . . . , xn]. Given a system ofequations such that f1 = f2 = · · · = fs = 0, then this systemhas no solution if and only if there exist polynomialsβ1, . . . , βs ∈ K[x1, . . . , xn] such that
1 =s∑
i=1
βifi . 2
1 6= 0
x21 − 1 = 0 , x1 + x2 = 0 , x2 + x3 = 0 , x1 + x3 = 0
(−1)︸ ︷︷ ︸β1
(x21 − 1)︸ ︷︷ ︸f1
+
(1
2x1
)︸ ︷︷ ︸
β2
(x1 + x2)︸ ︷︷ ︸f2
+
(− 1
2x1
)︸ ︷︷ ︸
β3
(x2 + x3)︸ ︷︷ ︸f3
+
(1
2x1
)︸ ︷︷ ︸
β4
(x1 + x3)︸ ︷︷ ︸f4(
1
2+
1
2− 1
)x2
1 + 1 +
(1
2− 1
2
)x1x2 +
(− 1
2+
1
2
)x1x3
= 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 17: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/17.jpg)
Hilbert’s Nullstellensatz
Theorem (1893): Let K be an algebraically closed field andf1, . . . , fs be polynomials in K[x1, . . . , xn]. Given a system ofequations such that f1 = f2 = · · · = fs = 0, then this systemhas no solution if and only if there exist polynomialsβ1, . . . , βs ∈ K[x1, . . . , xn] such that
1 =s∑
i=1
βifi . 2
1 6= 0
x21 − 1 = 0 , x1 + x2 = 0 , x2 + x3 = 0 , x1 + x3 = 0
(−1)︸ ︷︷ ︸β1
(x21 − 1)︸ ︷︷ ︸f1
+
(1
2x1
)︸ ︷︷ ︸
β2
(x1 + x2)︸ ︷︷ ︸f2
+
(− 1
2x1
)︸ ︷︷ ︸
β3
(x2 + x3)︸ ︷︷ ︸f3
+
(1
2x1
)︸ ︷︷ ︸
β4
(x1 + x3)︸ ︷︷ ︸f4(
1
2+
1
2− 1
)x2
1 + 1 +
(1
2− 1
2
)x1x2 +
(− 1
2+
1
2
)x1x3 = 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 18: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/18.jpg)
Hilbert’s Nullstellensatz
Theorem (1893): Let K be an algebraically closed field andf1, . . . , fs be polynomials in K[x1, . . . , xn]. Given a system ofequations such that f1 = f2 = · · · = fs = 0, then this systemhas no solution if and only if there exist polynomialsβ1, . . . , βs ∈ K[x1, . . . , xn] such that
1 =s∑
i=1
βifi .︸ ︷︷ ︸ 2
This polynomial identity is a Nullstellensatz certificate.
Definition: Let d = max{
deg(β1), deg(β2), . . . , deg(βs)}
.Then d is the degree of the Nullstellensatz certificate.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 19: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/19.jpg)
Hilbert’s Nullstellensatz
Theorem (1893): Let K be an algebraically closed field andf1, . . . , fs be polynomials in K[x1, . . . , xn]. Given a system ofequations such that f1 = f2 = · · · = fs = 0, then this systemhas no solution if and only if there exist polynomialsβ1, . . . , βs ∈ K[x1, . . . , xn] such that
1 =s∑
i=1
βifi .︸ ︷︷ ︸ 2
This polynomial identity is a Nullstellensatz certificate.
Definition: Let d = max{
deg(β1), deg(β2), . . . , deg(βs)}
.Then d is the degree of the Nullstellensatz certificate.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 20: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/20.jpg)
Nullstellensatz Degree Upper Bounds
Recall n is the number of variables, and the number of monomialsof degree d in n variables is
(n+d−1n−1
).
Theorem: (Kollar, 1988) The deg(βi ) is bounded by
deg(βi ) ≤(
max{
3,max{deg(fi )}})n
.
(bound is tight for certain pathologically bad examples)
Theorem: (Lazard 1977, Brownawell 1987) The deg(βi ) isbounded by
deg(βi ) ≤ n(
max{deg(fi )} − 1).
(bound applies to particular zero-dimensional ideals)
Question: What about lower bounds? How do we find them?
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 21: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/21.jpg)
Nullstellensatz Degree Upper Bounds
Recall n is the number of variables, and the number of monomialsof degree d in n variables is
(n+d−1n−1
).
Theorem: (Kollar, 1988) The deg(βi ) is bounded by
deg(βi ) ≤(
max{
3,max{deg(fi )}})n
.
(bound is tight for certain pathologically bad examples)
Theorem: (Lazard 1977, Brownawell 1987) The deg(βi ) isbounded by
deg(βi ) ≤ n(
max{deg(fi )} − 1).
(bound applies to particular zero-dimensional ideals)
Question: What about lower bounds? How do we find them?
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 22: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/22.jpg)
NulLA running on a particular instance:
INPUT: A system of polynomial equations
x21 − 1 = 0, x1 + x3 = 0, x1 + x2 = 0, x2 + x3 = 0
1 Construct a hypothetical Nullstellensatz certificate of degree 1
1 = (c0x1 + c1x2 + c2x3 + c3)︸ ︷︷ ︸β1
(x21 − 1) + (c4x1 + c5x2 + c6x3 + c7)︸ ︷︷ ︸
β2
(x1 + x2)
+ (c8x1 + c9x2 + c10x3 + c11)︸ ︷︷ ︸β3
(x1 + x3) + (c12x1 + c13x2 + c14x3 + c15)︸ ︷︷ ︸β4
(x2 + x3)
2 Expand the hypothetical Nullstellensatz certificate
c0x31 + c1x
21 x2 + c2x
21 x3 + (c3 + c4 + c8)x2
1 + (c5 + c13)x22 + (c10 + c14)x2
3 +
(c4 + c5 + c9 + c12)x1x2 + (c6 + c8 + c10 + c12)x1x3 + (c6 + c9 + c13 + c14)x2x3+
(c7 + c11 − c0)x1 + (c7 + c15 − c1)x2 + (c11 + c15 − c2)x3 − c3
3 Extract a linear system of equations from expanded certificate
c0 = 0, . . . , c3 + c4 + c8 = 0, c11 + c15 − c2 = 0, −c3 = 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 23: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/23.jpg)
NulLA running on a particular instance:
INPUT: A system of polynomial equations
x21 − 1 = 0, x1 + x3 = 0, x1 + x2 = 0, x2 + x3 = 0
1 Construct a hypothetical Nullstellensatz certificate of degree 1
1 = (c0x1 + c1x2 + c2x3 + c3)︸ ︷︷ ︸β1
(x21 − 1) + (c4x1 + c5x2 + c6x3 + c7)︸ ︷︷ ︸
β2
(x1 + x2)
+ (c8x1 + c9x2 + c10x3 + c11)︸ ︷︷ ︸β3
(x1 + x3) + (c12x1 + c13x2 + c14x3 + c15)︸ ︷︷ ︸β4
(x2 + x3)
2 Expand the hypothetical Nullstellensatz certificate
c0x31 + c1x
21 x2 + c2x
21 x3 + (c3 + c4 + c8)x2
1 + (c5 + c13)x22 + (c10 + c14)x2
3 +
(c4 + c5 + c9 + c12)x1x2 + (c6 + c8 + c10 + c12)x1x3 + (c6 + c9 + c13 + c14)x2x3+
(c7 + c11 − c0)x1 + (c7 + c15 − c1)x2 + (c11 + c15 − c2)x3 − c3
3 Extract a linear system of equations from expanded certificate
c0 = 0, . . . , c3 + c4 + c8 = 0, c11 + c15 − c2 = 0, −c3 = 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 24: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/24.jpg)
NulLA running on a particular instance:
INPUT: A system of polynomial equations
x21 − 1 = 0, x1 + x3 = 0, x1 + x2 = 0, x2 + x3 = 0
1 Construct a hypothetical Nullstellensatz certificate of degree 1
1 = (c0x1 + c1x2 + c2x3 + c3)︸ ︷︷ ︸β1
(x21 − 1) + (c4x1 + c5x2 + c6x3 + c7)︸ ︷︷ ︸
β2
(x1 + x2)
+ (c8x1 + c9x2 + c10x3 + c11)︸ ︷︷ ︸β3
(x1 + x3) + (c12x1 + c13x2 + c14x3 + c15)︸ ︷︷ ︸β4
(x2 + x3)
2 Expand the hypothetical Nullstellensatz certificate
c0x31 + c1x
21 x2 + c2x
21 x3 + (c3 + c4 + c8)x2
1 + (c5 + c13)x22 + (c10 + c14)x2
3 +
(c4 + c5 + c9 + c12)x1x2 + (c6 + c8 + c10 + c12)x1x3 + (c6 + c9 + c13 + c14)x2x3+
(c7 + c11 − c0)x1 + (c7 + c15 − c1)x2 + (c11 + c15 − c2)x3 − c3
3 Extract a linear system of equations from expanded certificate
c0 = 0, . . . , c3 + c4 + c8 = 0, c11 + c15 − c2 = 0, −c3 = 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 25: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/25.jpg)
NulLA running on a particular instance:
INPUT: A system of polynomial equations
x21 − 1 = 0, x1 + x3 = 0, x1 + x2 = 0, x2 + x3 = 0
1 Construct a hypothetical Nullstellensatz certificate of degree 1
1 = (c0x1 + c1x2 + c2x3 + c3)︸ ︷︷ ︸β1
(x21 − 1) + (c4x1 + c5x2 + c6x3 + c7)︸ ︷︷ ︸
β2
(x1 + x2)
+ (c8x1 + c9x2 + c10x3 + c11)︸ ︷︷ ︸β3
(x1 + x3) + (c12x1 + c13x2 + c14x3 + c15)︸ ︷︷ ︸β4
(x2 + x3)
2 Expand the hypothetical Nullstellensatz certificate
c0x31 + c1x
21 x2 + c2x
21 x3 + (c3 + c4 + c8)x2
1 + (c5 + c13)x22 + (c10 + c14)x2
3 +
(c4 + c5 + c9 + c12)x1x2 + (c6 + c8 + c10 + c12)x1x3 + (c6 + c9 + c13 + c14)x2x3+
(c7 + c11 − c0)x1 + (c7 + c15 − c1)x2 + (c11 + c15 − c2)x3 − c3
3 Extract a linear system of equations from expanded certificate
c0 = 0, . . . , c3 + c4 + c8 = 0, c11 + c15 − c2 = 0, −c3 = 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 26: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/26.jpg)
NulLA running on a particular instance:
c0 c1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 c12 c13 c14 c15
x31 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
x21 x2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
x21 x3 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
x21 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0
x22 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0
x23 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0
x1x2 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0x1x3 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0x2x3 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0x1 −1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0x2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0x3 0 0 −1 0 0 0 0 0 0 0 0 1 0 0 0 1 01 0 0 0 −1 0 0 0 0 0 0 0 0 0 0 0 0 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 27: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/27.jpg)
NulLA running on a particular instance:
4 Solve the linear system, and assemble the certificate
1 = −(x21 − 1) +
1
2x1(x1 + x2)− 1
2x1(x2 + x3) +
1
2x1(x1 + x3)
5 Otherwise, increment the degree and repeat.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 28: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/28.jpg)
NulLA running on a particular instance:
4 Solve the linear system, and assemble the certificate
1 = −(x21 − 1) +
1
2x1(x1 + x2)− 1
2x1(x2 + x3) +
1
2x1(x1 + x3)
5 Otherwise, increment the degree and repeat.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 29: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/29.jpg)
NulLA Summary
INPUT: A system of polynomial equations1 Construct a hypothetical Nullstellensatz certificate of degree d2 Expand the hypothetical Nullstellensatz certificate3 Extract a linear system of equations from expanded certificate4 Solve the linear system.
1 If there is a solution, assemble the certificate.2 Otherwise, loop and repeat with a larger degree d until known
upper bounds are exceeded.
OUTPUT:1 yes, there is a solution.2 no, there is no solution, along with a certificate of infeasibility.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 30: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/30.jpg)
Partition Problem: Definition and Example
Partition: Given set of integers W = {w1, . . . ,wn}, can Wbe partitioned into two sets, S and W \ S such that∑
w∈Sw =
∑w∈W \S
w .
Example: Let W = { 1, 3, 5, 7,︸ ︷︷ ︸S
7, 9︸︷︷︸W \S
}. Then
16 = 1 + 3 + 5 + 7︸ ︷︷ ︸S
= 7 + 9︸ ︷︷ ︸W \S
= 16
.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 31: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/31.jpg)
Partition Problem: Definition and Example
Partition: Given set of integers W = {w1, . . . ,wn}, can Wbe partitioned into two sets, S and W \ S such that∑
w∈Sw =
∑w∈W \S
w .
Example: Let W = { 1, 3, 5, 7,︸ ︷︷ ︸S
7, 9︸︷︷︸W \S
}. Then
16 = 1 + 3 + 5 + 7︸ ︷︷ ︸S
= 7 + 9︸ ︷︷ ︸W \S
= 16
.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 32: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/32.jpg)
Partition Problem: Definition and Example
Partition: Given set of integers W = {w1, . . . ,wn}, can Wbe partitioned into two sets, S and W \ S such that∑
w∈Sw =
∑w∈W \S
w .
Example: Let W = { 1, 3, 5, 7,︸ ︷︷ ︸S
7, 9︸︷︷︸W \S
}. Then
16 =
1 + 3 + 5 + 7︸ ︷︷ ︸S
= 7 + 9︸ ︷︷ ︸W \S
= 16
.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 33: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/33.jpg)
Partition Problem: Definition and Example
Partition: Given set of integers W = {w1, . . . ,wn}, can Wbe partitioned into two sets, S and W \ S such that∑
w∈Sw =
∑w∈W \S
w .
Example: Let W = { 1, 3, 5, 7,︸ ︷︷ ︸S
7, 9︸︷︷︸W \S
}. Then
16 =
1 + 3 + 5 + 7︸ ︷︷ ︸S
=
7 + 9︸ ︷︷ ︸W \S
= 16
.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 34: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/34.jpg)
Partition Problem: Definition and Example
Partition: Given set of integers W = {w1, . . . ,wn}, can Wbe partitioned into two sets, S and W \ S such that∑
w∈Sw =
∑w∈W \S
w .
Example: Let W = { 1, 3, 5, 7,︸ ︷︷ ︸S
7, 9︸︷︷︸W \S
}. Then
16 = 1 + 3 + 5 + 7︸ ︷︷ ︸S
= 7 + 9︸ ︷︷ ︸W \S
= 16 .
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 35: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/35.jpg)
Partition as a System of Polynomial Equations
Given a set of integers W = {w1, . . . ,wn}:one variable per integer: x1, . . . , xn
For i = 1, . . . , n, let x2i − 1 = 0 .
and finally,n∑
i=1
wixi = 0 .
Proposition: Given a set of integers W = {w1, . . . ,wn}, theabove system of n + 1 polynomial equations has a solution ifand only if there exists a partition of W into two sets, S ⊆Wand W \ S , such that
∑w∈S w =
∑w∈W \S w .
Question: Let W = {1, 3, 5, 2}. Is W partitionable?
x21 − 1 = 0 , x2
2 − 1 = 0 , x33 − 1 = 0 , x2
4 − 1 = 0 ,
x1 + 3x2 + 5x3 + 2x4 = 0 .
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 36: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/36.jpg)
Partition as a System of Polynomial Equations
Given a set of integers W = {w1, . . . ,wn}:one variable per integer: x1, . . . , xnFor i = 1, . . . , n, let x2
i − 1 = 0 .
and finally,n∑
i=1
wixi = 0 .
Proposition: Given a set of integers W = {w1, . . . ,wn}, theabove system of n + 1 polynomial equations has a solution ifand only if there exists a partition of W into two sets, S ⊆Wand W \ S , such that
∑w∈S w =
∑w∈W \S w .
Question: Let W = {1, 3, 5, 2}. Is W partitionable?
x21 − 1 = 0 , x2
2 − 1 = 0 , x33 − 1 = 0 , x2
4 − 1 = 0 ,
x1 + 3x2 + 5x3 + 2x4 = 0 .
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 37: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/37.jpg)
Partition as a System of Polynomial Equations
Given a set of integers W = {w1, . . . ,wn}:one variable per integer: x1, . . . , xnFor i = 1, . . . , n, let x2
i − 1 = 0 .
and finally,n∑
i=1
wixi = 0 .
Proposition: Given a set of integers W = {w1, . . . ,wn}, theabove system of n + 1 polynomial equations has a solution ifand only if there exists a partition of W into two sets, S ⊆Wand W \ S , such that
∑w∈S w =
∑w∈W \S w .
Question: Let W = {1, 3, 5, 2}. Is W partitionable?
x21 − 1 = 0 , x2
2 − 1 = 0 , x33 − 1 = 0 , x2
4 − 1 = 0 ,
x1 + 3x2 + 5x3 + 2x4 = 0 .
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 38: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/38.jpg)
Partition as a System of Polynomial Equations
Given a set of integers W = {w1, . . . ,wn}:one variable per integer: x1, . . . , xnFor i = 1, . . . , n, let x2
i − 1 = 0 .
and finally,n∑
i=1
wixi = 0 .
Proposition: Given a set of integers W = {w1, . . . ,wn}, theabove system of n + 1 polynomial equations has a solution ifand only if there exists a partition of W into two sets, S ⊆Wand W \ S , such that
∑w∈S w =
∑w∈W \S w .
Question: Let W = {1, 3, 5, 2}. Is W partitionable?
x21 − 1 = 0 , x2
2 − 1 = 0 , x33 − 1 = 0 , x2
4 − 1 = 0 ,
x1 + 3x2 + 5x3 + 2x4 = 0 .
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 39: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/39.jpg)
Partition as a System of Polynomial Equations
Given a set of integers W = {w1, . . . ,wn}:one variable per integer: x1, . . . , xnFor i = 1, . . . , n, let x2
i − 1 = 0 .
and finally,n∑
i=1
wixi = 0 .
Proposition: Given a set of integers W = {w1, . . . ,wn}, theabove system of n + 1 polynomial equations has a solution ifand only if there exists a partition of W into two sets, S ⊆Wand W \ S , such that
∑w∈S w =
∑w∈W \S w .
Question: Let W = {1, 3, 5, 2}. Is W partitionable?
x21 − 1 = 0 , x2
2 − 1 = 0 , x33 − 1 = 0 , x2
4 − 1 = 0 ,
x1 + 3x2 + 5x3 + 2x4 = 0 .
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 40: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/40.jpg)
NP, coNP and the Nullstellensatz
Observation
The Partition problem is NP-complete.
Definition
NP is the class ofproblems whose solutionscan be verified inpolynomial-time.
(hard to find)
Definition
coNP is the class ofproblems whosecomplements are in NP.
(hard to verify)
It is widely believed thatcoNP 6= NP.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 41: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/41.jpg)
NP, coNP and the Nullstellensatz
Observation
The Partition problem is NP-complete.
Definition
NP is the class ofproblems whose solutionscan be verified inpolynomial-time.
(hard to find)
Definition
coNP is the class ofproblems whosecomplements are in NP.
(hard to verify)
It is widely believed thatcoNP 6= NP.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 42: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/42.jpg)
NP, coNP and the Nullstellensatz
Observation
The Partition problem is NP-complete.
Definition
NP is the class ofproblems whose solutionscan be verified inpolynomial-time.
(hard to find)
Definition
coNP is the class ofproblems whosecomplements are in NP.
(hard to verify)
It is widely believed thatcoNP 6= NP.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 43: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/43.jpg)
NP, coNP and the Nullstellensatz
Observation
The Partition problem is NP-complete.
Definition
NP is the class ofproblems whose solutionscan be verified inpolynomial-time.
(hard to find)
Definition
coNP is the class ofproblems whosecomplements are in NP.
(hard to verify)
It is widely believed thatcoNP 6= NP.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 44: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/44.jpg)
NP, coNP and the Nullstellensatz
Observation
The Partition problem is NP-complete.
Definition
NP is the class ofproblems whose solutionscan be verified inpolynomial-time.
(hard to find)
Definition
coNP is the class ofproblems whosecomplements are in NP.
(hard to verify)
It is widely believed thatcoNP 6= NP.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 45: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/45.jpg)
NP, coNP and the Nullstellensatz
Observation
The Partition problem is NP-complete.
Definition
NP is the class ofproblems whose solutionscan be verified inpolynomial-time.
(hard to find)
Definition
coNP is the class ofproblems whosecomplements are in NP.
(hard to verify)
It is widely believed thatcoNP 6= NP.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 46: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/46.jpg)
NP, coNP and the Nullstellensatz
Observation
The Partition problem is NP-complete.
Definition
NP is the class ofproblems whose solutionscan be verified inpolynomial-time.
(hard to find)
Definition
coNP is the class ofproblems whosecomplements are in NP.
(hard to verify)
It is widely believed thatcoNP 6= NP.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 47: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/47.jpg)
Minimum-degree Nullstellensatz Certificates Example
Question: Let W = {1, 3, 5, 2}. Is W partitionable?
Answer: No!
x21 − 1 = 0 , x2
2 − 1 = 0 , x33 − 1 = 0 , x2
4 − 1 = 0 ,
x1 + 3x2 + 5x3 + 2x4 = 0 .
1 =
(− 155
693+
842
3465x2x3 −
188
693x2x4 +
908
3465x3x4
)(x2
1 − 1)
+
(− 1
231+
842
1155x1x3 −
188
231x1x4 +
292
1155x3x4
)(x2
2 − 1)
+
(− 467
693+
842
693x1x2 +
908
693x1x4 +
292
693x2x4
)(x2
3 − 1)
+
(− 68
693− 376
693x1x2 +
1816
3465x1x3 +
584
3465x2x3
)(x2
4 − 1)
+
(155
693x1 +
1
693x2 +
467
3465x3 +
34
693x4 −
842
3465x1x2x3
+188
693x1x2x4 −
908
3465x1x3x4 −
292
3465x2x3x4
)(x1 + 3x2 + 5x3 + 2x4) .
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 48: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/48.jpg)
Minimum-degree Nullstellensatz Certificates Example
Question: Let W = {1, 3, 5, 2}. Is W partitionable? Answer: No!
x21 − 1 = 0 , x2
2 − 1 = 0 , x33 − 1 = 0 , x2
4 − 1 = 0 ,
x1 + 3x2 + 5x3 + 2x4 = 0 .
1 =
(− 155
693+
842
3465x2x3 −
188
693x2x4 +
908
3465x3x4
)(x2
1 − 1)
+
(− 1
231+
842
1155x1x3 −
188
231x1x4 +
292
1155x3x4
)(x2
2 − 1)
+
(− 467
693+
842
693x1x2 +
908
693x1x4 +
292
693x2x4
)(x2
3 − 1)
+
(− 68
693− 376
693x1x2 +
1816
3465x1x3 +
584
3465x2x3
)(x2
4 − 1)
+
(155
693x1 +
1
693x2 +
467
3465x3 +
34
693x4 −
842
3465x1x2x3
+188
693x1x2x4 −
908
3465x1x3x4 −
292
3465x2x3x4
)(x1 + 3x2 + 5x3 + 2x4) .
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 49: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/49.jpg)
Minimum-degree Partition Nullstellensatz Certificates
Let Snk denote the set of k-subsets of {1, . . . , n}
(i.e., |Sn
k | =(nk
))Theorem (S.M., S. Onn, 2012)
Given a set of non-partitionable integers W = {w1, . . . ,wn}encoded as a system of polynomial equations as above, there existsa minimum-degree Nullstellensatz certificate for the non-existenceof a partition of W as follows:
1 =n∑
i=1
( ∑k even
k≤n−1
∑s∈Sn\i
k
ci ,sx s)
(x2i − 1) +
(∑k oddk≤n
∑s∈Sn
k
bsx s)( n∑
i=1
wixi
).
Moreover, every Nullstellensatz certificate associated with theabove system of polynomial equations contains exactly one
monomial for each of the even parity subsets of Sn\ik , and exactly
one monomial for each of the odd parity subsets of Snk .
Note: degree is n for n odd and n − 1 for n even.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 50: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/50.jpg)
Minimum-degree Partition Nullstellensatz Certificates
Let Snk denote the set of k-subsets of {1, . . . , n}
(i.e., |Sn
k | =(nk
))
Theorem (S.M., S. Onn, 2012)
Given a set of non-partitionable integers W = {w1, . . . ,wn}encoded as a system of polynomial equations as above, there existsa minimum-degree Nullstellensatz certificate for the non-existenceof a partition of W as follows:
1 =n∑
i=1
( ∑k even
k≤n−1
∑s∈Sn\i
k
ci ,sx s)
(x2i − 1) +
(∑k oddk≤n
∑s∈Sn
k
bsx s)( n∑
i=1
wixi
).
Moreover, every Nullstellensatz certificate associated with theabove system of polynomial equations contains exactly one
monomial for each of the even parity subsets of Sn\ik , and exactly
one monomial for each of the odd parity subsets of Snk .
Note: degree is n for n odd and n − 1 for n even.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 51: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/51.jpg)
Minimum-degree Partition Nullstellensatz Certificates
Let Snk denote the set of k-subsets of {1, . . . , n}
(i.e., |Sn
k | =(nk
))Theorem (S.M., S. Onn, 2012)
Given a set of non-partitionable integers W = {w1, . . . ,wn}encoded as a system of polynomial equations as above, there existsa minimum-degree Nullstellensatz certificate for the non-existenceof a partition of W as follows:
1 =n∑
i=1
( ∑k even
k≤n−1
∑s∈Sn\i
k
ci ,sx s)
(x2i − 1) +
(∑k oddk≤n
∑s∈Sn
k
bsx s)( n∑
i=1
wixi
).
Moreover, every Nullstellensatz certificate associated with theabove system of polynomial equations contains exactly one
monomial for each of the even parity subsets of Sn\ik , and exactly
one monomial for each of the odd parity subsets of Snk .
Note: degree is n for n odd and n − 1 for n even.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 52: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/52.jpg)
Minimum-degree Partition Nullstellensatz Certificates
Let Snk denote the set of k-subsets of {1, . . . , n}
(i.e., |Sn
k | =(nk
))Theorem (S.M., S. Onn, 2012)
Given a set of non-partitionable integers W = {w1, . . . ,wn}encoded as a system of polynomial equations as above, there existsa minimum-degree Nullstellensatz certificate for the non-existenceof a partition of W as follows:
1 =n∑
i=1
( ∑k even
k≤n−1
∑s∈Sn\i
k
ci ,sx s)
(x2i − 1) +
(∑k oddk≤n
∑s∈Sn
k
bsx s)( n∑
i=1
wixi
).
Moreover, every Nullstellensatz certificate associated with theabove system of polynomial equations contains exactly one
monomial for each of the even parity subsets of Sn\ik , and exactly
one monomial for each of the odd parity subsets of Snk .
Note: degree is n for n odd and n − 1 for n even.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 53: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/53.jpg)
Minimum-degree Partition Nullstellensatz Certificates
Let Snk denote the set of k-subsets of {1, . . . , n}
(i.e., |Sn
k | =(nk
))Theorem (S.M., S. Onn, 2012)
Given a set of non-partitionable integers W = {w1, . . . ,wn}encoded as a system of polynomial equations as above, there existsa minimum-degree Nullstellensatz certificate for the non-existenceof a partition of W as follows:
1 =n∑
i=1
( ∑k even
k≤n−1
∑s∈Sn\i
k
ci ,sx s)
(x2i − 1) +
(∑k oddk≤n
∑s∈Sn
k
bsx s)( n∑
i=1
wixi
).
Moreover, every Nullstellensatz certificate associated with theabove system of polynomial equations contains exactly one
monomial for each of the even parity subsets of Sn\ik , and exactly
one monomial for each of the odd parity subsets of Snk .
Note: degree is n for n odd and n − 1 for n even.Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 54: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/54.jpg)
Minimum-degree Partition Nullstellensatz Certificates
Let Snk denote the set of k-subsets of {1, . . . , n}
(i.e., |Sn
k | =(nk
))Theorem (S.M., S. Onn, 2012)
Given a set of non-partitionable integers W = {w1, . . . ,wn}encoded as a system of polynomial equations as above, there existsa minimum-degree Nullstellensatz certificate for the non-existenceof a partition of W as follows:
1 =n∑
i=1
( ∑k even
k≤n−1
∑s∈Sn\i
k
ci ,sx s)
(x2i − 1) +
(∑k oddk≤n
∑s∈Sn
k
bsx s)( n∑
i=1
wixi
).
Moreover, every Nullstellensatz certificate associated with theabove system of polynomial equations contains exactly one
monomial for each of the even parity subsets of Sn\ik , and exactly
one monomial for each of the odd parity subsets of Snk .
Note: degree is n for n odd and n − 1 for n even.Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 55: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/55.jpg)
Minimum-degree Partition Nullstellensatz Certificates
Let Snk denote the set of k-subsets of {1, . . . , n}
(i.e., |Sn
k | =(nk
))Theorem (S.M., S. Onn, 2012)
Given a set of non-partitionable integers W = {w1, . . . ,wn}encoded as a system of polynomial equations as above, there existsa minimum-degree Nullstellensatz certificate for the non-existenceof a partition of W as follows:
1 =n∑
i=1
( ∑k even
k≤n−1
∑s∈Sn\i
k
ci ,sx s)
(x2i − 1) +
(∑k oddk≤n
∑s∈Sn
k
bsx s)( n∑
i=1
wixi
).
Moreover, every Nullstellensatz certificate associated with theabove system of polynomial equations contains exactly one
monomial for each of the even parity subsets of Sn\ik , and exactly
one monomial for each of the odd parity subsets of Snk .
Note: degree is n for n odd and n − 1 for n even.Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 56: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/56.jpg)
Minimum-degree Partition Nullstellensatz Certificates
Let Snk denote the set of k-subsets of {1, . . . , n}
(i.e., |Sn
k | =(nk
))Theorem (S.M., S. Onn, 2012)
Given a set of non-partitionable integers W = {w1, . . . ,wn}encoded as a system of polynomial equations as above, there existsa minimum-degree Nullstellensatz certificate for the non-existenceof a partition of W as follows:
1 =n∑
i=1
( ∑k even
k≤n−1
∑s∈Sn\i
k
ci ,sx s)
(x2i − 1) +
(∑k oddk≤n
∑s∈Sn
k
bsx s)( n∑
i=1
wixi
).
Moreover, every Nullstellensatz certificate associated with theabove system of polynomial equations contains exactly one
monomial for each of the even parity subsets of Sn\ik , and exactly
one monomial for each of the odd parity subsets of Snk .
Note: degree is n for n odd and n − 1 for n even.Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 57: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/57.jpg)
Minimum-degree Partition Nullstellensatz Certificates
Let Snk denote the set of k-subsets of {1, . . . , n}
(i.e., |Sn
k | =(nk
))Theorem (S.M., S. Onn, 2012)
Given a set of non-partitionable integers W = {w1, . . . ,wn}encoded as a system of polynomial equations as above, there existsa minimum-degree Nullstellensatz certificate for the non-existenceof a partition of W as follows:
1 =n∑
i=1
( ∑k even
k≤n−1
∑s∈Sn\i
k
ci ,sx s)
(x2i − 1) +
(∑k oddk≤n
∑s∈Sn
k
bsx s)( n∑
i=1
wixi
).
Moreover, every Nullstellensatz certificate associated with theabove system of polynomial equations contains exactly one
monomial for each of the even parity subsets of Sn\ik , and exactly
one monomial for each of the odd parity subsets of Snk .
Note: degree is n for n odd and n − 1 for n even.Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 58: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/58.jpg)
Minimum-degree Partition Nullstellensatz Certificates
Let Snk denote the set of k-subsets of {1, . . . , n}
(i.e., |Sn
k | =(nk
))Theorem (S.M., S. Onn, 2012)
Given a set of non-partitionable integers W = {w1, . . . ,wn}encoded as a system of polynomial equations as above, there existsa minimum-degree Nullstellensatz certificate for the non-existenceof a partition of W as follows:
1 =n∑
i=1
( ∑k even
k≤n−1
∑s∈Sn\i
k
ci ,sx s)
(x2i − 1) +
(∑k oddk≤n
∑s∈Sn
k
bsx s)( n∑
i=1
wixi
).
Moreover, every Nullstellensatz certificate associated with theabove system of polynomial equations contains exactly one
monomial for each of the even parity subsets of Sn\ik , and exactly
one monomial for each of the odd parity subsets of Snk .
Note: degree is n for n odd and n − 1 for n even.Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 59: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/59.jpg)
Minimum-degree Partition Nullstellensatz Certificates
Let Snk denote the set of k-subsets of {1, . . . , n}
(i.e., |Sn
k | =(nk
))Theorem (S.M., S. Onn, 2012)
Given a set of non-partitionable integers W = {w1, . . . ,wn}encoded as a system of polynomial equations as above, there existsa minimum-degree Nullstellensatz certificate for the non-existenceof a partition of W as follows:
1 =n∑
i=1
( ∑k even
k≤n−1
∑s∈Sn\i
k
ci ,sx s)
(x2i − 1) +
(∑k oddk≤n
∑s∈Sn
k
bsx s)( n∑
i=1
wixi
).
Moreover, every Nullstellensatz certificate associated with theabove system of polynomial equations contains exactly one
monomial for each of the even parity subsets of Sn\ik , and exactly
one monomial for each of the odd parity subsets of Snk .
Note: degree is n for n odd and n − 1 for n even.Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 60: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/60.jpg)
Minimum-degree Partition Nullstellensatz Certificates
Let Snk denote the set of k-subsets of {1, . . . , n}
(i.e., |Sn
k | =(nk
))Theorem (S.M., S. Onn, 2012)
Given a set of non-partitionable integers W = {w1, . . . ,wn}encoded as a system of polynomial equations as above, there existsa minimum-degree Nullstellensatz certificate for the non-existenceof a partition of W as follows:
1 =n∑
i=1
( ∑k even
k≤n−1
∑s∈Sn\i
k
ci ,sx s)
(x2i − 1) +
(∑k oddk≤n
∑s∈Sn
k
bsx s)( n∑
i=1
wixi
).
Moreover, every Nullstellensatz certificate associated with theabove system of polynomial equations contains exactly one
monomial for each of the even parity subsets of Sn\ik , and exactly
one monomial for each of the odd parity subsets of Snk .
Note: certificate is both high degree and dense.Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 61: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/61.jpg)
Minimum-degree Nullstellensatz Certificates Example
Question: Let W = {1, 3, 5, 2}. Is W partitionable?
Answer: No!
x21 − 1 = 0 , x2
2 − 1 = 0 , x33 − 1 = 0 , x2
4 − 1 = 0 ,
x1 + 3x2 + 5x3 + 2x4 = 0 .
1 =
(− 155
693+
842
3465x2x3 −
188
693x2x4 +
908
3465x3x4
)(x2
1 − 1)
+
(− 1
231+
842
1155x1x3 −
188
231x1x4 +
292
1155x3x4
)(x2
2 − 1)
+
(− 467
693+
842
693x1x2 +
908
693x1x4 +
292
693x2x4
)(x2
3 − 1)
+
(− 68
693− 376
693x1x2 +
1816
3465x1x3 +
584
3465x2x3
)(x2
4 − 1)
+
(155
693x1 +
1
693x2 +
467
3465x3 +
34
693x4 −
842
3465x1x2x3
+188
693x1x2x4 −
908
3465x1x3x4 −
292
3465x2x3x4
)(x1 + 3x2 + 5x3 + 2x4) .
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 62: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/62.jpg)
Minimum-degree Nullstellensatz Certificates Example
Question: Let W = {1, 3, 5, 2}. Is W partitionable? Answer: No!
x21 − 1 = 0 , x2
2 − 1 = 0 , x33 − 1 = 0 , x2
4 − 1 = 0 ,
x1 + 3x2 + 5x3 + 2x4 = 0 .
1 =
(− 155
693+
842
3465x2x3 −
188
693x2x4 +
908
3465x3x4
)(x2
1 − 1)
+
(− 1
231+
842
1155x1x3 −
188
231x1x4 +
292
1155x3x4
)(x2
2 − 1)
+
(− 467
693+
842
693x1x2 +
908
693x1x4 +
292
693x2x4
)(x2
3 − 1)
+
(− 68
693− 376
693x1x2 +
1816
3465x1x3 +
584
3465x2x3
)(x2
4 − 1)
+
(155
693x1 +
1
693x2 +
467
3465x3 +
34
693x4 −
842
3465x1x2x3
+188
693x1x2x4 −
908
3465x1x3x4 −
292
3465x2x3x4
)(x1 + 3x2 + 5x3 + 2x4) .
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 63: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/63.jpg)
Minimum-degree Nullstellensatz Certificates Example
Question: Let W = {1, 3, 5, 2}. Is W partitionable? Answer: No!
x21 − 1 = 0 , x2
2 − 1 = 0 , x33 − 1 = 0 , x2
4 − 1 = 0 ,
x1 + 3x2 + 5x3 + 2x4 = 0 .
1 =
(− 155
693+
842
3465x2x3 −
188
693x2x4 +
908
3465x3x4
)(x2
1 − 1)
+
(− 1
231+
842
1155x1x3 −
188
231x1x4 +
292
1155x3x4
)(x2
2 − 1)
+
(− 467
693+
842
693x1x2 +
908
693x1x4 +
292
693x2x4
)(x2
3 − 1)
+
(− 68
693− 376
693x1x2 +
1816
3465x1x3 +
584
3465x2x3
)(x2
4 − 1)
+
(155
693x1 +
1
693x2 +
467
3465x3 +
34
693x4 −
842
3465x1x2x3
+188
693x1x2x4 −
908
3465x1x3x4 −
292
3465x2x3x4
)(x1 + 3x2 + 5x3 + 2x4) .
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 64: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/64.jpg)
The Partition Matrix: Extract a Square Linear System
Let W = {w1,w2,w3}.
w3 w2 w1 0w2 w3 0 w1
w1 0 w3 w2
0 w1 w2 w3
− +
w1
+
w2
+
w3
−
w1
+
w2 + w3
−
w2
+
w1
+
w3
−
w1
−
w2 + w3
The determinant of the above partition matrix is the
(w1 + w2 + w3)(−w1 + w2 + w3)(w1 − w2 + w3)(−w1 − w2 + w3)︸ ︷︷ ︸partition polynomial
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 65: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/65.jpg)
The Partition Matrix: Extract a Square Linear System
Let W = {w1,w2,w3}.
w3 w2 w1 0w2 w3 0 w1
w1 0 w3 w2
0 w1 w2 w3
− +
w1
+
w2
+
w3
−
w1
+
w2 +
w3
−
w2
+
w1
+
w3
−
w1
−
w2 +
w3
The determinant of the above partition matrix is the
(w1 + w2 + w3)(−w1 + w2 + w3)(w1 − w2 + w3)(−w1 − w2 + w3)︸ ︷︷ ︸partition polynomial
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 66: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/66.jpg)
The Partition Matrix: Extract a Square Linear System
Let W = {w1,w2,w3}.
w3 w2 w1 0w2 w3 0 w1
w1 0 w3 w2
0 w1 w2 w3
− +
w1
+
w2
+
w3
−
w1
+
w2 +
w3
−
w2
+
w1
+
w3
−
w1
−
w2 +
w3
The determinant of the above partition matrix is the
(w1 + w2 + w3)(−w1 + w2 + w3)(w1 − w2 + w3)(−w1 − w2 + w3)︸ ︷︷ ︸partition polynomial
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 67: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/67.jpg)
The Partition Matrix: Extract a Square Linear System
Let W = {w1,w2,w3}.
w3 w2 w1 0w2 w3 0 w1
w1 0 w3 w2
0 w1 w2 w3
− +
w1
+
w2
+
w3
−
w1
+
w2
+
w3
−
w2
+
w1
+
w3
−
w1
−
w2 +
w3
The determinant of the above partition matrix is the
(w1 + w2 + w3)(−w1 + w2 + w3)(w1 − w2 + w3)(−w1 − w2 + w3)︸ ︷︷ ︸partition polynomial
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 68: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/68.jpg)
The Partition Matrix: Extract a Square Linear System
Let W = {w1,w2,w3}.
w3 w2 w1 0w2 w3 0 w1
w1 0 w3 w2
0 w1 w2 w3
− +
w1
+
w2
+
w3
−
w1
+
w2
+
w3
−
w2
+
w1
+
w3
−
w1
−
w2 +
w3
The determinant of the above partition matrix is the
(w1 + w2 + w3)(−w1 + w2 + w3)(w1 − w2 + w3)(−w1 − w2 + w3)︸ ︷︷ ︸partition polynomial
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 69: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/69.jpg)
The Partition Matrix: Extract a Square Linear System
Let W = {w1,w2,w3}.
w3 w2 w1 0w2 w3 0 w1
w1 0 w3 w2
0 w1 w2 w3
− +
w1
+
w2
+
w3
−
w1
+
w2
+
w3
−
w2
+
w1
+
w3
−
w1
−
w2
+
w3
The determinant of the above partition matrix is the
(w1 + w2 + w3)(−w1 + w2 + w3)(w1 − w2 + w3)(−w1 − w2 + w3)︸ ︷︷ ︸partition polynomial
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 70: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/70.jpg)
The Partition Matrix: Extract a Square Linear System
Let W = {w1,w2,w3}.
w3 w2 w1 0w2 w3 0 w1
w1 0 w3 w2
0 w1 w2 w3
− +
w1 + w2 + w3
− w1 + w2 + w3
− w2 + w1 + w3
− w1 − w2 + w3
The determinant of the above partition matrix is the
(w1 + w2 + w3)(−w1 + w2 + w3)(w1 − w2 + w3)(−w1 − w2 + w3)︸ ︷︷ ︸partition polynomial
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 71: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/71.jpg)
The Partition Matrix: Extract a Square Linear System
Let W = {w1,w2,w3}.
w3 w2 w1 0w2 w3 0 w1
w1 0 w3 w2
0 w1 w2 w3
− +
w1 + w2 + w3
− w1 + w2 + w3
− w2 + w1 + w3
− w1 − w2 + w3
The determinant of the above partition matrix is the
(w1 + w2 + w3)(−w1 + w2 + w3)(w1 − w2 + w3)(−w1 − w2 + w3)︸ ︷︷ ︸partition polynomial
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 72: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/72.jpg)
The Partition Matrix: Extract a Square Linear System
Let W = {w1,w2,w3}.
w3 w2 w1 0w2 w3 0 w1
w1 0 w3 w2
0 w1 w2 w3
− +
w1 + w2 + w3
− w1 + w2 + w3
− w2 + w1 + w3
− w1 − w2 + w3
The determinant of the above partition matrix is the
(w1 + w2 + w3)(−w1 + w2 + w3)(w1 − w2 + w3)(−w1 − w2 + w3)︸ ︷︷ ︸partition polynomial
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 73: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/73.jpg)
The Partition Matrix: Extract a Square Linear System
Let W = {w1,w2,w3}.
w3 w2 w1 0w2 w3 0 w1
w1 0 w3 w2
0 w1 w2 w3
− +
w1 + w2 + w3
− w1 + w2 + w3
− w2 + w1 + w3
− w1 − w2 + w3
The determinant of the above partition matrix is the
(w1 + w2 + w3)(−w1 + w2 + w3)(w1 − w2 + w3)(−w1 − w2 + w3)︸ ︷︷ ︸partition polynomial
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 74: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/74.jpg)
Another Example of the Partition Matrix
Let W = {w1, . . . ,w4}. The partition matrix P is
P =
w4 w3 w2 w1 0 0 0 0w3 w4 0 0 w2 w1 0 0w2 0 w4 0 w3 0 w1 0w1 0 0 w4 0 w3 w2 00 w2 w3 0 w4 0 0 w1
0 w1 0 w3 0 w4 0 w2
0 0 w1 w2 0 0 w4 w3
0 0 0 0 w1 w2 w3 w4
,
det(P) = (w1 + w2 + w3 + w4)(−w1 + w2 + w3 + w4)(w1 − w2 + w3 + w4)
(w1 + w2 − w3 + w4)(−w1 + w2 − w3 + w4)(−w1 − w2 + w3 + w4)
(w1 − w2 − w3 + w4)(−w1 − w2 − w3 + w4) .
“partition polynomial”
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 75: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/75.jpg)
Another Example of the Partition Matrix
Let W = {w1, . . . ,w4}. The partition matrix P is
P =
w4 w3 w2 w1 0 0 0 0w3 w4 0 0 w2 w1 0 0w2 0 w4 0 w3 0 w1 0w1 0 0 w4 0 w3 w2 00 w2 w3 0 w4 0 0 w1
0 w1 0 w3 0 w4 0 w2
0 0 w1 w2 0 0 w4 w3
0 0 0 0 w1 w2 w3 w4
,
det(P) = (w1 + w2 + w3 + w4)(−w1 + w2 + w3 + w4)(w1 − w2 + w3 + w4)
(w1 + w2 − w3 + w4)(−w1 + w2 − w3 + w4)(−w1 − w2 + w3 + w4)
(w1 − w2 − w3 + w4)(−w1 − w2 − w3 + w4) .
“partition polynomial”
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 76: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/76.jpg)
Determinant and Partition Polynomial
Theorem (S.M., S. Onn, 2012)
The determinant of the partition matrix is the partition polynomial.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 77: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/77.jpg)
Hilbert’s Nullstellensatz Numeric Coefficients and thePartition Polynomial
Given a square non-singular matrix A, Cramer’s rule states thatAx = b can be solved according to the formula
xi =det(A|ib)
det(A),
where A|ib is the matrix A with the i-th column replaced with theright-hand side vector b.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 78: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/78.jpg)
Recall the non-partitionable W = {1, 3, 5, 2}:1 =
(− 155
693+
842
3465x2x3 −
188
693x2x4 +
908
3465x3x4
)(x2
1 − 1)
+
(− 1
231+
842
1155x1x3 −
188
231x1x4 +
292
1155x3x4
)(x2
2 − 1)
+
(− 467
693+
842
693x1x2 +
908
693x1x4 +
292
693x2x4
)(x2
3 − 1)
+
(− 68
693− 376
693x1x2 +
1816
3465x1x3 +
584
3465x2x3
)(x2
4 − 1)
+
(155
693x1 +
1
693x2 +
467
3465x3 +
34
693x4 −
842
3465x1x2x3
+188
693x1x2x4 −
908
3465x1x3x4 −
292
3465x2x3x4
)(x1 + 3x2 + 5x3 + 2x4) .
−51975 = (1 + 3 + 5 + 2)(−1 + 3 + 5 + 2)(1− 3 + 5 + 2)(1 + 3− 5 + 2)
(−1− 3 + 5 + 2)(−1 + 3− 5 + 2)(1− 3− 5 + 2)(−1− 3− 5 + 2) .
Via Cramer’s rule, we see that the unknown b4 is equal to
b4 =−2550
−51975
=34
693.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 79: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/79.jpg)
Recall the non-partitionable W = {1, 3, 5, 2}:1 =
(− 155
693+
842
3465x2x3 −
188
693x2x4 +
908
3465x3x4
)(x2
1 − 1)
+
(− 1
231+
842
1155x1x3 −
188
231x1x4 +
292
1155x3x4
)(x2
2 − 1)
+
(− 467
693+
842
693x1x2 +
908
693x1x4 +
292
693x2x4
)(x2
3 − 1)
+
(− 68
693− 376
693x1x2 +
1816
3465x1x3 +
584
3465x2x3
)(x2
4 − 1)
+
(155
693x1 +
1
693x2 +
467
3465x3 +
34
693x4 −
842
3465x1x2x3
+188
693x1x2x4 −
908
3465x1x3x4 −
292
3465x2x3x4
)(x1 + 3x2 + 5x3 + 2x4) .
−51975 = (1 + 3 + 5 + 2)(−1 + 3 + 5 + 2)(1− 3 + 5 + 2)(1 + 3− 5 + 2)
(−1− 3 + 5 + 2)(−1 + 3− 5 + 2)(1− 3− 5 + 2)(−1− 3− 5 + 2) .
Via Cramer’s rule, we see that the unknown b4 is equal to
b4 =−2550
−51975
=34
693.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 80: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/80.jpg)
Recall the non-partitionable W = {1, 3, 5, 2}:1 =
(− 155
693+
842
3465x2x3 −
188
693x2x4 +
908
3465x3x4
)(x2
1 − 1)
+
(− 1
231+
842
1155x1x3 −
188
231x1x4 +
292
1155x3x4
)(x2
2 − 1)
+
(− 467
693+
842
693x1x2 +
908
693x1x4 +
292
693x2x4
)(x2
3 − 1)
+
(− 68
693− 376
693x1x2 +
1816
3465x1x3 +
584
3465x2x3
)(x2
4 − 1)
+
(155
693x1 +
1
693x2 +
467
3465x3 +
34
693x4 −
842
3465x1x2x3
+188
693x1x2x4 −
908
3465x1x3x4 −
292
3465x2x3x4
)(x1 + 3x2 + 5x3 + 2x4) .
−51975 = (1 + 3 + 5 + 2)(−1 + 3 + 5 + 2)(1− 3 + 5 + 2)(1 + 3− 5 + 2)
(−1− 3 + 5 + 2)(−1 + 3− 5 + 2)(1− 3− 5 + 2)(−1− 3− 5 + 2) .
Via Cramer’s rule, we see that the unknown b4 is equal to
b4 =−2550
−51975
=34
693.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 81: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/81.jpg)
Recall the non-partitionable W = {1, 3, 5, 2}:1 =
(− 155
693+
842
3465x2x3 −
188
693x2x4 +
908
3465x3x4
)(x2
1 − 1)
+
(− 1
231+
842
1155x1x3 −
188
231x1x4 +
292
1155x3x4
)(x2
2 − 1)
+
(− 467
693+
842
693x1x2 +
908
693x1x4 +
292
693x2x4
)(x2
3 − 1)
+
(− 68
693− 376
693x1x2 +
1816
3465x1x3 +
584
3465x2x3
)(x2
4 − 1)
+
(155
693x1 +
1
693x2 +
467
3465x3 +
34
693x4 −
842
3465x1x2x3
+188
693x1x2x4 −
908
3465x1x3x4 −
292
3465x2x3x4
)(x1 + 3x2 + 5x3 + 2x4) .
−51975 = (1 + 3 + 5 + 2)(−1 + 3 + 5 + 2)(1− 3 + 5 + 2)(1 + 3− 5 + 2)
(−1− 3 + 5 + 2)(−1 + 3− 5 + 2)(1− 3− 5 + 2)(−1− 3− 5 + 2) .
Via Cramer’s rule, we see that the unknown b4 is equal to
b4 =−2550
−51975
=34
693.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 82: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/82.jpg)
Recall the non-partitionable W = {1, 3, 5, 2}:1 =
(− 155
693+
842
3465x2x3 −
188
693x2x4 +
908
3465x3x4
)(x2
1 − 1)
+
(− 1
231+
842
1155x1x3 −
188
231x1x4 +
292
1155x3x4
)(x2
2 − 1)
+
(− 467
693+
842
693x1x2 +
908
693x1x4 +
292
693x2x4
)(x2
3 − 1)
+
(− 68
693− 376
693x1x2 +
1816
3465x1x3 +
584
3465x2x3
)(x2
4 − 1)
+
(155
693x1 +
1
693x2 +
467
3465x3 +
34
693x4 −
842
3465x1x2x3
+188
693x1x2x4 −
908
3465x1x3x4 −
292
3465x2x3x4
)(x1 + 3x2 + 5x3 + 2x4) .
−51975 = (1 + 3 + 5 + 2)(−1 + 3 + 5 + 2)(1− 3 + 5 + 2)(1 + 3− 5 + 2)
(−1− 3 + 5 + 2)(−1 + 3− 5 + 2)(1− 3− 5 + 2)(−1− 3− 5 + 2) .
Via Cramer’s rule, we see that the unknown b4 is equal to
b4 =−2550
−51975=
34
693.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 83: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/83.jpg)
Definition of Graph Coloring
Graph coloring: Given a graph G , and an integer k, can thevertices be colored with k colors in such a way that no twoadjacent vertices are the same color?
Petersen Graph: 3-colorable
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 84: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/84.jpg)
Definition of Graph Coloring
Graph coloring: Given a graph G , and an integer k, can thevertices be colored with k colors in such a way that no twoadjacent vertices are the same color?
Petersen Graph: 3-colorable
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 85: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/85.jpg)
Graph 3-Coloring as a System of Polynomial Equationsover C (D. Bayer)
one variable per vertex: x1, . . . , xn
vertex polynomials: For every vertex i = 1, . . . , n,
x3i − 1 = 0
edge polynomials: For every edge (i , j) ∈ E (G ),
x3i − x3
j
xi − xj=
x2i + xixj + x2
j = 0
Theorem: Let G be a graph encoded as the above (n + m)system of equations. Then this system has a solution if andonly if G is 3-colorable.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 86: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/86.jpg)
Graph 3-Coloring as a System of Polynomial Equationsover C (D. Bayer)
one variable per vertex: x1, . . . , xn
vertex polynomials: For every vertex i = 1, . . . , n,
x3i − 1 = 0
edge polynomials: For every edge (i , j) ∈ E (G ),
x3i − x3
j
xi − xj=
x2i + xixj + x2
j = 0
Theorem: Let G be a graph encoded as the above (n + m)system of equations. Then this system has a solution if andonly if G is 3-colorable.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 87: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/87.jpg)
Graph 3-Coloring as a System of Polynomial Equationsover C (D. Bayer)
one variable per vertex: x1, . . . , xn
vertex polynomials: For every vertex i = 1, . . . , n,
x3i − 1 = 0
edge polynomials: For every edge (i , j) ∈ E (G ),
x3i − x3
j
xi − xj=
x2i + xixj + x2
j = 0
Theorem: Let G be a graph encoded as the above (n + m)system of equations. Then this system has a solution if andonly if G is 3-colorable.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 88: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/88.jpg)
Graph 3-Coloring as a System of Polynomial Equationsover C (D. Bayer)
one variable per vertex: x1, . . . , xn
vertex polynomials: For every vertex i = 1, . . . , n,
x3i − 1 = 0
edge polynomials: For every edge (i , j) ∈ E (G ),
x3i − x3
j
xi − xj= x2
i + xixj + x2j = 0
Theorem: Let G be a graph encoded as the above (n + m)system of equations. Then this system has a solution if andonly if G is 3-colorable.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 89: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/89.jpg)
Graph 3-Coloring as a System of Polynomial Equationsover C (D. Bayer)
one variable per vertex: x1, . . . , xn
vertex polynomials: For every vertex i = 1, . . . , n,
x3i − 1 = 0
edge polynomials: For every edge (i , j) ∈ E (G ),
x3i − x3
j
xi − xj= x2
i + xixj + x2j = 0
Theorem: Let G be a graph encoded as the above (n + m)system of equations. Then this system has a solution if andonly if G is 3-colorable.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 90: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/90.jpg)
Petersen Graph =⇒ System of Polynomial Equations
Figure: Is the Petersen graph 3-colorable?
x30 − 1 = 0, x3
1 − 1 = 0, x20 + x0x1 + x2
1 = 0, x20 + x0x4 + x2
4 = 0
x32 − 1 = 0, x3
3 − 1 = 0, x20 + x0x5 + x2
5 = 0, x21 + x1x2 + x2
2 = 0
x34 − 1 = 0, x3
5 − 1 = 0, x21 + x1x6 + x2
6 = 0, x22 + x2x3 + x2
3 = 0
x36 − 1 = 0, x3
7 − 1 = 0, · · · · · · · · · · · ·x3
8 − 1 = 0, x39 − 1 = 0, x2
6 + x6x8 + x28 = 0, x2
7 + x7x9 + x29 = 0
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 91: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/91.jpg)
Where is the Infinite Family of Graphs that Grow over C?
4
Flower, Kneser, Grotzsch, Jin, Mycielski graphs have degree 4.
Theorem: Every Nullstellensatz certificate of anon-3-colorable graph has degree at least four.
Theorem: For n ≥ 4, a minimum-degree Nullstellensatzcertificate of non-3-colorability for cliques and odd wheels hasdegree exactly four.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 92: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/92.jpg)
Where is the Infinite Family of Graphs that Grow over C?
4Flower, Kneser, Grotzsch, Jin, Mycielski graphs have degree 4.
Theorem: Every Nullstellensatz certificate of anon-3-colorable graph has degree at least four.
Theorem: For n ≥ 4, a minimum-degree Nullstellensatzcertificate of non-3-colorability for cliques and odd wheels hasdegree exactly four.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 93: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/93.jpg)
Where is the Infinite Family of Graphs that Grow over C?
4Flower, Kneser, Grotzsch, Jin, Mycielski graphs have degree 4.
Theorem: Every Nullstellensatz certificate of anon-3-colorable graph has degree at least four.
Theorem: For n ≥ 4, a minimum-degree Nullstellensatzcertificate of non-3-colorability for cliques and odd wheels hasdegree exactly four.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 94: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/94.jpg)
Where is the Infinite Family of Graphs that Grow over C?
4Flower, Kneser, Grotzsch, Jin, Mycielski graphs have degree 4.
Theorem: Every Nullstellensatz certificate of anon-3-colorable graph has degree at least four.
Theorem: For n ≥ 4, a minimum-degree Nullstellensatzcertificate of non-3-colorability for cliques and odd wheels hasdegree exactly four.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 95: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/95.jpg)
Graph 3-Coloring as a System of Polynomial Equationsover F2 (inspired by Bayer)
one variable per vertex: x1, . . . , xn
vertex polynomials: For every vertex i = 1, . . . , n,
x3i + 1 = 0
edge polynomials: For every edge (i , j) ∈ E (G ),
x2i + xixj + x2
j = 0
Theorem: Let G be a graph encoded as the above (n + m)system of equations. Then this system has a solution if andonly if G is 3-colorable.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 96: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/96.jpg)
Where is the Infinite Family of Graphs that Grow over F2?
1
Theorem: Every Nullstellensatz certificate of anon-3-colorable graph has degree at least one.
Theorem: For n ≥ 4, a minimum-degree Nullstellensatzcertificate of non-3-colorability for cliques and odd wheels hasdegree exactly one.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 97: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/97.jpg)
Where is the Infinite Family of Graphs that Grow over F2?
1Theorem: Every Nullstellensatz certificate of anon-3-colorable graph has degree at least one.
Theorem: For n ≥ 4, a minimum-degree Nullstellensatzcertificate of non-3-colorability for cliques and odd wheels hasdegree exactly one.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 98: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/98.jpg)
Where is the Infinite Family of Graphs that Grow over F2?
1Theorem: Every Nullstellensatz certificate of anon-3-colorable graph has degree at least one.
Theorem: For n ≥ 4, a minimum-degree Nullstellensatzcertificate of non-3-colorability for cliques and odd wheels hasdegree exactly one.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 99: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/99.jpg)
Experimental results for NulLA 3-colorability
Graph vertices edges rows cols deg secMycielski 7 95 755 64,281 71,726
1 .46
Mycielski 9 383 7,271 2,477,931 2,784,794
1 268.78
Mycielski 10 767 22,196 15,270,943 17,024,333
1 14835
(8, 3)-Kneser 56 280 15,737 15,681
1 .07
(10, 4)-Kneser 210 1,575 349,651 330,751
1 3.92
(12, 5)-Kneser 792 8,316 7,030,585 6,586,273
1 466.47
(13, 5)-Kneser 1,287 36,036 45,980,650 46,378,333
1 216105
1-Insertions 5 202 1,227 268,049 247,855
1 1.69
2-Insertions 5 597 3,936 2,628,805 2,349,793
1 18.23
3-Insertions 5 1,406 9,695 15,392,209 13,631,171
1 83.45
ash331GPIA 662 4,185 3,147,007 2,770,471
1 13.71
ash608GPIA 1,216 7,844 10,904,642 9,538,305
1 34.65
ash958GPIA 1,916 12,506 27,450,965 23,961,497
1 90.41
Table: Graphs without 4-cliques.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 100: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/100.jpg)
Experimental results for NulLA 3-colorability
Graph vertices edges rows cols deg secMycielski 7 95 755 64,281 71,726 1
.46
Mycielski 9 383 7,271 2,477,931 2,784,794 1
268.78
Mycielski 10 767 22,196 15,270,943 17,024,333 1
14835
(8, 3)-Kneser 56 280 15,737 15,681 1
.07
(10, 4)-Kneser 210 1,575 349,651 330,751 1
3.92
(12, 5)-Kneser 792 8,316 7,030,585 6,586,273 1
466.47
(13, 5)-Kneser 1,287 36,036 45,980,650 46,378,333 1
216105
1-Insertions 5 202 1,227 268,049 247,855 1
1.69
2-Insertions 5 597 3,936 2,628,805 2,349,793 1
18.23
3-Insertions 5 1,406 9,695 15,392,209 13,631,171 1
83.45
ash331GPIA 662 4,185 3,147,007 2,770,471 1
13.71
ash608GPIA 1,216 7,844 10,904,642 9,538,305 1
34.65
ash958GPIA 1,916 12,506 27,450,965 23,961,497 1
90.41
Table: Graphs without 4-cliques.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 101: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/101.jpg)
Experimental results for NulLA 3-colorability
Graph vertices edges rows cols deg secMycielski 7 95 755 64,281 71,726 1 .46Mycielski 9 383 7,271 2,477,931 2,784,794 1 268.78
Mycielski 10 767 22,196 15,270,943 17,024,333 1 14835(8, 3)-Kneser 56 280 15,737 15,681 1 .07
(10, 4)-Kneser 210 1,575 349,651 330,751 1 3.92(12, 5)-Kneser 792 8,316 7,030,585 6,586,273 1 466.47(13, 5)-Kneser 1,287 36,036 45,980,650 46,378,333 1 2161051-Insertions 5 202 1,227 268,049 247,855 1 1.692-Insertions 5 597 3,936 2,628,805 2,349,793 1 18.233-Insertions 5 1,406 9,695 15,392,209 13,631,171 1 83.45ash331GPIA 662 4,185 3,147,007 2,770,471 1 13.71ash608GPIA 1,216 7,844 10,904,642 9,538,305 1 34.65ash958GPIA 1,916 12,506 27,450,965 23,961,497 1 90.41
Table: Graphs without 4-cliques.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 102: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/102.jpg)
What if the Nullstellensatz certificate is not degree 1?
degree 4 certificate7, 585, 826× 9, 887, 481
over 4 hours
⇓degree 1 certificate
4, 626× 4, 3464.2 seconds
=⇒ 25 triangles
“Triangle” equation:
0 = x + y + z
Degree two triangle equation:
0 = x2 + y 2 + z2
Appending equations to the system can reduce the degree!
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 103: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/103.jpg)
What if the Nullstellensatz certificate is not degree 1?
degree 4 certificate7, 585, 826× 9, 887, 481
over 4 hours
⇓degree 1 certificate
4, 626× 4, 3464.2 seconds
=⇒ 25 triangles
“Triangle” equation:
0 = x + y + z
Degree two triangle equation:
0 = x2 + y 2 + z2
Appending equations to the system can reduce the degree!
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 104: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/104.jpg)
What if the Nullstellensatz certificate is not degree 1?
degree 4 certificate7, 585, 826× 9, 887, 481
over 4 hours
⇓degree 1 certificate
4, 626× 4, 3464.2 seconds
=⇒ 25 triangles
“Triangle” equation:
0 = x + y + z
Degree two triangle equation:
0 = x2 + y 2 + z2
Appending equations to the system can reduce the degree!
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 105: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/105.jpg)
What if the Nullstellensatz certificate is not degree 1?
degree 4 certificate7, 585, 826× 9, 887, 481
over 4 hours
⇓degree 1 certificate
4, 626× 4, 3464.2 seconds
=⇒ 25 triangles
“Triangle” equation:
0 = x + y + z
Degree two triangle equation:
0 = x2 + y 2 + z2
Appending equations to the system can reduce the degree!
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 106: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/106.jpg)
What if the Nullstellensatz certificate is not degree 1?
degree 4 certificate7, 585, 826× 9, 887, 481
over 4 hours
⇓degree 1 certificate
4, 626× 4, 3464.2 seconds
=⇒ 25 triangles
“Triangle” equation:
0 = x + y + z
Degree two triangle equation:
0 = x2 + y 2 + z2
Appending equations to the system can reduce the degree!
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 107: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/107.jpg)
What if the Nullstellensatz certificate is not degree 1?
degree 4 certificate7, 585, 826× 9, 887, 481
over 4 hours⇓
degree 1 certificate
4, 626× 4, 3464.2 seconds
=⇒ 25 triangles
“Triangle” equation:
0 = x + y + z
Degree two triangle equation:
0 = x2 + y 2 + z2
Appending equations to the system can reduce the degree!
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 108: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/108.jpg)
What if the Nullstellensatz certificate is not degree 1?
degree 4 certificate7, 585, 826× 9, 887, 481
over 4 hours⇓
degree 1 certificate4, 626× 4, 3464
.2 seconds
=⇒ 25 triangles
“Triangle” equation:
0 = x + y + z
Degree two triangle equation:
0 = x2 + y 2 + z2
Appending equations to the system can reduce the degree!
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 109: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/109.jpg)
What if the Nullstellensatz certificate is not degree 1?
degree 4 certificate7, 585, 826× 9, 887, 481
over 4 hours⇓
degree 1 certificate4, 626× 4, 3464
.2 seconds
=⇒ 25 triangles
“Triangle” equation:
0 = x + y + z
Degree two triangle equation:
0 = x2 + y 2 + z2
Appending equations to the system can reduce the degree!
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 110: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/110.jpg)
What if the Nullstellensatz certificate is not degree 1?
degree 4 certificate7, 585, 826× 9, 887, 481
over 4 hours⇓
degree 1 certificate4, 626× 4, 3464
.2 seconds
=⇒ 25 triangles
“Triangle” equation:
0 = x + y + z
Degree two triangle equation:
0 = x2 + y 2 + z2
Appending equations to the system can reduce the degree!
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 111: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/111.jpg)
What if the Nullstellensatz certificate is still not degree 1?
Alternative Nullstellensatze
xα11 · · · x
αnn =
s∑i=1
βi fi
non-zero 6= 0
x1x8x9 = (x1 + x2)(x21 + x1x2 + x2
2 ) + (x4 + x9 + x12)(x21 + x1x4 + x2
4 ) + · · ·+
+ (x1 + x4 + x8)(x21 + x1x12 + x2
12) + (x2 + x7 + x8)(x22 + x2x3 + x2
3 )
+ (x8 + x9) (x21 + x2
2 + x26 )︸ ︷︷ ︸
triangle equation
+(x9) (x22 + x2
5 + x26 )︸ ︷︷ ︸
triangle equation
+(x8) (x22 + x2
6 + x27 )︸ ︷︷ ︸
triangle equation
.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 112: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/112.jpg)
What if the Nullstellensatz certificate is still not degree 1?
Alternative Nullstellensatze
xα11 · · · x
αnn =
s∑i=1
βi fi
non-zero 6= 0
x1x8x9 = (x1 + x2)(x21 + x1x2 + x2
2 ) + (x4 + x9 + x12)(x21 + x1x4 + x2
4 ) + · · ·+
+ (x1 + x4 + x8)(x21 + x1x12 + x2
12) + (x2 + x7 + x8)(x22 + x2x3 + x2
3 )
+ (x8 + x9) (x21 + x2
2 + x26 )︸ ︷︷ ︸
triangle equation
+(x9) (x22 + x2
5 + x26 )︸ ︷︷ ︸
triangle equation
+(x8) (x22 + x2
6 + x27 )︸ ︷︷ ︸
triangle equation
.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 113: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/113.jpg)
What if the Nullstellensatz certificate is still not degree 1?
Alternative Nullstellensatze
xα11 · · · x
αnn =
s∑i=1
βi fi
non-zero 6= 0
x1x8x9 = (x1 + x2)(x21 + x1x2 + x2
2 ) + (x4 + x9 + x12)(x21 + x1x4 + x2
4 ) + · · ·+
+ (x1 + x4 + x8)(x21 + x1x12 + x2
12) + (x2 + x7 + x8)(x22 + x2x3 + x2
3 )
+ (x8 + x9) (x21 + x2
2 + x26 )︸ ︷︷ ︸
triangle equation
+(x9) (x22 + x2
5 + x26 )︸ ︷︷ ︸
triangle equation
+(x8) (x22 + x2
6 + x27 )︸ ︷︷ ︸
triangle equation
.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 114: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/114.jpg)
What if the Nullstellensatz certificate is still not degree 1?
Alternative Nullstellensatze
xα11 · · · x
αnn =
s∑i=1
βi fi
non-zero 6= 0
x1x8x9 = (x1 + x2)(x21 + x1x2 + x2
2 ) + (x4 + x9 + x12)(x21 + x1x4 + x2
4 ) + · · ·+
+ (x1 + x4 + x8)(x21 + x1x12 + x2
12) + (x2 + x7 + x8)(x22 + x2x3 + x2
3 )
+ (x8 + x9) (x21 + x2
2 + x26 )︸ ︷︷ ︸
triangle equation
+(x9) (x22 + x2
5 + x26 )︸ ︷︷ ︸
triangle equation
+(x8) (x22 + x2
6 + x27 )︸ ︷︷ ︸
triangle equation
.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 115: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/115.jpg)
What if the Nullstellensatz certificate is still not degree 1?
Alternative Nullstellensatze
xα11 · · · x
αnn =
s∑i=1
βi fi
non-zero 6= 0
x1x8x9 = (x1 + x2)(x21 + x1x2 + x2
2 ) + (x4 + x9 + x12)(x21 + x1x4 + x2
4 ) + · · ·+
+ (x1 + x4 + x8)(x21 + x1x12 + x2
12) + (x2 + x7 + x8)(x22 + x2x3 + x2
3 )
+ (x8 + x9) (x21 + x2
2 + x26 )︸ ︷︷ ︸
triangle equation
+(x9) (x22 + x2
5 + x26 )︸ ︷︷ ︸
triangle equation
+(x8) (x22 + x2
6 + x27 )︸ ︷︷ ︸
triangle equation
.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 116: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/116.jpg)
What if the Nullstellensatz certificate is still not degree 1?
Alternative Nullstellensatze
xα11 · · · x
αnn =
s∑i=1
βi fi
non-zero 6= 0
x1x8x9 = (x1 + x2)(x21 + x1x2 + x2
2 ) + (x4 + x9 + x12)(x21 + x1x4 + x2
4 ) + · · ·+
+ (x1 + x4 + x8)(x21 + x1x12 + x2
12) + (x2 + x7 + x8)(x22 + x2x3 + x2
3 )
+ (x8 + x9) (x21 + x2
2 + x26 )︸ ︷︷ ︸
triangle equation
+(x9) (x22 + x2
5 + x26 )︸ ︷︷ ︸
triangle equation
+(x8) (x22 + x2
6 + x27 )︸ ︷︷ ︸
triangle equation
.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 117: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/117.jpg)
What if the Nullstellensatz certificate is still not degree 1?
Alternative Nullstellensatze
xα11 · · · x
αnn =
s∑i=1
βi fi
non-zero 6= 0
x1x8x9 = (x1 + x2)(x21 + x1x2 + x2
2 ) + (x4 + x9 + x12)(x21 + x1x4 + x2
4 ) + · · ·+
+ (x1 + x4 + x8)(x21 + x1x12 + x2
12) + (x2 + x7 + x8)(x22 + x2x3 + x2
3 )
+ (x8 + x9) (x21 + x2
2 + x26 )︸ ︷︷ ︸
triangle equation
+(x9) (x22 + x2
5 + x26 )︸ ︷︷ ︸
triangle equation
+(x8) (x22 + x2
6 + x27 )︸ ︷︷ ︸
triangle equation
.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 118: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/118.jpg)
Using Symmetry to Reduce the Size of the Linear System
Consider the complete graph K4.
A degree-one HilbertNullstellensatz certificate for non-3-colorability, over F2 is
1 = c0(x31 + 1)
+ (c112x1 + c2
12x2 + c312x3 + c4
12x4)(x21 + x1x2 + x2
2 )
+ (c113x1 + c2
13x2 + c313x3 + c4
13x4)(x21 + x1x3 + x2
3 )
+ (c114x1 + c2
14x2 + c314x3 + c4
14x4)(x21 + x1x4 + x2
4 )
+ (c123x1 + c2
23x2 + c323x3 + c4
23x4)(x22 + x2x3 + x2
3 )
+ (c124x1 + c2
24x2 + c324x3 + c4
24x4)(x22 + x2x4 + x2
4 )
+ (c134x1 + c2
34x2 + c334x3 + c4
34x4)(x23 + x3x4 + x2
4 )
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 119: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/119.jpg)
Using Symmetry to Reduce the Size of the Linear System
Consider the complete graph K4. A degree-one HilbertNullstellensatz certificate for non-3-colorability, over F2 is
1 = c0(x31 + 1)
+ (c112x1 + c2
12x2 + c312x3 + c4
12x4)(x21 + x1x2 + x2
2 )
+ (c113x1 + c2
13x2 + c313x3 + c4
13x4)(x21 + x1x3 + x2
3 )
+ (c114x1 + c2
14x2 + c314x3 + c4
14x4)(x21 + x1x4 + x2
4 )
+ (c123x1 + c2
23x2 + c323x3 + c4
23x4)(x22 + x2x3 + x2
3 )
+ (c124x1 + c2
24x2 + c324x3 + c4
24x4)(x22 + x2x4 + x2
4 )
+ (c134x1 + c2
34x2 + c334x3 + c4
34x4)(x23 + x3x4 + x2
4 )
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 120: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/120.jpg)
Matrix associated with K4 Nullstellensatz Certificate: MF ,1
c0 c112 c2
12 c312 c4
12 c113 c2
13 c313 c4
13 c114 c2
14 c314 c4
14 c123 c2
23 c323 c4
23 c124 c2
24 c324 c4
24 c134 c2
34 c334 c4
34
1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
x31 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
x21 x2 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
x21 x3 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0
x21 x4 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0
x1x22 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0
x1x2x3 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0x1x2x4 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0
x1x23 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0
x1x3x4 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0
x1x24 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0
x32 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0
x22 x3 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0
x22 x4 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0
x2x23 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0
x2x3x4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0
x2x24 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0
x33 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0
x23 x4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1
x3x24 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1
x34 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 121: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/121.jpg)
Using Symmetry to Reduce the Size of the Linear System
Suppose a finite permutation group G acts on the variablesx1, . . . , xn.
Assume that the set F of polynomials is invariant underthe action of G , i.e., g(fi ) ∈ F for each fi ∈ F .
We will use this group to reduce the size of the matrix.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 122: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/122.jpg)
Using Symmetry to Reduce the Size of the Linear System
Suppose a finite permutation group G acts on the variablesx1, . . . , xn. Assume that the set F of polynomials is invariant underthe action of G , i.e., g(fi ) ∈ F for each fi ∈ F .
We will use this group to reduce the size of the matrix.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 123: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/123.jpg)
Using Symmetry to Reduce the Size of the Linear System
Suppose a finite permutation group G acts on the variablesx1, . . . , xn. Assume that the set F of polynomials is invariant underthe action of G , i.e., g(fi ) ∈ F for each fi ∈ F .
We will use this group to reduce the size of the matrix.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 124: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/124.jpg)
Matrix associated with K4 Nullstellensatz Certificate: MF ,1
c0 c112 c1
13 c114 c2
12 c313 c4
14 c312 c4
13 c214 c4
12 c213 c3
14 c123 c1
34 c124 c2
23 c334 c4
24 c224 c3
23 c434 c2
34 c324 c4
23
1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
x31 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
x21 x2 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0
x21 x3 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0
x21 x4 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
x1x22 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0
x1x23 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0
x1x24 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0
x1x2x3 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0x1x2x4 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0x1x3x4 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0
x32 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0
x33 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0
x34 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0
x22 x3 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0
x23 x4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1
x2x24 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0
x22 x4 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1
x2x23 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0
x3x24 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0
x2x3x4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1
Action of Z3 by (2, 3, 4): each row block represents an orbit.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 125: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/125.jpg)
Matrix associated with K4 Nullstellensatz Certificate:MF ,1,G
c0 c112 c2
12 c312 c4
12 c123 c2
23 c224 c2
34
Orb(1) 1 0 0 0 0 0 0 0 0
Orb(x31 ) 1 3 0 0 0 0 0 0 0
Orb(x21 x2) 0 1 1 1 1 0 0 0 0
Orb(x1x22 ) 0 1 1 0 0 2 0 0 0
Orb(x1x2x3) 0 0 0 1 1 1 0 0 0
Orb(x32 ) 0 0 1 0 0 0 1 1 0
Orb(x22 x3) 0 0 0 1 0 0 1 1 1
Orb(x22 x4) 0 0 0 0 1 0 1 1 1
Orb(x2x3x4) 0 0 0 0 0 0 0 0 3
(mod 2)≡
c0 c112 c2
12 c312 c4
12 c123 c2
23 c224 c2
34
Orb(1) 1 0 0 0 0 0 0 0 0
Orb(x31 ) 1 1 0 0 0 0 0 0 0
Orb(x21 x2) 0 1 1 1 1 0 0 0 0
Orb(x1x22 ) 0 1 1 0 0 0 0 0 0
Orb(x1x2x3) 0 0 0 1 1 1 0 0 0
Orb(x32 ) 0 0 1 0 0 0 1 1 0
Orb(x22 x3) 0 0 0 1 0 0 1 1 1
Orb(x22 x4) 0 0 0 0 1 0 1 1 1
Orb(x2x3x4) 0 0 0 0 0 0 0 0 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 126: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/126.jpg)
Matrix associated with K4 Nullstellensatz Certificate:MF ,1,G
c0 c112 c2
12 c312 c4
12 c123 c2
23 c224 c2
34
Orb(1) 1 0 0 0 0 0 0 0 0
Orb(x31 ) 1 3 0 0 0 0 0 0 0
Orb(x21 x2) 0 1 1 1 1 0 0 0 0
Orb(x1x22 ) 0 1 1 0 0 2 0 0 0
Orb(x1x2x3) 0 0 0 1 1 1 0 0 0
Orb(x32 ) 0 0 1 0 0 0 1 1 0
Orb(x22 x3) 0 0 0 1 0 0 1 1 1
Orb(x22 x4) 0 0 0 0 1 0 1 1 1
Orb(x2x3x4) 0 0 0 0 0 0 0 0 3
(mod 2)≡
c0 c112 c2
12 c312 c4
12 c123 c2
23 c224 c2
34
Orb(1) 1 0 0 0 0 0 0 0 0
Orb(x31 ) 1 1 0 0 0 0 0 0 0
Orb(x21 x2) 0 1 1 1 1 0 0 0 0
Orb(x1x22 ) 0 1 1 0 0 0 0 0 0
Orb(x1x2x3) 0 0 0 1 1 1 0 0 0
Orb(x32 ) 0 0 1 0 0 0 1 1 0
Orb(x22 x3) 0 0 0 1 0 0 1 1 1
Orb(x22 x4) 0 0 0 0 1 0 1 1 1
Orb(x2x3x4) 0 0 0 0 0 0 0 0 1
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 127: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/127.jpg)
Solution to Orbit Matrix Proves Certificate Existence
Theorem: Let K be an algebraically-closed field. LetF = {f1, . . . , fs} ⊆ K[x1, . . . , xn] and suppose F is closedunder the action of the group G on the variables. Supposethat the order of the group |G | and the characteristic of thefield K are relatively prime. Then, the degree d Nullstellensatzlinear system of equations MF ,d y = bF ,d has a solution overK if and only if the system of linear equationsMF ,d ,Gy = bF ,d ,G has a solution over K.
In other words, if the orbit matrix has a solution,so does the original matrix.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 128: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/128.jpg)
Solution to Orbit Matrix Proves Certificate Existence
Theorem: Let K be an algebraically-closed field. LetF = {f1, . . . , fs} ⊆ K[x1, . . . , xn] and suppose F is closedunder the action of the group G on the variables. Supposethat the order of the group |G | and the characteristic of thefield K are relatively prime. Then, the degree d Nullstellensatzlinear system of equations MF ,d y = bF ,d has a solution overK if and only if the system of linear equationsMF ,d ,Gy = bF ,d ,G has a solution over K.
In other words, if the orbit matrix has a solution,so does the original matrix.
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 129: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/129.jpg)
Nullstellensatz Certificates for Problems in P
Question
Given a combinatorial problem in P, does there exist an encodingsuch that the Nullstellensatz certificates have polynomial size?
Petersen Graph: 3-colorable
, not-2-colorable0
1
23
4
5
678
9Fact
A graph G is not-2-colorable⇐⇒ G contains an odd cycle.
(x2i − 1) = 0 ,∀i ∈ V (G ) and (xi + xj) = 0 ,∀(i , j) ∈ E (G ) (C)
1 = − (x20 − 1) +
1
2x0(x0 + x1)− 1
2x0(x1 + x2) +
1
2x0(x2 + x3)
− 1
2x0(x3 + x4) +
1
2x0(x4 + x0)
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 130: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/130.jpg)
Nullstellensatz Certificates for Problems in P
Question
Given a combinatorial problem in P, does there exist an encodingsuch that the Nullstellensatz certificates have polynomial size?
Petersen Graph: 3-colorable
, not-2-colorable
0
1
23
4
5
678
9
Fact
A graph G is not-2-colorable⇐⇒ G contains an odd cycle.
(x2i − 1) = 0 ,∀i ∈ V (G ) and (xi + xj) = 0 ,∀(i , j) ∈ E (G ) (C)
1 = − (x20 − 1) +
1
2x0(x0 + x1)− 1
2x0(x1 + x2) +
1
2x0(x2 + x3)
− 1
2x0(x3 + x4) +
1
2x0(x4 + x0)
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 131: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/131.jpg)
Nullstellensatz Certificates for Problems in P
Question
Given a combinatorial problem in P, does there exist an encodingsuch that the Nullstellensatz certificates have polynomial size?
Petersen Graph: 3-colorable, not-2-colorable0
1
23
4
5
678
9
Fact
A graph G is not-2-colorable⇐⇒ G contains an odd cycle.
(x2i − 1) = 0 ,∀i ∈ V (G ) and (xi + xj) = 0 ,∀(i , j) ∈ E (G ) (C)
1 = − (x20 − 1) +
1
2x0(x0 + x1)− 1
2x0(x1 + x2) +
1
2x0(x2 + x3)
− 1
2x0(x3 + x4) +
1
2x0(x4 + x0)
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 132: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/132.jpg)
Nullstellensatz Certificates for Problems in P
Question
Given a combinatorial problem in P, does there exist an encodingsuch that the Nullstellensatz certificates have polynomial size?
Petersen Graph: 3-colorable, not-2-colorable0
1
23
4
5
678
9Fact
A graph G is not-2-colorable⇐⇒ G contains an odd cycle.
(x2i − 1) = 0 ,∀i ∈ V (G ) and (xi + xj) = 0 ,∀(i , j) ∈ E (G ) (C)
1 = − (x20 − 1) +
1
2x0(x0 + x1)− 1
2x0(x1 + x2) +
1
2x0(x2 + x3)
− 1
2x0(x3 + x4) +
1
2x0(x4 + x0)
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 133: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/133.jpg)
Nullstellensatz Certificates for Problems in P
Question
Given a combinatorial problem in P, does there exist an encodingsuch that the Nullstellensatz certificates have polynomial size?
Petersen Graph: 3-colorable, not-2-colorable0
1
23
4
5
678
9Fact
A graph G is not-2-colorable⇐⇒ G contains an odd cycle.
(x2i − 1) = 0 ,∀i ∈ V (G ) and (xi + xj) = 0 ,∀(i , j) ∈ E (G ) (C)
1 = − (x20 − 1) +
1
2x0(x0 + x1)− 1
2x0(x1 + x2) +
1
2x0(x2 + x3)
− 1
2x0(x3 + x4) +
1
2x0(x4 + x0)
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 134: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/134.jpg)
Nullstellensatz Certificates for Problems in P
Question
Given a combinatorial problem in P, does there exist an encodingsuch that the Nullstellensatz certificates have polynomial size?
Petersen Graph: 3-colorable, not-2-colorable0
1
23
4
5
678
9Fact
A graph G is not-2-colorable⇐⇒ G contains an odd cycle.
(x2i − 1) = 0 ,∀i ∈ V (G ) and (xi + xj) = 0 ,∀(i , j) ∈ E (G ) (C)
1 =
− (x20 − 1)
+1
2x0(x0 + x1)− 1
2x0(x1 + x2) +
1
2x0(x2 + x3)
− 1
2x0(x3 + x4) +
1
2x0(x4 + x0)
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 135: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/135.jpg)
Nullstellensatz Certificates for Problems in P
Question
Given a combinatorial problem in P, does there exist an encodingsuch that the Nullstellensatz certificates have polynomial size?
Petersen Graph: 3-colorable, not-2-colorable0
1
23
4
5
678
9Fact
A graph G is not-2-colorable⇐⇒ G contains an odd cycle.
(x2i − 1) = 0 ,∀i ∈ V (G ) and (xi + xj) = 0 ,∀(i , j) ∈ E (G ) (C)
1 =
− (x20 − 1) +
1
2x0(x0 + x1)
− 1
2x0(x1 + x2) +
1
2x0(x2 + x3)
− 1
2x0(x3 + x4) +
1
2x0(x4 + x0)
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 136: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/136.jpg)
Nullstellensatz Certificates for Problems in P
Question
Given a combinatorial problem in P, does there exist an encodingsuch that the Nullstellensatz certificates have polynomial size?
Petersen Graph: 3-colorable, not-2-colorable0
1
23
4
5
678
9Fact
A graph G is not-2-colorable⇐⇒ G contains an odd cycle.
(x2i − 1) = 0 ,∀i ∈ V (G ) and (xi + xj) = 0 ,∀(i , j) ∈ E (G ) (C)
1 =
− (x20 − 1) +
1
2x0(x0 + x1)− 1
2x0(x1 + x2)
+1
2x0(x2 + x3)
− 1
2x0(x3 + x4) +
1
2x0(x4 + x0)
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 137: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/137.jpg)
Nullstellensatz Certificates for Problems in P
Question
Given a combinatorial problem in P, does there exist an encodingsuch that the Nullstellensatz certificates have polynomial size?
Petersen Graph: 3-colorable, not-2-colorable0
1
23
4
5
678
9Fact
A graph G is not-2-colorable⇐⇒ G contains an odd cycle.
(x2i − 1) = 0 ,∀i ∈ V (G ) and (xi + xj) = 0 ,∀(i , j) ∈ E (G ) (C)
1 =
− (x20 − 1) +
1
2x0(x0 + x1)− 1
2x0(x1 + x2) +
1
2x0(x2 + x3)
− 1
2x0(x3 + x4) +
1
2x0(x4 + x0)
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 138: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/138.jpg)
Nullstellensatz Certificates for Problems in P
Question
Given a combinatorial problem in P, does there exist an encodingsuch that the Nullstellensatz certificates have polynomial size?
Petersen Graph: 3-colorable, not-2-colorable0
1
23
4
5
678
9Fact
A graph G is not-2-colorable⇐⇒ G contains an odd cycle.
(x2i − 1) = 0 ,∀i ∈ V (G ) and (xi + xj) = 0 ,∀(i , j) ∈ E (G ) (C)
1 =
− (x20 − 1) +
1
2x0(x0 + x1)− 1
2x0(x1 + x2) +
1
2x0(x2 + x3)
− 1
2x0(x3 + x4)
+1
2x0(x4 + x0)
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 139: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/139.jpg)
Nullstellensatz Certificates for Problems in P
Question
Given a combinatorial problem in P, does there exist an encodingsuch that the Nullstellensatz certificates have polynomial size?
Petersen Graph: 3-colorable, not-2-colorable0
1
23
4
5
678
9Fact
A graph G is not-2-colorable⇐⇒ G contains an odd cycle.
(x2i − 1) = 0 ,∀i ∈ V (G ) and (xi + xj) = 0 ,∀(i , j) ∈ E (G ) (C)
1 =
− (x20 − 1) +
1
2x0(x0 + x1)− 1
2x0(x1 + x2) +
1
2x0(x2 + x3)
− 1
2x0(x3 + x4) +
1
2x0(x4 + x0)
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 140: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/140.jpg)
Nullstellensatz Certificates for Problems in P
Question
Given a combinatorial problem in P, does there exist an encodingsuch that the Nullstellensatz certificates have polynomial size?
Petersen Graph: 3-colorable, not-2-colorable0
1
23
4
5
678
9Fact
A graph G is not-2-colorable⇐⇒ G contains an odd cycle.
(x2i − 1) = 0 ,∀i ∈ V (G ) and (xi + xj) = 0 ,∀(i , j) ∈ E (G ) (C)
1 = − (x20 − 1) +
1
2x0(x0 + x1)− 1
2x0(x1 + x2) +
1
2x0(x2 + x3)
− 1
2x0(x3 + x4) +
1
2x0(x4 + x0)
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 141: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/141.jpg)
Perfect Matching: Definition and Example
Perfect Matching: A graph G has a perfect matching ifthere exists a set of matched edges such that every vertex isincident on a matched edge.
Example: Does this graph have a perfect matching?
Yes!
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 142: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/142.jpg)
Perfect Matching: Definition and Example
Perfect Matching: A graph G has a perfect matching ifthere exists a set of matched edges such that every vertex isincident on a matched edge.
Example: Does this graph have a perfect matching?
Yes!
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 143: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/143.jpg)
Perfect Matching: Definition and Example
Perfect Matching: A graph G has a perfect matching ifthere exists a set of matched edges such that every vertex isincident on a matched edge.
Example: Does this graph have a perfect matching? Yes!
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 144: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/144.jpg)
Perfect Matching as a System of Polynomial Equations
Proposition: A graph G has a perfect matching if and only if thefollowing system of polynomial equations over C has a solution.∑
j∈N(i)
xij + 1 = 0
, xijxik = 0
∀i ∈ V (G )
,∀j , k ∈ N(i)
0
1
2
3
4
1 = (−2
5x12 −
2
5x13 −
2
5x14 −
2
5x23 −
2
5x24 −
2
5x34 −
1
5)(−1 + x01 + x02 + x03)
+ (−4
5x02 −
4
5x03 + 2x23 −
1
5)(−1 + x01 + x12 + x13 + x14)
+ (−4
5x01 −
4
5x03 + 2x13 −
1
5)(−1 + x02 + x12 + x23 + x24)
+ (−4
5x01 −
4
5x02 + 2x12 −
1
5)(−1 + x03 + x13 + x23 + x34)
+ (6
5x01 +
6
5x02 +
6
5x03 − 2x12 − 2x13 − 2x23 −
1
5)(−1 + x14 + x24 + x34)
+8
5x01x02 +
8
5x01x03 +
6
5x01x12 +
6
5x01x13 −
4
5x01x14 +
8
5x02x03 +
6
5x02x12 +
6
5x02x23 −
4
5x02x24
+6
5x03x13 +
6
5x03x23 −
4
5x03x34 − 4x12x13 + 2x12x14 − 4x12x23 + 2x13x14 − 4x13x23 + 2x13x34
+ 2x23x24 + 2x23x34 + 2x12x24;
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 145: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/145.jpg)
Perfect Matching as a System of Polynomial Equations
Proposition: A graph G has a perfect matching if and only if thefollowing system of polynomial equations over C has a solution.∑
j∈N(i)
xij + 1 = 0 , xijxik = 0 ∀i ∈ V (G ) , ∀j , k ∈ N(i)
0
1
2
3
4
1 = (−2
5x12 −
2
5x13 −
2
5x14 −
2
5x23 −
2
5x24 −
2
5x34 −
1
5)(−1 + x01 + x02 + x03)
+ (−4
5x02 −
4
5x03 + 2x23 −
1
5)(−1 + x01 + x12 + x13 + x14)
+ (−4
5x01 −
4
5x03 + 2x13 −
1
5)(−1 + x02 + x12 + x23 + x24)
+ (−4
5x01 −
4
5x02 + 2x12 −
1
5)(−1 + x03 + x13 + x23 + x34)
+ (6
5x01 +
6
5x02 +
6
5x03 − 2x12 − 2x13 − 2x23 −
1
5)(−1 + x14 + x24 + x34)
+8
5x01x02 +
8
5x01x03 +
6
5x01x12 +
6
5x01x13 −
4
5x01x14 +
8
5x02x03 +
6
5x02x12 +
6
5x02x23 −
4
5x02x24
+6
5x03x13 +
6
5x03x23 −
4
5x03x34 − 4x12x13 + 2x12x14 − 4x12x23 + 2x13x14 − 4x13x23 + 2x13x34
+ 2x23x24 + 2x23x34 + 2x12x24;
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 146: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/146.jpg)
Perfect Matching as a System of Polynomial Equations
Proposition: A graph G has a perfect matching if and only if thefollowing system of polynomial equations over C has a solution.∑
j∈N(i)
xij + 1 = 0 , xijxik = 0 ∀i ∈ V (G ) , ∀j , k ∈ N(i)
0
1
2
3
4
1 = (−2
5x12 −
2
5x13 −
2
5x14 −
2
5x23 −
2
5x24 −
2
5x34 −
1
5)(−1 + x01 + x02 + x03)
+ (−4
5x02 −
4
5x03 + 2x23 −
1
5)(−1 + x01 + x12 + x13 + x14)
+ (−4
5x01 −
4
5x03 + 2x13 −
1
5)(−1 + x02 + x12 + x23 + x24)
+ (−4
5x01 −
4
5x02 + 2x12 −
1
5)(−1 + x03 + x13 + x23 + x34)
+ (6
5x01 +
6
5x02 +
6
5x03 − 2x12 − 2x13 − 2x23 −
1
5)(−1 + x14 + x24 + x34)
+8
5x01x02 +
8
5x01x03 +
6
5x01x12 +
6
5x01x13 −
4
5x01x14 +
8
5x02x03 +
6
5x02x12 +
6
5x02x23 −
4
5x02x24
+6
5x03x13 +
6
5x03x23 −
4
5x03x34 − 4x12x13 + 2x12x14 − 4x12x23 + 2x13x14 − 4x13x23 + 2x13x34
+ 2x23x24 + 2x23x34 + 2x12x24;
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 147: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/147.jpg)
Perfect Matching as a System of Polynomial Equations
Proposition: A graph G has a perfect matching if and only if thefollowing system of polynomial equations over C has a solution.∑
j∈N(i)
xij + 1 = 0 , xijxik = 0 ∀i ∈ V (G ) , ∀j , k ∈ N(i)
0
1
2
3
4
1 = (−2
5x12 −
2
5x13 −
2
5x14 −
2
5x23 −
2
5x24 −
2
5x34 −
1
5)(−1 + x01 + x02 + x03)
+ (−4
5x02 −
4
5x03 + 2x23 −
1
5)(−1 + x01 + x12 + x13 + x14)
+ (−4
5x01 −
4
5x03 + 2x13 −
1
5)(−1 + x02 + x12 + x23 + x24)
+ (−4
5x01 −
4
5x02 + 2x12 −
1
5)(−1 + x03 + x13 + x23 + x34)
+ (6
5x01 +
6
5x02 +
6
5x03 − 2x12 − 2x13 − 2x23 −
1
5)(−1 + x14 + x24 + x34)
+8
5x01x02 +
8
5x01x03 +
6
5x01x12 +
6
5x01x13 −
4
5x01x14 +
8
5x02x03 +
6
5x02x12 +
6
5x02x23 −
4
5x02x24
+6
5x03x13 +
6
5x03x23 −
4
5x03x34 − 4x12x13 + 2x12x14 − 4x12x23 + 2x13x14 − 4x13x23 + 2x13x34
+ 2x23x24 + 2x23x34 + 2x12x24;
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 148: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/148.jpg)
Perfect Matching as a System of Polynomial Equations
Proposition: A graph G has a perfect matching if and only if thefollowing system of polynomial equations over C has a solution.∑
j∈N(i)
xij + 1 = 0 , xijxik = 0 ∀i ∈ V (G ) , ∀j , k ∈ N(i)
0
1
2
3
4
1 = (−2
5x12 −
2
5x13 −
2
5x14 −
2
5x23 −
2
5x24 −
2
5x34 −
1
5)(−1 + x01 + x02 + x03)
+ (−4
5x02 −
4
5x03 + 2x23 −
1
5)(−1 + x01 + x12 + x13 + x14)
+ (−4
5x01 −
4
5x03 + 2x13 −
1
5)(−1 + x02 + x12 + x23 + x24)
+ (−4
5x01 −
4
5x02 + 2x12 −
1
5)(−1 + x03 + x13 + x23 + x34)
+ (6
5x01 +
6
5x02 +
6
5x03 − 2x12 − 2x13 − 2x23 −
1
5)(−1 + x14 + x24 + x34)
+8
5x01x02 +
8
5x01x03 +
6
5x01x12 +
6
5x01x13 −
4
5x01x14 +
8
5x02x03 +
6
5x02x12 +
6
5x02x23 −
4
5x02x24
+6
5x03x13 +
6
5x03x23 −
4
5x03x34 − 4x12x13 + 2x12x14 − 4x12x23 + 2x13x14 − 4x13x23 + 2x13x34
+ 2x23x24 + 2x23x34 + 2x12x24;
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 149: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/149.jpg)
Perfect Matching as a System of Polynomial Equations
Proposition: A graph G has a perfect matching if and only if thefollowing system of polynomial equations over F2 has a solution.∑
j∈N(i)
xij + 1 = 0 , xijxik = 0 ∀i ∈ V (G ) , ∀j , k ∈ N(i)
0
1
2
3
4
1 = (−2
5x12 −
2
5x13 −
2
5x14 −
2
5x23 −
2
5x24 −
2
5x34 −
1
5)(−1 + x01 + x02 + x03)
+ (−4
5x02 −
4
5x03 + 2x23 −
1
5)(−1 + x01 + x12 + x13 + x14)
+ (−4
5x01 −
4
5x03 + 2x13 −
1
5)(−1 + x02 + x12 + x23 + x24)
+ (−4
5x01 −
4
5x02 + 2x12 −
1
5)(−1 + x03 + x13 + x23 + x34)
+ (6
5x01 +
6
5x02 +
6
5x03 − 2x12 − 2x13 − 2x23 −
1
5)(−1 + x14 + x24 + x34)
+8
5x01x02 +
8
5x01x03 +
6
5x01x12 +
6
5x01x13 −
4
5x01x14 +
8
5x02x03 +
6
5x02x12 +
6
5x02x23 −
4
5x02x24
+6
5x03x13 +
6
5x03x23 −
4
5x03x34 − 4x12x13 + 2x12x14 − 4x12x23 + 2x13x14 − 4x13x23 + 2x13x34
+ 2x23x24 + 2x23x34 + 2x12x24;
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 150: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/150.jpg)
Perfect Matching as a System of Polynomial Equations
Proposition: A graph G has a perfect matching if and only if thefollowing system of polynomial equations over F2 has a solution.∑
j∈N(i)
xij + 1 = 0 , xijxik = 0 ∀i ∈ V (G ) , ∀j , k ∈ N(i)
0
1
2
3
4
1 = (x01 + x02 + x03 + 1) + (x01 + x12 + x13 + 1)
+ (x02 + x12 + x23 + x24 + 1)
+ (x03 + x13 + x23 + x34 + 1)
+ (x24 + x34 + 1) mod 2
Theorem: If a graph G has an odd number of vertices, there exists adegree zero Nullstellensatz certificate.Question: What about graphs with an even number of vertices?
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 151: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/151.jpg)
Perfect Matching as a System of Polynomial Equations
Proposition: A graph G has a perfect matching if and only if thefollowing system of polynomial equations over F2 has a solution.∑
j∈N(i)
xij + 1 = 0 , xijxik = 0 ∀i ∈ V (G ) , ∀j , k ∈ N(i)
0
1
2
3
4
1 = (x01 + x02 + x03 + 1) + (x01 + x12 + x13 + 1)
+ (x02 + x12 + x23 + x24 + 1)
+ (x03 + x13 + x23 + x34 + 1)
+ (x24 + x34 + 1) mod 2
Theorem: If a graph G has an odd number of vertices, there exists adegree zero Nullstellensatz certificate.
Question: What about graphs with an even number of vertices?
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 152: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/152.jpg)
Perfect Matching as a System of Polynomial Equations
Proposition: A graph G has a perfect matching if and only if thefollowing system of polynomial equations over F2 has a solution.∑
j∈N(i)
xij + 1 = 0 , xijxik = 0 ∀i ∈ V (G ) , ∀j , k ∈ N(i)
0
1
2
3
4
1 = (x01 + x02 + x03 + 1) + (x01 + x12 + x13 + 1)
+ (x02 + x12 + x23 + x24 + 1)
+ (x03 + x13 + x23 + x34 + 1)
+ (x24 + x34 + 1) mod 2
Theorem: If a graph G has an odd number of vertices, there exists adegree zero Nullstellensatz certificate.Question: What about graphs with an even number of vertices?
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 153: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/153.jpg)
Winner of the INFORMS Computing Society Prize 2010
1 J. A. De Loera, J. Lee, S. Margulies, S. Onn. ExpressingCombinatorial Optimization Problems by Systems of PolynomialEquations and Hilbert’s Nullstellensatz, Combinatorics, Probabilityand Computing, 18(4), pp. 551-582, 2009.
2 J. A. De Loera, J. Lee, P.N. Malkin, S. Margulies. Hilbert’sNullstellensatz and an Algorithm for Proving CombinatorialInfeasibility, ISSAC 2008, Hagenberg, Austria, ACM, 197-206, 2008.
3 J. A. De Loera, J. Lee, P.N. Malkin, S. Margulies. ComputingInfeasibility Certificates for Combinatorial Problems throughHilbert’s Nullstellensatz, JSC 46(11), pg. 1260-1283, 2011.
4 S. M., S. Onn, On the Complexity of Hilbert Refutations forPartition, accepted to Journal of Symbolic Computation July 2013.
http://www.usna.edu/Users/math/marguile
Thank you for your attention!Questions and comments are most welcome!
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 154: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/154.jpg)
Winner of the INFORMS Computing Society Prize 2010
1 J. A. De Loera, J. Lee, S. Margulies, S. Onn. ExpressingCombinatorial Optimization Problems by Systems of PolynomialEquations and Hilbert’s Nullstellensatz, Combinatorics, Probabilityand Computing, 18(4), pp. 551-582, 2009.
2 J. A. De Loera, J. Lee, P.N. Malkin, S. Margulies. Hilbert’sNullstellensatz and an Algorithm for Proving CombinatorialInfeasibility, ISSAC 2008, Hagenberg, Austria, ACM, 197-206, 2008.
3 J. A. De Loera, J. Lee, P.N. Malkin, S. Margulies. ComputingInfeasibility Certificates for Combinatorial Problems throughHilbert’s Nullstellensatz, JSC 46(11), pg. 1260-1283, 2011.
4 S. M., S. Onn, On the Complexity of Hilbert Refutations forPartition, accepted to Journal of Symbolic Computation July 2013.
http://www.usna.edu/Users/math/marguile
Thank you for your attention!Questions and comments are most welcome!
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility
![Page 155: Hilbert’s Nullstellensatz, Linear Algebra and ... · 7/4/2015 · Hilbert’s Nullstellensatz, Linear Algebra and Combinatorial Problems Susan Margulies Mathematics Department,](https://reader033.fdocuments.us/reader033/viewer/2022051808/600dcd9a68cb9b51aa70e59f/html5/thumbnails/155.jpg)
Winner of the INFORMS Computing Society Prize 2010
1 J. A. De Loera, J. Lee, S. Margulies, S. Onn. ExpressingCombinatorial Optimization Problems by Systems of PolynomialEquations and Hilbert’s Nullstellensatz, Combinatorics, Probabilityand Computing, 18(4), pp. 551-582, 2009.
2 J. A. De Loera, J. Lee, P.N. Malkin, S. Margulies. Hilbert’sNullstellensatz and an Algorithm for Proving CombinatorialInfeasibility, ISSAC 2008, Hagenberg, Austria, ACM, 197-206, 2008.
3 J. A. De Loera, J. Lee, P.N. Malkin, S. Margulies. ComputingInfeasibility Certificates for Combinatorial Problems throughHilbert’s Nullstellensatz, JSC 46(11), pg. 1260-1283, 2011.
4 S. M., S. Onn, On the Complexity of Hilbert Refutations forPartition, accepted to Journal of Symbolic Computation July 2013.
http://www.usna.edu/Users/math/marguile
Thank you for your attention!Questions and comments are most welcome!
Susan Margulies, US Naval Academy NulLA and Combinatorial Infeasibility