[논문 리뷰] A reply to "Problems with modelling closed timelike curves as post-selected teleportation"

Seth Lloyd, Lorenzo Maccone외 9명|arXiv (Cornell University)|2011. 07. 31.

Simulation Techniques and Applications인용 수 3

한 줄 요약

이 논문은 라프의 '증명되지 않은 정리' 역설이 보조적 분석에 기반한 것으로, 보브의 물리적 작용을 완전히 고려하지 않은 데 기인함을 보여줌으로써 폐쇄된 시간적 곡선(C-CTC) 모델링에서 주장된 역설을 반박한다. 유니터리 순수화와 후선별 텔레포테이션을 엄밀히 통합함으로써, 저자들은 이 역설이 발생할 수 없음을 입증한다. P-CTC 메커니즘은 자가일관되고 역설이 없는 진동을 강제하며, 정리의 기원이 원인자(예: 앨리스 또는 보브)에서 비롯됨을 보장한다.

ABSTRACT

In arXiv:1107.4675 Ralph uses our post-selection model of closed timelike curves (P-CTC) to construct an "unproven-theorem" paradox, and claims that this voids our argument that P-CTCs are able to resolve such types of paradoxes. Here we point out that Ralph has not accounted for all the interactions needed for his construction. A more careful analysis confirms that indeed there is no paradox, contrary to his claims.

연구 동기 및 목표

• 라프가 후선별 모델의 CTC(P-CTC)가 증명되지 않은 정리 역설을 해결하지 못한다고 주장한 바를 반박하기 위해.
• 라프의 구성에서 필수적인 물리적 상호작용, 특히 보브가 CTC에 정보를 읽고 쓰기 위해 수행하는 유니터리 변환을 생략하고 있음을 보여주기 위해.
• 이러한 상호작용이 유니터리 순수화를 통해 적절히 모델링될 경우 진정으로 역설이 발생하지 않음을 보여주기 위해.
• P-CTC 모델이 자가일관된 진동을 강제하여 정보가 아무런 근원 없이 나타나는 것을 방지함을 명확히 하기 위해.
• 일반 상대성 이론의 맥락에서 P-CTC 프레임워크가 CTC에 대한 일관된 양자 규정임을 재확인하기 위해.

제안 방법

• 앨리스의 책을 읽고 단계 뒤집기로 정보를 되돌려 보내는 보브의 행동을 환경 자유도를 포함한 제어 유니터리 연산으로 모델링하여 유니터리성을 확보하기 위해.
• 후선별 텔레포테이션을 핵심 메커니즘으로 삼아 CTC 진동의 일관성을 강제하고, 자가일관된 결과만 생존하도록 보장하기 위해.
• 두 가지 가능한 제어 유니터리 실행 방식을 분석: |±⟩ 기저에서의 C-NOT과 환경 큐비트를 사용한 |±⟩ 기저에서의 복사 연산.
• 후선별 조건 하에서 전체 과정의 진폭을 계산하여 C-NOT의 경우에 진폭이 0이 되어 불가능함을 보여주기 위해.
• 복사 연산의 경우 유일한 固定 상태(|+⟩)만 기록될 수 있음을 입증하여, 이는 비자기적인 정리가 아니라 자명한 정리임을 보여주기 위해.
• 결론적으로 정리의 기원은 원인자(앨리스 또는 보브)에서 비롯되며, 인과 순환에서 비롯되지 않음을 보여주어 일관성을 유지함을 결론 내리기 위해.

실험 결과

연구 질문

• RQ1 라프가 제안한 '증명되지 않은 정리' 역설은 P-CTC 프레임워크 내에서 일관되게 실현될 수 있는가?
• RQ2 보브가 앨리스의 책에서 정리를 읽고 CTC를 통해 되돌려 보내기 위해 수행해야 할 물리적 작동은 무엇인가?
• RQ3 후선별 텔레포테이션은 CTC 모델에서 인과적 역설의 발생을 어떻게 방지하는가?
• RQ4 P-CTC 모델은 임의의 정리가 아무런 근원 없이 나타나게 허용하는가, 아니면 정보의 근원이 추적 가능한가?
• RQ5 보브의 변환에 대한 유니터리 순수화는 보이는 역설을 해결하는 데 어떤 역할을 하는가?

주요 결과

• 라프의 주장은 보브가 CTC에 정보를 읽고 쓰기 위해 수행해야 할 유니터리 변환을 생략했기 때문에 불완전하다.
• 보브의 행동이 환경 자유도를 포함한 제어 유니터리로 모델링될 경우, C-NOT의 경우 과정의 진폭이 0이 되어 역설이 불가능해진다.
• 복사 연산의 경우 유일한 고정 상태(|+⟩)만 기록될 수 있어, 비자기적이며 증명되지 않은 정리가 아니라 자명한 정리가 된다.
• P-CTC 메커니즘은 고리 안의 모든 정보가 추적 가능한 기원을 가져야 하므로, 아무런 근원 없이 정리가 나타나지 않음을 보장한다.
• 이 모델은 자가일관성을 강제한다: 보브가 앨리스의 상태를 안다면 정리를 쓸 수 있지만, 그는 그 정리의 저자일 뿐, 증명되지 않은 지식의 수신자가 아니다.
• 따라서 증명되지 않은 정리 역설은 P-CTC 모델 하에서 발생하지 않으며, 이는 그 일관성과 타당성을 확인한다.