Counting Lattice Points in Polytopes:The Ehrhart Theory

2019 ◽  
Vol 7 ◽  
Author(s):  
SPENCER BACKMAN ◽  
MATTHEW BAKER ◽  
CHI HO YUEN

Let $M$ be a regular matroid. The Jacobian group $\text{Jac}(M)$ of $M$ is a finite abelian group whose cardinality is equal to the number of bases of $M$ . This group generalizes the definition of the Jacobian group (also known as the critical group or sandpile group) $\operatorname{Jac}(G)$ of a graph $G$ (in which case bases of the corresponding regular matroid are spanning trees of $G$ ). There are many explicit combinatorial bijections in the literature between the Jacobian group of a graph $\text{Jac}(G)$ and spanning trees. However, most of the known bijections use vertices of $G$ in some essential way and are inherently ‘nonmatroidal’. In this paper, we construct a family of explicit and easy-to-describe bijections between the Jacobian group of a regular matroid $M$ and bases of $M$ , many instances of which are new even in the case of graphs. We first describe our family of bijections in a purely combinatorial way in terms of orientations; more specifically, we prove that the Jacobian group of $M$ admits a canonical simply transitive action on the set ${\mathcal{G}}(M)$ of circuit–cocircuit reversal classes of $M$ , and then define a family of combinatorial bijections $\unicode[STIX]{x1D6FD}_{\unicode[STIX]{x1D70E},\unicode[STIX]{x1D70E}^{\ast }}$ between ${\mathcal{G}}(M)$ and bases of $M$ . (Here $\unicode[STIX]{x1D70E}$ (respectively $\unicode[STIX]{x1D70E}^{\ast }$ ) is an acyclic signature of the set of circuits (respectively cocircuits) of $M$ .) We then give a geometric interpretation of each such map $\unicode[STIX]{x1D6FD}=\unicode[STIX]{x1D6FD}_{\unicode[STIX]{x1D70E},\unicode[STIX]{x1D70E}^{\ast }}$ in terms of zonotopal subdivisions which is used to verify that $\unicode[STIX]{x1D6FD}$ is indeed a bijection. Finally, we give a combinatorial interpretation of lattice points in the zonotope $Z$ ; by passing to dilations we obtain a new derivation of Stanley’s formula linking the Ehrhart polynomial of $Z$ to the Tutte polynomial of $M$ .


10.37236/5734 ◽  
2018 ◽  
Vol 25 (3) ◽  
Author(s):  
Paul Johnson

We apply lattice point techniques to the study of simultaneous core partitions. Our central observation is that for $a$ and $b$ relatively prime, the abacus construction identifies the set of simultaneous $(a,b)$-core partitions with lattice points in a rational simplex. We apply this result in two main ways: using Ehrhart theory, we reprove Anderson's theorem that there are $(a+b-1)!/a!b!$ simultaneous $(a,b)$-cores; and using Euler-Maclaurin theory we prove Armstrong's conjecture that the average size of an $(a,b)$-core is $(a+b+1)(a-1)(b-1)/24$. Our methods also give new derivations of analogous formulas for the number and average size of self-conjugate $(a,b)$-cores.


10.37236/2106 ◽  
2012 ◽  
Vol 19 (4) ◽  
Author(s):  
Felix Breuer

The Ehrhart polynomial $L_P$ of an integral polytope $P$ counts the number of integer points in integral dilates of $P$. Ehrhart polynomials of polytopes are often described in terms of their Ehrhart $h^*$-vector (aka Ehrhart $\delta$-vector), which is the vector of coefficients of $L_P$ with respect to a certain binomial basis and which coincides with the $h$-vector of a regular unimodular triangulation of $P$ (if one exists). One important result by Stanley about $h^*$-vectors of polytopes is that their entries are always non-negative. However, recent combinatorial applications of Ehrhart theory give rise to polytopal complexes with $h^*$-vectors that have negative entries.In this article we introduce the Ehrhart $f^*$-vector of polytopes or, more generally, of polytopal complexes $K$. These are again coefficient vectors of $L_K$ with respect to a certain binomial basis of the space of polynomials and they have the property that the $f^*$-vector of a unimodular simplicial complex coincides with its $f$-vector. The main result of this article is a counting interpretation for the $f^*$-coefficients which implies that $f^*$-coefficients of integral polytopal complexes are always non-negative integers. This holds even if the polytopal complex does not have a unimodular triangulation and if its $h^*$-vector does have negative entries. Our main technical tool is a new partition of the set of lattice points in a simplicial cone into discrete cones. Further results include a complete characterization of Ehrhart polynomials of integral partial polytopal complexes and a non-negativity theorem for the $f^*$-vectors of rational polytopal complexes.


Author(s):  
Federico Ardila ◽  
Matthias Beck ◽  
Jodi McWhirter

Ehrhart theory mesures a polytope P discretely by counting the lattice points inside its dilates P, 2P, 3P, ..... We compute the Ehrhart theory of four families of polytopes of great importance in several areas of mathematics: the standard Coxeter permutahedra for the classical Coxeter groups An, Bn, Cn, Dn. A central tool, of independent interest, is a description of the Ehrhart theory of a rational translate of an integer projection of a cube.


Author(s):  
N. A. Balonin ◽  
M. B. Sergeev ◽  
J. Seberry ◽  
O. I. Sinitsyna

Introduction: The Hadamard conjecture about the existence of Hadamard matrices in all orders multiple of 4, and the Gauss problem about the number of points in a circle are among the most important turning points in the development of mathematics. They both stimulated the development of scientific schools around the world with an immense amount of works. There are substantiations that these scientific problems are deeply connected. The number of Gaussian points (Z3 lattice points) on a spheroid, cone, paraboloid or parabola, along with their location, determines the number and types of Hadamard matrices.Purpose: Specification of the upper and lower bounds for the number of Gaussian points (with odd coordinates) on a spheroid depending on the problem size, in order to specify the Gauss theorem (about the solvability of quadratic problems in triangular numbers by projections onto the Liouville plane) with estimates for the case of Hadamard matrices. Methods: The authors, in addition to their previous ideas about proving the Hadamard conjecture on the base of a one-to-one correspondence between orthogonal matrices and Gaussian points, propose one more way, using the properties of generalized circles on Z3 .Results: It is proved that for a spheroid, the lower bound of all Gaussian points with odd coordinates is equal to the equator radius R, the upper limit of the points located above the equator is equal to the length of this equator L=2πR, and the total number of points is limited to 2L. Due to the spheroid symmetry in the sector with positive coordinates (octant), this gives the values of R/8 and L/4. Thus, the number of Gaussian points with odd coordinates does not exceed the border perimeter and is no less than the relative share of the sector in the total volume of the figure.Practical significance: Hadamard matrices associated with lattice points have a direct practical significance for noise-resistant coding, compression and masking of video information.


1948 ◽  
Vol os-19 (1) ◽  
pp. 238-248 ◽  
Author(s):  
S. BOCHNER ◽  
K. CHANDRASEKHARAN
Keyword(s):  

Nanomaterials ◽  
2021 ◽  
Vol 11 (5) ◽  
pp. 1145
Author(s):  
Prem. C. Pandey ◽  
Shubhangi Shukla ◽  
Roger J. Narayan

Prussian blue nanoparticles (PBN) exhibit selective fluorescence quenching behavior with heavy metal ions; in addition, they possess characteristic oxidant properties both for liquid–liquid and liquid–solid interface catalysis. Here, we propose to study the detection and efficient removal of toxic arsenic(III) species by materializing these dual functions of PBN. A sophisticated PBN-sensitized fluorometric switching system for dosage-dependent detection of As3+ along with PBN-integrated SiO2 platforms as a column adsorbent for biphasic oxidation and elimination of As3+ have been developed. Colloidal PBN were obtained by a facile two-step process involving chemical reduction in the presence of 2-(3,4-epoxycyclohexyl)ethyl trimethoxysilane (EETMSi) and cyclohexanone as reducing agents, while heterogeneous systems were formulated via EETMSi, which triggered in situ growth of PBN inside the three-dimensional framework of silica gel and silica nanoparticles (SiO2). PBN-induced quenching of the emission signal was recorded with an As3+ concentration (0.05–1.6 ppm)-dependent fluorometric titration system, owing to the potential excitation window of PBN (at 480–500 nm), which ultimately restricts the radiative energy transfer. The detection limit for this arrangement is estimated around 0.025 ppm. Furthermore, the mesoporous and macroporous PBN-integrated SiO2 arrangements might act as stationary phase in chromatographic studies to significantly remove As3+. Besides physisorption, significant electron exchange between Fe3+/Fe2+ lattice points and As3+ ions enable complete conversion to less toxic As5+ ions with the repeated influx of mobile phase. PBN-integrated SiO2 matrices were successfully restored after segregating the target ions. This study indicates that PBN and PBN-integrated SiO2 platforms may enable straightforward and low-cost removal of arsenic from contaminated water.


Author(s):  
Ansgar Freyer ◽  
Martin Henk

AbstractGardner et al. posed the problem to find a discrete analogue of Meyer’s inequality bounding from below the volume of a convex body by the geometric mean of the volumes of its slices with the coordinate hyperplanes. Motivated by this problem, for which we provide a first general bound, we study in a more general context the question of bounding the number of lattice points of a convex body in terms of slices, as well as projections.


Sign in / Sign up

Export Citation Format

Share Document