[논문 리뷰] Conditions for an experimental Boson-sampling computer to disprove the Extended Church-Turing thesis

V. S. Shchesnovich|arXiv (Cornell University)|2014. 03. 18.

Quantum Computing Algorithms and Architecture참고 문헌 1인용 수 4

한 줄 요약

이 논문은 보존 샘플링 장치가 확장된 추치-터닝 추측을 반증할 수 있는 충분한 실험 조건들을 규명한다. 이 조건들 하에서, 고전적 시뮬레이션 능력을 초월하는 계산의 난이도를 보여줄 수 있다. 심지어 불완전한 광자 구별성과 검출기 노이즈와 같은 현실적인 오차가 존재하더라도, 이상적인 경우로부터의 변동 거리가 유한하게 유지된다면 출력 확률 분포는 여전히 고전적으로 시뮬레이션하기 어렵다.

ABSTRACT

We give a set of sufficient conditions on the experimental Boson-Sampling computer to satisfy Theorem 1.3 of Aaronson & Arkhipov (Theory of Computing extbf{9}, 143 (2013)) stating a computational problem whose simulation on a classical computer would collapse the polynomial hierarchy of the computational complexity to the third level. This implies that such an experimental device is in conflict with the Extended Church-Turing thesis. In practical terms, we give a set of sufficient conditions for the scalability of the experimental Boson-Sampling computer beyond the power of the classical computers. The derived conditions can be also used for devising efficient verification tests of the Boson-Sampling computer.

연구 동기 및 목표

• 보존 샘플링 장치가 고전 컴퓨터를 초월한 계산 능력을 보여줄 수 있는 엄밀한 실험 조건의 집합을 확립하기 위해.
• 실제 실험에서의 완벽하지 않은 조건들에도 불구하고, 보존 샘플링 실험이 여전히 고전적으로 어려운지 확인하는 과제를 다루기 위해.
• 근접한 양자 장치에서 양자 우위를 위한 확장 가능한 실험적 검증 프레임워크를 제공하기 위해.
• 이deal한 경우가 아니라 현실적인 노이즈와 결함이 존재할 때도 보존 샘플링 문제의 고전적 난이도가 안정적인지 보장하기 위해.
• 장치의 물리적 실행 파rameter를 기반으로 효율적인 검증 프rotocol를 가능하게 하기 위해.

제안 방법

• 다중 모드, 다중 광자 상태와 스펙트럼 진폭을 포함하는 일반적인 입력 상태 형식을 사용하여 보존 샘플링 장치의 출력 확률 분포를 유도한다.
• 모드와 주파수 자유도를 포함한 단일 광자 상태의 텐서 곱에 작용하는 유니터리 변환에 대한 추적으로 감지 확률 $ P_U(\vec{s}|\vec{n}) $ 를 표현한다.
• 치환 연산자와 유니터리 네트워크의 행렬 요소를 포함하는 일반화된 표현을 도입하며, 완전히 구별 불가능한 광자가 존재하는 이상적인 경우에 영구행렬 기반 공식으로 수렴한다.
• 이상적이고 실험적 출력 분포 간의 변동 거리를 고전적 시뮬레이션 가능성을 평가하는 핵심 지표로 사용한다.
• Aaronson & Arkhipov의 정리 1.3을 적용하여, 작은 변동 거리 내에서 출력 분포의 고전적 시뮬레이션이 여전히 고전적으로 어려운 것을 보여준다.
• 출력 분포가 고전적 시뮬레이션의 영역을 벗어나도록 보장하기 위한 광자 구별성, 검출기 효율성, 네트워크 유니터리성에 대한 조건을 유도한다.

실험 결과

연구 질문

• RQ1 어떤 실험 조건에서 보존 샘플링 장치가 고전 컴퓨터를 초월한 계산 능력을 보여줄 수 있는가?
• RQ2 광자 구별성과 검출기 노이즈와 같은 현실적인 실험 결함이 존재할 때 보존 샘플링의 고전적 난이도는 어떻게 유지되는가?
• RQ3 만약 이상적인 경우로부터의 변동 거리가 유한하면, 실제 보존 샘플링 장치의 출력 확률 분포가 여전히 고전적으로 시뮬레이션하기 어려운가?
• RQ4 장치가 고전적 시뮬레이션의 영역을 벗어나도록 유지하기 위해 어떤 특정 물리적 파rameter를 제어해야 하는가?
• RQ5 어떻게 실험 설정을 설계하여 보존 샘플링에서의 양자 우위를 효율적으로 검증할 수 있는가?

주요 결과

• 논문은 실험적 보존 샘플링 장치가 이상적 출력 분포로부터 유한한 변동 거리를 유지할 경우, 출력 분포의 고전적 시뮬레이션이 여전히 고전적으로 어려운 것으로 규명한다. 이는 다항계층이 제3계층으로 붕괴됨을 암시한다.
• 보존 샘플링의 고전적 난이도는 불완전한 광자 구별성과 검출기 비효율성과 같은 현실적인 오차 하에서도 안정적이며, 오차가 $ 1/\mathrm{poly}(N) $ 의 비율로 증가할 경우에 한하여 유지된다. 여기서 $ N $ 은 광자의 수이다.
• 출력 확률 분포는 치환 연산자와 유니터리 네트워크 행렬을 포함한 추적으로 표현되며, 혼합 및 비이상적인 입력 상태로의 영구행렬 기반 공식을 일반화한다.
• 유도된 조건들은 장치의 출력이 진정으로 양자적이며 고전적으로 시뮬레이션 가능하지 않음을 테스트할 수 있는 효율적인 검증 프로토콜의 설계를 가능하게 한다.
• 논문은 오차로 인해 보존 샘플링이 확장된 추치-터닝 추측을 반증할 수 없다는 주장들을 반박하며, 이러한 주장들이 $ N $-독립적인 오차 파rameter와 같은 정당하지 않은 가정에 기반한다는 것을 보여준다.
• 이 프레임워크는 실험적 파rameter가 유도된 충분한 조건을 만족할 경우, 고전적 계산 능력을 초월하는 보존 샘플링 장치의 확장 가능성을 가능하게 한다.