[논문 리뷰] Quantum Arithmetic on Galois Fields

Stéphane Beauregard, Gilles Brassard외 1명|ArXiv.org|2003. 01. 29.

Quantum Computing Algorithms and Architecture인용 수 19

한 줄 요약

이 논문은 기약체 GF(p), GF(2^k), GF(p^k)에서의 제어 곱셈을 위한 명시적 양자 회로 설계를 제시하며, 캐리-섬 방식과 QFT 기반(phi-adder) 방식을 모두 사용한다. 이러한 연산에 대한 정밀한 자원 한계— 큐비트 수, 게이트 수, 회로 깊이—를 유도하여, 유한체에서 쇼어의 알고리즘을 구현하고 이산 로그 문제를 양자 컴퓨터에서 해결하기 위한 정확한 자원 추정을 가능하게 한다.

ABSTRACT

In this paper we discuss the problem of performing elementary finite field arithmetic on a quantum computer. Of particular interest, is the controlled-multiplication operation, which is the only group-specific operation in Shor's algorithms for factoring and solving the Discrete Log Problem. We describe how to build quantum circuits for performing this operation on the generic Galois fields GF($p^k$), as well as the boundary cases GF($p$) and GF($2^k$). We give the detailed size, width and depth complexity of such circuits, which ultimately will allow us to obtain detailed upper bounds on the amount of quantum resources needed to solve instances of the DLP on such fields.

연구 동기 및 목표

• 기약체에서의 제어 곱셈을 위한 상세한 양자 회로 구현을 제공하여 쇼어의 알고리즘에 필수적이다.
• 기약체 GF(p), GF(2^k), GF(p^k)에서의 산술 연산에 대한 양자 자원 요구사항—큐비트, 게이트, 깊이—를 분석하고 정량화한다.
• 이러한 필드에서 양자 알고리즘을 사용해 이산 로그 문제를 해결하는 데 드는 비용에 대한 정확한 상한을 제공한다.
• 캐리-섬 애드어(큐비트 효율적)와 피-애드어(QFT를 통한 게이트 효율적)의 두 접근 방식을 비교한다.

제안 방법

• GF(p) 및 GF(p^k)에서의 모듈로 덧셈에 캐리-섬 애드어를 사용하며, 보조 큐비트를 재사용하여 큐비트 수를 최소화한다.
• 양자 푸리에 변환(QFT) 기반의 피-애드어를 사용하여 추가 캐리 큐비트 없이 모듈로 덧셈을 수행하며, 이는 제어된 위상 게이트와 하다드 게이트의 추가 비용을 수반한다.
• 두 제어 큐비트를 사용한 제어 모듈로 덧셈-곱셈 연산을 반복하여 제어 곱셈 회로를 구성한다.
• 제어 곱셈을 완성하기 위해 덧셈-곱셈 연산의 역연산을 적용하여, 세 단계의 순서인 덧셈-곱셈, 스왑, 역연산 덧셈-곱셈을 형성한다.
• GF(p^k)로의 확장을 위해 다항식 기저 표현에서 각 계수에 대해 모듈로 감소를 적용하며, GF(p)에서의 k개의 병렬 애드어를 사용한다.
• 게이트 유형인 C^kN, CP, P, H, N의 기호적 분석을 통해 각 회로 변종의 복잡도 지표(큐비트 수, 게이트 수, 깊이)를 도출한다.

실험 결과

연구 질문

• RQ1 GF(p)에서 제어 곱셈을 수행할 때 정확한 양자 자원 비용—큐비트 수, 게이트 수, 깊이—는 얼마인가?
• RQ2 GF(2^k) 및 GF(p^k)에서 캐리-섬 방식과 피-애드어 방식을 큐비트 효율성과 게이트 수 측면에서 어떻게 비교할 수 있는가?
• RQ3 k > 1 이고 p > 2 인 GF(p^k)에서 제어 곱셈에 대한 확장 가능한 자원 한계는 무엇인가?
• RQ4 기약체에서의 모듈로 산술은 쇼어의 알고리즘에 재사용 가능한 양자 서브루틴으로 어떻게 분해할 수 있는가?
• RQ5 제어 곱셈 회로를 통해 쇼어의 알고리즘의 모듈로 지수화 블랙박스를 최소한의 오버헤드로 어떻게 구현할 수 있는가?

주요 결과

• GF(2^k)의 경우, 제어 곱셈 회로는 2k+1 큐비트, (k² + k) 개의 C²N 게이트, 2k 개의 CN 게이트를 사용하며, 깊이는 k² + k + 2이다.
• p가 소수인 GF(p)의 경우, 제어 곱셈 회로는 2n+1 큐비트, (n²/2) 개의 C²N 게이트를 필요로 하며, 깊이는 n²/2이다. 여기서 n은 p의 비트 길이다.
• 캐리-섬 애드어를 사용한 GF(p^k)의 경우, 제어 곱셈 회로는 2n + k + ⌈lg(p)⌉ + 1 큐비트를 사용하며, 게이트 수는 주로 6nk 개의 C⁴N 게이트로 지배되며, 깊이는 55n² - 57nk + n + 2이다.
• 피-애드어를 사용한 GF(p^k)의 경우, 제어 곱셈 회로는 단지 2n+3 큐비트를 사용하지만, 6n² 개의 C²P 게이트와 깊이 32n² + 22nk + n + 2를 요구하여 게이트 비용이 더 높다.
• 피-애드어 방식은 캐리 큐비트를 제거하여 큐비트 사용을 줄이지만, QFT 및 역QFT 오버헤드로 인해 게이트 수가 증가한다.
• 논문은 쇼어의 알고리즘이 기약체에서 이산 로그 문제를 해결하는 데 드는 자원 비용이 제어 곱셈 회로의 복잡도에 직접적으로 좌우되며, 이제는 정확히 정량화되었음을 규명한다.