[논문 리뷰] Near-linear constructions of exact unitary 2-designs

Richard Cleve, Debbie Leung외 2명|arXiv (Cornell University)|2015. 01. 19.

Quantum Computing Algorithms and Architecture참고 문헌 29인용 수 14

한 줄 요약

이 논문은 n 큐비트에 대한 정확한 유니터리 2-디자인을 위한 근선형 양자 회로 구축법을 제시한다. 확장된 리만 가설 하에 클리포드 게이트를 사용할 경우 O(n log n log log n) 게이트 복잡도를 달성하거나, 조건 없이 비클리포드 게이트를 사용할 경우 동일한 복잡도를 확보하며, 깊이가 로그 수준이다. 주요 기여는 이전의 정확하거나 근사적 구축법에 비해 회로 크기와 깊이를 제곱 수준의 장벽 이하로 낮춘 제곱 개선이다. 이는 오직 5n개의 랜덤 비트만으로 효율적이고 낮은 엔트로피 샘플링을 가능하게 한다.

ABSTRACT

A unitary 2-design can be viewed as a quantum analogue of a 2-universal hash function: it is indistinguishable from a truly random unitary by any procedure that queries it twice. We show that exact unitary 2-designs on n qubits can be implemented by quantum circuits consisting of ~O(n) elementary gates in logarithmic depth. This is essentially a quadratic improvement in size (and in width times depth) over all previous implementations that are exact or approximate (for sufficiently strong approximations).

연구 동기 및 목표

• 게이트 수와 깊이를 최소화하면서 정확한 양자 회로 구현 방식을 개발하는 것.
• 이전의 구축법이 지닌 O(n²) 장벽 이하로 정확한 유니터리 2-디자인의 양자 회로 크기와 깊이를 줄이는 것.
• 특히 O(n)의 난수 사용과 근선형 게이트 수를 확보하면서도 정확성을 유지하는 자원 사용의 근최적화를 이루는 것.
• 회로 깊이가 효율적이면서도 다항 시간 내에 고전적으로 샘플링 가능한 구축법을 제공하는 것.

제안 방법

• SL₂(GF(2ⁿ))의 구조를 활용하여, 코남드를 통한 파울리 혼합을 유도하는 랜덤 행렬을 생성한다.
• 상삼각, 하삼각, 열 파울리 혼합 연산의 혼합을 통해 균일한 파울리 분포를 달성한다.
• 확률적 절차를 적용: 확률 2ⁿ/(2ⁿ+1)로 상삼각 혼합 후 열 혼합을 수행하고, 확률 1/(2ⁿ+1)로 하드아드 변환 후 하삼각 혼합을 수행한다.
• GL₂(GF(2ⁿ)) 내의 랜덤 행렬에서 체계적인 매핑을 통해 클리포드 유니터리 연산을 구성함으로써 정확한 2-디자인 성질을 보장한다.
• 특히 GF(2ⁿ)에서의 제곱근 계산을 포함한 효율적인 유한체 산술을 활용하여, 다항 시간 내에 회로 매개변수를 고전적으로 샘플링한다.
• 빠른 컨volution 알고리즘을 사용해 회로를 로그 수준 깊이의 레이어로 구성함으로써, 낮은 깊이의 구현을 가능하게 한다.

실험 결과

연구 질문

• RQ1 정확한 유니터리 2-디자인을 게이트 수와 깊이가 n에 대해 거의 선형이 되도록 구성할 수 있는가?
• RQ2 정확한 유니터리 2-디자인을 구현하기 위해 필요한 최소한의 랜덤 비트 수는 얼마인가?
• RQ3 이러한 디자인은 효율적으로 고전적으로 샘플링할 수 있는가? 그리고 회로 기술서를 생성하는 데에 필요한 고전적 복잡도는 무엇인가?
• RQ4 상삼각, 하삼각, 열 혼합 연산이 어떻게 조합되어 전체 파울리 혼합을 달성하는가?
• RQ5 비클리포드 게이트가 필요 없이 클리포드 게이트만으로도 확장된 리만 가설 없이도 근선형 게이트 수를 달성할 수 있는가?

주요 결과

• 확장된 리만 가설을 가정할 경우, 무한히 많은 n에 대해 O(n log n log log n) 클리포드 게이트를 사용하여 정확한 유니터리 2-디자인을 구성한다.
• 모든 n에 대해 조건 없이 O(n log n log log n) 게이트(비클리포드 게이트 포함)를 사용하는 무조건적 구축법을 제시한다.
• 세 번째 구축법은 조건 없이 O(n log²n log log n) 클리포드 게이트만을 사용하며, O(log²n)의 회로 깊이를 확보한다.
• 모든 구축법은 오직 5n개의 랜덤 비트만을 사용하여, 정확한 2-디자인의 알려진 하한선과 정확히 일치한다.
• 첫 번째 및 두 번째 구축법의 회로 깊이는 O(log n), 세 번째의 경우 O(log²n)로, 거의 최적의 깊이를 달성한다.
• 회로 기술서를 위한 고전적 샘플링 과정은 다항 시간 내에 수행되며, 주로 GF(2ⁿ)에서의 제곱근 계산이 지배한다.