[논문 리뷰] Applications of coherent classical communication and the Schur transform to quantum information theory

Isaac L. Chuang|ArXiv.org|2005. 12. 30.

Quantum Information and Cryptography참고 문헌 159인용 수 73

한 줄 요약

이 학위논문은 두 가지 기초적인 양자정보 도구를 소개한다: 양자 연산을 통한 고전적 정보 전송을 위한 유니터리 프레임워크인 일관된 고전적 통신과, 스chu르 변환을 위한 효율적인 다항시간 양자 회로이다. 주요 기여는 클레브시-고르단 변환을 사용한 구성적이고 효율적인 스chu르 변환의 구현으로, 이는 새로운 양자 알고리즘을 가능하게 하고 대칭군의 양자 푸리에 변환과 스chu르-베일 듀얼리티를 통합한다.

ABSTRACT

Quantum mechanics has led not only to new physical theories, but also a new understanding of information and computation. Quantum information began by yielding new methods for achieving classical tasks such as factoring and key distribution but also suggests a completely new set of quantum problems, such as sending quantum information over quantum channels or efficiently performing particular basis changes on a quantum computer. This thesis contributes two new, purely quantum, tools to quantum information theory--coherent classical communication in the first half and an efficient quantum circuit for the Schur transform in the second half.

연구 동기 및 목표

• 유니터리 상호작용을 사용하여 고전적 및 양자적 통신 작업을 통합하는 양자 샤논 이론의 공식적 프레임워크를 개발하기 위해.
• 양자 프로토콜에서 표준 고전적 통신의 유니터리 대체로 일관된 고전적 통신의 개념을 도입하고 공식화하기 위해.
• 스chu르 변환을 위한 다항시간 양자 회로를 구축하여 양자정보이론에서 오랫동안 미해결된 문제를 해결하기 위해.
• 스chu르 변환과 대칭군 $\mathcal{S}_n$에서의 양자 푸리에 변환 사이의 알고리즘적 연결을 수립하기 위해.
• 스chu르 변환이 대칭군 및 유니터리 군 대칭성을 포함하는 양자 알고리즘의 효율적 구현을 가능하게 하는 방식을 보여주기 위해.

제안 방법

• 자원 부등식을 사용하여 양자 샤논 이론을 공식화하여, 양자 얽힘과 고전적 통신 자원을 포함한 통신 작업을 기술하기 위해.
• 고전적 통신을 대체하는 거의 유니터리 과정으로 일관된 고전적 통신을 도입하여, 양자 프로토콜에서 양자 코herence를 유지하기 위해.
• 텐서 tích의 기저를 $\mathcal{S}_n$과 $\mathcal{U}_d$의 기약 표현으로 분해하기 위해 클레브시-고르단 변환을 사용하여 스chu르 변환을 위한 양자 회로를 개발하기 위해.
• 군 대수 $\mathbb{C}[\mathcal{S}_n]$을 $(\mathbb{C}^n)^{\otimes n}$의 $1^n$ 무게 공간에 통합하여 순열을 양자 상태로 매핑하기 위해.
• 스chu르 변환을 사용하여 $\mathcal{S}_n$에서 푸리에 변환을 수행하기 위해 $\mathbb{C}[\mathcal{S}_n]$를 $\bigoplus_{\lambda} \mathcal{P}_\lambda^* \otimes \mathcal{P}_\lambda$로 매핑하기 위해.
• 표현 행렬 간의 동형사상이 $\mathcal{S}_n$의 스chu르 기저와 기약 표현의 GZ 기저 사이에 존재함을 보여주어, 스chu르 공간의 GZ 기저가 상수 인자에 의해 기약 표현의 GZ 기저와 일치함을 밝혀내기 위해.

실험 결과

연구 질문

• RQ1 양자 프로토콜에서 고전적 통신을 양자 코herence를 유지하는 일관된 유니터리 과정으로 대체할 수 있는가?
• RQ2 양자 통신 작업에서 자원 간의 최적의 엔트로피와 고전적 통신의 상호 교환 비율은 무엇이며, 이를 일관된 통신을 통해 유도할 수 있는가?
• RQ3 스chu르 변환을 다항시간 내에 실행하는 효율적인 양자 회로가 존재하는가? (여기서 $n$과 $\log(1/\epsilon)$에 대해 다항시간이다.)
• RQ4 스chu르 변환을 사용하여 대칭군 $\mathcal{S}_n$에서의 양자 푸리에 변환을 어떻게 실현할 수 있는가?
• RQ5 스chu르 변환과 $\mathcal{S}_n$에서의 양자 푸리에 변환 사이의 정확한 관계는 무엇이며, 그 표현 행렬은 어떻게 비교되는가?

주요 결과

• 모든 알려진 코딩 정리가 양자 얽힘과 고전적 통신 자원을 포함하는 자원 부등식으로 표현되는, 새로운 양자 샤논 이론의 공식적 체계가 개발되었다.
• 고전적 통신의 유니터리 대체로 일관된 고전적 통신이 도입되어 새로운 프로토콜을 가능하게 하고 기존 프로토콜을 통합하는 공통 프레임워크를 제공한다.
• 클레브시-고르단 변환을 사용하여 스chu르 변환을 위한 효율적인 다항시간 양자 회로가 구성되었으며, 실행 시간이 $\operatorname{poly}(n, \log 1/\epsilon)$임을 확보하였다.
• 스chu르 변환을 통해 $\mathbb{C}[\mathcal{S}_n]$를 $\bigoplus_{\lambda} \mathcal{P}_\lambda^* \otimes \mathcal{P}_\lambda$로 매핑함으로써 $\mathcal{S}_n$에서의 양자 푸리에 변환을 실현할 수 있었으며, 이는 동형사상 $\mathbb{C}[\mathcal{S}_n] \cong \bigoplus_{\lambda} \mathcal{Q}_\lambda^n(1^n) \otimes \mathcal{P}_\lambda$를 통해 이루어졌다.
• 스chu르 변환 하에서 $\mathcal{S}_n$의 표현 행렬이 기약 표현 $\mathcal{P}_\lambda$의 표현 행렬과 동형임이 입증되었으며, 기저 벡터마다 임의의 위상만 다를 뿐이다. 이 위상의 정확한 특성은 아직 미해결 과제로 남아 있다.