[논문 리뷰] The Classification of Stabilizer Operations over Qubits

Daniel Grier, Luke Schaeffer|arXiv (Cornell University)|2016. 03. 13.

Quantum Computing Algorithms and Architecture참고 문헌 13인용 수 5

한 줄 요약

이 논문은 큐비트에서 양자 안정자 연산을 표본 기반 분해 방법을 사용하여 분류하며, 57개의 서로 다른 게이트 클래스를 식별한다. 이 중 30개는 단일 큐비트 클리포드 부분군에서 유래한다. 분류 기준은 기저 보존성과 T₄ 및 단계 게이트를 Z-보존 연산의 진부분군으로 구분하는 등 새로운 표본 불변량에 중점을 둔다.

ABSTRACT

We present a complete classification of quantum stabilizer gates in terms of the functions they generate assuming the ability to swap qubits and use ancillary workspace. Because we view these stabilizer circuits as subroutines of some general quantum computation, we insist that any ancilla qubits used during the computation must not change in an input-dependent manner. This is the first attempt at a quantum extension of the classification of reversible classical gates introduced by Aaronson et al., another part of an ambitious program to classify all quantum gate sets. The classification uses, at its center, a reinterpretation of the tableau representation of stabilizer gates to give circuit decompositions, from which elementary generators can easily be extracted. There are a total of 57 different stabilizer classes generated in this way, 30 of which arise from the single-qubit subgroups of the Clifford group. At a high level, the remaining classes are arranged according to the bases they preserve. For instance, the CNOT gate preserves the X and Z bases because it maps X-basis elements to X-basis elements and Z-basis elements to Z-basis elements. The remaining classes are characterized by more subtle tableau invariants; for instance, the T_4 and phase gate generate a proper subclass of Z-preserving gates.

연구 동기 및 목표

• 아론슨 등이 제시한 고전적 가역 게이트 분류를 양자 영역, 특히 안정자 연산으로 확장하기 위해.
• 큐비트 스위핑과 보조 작업 공간을 가정할 때, 보조 큐비트 상태의 진화에 제약 조건을 두고 모든 안정자 게이트를 분류하기 위해.
• 보존하는 기저와 더 깊은 표본 불변량을 바탕으로 서로 다른 안정자 게이트 클래스를 식별하고 특성화하기 위해.
• 표본 형식의 재해석을 통해 안정자 게이트의 체계적 회로 분해 프레임워크를 제공하기 위해.
• 표준 기저 보존성만으로는 포괄되지 않는 안정자 게이트 클래스를 포함하여 총 57개의 안정자 게이트 클래스의 완전한 집합을 규명하기 위해.

제안 방법

• 표준 표본 표현을 재해석하여 안정자 게이트를 기본 생성자로 직접 회로 분해할 수 있도록 한다.
• 표본 형식을 사용하여 각 안정자 게이트 클래스의 기본 생성 집합을 추출한다.
• 보조 큐비트가 입력에 따라 변경되지 않도록 제약 조건을 적용하여 게이트가 깔끔한 서브루틴으로 작동하도록 보장한다.
• 예를 들어 CNOT는 X 및 Z 기저를 보존하므로, 보존하는 기저에 따라 게이트 클래스를 분류하고, 비트리비얼한 부분군을 구분하는 더 미묘한 불변량을 식별한다.
• 군 이론적 분석을 활용하여 가능한 모든 안정자 게이트 클래스를 세며, 단일 큐비트 클리포드 부분군에서 유래한 클래스를 구분한다.
• 표본 불변량 분석을 통해 T₄ 및 단계 게이트가 Z-보존 게이트 내에서 진부분군을 이룬다는 것을 규명한다.

실험 결과

연구 질문

• RQ1 입력에 독립적인 진화 제약 조건 하에 보조 큐비트를 사용할 때, 완전한 서로 다른 안정자 게이트 클래스 집합은 무엇인가?
• RQ2 표본 표현을 어떻게 재해석하여 안정자 게이트의 체계적 회로 분해 및 생성자 추출이 가능하게 할 수 있는가?
• RQ3 어떤 안정자 게이트 클래스들이 X나 Z와 같은 특정 기저를 보존하며, 더 깊은 불변량으로 정의된 클래스와 어떻게 다를까?
• RQ4 T₄ 및 단계 게이트 클래스는 다른 Z-보존 게이트와 무엇이 다른가? 이는 어떻게 표본 불변량을 통해 포착되는가?
• RQ5 총 안정자 게이트 클래스는 몇 개인가? 그리고 단일 큐비트 클리포드 부분군과 고차원 클래스 간에 어떻게 분포되어 있는가?

주요 결과

• 주어진 제약 조건 하에 총 57개의 서로 다른 안정자 게이트 클래스가 식별되었으며, 이 중 30개는 단일 큐비트 클리포드 부분군에서 유래한다.
• CNOT 게이트는 X 기저 요소를 X 기저 요소로, Z 기저 요소를 Z 기저 요소로 매핑하므로 X 및 Z 기저를 모두 보존함을 입증한다.
• 기저 보존성 외에도 더 깊은 표본 불변량이 부분군을 구분하며, 예를 들어 Z-보존 게이트 내에서 T₄ 및 단계 게이트가 진부분군을 이룸을 보여준다.
• 표본 기반 분해 방법은 각 게이트 클래스에 대해 기본 생성자를 성공적으로 추출하여 체계적 회로 합성 가능하게 한다.
• 이 분류는 고전적 가역 게이트 분류의 양자 영역 확장으로, 보조 큐비트 제약 조건이 있는 안정자 연산에 적용된다.
• 이 프레임워크는 보조 큐비트가 입력에 따라 변경되지 않도록 보장하여, 안정자 회로가 더 큰 양자 계산에서 서브루틴 구성 요소로 사용될 수 있음을 검증한다.