[논문 리뷰] Universal Bound on Sampling Bosons in Linear Optics

Man‐Hong Yung, Xun Gao외 1명|arXiv (Cornell University)|2016. 08. 01.

Quantum Information and Cryptography참고 문헌 1인용 수 5

한 줄 요약

이 논문은 선형 광학 네트워크에서 보손을 샘플링할 때 전이 진폭의 보편적인 상한을 설정하여, 높은 정확도로 이러한 진폭을 다항시간 랜덤화 알고리즘으로 추정할 수 있도록 한다. 이 상한은 일반화된 Glynn 추정기에서 유도되며, Aaronson와 Hance(2012)가 제기한 다항시간 랜덤화 알고리즘을 통한 영구행렬 근사의 효율성 문제를 해결한다. 이는 보손 샘플링 설정을 초월하여 일반적인 포크 상태 전이로 이전 작업을 확장한다.

ABSTRACT

In linear optics, photons are scattered in a network through passive optical elements including beamsplitters and phase shifters, leading to many intriguing applications in physics, such as Mach-Zehnder interferometry, Hong-Ou-Mandel effect, and tests of fundamental quantum mechanics. Here we present a general analytic expression governing the upper limit of the transition amplitudes in sampling bosons, through all realizable linear optics. Apart from boson sampling, this transition bound results in many other interesting applications, including behaviors of Bose-Einstein Condensates (BEC) in optical networks, counterparts of Hong-Ou-Mandel effects for multiple photons, and approximating permanents of matrices. Also, this general bound implies the existence of a polynomial-time randomized algorithm for estimating transition amplitudes of bosons, which represents a solution to an open problem raised by Aaronson and Hance in 2012.

연구 동기 및 목표

• 모든 수동 광학 요소(예: 분할기와 위상 이동기 포함)에 대해 유효한, 임의의 선형 광학 네트워크에서 보손의 전이 진폭에 대한 일반적인 해석적 상한을 유도하는 것.
• Aaronson와 Hance(2012)가 제기한, 선형광학 전이 진폭을 덧셈 오차 ±1/poly(n) 이내로 추정할 수 있는 다항시간 랜덤화 알고리즘의 존재성에 관한 열린 문제를 해결하는 것.
• 보손 샘플링 설정을 초월하여 일반적인 포크 상태 전이로 영구행렬 추정 알고리즘의 적용 가능성을 확장하는 것, 다중 광자 홍-오우-만델 효과 및 광학 네트워크 내 보즈아인슈타인 응축체 역학을 포함한다.
• 선형 광학에서의 전이 진폭과 행렬 영구행렬 간의 이론적 기반을 제공하여 복소수 행렬의 영구행렬에 대한 새로운 상한을 가능하게 하는 것.
• 영구행렬 근사의 Glynn 추정기의 일반화를 수행하고, 유도된 상한 하에서 수렴성을 입증하여 오차가 제한된 효율적인 샘플링을 보장하는 것.

제안 방법

• 보손 운동자 함수의 다항식 함수에 대한 진공-진공 진폭을 이산 랜덤 변수의 합으로 매핑하는 일반 정리에 기반하여, 포크 상태 간 전이 진폭의 절대값에 대한 보편적 상한을 유도한다.
• 임의의 복소수 행렬의 영구행렬을 추정하기 위한 일반화된 Glynn 추정기(mGenGly)를 도입하며, 특수한 경우에 원래의 Glynn 및 Aaronson-Hance 추정기로 축소된다.
• 상한을 적용하여 T = O(1/ε²)개의 샘플을 사용해 mGenGly 추정기에서 샘플링하면 전이 진폭의 추정 오차가 ±ε × min{v_s / v_t, v_t / v_s} 이내로 제한됨을 보여준다. 여기서 v_s와 v_t는 포크 상태 점유수에 관련된 정규화 인자이다.
• 체비세프 부등식을 사용하여 샘플링 오차를 제한하고, 다항 실행시간 O(m²/ε²) 내에서 추정기의 고확률 수렴을 보장한다.
• 직접적인 대응 관계 ⟨s|U|t⟩와 부분행렬 U_{s,t}의 영구행렬 간의 연관성을 설정함으로써, 선형광학 전이 진폭 샘플링을 통한 영구행렬 추정이 가능하다.
• 다양한 물리적 상황(다중 광자 간섭 및 광학 네트워크 내 BEC 역학 포함)에 대해 이 상한이 보편적으로 적용됨을 보이며, 동일한 형식론을 통해 그들의 진폭을 표현한다.

실험 결과

연구 질문

• RQ1 임의의 선형 광학 네트워크에서 보손의 전이 진폭에 대해, 분할기와 위상 이동기의 특정 구성에 관계없이 보편적인 상한을 도출할 수 있는가?
• RQ2 유도된 상한이 Aaronson와 Hance(2012)가 제기한 바와 같이, 선형광학 전이 진폭을 덧셈 오차 ±1/poly(n) 이내로 추정할 수 있는 다항시간 랜덤화 알고리즘을 가능하게 하는가?
• RQ3 일반화된 Glynn 추정기를 사용하여 복소수 행렬의 영구행렬을 다항 개의 샘플로 오차가 제한된 상태에서 근사할 수 있는가?
• RQ4 이 상한은 다중 광자 홍-오우-만델 효과 및 광학 격자 내 보즈아인슈타인 응축체 거동과 같은 기본 양자광학 현상과 어떻게 관련이 있는가?
• RQ5 Aaronson와 Hance가 제안한 바와 같이, 비음수 행렬에 대해 영구행렬 추정 알고리즘을 탈랜덤화하기 위해 이 상한을 확장할 수 있는가?

주요 결과

• 보편적인 상한이 |⟨s|U|t⟩| ≤ min{v_s / v_t, v_t / v_s}로 도출되었으며, 여기서 v_s와 v_t는 포크 상태 점유수에 따라 달라지는 정규화 인자이다.
• 이 상한은 전이 진폭을 덧셈 오차가 ±ε × min{v_s / v_t, v_t / v_s} 이내로 추정할 수 있는 다항시간 랜덤화 알고리즘을 가능하게 하여, Aaronson와 Hance(2012)의 열린 문제를 해결한다.
• 알고리즘은 O(1/ε²)개의 샘플이 필요하며, 각 샘플은 O(m²)의 시간에 계산되며 총 실행시간은 O(m²/ε²)이 되며, 모드 수 m에 대해 다항식 시간이다.
• 일반화된 Glynn 추정기(mGenGly)가 도입되었으며, 유도된 상한 하에서 임의의 복소수 행렬 W의 영구행렬을 오차가 ±ε × ||W||^m × v_s² × ∏(s_k^{s_k} t_k^{t_k})^{1/2} 이내로 추정할 수 있음을 보였다.
• 이 방법은 선형광학 전이 진폭과 행렬 영구행렬 간의 직접적인 연결을 설정하며, 형식론 하에서 G(U,s,t) = Perm(U_{s,t})임을 보여준다.
• 상한은 보손 샘플링을 초월하여 다중 광자 간섭 및 광학 네트워크 내 보즈아인슈타인 응축체 역학에까지 적용 가능하며, 이를 Eq. (4)와 Eq. (5)에의 적용을 통해 입증되었다.