arXiv++ Combinatorics

Spherical $t$-design is a finite subset on sphere such that, for any polynomial of degree at most $t$, the average value of the integral on sphere can be replaced by the average value at the finite subset. It is well-known that an equivalent condition of spherical design is given in terms of harmonic polynomials. In this paper, we define a spherical design of harmonic index $t$ from the viewpoint of this equivalent condition, and we give its construction and a Fisher type lower bound on the cardinality. Also we investigate whether there is a spherical design of harmonic index attaining the bound.

We study Euclidean designs from the viewpoint of the potential energy. For a finite set in Euclidean space, We formulate a linear programming bound for the potential energy by applying harmonic analysis on a sphere. We also introduce the concept of strong Euclidean designs from the viewpoint of the linear programming bound, and we give a Fisher type inequality for strong Euclidean designs. A finite set on Euclidean space is called a Euclidean a-code if any distinct two points in the set are separated at least by a. As a corollary of the linear programming bound, we give a method to determine an upper bound on the cardinalities of Euclidean a-codes on concentric spheres of given radii. Similarly we also give a method to determine a lower bound on the cardinalities of Euclidean t-designs as an analogue of the linear programming bound.

In this article we will show that for every natural $d$ and $n>1$ there exists a natural number $t$ such that for every $d$-dimensional simplicial complex $\mathcal{T}$ with vertices in $\mathbb{Z}^d$, the number of lattice points in the $t^{\mathrm{th}}$ dilate of $\mathcal{T}$ is exactly $χ(\mathcal{T})$ modulo $n$, where $χ(\mathcal{T})$ is the Euler characteristic of $\mathcal{T}$.

Beck et. al. characterized the grid graphs whose perfect matching polytopes are Gorenstein and they also showed that for some parameters, perfect matching polytopes of torus graphs are Gorenstein. In this paper, we complement their result, that is, we characterize the torus graphs whose perfect matching polytopes are Gorenstein. Beck et. al. also gave a method to construct an infinite family of Gorenstein polytopes. In this paper, we introduce a new class of polytopes obtained from graphs and we extend their method to construct many more Gorenstein polytopes.

We present lower bounds for the coefficients of Ehrhart polynomials of convex lattice polytopes in terms of their volume. Concerning the coefficients of the Ehrhart series of a lattice polytope we show that Hibi's lower bound is not true for lattice polytopes without interior lattice points. The counterexample is based on a formula of the Ehrhart series of the join of two lattice polytope. We also present a formula for calculating the Ehrhart series of integral dilates of a polytope.