[論文レビュー] How to Use Undiscovered Information Inequalities: Direct Applications of the Copy Lemma

Emirhan Gürpınar, Andrei Romashchenko|arXiv (Cornell University)|Jan 22, 2019

Cryptography and Data Security参考文献 24被引用数 7

ひとこと要約

本稿では、変数のペアを単一変数ではなくクローン化することで、コピー補題の洗練された応用を提案し、対称性の活用によって計算複雑性を顕著に低減する。この手法により、情報理論におけるタイトな境界の導出が可能となり、最良のイングルトンスコア境界の高速かつ形式的検証可能な証明が可能になった。また、ヴァーモス行列に対する秘密分散方式の最適情報比の下界が 561/491 に向上した。

ABSTRACT

We discuss linear programming techniques that help to deduce corollaries of non classic inequalities for Shannon's entropy. We focus on direct applications of the copy lemma. These applications involve implicitly some (known or unknown) non-classic universal inequalities for Shannon's entropy, though we do not derive these inequalities explicitly. To reduce the computational complexity of these problems, we extensively use symmetry considerations. We present two examples of usage of these techniques: we provide a reduced size formal inference of the best known bound for the Ingleton score (originally proven by Dougherty \emph{et al.} with explicitly derived non Shannon type inequalities), and improve the lower bound for the optimal information ratio of the secret sharing scheme for an access structure based on the Vamos matroid.

研究の動機と目的

• 非シャノン型不等式に依存する情報理論における線形計画法問題の計算複雑性を低減すること。
• コピー補題を二つの確率変数のペアに直接適用する手法を開発し、エントロピー不等式のより効率的な推論を可能にすること。
• アクセス構造とエントロピープロファイルにおける対称性を活用して、線形計画法の定式化を単純化・高速化すること。
• 秘密分散およびイングルトンスコア問題における改善された境界について、形式的検証可能な有理数係数の証明を提供すること。
• コピー補題と対称性の考察を組み合わせることで、計算負荷を低減しつつよりタイトな境界が得られることを示すこと。

提案手法

• 単一変数ではなく、結合分布する確率変数のペアのクローンを生成するためにコピー補題を適用し、より強い制約を導出する。
• シャノン型不等式と対称性制約のみを用いて、12個の確率変数（クローンを含む）のエントロピープロファイルをモデル化する線形計画法を構築する。
• アクセス構造の自己同型群から導かれる対称性条件を組み込み、問題の次元を低減する。
• 有理数係数の線形計画法ソルバ（例：QSopt_ex）を用いて、正確な双対解を計算し、形式的検証を可能にする。
• 浮動小数点ソルバを用いて最適解の高速近似を実行し、多くの場合で対称性制約が収束を加速することがわかった。
• 正確な有理数解と浮動小数点近似解を比較することで結果を検証し、丸め誤差の影響を受けることなく正しさを保証した。

実験結果

リサーチクエスチョン

• RQ1 コピー補題を確率変数のペアのクローン生成に拡張することで、より効率的に強い情報不等式を導出できるか？
• RQ2 エントロピープロファイルおよびアクセス構造における対称性をどのように活用すれば、線形計画法の定式化のサイズと複雑性を低減できるか？
• RQ3 このアプローチにより、非シャノン型不等式の明示的導出を避けながら、形式的検証可能な有理数係数の証明が得られるか？
• RQ4 対称性制約は、情報理論の線形計画法問題におけるソルバの計算性能にどのような影響を与えるか？
• RQ5 この手法により、特にヴァーモス行列に対する秘密分散方式の既知の最適情報比の下界を向上させられるか？

主な発見

• 本手法により、4つの補助変数とコピー補題の3回の適用のみで、イングルトンスコアの最良の既知の境界について形式的かつ検証可能な証明が達成された。
• ヴァーモス行列における秘密分散方式の最適情報比は、少なくとも 561/491 ≈ 1.142566 に向上し、以前に知られていたものよりタイトな下界となった。
• 線形計画法の正確な有理数解は QSopt_ex を用いて計算され、1000個以上の有理数不等式を含む双対解が得られ、形式的証明が可能になった。
• 対称性制約により、有理数双対解の分母が小さくなり、多くの設定でソルバの性能が向上したが、必ずしもすべての状況でそうだったわけではない。
• 浮動小数点ソルバを用いた高速な境界計算が可能であり、同時に有理数算術による正確な検証も可能となった。
• 非シャノン型不等式の明示的導出を避けるために、コピー補題と対称性を組み合わせて、その影響を直接的に埋め込んだ。