[논문 리뷰] The limits of counterfactual computation

Graeme Mitchison, Richard Jozsa|ArXiv.org|2006. 06. 10.

Computability, Logic, AI Algorithms인용 수 10

한 줄 요약

이 논문은 호스텐 등이 제안한 '연쇄 제노' 프로토콜이 모든 계산 결과를 컴퓨터를 실행하지 않고도 획득할 수 있는 완전한 반사적 계산(fully counterfactual computation)을 가능하게 한다는 주장을 도전한다. 이는 양자 간섭과 측정의 역작용으로 인해 프로토콜이 오직 한 출력(예: 출력 1)에 대해서만 반사적 결과를 얻을 뿐이며, 다른 출력에 대해서는 그렇지 않음을 보여준다. 약한 측정은 컴퓨터가 실제로 피하기는 못했음을 확인하며, 원래 주장한 완전한 반사성과 모순된다.

ABSTRACT

We show that the protocol recently proposed by Hosten et al. does not allow all possible results of a computation to be obtained counterfactually, as was claimed. It only gives a counterfactual outcome for one of the computer outputs. However, we confirm the observation that the protocol gives some protection against decoherence. In some situations, though, it may be more effective simply to run the computer several times.

연구 동기 및 목표

• 호스텐 등이 주장한 것처럼 연쇄 제노 프로토콜이 모든 출력에 대해 반사적 계산을 가능하게 하는지 엄밀히 평가하는 것
• 프로토콜이 주장하는 성능과 반사적 확률에 대한 이론적 한계 $p_0 + p_1 \leq 1$ 사이의 명백한 모순을 해결하는 것
• 특히 컴퓨터가 실제로 실행되지 않았는지 여부를 고려할 때 반사성의 정의를 명확히 하는 것
• 약한 측정이 진폭이 비영이지만 간섭으로 인해 상쇄되는 경로에서 양자 시스템의 존재를 감지하는 데서 수행하는 역할을 평가하는 것
• 프로토콜의 성공이 오직 한 출력에 국한되어 있으며, 일관된 정의가 없이 반사성 개념이 모호하다는 것을 보여주는 것

제안 방법

• 세 큐비트(서브루틴 스위치, 컴퓨터 스위치, 출력 큐비트)를 포함하는 두 출력 양자 계산 모델을 사용하여 연쇄 제노 프로토콜을 분석한다.
• 컴퓨터가 실행되지 않을 때의 진화를 억제하기 위해 반복적인 회전과 측정을 적용하여 양자 제노 효과를 적용한다.
• 프로젝터를 사용해 가상의 측정 동안 컴퓨터 스위치가 'on'(n) 또는 'off'(f)로 측정되었는지 추적하기 위해 양자 역사 추적을 수행한다.
• 컴퓨터 스위치의 약한 측정을 통해 프로토콜 동안 컴퓨터가 실제로 활성화되었는지 탐지한다.
• 출력 0(컴퓨터가 실행되지 않음)과 출력 1(컴퓨터가 실행됨)의 두 경우를 비교하여 반사적 행동의 비대칭성을 보여준다.
• 바이다만의 세 상자 역설 유사성을 적용하여 약한 값($w_B = 1$, $w_C = -1$, $w_A = 1$)이 물리적 실재를 반영하고 역사 상쇄의 모호성을 드러냄을 보여준다.

실험 결과

연구 질문

• RQ1 연쇄 제노 프로토콜은 호스텐 등이 주장한 바와 같이 모든 계산 결과를 진정으로 반사적으로 획득할 수 있는가?
• RQ2 왜 프로토콜은 반사적 확률에 대한 이론적 한계 $p_0 + p_1 \leq 1$를 위반하는 것처럼 보이는가?
• RQ3 양자 프로토콜에서 '반사적' 결과는 무엇으로 정의되며, 호스텐 등이 사용한 정의는 일관성 있는가?
• RQ4 약한 측정은 진폭이 비영이지만 간섭으로 인해 순 효과가 상쇄되는 경로에서 컴퓨터의 존재를 드러내는가?
• RQ5 약한 측정에 의해 '광자가 컴퓨터에서 유래한다'는 주장은 물리적으로 타당한가, 아니면 후행적 원인 또는 일관성 없는 행동을 암시하는가?

주요 결과

• 연쇄 제노 프로토콜은 모든 출력을 반사적으로 획득할 수 없으며, 오직 두 출력 중 하나(예: 출력 1)에 대해서만 반사적 결과를 얻을 수 있다.
• 프로토콜은 완전히 반사적이지 않기 때문에 이론적 한계 $p_0 + p_1 \leq 1$를 위반한다. 측정의 역작용과 잔류 진폭으로 인해 일부 경우에서 컴퓨터가 실제로 활성화되기 때문이다.
• 약한 측정은 컴퓨터 경로에 연결된 포인터에서 비영이 아닌 편향을 보이며, 이는 컴퓨터가 실제로 피하기는 못했음을 시사하며, 완전한 반사성의 주장을 반박한다.
• 호스텐 등이 사용한 반사성 정의는 일관성이 없으며, 약한 값이 컴퓨터가 실제로 사용되지 않는 경로에 비영이 진폭을 부여함으로써 임의의 역사 상쇄를 허용하기 때문이다.
• 프로토콜은 디코herence에 대한 일부 보호 기능을 제공하지만, 이는 특별한 것이 아니며 단순히 계산을 여러 번 반복하는 것으로도 달성될 수 있다.
• 프로토콜의 명백한 모순은 양자역학 자체에서 기인하는 것이 아니라, 시스템이 '실행되었다'고 간주되는 시점에 대한 모호하고 물리적으로 일관되지 않은 정의에서 비롯된다.