[論文レビュー] Common Information, Matroid Representation, and Secret Sharing for Matroid Ports

Michael Bamiloshin, Aner Ben-Efraim+2 more|arXiv (Cornell University)|Feb 19, 2020

Cryptography and Data Security参考文献 66被引用数 9

ひとこと要約

本稿では、共通情報の性質——特にAK共通情報とコピー補題——を用いた洗練された線形計画法の手法を導入し、線形秘密共有スキームにおける情報比の tighter な境界を導出する。非イングルトン適合なスパースペイニングマトロイドに対しては、少なくとも8つのポートが λ(Γ) ≥ 4/3 および σ(Γ) ≥ 9/8 を満たすことを証明し、理想線形スキームの λ-分解を用いてチックタックトゥー・マトロイドの特定のポートに対して λ(Γ) ≥ 6/5 のタイトな境界を確立する。

ABSTRACT

Linear information and rank inequalities as, for instance, Ingleton inequality, are useful tools in information theory and matroid theory. Even though many such inequalities have been found, it seems that most of them remain undiscovered. Improved results have been obtained in recent works by using the properties from which they are derived instead of the inequalities themselves. We apply here this strategy to the classification of matroids according to their representations and to the search for bounds on secret sharing for matroid ports.

研究の動機と目的

• 高度な情報不等式を用いて、線形秘密共有スキームにおける情報比の境界を改善すること。
• イングルトンおよび共通情報（CI）の性質への適合性に基づいてマトロイドを分類すること。
• 非線形および非イングルトン適合でないマトロイドに対して、特にマトロイドのポートにおける情報比 σ(Γ) および λ(Γ) のよりタイトな下界を特定すること。
• 理想線形スキームの λ-分解を用いて、チックタックトゥー・マトロイドにおける λ(Γ) ≥ 6/5 の境界のタイトさを実証すること。

提案手法

• 既知の不等式に依存するのではなく、AK共通情報とコピー補題を線形計画法の制約として用いる。
• マトロイドのポートから導かれるアクセス構造に適した複数の理想線形秘密共有スキームを組み合わせるための λ-分解技術を適用する。
• 8点および9点のマトロイドのポートに対して計算的線形計画法を用い、σ(Γ) および λ(Γ) の境界を導出する。
• マイナー理論を活用：スパースペイニングマトロイドがイングルトン適合でない場合、8点の非イングルトンマイナーを含むため、境界の伝搬が可能となる。
• チックタックトゥー・マトロイドの F11 上の表現およびその緩和を用いて、明示的な理想線形スキームを構築する。
• ほぼエントロピー的および代数的マトロイドに関する先行研究の結果と、新しい計算的境界を統合し、マトロイドの表現可能性の分類を精緻化する。

実験結果

リサーチクエスチョン

• RQ1 イングルトン適合でないマトロイドのポートに対して、情報比 σ(Γ) および λ(Γ) の最もタイトな下界は何か？
• RQ2 AK共通情報およびコピー補題を用いて、共通情報適合でないマトロイドの σ(Γ) に対して非自明な境界を導出可能か？
• RQ3 チックタックトゥー・マトロイドのどのポートに対しても λ(Γ) ≥ 6/5 の境界はタイトか？ もしタイトであれば、理想線形スキームの λ-分解によって達成可能か？
• RQ4 非イングルトン適合なスパースペイニングマトロイドのポートのうち、少なくとも何個が λ(Γ) ≥ 4/3 および σ(Γ) ≥ 9/8 を満たすか？
• RQ5 特定の8点マトロイドに対して σ(Γ) の改善された境界は何か？ また、既知の不等式と比較するとどうなるか？

主な発見

• 非イングルトン適合なスパースペイニングマトロイドに対しては、その少なくとも8つのポートが λ(Γ) ≥ 4/3 および σ(Γ) ≥ 9/8 を満たす。
• チックタックトゥー・マトロイドの (0,0) ポートに対して、λ(Γ) ≥ 6/5 はタイトであり、λ = 5 の6つの理想線形スキームの λ-分解によって達成される。
• 39個の非イングルトン適合な8点マトロイドに対して σ(Γ) の改善された境界が得られ、8/7、33/29、49/43 などの値が含まれる。
• チックタックトゥー・マトロイドを含む複数の9点マトロイドに対しては λ(Γ) ≥ 6/5 が確立されたが、σ(Γ) については非自明な境界は得られなかった。
• チックタックトゥー・マトロイドの (0,0) ポートには、情報比 6/5 の理想線形秘密共有スキームが存在し、境界のタイトさが裏付けられた。
• 本研究は、共通情報に基づく制約が、特に非線形および非CI適合マトロイドにおいて、従来のシャノン不等式よりも強い境界をもたらすことを確認した。