Against probability: A quantum state is more than a list of probability distributions

이 논문은 의미 있는 물리적 진술을 위해 필수적인 위상학적으로 강건한 양자 상태의 확률 표현이 부분계 구성과 같은 본질적인 구조적 특징을 동시에 보존할 수 없음을 증명하는 불가능 정리(no-go theorem)를 제시한다.

핵심

핵심 아이디어: 지도는 영토가 아니다

당신이 복잡한 3D 조각상(양자 상태)을 가지고 있다고 상상해 보세요. 이를 볼 수 없는 사람에게 설명하기 위해, 당신은 가능한 모든 각도에서 일련의 2D 사진(확률 분포)을 찍기로 결정했습니다.

이 논문의 저자들은 이 사진들이 조각상을 고유하게 식별할 수는 있지만, 이 사진들에 의존하여 조각상을 설명하는 데에는 치명적인 결함이 있다고 주장합니다. 즉, 사진은 두 조각상이 얼마나 가까운지에 대해 거짓말을 할 수 있습니다.

양자 물리학의 세계에서 과학자들은 종종 시스템을 그 "진정한" 상태(밀도 연산자)로 설명하는 대신, 그것을 측정했을 때 일어나는 일들에 대한 확률 목록으로 설명하려고 시도합니다. 이 논문은 만약 당신이 이러한 방식(사진 속의 작은 오차가 당신의 이해에 거대한 오류를 일으키지 않도록 하는 '강건한' 방식)으로 하려고 한다면, 시스템의 각 부분이 어떻게 서로 맞물려 있는지 설명하는 능력을 잃게 된다고 주장합니다.

문제점: "흐릿한 사진"의 함정

이것이 왜 중요한지 이해하기 위해, 당신이 양자 기계를 사용하여 진정으로 무작위적인 숫자 문자열(예: 비밀 코드)을 생성하려고 한다고 상상해 보십시오.

1. 목표: 당신은 출력이 완벽하게 무작위이기를 원합니다. "실제" 양자 세계에서는, 설령 적이 기계의 모든 내부 비밀에 접근할 수 있더라도 완벽한 무작위 소스와 구별하는 것이 불가능하다면 그 시퀀스가 무작위라고 증명할 수 있습니다.
2. 함정: 저자들은 당신이 "사진"(국소 측량의 확률 분포)만을 본다면 양자 시스템이 거의 완벽하게 무작위처럼 보이는 시나리오를 보여줍니다. 사진은 이렇게 말합니다. "헤이, 이거 무작위 같은데!"
3. 현실: 하지만 실제 양자 상태를 들여다보면, 그것은 전혀 무작위가 아닙니다. 그것은 고도로 얽혀 있고 구조화되어 있습니다.

비유:
두 사람이 아주 멀리 떨어져 서 있다고 상상해 보십시오.

• 실제 거리 (Trace Distance): 실제 두 사람 사이의 거리를 측정하면, 그들은 100마일 떨어져 있습니다.
• 사진 속 거리 (Probability Metric): 특정 각도에서 그들의 사진을 찍습니다. 사진 속에서 그들은 바로 옆에 서 있는 것처럼 보입니다.

만약 당신이 사진만을 믿는다면, 그들이 가깝다고 생각할 것입니다. 하지만 실제로는 그들은 멀리 떨어져 있습니다. 논문은 이를 **비강건성(non-robustness)**이라고 부릅니다. 이는 확률 목록(사진)에서의 "작은" 차이가 실제 물리적 상태에서는 "거대한" 차이를 숨길 수 있음을 의미합니다.

딜레마: 세 가지를 모두 가질 수는 없다

저자들은 하나의 "불가능 정리(No-Go theorem)"를 증명합니다. 당신은 다음의 세 가지 바람직한 특징을 동시에 모두 갖춘 양자 시스템의 확률 기반 설명을 가질 수 없습니다.

1. 강건성 (Robustness): 설명의 작은 변화가 시스템을 완전히 다르게 만들어서는 안 됩니다. (사진이 현실과 일치해야 합니다.)
2. 부분계 구조 (Subsystem Structure): 시스템의 부분들(예: 앨리스의 부분과 밥의 부분)을 연결 고리를 잃지 않고 별도로 설명할 수 있어야 합니다.
3. 효율성 (Efficiency): 설명이 압축적이고 관리 가능해야 합니다 (무한한 양의 데이터를 요구하지 않아야 함).

트레이드오프 표:

• 표준 양자 역학 (밀도 연산자): 이 세 가지를 모두 가집니다. 강건하고, 부분을 잘 다루며, 효율적입니다.
• 확률 표현 (국소 측량): 부분과 효율성은 가질 수 있지만, 강건성을 잃습니다. 사진이 거리에 대해 거짓말을 합니다.
• 확률 표현 (모든 측량): 강건성과 부분을 가질 수 있지만, 효율성을 잃습니다. 확률 목록이 너무 방대해져서 쓸모가 없게 됩니다.

이것이 왜 중요한가 (논문에 따르면)

저자들은 많은 인기 있는 물리 이론들이 이러한 확률 목록에 의존하고 있다는 점을 지적하며, 이 발견이 그 이론들을 깨뜨린다고 말합니다.

• QBism (양자 베이즈주의): 이 이론은 양자 상태를 단지 행위자의 믿음(확률) 목록으로 취급합니다. 이 논문은 이 관점이 복잡한 시스템(진동하는 줄이나 공간의 입자 같은)을 설명하기에는 충분히 강건하지 않기 때문에 실패한다고 말합니다.
• 양자 이론의 재구성: 과학자들은 단순한 확률 규칙으로부터 양자 물리학을 재구축하려고 노력합니다. 이 논문은 "가까움" 문제를 해결하기 위해 추가적인 인위적인 규칙을 더하지 않는 한, 대규모 시스템에 대해 이를 성공적으로 수행할 수 없다고 말합니다.
• 양자 암호학: 만약 당신이 양자 역학이 참이라고 가정하지 않고 오직 확률 목록만을 사용하여 비밀 코드가 안전하다고 증명하려 한다면, "사진"이 무작위로 보이기 때문에 안전하다고 생각할 수도 있습니다. 하지만 이 논문은 그 코드가 실제로 뚫릴 수 있는데, 그 이유는 "사진"이 오도하고 있기 때문이라고 경고합니다.
• 양자장론: 물리학자들은 종면 상관 함수(Correlation functions, 일종의 확률 목록)를 사용하여 우주를 설명하곤 합니다. 이 논문은 이러한 설명들이 우주의 진정한 성격인 복잡하고 비국소적인 연결을 포착하는 데 실패할 수 있음을 시사합니다.

결론

이 논문은 확률 목록이 양자 물리학을 이야기하는 매우 인기 있고 편리한 방법이지만, 표준적인 "밀도 연산자" 설명을 완전히 대체하기에는 근본적인 결함이 있다고 결론짓습니다.

메타포:
양자 시스템을 오직 확률 목록만으로 설명하려고 하는 것은, 늘어나고 왜곡된 2D 지도를 사용하여 도시를 항해하려는 것과 같습니다. 그 지도는 거리(구조)를 보여줄 수도 있고 주머니에 넣고 다니기 쉬울 수도(효율성) 있지만, 그 지도를 바탕으로 두 건물 사이의 거리를 판단하려 한다면 길을 잃게 될 것입니다. 안전하게 항해하려면, 단지 왜곡된 지도가 아니라 3D 현실(밀도 연산자)이 필요합니다.

기술 요약

기술 요약: "확률에 반하여: 양자 상태는 확률 분포의 목록 그 이상이다"

문제 제기
양자 상태는 흔히 밀도 연산자($\rho$)가 아니라, 토모그래피적으로 완전한 측정 세트($M$)로부터 유도된 결과 확률들의 목록으로 표현된다. 이러한 표현 방식은 물리학 전반에서 흔히 나타나며, 양자장론(상관 함수를 통해) 및 양자 기초론(일반화된 확률적 프레임워크 내에서)에서 널리 사용된다. 이러한 확률 표현 $P_M(\rho)$는 단사(injective)적이어서 상태를 유일하게 지정할 수는 있지만, 저자들은 이것이 물리적 의미에서 **충실(faithful)**한지에 대해 의문을 제기한다. 구체적으로, 저자들은 확률 표현으로부터 도출된 근사적인 진술(예: "출력값이 대략적으로 무작위적이다")이 밀도 연산자 수준으로 "역투영(pulled back)"되었을 때도 여전히 유효한지를 조사한다. 핵심 문제는 확률 표현이 **위상적 강건성(topological robustness)**을 결여할 수 있다는 점이다. 즉, 확률 표현 공간에서 상태들이 이상적인 거동으로 수렴하는 것처럼 보이는 수열이, 물리적 상태 공간(트레이스 거리로 정의됨)에서는 수렴하지 않을 수 있다는 것이다.

방법론
저자들은 양자 상태 공간의 밀도 연산자와 확률 표현에 의해 유도된 메트릭 사이의 관계를 분석하기 위해 위상학적 및 정보 이론적 접근 방식을 채택한다.

1. 강건성의 정의: 저자들은 표현 $P_M$이 유도된 메트릭 $d_M$에서의 수렴이 트레이스 거리 $\delta$에서의 수렴을 함의할 때 위상적으로 강건하다고 정의한다. 형식적으로, 임의의 상태 수열 $(\rho^{(n)})$과 상태 집합 $\Sigma$에 대하여 다음과 같다:
   $$\lim_{n\to\infty} d_M(\rho^{(n)}, \Sigma) = 0 \implies \lim_{n\to\infty} \delta(\rho^{(n)}, \Sigma) = 0$$
   여기서 $d_M(\rho, \sigma) = \frac{1}{2} \sup_{M \in \mathcal{M}} \|P_M(\rho) - P_M(\sigma)\|_1$ 이다.

2. 반례 구축: 저자들은 $n$개의 불안정한 원자를 사용하는 무작위성 생성 프로토콜을 포함하는 구체적인 예시를 구축한다. 그들은 트레이스 거리 측면에서 완벽하게 무작위적인 상태들의 집합 $\Sigma_{rand}$로부터 멀리 떨어져 있는($\delta \geq 1/4$) 얽힘 상태 수열 $\rho^{(n)}_{RE}$를 정의한다. 그러나 국소 측정($M_\otimes$)으로 제한될 때, 이 상태들의 확률 분포는 $n \to \infty$에 따라 $\Sigma_{rand}$로 수렴한다. 이는 국소 측정에 기반한 표현이 강건하지 않음을 보여준다.

3. 위상적 특성화: 저자들은 밀도 연산자가 생성하는 벡터 공간 $\text{span}(D(H))$를 분석한다. 그들은 $D(H)$ 상에서 $d_M$과 $\delta$에 의해 유도된 위상은 (병리적인 "취약한" 경우를 제외하고) 동일하지만, 강건성은 전체 벡터 공간 $\text{span}(D(H))$ 상에서 이들 위상의 동등성을 요구한다는 것을 증명한다. 이는 $\|\cdot\|_M$에 대한 $\text{span}(D(H))$의 완비성과 동치이다.

4. 엔트로피를 통한 구조의 정량화: 결과를 일반화하기 위해, 저자들은 "구조"에 대한 정보 이론적 척도를 도입한다. 그들은 임의의 측정을 위해 압축된 데이터 목록의 최소 크기를 기준으로 하는 **점근적 엔트로피(asymptotic entropy)**를 정의한다. 이들은 "효율적인" 표현(효과(effect)의 수가 차수에 따라 다항식적으로 증가하는 경우) 또는 국소 연산에 기반한 표현들을 고려한다.

주요 기여 및 결과

• 불가능성 정리 (정리 6): 핵심 결과는 만약 확률 표현 $P_M$이 비사소한 구조(구체적으로, 점근적 엔트로피가 자명한 상계인 $2^{2^n}$보다 유의미하게 작은 시퀀스로 제한되는 경우)를 가진다면, 해당 표현은 위상적으로 강건할 수 없다는 불가능성 정리이다.
• 구조와 강건성의 상충 관계: 논문은 근본적인 트레이드오프를 확립한다:
  • 강건성은 표현이 "구조가 없는(structure-less)" 상태(본질적으로 상태를 강건하게 구별하기 위해 지수적으로 많은 측정을 요구함)를 요구한다.
  • 구조(부분계 분해, 국소성 또는 효율성 등)는 필연적으로 비강건성을 초래한다.
• 구체적 따름정리:
  • 따름정리 7: 국소 측정에 기반한 표현($P_{M_\otimes}$)은 강건하지 않다. 이는 비신호(non-signaling) 박스에만 기반한 포스트 퀀텀 암호학의 보안 정의가 표준 양자 정의 하에서의 보안을 보장하지 못할 수 있음을 시사한다.
  • 따름정리 8: 힐베르트 공간 차원에 대해 효과의 수가 다항식적으로 증가하는 모든 효율적인 표현(SIC-POVM과 같은 최소한의 토모그래피적으로 완전한 집합 포함)은 강건하지 않다. 이는 무한 차원의 시스템에 적용된다.
• GPT로의 일반화 (정리 9): 저자들은 연구 결과를 일반화된 확률 이론(GPT)으로 확장하여, 국소 측정이 유도하는 위상과 일반화된 트레이스 거리가 서로 다른 GPT가 존재함을 보여준다(측정 세트가 취약하지 않은 경우에도 마찬가지이다).

의의 및 주장
본 논문은 확률 표현이 수학적으로 편리하고(많은 체계, 특히 QBism과 재구성 프로그램의 기초가 되는) 기초적이지만, 물리적인 "가까움"의 개념을 보존하는 데 결함이 있다고 주장한다.

• 양자 기초론에 대한 함의: 이 결과는 효율적인 측정 세트(예: SIC-POVM)를 사용하여 확률적 공리로부터 양자 이론을 재구성하려는 프로그램(예: QBism)이나, 상태를 순수하게 믿음의 목록으로 해석하려는 시도(무한 차원 시스템의 경우)에 도전 과제를 던진다. 강건성이 없다면, 근사적인 확률적 진술을 물리적 상태로 신뢰성 있게 매핑할 수 없다.
• 양자 정보에 대한 함의: 양자 암호학에서 $P_{M_\otimes}$의 비강건성은 비신호 박스에 기반한 "포스트 퀀텐츠" 체계가 표준 양자 체계보다 보안성이 낮을 수 있음을 시사한다. 즉, 확률적 보안 정의가 트레이스 거리 관점에서의 보안을 보장하지 않기 때문이다.
• 양자장론(QFT)에 대한 함의: QFT 상태는 종종 상관 함수(확률 표현의 일종)로 특징지어지므로, 저자들은 이러한 표현들이 특히 비국소적 관측량(예: 호킹 복사 상관 관계)에 대해 강건하지 않다고 제안한다.

결론
저자들은 밀도 연산자 형식이 유리한 속성들(강건성, 부분계 구조, 효율성)을 보유하고 있으며, 확률 표현은 이들을 동시에 달성할 수 없다고 결론짓는다. 확률 표현은 이론 독립성을 제공하지만, 본 논문은 실질적인 물리학에 필요한 비사소한 구조를 가진 모든 표현에서 위상적 강건성이 상실된다고 주장한다. 이는 확률 표현의 일반성과 밀도 연산자의 강건성을 모두 결합할 수 있는 대안적 접근법을 탐색할 필요성을 시사한다.