[논문 리뷰] Fermionic Linear Optics and Matchgates

Emanuel Knill|ArXiv.org|2001. 08. 07.

Quantum Computing Algorithms and Architecture참고 문헌 11인용 수 72

한 줄 요약

이 논문은 페르미온 선형 광학과 입자 측정이 효율적으로 고전적으로 시뮬레이션 가능하다는 것을 보여주며, 이는 도달 가능한 상태들의 집합이 저차원 리 군의 닫힘을 이룬다는 데 기인한다. 두 큐비트 매치게이트와 발리언트의 시뮬레이션 가능한 매치서킷이 확장된 페르미온 선형 광학 연산자의 닫힘과 동형인 모노이드를 생성한다는 것을 입증함으로써, 이러한 양자 모델의 고전적 시뮬레이션 가능성을 리 군의 구조로 설명한다.

ABSTRACT

Fermionic linear optics is efficiently classically simulatable. Here it is shown that the set of states achievable with fermionic linear optics and particle measurements is the closure of a low dimensional Lie group. The weakness of fermionic linear optics and measurements can therefore be explained and contrasted with the strength of bosonic linear optics with particle measurements. An analysis of fermionic linear optics is used to show that the two-qubit matchgates and the simulatable matchcircuits introduced by Valiant generate a monoid of extended fermionic linear optics operators. A useful interpretation of efficient classical simulations such as this one is as a simulation of a model of non-deterministic quantum computation. Problem areas for future investigations are suggested.

연구 동기 및 목표

• 페르미온 선형 광학과 입자 측정이 효율적으로 고전적으로 시뮬레이션 가능한 이유를 밝히고, 이는 보존 선형 광학과의 유비를 대비하여 설명한다.
• 두 큐비트 매치게이트와 발리언트의 시뮬레이션 가능한 매치서킷이 확장된 페르미온 선형 광학 연산자의 닫힘과 동형인 모노이드를 생성한다는 것을 보여준다.
• 비유니터리 양자 계산 과정에서 페르미온과 측정이 포함된 경우의 고전적 시뮬레이션 가능성을 군 이론적 해석으로 제공한다.
• 페르미온 선형 광학과 입자 탐지에 의해 도달 가능한 상태 집합의 기초가 되는 수학적 구조—특히 리 대수와 그에 관련된 군—를 규명한다.
• 특히 복잡도와 자연스러운 생성자 집합에 관한 바탕이 되는 리 군 표현과 양자 연산자의 모노이드의 시뮬레이션에 대한 열린 문제를 제안한다.

제안 방법

• 논문은 페르미온 선형 광학 연산자를 파울리 연산자 및 그들의 곱의 선형 스펙트럼을 유지하는 가역 행렬로 정의하며, 이를 리 군 ${\cal G}_1$으로 구성한다.
• 이를 확장하여 ${\cal G}_2$를 정의하며, 이는 이러한 연산자의 곱의 공간을 유지하는 군으로, 차원 $2n^2 + n + 1$인 리 대수를 이룬다.
• 조르당-위너 변환을 통해 확장된 페르미온 연산자를 리 대수 $\mathfrak{so}_{2n+1}(\mathbb{C})$로 매핑함으로써 효율적인 행렬 표현이 가능해진다.
• 모든 군의 원소가 $O(n^2)$개의 기본 회전 $e^{its_{kl}}$로 분해될 수 있음을 보이고, 이를 공역과 가우스 소거법를 통해 $O(n^3)$개의 허용된 매치게이트 유형의 연산의 곱으로 표현한다.
• 직교 행렬을 사용하여 군 원소를 표현함으로써 $A^T A = I$를 만족시키며, 이는 행렬 곱과 추적의 효율적 계산이 가능하게 한다.
• 매치서킷과의 연결은 매치게이트 모노이드가 ${\cal G}_2$의 닫힘에 밀도적으로 분포해 있음을 보여줌으로써 확립되며, 이는 모든 매치서킷의 시뮬레이션을 가능하게 한다.

실험 결과

연구 질문

• RQ1 왜 페르미온 선형 광학과 입자 측정은 효율적으로 고전적으로 시뮬레이션 가능한 데 반해, 동일한 자원을 가진 보존 선형 광학은 양자 계산의 유니버설성을 갖는가?
• RQ2 페르미온 선형 광학과 입자 측정을 통해 도달 가능한 상태 집합의 수학적 구조는 무엇인가?
• RQ3 발리언트의 두 큐비트 매치게이트와 시뮬레이션 가능한 매치서킷은 확장된 페르미온 선형 광학 연산자의 군과 어떻게 관련이 있는가?
• RQ4 비유니터리 양자 과정의 고전적 시뮬레이션 가능성이 리 군의 닫힘을 통해 설명될 수 있는가?
• RQ5 단순 복소 리 군의 표현을 시뮬레이션하는 복잡도 클래스는 무엇이며, 이는 생성자 선택에 어떻게 의존하는가?

주요 결과

• 페르미온 선형 광학과 입자 측정을 통해 도달 가능한 상태 집합은 저차원 리 군의 닫힘으로 이루어져 있으며, 이는 고전적 시뮬레이션 가능성을 설명한다.
• 두 큐비트 매치게이트는 확장된 페르미온 선형 광학 군 ${\cal G}_2$의 닫힘에 밀도적으로 분포하는 모노이드를 생성한다.
• 확장된 연산자의 리 대수 ${\cal L}_2$는 차원 $2n^2 + n + 1$을 가지며, 조르당-위너 매핑을 통해 그에 관련된 군 ${\cal G}_2$는 $\mathfrak{so}_{2n+1}(\mathbb{C})$와 동형이다.
• ${\cal G}_2$에 속하는 임의의 연산자는 $O(n^3)$개의 기본 매치게이트 유형의 연산으로 분해될 수 있으며, 이는 효율적인 고전적 시뮬레이션을 가능하게 한다.
• 발리언트의 매치서킷 시뮬레이션은 확장된 페르미온 선형 광학의 시뮬레이션과 동등한 일반성을 지닌다. 둘 다 동일한 기초 리 군의 구조에 의해 지배된다.
• 논문은 이러한 모델의 고전적 시뮬레이션 가능성이 관련 연산자가 닫힘의 유니버설성이 아닌 군에 속해 있다는 사실에 기인한다고 제안한다. 이는 보존의 경우와 대비된다.