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 the Number of Integral Points in General n-Dimensional Tetrahedra and Bernoulli Polynomials

GLY Conjecture on Counting number of integral points in a general n-dimensional tetrahedra

A Number Theoretic Conjecture Based on Yau Conjecture

On a Number Theoretic Conjecture on Positive Integral Points in a 5-Dimensional Tetrahedron and a Sharp Estimate of the Dickman–De Bruijn Function

A Sharp Polynomial Estimate of Positive Integral Points in A 4-Dimensional Tetrahedron and A Sharp Estimate of the Dickman-De Bruijn Function

Analysis for A Sharp Polynomial Upper Estimate of the Number of Positive Integral Points in A 4-Dimensional Tetrahedron

On the Sharp Polynomial Upper Estimate Conjecture in Eight-Dimensional Simplex

On the Polynomial Sharp Upper Estimate Conjecture in 7-Dimensional Simplex

A Sharp Estimate of Positive Integral Points In6-Dimensional Polyhedra and a Sharp Estimate of Smooth Numbers

Biggest Sharp Polynomial Estimate of Integral Points in Right-Angled Simplices

Sharp Polynomial Estimate of Integral Points in Right-Angled Simplices

Counting Integral Points in Polytopes via Numerical Analysis of Contour Integration

Counting Integral Points in Certain Homogeneous Spaces

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

Counting integral points on symmetric varieties with applications to arithmetic statistics

Counting Points and Hilbert Series in String Theory

On the finiteness of Bernoulli polynomials whose derivative has only integral coefficients

Counting rational points on projective varieties

Counting vertices of integral polytopes defined by facets

Proof of a conjecture of Dahmen and Beukers on counting integral Lam\'{e} equations with finite monodromy

On the GLY Conjecture of Upper Estimate of Positive Integral Points in Real Right-Angled Simplices