[論文レビュー] Computable copies of $\ell^p$

Timothy H. McNicholl|arXiv (Cornell University)|Apr 18, 2015

Computability, Logic, AI Algorithms参考文献 6被引用数 4

ひとこと要約

この論文は、計算可能 $ p \geq 1 $ に対して、任意の二つの計算可能 $ \ell^p $ のコピー間の全単射線形等長写像をハーティング集合が計算可能であることを確立している。$ p \neq 2 $ のとき、この境界は最適である。$ \ell^p $ は $ \Delta_2^0 $-categorical ではあるが、計算可能に分類可能であるのは $ p = 2 $ のときに限る。これはメルニコフ（2013）が提起した疑問を解決するものであり、ヒルバート空間でない計算可能に分類可能なバナッハ空間が存在することを示している。

ABSTRACT

\begin{abstract} Suppose $p$ is a computable real so that $p \geq 1$. It is shown that the halting set can compute a surjective linear isometry between any two computable copies of $\ell^p$. It is also shown that this result is optimal in that when $p eq 2$ there are two computable copies of $\ell^p$ with the property that any oracle that computes a linear isometry of one onto the other must also compute the halting set. Thus, $\ell^p$ is $Δ_2^0$-categorical and is computably categorical if and only if $p = 2$. It is also shown that there is a computably categorical Banach space that is not a Hilbert space and that $\ell^p$ is linearly isometric to a computable Banach space if and only if $p$ is computable. These results hold in both the real and complex case.

研究の動機と目的

• 計算可能 $ p \geq 1 $ に対して、$ \ell^p $ の計算可能コピー間の線形等長写像を計算する際の計算的複雑度を特定すること。
• $ \ell^p $ が計算可能に分類可能かどうかを調査すること、特に $ p = 2 $ と $ p \neq 2 $ の場合を区別すること。
• メルニコフ（2013）が提起した $ \ell^p $ の計算可能分類可能性に関する疑問を解決すること。
• ヒルバート空間でない計算可能に分類可能なバナッハ空間が存在することを示すこと。
• 実数の場合から複素数の場合へと結果を拡張し、両設定で同一の分類可能性の挙動を示すこと。

提案手法

• J. ランパティによる鋭化された不等式を活用し、古典的設定における等長写像の複雑度を評価すること。
• バナッハとランパティによる $ L^p $ 空間の線形等長写像の特徴づけを用いて、$ \ell^p $ 上の等長写像の構造を分析すること。
• $ p \neq 2 $ に対して、任意のオракルがそれらの間の全単射線形等長写像を計算するには、ハーティング集合も計算しなければならないような、二つの計算可能コピー $ \ell^p $ を構成すること。
• オラクル計算におけるベクトルと等長写像のシミュレーションを、有効な生成集合 $ F $ と標準基底 $ E $ を用いて計算可能な世界で行うこと。
• 近似論的議論とノルム推定を用いて、ハーティング集合が任意の二つの計算可能 $ \ell^p $ のコピー間の全単射線形等長写像を計算できることを示すこと。
• ハーティング集合 $ C $ が $ e_0 $ を計算でき、したがって標準基底全体を計算できることを示し、これにより恒等写像、したがって任意の等長写像が計算可能になること。

実験結果

リサーチクエスチョン

• RQ1 計算可能 $ p \geq 1 $ に対して、二つの計算可能 $ \ell^p $ のコピー間の全単射線形等長写像を計算する際の正確な計算的複雑度は何か？
• RQ2 $ p \neq 2 $ のとき、$ \ell^p $ は計算可能に分類可能か、それとも計算可能より高い複雑度であるか？
• RQ3 ヒルバート空間でない計算可能に分類可能なバナッハ空間が存在するか？
• RQ4 $ p \neq 2 $ のとき、等長写像を計算するにあたりハーティング集合が提供する境界が、最適であるか？
• RQ5 結果が実数の場合から複素数の場合へと拡張可能か？

主な発見

• 計算可能 $ p \geq 1 $ に対して、ハーティング集合は任意の二つの計算可能 $ \ell^p $ のコピー間の全単射線形等長写像を計算可能であり、これにより $ \Delta_2^0 $-分類可能性が確立される。
• $ p \neq 2 $ のとき、ハーティング集合より弱いオラクルでは、ある計算可能 $ \ell^p $ のコピー間の全単射線形等長写像を計算できない。したがって、境界の最適性が証明される。
• $ \ell^p $ は計算可能に分類可能であるための必要十分条件は $ p = 2 $ であり、これはメルニコフ（2013）が提起した疑問を解決するものである。
• ヒルバート空間でない計算可能に分類可能なバナッハ空間が存在する。具体的には、$ p \neq 2 $ かつ有限な $ n \geq 1 $ に対して $ \ell^p_n $ はヒルバート空間ではないが、計算可能に分類可能である。
• 結果は実数の場合と複素数の場合の両方で成り立ち、両設定で同一の分類可能性の挙動を示す。
• 証明は、ランパティの不等式の鋭化版と、バナッハ・ランパティによる $ L^p $ の等長写像の特徴づけに依存している。