[논문 리뷰] On the Monomiality of Nice Error Bases

Andreas Klappenecker, Martin Roetteler|arXiv (Cornell University)|2003. 01. 16.

Coding theory and cryptography참고 문헌 8인용 수 4

한 줄 요약

이 논문은 슈링게만과 베르너의 추측과는 반대로, 모든 아름다운 오차 기저가 이동-곱 기저와 동치가 아니라는 것을 증명함으로써 양자 정보 이론에서 열려 있는 문제를 해결한다. 군 표현 이론을 사용하여 차원 165에서 명시적인 반례를 구성함으로써, 비단항식 아름다운 오차 기저의 존재를 입증하고, 동시에 모든 아름다운 오차 기저가 적어도 절반 이상의 항목이 0인 희박한 표현을 가짐을 보여준다.

ABSTRACT

Unitary error bases generalize the Pauli matrices to higher dimensional systems. Two basic constructions of unitary error bases are known: An algebraic construction by Knill, which yields nice error bases, and a combinatorial construction by Werner, which yields shift-and-multiply bases. An open problem posed by Schlingemann and Werner (see http://www.imaph.tu-bs.de/qi/problems/6.html) relates these two constructions and asks whether each nice error basis is equivalent to a shift-and-multiply basis. We solve this problem and show that the answer is negative. However, we also show that it is always possible to find a fairly sparse representation of a nice error basis.

연구 동기 및 목표

• 슈링게만과 베르너가 제기한 아름다운 오차 기저와 이동-곱 기저 간의 동치성에 관한 열린 문제를 해결하기 위해.
• 모든 아름다운 오차 기저가 단일 비영항만을 가진 단항식 행렬(즉, 각 행과 열에 하나의 비영항만을 가짐)으로 표현될 수 있는지 여부를 규명하기 위해.
• 높은 차원에서 아름다운 오차 기저의 구조적 제약과 표현 방식을 조사하기 위해.
• 모든 아름다운 오차 기저가 이동-곱 기저와 동치임을 가정하는 추측에 대한 명시적 반례를 구성하기 위해.
• 모든 아름다운 오차 기저가 단항식은 아니지만, 여전히 적어도 50퍼센트 이상의 항목이 0인 상대적으로 희박한 행렬 표현을 가짐을 보여주기 위해.

제안 방법

• 군 $ G = (H_5 \times H_{11}) \rtimes_\varphi H_3 $ 의 프로젝티브 표현을 사용하여 유니터리 오차 기저를 구성함. 여기서 $ H_p $ 는 순서 $ p^3 $ 의 하이젠베르크 군이다.
• 이산 푸리에 변환 $ F_p $ 와 대각행렬 $ D_p $ 를 사용하여 $ H_p $ 의 자기동형사를 실현함으로써, 준직접곱의 구조를 가능하게 한다.
• 행렬 공역을 사용하여 $ H_3 $ 가 $ H_5 \times H_{11} $ 에 작용하는 방식을 실현함. 생성자는 $ R_5 $ 와 $ R_{11} $ 으로 표현되며, 이는 군이 비아벨이자 비단항식임을 보장한다.
• 표현의 차원 165에서의 충실한 기약 표현을 $ H_3 $, $ H_5 $, $ H_{11} $ 의 표현을 조합하여 유도함. 이는 비단항식 유니터리 오차 기저를 유도한다.
• 단위행렬 공역과 상수 곱을 통한 동치 관계를 적용하여, 구성된 기저가 이동-곱 유형과 어떻게 비교되는지 분석한다.
• 중앙 확장과 프로젝티브 표현을 포함한 군론적 도구를 사용하여, 구성된 기저가 아름다운 오차 기저 조건을 만족하지만 어떤 이동-곱 기저와도 동치가 아니라는 것을 검증한다.

실험 결과

연구 질문

• RQ1 모든 아름다운 오차 기저는 이동-곱 기저와 동치인가?
• RQ2 아름다운 오차 기저는 단항식 행렬로 표현될 수 있는가?
• RQ3 작은 차원을 초월한 아름다운 오차 기저의 구조적 복잡도는 어떠한가?
• RQ4 아름다운 오차 기저이지도, 이동-곱 기저이지도 않은 유니터리 오차 기저가 존재하는가?
• RQ5 유니터리 오차 기저 표현에서 달성 가능한 최소 희박성은 얼마인가?

주요 결과

• 논문은 추측에 대한 명시적 반례를 구성한다: 이동-곱 기저와 동치가 되지 않는 차원 165의 아름다운 오차 기저.
• 구성된 오차 기저는 비단항식이며, 어떤 이동-곱 기저와도 동치가 되지 않는 군 $ (H_5 \times H_{11}) \rtimes_\varphi H_3 $ 의 충실한 기약 표현에서 유래한다.
• 저자는 모든 아름다운 오차 기저가 적어도 행렬의 절반 이상의 항목이 0인 표현을 가짐을 증명함으로써, 구조적 희박성의 형태를 보여준다.
• 이 연구는 이동-곱 기저가 모든 아름다운 오차 기저와 동치가 아니며, 그 반대도 성립하지 않음을 확인함으로써, 두 구성 방식이 통합적으로 동치가 아니라는 것을 입증한다.
• 결과적으로 아름다운 오차 기저가 낮은 차원에서는 대수적으로 단순해 보일지라도, 반드시 단항식 구조를 가진다는 보장이 없다는 것을 시사한다.
• 반례는 군 표현과 공역을 통한 변환으로 실현된 자기동형사를 사용하여 구성되며, 중심 유형의 비자명한 표현을 보여준다.