⚛️ quantum physics

Maximally entangled states are not complete for pseudo-telepathy

이 논문은 '내적 게임(inner product games)'이라는 새로운 클래스 내의 특정 이분 양자 비국소성 게임을 제시하는 반례를 통해, 최대 얽힘 상태가 최대 얽힘 상태만을 사용해서는 이길 수 없는 완벽한 얽힘 전략이 존재하는 게임이 존재함을 보여줌으로써 최대 얽힘 상태가 의사 텔레파시(pseudo-telepathy)에 대해 완전하지 않다는 것을 입증하여 양자 비국소성 분야의 오래된 미해결 문제를 해결한다.

원저자: Olivier Lalonde

게시일 2026-08-07

📖 4 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Olivier Lalonde

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

앨리스와 밥이라는 두 친구가 아주 먼 거리, 어쩌면 은하계 반대편에 떨어져 있는 우주를 상상해 보십시오. 그들은 대화를 나눌 수도 없고, 문자 메시지를 보낼 수도 없으며, 공상과학 소설에 나오는 식의 텔레파시를 사용할 수도 없습니다. 그럼에도 불구하고 그들은 게임을 하고 있으며, 이 게임에서 이기려면 완벽하게 조율된 답을 내놓아야 합니다. 고전적인 세계에서, 만약 그들이 소통할 수 없다면, 그들의 조율 능력에는 한계가 있습니다. 그들은 논리와 확률의 법칙에 묶이게 됩니다. 하지만 양자 세계에서는 상황이 기묘해집니다. 만약 앨리스와 밥이 **양자 얽힘(entanglement)**이라 불리는 특별한 "양자 연결"을 공유한다면, 그들은 마치 서로의 마음을 읽는 것처럼 불가능해 보이는 방식으로 답을 조율할 수 있습니다. 이 신비로운 현상을 **양자 의사 텔레파티(quantum pseudo-telepathy)**라고 부릅니다.

과학자들이 오랫동안 던져온 핵심적인 질문은 이것입니다: 이 양자 연결은 얼마나 강력해야 하는가? 구체적으로, 앨리스와 밥이 이 불가능한 게임들을 이기기 위해 "가장 강력한" 연결인 **최대 얽힘 상태(maximally entangled state)**가 반드시 필요한가 하는 점입니다. 이것은 마치 레이스에서 이기기 위해 페라리가 필요한지, 아니면 정말 좋은 자전거만으로도 충분한지를 묻는 것과 같습니다. 수년 동안 과학자들이 발견한 이 놀라운 게임들의 모든 사례는 이 "페라리" 수준의 얽힘을 사용하여 승리할 수 있었습니다. 이는 "가장 강력한 연결이 항상 필요한 것 아닐까?"라는 희망적인 추측으로 이어졌습니다. 하지만 모든 가능한 게임에 대해서도 과연 그러할까요?

워털루 대학교의 올리비에 라롤드(Olivier Lalonde)가 발표한 새로운 논문은 다음과 같이 말합니다: 아니요, 항상 그런 것은 아닙니다.

라롤드는 "페라리"(최대 얽힘 상태)가 오히려 실패하는, 특정한 게임을 발견했습니다. 심지어 다른, 약간 더 "불균형한" 양자 연결은 완벽하게 승리할 수 있음에도 말입니다. 이는 가장 강력한 연결이 항상 최고의 도구는 아니라는 생각을 깨뜨리는 반례입니다.

"내적(Inner Product)" 게임

이 발견을 이해하려면 게임 자체를 살펴봐야 합니다. 라롤드는 **"내적 게임(inner product game)"**이라는 새로운 유형의 게임을 고안했습니다. 앨리스와 밥이 각각 비밀 코드(입력 숫자)를 받았다고 상상해 보십시오. 그들은 받은 코드에 따라, 옵션 목록에서 특정 벡터(공간상의 방향)를 선택해야 합니다. 만약 두 사람이 선택한 벡터가 서로 수직이 아니라면(즉, 두 화살이 완벽한 90도 각도를 이루지 않는다면) 그들은 승리합니다.

규칙은 까다롭습니다. 이 게임은 앨리스와 밥이 고전적인 논리(단순히 추측하거나 미리 합의된 계획을 따르는 것)를 사용하려 할 경우 반드시 패배하도록 설계되었습니다. 하지만 그들이 양자 연결을 공유한다면, 매번 완벽하게 승리할 수 있습니다.

라롤드는 다음과 같은 통계를 가진 특정 버전의 게임을 만들었습니다:

입력: 앨리스는 4개의 가능한 질문 중 하나를 받고, 밥은 3개를 받습니다.
출력: 그들은 각각 6개의 가능한 답 중 하나를 선택해야 합니다.
승리 상태: 완벽하게 승리하기 위해서는, "로컬 차원(local dimension)"이 6인 양자 상태를 공유해야 합니다.

페라리 대 커스텀 바이크

여기 반전이 있습니다. 이 특정 게임에서 "완벽한" 양자 전략은 매우 구체적이고 맞춤 제작된 얽힘 상태를 필요로 합니다. 그 형태는 다음과 같습니다:
$|\Phi\rangle = \frac{1}{\sqrt{18}} (|1\rangle|1\rangle + |2\rangle|2\rangle + 2|3\rangle|3\rangle + 2|4\rangle|4\rangle + 2|5\rangle|5\rangle + 2|6\rangle|6\rangle)$

숫자에 주목하십시오. 어떤 부분은 1에 의해 가중치가 부여되어 있고, 다른 부분은 2에 의해 가중치가 부여되어 있습니다. 이것은 **비최대 얽힘 상태(non-maximally entangled state)**입니다. 완벽하게 균형 잡힌 것이 아니라, 한쪽으로 치우쳐 있습니다.

그리고 결정적인 결론은 이렇습니다: 최대 얽합 상태는 이 게임에서 승리할 수 없습니다.

최대 얽힘 상태는 모든 옵션이 동일한 무게(모두 1)를 갖는 완벽하게 균형 잡힌 저울과 같습니다. 라롤드는 앨리스와 밥이 이 완벽하게 균형 잡힌 "페라리"를 사용하여 이 특정 게임을 플레이하려고 시도하면, 필연적으로 실패할 것임을 수학적으로 증명했습니다. 그들은 그런 종류의 연결로는 결코 완벽하게 답을 조율할 수 없습니다. 그들은 반드시 위에서 설명한 lopsided(치우친) 형태의 맞춤형 연결을 사용해야만 합니다.

어떻게 증명했는가?

"완벽한 전략이 존재하지 않는다"는 것을 어떻게 확신할 수 있을까요? 단순히 게임을 백만 번 해보는 것으로는 부족합니다. 수학적 증명이 필요합니다.

라롤드는 강력한 도구인 tracial NPA hierarchy를 사용했습니다. 이것은 앨리스와 밥이 답을 조율하기 위해 시도할 수 있는 모든 가능한 방법을 점검하는 매우 정교한 논리 기계라고 생각하면 됩니다. 마치 체스 게임에서 체크메이트가 가능한지 확인하기 위해 가능한 모든 수를 검토하는 것과 같습니다.

증명 과정은 매우 방대했습니다. 207,202개의 변수와 208,702개의 제약 조건이 있는 거대한 퍼즐을 컴퓨터가 해결하는 과정을 포함했습니다. 노트북으로 해결하는 데 7분이 걸렸습니다. 컴퓨터는 단순히 추측한 것이 아니라, 존재 불가능성에 대한 "유리수 인증서(rational certificate of infeasibility)"를 생성하여 수학적 영수증을 제시했습니다. 확실히 하기 위해, 전체 증명은 Lean이라는 증명 보조 프로그램(수학을 단계별로 검증하는 프로그램)에 의해 이중 점검되었습니다.

결과는 확실합니다: 이 게임을 위한 최대 얽힘 상태를 사용하는 완벽한 전략은 존재하지 않습니다.

이것이 왜 중요한가

이 발견은 오랫동안 지속된 논쟁을 종식시켰다는 점에서 중요합니다. 수년 동안 과학자들은 이 기묘한 게임들에서 "가장 강력한" 양자 연결만이 유일하게 중요한 것인지 궁금해했습니다. 이 논문은 자연이 생각보다 더 미묘하다는 것을 보여줍니다. 때로는 "완벽한" 도구가 적절한 도구가 아닐 수 있으며, 일을 완수하기 위해서는 특정한, 약간은 불완전한 도구가 필요할 수도 있습니다.

또한 이는 새로운 질문을 던집니다. 이 게임은 "셀프 테스트(self-test)"가 될 수 있을까요? 즉, 누군가 이 게임에서 이길 수 있다고 주장한다면, 그것이 그들이 저 특정한, 치우친 양자 상태를 보유하고 있다는 것을 증명하는 것일까요? 수치상으로는 그렇다고 보이지만, 이를 컴퓨터 없이 (해석적으로) 증명하는 것은 미래의 과제로 남아 있습니다.

요약하자면, 우리는 이제 양자 세계에서 "최고의" 얽힘을 갖는 것만으로는 충분하지 않다는 것을 알게 되었습니다. 때로는 가장 강력한 것이 아니더라도, 올바른 종류의 얽힘이 필요합니다.

기술 요약: "최대 얽힘 상태는 의사 텔레파시(pseudo-telepathy)를 위한 완전한 도구가 아니다"

문제 정의
본 논문은 의사 텔레파시 게임을 위한 최대 얽힘 상태의 충분성(sufficiency)에 관한 양자 비국소성 분야의 오래된 미해결 문제를 다룬다. 비국소적 게임이 '의사 텔레파시'라고 불리는 경우는 해당 게임이 완벽한 얽힘 전략(승률 1로 승리하는 전략)을 허용하지만, 완벽한 고전적 전략은 허용하지 않을 때를 말한다. 특정 이분적(bipartite) 의사 텔레파시 게임 군(family)에 대해서는 최대 얽히 상태가 완벽한 전략을 달성하는 데 충분하다는 사실이 알려져 있으나, 이것이 보편적으로 성립하는지는 미해결 과제로 남아 있었다. 구체적으로, 문제는 다음과 같다: 완벽한 얽힌 전략을 허용하는 모든 비국소적 게임은 최대 얽힘 상태를 사용하는 완벽한 전략 또한 허용하는가? 기존 연구들은 최대 얽힘 상태가 '필요조건'은 아님을 입증했다(일부 게임은 최대 얽히지 않은 상태로도 완벽하게 수행될 수 있으므로). 그러나 이들이 항상 '충분조건'인지에 대한 의문은 해결되지 않은 채 남아 있었다.

방법론
저자는 반례를 구축하기 위해 **내적 게임(inner product games)**이라 명명된 새로운 부류의 비국소적 게임을 도입한다.

게임 정의: 내적 게임은 차수 $m$ 을 갖는 유니타리 연산자 집합 $\{U_x\}$ 와 $\{V_y\}$ , 그리고 양의 준정부호 행렬 $S$ 로 정의된다. 앨리스와 밥은 입력 $x$ 와 $y$ 를 받고, $\langle a| U_x^\dagger S V_y |b\rangle \neq 0$ 을 만족하는 출력 $a$ 와 $b$ 를 내놓아야 한다.
얽힘 전략의 존재성: 본 논문은 모든 내적 게임이 특정 얽힌 상태 $|\psi\rangle = (S \otimes I)|\Omega\rangle$ (여기서 $|\Omega\rangle$ 는 표준 최대 얽힘 상태)를 사용하여 완벽한 얽힌 전략을 가짐을 증명한다(Proposition 3.1). 만약 $S$ 가 항등 행렬에 비례하지 않는다면, 이 전략은 반드시 최대 얽힘 상태를 사용하는 것은 아니다.
반례 구축 ( $G_{4,3,6,6}$ ): 저자는 컴퓨터 보조 휴리스틱 탐색을 사용하여 특정 인스턴스인 $G_{4,3,6,6}$ $G_{4, 3, 6, 6}$ 를 구축했다. 이 구축 과정은 다음과 같다:
- 국소 차원 $m=6$ 설정.
- 대각 행렬 $S = \text{diag}(1, 1, 2, 2, 2, 2)$ 선택.
- 구성 요소가 $\{-1, 0, 1\}$ 에 속하는 유니타리들을 열거하여 고전적으로 실행 불가능한 구성을 탐색.
- 입력 집합의 크기를 최소화하기 위해 가지치기(pruning) 알고리즘 적용.
최대 얽힘 전략의 부존재 증명: $G_{4,3,6,6}$ $G_{4, 3, 6, 6}$ 에 대해 최대 얽힘 상태를 사용하는 완벽한 전략이 존재하지 않음을 증명하기 위해, 저자는 tracial NPA 계층(tracial NPA hierarchy)(sum-of-squares 계층의 일종)의 변형을 사용했다.
- 문제는 측정 연산자에 의해 생성되는 특정 $*$ -대수 상의 tracial state를 찾는 문제로 정식화되었다.
- 계층의 $n=4$ 레벨을 강화한 버전을 사용하여 그러한 상태의 존재 여부를 테스트했다.
- 약 20만 7천 개의 변수와 약 20만 8천 개의 제약 조건을 포함하는 이 반정부호 계획법(SDP)을 수치적으로 해결하여 불가능성을 입증했다.
- 이 증명은 솔버(solver)에서 추출한 유리수 인증(rational certificate)을 사용하여 **Lean 증명 보조기(Lean proof assistant)**를 통해 정형화되었다.

주요 결과
본 논문은 다음을 명시하는 정리 1.1을 확립한다:

입력 크기가 4와 3이고, 출력 크기가 6과 6인 이분적 게임 $G_{4,3,6,6}$ 가 존재한다.
이 게임은 국소 차원 6의 얽힌 상태(구체적으로, 행렬 $S$ 로부터 유도된 비최대 얽힘 상태)를 사용하는 완벽한 얽힌 전략을 가진다.
결정적으로, 이 게임은 최대 얽힘 상태를 포함하는 완벽한 얽힌 전략을 허용하지 않는다.

의의 및 주장
본 논문은 최대 얽힘 상태가 의사 텔레파시를 위한 완전한 도구가 아님을 보여줌으로써, 해당 미해결 문제를 부정적인 방향으로 해결했다고 주장한다. 이 연구의 의의는 다음과 같다:

미해결 문제의 해결: 최대 얽힘 상태로 해결 가능한 게임의 범주가 일반적인 얽힘 상태로 해결 가능한 범주보다 엄격히 작음을 보여주는 첫 번째 반례를 제공했다.
새로운 게임 부류: "내적 게임"의 도입은 비국소성을 연구하기 위한 새로운 프레임워크를 제공하며, 이는 독립적인 학술적 가치를 지닌다.
방법론적 기여: 본 연구는 휴리스틱 컴퓨터 탐색과 정형 검증(Lean 활용), 그리고 수치적 계층(tracial NPA)을 결합하여 양자 정보 이론의 심오한 질문을 해결하는 유용성을 입증했다.

한계 및 향후 과제 (저자 기술)
저자는 이 반례가 분석적 통찰보다는 컴퓨터 탐색을 통해 "제조(manufactured)"되었으며, 그 성질에 대한 증명이 해석적 통찰보다는 수치적 반정부호 계획법에 크게 의존하고 있음을 언급한다. 또한, "자연스러운" 반례를 분석적으로 증명하는 것이 여전히 과제로 남아 있다고 기술한다. 더불어, 수치 시뮬레이션 결과 $G_{4,3,6,6}$ 가 사용된 특정 비최대 얽힘 상태에 대한 셀프 테스트(self-test)가 될 수 있음을 시사했으나, 이는 아직 공식적으로 증명되지 않은 상태이다. 마지막으로, 이 연구가 영 오류 정보 이론(zero-error information theory)에서 얽힘 색수(entangled chromatic number)와 양자 색수(quantum chromatic number) 사이의 관계에 미칠 잠재적 영향에 대해서도 언급하였다.

"내적(Inner Product)" 게임

페라리 대 커스텀 바이크

어떻게 증명했는가?

이것이 왜 중요한가

유사한 논문