Abstract:In this paper, we address the problem of counting integer points in a rational polytope described by P(y) = {x ∈ ℝm: Ax= y, x ≥ 0}, where A is an n × m integer matrix and y is an n-dimensional integer vector. We study the Z transformation approach initiated in works by Brion and Vergne, Beck, and Lasserre and Zeron from the numerical analysis point of view and obtain a new algorithm on this problem. If A is nonnegative, then the number of integer points in P(y) can be computed in <math>O(poly(n,m,‖y‖∞)(‖y‖∞+1)n)</math> time and <math>O(poly(n,m,‖y‖∞))</math> space. This improves, in terms of space complexity, a naive DP algorithm with <math>O((‖y‖∞+1)n)</math>-size dynamic programming table. Our result is based on the standard error analysis of the numerical contour integration for the inverse Z transform and establishes a new type of an inclusion-exclusion formula for integer points in P(y).We apply our result to hypergraph b-matching and obtain a <math>O(poly(n,m,‖b‖∞)(‖b‖∞+1)(1−1/k)n)</math> time algorithm for counting b-matchings in a k-partite hypergraph with n vertices and m hyperedges. This result is viewed as a b-matching generalization of the classical result by Ryser for k = 2 and its multipartite extension by Björklund and Husfeldt.

Reachability of Affine Systems on Polytopes

Characterization of Backward Reachable Set and Positive Invariant Set in Polytopes

Reachability and Stabilization of Discrete-Time Affine Systems with Disturbances

Necessary and Sufficient Conditions for Reachability of Discrete Time Affine Systems on Simplices

Enclosed Convex Hypersurfaces with Maximal Affine Area

Finite flag-transitive affine planes with a solvable automorphism group.

Stability and strict positive realness of convex polytopes of interval polynomials

Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes

Robust positively invariant sets of discrete-time convex polyhedral system family

Intersection bodies of polytopes: translations and convexity

An intersection problem of graph-directed attractors and an application

On Positively Invariant Polyhedrons for Continuous-Time Positive Linear Systems

On the connected (sub)partition polytope

Choice of directions for the approximation of reachable sets for hybrid systems

Enumerating integer points in polytopes with bounded subdeterminants

On the Compactness and Continuity of Polytopes

Computing Reachable Sets of Linear Vector Fields Revisited

Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition

On the affine invariant of hypersemitoric systems

SYZ and optimal transport stability of Weyl polytopes

Counting Integral Points in Polytopes via Numerical Analysis of Contour Integration