[논문 리뷰] Efficient Quantum Modular Arithmetics for the ISQ Era

Parfait Atchade-Adelomou, Saúl González|arXiv (Cornell University)|2023. 11. 14.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 중간 규모 양자(ISQ) 장치에 특화된 모듈로 산술—덧셈, 곱셈, 거듭제곱—을 최적화한 양자 회로를 제시한다. 가역적이고 메모리에 직접 작용하는 연산을 활용하고 반복적 양자 위상 추정(IQPE)을 통합함으로써, 모듈로 지수 연산자에서 큐비트 수를 3n에서 2n+2로 줄여 현재 하드웨어 제약 조건 내에서 쇼어 알고리즘의 주기 탐색 서브루틴을 효율적으로 구현할 수 있도록 한다.

ABSTRACT

As we venture into the Intermediate-Scale Quantum (ISQ) era, the proficiency of modular arithmetic operations becomes pivotal for advancing quantum cryptographic algorithms. This study presents an array of quantum circuits, each precision-engineered for modular arithmetic functions critical to cryptographic applications. Central to our exposition are quantum modular adders, multipliers, and exponential operators, whose designs are rigorously optimized for ISQ devices. We provide a theoretical framework and practical implementations in the PennyLane quantum software, bridging the gap between conceptual and applied quantum computing. Our simulations validate the efficacy of these methodologies, offering a strategic compass for developing quantum algorithms that align with the rapid progression of quantum technology.

연구 동기 및 목표

• ISQ 시대의 양자 하드웨어에 맞게 설계된 종합적이고 효율적인 양자 모듈로 산술 연산자에 대한 구현 부족 문제를 해결한다.
• 보조 큐비트 레지스터를 피하기 위해, 메모리에 직접 작용하는 가역적 모듈로 연산자 설계를 통해 양자 회로의 큐비트 오버헤드를 줄인다.
• 자원 사용을 최소화하면서도 정확성을 유지하는 조건에서 쇼어 알고리즘에 사용할 수 있도록 모듈로 지수 연산자를 최적화한다.
• 주요 양자 컴퓨팅 프레임워크와 호환되는 포터블한 형식으로, 펜니레인(PennyLane)에서 실행 가능한 실제 양자 회로를 제공한다.
• 근미래의 양자 장치에서의 실제 구현과 이론적 양자 알고리즘 간 격차를 메운다.

제안 방법

• 보조 큐비트 레지스터를 제거하기 위해 제어된 모듈로 연산을 사용하여 가역적이고 메모리에 직접 작용하는 양자 모듈로 덧셈기와 곱셈기를 설계한다.
• 초위상 상태를 추정할 수 있도록 히드로우 게이트를 사용한 중첩과 역수 양자 푸리에 변환(QFT⁻¹)을 통합하여 모듈로 지수 연산자를 구현한다.
• 큐비트 수를 3n에서 2n+2로 줄이기 위해 반복적 양자 위상 추정(IQPE)을 적용하여 자원 요구량을 크게 낮춘다.
• 모듈로 지수 연산자와 히드로우 게이트, QFT⁻¹ 연산을 조합하여 쇼어 알고리즘의 주기 탐색 회로를 구성한다.
• 모든 회로를 펜니레인(PennyLane)으로 구현하고, 빅엔디안 큐비트 인코딩을 사용하여 주요 양자 컴퓨팅 프레임워크와의 호환성을 확보한다.
• 모의 실험을 통해 설계의 정확성과 효율성을 검증하여, ISQ 기반 하드웨어 제약 조건에서의 적합성을 입증한다.

실험 결과

연구 질문

• RQ1 ISQ 시대의 양자 컴퓨터에서 큐비트 사용을 최소화하기 위해 양자 모듈로 산술 연산을 어떻게 최적화할 수 있는가?
• RQ2 제한된 큐비트 수 조건에서 쇼어 알고리즘에 사용할 모듈로 지수 연산자를 가장 효율적으로 어떻게 구현할 수 있는가?
• RQ3 반복적 양자 위상 추정(IQPE)이 양자 산술 회로의 큐비트 오버헤드를 어느 정도 줄일 수 있는가?
• RQ4 반복적 양자 알고리즘에서 보조 큐비트 레지스터를 피하기 위해, 메모리에 직접 작용하는 가역적 양자 연산을 체계적으로 어떻게 설계할 수 있는가?
• RQ5 양자 모듈로 산술에서 가역성, 회로 깊이, 큐비트 효율성 간의 실용적 트레이드오프는 무엇인가?

주요 결과

• 제안된 모듈로 지수 연산자는 반복적 양자 위상 추정(IQPE)을 적용하여 큐비트 수를 3n에서 2n+2로 줄여 자원 효율성을 크게 향상시켰다.
• 설계는 히드로우 게이트와 QFT⁻¹를 사용하여 지수 연산자를 쇼어 알고리즘의 핵심 주기 탐색 서브루틴으로 성공적으로 변환하였다.
• 모든 양자 회로는 빅엔디안 인코딩을 사용하여 펜니레인(PennyLane)에 구현되어 주요 양자 컴퓨팅 플랫폼 간의 포터블성과 호환성을 확보하였다.
• 모의 실험 결과로 제안된 회로의 정확성과 효율성이 확인되었으며, 근미래의 양자 하드웨어에 적합함을 입증하였다.
• 최적화된 모듈로 덧셈기와 곱셈기 회로는 완전한 가역성과 메모리에 직접 작용하는 특성을 확보하여 반복적 알고리즘에서 보조 큐비트 레지스터가 필요 없음을 입증하였다.
• 공개된 GitHub 리포지토리에서 사용자 및 커뮤니티의 확장과 활용이 가능한 종합적인 실행 가능한 도구 키트를 제공한다.