[논문 리뷰] A computability-theoretic reformulation of the Connes Embedding Problem

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

Advanced Topology and Set Theory참고 문헌 2인용 수 6

한 줄 요약

이 논문은 콘네스 임bedding 문제(CEP)를 계산 가능성 이론적 질문으로 재구성한다: CEP는 모든 유형 II₁ von Neumann 대수의 보편 이론이 계산 가능할 때이고 그때만 참이 된다. 저자들은 모든 이러한 대수가 보편 이론을 갖는다면 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₁ von Neumann 대수의 계산 가능성 이론적 성질에 관해 콘네스 임베딩 문제(CEP)를 재구성하는 것.
• 모든 유형 II₁ 인피니티 팩터에서 보편 이론의 계산 가능성은 CEP의 진리성을 암시하는가를 조사하는 것.
• CEP의 논리적 및 계산 가능성 이론적 결과, 특히 II₁ 팩터의 서로 다른 보편 이론의 수에 관해 탐구하는 것.
• CEP의 실패는 비가산 많은 서로 다른 보편 이론의 존재를 암시하므로, CEP의 진리가 논리적 및 계산 가능성적으로 강하게 제약됨을 확립하는 것.

제안 방법

• 저자들은 연속 논리를 사용하여 트레이스를 갖는 von Neumann 대수를 형식화하고, *-다항식의 트레이스를 포함하는 무양식 공식을 정의한다.
• 어떤 II₁ 팩터의 보편 이론이 계산 가능하다는 것은, 임의의 무양식 공식과 이진 분수 ε > 0이 주어졌을 때, 단위 구내에서 공식의 상한을 포함하는 길이 ≤ ε 인 실수 구간을 반환하는 알고리즘이 존재할 경우임을 보여준다.
• 모든 유형 II₁ von Neumann 대수가 보편 이론을 갖는다면, CEP가 참이 되어야 한다는 것을 증명하기 위해, CEP의 실패가 비가산 많은 서로 다른 보편 이론을 암시한다는 것을 보였다.
• 초한 II₁ 팩터의 초구조체에 대한 기본 통합을 사용하여 다양한 모델 간 문장의 진리값을 연결하며, 이러한 통합이 연속 논리에서 기본적임을 이용한다.
• 상한 계산 가능성 셋업 이론을 정의하고, 초한 II₁ 팩터의 이론의 ∃∀-조각이 상한 계산 가능성 셋업임을 보였다.
• 초한 II₁ 팩터의 재귀적 표현을 사용하여, 그 단위 구내에서 공식의 상한을 시뮬레이션하는 알고리즘 계산을 수행한다.

실험 결과

연구 질문

• RQ1 콘네스 임베딩 문제는 모든 유형 II₁ von Neumann 대수의 보편 이론의 계산 가능성과 동치인가?
• RQ2 모든 유형 II₁ von Neumann 대수가 계산 가능한 보편 이론을 갖는다고 가정할 경우, 계산 가능성 이론적 결과는 무엇인가?
• RQ3 CEP의 실패는 계산 가능성 이론적 수단으로 감지될 수 있으며, 이는 II₁ 팩터의 서로 다른 보편 이론의 수에 대해 무엇을 암시하는가?
• RQ4 초한 II₁ 팩터의 이론의 ∃∀-조각은 상한 계산 가능성 셋업인가?
• RQ5 모든 II₁ 팩터의 단위 구내에서 무양식 공식의 상한을 근사하는 통일된 알고리즘이 존재하면, CEP가 성립하는가?

주요 결과

• 콘네스 임베딩 문제는 모든 유형 II₁ von Neumann 대수의 보편 이론이 계산 가능할 때이고 그때만 참이 되는 논리적 동치이다.
• 모든 유형 II₁ von Neumann 대수가 계산 가능한 보편 이론을 갖는다면, 콘네스 임베딩 문제는 반드시 참이어야 한다.
• CEP의 실패는 유형 II₁ von Neumann 대수 간에 비가산 많은 서로 다른 보편 이론이 존재함을 암시하므로, CEP의 실패는 계산 가능성 이론적 관점에서 매우 강력한 성격을 띤다.
• 초한 II₁ 팩터의 이론의 ∃∀-조각은 상한 계산 가능성 셋업이며, 이는 이 형식의 문장들 중 참인 문장을 나열하는 알고리즘이 존재함을 의미한다.
• 초한 II₁ 팩터의 보편 이론과 존재 이론은 재귀적 표현과 초구조체로의 기본 통합을 통해 계산 가능하다.
• 모든 무양식 공식 φ와 이진 분수 ε > 0에 대해, sup{φ(a) : a ∈ R₁}를 포함하는 길이 ≤ ε 인 실수 구간을 계산하는 알고리즘이 존재함을 확인하여, R의 보편 이론의 계산 가능성 확인됨.