[논문 리뷰] Computable copies of $\ell^p$

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

Computability, Logic, AI Algorithms참고 문헌 6인용 수 4

한 줄 요약

이 논문은 계산 가능한 $ p \geq 1 $에 대해 계산 가능한 $ \ell^p $의 두 복사본 사이의 선형 등장사상의 계산 복잡도를 규명하며, 이는 $ p \neq 2 $일 경우 최적의 bound를 제공한다. $ \ell^p $가 $ \Delta_2^0 $-categorical이지만 계산 가능 카테고리컬일 때는 오직 $ p = 2 $일 때에만 성립하며, Melnikov(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 $의 경우를 구분하는 것.
• Melnikov(2013)가 제기한 $ \ell^p $의 계산 가능 카테고리컬성 문제를 해결하는 것.
• 계산 가능 카테고리컬이지만 힐버트 공간이 아닌 범주가 존재함을 보여주는 것.
• 실수에서 복소수로의 결과 확장을 통해, 두 경우 모두 동일한 카테고리컬 행동을 보임을 보이는 것.

제안 방법

• J. Lamperti가 제안한 보완된 부등식을 활용하여 고전적 설정에서 등장사상의 복잡도를 제한하는 것.
• Banach과 Lamperti가 제시한 $ 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 $일 경우, 정지 집합이 등장사상 계산에 대해 제공하는 bound가 최적인지?
• RQ5 결과가 실수에서 복소수 $ \ell^p $로 확장되는가?

주요 결과

• 정지 집합은 계산 가능한 $ p \geq 1 $에 대해 임의의 두 계산 가능한 $ \ell^p $ 복사본 사이의 전사 선형 등장사상을 계산하며, 이는 $ \Delta_2^0 $-categoricity를 확립한다.
• $ p \neq 2 $일 경우, 어떤 정지 집합보다 더 약한 오라클로도 일부 계산 가능한 $ \ell^p $ 복사본 사이의 전사 선형 등장사상을 계산할 수 없으며, 이는 bound의 최적성을 증명한다.
• $ \ell^p $는 오직 $ p = 2 $일 때에만 계산 가능 카테고리컬이며, Melnikov(2013)가 제기한 질문을 해결한다.
• 힐버트 공간이 아닌 계산 가능 카테고리컬인 범주가 존재한다. 특히 $ p \neq 2 $이고 유한한 $ n \geq 1 $에 대해 $ \ell^p_n $은 힐버트 공간이 아니지만 계산 가능 카테고리컬이다.
• 결과는 실수 및 복소수 경우 모두 동일한 카테고리컬 행동을 보이며, 두 경우 모두 성립한다.
• 증명은 Lamperti의 부등식의 보완된 형태와 Banach, Lamperti의 $ L^p $ 등장사상 특성화에 기반한다.