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.

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

A Number Theoretic Conjecture Based on Yau Conjecture

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

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

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

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

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

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

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

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

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

Sharp Polynomial Estimate of Integral Points in Right-Angled Simplices

Counting vertices of integral polytopes defined by facets

Coordinate-free Characterization of Homogeneous Polynomials with Isolated Singularities

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

Counting Integral Points in Polytopes via Numerical Analysis of Contour Integration

Vertices of Gelfand-Tsetlin Polytopes

On Formulas for Dedekind Sums and the Number of Lattice Points in Tetrahedra

Almost Congruent Triangles

Counting Integral Points in Certain Homogeneous Spaces

Bounds on Cheeger-Gromov invariants and simplicial complexity of triangulated manifolds