Unobservables and Decoherence from Complexity

기술 요약: 복잡성으로부터의 관측 불가능성과 결맞음 해제(Decoherence)

문제 제기
양자 역학과 고전적 실재 사이의 접점은 여전히 집중적인 연구 대상이다. 양자 영역이 간섭과 중첩에 의해 정의되는 반면, 거시적 시스템은 이러한 현상이 결여된 채 고전적으로 나타난다. 표준적인 설명은 대개 환경적 결맞음 해제(environmental decoherence)에 의존한다. 본 논문은 대안적인 가설을 조사한다: 즉, 거시적 시스템에서 특정 양자적 특징들이 "관측 불가능"해지는 원인이 환경과의 상호작용이 아니라, 계산 복잡성(computational complexity)에 의해 부과된 근본적인 한계로부터 기인한다는 가설이다. 구체적으로, 저자들은 양자 시스템이 NP-완전(NP-complete) 문제를 효율적으로 해결할 수 없다는 가정이 특정 형식적으로 유효한 양자 측정을 물리적으로 수행 불가능하게 만드는지를 탐구한다.

방법론
저자들은 양자 측정의 "되돌리기(undoing)" 능력을 활용하여 3SAT 문제(NP-완전 문제의 일종)를 다항 시간 내에 해결하도록 설계된 가상의 양자 알고리즘을 구성한다.

1. 측정 되돌리기 (Measurement Undoing): 이 알고리즘은 명제 논리식 $F$에 대한 "샌드위치-POVM(Positive Operator-Valued Measure)" $\mathcal{N}(F)$를 활용한다. 이 측정은 식의 절(clause)들에 대한 투영 측정(projective measurements) 시퀀스로 구성되며, 이어서 원치 않는 결과(구체적으로는 절을 위반하는 부분 공간으로의 투영)를 되돌리는 "리셋(reset)" 측정을 수행한다.
2. 희석 기법 (Dilution Technique): 순차적 측정에서 발생하는 지수적으로 낮은 성공 확률 문제를 해결하기 위해, 저자들은 원래의 식 $F$를 새로운 변수와 무작위 XOR 절을 도입하여 희석된 식 $D(F)$로 변환하는 "희석" 전략을 사용한다. 이 수정은 알고리즘 전반에 걸쳐 만족하는 절의 결과가 측정될 확률이 높은 상태(평균적으로 $1/2$ 초과)로 유지되도록 보장한다.
3. 복잡성 가정: 핵심 논거는 다음 두 가지 가정에 기초한다:
   • (INC): NP $\not\subseteq$ BQP (양자 시스템은 NP-난해 문제를 효율적으로 해결할 수 없다).
   • (OBS): 모든 형식적으로 유효한 양자 측정은 실험적으로 구현 가능하다.
     저자들은 만약 (OBS)가 성립한다면, 제안된 알고리즘이 3SAT를 효율적으로 해결하게 되어 (INC)와 모순된다는 것을 입증함으로써 이를 보여준다.

주요 기여 및 결과
본 논문은 만약 NP-완전 문제가 양자 시스템에게 어렵다면, 특정한 형식적으로 유효한 양자 측정은 물리적으로 수행 불가능해야 함을 확립한다. 이러한 양량들을 **관측 불가능량(unobservables)**이라 칭한다.

1. 관측 불가능량의 존재: 샌드위치-POVM $\mathcal{N}(F)$는 양자 역학에서 유효한 수학적 대상이지만, 문제의 크기가 충분히 클 경우(예: 수백 개의 변수) 물리적으로 수행 불가능한 것으로 나타난다. 이는 해당 알고리즘의 실행이 NP-난해 문제가 다루기 어렵다는 가정을 위반하기 때문이다.
2. 관측 불가능한 파울리 행렬 (Unobservable Pauli Matrices): 네이마르크 확장 정리(Naimark's dilation theorem)를 통해, 관측 불가능한 POVM $\mathcal{N}(F)$는 관측 불가능한 투영-측도(PVM)들과 연결된다. 저자들은 충분히 큰 힐베르트 공간(구체적으로는 $2^{M+N}$ 차원의 퀴디트) 내에서 파울리 연산자($\tilde{X}, \tilde{Y}, \tilde{Z}$)가 관측 불가능량이 되는 기저가 존재함을 보여준다. 정준(canonical) 파울리 연산자는 관측 가능하지만, 특정 상태들 사이를 매핑하는 데 필요한 변환된 버전들은 관측 불가능하다.
3. 단절된 시간 진화 궤적 (Disconnected Time-Evolution Orbits): 저자들은 유한한 자원을 사용하는 물리적으로 실현 가능한 시간 진화의 집합 $\mathcal{T}$를 정의한다. 저자들은 (관측 불가능한 것을 관측 가능한 것으로 매핑하는 것과 같은) 유니터리 연산자 중 $\mathcal{T}$에 속하지 않는 것들이 존재함을 증명한다. 결과적으로, 그러한 유니터리 연산자로 연결할 수 없는 순수 상태 쌍 $|\psi_1\rangle$와 $|\psi_2\rangle$가 존재한다. 이들 사이의 전이 확률은 시스템 크기에 따라 지수적으로 감소한다 ($\exp(-\Omega(N))$).
4. 복잡성에 의한 결맞음 해제 (Complexity-Induced Decoherence): 물리적으로 실현 가능한 유니터리 연산자가 $|\psi_1\rangle$와 $|\psi_2\rangle$를 연결할 수 없기 때문에, 결맞은 중첩 상태 $\rho_{coh} = \frac{1}{2}(|\psi_1\rangle + |\psi_2\rangle)(\langle\psi_1| + \langle\psi_2|)$에 대한 임의의 허용 가능한 관측량 $A$의 기댓값은 비결맞은 혼합 상태 $\rho_{incoh} = \frac{1}{2}(|\psi_1\rangle\langle\psi_1| + |\psi_2\rangle\langle\psi_2|)$와 구별할 수 없다. 기댓값의 차이는 $\exp(-\Omega(N))$로 스케일링된다.
5. 효과적인 초선택 규칙 (Effective Superselection Rules, SSR): 이러한 구별 불가능성은 효과적인 초선택 규칙의 출현을 의미한다. 이러한 상태들 사이의 결맞음(coherence)은 관측될 수 없으며, 이는 순수 중첩을 고전적인 혼합 상태로 실질적으로 전환시킨다. 이는 환경적 상호작용이 아닌 계산 복잡성에 기반한 고전성을 제공하는 메커니즘을 제공한다.

의의 및 주장
본 논문은 양자 결맞음의 관측 가능성을 계산적으로 어려운 문제와 직접 연결한 첫 번째 연구라고 주장한다. 저자들은 거시적 시스템의 외견상 고전성이 부분적으로는 특정 양자 현상(예: 특정 중첩이나 특정 측정)을 관측하는 데 초다항식(superpolynomial) 규모의 자원이 필요하며, 이로 인해 유한한 자원을 가진 관찰자에게는 그것이 불가능하다는 점에 기인할 수 있다고 제안한다.

저자들은 연구의 범위를 겸손하게 설정하여, 자신들이 이 메커니즘의 존재만을 입증했음을 밝힌다. 그들은 이것이 결맞음 해제의 유일한 원인이라고 주장하지 않으며, 환경적 결맞음 해제와 비교하여 이의 기여도를 정량적으로 추정하지도 않는다. 대신, 이 "고전적 세계"의 얼마만큼이 이러한 계산 복잡성 한계의 결과인지에 대한 향후 연구 과제를 제시한다. 이 결과는 물리적으로 실현 가능한 연산의 집합이 NP-완전 문제의 난해성에 의해 제약되어, 양자 역학의 수학적으로 유효한 연산들의 엄격한 부분집합임을 시사한다.