Professional Documents
Culture Documents
A polyhedral approach to
computing border bases
Sebastian Pokutta
Polynomials
Polynomials
Polynomials
Polynomials
Polynomials
Polynomials
Polynomials
Polynomials
Ideal :
K [X]/I := {p + I | p ∈ K [X]}.
Ideal :
K [X]/I := {p + I | p ∈ K [X]}.
Ideal :
K [X]/I := {p + I | p ∈ K [X]}.
Ideal :
K [X]/I := {p + I | p ∈ K [X]}.
Example 1:
Consider:
xi2 − xi = 0 if and only if xi ∈ {0, 1}.
Define: I := xi2 − xi | i ∈ [n] K [X] and let V := K [X]/I .
(Meta-) Example 2:
Polytopes P ⊆ [0, 1]n arise by taking [0, 1]n and adding inequalities.
Example 1:
Consider:
xi2 − xi = 0 if and only if xi ∈ {0, 1}.
Define: I := xi2 − xi | i ∈ [n] K [X] and let V := K [X]/I .
(Meta-) Example 2:
Polytopes P ⊆ [0, 1]n arise by taking [0, 1]n and adding inequalities.
Example 1:
Consider:
xi2 − xi = 0 if and only if xi ∈ {0, 1}.
Define: I := xi2 − xi | i ∈ [n] K [X] and let V := K [X]/I .
(Meta-) Example 2:
Polytopes P ⊆ [0, 1]n arise by taking [0, 1]n and adding inequalities.
Example 1:
Consider:
xi2 − xi = 0 if and only if xi ∈ {0, 1}.
Define: I := xi2 − xi | i ∈ [n] K [X] and let V := K [X]/I .
(Meta-) Example 2:
Polytopes P ⊆ [0, 1]n arise by taking [0, 1]n and adding inequalities.
Example 1:
Consider:
xi2 − xi = 0 if and only if xi ∈ {0, 1}.
Define: I := xi2 − xi | i ∈ [n] K [X] and let V := K [X]/I .
(Meta-) Example 2:
Polytopes P ⊆ [0, 1]n arise by taking [0, 1]n and adding inequalities.
Example 1:
Consider:
xi2 − xi = 0 if and only if xi ∈ {0, 1}.
Define: I := xi2 − xi | i ∈ [n] K [X] and let V := K [X]/I .
(Meta-) Example 2:
Polytopes P ⊆ [0, 1]n arise by taking [0, 1]n and adding inequalities.
Example 1:
Consider:
xi2 − xi = 0 if and only if xi ∈ {0, 1}.
Define: I := xi2 − xi | i ∈ [n] K [X] and let V := K [X]/I .
(Meta-) Example 2:
Polytopes P ⊆ [0, 1]n arise by taking [0, 1]n and adding inequalities.
Definition (Border of O)
Let O be an order ideal. Then
∂O := {xi m | m ∈ O, i ∈ [n]} \ O
is the border of O.
Definition (Border of O)
Let O be an order ideal. Then
∂O := {xi m | m ∈ O, i ∈ [n]} \ O
is the border of O.
Border bases
Border bases
Border bases
Border bases
Border bases
Border bases
Lemma
Let O be an order ideal and I a zero-dimensional ideal. Then O
supports a border basis of I if and only if
The catch: by far, not every order ideal supports a border basis.
Example
Let R := {(−1, 1); (1, 1); (0, 0); (1, 0); (0; −1)} ⊆ A2 (Q). Let
hOiK ∩ I 6= {0} as x 3 − x ∈ I .
The catch: by far, not every order ideal supports a border basis.
Example
Let R := {(−1, 1); (1, 1); (0, 0); (1, 0); (0; −1)} ⊆ A2 (Q). Let
hOiK ∩ I 6= {0} as x 3 − x ∈ I .
The catch: by far, not every order ideal supports a border basis.
Example
Let R := {(−1, 1); (1, 1); (0, 0); (1, 0); (0; −1)} ⊆ A2 (Q). Let
hOiK ∩ I 6= {0} as x 3 − x ∈ I .
The catch: by far, not every order ideal supports a border basis.
Example
Let R := {(−1, 1); (1, 1); (0, 0); (1, 0); (0; −1)} ⊆ A2 (Q). Let
hOiK ∩ I 6= {0} as x 3 − x ∈ I .
The catch: by far, not every order ideal supports a border basis.
Example
Consider the ideal I := x 2 + xy + y 2 , xy 2 , y 4 K [X] . Then
The catch: by far, not every order ideal supports a border basis.
Example
Consider the ideal I := x 2 + xy + y 2 , xy 2 , y 4 K [X] . Then
The catch: by far, not every order ideal supports a border basis.
Example
Consider the ideal I := x 2 + xy + y 2 , xy 2 , y 4 K [X] . Then
The catch: by far, not every order ideal supports a border basis.
Example
Consider the ideal I := x 2 + xy + y 2 , xy 2 , y 4 K [X] . Then
The catch: by far, not every order ideal supports a border basis.
Example
Consider the ideal I := x 2 + xy + y 2 , xy 2 , y 4 K [X] . Then
The catch: by far, not every order ideal supports a border basis.
Example
Consider the ideal I := x 2 + xy + y 2 , xy 2 , y 4 K [X] . Then
A polyhedral characterization.
Sketch of proof.
ensures that O(z) is of the right size, i.e., |O(z)| = dim(K [X]/I ).
Sketch of proof.
ensures that O(z) is of the right size, i.e., |O(z)| = dim(K [X]/I ).
Sketch of proof.
is equivalent to
I ∩ hO(z)iK = {0},
i.e., the image of O(z) is linearly independent in the factor
K [X]/I .
⇒ together with |O(z)| = dim(K [X]/I ) it follows
K [X] = I ⊕ hOiK .
Sketch of proof.
is equivalent to
I ∩ hO(z)iK = {0},
i.e., the image of O(z) is linearly independent in the factor
K [X]/I .
⇒ together with |O(z)| = dim(K [X]/I ) it follows
K [X] = I ⊕ hOiK .
Sketch of proof.
can be rewritten as
|U ∩ O(z)| ≤ dim(hU ∪ I iK /I ).
Sketch of proof.
can be rewritten as
|U ∩ O(z)| ≤ dim(hU ∪ I iK /I ).
Sketch of proof.
|U ∩ O(z)| ≤ dim(hU ∪ I iK /I ),
so that we obtain
|O(z)| ≤ dim(hO(z) ∪ I iK /I ).
Sketch of proof.
|U ∩ O(z)| ≤ dim(hU ∪ I iK /I ),
so that we obtain
|O(z)| ≤ dim(hO(z) ∪ I iK /I ).
A common problem.
A common problem.
We define
Fn,k := {vj | j ∈ [n − k]} ∪ Tn=3
jx
P
with vj := i∈[n] i i and define In,k := hFn,k iK [X] .
We define
Fn,k := {vj | j ∈ [n − k]} ∪ Tn=3
jx
P
with vj := i∈[n] i i and define In,k := hFn,k iK [X] .
We define
Fn,k := {vj | j ∈ [n − k]} ∪ Tn=3
jx
P
with vj := i∈[n] i i and define In,k := hFn,k iK [X] .
Lemma
Let n ∈ N and k ∈ [n]. Then In,k is a zero-dimensional ideal such
that an order ideal O is admissible if and only if
(i) O=1 ⊆ Tn=1 with |O=1 | = k;
(ii) O=2 = {xy | x, y ∈ O=1 };
(iii) O=` = ∅ for ` ≥ 3.
Lemma
Let n ∈ N and k ∈ [n]. Then In,k is a zero-dimensional ideal such
that an order ideal O is admissible if and only if
(i) O=1 ⊆ Tn=1 with |O=1 | = k;
(ii) O=2 = {xy | x, y ∈ O=1 };
(iii) O=` = ∅ for ` ≥ 3.
Lemma
Let n ∈ N and k ∈ [n]. Then In,k is a zero-dimensional ideal such
that an order ideal O is admissible if and only if
(i) O=1 ⊆ Tn=1 with |O=1 | = k;
(ii) O=2 = {xy | x, y ∈ O=1 };
(iii) O=` = ∅ for ` ≥ 3.
Lemma
Let n ∈ N and k ∈ [n]. Then In,k is a zero-dimensional ideal such
that an order ideal O is admissible if and only if
(i) O=1 ⊆ Tn=1 with |O=1 | = k;
(ii) O=2 = {xy | x, y ∈ O=1 };
(iii) O=` = ∅ for ` ≥ 3.
Sketch of proof.
Sketch of proof.
Sketch of proof.
Sketch of proof.
Sketch of proof.
Proving hardness.
Proving hardness.
Proving hardness.
polynomial system order ideal signature optimization [s] counting [s] # order ideals
x 3 , xy 2 + y 3 (1, 3, 1, 1, 1) < 0.01 0.02 3
vanishing ideal of the points (1, 4, 2) < 0.01 0.02 45
(0, 0, 0, 1), (1, 0, 0, 2),
(3, 0, 0, 2), (5, 0, 0, 3),
(−1, 0, 0, 4), (4, 4, 4, 5),
(0, 0, 7, 6)).
x + y + z − u − v , x 2 − x, (1, 4, 5) < 0.01 0.35 1,260
y − y , z − z, u 2 − u, v 2 − v
2 2
Thank you!