[논문 리뷰] LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits

Alexandre Clément, Nicolas Heurtel외 3명|arXiv (Cornell University)|2022. 01. 01.

Logic, programming, and type systems인용 수 6

한 줄 요약

이 논문은 진공 상태 보조 입력을 갖는 선형 광학 양자 회로를 위한 타당하고 완전한 그래픽적 언어인 LOv-미적분을 소개한다. 이는 어떤 편광 보존 선형 광학 회로(LOv-회로)도 유일한 삼각형 정규형으로 변환할 수 있도록 보장하는, 수렴성과 정지 보장이 있는 재귀적 변환 체계를 제공하며, Reck 등(1994)의 분해를 새로운 증명을 통해 정규형으로 공식적으로 복원한다.

ABSTRACT

We introduce the LO_v-calculus, a graphical language for reasoning about linear optical quantum circuits with so-called vacuum state auxiliary inputs. We present the axiomatics of the language and prove its soundness and completeness: two LO_v-circuits represent the same quantum process if and only if one can be transformed into the other with the rules of the LO_v-calculus. We give a confluent and terminating rewrite system to rewrite any polarisation-preserving LO_v-circuit into a unique triangular normal form, inspired by the universal decomposition of Reck et al. (1994) for linear optical quantum circuits.

연구 동기 및 목표

• 광학적 하드웨어에서의 실제 구현과 유사하게 작동하는 선형 광학 양자 회로(LOQC)에 대해 추론할 수 있는 공식적이고 그래픽적 언어를 개발하기 위해.
• 표준 LOQC 의미론에 대해 타당하고 완전한 축약된 등식 이론의 부재를 보완하기 위해, 표준 LOQC 의미론에 대해 타당하고 완전한 공리계를 제공하기 위해.
• LOv-미적분의 편광 보존 부분에 대해 강력히 정규화되고 전역적으로 수렴하는 재귀적 변환 체계를 확립하기 위해.
• Reck 등(1994)의 보편적 분해가 LOv-미적분 내에서 정규형으로 공식적으로 복원되고 그 유일성이 증명될 수 있도록 하기 위해.
• 다양한 LOQC 표현 방식을 하나의 공식적 프레임워크 안에서 통합하여, 광학 회로의 검증, 최적화, 체계적 연구를 가능하게 하기 위해.

제안 방법

• 광학 양자 실험에서 사용되는 물리적 구성 요소(예: 분할기, 위상 이동기, 편광 분할기, 진공 입력 등)를 기반으로 한 그래픽적 언어를 설계하기 위해.
• 38개의 규칙(예: (1)–(38))으로 구성된 공리계를 정의하여, 위상 이동의 대칭성과 분할기의 교환 법칙 등 광학 구성 요소의 물리적 등가성을 포괄하기 위해.
• 각 규칙의 타당성을 힐베르트 공간 내 유니터리 행렬 등가성에 대한 직접 검증을 통해 입증하기 위해.
• 모든 두 개의 LOv-회로가 동일한 양자 과정을 나타내면 규칙을 통해 상호 변환 가능하다는 것을 보여줌으로써 완전성을 확립하기 위해.
• 공리계에 기반한 재귀적 변환 체계를 구성하여, 정지성과 수렴성을 보장함으로써, 모든 편광 보존 회로가 고유한 삼각형 정규형으로 줄어들도록 하기 위해.
• 정규형을 활용하여, 0도 각도의 분할기와 위상 이동기를 제외한 나머지 구성 요소들에 대해 Reck 등의 분해를 정규 표현으로 복원하기 위해.

실험 결과

연구 질문

• RQ1 표준 양자역학에 대해 타당하고 완전한 그래픽적 언어를 선형 광학 양자 회로를 위해 개발할 수 있는가?
• RQ2 모든 편광 보존 선형 광학 회로를 고유한 삼각형 형태로 정규화할 수 있는 수렴성과 정지 보장이 있는 재귀적 변환 체계가 존재하는가?
• RQ3 Reck 등(1994)의 보편적 분해가 그래픽적 미적분 내에서 공식적으로 유도되고 그 유일성이 증명될 수 있는가?
• RQ4 어떻게 하면 진공 상태 보조 입력을 광학 양자 회로를 위한 공식 언어에 체계적으로 통합할 수 있는가?
• RQ5 이 형식 체계는 물리학 문헌에서 발견된 다양한 LOQC 접근 방식을 어느 정도 통합하고 일반화할 수 있는가?

주요 결과

• LOv-미적분은 타당하고 완전하다: 두 개의 LOv-회로가 동일한 양자 과정을 나타내는 것은 오직 한쪽이 다른 쪽으로 규칙을 통해 변환 가능한 경우에만 가능하다.
• 수렴성과 정지 보장이 있는 재귀적 변환 체계가 구성되어 있어, 모든 편광 보존 LOv-회로가 고유한 삼각형 정규형으로 줄어들게 보장된다.
• Reck 등의 분해는 0도 각도의 분할기와 위상 이동기를 제외한 나머지 구성 요소들에 대해, 모든 편광 보존 회로의 정규형으로 공식적으로 복원된다.
• 재귀적 변환 체계의 수렴성에 기반한 새로운 증명을 통해 Reck 등의 분해의 유일성이 증명된다.
• 이 언어는 광학 회로에 대한 공식적 추론을 가능하게 하여, 물리적 실현과 일치하는 방식으로 검증, 최적화, 오류 수정을 수행할 수 있다.
• 이 미적분은 다양한 LOQC 표현 방식의 형식화와 비교를 가능하게 하여, 이전에는 서로 다른 접근으로 간주되었던 물리학 문헌의 접근 방식들을 통합한다.