[论文解读] 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

一句话总结

本文通過對變數對而非單一變數進行克隆，將複製引理的應用進行了改良，從而更緊緻地推導出資訊理論中的界限，並透過對稱性利用顯著降低計算複雜度。該方法實現了對最佳已知 Ingleton 分數界限的快速、可形式化驗證的證明，並將 Vámos 結構的機密共享最佳資訊比率下限提升至 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.

研究动机与目标

• 降低依賴非 Shannon 型不等式的資訊理論線性規劃問題的計算複雜度。
• 發展一種直接將複製引理應用於隨機變數對的方法，以更高效地推導熵不等式。
• 利用存取結構與熵輪廓中的對稱性，簡化並加速線性規劃公式化。
• 提供針對機密共享與 Ingleton 分數問題中改進界限的形式化可驗證、係數為有理數的證明。
• 證明結合複製引理與對稱性考量可產生更緊緻的界限，且計算開銷更低。

提出的方法

• 將複製引理應用於生成一對聯合分佈隨機變數的克隆，而非僅單一變數，以推導出更強的約束。
• 建立一個包含 12 個隨機變數（含克隆）的線性規劃模型，以描述熵輪廓，僅使用 Shannon 型不等式與對稱性約束。
• 引入源自存取結構自同構群的對稱性條件，以降低問題的維度。
• 使用有理係數線性規劃求解器（例如 QSopt_ex）計算具有有理係數的精確對偶解，確保形式可驗證性。
• 利用浮點數求解器快速近似最佳解，對稱性約束在許多情況下加速收斂。
• 透過比較精確的有理數解與浮點數近似解來驗證結果，確保即使存在捨入誤差仍正確。

实验结果

研究问题

• RQ1 能否將複製引理擴展至克隆隨機變數對，以更高效地推導出更強的信息不等式？
• RQ2 如何利用熵輪廓與存取結構中的對稱性，來縮小線性規劃公式的規模與複雜度？
• RQ3 此方法能否在不顯式推導非 Shannon 不等式的情況下，產生形式化可驗證、係數為有理數的熵界限證明？
• RQ4 對稱性約束對資訊理論問題中線性規劃求解器的計算效能有何影響？
• RQ5 此方法能否改善已知的機密共享方案中最佳資訊比率下限，特別是針對 Vámos 結構？

主要发现

• 該方法僅使用四個輔助變數與三次複製引理應用，即實現了對 Ingleton 分數最佳已知界限的形式化、可驗證證明。
• Vámos 結構機密共享方案的最佳資訊比率已提升至至少 561/491 ≈ 1.142566，比先前已知的下限更緊緻。
• 透過 QSopt_ex 計算出線性規劃的精確有理數解，得到包含超過 1000 個有理數不等式的對偶解，提供形式化證明。
• 對稱性約束降低了有理數對偶解中的分母，並在許多配置中提升了求解器性能，儘管並非在所有情況下皆然。
• 該方法可透過浮點數求解器快速計算界限，同時仍能透過有理數算術進行精確驗證。
• 該技術透過在複製引理與對稱性中直接嵌入非 Shannon 不等式的影響，避免了其顯式推導。