[論文レビュー] Graphs of Joint Types, Noninteractive Simulation, and Stronger Hypercontractivity

Lei Yu, Venkat Anantharam+1 more|arXiv (Cornell University)|Feb 1, 2021

Markov Chains and Monte Carlo Methods参考文献 28被引用数 6

ひとこと要約

本稿は、情報理論における連合型の誘導する二部グラフである型グラフの分析のための新しい枠組みを提示する。等周的およびハイパーコントラクト性の技法を用い、これらのグラフの最大辺密度および双クライクレート領域に対して漸近的に鋭い境界を確立する。非インタラクティブなシミュレーションへの応用および二値加算チャネルのゼロエラー容量領域に対する改善された外部境界を得る。

ABSTRACT

In this paper, we study the type graph, namely, a bipartite graph induced by a joint type. We investigate the maximum edge density of induced bipartite subgraphs of this graph having a number of vertices on each side on an exponential scale in the length $n$ of the type. This can be seen as an isoperimetric problem. We provide asymptotically sharp bounds for the exponent of the maximum edge density as the length of the type goes to infinity. We also study the biclique rate region of the type graph, which is defined as the set of $(R_{1},R_{2})$ such that there exists a biclique of the type graph which has respectively $2^{nR_{1}}$ and $2^{nR_{2}}$ vertices on the two sides. We provide asymptotically sharp bounds for the biclique rate region as well. We then discuss the connections of these results to noninteractive simulation and hypercontractivity inequalities. Furthermore, as an application of our results, a new outer bound for the zero-error capacity region of the binary adder channel is provided, which improves the previously best known bound, due to Austrin, Kaski, Koivisto, and Nederlof. Our proofs in this paper are based on the method of types and linear algebra.

研究の動機と目的

• 型グラフにおける誘導された二部部分グラフの最大辺密度を、等周的問題として分析すること。
• 型グラフの双クライクレート領域を特徴づけること。ここで双クライクレート領域とは、サイズ 2ⁿᴿ¹ × 2ⁿᴿ² の双クライクが存在するようなレート (R₁, R₂) の集合として定義される。
• これらのグラフ論的結果を非インタラクティブな確率変数のシミュレーションおよびより強いハイパーコントラクト性不等式に結びつけること。
• 二値加算チャネルのゼロエラー容量領域に対して、新たな外部境界を導出することにより、先行研究を改善すること。
• 型の方法と線形代数の手法を統合し、型グラフの極値的性質を分析すること。

提案手法

• 長さ n の系列を、与えられた経験的分布でモデル化するための型の方法を用いる。型クラスおよび連合型クラスを定義する。
• X および Y の型クラスに属する頂点を持つ二部型グラフ G_TXY を構築し、辺は連合型系列に対応する。
• 指数的サイズの頂点集合を各側に持つ誘導部分グラフの最大辺密度を、等周的推論を用いて境界づける。
• 線形代数および双対性技法を用いて、型クラス上に台を持つ関数の Lp および Lq ノルムを分析する。
• 双対関数の導入と段階関数による近似を用いて、内積およびノルムを境界づける。近似誤差の指数的減衰を活用する。
• 変分原理およびラグランジュ変換（特に Λ*ₚ,ₚ および Θ*）を用いて漸近的境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 各側に指数的サイズの頂点集合を持つ型グラフの誘導部分グラフにおける最大辺密度の漸近的指数は何か？
• RQ2 型グラフの正確な双クライクレート領域とは何か。すなわち、サイズ 2ⁿᴿ¹ × 2ⁿᴿ² の双クライクが存在するような (R₁, R₂) の集合は何か？
• RQ3 型グラフの極値的性質は、確率変数の非インタラクティブなシミュレーションとどのように関係するか？
• RQ4 型グラフの構造から、より強いハイパーコントラクト性不等式を導出できるか？
• RQ5 これらのグラフ論的結果は、二値加算チャネルのゼロエラー容量領域に対する改善された外部境界をもたらすか？

主な発見

• 誘導部分グラフにおける型グラフの最大辺密度の漸近的指数は、相互情報量および条件付き型を含む変分表現によって特徴づけられる。
• 双クライクレート領域が漸近的に鋭いことが示され、境界は連合型およびその条件付き分布を含む双対最適化問題によって決定される。
• 本稿は、Austrin らの境界を厳密に改善する、二値加算チャネルのゼロエラー容量領域に対する新たな外部境界を確立した。
• 強いハイパーコントラクト性不等式が導出され、最適定数は型グラフのスペクトルギャップおよび連合型の条件付き構造に関連している。
• 型クラス上の関数について、⟨f,g⟩ / (‖f‖ₚ‖g‖ₚ) の比に対するタイトな境界が得られ、指数は連合型のレート関数のラグランジュ変換に収束する。
• 解析により、型グラフ上のノルムおよび内積の漸近的挙動が、エントロピーおよび発散項の重み付き和の最大値によって支配され、近似パラメータ a および b を用いた指数的誤差制御が可能であることが示された。