[논문 리뷰] The Quantum Schur Transform: I. Efficient Qudit Circuits

Dave Bacon, Isaac L. Chuang외 1명|ArXiv.org|2005. 12. 30.

Quantum Computing Algorithms and Architecture참고 문헌 40인용 수 23

한 줄 요약

이 논문은 차원 d의 n 큐비트에 대한 슈어 변환을 정확도 ε로 구현하기 위해 다항수준의 게이트 수를 사용하는 효율적인 양자 회로 설계를 제시한다. 하위군 적응 기저와 위그너-에크하르트 정리의 활용을 통해 저자들은 슈어 변환의 실용적 구현을 가능하게 하여 스펙트럼 추정, 얽힘 농축, 기준 프레임 무관 통신과 같은 양자정보이론의 핵심 프로토콜에 대한 효율적인 양자 회로를 해방한다.

ABSTRACT

We present an efficient family of quantum circuits for a fundamental primitive in quantum information theory, the Schur transform. The Schur transform on n d-dimensional quantum systems is a transform between a standard computational basis to a labelling related to the representation theory of the symmetric and unitary groups. If we desire to implement the Schur transform to an accuracy of epsilon, then our circuit construction uses a number of gates which is polynomial in n, d and log(1/epsilon). The important insights we use to perform this construction are the selection of the appropriate subgroup adapted basis and the Wigner-Eckart theorem. Our efficient circuit construction renders numerous protocols in quantum information theory computationally tractable and is an important new efficient quantum circuit family which goes significantly beyond the standard paradigm of the quantum Fourier transform.

연구 동기 및 목표

• 양자정보이론의 기본 변환에 대한 효율적인 양자 회로 구현 부족 문제, 특히 자원이 유한하지 않은 변환에 기인한 문제를 해결하기 위해.
• 정확도 ε로 n 큐비트의 차원 d에 대한 슈어 변환을 위한 효율적인 양자 회로를 구축하기 위해.
• 이전에 슈어 변환의 비가역성으로 인해 효율적인 구현이 어려웠던 광범위한 양자정보 프로토콜의 계산 가능성을 확보하기 위해.
• 표준 양자 푸리에 변환을 넘어서 대칭을 고려한 새로운 유니터리 변환을 도입함으로써 양자 알고리즘 도구상자를 확장하기 위해.

제안 방법

• 대칭군과 유니터리 군의 표현 이론에서 유도된 하위군 적응 기저를 사용한다.
• 위그너-에크하르트 정리를 적용하여 슈어 변환의 행렬 원소를 다룰 수 있는 구성요소로 분해한다.
• 순차적인 클레브시-고르단(Clebsch-Gordan, CG) 변환을 통해 전체 변환을 작은 하위계로 재귀적으로 구성한다.
• 감소된 위그너 연산자 행렬 원소를 계산하는 효율적인 고전 알고리즘을 활용하여 양자 회로 합성 가능성을 확보한다.
• 전체 회로 크기는 n · poly(d, log n, log(1/ε)) 수준으로 증가하며, 레지스터 압축을 위한 추가로 poly(n) 시간이 가능하다.
• 이전의 큐비트(d=2) 결과를 임의의 큐비트 차원 d ≥ 2로 일반화한다.

실험 결과

연구 질문

• RQ1 슈어 변환은 n, d, 및 log(1/ε)에 대해 다항식 수준의 게이트 수를 가지는 양자 회로로 구현될 수 있는가?
• RQ2 슈어 변환의 표현 이론적 구조는 어떻게 효율적인 양자 회로 설계에 활용될 수 있는가?
• RQ3 위그너-에크하르트 정리와 하위군 적응 기저는 슈어 변환의 효율적 회로 합성에 어떤 역할을 하는가?
• RQ4 슈어 변환은 스펙트럼 추정 및 얽힘 농축과 같은 프로토콜의 효율적 양자 알고리즘 구축에 기초로 사용될 수 있는가?
• RQ5 기타 아벨리안 군이 아닌 군에 대한 클레브시-고르단 변환은 효율적인 양자 회로 구축에 적합한가?

주요 결과

• 슈어 변환은 n, d, 및 log(1/ε)에 대해 다항식 수준의 회로 크기를 가지는 양자 회로로 구현 가능하여 실용적 응용에 있어 계산 가능성이 확보된다.
• 감소된 위그너 연산자 행렬 원소를 계산하는 효율적인 고전 알고리즘이 회로 설계의 핵심 요소로 기능한다.
• 하위군 적응 기저와 위그너-에크하르트 정리를 활용함으로써 슈어 변환을 다룰 수 있는 구성요소로 재귀적으로 분해할 수 있다.
• 전체 슈어 변환은 n · poly(d, log n, log(1/ε)) 시간 내에 실행되며, 계산 레지스터를 압축하기 위한 추가적인 poly(n) 단계가 가능하다.
• 이 설계는 이전의 큐비트(d=2) 연구를 임의의 큐비트 차원으로 일반화하여 적용 범위를 크게 넓혔다.
• 효율적인 슈어 변환은 최적의 스펙트럼 추정, 보편적인 얽힘 농축, 기준 프레임 무관 통신을 포함한 다양한 양자정보 프로토콜의 실용적 구현을 가능하게 한다.