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.

Counting points with Riemann-Roch formulas

Integral points in rational polygons: a numerical semigroup approach

Computing Singular Points of Plane Rational Curves.

Counting integral points on symmetric varieties with applications to arithmetic statistics

Counting the Number of Integral Points in General n-Dimensional Tetrahedra and Bernoulli Polynomials

Counting rational points on Hirzebruch-Kleinschmidt varieties over number fields

Counting Integral Points in Polytopes via Numerical Analysis of Contour Integration

Counting Integral Points in Certain Homogeneous Spaces

Counting Rational Points In Non-Isotropic Neighborhoods of Manifolds

Counting integral points on indefinite ternary quadratic equations over number fields

Counting rational curves with an $m$-fold point

Counting rational points in non-singular curves

Arithmetic Riemann-Roch and Hilbert-Samuel formulae for pointed stable curves

Quadratic Riemann-Roch formulas

Counting Points and Hilbert Series in String Theory

Riemann surfaces for integer counting processes

On regular but non-smooth integral curves

Counting positive intersection points of a trinomial and a $\mathbf{T}$-nomial curves via Groethendieck's dessin d'enfant

Counting rational points on Hirzebruch-Kleinschmidt varieties over global function fields

Limit heights and special values of the Riemann zeta function

An Upper Estimate of Integral Points in Real Simplices with an Application to Singularity Theory