[논문 리뷰] Mutually Unbiased Bases, Generalized Spin Matrices and Separability

A. O. Pittenger, Morton H. Rubin|ArXiv.org|2003. 08. 26.

Matrix Theory and Algorithms참고 문헌 14인용 수 5

한 줄 요약

이 논문은 d가 소수 거듭제곱일 때 d차원 힐버트 공간에서 d+1개의 상호 무관 기저(MUBs)의 존재에 대한 구축적 증명을 제시한다. 일반화된 스핀 행렬과 유한체 이론을 사용하여, 이러한 행렬을 유한체 위의 벡터 공간에 따라 인덱싱하고, 교환되는 유니터리 가중치 집합을 활용함으로써 명시적인 정규직교 기저를 유도하고, MUB의 구조와 양자 상태의 분리 가능성 사이의 연결 고리를 확립한다.

ABSTRACT

A collection of orthonormal bases for a complex dXd Hilbert space is called mutually unbiased (MUB) if for any two vectors v and w from different bases the square of the inner product equals 1/d: || ^{2}=1/d. The MUB problem is to prove or disprove the the existence of a maximal set of d+1 bases. It has been shown in [W. K. Wootters, B. D. Fields, Annals of Physics, 191, no. 2, 363-381, (1989)] that such a collection exists if d is a power of a prime number p. We revisit this problem and use dX d generalizations of the Pauli spin matrices to give a constructive proof of this result. Specifically we give explicit representations of commuting families of unitary matrices whose eigenvectors solve the MUB problem. Additionally we give formulas from which the orthogonal bases can be readily computed. We show how the techniques developed here provide a natural way to analyze the separability of the bases. The techniques used require properties of algebraic field extensions, and the relevant part of that theory is included in an Appendix.

연구 동기 및 목표

• 소수가 p인 d=p^n일 때, 상호 무관 기저(MUB) 문제에 대한 구축적 해법을 제공하는 것.
• 일반화된 스핀 행렬—d×d 유니터리 행렬로, 트레이스 내적 기준으로 직교하는 것—이 어떻게 MUB를 생성할 수 있는지 보여주는 것.
• 이러한 행렬의 색인 구조와 유도된 기저에서의 양자 상태의 분리 가능성 사이의 관계를 확립하는 것.
• 유한체 확장과 트레이스 연산의 체계적 사용을 통해, 고유벡터가 MUB를 제공하는 교환되는 유니터리 행렬 가중치 집합을 체계적으로 구성하는 것을 포괄하는 것.
• 체 이론적 도구와 쌍대 기저 구성 방법을 활용하여, MUB를 명시적으로 계산하는 알고리즘 프레임워크를 제공하는 것.

제안 방법

• 논문은 d²개의 유니터리 행렬로 이루어진 일반화된 스핀 행렬을 제안하며, 이는 프로베누스 내적 기준으로 직교하고, GF(d)의 원소에 따라 인덱싱된다.
• d=p^n일 때 GF(d)를 Z_p 위의 n차원 벡터 공간으로 간주하여, 이러한 행렬의 교환 가중치 집합을 정의한다.
• 각 교환 가중치 집합의 고유벡터는 서로 다른 기저를 형성하며, 서로 다른 기저에서의 벡터들 사이의 내적 제곱의 절댓값이 1/d가 되는 조건을 만족한다.
• 핵심 기법은 GF(d) 위에서 트레이스 연산과 다항식의 근을 이용해 쌍대 기저를 정의하고, 스핀 행렬로부터 투영 연산자를 계산하는 것이다.
• 이 방법은 필요한 행렬 가중치 집합을 구성하기 위해 대수적 체 확장과 기약 다항식의 성질에 의존한다.
• d=2, 4, 9에서의 명시적 예시를 통해 구성 방법을 검증하였으며, 이는 유한체 이론에서 유도된 트레이스 및 쌍대 기저 공식에 기반한다.

실험 결과

연구 질문

• RQ1 d가 소수 거듭제곱일 때, d차원 힐버트 공간에서 d+1개의 상호 무관 기저를 생성할 수 있는 구축적 방법이 개발될 수 있는가?
• RQ2 일반화된 스핀 행렬—파울리 행렬의 일반화—는 어떻게 교환되는 가중치 집합을 형성하고, 그 고유벡터가 MUB를 제공하는가?
• RQ3 유한체의 구조는 MUB 구성 과정에서의 색인 및 정렬에 어떤 역할을 하는가?
• RQ4 일반화된 스핀 행렬의 색인 구조와 관련된 기저의 분리 가능성은 어떻게 관련되는가?
• RQ5 유한체 위에서의 트레이스 연산과 쌍대 기저 체계는 각 MUB에 대한 투영 연산자를 체계적으로 계산하는 데 사용될 수 있는가?

주요 결과

• 소수가 p인 d=p^n일 때, d차원 힐버트 공간에서 d+1개의 상호 무관 기저의 존재에 대한 구축적 증명이 확립되었다.
• 일반화된 스핀 행렬은 트레이스 내적 기준으로 직교하는 d²개의 유니터리 행렬로 이루어져 있으며, 항등행렬이 포함되어 있다.
• d+1개의 MUB 중 각각은 d개의 일반화된 스핀 행렬로 이루어진 교환 가중치 집합의 고유기저이며, 서로 다른 가중치 집합 간에 공통으로 가지는 유일한 행렬은 항등행렬뿐이다.
• 기저의 분리 가능성은 해당 스핀 행렬의 색인 벡터 구조에 의해 결정되며, 분리 가능한 기저는 색인 공간 내 특정 선형 형식에 대응한다.
• 유한체 위에서의 트레이스 연산과 쌍대 기저 벡터를 이용하여 각 MUB의 투영 연산자를 계산하는 명시적 공식이 도출되었다.
• 이 방법은 d=p^n인 임의의 차원에서 모든 MUB를 알고리즘적으로 계산할 수 있도록 하며, d=2²와 d=3²에 대한 예시가 제공되었다.