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 Method for Counting the Number of Polynomial Equivalence Classes.

Lattice-based PKEs/KEMs

Exact Parameterized Multilinear Monomial Counting via k-Layer Subset Convolution and k-Disjoint Sum.

Computing the Number of Equivalent Classes on $\mathcal{R}(s,n)/\mathcal{R}(k,n)$

Counting Solutions to Discrete Non-Algebraic Equations Modulo Prime Powers

On the Equivalent Keys in Multivariate Cryptosystems

More New Classes Of Differentially 4-Uniform Permutations With Good Cryptographic Properties

Equivalences of biprojective almost perfect nonlinear functions

On the effective and automatic enumeration of polynomial permutation classes

Counting Integral Points in Polytopes via Numerical Analysis of Contour Integration

Counting Irreducible Polynomials over Finite Fields

Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis

Multivariate Public Key Cryptography

Probability Method for Cryptanalysis of General Multivariate Modular Linear Equation

Protocols for Secure Computation of Set-Inclusion with the Unencrypted Method

Construction and enumeration of balanced rotation symmetric Boolean functions

Construction of Boolean Functions with Excellent Cryptographic Criteria Using Bivariate Polynomial Representation.

A novel method for generating public keys involving matrix operations

Reducing Randomness Via Irrational Numbers

New Results on Equivalence of Multivariate Polynomial Matrices

Multivariate Oblivious Polynomial Evaluation Protocol