Smooth Fano polytopes whose Ehrhart polynomial has a root with large real part (Q411396): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
For \(d \geq 3\), let \(e_1, e_2, \dots, e_{ d+1 }\) denote the standard unit vectors in \({\mathbb R}^{ d+1 }\). Let \(P_d\) be the convex hull of \(\pm e_1 \mp e_2 + e_{ d+1 }\), \(\pm e_2 \mp e_3 + e_{ d+1 }\), \dots, \(\pm e_{ d-1 } \mp e_d + e_{ d+1 }\), \(\pm e_d \mp e_1 + e_{ d+1 }\), and \(e_{ d+1 }\); thus in the language of [\textit{H. Ohsugi} and \textit{T. Hibi}, ``Centrally symmetric configurations of integer matrices'', \url{arXiv:1105.4322}], \(P_d\) is the \textit{symmetric edge polytope} of the cycle of length~\(d\). The paper under review constructs a reduced Gröbner basis of the toric ideal corresponding to \(P_d\) and use it to compute the Ehrhart polynomial of \(P_d\) (which counts the integer lattice points in dilates of \(P_d\)). For \(d=127\), this Ehrhart polynomial has a root whose real part is greater than \(\dim(P_d) = 126\), violating conjectures of \textit{M. Beck, J. A. De Loera, M. Develin, J. Pfeifle} and \textit{R. P. Stanley} [``Coefficients and roots of Ehrhart polynomials'', Mathematical Society (AMS). Contemporary Mathematics 374, 15--36 (2005; Zbl 1153.52300)] and, since \(P_{127}\) is smooth and reflexive, \textit{T. Matsui} et al. [``Roots of Ehrhart polynomials arising from graphs'', J. Algebr. Comb. 34, No. 4, 721--749 (2011; Zbl 1229.05122)]. | |||
Property / review text: For \(d \geq 3\), let \(e_1, e_2, \dots, e_{ d+1 }\) denote the standard unit vectors in \({\mathbb R}^{ d+1 }\). Let \(P_d\) be the convex hull of \(\pm e_1 \mp e_2 + e_{ d+1 }\), \(\pm e_2 \mp e_3 + e_{ d+1 }\), \dots, \(\pm e_{ d-1 } \mp e_d + e_{ d+1 }\), \(\pm e_d \mp e_1 + e_{ d+1 }\), and \(e_{ d+1 }\); thus in the language of [\textit{H. Ohsugi} and \textit{T. Hibi}, ``Centrally symmetric configurations of integer matrices'', \url{arXiv:1105.4322}], \(P_d\) is the \textit{symmetric edge polytope} of the cycle of length~\(d\). The paper under review constructs a reduced Gröbner basis of the toric ideal corresponding to \(P_d\) and use it to compute the Ehrhart polynomial of \(P_d\) (which counts the integer lattice points in dilates of \(P_d\)). For \(d=127\), this Ehrhart polynomial has a root whose real part is greater than \(\dim(P_d) = 126\), violating conjectures of \textit{M. Beck, J. A. De Loera, M. Develin, J. Pfeifle} and \textit{R. P. Stanley} [``Coefficients and roots of Ehrhart polynomials'', Mathematical Society (AMS). Contemporary Mathematics 374, 15--36 (2005; Zbl 1153.52300)] and, since \(P_{127}\) is smooth and reflexive, \textit{T. Matsui} et al. [``Roots of Ehrhart polynomials arising from graphs'', J. Algebr. Comb. 34, No. 4, 721--749 (2011; Zbl 1229.05122)]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Matthias Beck / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 52B20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 05A15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13P10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6021983 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
symmetric edge polytope | |||
Property / zbMATH Keywords: symmetric edge polytope / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Ehrhart polynomial | |||
Property / zbMATH Keywords: Ehrhart polynomial / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Gröbner basis | |||
Property / zbMATH Keywords: Gröbner basis / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
smooth relexive polytope | |||
Property / zbMATH Keywords: smooth relexive polytope / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1500777531 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1109.0791 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5701854 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3601419 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Smooth Fano polytopes arising from finite directed graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Counterexamples of the conjecture on roots of Ehrhart polynomials / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Roots of Ehrhart polynomials arising from graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Centrally Symmetric Configurations of Integer Matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorics and commutative algebra. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4236280 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4861423 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 02:00, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Smooth Fano polytopes whose Ehrhart polynomial has a root with large real part |
scientific article |
Statements
Smooth Fano polytopes whose Ehrhart polynomial has a root with large real part (English)
0 references
4 April 2012
0 references
For \(d \geq 3\), let \(e_1, e_2, \dots, e_{ d+1 }\) denote the standard unit vectors in \({\mathbb R}^{ d+1 }\). Let \(P_d\) be the convex hull of \(\pm e_1 \mp e_2 + e_{ d+1 }\), \(\pm e_2 \mp e_3 + e_{ d+1 }\), \dots, \(\pm e_{ d-1 } \mp e_d + e_{ d+1 }\), \(\pm e_d \mp e_1 + e_{ d+1 }\), and \(e_{ d+1 }\); thus in the language of [\textit{H. Ohsugi} and \textit{T. Hibi}, ``Centrally symmetric configurations of integer matrices'', \url{arXiv:1105.4322}], \(P_d\) is the \textit{symmetric edge polytope} of the cycle of length~\(d\). The paper under review constructs a reduced Gröbner basis of the toric ideal corresponding to \(P_d\) and use it to compute the Ehrhart polynomial of \(P_d\) (which counts the integer lattice points in dilates of \(P_d\)). For \(d=127\), this Ehrhart polynomial has a root whose real part is greater than \(\dim(P_d) = 126\), violating conjectures of \textit{M. Beck, J. A. De Loera, M. Develin, J. Pfeifle} and \textit{R. P. Stanley} [``Coefficients and roots of Ehrhart polynomials'', Mathematical Society (AMS). Contemporary Mathematics 374, 15--36 (2005; Zbl 1153.52300)] and, since \(P_{127}\) is smooth and reflexive, \textit{T. Matsui} et al. [``Roots of Ehrhart polynomials arising from graphs'', J. Algebr. Comb. 34, No. 4, 721--749 (2011; Zbl 1229.05122)].
0 references
symmetric edge polytope
0 references
Ehrhart polynomial
0 references
Gröbner basis
0 references
smooth relexive polytope
0 references