An Explicit Counterexample to Tsirelson's Problem via a Linear System Game

기술적 요약: 선형 시스템 게임을 통한 츠렐슨 문제에 대한 명시적 반례

문제 정의
본 논문은 유한 차원 텐서 곱 힐베르트 공간에서의 측정에 의해 달성 가능한 양자 상관관계의 집합($C_{qa}$)이 임의의 차원을 가진 단일 힐베르트 공간에서의 가환 측정에 의해 달성 가능한 상관관계의 집합($C_{qc}$)과 같은지를 묻는 츠렐슨 근사 문제를 다룹니다. 이 질문은 코른스 임베딩 추측(Connes' embedding conjecture)과 동치입니다. Ji, Natarajan, Vidick, Wright, Yuen [JNV+20]은 비국소 게임의 재귀적 압축을 사용하여 이에 대한 부정적인 답을 제시했으나, 그들의 구성은 정의된 데이터가 완전히 생성되거나 저장될 수 없다는 점에서 명시적(explicit)이지 않았습니다. 본 논문은 $C_{qa}$와 $C_{qc}$를 분리하는 구체적인 이진 선형 시스템 게임을 구축함으로써, 완벽한 가환 연산자 전략은 존재하지만 유한 차원 양자 전략이 성공 확률 1을 달성할 수 없는 구체적인 반례를 제공하는 것을 목표로 합니다.

방법론
저자들은 해 그룹(solution group)인 $\Sigma = \Gamma(A, b)$로부터 유도된 특정 이진 선형 시스템 게임 $G(A, b)$를 구축합니다. 방법론은 다음과 같은 엄격한 단계들을 거쳐 진행됩니다:

1. 군론적 구축:

   • 구축은 카즈단 성질(Kazhdan's property (T))을 가진 유한 생성 쌍 $(Q, H)$에서 시작됩니다. 여기서 $H$는 $Q$의 "인프라노멀(infranormal)" 부분군이며, $tHt^{-1} \subsetneq H$를 만족하는 원소 $t \in Q$가 존재합니다(엄격한 압축).
   • 아말감 이중 결합(amalgamated double) $D = Q *_H Q$를 사용하여, 저자들은 "균등 점근적 자명(uniformly asymptotically trivial)"한 무한 차수 원소 $w$를 구축합니다. 이는 $w$가 군 내에서는 비자명함에도 불구하고, 트레이셜 매트릭스 울트라곱(tracial matrix ultraproduct)의 유니터리 군으로의 모든 준동형 사상에서 항등원으로 매핑되어야 함을 의미합니다.
   • 이후 HNN 확장을 적용하여 중심 대칭 반전(central involution) $J$와 $zwz^{-1} = wJ$를 만족하는 안정 문자(stable letter) $z$를 도입합니다. 이는 $J$가 군 $\Lambda$ 내에서는 비자명하지만, 트레이셜 매트릭스 울트라곱 표현에서는 항등사상으로 매핑되도록 강제합니다.

2. 선형 시스템으로의 임베딩:

   • 군 $\Lambda$를 $\mathbb{F}_2$ 상의 이진 선형 시스템 $A\xi = b$의 해 그룹 $\Sigma$로 임베딩합니다. 이는 슬로프라(Slofras)의 "왜건 휠(wagon wheel)" 구축과 반전 치환 정리[Slo20]를 활용합니다.
   • 이 임베딩은 비자명한 중심 대칭 반전 $J$를 보존하며, 이를 해 그룹의 구별되는 중심 대칭 반전 $J_\Sigma$로 매핑합니다.
   • 시스템은 $m = 1,417,152$개의 방정식과 $n = 1,889,684$개의 변수를 갖는 구체적인 차원으로 정의됩니다. 모든 방정식은 정확히 3개의 비제로 계수를 가지며, 우변 벡터 $b$는 단 하나의 비제로 항목을 가집니다.

3. 정형화:

   • 군의 표현과 분리의 증명을 포함한 전체 구축 과정은 Mathlib 라이브러리를 사용하여 Lean 4에서 정형화되었습니다. 이는 검증되지 않은 가설에 의존하지 않고 조합적 데이터와 논리적 단계의 정확성을 보장합니다.

주요 기여 및 결과

• 명시적 반례: 본 논문은 두 명의 플레이어와 이진 응답을 갖는 유한 비국소 게임 $G$를 제시합니다:
  $$\omega_q(G) = \omega_{qa}(G) < 1 = \omega_{qc}(G)$$
  여기서 $\omega_{qc}(G) = 1$은 완벽한 가환 연산자 전략에 의해 달성되며, $\omega_{qa}(G) < 1$은 유한 차원 양자 전략(또는 그 극한)이 성공 확률 1로 승리할 수 없음을 의미합니다.

• 정확한 고전적 값: 저자들은 게임의 정확한 고전적 값을 계산합니다:
  $$\omega_c(G) = 1 - \frac{1}{4,251,456}$$
  이 값은 선형 시스템 $A\xi = b$가 패리티 장애(parity obstruction, 행들의 합이 $0=1$을 시사함)로 인해 $\mathbb{F}_2$ 상에서 해를 갖지 않는다는 사실로부터 도출됩니다.

• 정량적 격차: 저자들은 가환 값과 양자 값 사이의 명시적인 경계치를 설정합니다:
  $$2^{-250003} \leq 1 - \omega_q(G) \leq \frac{1}{4,251,456}$$
  하한값은 국소 차원에 독립적이며, 이는 차원이 커짐에 따라 격차가 사라지지 않음을 증명합니다.

• 균등 점근적 자명성: 핵심적인 기술적 결과는 구별되는 중심 대칭 반전 $J_\Sigma$가 군 $\Sigma$ 내에서는 비자명하지만, 모든 $\eta > 0$에 대해 $\delta > 0$가 존재하여 관계 오류가 $\delta$보다 작은 임의의 준동형 사상 $f: F(S_\Sigma) \to U(d)$는 $\|f(J_\Sigma) - I_d\|_{2,d} < \eta$를 만족해야 한다는 점을 증명하는 것입니다. 이러한 균등 점근적 자명성은 유한 차원 표현이 완벽한 전략으로 수렴하는 것을 방지합니다.

의의
본 논문은 정의된 데이터(행렬 $A$와 벡터 $b$)를 생성, 저장 및 검증할 수 있는, 근사 형태의 츠렐슨 문제에 대한 첫 번째 명시적 반례를 제공함으로써 그 의의를 가집니다. 기존의 존재 증명과 달리, 이 구축은 고전적 값을 정확히 계산하고 증명 보조기(Lean 4)를 통해 분리를 정형화하여 검증할 수 있게 합니다. 이 작업은 추상 군론(카즈단 군, 성질 (T))과 양자 정보 이론 사이의 간극을 메우며, 근사 성질의 실패가 단순히 이론적인 가능성이 아니라 특정 비국소 게임의 구체적인 특징임을 입증합니다. 정형화는 140만 개 이상의 방정식을 포함하는 이 거대한 조합적 데이터에 오류가 없음을 보장하며, 이는 $C_{qa} = C_{qc}$라는 추측에 대한 결정적인 반박을 공고히 합니다.