Asymptotic distribution of the zeros of the Ehrhart polynomial of the cross-polytope

DOI10.1016/J.JAT.2013.03.005MaRDI QIDQ387258zbMATH OpenOpenAlexFDO

Authors Miguel Rodríguez

Publication date 20 December 2013

Published in Journal of Approximation Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1012.2342

zbMATH Keywords

cross-polytopeEhrhart polynomialLaplace's methodsteepest descentzero distribution

Mathematics Subject Classification ID

Other functions defined by series and integrals (33E20)

Abstract: We use the method of steepest descents to study the root distribution of the Ehrhart polynomial of the $d$-dimensional cross-polytope, namely $mathcal{L}_d$, as $dightarrowinfty$. We prove that the distribution function of the roots, approximately, as $d$ grows, by variation of argument of the generating function $su{m}_{mgeq0}mathcal{L}_d(m)t^{m+x-1}=(1+t{)}^d(1-t{)}^{-d-1}{t}^{x-1}$, as $t$ varies appropriately on the segment of the imaginary line contained inside the unit disk.

Review text

Given a convex polytope \(\mathcal{P} \subset \mathbb{R}^d\) with vertices on the lattice \(\mathbb{Z}^d\), the lattice point counting function is defined as \(\mathcal{L}_\mathcal{P}(m) = \#(\mathbb{Z}^d \cap m \mathcal{P})\). The function \(\mathcal{L}_\mathcal{P}\) is in fact a polynomial in \(m\), called the Ehrhart polynomial of \(\mathcal{P}\).NEWLINENEWLINEThe present article is concerned with the zero distribution of the Ehrhart polynomial of the \(d\)-dimensional cross-polytope, i.e., the convex hull of the set of unit vectors \(\{\pm \vec{e}_j | j = 1,\dots,d \}\) in \(\mathbb{R}^d\), given by the formula NEWLINE\[NEWLINE \mathcal{L}_d(x) = \sum_{n=0}^d {d \choose n} { d+x-n \choose d}. NEWLINE\]NEWLINE These have some interesting properties, for example, all zeros of \(\mathcal{L}_d\) have real part \(-\frac{1}{2}\). The article studies the distribution of zeros of \(\mathcal{L}_d\) on this line in the limit where \(d \to \infty\). Two results are proved, one regarding the `small zeros' of \(\mathcal{L}_d\), the other regarding the `larger zeros'. For the small zeros, let \(a_d\) and \(b_d\) be sequences of numbers such that \(a_d < b_d\) and \(|a_d|,|b_d| = o(\log d)\). The asymptotic formula NEWLINE\[NEWLINE \# \{ x : \mathcal{L}_d(x) = 0, \Im \{x\} \in [a_d,b_d] \} = \left[ \frac{\log d}{\pi} + o(\log d) \right] (b_d-a_d) + O(1), NEWLINE\]NEWLINE as \(d \to \infty\), is obtained. For the larger zeros, the author uses the method of steepest descents to evaluate a certain integral representation for the Ehrhart polynomials to obtain a counting function for the zeros, NEWLINE\[NEWLINE\begin{multlined} \# \{ x : \mathcal{L}_d(x) = 0, \Im \{x\} \in (-d,\tau) \} = \\ \frac{2d+1}{\pi} \arctan \left( \frac{d}{\tau} - \sqrt{\frac{d^2}{\tau^2} - 1} \right) - \frac{\tau}{\pi} \log \Bigg|\frac{d}{\tau} - \sqrt{\frac{d^2}{\tau^2} - 1}\Bigg| + \frac{d}{2} + O(1).\end{multlined} NEWLINE\]NEWLINE Also, the largest zero of of \(\mathcal{L}_d\) is proven to have an imaginary part \(d-\epsilon_d\) with \(\epsilon_d > 0\) and \(\epsilon_d = O(d^{1/3})\).

Recommendations

• scientific article; zbMATH DE number 2223032
• Notes on the roots of Ehrhart polynomials
• Ehrhart Polynomials and Successive Minima
• Norm bounds for Ehrhart polynomial roots
• The distribution of roots of Ehrhart polynomials for the dual of root polytopes of type C

Cites work

• A local Riemann hypothesis. I
• A systematization of the saddle point method. Application to the Airy and Hankel functions
• An Ehrhart series formula for reflexive polytopes
• Analytic combinatorics
• Computing the Continuous Discretely
• Effective Laguerre Asymptotics
• Ehrhart polynomial roots and Stanley's non-negativity theorem
• Ehrhart Polynomials and Successive Minima
• scientific article; zbMATH DE number 3117699 (Why is no real title available?)
• scientific article; zbMATH DE number 3135243 (Why is no real title available?)
• scientific article; zbMATH DE number 3474264 (Why is no real title available?)
• scientific article; zbMATH DE number 3613366 (Why is no real title available?)
• scientific article; zbMATH DE number 2223032 (Why is no real title available?)
• Norm bounds for Ehrhart polynomial roots
• Notes on the roots of Ehrhart polynomials
• On the zeros of certain polynomials
• Zero spacing distributions for differenced L-functions

Cited in

(2)

• The root distributions of Ehrhart polynomials of free sums of reflexive polytopes
• Beyond the Efron-Buchta identities: distributional results for Poisson polytopes

This page was built for publication: Asymptotic distribution of the zeros of the Ehrhart polynomial of the cross-polytope

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q387258)