[論文レビュー] On the computability of graphons

Nathanael Ackerman, Jeremy Avigad+3 more|arXiv (Cornell University)|Jan 31, 2018

Computability, Logic, AI Algorithms参考文献 8被引用数 3

ひとこと要約

この論文は、稠密グラフの極限対象であるグラフンの計算可能性を、$L^1$ およびカット距離メトリクスにおける表現の観点から調査する。$L^1$ 表現はカット距離表現よりも計算可能な情報が厳密に多く含んでおり、変換には $0^{\backprime}$ をオракルとして必要とし、任意のほとんど everywhere 連続なグラフンと弱同型でない計算可能な $L^1$ グラフンを構成することで、連続的計算可能な表現における根本的な位相的障壁を示している。

ABSTRACT

We investigate the relative computability of exchangeable binary relational data when presented in terms of the distribution of an invariant measure on graphs, or as a graphon in either $L^1$ or the cut distance. We establish basic computable equivalences, and show that $L^1$ representations contain fundamentally more computable information than the other representations, but that $0'$ suffices to move between computable such representations. We show that $0'$ is necessary in general, but that in the case of random-free graphons, no oracle is necessary. We also provide an example of an $L^1$-computable random-free graphon that is not weakly isomorphic to any graphon with an a.e. continuous version.

研究の動機と目的

• グラフの不変測度または $L^1$ やカット距離メトリクスにおけるグラフンとして表現された場合の、グラフンの相対的計算可能性を理解すること。
• 交換可能な確率的グラフ配列の計算可能な表現が、グラフン構造を通じて条件付き独立性を露にすることができるかどうかを特定すること。
• 計算可能な交換可能な配列を生成するグラフンが、ほとんど everywhere 連続でなければならないかどうか、およびそのような表現が計算可能かどうかを調査すること。
• グラフンの $d_{\square}$ と $d_1$ 表現の間の変換に、ハッキング問題 $0^\prime$ がなぜ必要となるかを確立すること。
• a.e. 連続なバージョンが存在する任意のグラフンと弱同型でない $L^1$-計算可能な、確率的要因を含まないグラフンの例を構成し、連続的計算可能な表現における位相的障壁を明らかにすること。

提案手法

• 著者らは、擬距離空間における計算可能性を形式化し、$L^1$ およびカット距離（$d_{\square}$）メトリクスにおけるグラフンの計算可能な名前を定義する。
• 表現間の計算可能な同値性を確立し、$0^\prime$ をオラクルとして用いることで、$d_{\square}$-名前から $d_1$-名前を計算可能であることを示す。
• 一般に、このような変換に $0^\prime$ が不可欠であることを、特定の測度論的性質を持つ確率的要因を含まないグラフンの構成を用いて証明する。
• 測度を保つ写像 $\psi$ を用いて弱同型なグラフンを関連付け、測度ゼロ集合の逆像を通じて連続性を分析する。
• 測度 $\lambda$-連続集合および補助測度の概念を適用し、弱同型なグラフンの a.e. 連続性が、構成された例において矛盾を引き起こすことを示す。
• $d_1$-計算可能な確率的要因を含まないグラフンと下界の構成を組み合わせ、その $d_1$-名前が $0^\prime$ を計算できることを示し、オラクルの必要性を証明する。

実験結果

リサーチクエスチョン

• RQ1 グラフンの $d_{\square}$-名前は、追加のオラクルアクセスなしに $d_1$-名前に計算可能に還元可能か？ 逆に、$d_1$-名前から $d_{\square}$-名前への還元は可能か？
• RQ2 計算可能な交換可能な確率的グラフ配列は、常にほとんど everywhere 連続なグラフンによって表現可能か？
• RQ3 グラフンの $d_{\square}$ と $d_1$ 表現の間の変換に、ハッキング問題 $0^\prime$ が一般に必要か？
• RQ4 $L^1$-計算可能で、確率的要因を含まないグラフンは、a.e. 連続なバージョンを持つ任意のグラフンと弱同型になれるか？
• RQ5 グラフンの $d_1$-名前が計算可能であるということは、その背後にある交換可能な配列における条件付き独立性を露にする計算可能な表現が存在することを示唆するか？

主な発見

• $L^1$ 表現は、$d_{\square}$-名前から $d_1$-名前を $0^\prime$ を除いて計算できないことから、カット距離表現よりも計算可能な情報が厳密に多く含んでいる。
• 一般に、グラフンの $d_{\square}$ と $d_1$ 表現の間の変換にはハッキング問題 $0^\prime$ が不可欠である。
• 確率的要因を含まないグラフンでは、オラクルは不要である：$d_1$-名前は交換可能な配列の分布から直接計算可能である。
• $L^1$-計算可能で、確率的要因を含まないグラフンを構成し、任意の a.e. 連続なバージョンを持つグラフンと弱同型でないことを示し、連続的表現における位相的障壁を明らかにした。
• この例と弱同型な $d_1$-名前を持つグラフンは $0^\prime$ を計算可能であるため、オラクルが変換に必要かつ十分であることが示された。
• 本論文は、配列の分布が計算可能であっても、交換可能な配列のグラフンの計算可能な表現が a.e. 連続でないことを確立し、1次元の de Finetti の場合とは根本的に異なることを明らかにした。