[论文解读] Bounds on the number of integer points in a polytope via concentration estimates

Austin Shapiro|arXiv (Cornell University)|Nov 29, 2010

Point processes and geometric inequalities参考文献 12被引用 7

一句话总结

本文通过分析采样整数点的最概然性随机向量的集中性，提供了多面体中整数点数量的高效可计算上界。利用概率论与组合数学工具，证明在温和条件下，当多面体由 $ n $ 个不等式和 $ m $ 个等式定义且 $ m $ 固定时，该向量落入多面体的概率以 $ O(n^{-m/2}) $ 的速率衰减。

ABSTRACT

It is generally hard to count, or even estimate, how many integer points lie in a polytope P. Barvinok and Hartigan have approached the problem by way of information theory, showing how to efficiently compute a random vector which samples the integer points of P with (computable) constant mass, but which may also land outside P. Thus, to count the integer points of P, it suffices to determine the frequency with which the random vector falls in P. We prove a collection of efficiently computable upper bounds on this frequency. We also show that if P is suitably presented by n linear inequalities and m linear equations (m fixed), then under mild conditions separating the expected value of the above random vector from the origin, the frequency with which it falls in P is O(n^{-m/2}) as n -> infinity. As in the classical Littlewood-Offord problem, all results in the paper are obtained by bounding the point concentration of a sum of independent random variables; we sketch connections to previous work on the subject.

研究动机与目标

• 为解决计数多面体中整数点的计算困难问题，该问题已知为 NP-难。
• 通过限制最大熵随机向量落入多面体的概率，改进现有基于采样的方法。
• 使用集中性度量技术，提供多面体中整数点数量的高效可计算上界。
• 在等式约束的维度固定的前提下，建立不等式数量增加时采样概率的渐近衰减速率。

提出的方法

• 使用一个具有独立几何分布坐标的最概然性随机向量 $ X $，其均值被约束在多面体 $ P $ 内。
• 将整数点数量表示为 $ |P \cap \mathbb{Z}^n| = e^{H(X)} \cdot \mathbb{P}[X \in P] $，从而将问题转化为对 $ \mathbb{P}[X \in P] $ 的上界估计。
• 应用集中性度量技术来上界 $ \text{conc}(AX) $，该值上界 $ \mathbb{P}[X \in P] $，因为 $ \mathbb{P}[AX = \mathbf{b}] = \mathbb{P}[X \in P] $。
• 利用乘积链宽度和对数凹序列的结果，对独立随机变量之和的点集中度进行上界估计。
• 使用 Lyapunov 中心极限定理及 Whitney 数的性质，推导离散均匀变量之和的集中性的渐近近似。
• 通过几何随机变量的混合表示形式推导上界，并应用离散均匀变量叠加结果来控制集中性。

实验结果

研究问题

• RQ1 如何利用概率采样方法高效地界定多面体中整数点的数量？
• RQ2 当等式约束数量 $ m $ 固定时，随着不等式数量 $ n $ 增加，采样概率 $ \mathbb{P}[X \in P] $ 的衰减速率是什么？
• RQ3 能否利用独立随机变量之和的点集中度估计，来推导多面体中整数点数量的紧致上界？
• RQ4 在何种条件下，随机向量 $ X $ 的集中性以 $ O(n^{-m/2}) $ 的速率衰减？如何定量建立这一结论？
• RQ5 最大熵分布的熵与多面体的几何结构如何共同影响整数点的数量？

主要发现

• 多面体 $ P $ 中的整数点数量满足上界 $ |P \cap \mathbb{Z}^n| \leq e^{H(X)} \cdot \text{conc}(AX) $，其中 $ H(X) $ 为最大熵采样分布的熵。
• 对于由 $ n $ 个不等式和 $ m $ 个线性方程定义的多面体，且 $ m $ 固定，在温和的分离条件下，当 $ n \to \infty $ 时，有 $ \mathbb{P}[X \in P] = O(n^{-m/2}) $。
• 显式上界为 $ |P \cap \mathbb{Z}^n| \leq e^{H(X)} \cdot \min_{\text{basis}} \prod_{i=1}^m \frac{1}{z_{j_i} + 1} $，其中 $ z_{j_i} $ 为几何分量的均值。
• 当矩阵 $ A $ 具有整数元素，且列被划分为 $ p $ 个块（每块含 $ m $ 个线性无关向量）时，上界变为 $ |P \cap \mathbb{Z}^n| \leq e^{H(X)} \left( C p^{-m/2} + (C')^p \right) $，其中 $ C > 0 $，$ C' < 1 $ 为常数。
• 通过乘积链宽度和对数凹序列，对独立几何或离散均匀随机变量之和的集中性进行上界估计，从而得到类似中心极限定理的近似。
• 证明了 $ p $ 个独立同分布的离散均匀变量（在 $ N_j $ 个点上）之和的渐近集中性行为类似于 $ \sim \left( \frac{\pi}{6} \sum_{j=1}^p (N_j^2 - 1) \right)^{-1/2} $，并利用此结果推导出主要的衰减速率。