[論文レビュー] A computability-theoretic reformulation of the Connes Embedding Problem

Isaac Goldbring, Bradd Hart|arXiv (Cornell University)|Aug 12, 2013

Advanced Topology and Set Theory参考文献 2被引用数 6

ひとこと要約

この論文は、コンヌの埋め込み問題（CEP）を計算可能性理論的問題として再定式化する。CEPが成り立つのは、すべての型II₁ ファン・ノイマン代数の普遍的理論が計算可能であるとき、かつそのときに限る。著者らは、すべてのこのような代数が計算可能な普遍的理論を持つならば、CEPは真でなければならないことを証明し、強い計算可能性的帰結を導出し、CEPの失敗が非可算個の異なる普遍的理論を意味することを示している。これは、CEPの真偽が計算可能性論理によって強く制約されることを示している。

ABSTRACT

The Connes Embedding Problem (CEP) asks whether every separable II_1 factor embeds into an ultrapower of the hyperfinite II_1 factor. We show that the CEP is equivalent to the computability of the universal theory of every type II_1 von Neumann algebra. We also derive some further computability-theoretic consequences of the CEP.

研究の動機と目的

• 型II₁ ファン・ノイマン代数の計算可能性理論的性質の観点から、コンヌの埋め込み問題（CEP）を再定式化すること。
• すべての型II₁ ファクターにおける普遍的理論の計算可能性が、CEPの真偽を示すかを調査すること。
• CEPの論理的および計算可能性理論的帰結、特にII₁ ファクターの異なる普遍的理論の数について探求すること。
• CEPの失敗は、非可算個の異なる普遍的理論の存在を意味するため、CEPの真偽が論理的および計算可能性的に強く制約されることを確立すること。

提案手法

• 著者らは連続論理を用いてトレース付きファン・ノイマン代数を形式化し、*-多項式のトレースを含む量化子なしの論理式を定義する。
• あるII₁ファクターの普遍的理論が計算可能であるとは、任意の量化子なしの論理式と、2進分数ε > 0 が与えられたとき、その論理式が単位球上でとる上界を長さ ≤ ε の実数区間で返すアルゴリズムが存在することであると示す。
• すべての型II₁ ファン・ノイマン代数が計算可能な普遍的理論を持つならば、CEPは真でなければならないことを証明する。これは、CEPの失敗が非可算個の異なる普遍的理論を意味することを示すことによって行う。
• 超有限II₁ファクターの超べきへの素朴埋め込みを用い、モデル間の文の真偽値を関連付ける。連続論理におけるこのような埋め込みが素朴であることを利用している。
• 上昇計算的効果的理論を定義し、超有限II₁ファクターの理論の∃∀-断片が上昇計算的効果的であることを示す。
• 超有限II₁ファクターの再帰的表現を用いて、その単位球上で論理式の上界をアルゴリズム的に計算するのを模倣する。

実験結果

リサーチクエスチョン

• RQ1 コンヌの埋め込み問題は、すべての型II₁ ファン・ノイマン代数の普遍的理論の計算可能性と同値であるか？
• RQ2 すべての型II₁ ファン・ノイマン代数が計算可能な普遍的理論を持つと仮定した場合の、計算可能性理論的帰結は何か？
• RQ3 CEPの失敗は、計算可能性理論的手段によって検出可能か？ そして、II₁ ファクターの異なる普遍的理論の数について何を示唆するか？
• RQ4 超有限II₁ファクターの理論の∃∀-断片は上昇計算的効果的か？
• RQ5 任意の量化子なしの論理式φと2進分数ε > 0 に対して、その単位球上でφ(a)の上界を長さ ≤ ε の区間で近似する一様なアルゴリズムが存在するならば、CEPは成り立つか？

主な発見

• コンヌの埋め込み問題は、すべての型II₁ ファン・ノイマン代数の普遍的理論が計算可能であるという命題と論理的に同値である。
• すべての型II₁ ファン・ノイマン代数が計算可能な普遍的理論を持つならば、コンヌの埋め込み問題は真でなければならない。
• CEPの失敗は、型II₁ ファン・ノイマン代数の間に非可算個の異なる普遍的理論が存在することを意味する。これは、CEPの失敗が計算可能性理論的観点から「極めて強い」ものであることを示している。
• 超有限II₁ファクターの理論の∃∀-断片は上昇計算的効果的である。これは、その代数で真であるようなこの形式のすべての文を列挙するアルゴリズムが存在することを意味する。
• 超有限II₁ファクターの普遍的理論および存在的理論は、再帰的表現と超べきへの素朴埋め込みを用いて計算可能であることが示された。
• 任意の量化子なしの論理式φと2進分数ε > 0 に対して、sup{φ(a) : a ∈ R₁} を長さ ≤ ε の区間で含むアルゴリズムが存在する。これは、Rの普遍的理論の計算可能性を確認するものである。