[논문 리뷰] The Clifford group fails gracefully to be a unitary 4-design

Huangjun Zhu, Richard Kueng외 2명|arXiv (Cornell University)|2016. 09. 26.

Algebraic and Geometric Analysis참고 문헌 62인용 수 53

한 줄 요약

이 논문은 다중 큐비트 클리포드 군이 유니터리 4-디자인은 아니지만, 유연하게 실패한다: 전체 유니터리 군에 비해 그의 네 번째 텐서 곱에는 오직 하나의 추가 불변 부분공간—스테이블라이저 코드에 해당하는 것—만이 존재한다. 이는 클리포드 궤도가 핵심 양자정보 작업에서 진정한 4-디자인의 성능을 거의 그대로 재현할 수 있게 하며, 클리포드 궤도로부터 정확하거나 근사 4-디자인을 명시적으로 구성할 수 있게 한다. 강력한 증거에 따르면 이들은 실제로 5-디자인을 이룰 수도 있다.

ABSTRACT

A unitary t-design is a set of unitaries that is "evenly distributed" in the sense that the average of any t-th order polynomial over the design equals the average over the entire unitary group. In various fields -- e.g. quantum information theory -- one frequently encounters constructions that rely on matrices drawn uniformly at random from the unitary group. Often, it suffices to sample these matrices from a unitary t-design, for sufficiently high t. This results in more explicit, derandomized constructions. The most prominent unitary t-design considered in quantum information is the multi-qubit Clifford group. It is known to be a unitary 3-design, but, unfortunately, not a 4-design. Here, we give a simple, explicit characterization of the way in which the Clifford group fails to constitute a 4-design. Our results show that for various applications in quantum information theory and in the theory of convex signal recovery, Clifford orbits perform almost as well as those of true 4-designs. Technically, it turns out that in a precise sense, the 4th tensor power of the Clifford group affords only one more invariant subspace than the 4th tensor power of the unitary group. That additional subspace is a stabilizer code -- a structure extensively studied in the field of quantum error correction codes. The action of the Clifford group on this stabilizer code can be decomposed explicitly into previously known irreps of the discrete symplectic group. We give various constructions of exact complex projective 4-designs or approximate 4-designs of arbitrarily high precision from Clifford orbits. Building on results from coding theory, we give strong evidence suggesting that these orbits actually constitute complex projective 5-designs.

연구 동기 및 목표

• 클리포드 군이 유니터리 4-디자인이 되지 못하는 정확한 원인을 규명하는 것.
• 클리포드 궤도가 양자정보 응용에서 진정한 4-디자인과 거의 동일한 성능을 내는지 보여주는 것.
• 클리포드 군 궤도로부터 정확하거나 근사적인 복소 프로젝티브 4-디자인을 구성하는 것.
• 클리포드 궤도가 5-디자인의 성질을 띠는지, 그리고 이를 뒷받침하는 코드 이론적 연결 고리에 기반해 조사하는 것.

제안 방법

• 유니터리 군에 대한 비례 관계에서 클리포드 군의 네 번째 텐서 곱의 불변 부분공간을 분석하는 것.
• 추가로 나타나는 불변 부분공간을 스테이블라이저 코드로 식별하고, 이산 심플렉틱 군의 기약 표현으로 명시적으로 분해하는 것.
• 조화 다항식 이론과 추적 사상(Trace maps)을 사용해 클리포드 궤도의 모멘트를 하르 측도의 모멘트와 연결하는 것.
• 양자 오류정정 코드 결과를 활용해 최대 5 큐비트까지 정확한 4-디자인을 위한 피드유얼 벡터를 구성하는 것.
• MUB 사이클러와 조화 불변량을 사용해 클리포드 궤도로부터 근사 4-디자인을 생성하는 알고리즘을 개발하는 것.
• 다변수 다항식 기법을 적용해 불변량을 분석하고 복소 프로젝티브 공간에서 t-디자인의 조건을 유도하는 것.

실험 결과

연구 질문

• RQ1 클리포드 군의 네 번째 텐서 곱과 전체 유니터리 군의 네 번째 텐서 곱 사이의 정확한 구조적 차이는 무엇인가?
• RQ2 실제 양자정보 작업에서 클리포드 군 궤도는 진정한 유니터리 4-디자인을 얼마나 잘 근사하는가?
• RQ3 클리포드 군 궤도로부터 정확한 복소 프로젝티브 4-디자인을 구성할 수 있는가, 만약 가능하면 그 방법은 무엇인가?
• RQ4 클리포드 군 궤도는 5-디자인과 같은 고차원 디자인의 성질을 보이며, 그에 대한 증거는 무엇인가?
• RQ5 스테이블라이저 코드 구조는 클리포드 군이 4-디자인이 되지 못하는 데 어떤 역할을 하는가?

주요 결과

• 클리포드 군의 네 번째 텐서 곱은 전체 유니터리 군에 비해 정확히 하나의 추가 불변 부분공간을 포함한다. 이는 스테이블라이저 코드이다.
• 이 추가 스테이블라이저 코드는 명시적으로 이산 심플렉틱 군의 기약 표현으로 분해된다.
• 피드유얼 벡터를 사용해 최대 5 큐비트까지 클리포드 궤도로부터 정확한 복소 프로젝티브 4-디자인을 구성할 수 있다.
• 랜덤 클리포드 궤도는 단계 복원 및 양자 상태 구별성과 같은 응용에서 진정한 4-디자인과 거의 동일한 성능을 보이며, 뛰어난 근사치로 작용한다.
• 코드 이론적 구성에 기반한 강력한 증거에 따르면, 클리포드 궤도는 실제로 복소 프로젝티브 5-디자인을 이룰 수 있다.
• 클리포드 군이 4-디자인이 되지 못하는 데서 비롯된 실패는 '유연한' 방식으로 발생한다. 이는 왜곡이 구조적으로 단순하고 잘 이해되어 있어, 랜덤화를 줄인 양자 프로토콜에서 실용적으로 활용될 수 있다.