[論文レビュー] Equal-image-size source partitioning: Creating strong Fano's inequalities for multi-terminal discrete memoryless channels

Eric Graves, Tan F. Wong|arXiv (Cornell University)|Dec 2, 2015

Wireless Communication Security Techniques参考文献 13被引用数 5

ひとこと要約

本稿では、多端子離散メモリレスチャネル（DMC）を多項式個の部分集合に分割する、等画像サイズ源分割法を提案する。この手法により、ほぼすべてのメッセージについて最小画像サイズの指数的順序が同一のエントロピー項に等しくなる。これにより、非消える誤り確率に対してもロバストな強Fano型不等式が得られ、漏洩量が減少するワイヤテープチャネルの強対偶が証明され、長年の未解決問題が解決される。

ABSTRACT

This paper introduces equal-image-size source partitioning, a new tool for analyzing channel and joint source-channel coding in a multi-terminal discrete memoryless channel environment. Equal-image-size source partitioning divides the source (combination of messages and codewords) into a sub-exponential number of subsets. Over each of these subsets, the exponential orders of the minimum image sizes of most messages are roughly equal to the same entropy term. This property gives us the strength of minimum image sizes and the flexibility of entropy terms. Using the method of equal-image-size source partitioning, we prove separate necessary conditions for the existence of average-error and maximum-error codes. These necessary conditions are much stronger than the standard Fano's inequality, and can be weakened to render versions of Fano's inequality that apply to codes with non-vanishing error probabilities. To demonstrate the power of this new tool, we employ the stronger average-error version of Fano's inequality to prove the strong converse for the discrete memoryless wiretap channel with decaying leakage, which heretofore has been an open problem.

研究の動機と目的

• 多端子離散メモリレスチャネル（DMC）における画像サイズとエントロピーの特徴付けのギャップを解消する。既存の手法は非一様なメッセージ分布や非消える誤り確率に対して柔軟性に欠ける。
• 任意の集合に対して最小画像サイズを計算することが難しい一方で、エントロピーに基づく球詰め法は誤り確率の変動に対してロバストでないという制限を克服する。
• 複数のメッセージおよび受信者において、画像サイズとエントロピーの特徴付けを同時にバランスさせる分割法を開発し、信頼性通信のより緊密な必要条件を導く。
• 誤り確率レベルに依存しない不変性を持つ強Fano型不等式を確立し、誤り確率が消えない場合にも適用可能であるようにする。
• 新しい枠組みを用いて、漏洩量が減少する離散メモリレスワイヤテープチャネルの強対偶を証明し、以前は未解決であった問題を解決する。

提案手法

• 等画像サイズ源分割を提案：ソース集合を高々 $ \tilde{O}(n^5) $ 個の部分集合に分割し、各部分集合においてほぼすべてのメッセージについて最小画像サイズの指数的順序が共通のエントロピー項に等しくなるように保証する。
• 吹き出し補題を用いて、最小画像サイズの指数的順序が誤り確率 $ \rho $ に対して概ね不変であることを示し、エントロピーに基づく境界を非消える誤り確率領域に持ち込むことを可能にする。
• 条件付きエントロピーおよび相互情報量の式を用い、メッセージの不確実性と復号の信頼性を関連づける。特に $ \frac{1}{n}H(M_{S_k}) $ および $ \frac{1}{n}I(M_{S_k};Y_k^n|M_{\bar{S}_k}, Q=q) $ を用い、誤差項が $ n \to \infty $ のとき消えるようにする。
• 高い確率で定義される修正されたメッセージ部分集合 $ \tilde{M}_{S_k} $ を構築し、補題24を適用して条件付き分布下での相互情報量およびエントロピーの境界を導出する。
• 条件付け、メッセージ部分集合の確率、およびレートの組み合わせ効果を捉える残差誤差項 $ \kappa_n \to 0 $ を導入し、収束がエントロピーに基づく境界に一致することを保証する。
• 漏洩量が減少するワイヤテープチャネルにこの枠組みを適用し、誤り確率が消えない制約下でも、導出されたFano型不等式から直接的に強対偶が導かれることが示される。

実験結果

リサーチクエスチョン

• RQ1 多端子DMCにおいて、各部分集合のほぼすべてのメッセージについて、最小画像サイズの指数的順序が同一のエントロピー項に等しくなるような分割法を構築可能か？
• RQ2 この分割法は、各部分集合におけるメッセージのほぼ均一な分布を同時に保証し、ブロック長 $ n $ に対して多項式個の部分集合を維持できるか？
• RQ3 得られた画像サイズおよびエントロピーの特徴付けを用いて、非消える誤り確率に対してもロバストな信頼性通信の必要条件を導出可能か？
• RQ4 導出された強Fano不等式を、非自明な誤り制約を持つチャネル、例えば漏洩量が減少するワイヤテープチャネルの強対偶の証明に応用可能か？
• RQ5 この手法を、ブロードキャストチャネルや複数アクセスチャネルなどの他の多端子DMCについて、$ \epsilon $-伝送可能領域を特徴付けるために拡張可能か？

主な発見

• 提案された等画像サイズ源分割法により、ソース集合は高々 $ \mathcal{O}(n^5) $ 個の部分集合に分割され、各部分集合に属するほぼすべてのメッセージについて、最小画像サイズの指数的順序が共通のエントロピー項に一致する。
• 各分割部分集合において、メッセージはほぼ一様に分布しており、部分集合の数は $ n $ に対して多項式的であるため、解析が容易になる。
• この手法により、平均誤りと最大誤りの両基準下で、信頼性通信の強力な必要条件が得られ、標準的なFanoの不等式よりもはるかに強い。
• これらの条件は、誤り確率 $ \epsilon $ に依存しない不変性を持つFanoの不等式の新バージョンを導き、$ \epsilon $ が消えない場合にも適用可能である。
• 漏洩量が減少する離散メモリレスワイヤテープチャネルの強対偶が、直接的な応用として証明され、長年の未解決問題が解決される。
• 導出された境界における誤差項 $ \kappa_n $ は $ n \to \infty $ のとき $ \kappa_n \to 0 $ を満たし、エントロピーに基づく特徴付けの漸近的タイトネスが保証される。