[논문 리뷰] Is Quantum Mechanics An Island In Theoryspace?

Scott Aaronson|ArXiv.org|2004. 01. 12.

Quantum Information and Cryptography참고 문헌 13인용 수 38

한 줄 요약

이 논문은 양자역학이 이론공간 내에서 '제도'인가를 조사한다—즉, 가능한 물리이론들 중에서 유일하게 안정적이고 자연스러운가를 묻는 것이다. 양자역학의 노름 구조(p-노름), 진폭의 실수성(실수 대비 복소수), 또는 선형성의 변화를 통해 연구한 결과, 조그만 변화조차도 초광속 신호전달, 어려운 계산 문제의 효율적 해결, 또는 제곱근 성질과 같은 기본 대칭성의 실패와 같은 병리적 결과를 초래함을 보여주며, 이는 양자역학이 이론공간에서 특히 강건하고 고립되어 있음을 시사한다.

ABSTRACT

This recreational paper investigates what happens if we change quantum mechanics in several ways. The main results are as follows. First, if we replace the 2-norm by some other p-norm, then there are no nontrivial norm-preserving linear maps. Second, if we relax the demand that norm be preserved, we end up with a theory that allows rapid solution of PP-complete problems (as well as superluminal signalling). And third, if we restrict amplitudes to be real, we run into a difficulty much simpler than the usual one based on parameter-counting of mixed states.

연구 동기 및 목표

• 이론공간 내에서 양자역학이 가능한 물리이론들 중에서 고유하게 안정적이고 자연스러운지 평가하기 위해 그 이론공간 내 이웃 영역을 탐색하는 것.
• 양자역학에서 표준 2-노름을 다른 p-노름으로 대체했을 때의 영향을 조사하는 것.
• 복소수 대신 실수로 진폭을 제한했을 때의 물리적 및 계산적 함의를 분석하는 것.
• 비선형 양자이론의 타당성과 그 계산 복잡성 및 인과성에 대한 영향을 평가하는 것.
• 시간 진동의 핵심 요건인 제곱근 성질이 실수 양자역학에서 실패하는지 여부를 판단하는 것—이는 물리적 일관성에 대한 도전이 된다.

제안 방법

• p ≠ 2인 경우의 p-노름을 유지하는 선형 사상 분석을 통해, 대각 행렬의 순열 외에는 가능한 노름 유지 선형 사상이 없음을 보여줌.
• 후선택(postselection)을 활용한 프레임워크를 도입하여, 대체 양자이론의 계산 능력을 연구함.
• 변환군 내에서 제곱근 성질을 다루며, 유니터리, 올리어터, 특수 올리어터 군을 비교함.
• 행렬 대수를 사용하여 실수 직교행렬 중 행렬식이 -1인 것들이 다른 실수 행렬의 제곱근이 될 수 없음을 보임.
• 보조 큐비트와 고차원 임bedding을 적용하여 실수 양자역학에서 제곱근 성질을 복원하는 방법을 제시함.
• 실수, 복소수, 히사티온 진폭에 따른 혼합 상태의 매개변수 수를 비교하여 양자 de Finetti 정리와의 일관성 여부를 평가함.

실험 결과

연구 질문

• RQ1 2-노름이 다른 p-노름으로 대체되면 양자역학은 어떻게 되는가?
• RQ2 실수 진폭을 갖는 양자이론이 시간 진동에 필수적인 제곱근 성질을 유지할 수 있는가?
• RQ3 노름을 유지하지만 선형이 아닌 비선형 양자이론에서는 어떤 계산 능력이 발생하는가?
• RQ4 진폭의 체(실수 대비 복소수)를 변경하면 혼합 상태의 매개변수 수 계산과 양자 de Finetti 정리의 일관성에 어떤 영향을 미치는가?
• RQ5 왜 2-노름이 다른 p-노름에 비해 양자역학에 고유하게 적합한가?

주요 결과

• p ≠ 2일 경우, 유일한 노름 유지 선형 사상은 대각 행렬의 순열뿐이며, 수동 정규화 없이선 비트리비얼한 양자역학적 동역학이 불가능함.
• p-노름 이론에서 수동 정규화가 요구되면 초광속 신호전달과 다항식 시간 내에 PP-완전 문제를 해결할 수 있는 능력이 발생함.
• 실수 양자역학은 제곱근 성질에 실패함: 행렬식이 -1인 모든 직교변환을 실수 행렬의 제곱으로 표현할 수 없음.
• 실수 양자역학에서 제곱근 성질을 복원하려면 고차원으로 확장하거나 SO(n)으로 제한해야 하는데, 이는 물리적 일관성의 문제를 야기하거나 추가 차원이 필요함.
• 혼합 상태의 매개변수 수 일관성은 복소수 진폭이 필수적임. f(n) = n²은 복소수 진폭에서만 성립하며, 이는 f(n_A n_B) = f(n_A)f(n_B)를 가능하게 함.
• 2-노름을 유지하는 비선형 양자이론(예: Weinberg 및 다항식 게이트)은 여전히 NP- 및 #P-완전 문제를 효율적으로 해결할 수는 있으나, 강건성 문제에 대해서는 열려 있음.