ゾノトープ圧縮で確率分布間の全変動距離を近似
On Deterministically Computing Total Variation Distance via Zonotope Compression
この論文をやさしく読む
ひとことで言うと
高次元の2つの確率分布がどれだけ違うかを、乱数に頼らず、相対誤差を保証して近似する数学的なアルゴリズムです。
何に役立つ？
積分布の混合、マルコフ連鎖の混合、共通の木構造を持つイジング模型で、分布間の違いを計算する理論的な方法になります。
この研究の面白いところ
確率分布の問題を、低次元のゾノトープという幾何学的対象の支持関数へ変換して、複数のモデルに共通する枠組みを作っています。
どこまで分かった？
混合モデルの計算量の指数は成分数Kに依存し、FPTASという評価はKを固定した場合のものです。イジング模型には同じ木構造という条件があり、多項式時間でも実用上の速さを示す実測値は要旨にありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
簡潔な記述で与えられる高次元分布間の全変動距離について、決定論的な相対近似を研究する。全変動距離を低次元ゾノトープの支持関数として表すことに基づき、抽象的な決定論的近似の枠組みを開発する。その応用として、複数のモデルについて完全多項式時間近似スキーム（FPTAS）を得る。 [q]ⁿ上の積分布の2つの混合が、合計K個の成分分布からなる場合、本アルゴリズムは時間Õ_K(nq(n/ε)^(2K))で、それらの全変動距離を1+ε倍以内に近似する。また、合計K個の成分分布からなる、[q]ⁿ上のnステップのマルコフ連鎖の混合についても、実行時間Õ_K(nq²(n/ε)^(2K))のFPTASを与える。最後に、同じ基礎木構造を持つ2つの潜在木イジング模型について、それらの葉の周辺分布間の全変動距離を、時間O(|V|¹³ ε⁻¹²)で求めるFPTASを与える。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We study deterministic relative approximation of the total variation distance between high-dimensional distributions given by succinct descriptions. We develop an abstract deterministic approximation framework based on representing the total variation distance as a support function of a low-dimensional zonotope. As applications, we obtain FPTASs for several models. Given two mixtures of product distributions over $[q]^n$ with a total of $K$ component distributions, our algorithm approximates their TV-distance within a factor of $1+\varepsilon$ in time $\widetilde O_K(nq(n/\varepsilon)^{2K})$. We also give an FPTAS for mixtures of $n$-step Markov chains over $[q]^n$ with a total of $K$ component distributions, with running time $\widetilde O_K(nq^2(n/\varepsilon)^{2K})$. Finally, for two latent-tree Ising models with the same underlying tree topology, we give an FPTAS for the TV-distance between their leaf marginals in time $O(|V|^{13}\varepsilon^{-12})$.
arXiv ID: 2609.24235 ／ 要約の誤りについて