In this work we provide a complete and constructive proof of Marinari-Mora’s “Axis of Evil Theorem”. Given a finite set X ⊆ A^n(k) of distinct points and fixed on P := k[x1 , ..., xn ] the lexicographical order, the theorem states that one can produce a “linear” factorization for a minimal Groebner basis of the ideal I(X) of P, via interpolation and a combinatorial algorithm. We display here the related algorithm showing its termination and correctness.
A proof of the "Axis of Evil Theorem" for distinct points / M. Ceria. - In: RENDICONTI DEL SEMINARIO MATEMATICO. - ISSN 0373-1243. - 72:3-4(2014), pp. 213-233.
A proof of the "Axis of Evil Theorem" for distinct points
M. Ceria
2014
Abstract
In this work we provide a complete and constructive proof of Marinari-Mora’s “Axis of Evil Theorem”. Given a finite set X ⊆ A^n(k) of distinct points and fixed on P := k[x1 , ..., xn ] the lexicographical order, the theorem states that one can produce a “linear” factorization for a minimal Groebner basis of the ideal I(X) of P, via interpolation and a combinatorial algorithm. We display here the related algorithm showing its termination and correctness.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
ceria_michela_AoE.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
346.33 kB
Formato
Adobe PDF
|
346.33 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
