1,167 research outputs found
Computation of the highest coefficients of weighted Ehrhart quasi-polynomials of rational polyhedra
This article concerns the computational problem of counting the lattice
points inside convex polytopes, when each point must be counted with a weight
associated to it. We describe an efficient algorithm for computing the highest
degree coefficients of the weighted Ehrhart quasi-polynomial for a rational
simple polytope in varying dimension, when the weights of the lattice points
are given by a polynomial function h. Our technique is based on a refinement of
an algorithm of A. Barvinok [Computing the Ehrhart quasi-polynomial of a
rational simplex, Math. Comp. 75 (2006), pp. 1449--1466] in the unweighted case
(i.e., h = 1). In contrast to Barvinok's method, our method is local, obtains
an approximation on the level of generating functions, handles the general
weighted case, and provides the coefficients in closed form as step polynomials
of the dilation. To demonstrate the practicality of our approach we report on
computational experiments which show even our simple implementation can compete
with state of the art software.Comment: 34 pages, 2 figure
Minimizing Cubic and Homogeneous Polynomials over Integers in the Plane
We complete the complexity classification by degree of minimizing a
polynomial over the integer points in a polyhedron in . Previous
work shows that optimizing a quadratic polynomial over the integer points in a
polyhedral region in can be done in polynomial time, while
optimizing a quartic polynomial in the same type of region is NP-hard. We close
the gap by showing that this problem can be solved in polynomial time for cubic
polynomials.
Furthermore, we show that the problem of minimizing a homogeneous polynomial
of any fixed degree over the integer points in a bounded polyhedron in
is solvable in polynomial time. We show that this holds for
polynomials that can be translated into homogeneous polynomials, even when the
translation vector is unknown. We demonstrate that such problems in the
unbounded case can have smallest optimal solutions of exponential size in the
size of the input, thus requiring a compact representation of solutions for a
general polynomial time algorithm for the unbounded case
Software for Exact Integration of Polynomials over Polyhedra
We are interested in the fast computation of the exact value of integrals of
polynomial functions over convex polyhedra. We present speed ups and extensions
of the algorithms presented in previous work. We present the new software
implementation and provide benchmark computations. The computation of integrals
of polynomials over polyhedral regions has many applications; here we
demonstrate our algorithmic tools solving a challenge from combinatorial voting
theory.Comment: Major updat
Vacuum Energy Density for Massless Scalar Fields in Flat Homogeneous Spacetime Manifolds with Nontrivial Topology
Although the observed universe appears to be geometrically flat, it could
have one of 18 global topologies. A constant-time slice of the spacetime
manifold could be a torus, Mobius strip, Klein bottle, or others. This global
topology of the universe imposes boundary conditions on quantum fields and
affects the vacuum energy density via Casimir effect. In a spacetime with such
a nontrivial topology, the vacuum energy density is shifted from its value in a
simply-connected spacetime. In this paper, the vacuum expectation value of the
stress-energy tensor for a massless scalar field is calculated in all 17
multiply-connected, flat and homogeneous spacetimes with different global
topologies. It is found that the vacuum energy density is lowered relative to
the Minkowski vacuum level in all spacetimes and that the stress-energy tensor
becomes position-dependent in spacetimes that involve reflections and
rotations.Comment: 25 pages, 11 figure
Exact Euler Maclaurin formulas for simple lattice polytopes
Euler Maclaurin formulas for a polytope express the sum of the values of a
function over the lattice points in the polytope in terms of integrals of the
function and its derivatives over faces of the polytope or its expansions.
Exact Euler Maclaurin formulas [Khovanskii-Pukhlikov, Cappell-Shaneson,
Guillemin, Brion-Vergne] apply to exponential or polynomial functions; Euler
Maclaurin formulas with remainder [Karshon-Sternberg-Weitsman] apply to more
general smooth functions.
In this paper we review these results and present proofs of the exact
formulas obtained by these authors, using elementary methods. We then use an
algebraic formalism due to Cappell and Shaneson to relate the different
formulas.Comment: 35 pages, 5 figures. To appear in Advances in Applied Mathematic
- …