[논문 리뷰] Poly-locality in quantum computing

Michael Freedman|ArXiv.org|2000. 01. 21.

Quantum Computing Algorithms and Architecture참고 문헌 7인용 수 8

한 줄 요약

이 논문은 양자 컴퓨팅에서 다중국소(unitary) 변환을 위한 프레임워크를 제안하며, 쇼어의 소인수분해 알고리즘과 같은 주요 양자 알고리즘이 다중국소 푸리에 변환에 의존하고 있음을 보여준다. 다중국소 조건 하에서 이산 직교 웨이블릿 변환—다비치스 변환 포함—이 다중국소임을 증명하여 양자 컴퓨터에서 효율적으로 구현 가능함을 보이며, 다중국소성의 경미한 위반은 단방향 함수의 존재를 붕괴시켜 다중국소성을 근본적인 물리적 제약로 강화한다.

ABSTRACT

A polynomial depth quantum circuit effects, by definition a poly-local unitary transformation of tensor product state space. It is a physically reasonable belief [Fy][L][FKW] that these are precisely the transformations which will be available from physics to help us solve computational problems. The poly-locality of discrete Fourier transform on cyclic groups is at the heart of Shor's factoring algorithm. We describe a class of poly-local transformations, including all the discrete orthogonal wavelet transforms in the hope that these may be helpful in constructing new quantum algorithms. We also observe that even a rather mild violation of poly-locality leads to a model without one-way functions, giving further evidence that poly-locality is an essential concept.

연구 동기 및 목표

• 다중국소 유니터리 변환의 역할을 양자 계산의 근본적인 물리적 제약로 체계화하고 분석하는 것.
• 다비치스 변환을 포함한 이산 직교 웨이블릿 변환이 다중국소임을 보여주고, 따라서 양자 컴퓨터에서 효율적으로 실행 가능함을 입증하는 것.
• 다중국소성이 단방향 함수의 존재에 필수적임을 보이며, 이는 다중국소성의 경미한 위반도 암호 보안을 파괴할 수 있음을 시사한다.
• 단위상 코딩된 양자 회로를 통한 연속 변환의 잠재력을 탐색하여, 이산 벡터화된 변환을 초월한 효율적 양자 계산을 확장하는 것.

제안 방법

• 각 항목이 일정 수의 큐비트에만 작용하는 다항수의 국소 항목들의 합으로 구성된 다중국소 해밀토니안을 정의하여 물리적으로 실현 가능한 양자 진동을 모델링하는 것.
• 소로바이-키타에프 정리와 양자 회로 합성 기법을 사용하여 이러한 해밀토니안의 시간 진동을 양자 게이트의 곱으로 근사하는 것.
• 웨이블릿 변환을 포함한 순환 주기적 거의 대각형 행렬에 대해 애너실라 큐비트를 요구하지 않는 명시적 양자 회로를 구성하는 것.
• 이산 변환 출력을 복소 위상의 초위상에 통합하는 단위상 코딩 기법을 도입하여 연속 변환의 효율적 시뮬레이션을 가능하게 하는 것.
• 이산 변환 목표의 이산화된 원주 위의 근사화를 정당화하기 위해 준등거리 왜곡 분석을 적용하는 것.
• 모든 효율적으로 실행 가능한 벡터화된 변환은 출력 값의 단위상 인코딩을 통해 연속 버전으로 확장될 수 있음을 보여주는 것.

실험 결과

연구 질문

• RQ1 이산 직교 웨이블릿 변환은 다중국소 양자 회로로서 효율적으로 구현될 수 있는가?
• RQ2 다중국소성은 양자 컴퓨터의 계산 능력, 특히 단방향 함수의 존재에 대해 어떤 영향을 미치는가?
• RQ3 어떻게 연속 양자 변환의 버전을 양자 회로를 통해 효율적으로 시뮬레이션할 수 있는가?
• RQ4 다중국소적 구조는 물리적으로 실현 가능한 양자 계산에 얼마나 필수적인가?
• RQ5 벡터화된 푸리에 및 웨이블릿 변환은 양자 컴퓨팅에서 연속 신호 처리 작업으로 일반화될 수 있는가?

주요 결과

• 순환군 위의 이산 푸리에 변환은 쇼어의 소인수분해 알고리즘의 핵심이며, 다중국소이므로 그룹 순서 m에 대해 log(m)의 다항수의 양자 게이트로 구현 가능하다.
• 다비치스 변환 D2n 포함 모든 표준 이산 직교 웨이블릿 변환은 다중국소임이 증명되었으며, 이는 양자 컴퓨터에서의 효율적 구현을 가능하게 한다.
• 양자 진동에서 다중국소성의 경미한 위반은 단방향 함수의 존재를 불가능하게 하며, 이는 다중국소성이 안전한 암호화를 위한 필수적인 물리 원칙임을 시사한다.
• 단위상 인코딩 방법을 통해 다항수의 양자 회로를 구성할 수 있으며, 이는 효율적으로 실행 가능한 벡터화된 구현을 가진 임의의 변환에 대해 연속 버전을 만들 수 있게 한다.
• 단위상 인코딩을 통한 연속 변환 근사화는 이산 변환과 동일한 회로 깊이를 유지하므로 연속 변환 출력의 효율적 샘플링이 가능하다.
• 양자 변환의 벡터화된 성격—함수 값들을 독립적인 기저 상태로 간주하는 것—은 순열에 의해 주기성이 유지됨을 의미하며, 이는 쇼어 알고리즘에서 핵심적으로 활용된 특징이다.