The quantum supremum of the $I_{3322}$ Bell inequality is not attained in finite dimension

기술 요약: I3322 벨 부등식의 양자 최댓값은 유한 차원에서 달성되지 않는다

문제 정의
본 논문은 양자 비국소성(quantum nonlocality)에 관한 근본적인 질문을 다룬다: 모든 벨 부등식은 유한 차원 힐베르트 공간 내에서 최적의 양자 전략을 갖는가? 고정된 유한 차원에 대한 양자 상관관계의 집합은 컴팩트(compact)하므로 최댓값이 존재하지만, 모든 유한 차원에 대한 이 집합들의 합집합은 반드시 닫혀(closed) 있을 필요는 없다. 결과적으로, 차원이 증가하는 전략들의 수열은 단일 유한 차원 전략이 도달할 수 없는 특정 상한(supremum)에 접근할 수 있다.

구체적인 초점은 $(3, 3, 2, 2)$ 시나리오(각 당사자가 3개의 측정 설정을 가지며, 결과는 2개의 이진 값임)에서 정의되는 I3322 벨 부등식이다. 이 시나리오는 두 설정당 두 개씩의 설정만을 가진 경우의 상관관계 집합은 닫혀 있다는 Beigi의 결과에 따라, 유한 차원 상관관계($C_q$)의 비폐쇄성(non-closure)이 이론적으로 가능할 수 있는 가장 작은 이진 결과 설정이라는 점에서 중요하다.

2010년, Pál과 Vértesi(PV)는 슈미트 계수(Schmidt coefficients)와 스펙트럼 라벨(spectral labels)의 반복 구조를 활용하는 I3322의 유한 차원 전략 가계(family)를 식별했다. 그들의 수치적 최적화는 이 값들이 차원이 커짐에 따라 특정 극한값($\approx 0.25087538$)에 수렴하지만, 결코 그 값에 도달하지 못함을 시사했다. 그들은 이 극한값이 모든 유한 차원 전략에 대한 진정한 상한이며, 어떤 유한 차원 전략도 이 값을 달성할 수 없다고 추측했다.

방법론
본 증명은 임의의 유한 차원 양자 전략과 특정 변분 가계(variational family, PV 가계) 사이의 엄밀한 대응 관계를 확립하고, 최적성 조건(optimality conditions)을 분석함으로써 진행된다.

1. 대칭화 및 축소 (Symmetrization and Reduction): 저자는 먼저 임의의 유한 차원 전략을 대칭적인 형태로 축소한다. 직접 합(direct-sum) 배가 기법을 사용하여, Bob의 측정이 Alice의 측정과 결과가 반전되고 공액(conjugated) 관계인 등가적인 전략을 구성한다. 이러한 대칭성을 통해 세 번째 측정(벨 함수에 선형적으로 작용함)을 해석적으로 최적화할 수 있다.

2. 스펙트럼-가중치 행렬 구축 (Spectral-Weight Matrix Construction): 나머지 한 쌍의 측정에 조던의 보조정리(Jordan's lemma)를 적용하여, 전략을 유한한 스펙트럼 부분 공간 집합으로 축소한다. 저자는 Alice와 Bob의 스펙트럼 라벨에 대한 결합 확률 분포를 나타내는 스펙트럼-가중치 행렬 $\theta$를 정의한다. 저자는 임의의 전략 $S$에 대해 $I_{3322}(S) \leq \Phi(\theta)$를 만족하는 상한 범함수(upper-bound functional) $\Phi(\theta)$를 도출한다.

3. PV 가계와의 동치성 (Theorem 1): 모든 유한한 스펙트럼-가중치 행렬에 대한 범함수 $\Phi(\theta)$의 상한이 PV 가계의 상한($\beta_{PV}$)과 정확히 일치함을 증명한다. 이는 모든 스펙트럼-가중치 행렬이 유한한 PV 체인(chain)들의 가중 평균으로 근사될 수 있음을 보여줌으로써 달성된다. 체인의 길이 $N \to \infty$로 갈 때, 가중 평균은 $\Phi(\theta)$로 수렴한다. 따라서 PV 가계 외부의 어떤 전략도 $\Phi(\theta)$를 초과할 수 없다.

4. 비달성성 증명 (Theorem 2): 유한 차원 전략이 상한을 달성한다는 것을 가정하여, 상한이 달성되지 않음을 증명한다. 이는 연관된 스펙트럼-가중치 행렬 $\theta$가 $\Phi(\theta) = \beta_{PV}$를 만족함을 의미한다.

   • $\Phi$의 1차 최적성 조건을 분석함으로써, 저자는 $\theta$로부터 추출된 보조 계수 $u_i$와 스펙트럼 라벨 $c_i$에 대한 재귀 관계식을 도출한다.
   • 이 계수들은 Jacobi 연산자의 고유값 방정식과 유사한 3항 재귀 관계를 만족해야 한다.
   • 증명 과정에서, 값이 최대가 되기 위해서는 보조 계수가 한 방향으로 기하급수적으로 성장해야 하는 반면(이는 무한하고 정규화 불가능한 상태를 의미함), 동시에 유한 차원 전략을 위해 제곱 합 가능(square-summable, 정규화 가능)해야 한다는 모순을 보여준다. 이러한 불일치는 어떤 유한 차원 전략도 상한에 도달할 수 없음을 입증한다.

주요 결과

• 정리 1: I3322의 유한 차원 양자 상한은 PV 가계의 상한과 같다 ($I^*_{3322} = \beta_{PV}$).
• 정리 2: 어떤 유한 차원 양자 전략도 $I^*_{3322}$를 달성하지 못한다. 모든 유한 차원 전략은 상한보다 엄격히 낮은 값을 갖는다.
• 따름 정리 1 (비폐쇄성): 유한 차원 양자 상관관계의 집합 $C_q(3, 3, 2, 2)$는 닫혀 있지 않다. 그 폐쇄(closure)인 $C_{qa}$는 어떤 유한 차원 텐서 곱 전략으로도 생성할 수 없는 상관관계를 포함한다.
• 따름 정리 2 (차원 증거): 상한에 접근하기 위해서는 무한한 국소 차원(local dimension)이 필요하다. 임의의 유한 차원 $k$에 대하여, 최대값 $\beta_k$는 $I^*_{3322}$보다 엄격히 작다.

의의 및 주장
본 논문은 $(3, 3, 2, 2)$ 시나리오가 유한 차원 상관관계 집합이 닫혀 있지 않을 수 있음을 보여주는 가장 작은 이진 결과 벨 시나리오임을 확립하며, 이 최소 설정에서의 비폐쇄성 가능성을 확인한다. 이는 Pál과 Vértesi의 2010년 추측을 확인하며 I3322에 대한 구체적인 달성 문제를 해결한다.

저자는 자신의 결과가 유한 차원 전략에 적용됨을 명시적으로 밝힌다. 무한 차원 텐서 곱 전략(집합 $C_{qs}$ 내)이 상한을 달하는지에 대한 문제는 여전히 열려 있다. 만약 그러한 전략이 존재한다면, 그것은 무한 차원 얽힘을 필요로 할 것이며, 그렇지 않다면 이 특정 시나리오에서 텐서 곱 상관관계와 교환 연산자(commuting-operator) 상관관계 사이의 분리($C_{qs} \neq C_{qc}$)를 의미하게 될 것이다.

핵심 수학적 증명은 Lean 4를 통해 정형화되어 논리적 단계의 엄밀한 검증을 보장받았다. 또한 저자는 상한의 값이 수치적으로 높은 정밀도로 알려져 있으나, 알려진 닫힌 형태의 해석적 표현식(closed-form analytic expression)은 없다고 언급했다.

저자 및 AI 관련 노트
저자 Jef Pauwels는 발견 과정에서 AI의 역할을 포함한 성명을 포함했다. 저자는 초기 증명 스케치가 (추측을 지속하라는) 프롬프트에 의해 생성된 AI 모델(OpenAI Codex/GPT-5.6-sol)에 의해 생성되었음을 명시했다. 이후의 작업은 AI의 "비영어적" 수학적 전문 용어를 표준 양자 정보 용어로 번역하고, 검증하며, Lean 4로 정형화하는 인간의 작업이 포함되었다. 저자는 최종 주장과 기계 생성 논증을 접근 가능하고 검증 가능하게 만들기 위해 필요한 "증명 소화(proof digestion)" 과정에 대해 전적인 책임을 진다.