[논문 리뷰] Jordan-Wigner formalism for classical simulation beyond binary matchgates

Richard Jozsa, Akimasa Miyake|arXiv (Cornell University)|2013. 11. 13.

Quantum Computing Algorithms and Architecture참고 문헌 12인용 수 3

한 줄 요약

이 논문은 바이너리 매치게이트를 초월하여, 매치게이트 회로 내에서 첫 번째 큐비트 라인에 대한 임의의 단일 큐비트 게이트를 포함하는 더 광범위한 양자 회로의 고전적 시뮬레이션을 가능하게 하는 조르당-바이너 형식을 확장한다. 리 대수학 이론과 명시적 구성 방법을 활용하여, 이러한 확장된 회로의 효율적 고전적 시뮬레이션을 입증하며, 발리언트의 매치게이트 형식을 일반화하고 이전에 추상적이었던 결과들을 명확하고 투명하게 드러낸다.

ABSTRACT

The unitary matchgate circuits introduced by Valiant provide an interesting class of quantum circuits that are classically efficiently simulatable. They were shown by Terhal & DiVincenzo and Knill to be related to the physics of non-interacting fermions. The Jordan-Wigner (JW) formalism provides an efficient classical simulation of the latter, which turns out to be equivalent to the restricted case of circuits of binary (2-qubit) matchgates. Valiant's formalism allows further unitary gates: in particular we may include arbitrary 1-qubit gates on the first qubit line at any stage within a binary matchgate circuit. In this note we show how the JW formalism may be extended to provide an efficient classical simulation of such extended circuits, and we show how the simulability also follows from some elementary Lie algebra theory. The essential ingredients have been indicated previously by Knill in a condensed and abstract form, and our purpose is to make these results explicit and transparent.

연구 동기 및 목표

• 매치게이트 회로 프레임워크 내에서 첫 번째 큐비트 라인에 대한 임의의 단일 큐비트 게이트를 포함하는 바이너리 매치게이트를 초월한 조르당-바이너 형식의 확장을 위해.
• 이 확장된 양자 회로 클래스의 고전적 시뮬레이터 가능성에 대한 투명하고 명시적인 유도를 제공하기 위해.
• 확장된 시뮬레이터 가능성의 근거가 기본적인 리 대수학 이론에 기반하며, 키ll의 이전 추상적인 결과들을 더 접근 가능하게 만들기 위해.

제안 방법

• 비일반적인 단일 큐비트 연산을 포함하는 페르미온계를 큐비트 회로로 매핑하기 위해 조르당-바이너 변환을 적응적으로 적용하기 위해.
• 매치게이트 회로 프레임워크에 첫 번째 큐비트 라인에 대한 임의의 1큐비트 게이트를 통합하면서도 고전적 시뮬레이터 가능성 유지하기 위해.
• 확장된 게이트 세트의 복합에 대한 닫힘 성질을 형식화하기 위해 리 대수학적 구조를 사용하기 위해.
• 결과로 얻어진 회로 클래스가 여전히 효율적으로 시뮬레이터블임을 입증하기 위해, 진화 과정이 해석 가능한 대수적 구조 내에 유지됨을 보여주기 위해.
• 원래 매치게이트 프레임워크의 고전적 시뮬레이션 효율성을 유지하는 명시적 회로 변환 제공하기 위해.
• 연구자들이 양자 시뮬레이션 분야에서 더 명확한 이해와 적용을 가능하게 하기 위해, 키ll의 추상적인 결과들을 더 구체적이고 접근 가능한 형태로 재구성하고 명확화하기 위해.

실험 결과

연구 질문

• RQ1 매치게이트 회로 프레임워크 내에서 첫 번째 큐비트 라인에 대한 임의의 단일 큐비트 게이트를 포함하는 양자 회로를 시뮬레이션하기 위해 조르당-바이너 형식을 확장할 수 있는가?
• RQ2 이 확장된 회로 클래스의 고전적 시뮬레이터 가능성의 배경이 되는 대수적 구조는 무엇인가?
• RQ3 비이진 매치게이트와 임의의 1큐비트 게이트의 포함이 고전적 시뮬레이션 효율성에 어떤 영향을 미치는가?
• RQ4 이러한 회로의 시뮬레이터 가능성은 추상적인 구성에 의존하지 않고 기본적인 리 대수학 이론에서 유도될 수 있는가?
• RQ5 확장된 회로 클래스와 추가적인 단일 큐비트 연산을 가진 비상호작용 페르미온계 사이의 명시적 연결은 무엇인가?

주요 결과

• 조르당-바이너 형식은 매치게이트 회로 내에서 첫 번째 큐비트 라인에 대한 임의의 단일 큐비트 게이트를 포함하는 더 넓은 양자 회로 클래스의 고전적 시뮬레이션을 체계적으로 확장할 수 있다.
• 확장된 회로 클래스는 기저가 되는 진화가 해석 가능한 리 대수 내에 존재하기 때문에 여전히 효율적으로 시뮬레이터블이다. 이는 고전적 처리 가능성 보장한다.
• 이러한 회로의 고전적 시뮬레이터 가능성은 기본적인 리 대수학 이론에서 유도되며, 시뮬레이션 결과에 더 깊은 대수적 기반을 제공한다.
• 이 논문은 키ll의 이전에 압축되고 추상적이었던 결과들을 명시적이고 투명하게 드러내어, 더 명확한 이해와 적용을 가능하게 한다.
• 이 확장은 바이너리 매치게이트를 초월하여 발리언트의 매치게이트 형식을 일반화하면서도 효율적인 고전적 시뮬레이션을 유지하여, 고전적으로 시뮬레이터블인 양자 회로의 범위를 넓힌다.