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.

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

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 Sharp Polynomial Upper Estimate Conjecture in Eight-Dimensional Simplex

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

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

Sharp Polynomial Estimate of Integral Points in Right-Angled Simplices

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

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

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

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

A New Proof of Some Polynomial Inequalities Related to Pseudo-Splines

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

Coordinate-free Characterization of Homogeneous Polynomials with Isolated Singularities

Notes on Dickson's Conjecture

A Pólya criterion for (strict) positive definiteness on the sphere

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

Pinched theorem and the reverse Yau's inequalities for compact Kähler-Einstein manifolds

Counting Integral Points in Polytopes via Numerical Analysis of Contour Integration

Sharp Upper Estimate Conjecture for the Yau Number of a Weighted Homogeneous Isolated Hypersurface Singularity