[논문 리뷰] Sharply covariant mutually unbiased bases

Huangjun Zhu|arXiv (Cornell University)|2015. 02. 27.

Molecular Junctions and Nanostructures참고 문헌 2인용 수 6

한 줄 요약

이 논문은 유한 차원 양자 시스템에서 날카럽게 공변하는 상호수직 기저(MUBs)의 존재성을 조사하며, 유니타리 동치를 제외한 두 개의 안정자 MUBs만이 날카롭게 공변한다는 것을 보여준다. 이는 반유니타리 대칭을 포함해도 마찬가지이며, 이 결과는 MUBs와 대칭 정보적으로 완전한 양의 연산값측정(SICs) 사이에 근본적인 비대칭성을 드러낸다. SICs는 모두 날카롭게 공변한다는 점과 대비된다.

ABSTRACT

Mutually unbiased bases (MUB) are an elusive discrete structure in Hilbert spaces. Many (complete sets of) MUB are group covariant, but little is known whether they can be sharply covariant in the sense that the generating groups can have order equal to the total number of basis states, that is, $d(d+1)$ for MUB in dimension $d$. Sharply covariant MUB, if they exist, would be most appealing from both theoretical and practical point of view. Since stabilizer MUB subsume almost all MUB that have ever been constructed, it is of fundamental interest to single out those candidates that are sharply covariant. We show that, quite surprisingly, only two stabilizer MUB are sharply covariant, and the conclusion still holds even if antiunitary transformations are taken into account. Our study provides valuable insight on the symmetry of stabilizer MUB, which may have implications for a number of research topics in quantum information and foundations. In addition, it exposes a sharp contrast between MUB and another elusive discrete structure known as symmetric informationally complete measurements (SICs), all known examples of which are sharply covariant.

연구 동기 및 목표

• 안정자 상호수직 기저(MUBs)가 날카롭게 공변할 수 있는지 여부를 규명하는 것, 즉 차수 d(d+1)인 유니타리 및 반유니타리 연산자 군에 의해 생성되는지 여부를 확인하는 것.
• 날카롭게 공변하는 MUBs의 이론적·실용적 매력성을 해결하는 것, 이는 위상공간 표현에서 군 원소를 통한 효율적 구성과 자연스러운 레이블링을 가능하게 하기 때문이다.
• 특히 클리포드 군과 하이젠베르크-웨일(HW) 이동 연산자와의 관계에서 안정자 MUBs의 대칭 구조를 조사하는 것.
• 모든 알려진 날카롭게 공변하는 대칭 정보적으로 완전한 측정(SICs)과 대비하여 MUBs와 SICs를 비교함으로써, 그들의 군론적 성질에서 근본적인 차이를 부각하는 것.

제안 방법

• 논문은 차수 d = q = p^n에서 안정자 MUBs의 대칭군을 분석하며, 클리포드 군과 그 부분군의 작용에 집중한다.
• 하이젠베르크-웨일 군의 구조와 그 최대 아벨 부분군(안정자 기저)을 사용하여, MUBs를 이러한 부분군의 공통 고유기저로 특성화한다.
• 특히 8차원에서의 Sylow p-부분군 분석과 심플렉틱 군 Sp(2n,p) 내의 정규화자 구조를 포함한 군론적 기법을 적용한다.
• 후보 대칭군이 MUB 기저에 작용하는 방식을 분석하며, 전이성과 기약성 조건을 사용하여 날카롭게 공변하는 구조를 배제한다.
• 후보 대칭군의 기약 표현을 분석하기 위해 추적 기반의 특징합과 고유값의 중복도를 사용하며, 특히 유니타리 부분군에 초점을 맞춘다.
• 기술적 보조정리를 증명한다. 즉, 클리포드 군의 부분군이 Zsigmondy 유니타리 연산자를 포함하고, 동일한 차수의 두 개의 기약 성분을 가진다면, 이들은 반드시 비동치여야 한다. 이는 특정 군 구조를 배제하는 데 핵심적인 역할을 한다.

실험 결과

연구 질문

• RQ1 어떤 안정자 MUB도 날카롭게 공변할 수 있는가, 즉 차수 d(d+1)인 유니타리 및 반유니타리 연산자 군에 의해 생성되는가?
• RQ2 높은 차원에서 안정자 MUBs가 많음에도 불구하고, 왜 오직 두 개의 안정자 MUBs만 날카롭게 공변하는가?
• RQ3 날카롭게 공변하는 MUBs가 없는 구조적 이유는 무엇이며, 이는 알려진 날카롭게 공변하는 SICs와 대비될 때 어떤 의미를 갖는가?
• RQ4 특히 8차원에서 안정자 MUBs의 대칭군이 날카로운 공변 가능성에 어떤 제약을 가하는가?
• RQ5 Zsigmondy 소수와 Singer 부분군은 클리포드 군 내에서 날카롭게 공변하는 구조를 배제하는 데 어떤 역할을 하는가?

주요 결과

• 차원이나 반유니타리 대칭의 포함 여부에 관계없이, 유니타리 동치를 제외한 두 개의 안정자 MUBs만이 날카롭게 공변한다.
• 8차원에서는 960개의 안정자 MUBs가 존재하지만, 그 어떤 것도 날카롭게 공변하지 않는다. 이는 클리포드 군에 의해 모두 연결되어 있음에도 불구하고 마찬가지다.
• 8차원에서 각 안정자 MUB의 대칭군의 순서는 96768이며, HW 군에 대한 몫의 순서는 1512이다. 이 군은 날카롭게 공변하는 구조를 포함하지 않는다.
• 분석 결과, 후보 날카롭게 공변 군은 MUB 기저에 대해 전이성이고 기약적인 작용을 가져야 하며, 이는 Sylow 3-부분군과 추적 기반 특징합의 논증에 의해 배제된다.
• 대칭군의 Sylow 3-부분군에 비순환 순서 9 부분군이 존재함으로써 전이성이 깨지며, 이는 날카로운 공변성과 모순된다.
• 모든 후보 경우에서 조건 ∑|tr(U)|² / |H| > |G|/|H| 가 성립하지 않으며, 이는 어떤 날카롭게 공변 군도 존재할 수 없음을 증명한다.