[논문 리뷰] Will boson-sampling ever disprove the Extended Church-Turing thesis?

Peter P. Rohde, Keith R. Motes외 2명|arXiv (Cornell University)|2014. 01. 09.

Quantum Information and Cryptography인용 수 5

한 줄 요약

이 논문은 실용적인 독립 오차 모델 하에서 기본적인 확장 체칭-터링 추측의 점 渐진적 한계에서 실험적 보손 샘플링이 실패할 수 있음을 주장한다. 낮은 오차율이라도, 오차 확률이 체계 크기와 함께 지수적으로 증가하여 정확한 분포에서 샘플링할 확률이 기하급수적으로 감소하기 때문이다. 이는 추측을 도전할 수 있는 것으로 여겨지는 고전적 난이도를 약화시킨다.

ABSTRACT

Boson-sampling is a highly simplified, but non-universal, approach to implementing optical quantum computation. It was shown by Aaronson and Arkhipov that this protocol cannot be efficiently classically simulated unless the polynomial hierarchy collapses, which would be a shocking result in computational complexity theory. Based on this, numerous authors have made the claim that experimental boson-sampling would provide evidence against, or disprove, the Extended Church-Turing thesis -- that any physically realisable system can be efficiently simulated on a Turing machine. We argue against this claim on the basis that, under a general, physically realistic independent error model, boson-sampling does not implement a provably hard computational problem in the asymptotic limit of large systems.

연구 동기 및 목표

• 실험적 보손 샘플링이 점 渐진적 영역에서 확장 체칭-터링 추측(ECT)에 대한 증거나를 제공할 수 있는지 평가하기.
• 물리적으로 현실적인 독립 오차가 보손 샘플링의 계산 난이도에 미치는 영향을 분석하기.
• 후선택 또는 오차 보정이 문제의 고전적 난이도를 복원할 수 있는지 평가하기.
• 현재 이론적 이해 수준에서 확장 가능한, 고장 내성 보손 샘플링이 가능할지 결정하기.
• 보손 샘플링 실험은 ECT를 반증할 수 있다는 널리 퍼진 주장에 도전하며, 대신 확장 가능성 문제가 근본적인 장벽임을 주장하기.

제안 방법

• 입력 상태 준비를 혼합 상태로 모델링하며, 단일 광자를 생성할 확률이 $ p $ 이고, 오류 상태 $ \hat{\rho}_{\mathrm{error}} $ 가 생성될 확률은 $ 1-p $ 이다. 이는 광자 수, 스펙트럼, 모드 불일치 오차에 적용 가능하다.
• 출력 분포를 정확한 입력 상태와 오류 입력 상태의 통계적 혼합으로 분석하며, 정확한 분포에서 샘플링할 확률이 $ P = p^n $ 으로 표현되며, 이는 $ n $ 과 함께 지수적으로 감소한다.
• Aaronson-Arkhipov 난이도 결과를 적용하며, 이는 고전적 난이도를 위해 $ P > 1/\mathrm{poly}(n) $ 가 필요하다는 것을 의미한다. 독립 오차 하에서는 이 조건이 큰 $ n $ 에서 위반됨을 보여준다.
• 후선택 전략을 통해 정확한 분포를 복원할 수 있는지 평가하며, 출력이 동일한 광자 수를 가지는 여러 오류 입력 구성이 존재할 수 있어 정확한 분포를 유일하게 식별할 수 없다는 점을 입증한다.
• ‘산산이 흩어진’ 보손 샘플링과 수동 오차 보정 기법 개발과 같은 대안적 접근을 고려한다.
• 보손 샘플링에서의 고장 내성은 유니버설 양자 계산에서 사용되는 것과는 완전히 다른, 수동 전용 방법이 필요하다고 주장한다.

실험 결과

연구 질문

• RQ1 실험적 보손 샘플링은 점 渐진적 한계에서 확장 체칭-터링 추측을 반증할 수 있는가?
• RQ2 독립적이고 물리적으로 현실적인 오차는 보손 샘플링의 고전적 난이도에 어떤 영향을 미치는가?
• RQ3 오차가 존재하는 상황에서 후선택은 정확한 분포를 효과적으로 복원할 수 있는가, 아니면 모호성을 유발하는가?
• RQ4 활동적 피드포워드나 양자 메모리 없이도 확장 가능한, 고장 내성 보손 샘플링의 실현 가능한 길이 존재하는가?
• RQ5 미래의 이론적 발전이 현실적인 오차 모델 하에서 보손 샘플링의 고전적 난이도를 복원할 수 있는가?

주요 결과

• 일반적인 독립 오차 모델 하에서, 정확한 입력 상태에서 샘플링할 확률은 $ p^n $ 으로 지수적으로 감소하여 대규모 보손 샘플링 실험의 신뢰성이 점점 떨어진다.
• 보손 샘플링의 고전적 난이도는 $ P > 1/\mathrm{poly}(n) $ 를 전제로 하며, 현실적인 오차 모델 하에서는 $ n $ 이 크면 $ p^n $ 이 이 임계값 이하로 떨어지므로 이 조건이 무효화된다.
• 후선택은 입력 상태의 모호성을 해결하지 못한다. 동일한 출력 광자 수를 낼 수 있는 여러 오류 입력 구성이 존재하므로 정확한 분포를 유일하게 특정할 수 없다.
• 확장 가능한, 고장 내성 보손 샘플링을 달성하기 위해서는 유니버설 양자 계산에서 사용되는 활동적 피드포워드와는 완전히 다른 수동 오차 보정 기법 개발이 필요하다.
• 현재 이론적 프레임워크는 보손 샘플링의 점 渐진적 확장성을 지지하지 않으며, 이는 ECT를 반증할 수 있다는 주장에 의심을 제기한다.
• 유한 크기 실험은 후-고전적 행동을 보일 수는 있으나, 이러한 결과는 점 渐진적 추측인 ECT에 대한 증거로 쓸 수 없다.