[논문 리뷰] An Optimized Quantum Implementation of ISD on Scalable Quantum Resources

André Esser, Sergi Ramos-Calderer외 3명|arXiv (Cornell University)|2021. 12. 12.

Quantum Computing Algorithms and Architecture인용 수 6

한 줄 요약

이 논문은 프랑제의 정보집합 디코딩(ISD) 알고리즘의 최적화된 양자 회로 구현을 처음으로 제시하며, 고전적 버전과 비교해 깊이 상수(logarithmic depth)의 오버헤드만을 가지는 것으로 보여준다. 고전-양자 혼합 전략을 도입해, 양자 속도 향상을 유지하면서도 가용한 수준의 큐비트 요구량을 any로 줄일 수 있도록 하며, 최적의 큐비트 감소 조건에서 시간 지수 t(δ) ≈ 0.69를 달성한다. 이는 ISD 알고리즘이 이전에 우려되었던 것보다 양자 컴퓨터에서 더 효율적임을 보여준다.

ABSTRACT

The security of code based constructions is usually assessed by Information Set Decoding (ISD) algorithms. In the quantum setting, amplitude amplification yields an asymptotic square root gain over the classical analogue. However, it is still unclear whether a real quantum circuit could yield actual improvements or suffer an enormous overhead due to its implementation. This leads to different considerations of these quantum attacks in the security analysis of code based proposals. In this work we clarify this doubt by giving the first quantum circuit design of the fully-fledged ISD procedure, an implementation in the quantum simulation library Qibo as well as precise estimates of its complexities. We show that against common belief, Prange's ISD algorithm can be implemented rather efficiently on a quantum computer, namely with only a logarithmic overhead in circuit depth compared to a classical implementation. As another major contribution, we leverage the idea of classical co-processors to design hybrid classical-quantum trade-offs, that allow to tailor the necessary qubits to any available amount, while still providing quantum speedups. Interestingly, when constraining the width of the circuit instead of its depth we are able to overcome previous optimality results on constraint quantum search.

연구 동기 및 목표

• 양자 구현에서 ISD가 금지된 오버헤드를 초래하는지 아니면 실제 속도 향상이 이루어지는지에 대한 불확실성을 해소하기 위해.
• 정확한 복잡도 추정을 포함해, 프랑제의 ISD 알고리즘을 위한 완전한 기능성 있는 양자 회로 설계를 위해.
• 근접한 양자 하드웨어에 적합하도록 ISD의 큐비트 요구량을 줄이되, 양자 속도 향상을 유지하기 위해.
• 큐비트 수와 런타임 간의 조절 가능한 트레이드오프를 허용하는 하이브리드 고전-양자 알고리즘 개발을 위해.

제안 방법

• Qibo에서의 양자 시뮬레이션을 사용해 프랑제의 ISD에 대한 전체 양자 회로 설계를 수행하고, 깊이 및 폭 분석을 상세히 수행.
• 다중 제어 게이트 분해 및 깊이 상수 오버헤드를 갖는 가우스 소거법을 통한 회로 깊이 최적화.
• 큐비트 감소 기법을 사용해 회로 폭을 줄여, 자원 제한된 양자 장치에서의 구현 가능성을 확보.
• 검색 공간을 분할하고, 더 작은 부분집합에 대해 그로버 알고리즘을 적용하는 하이브리드 고전-양자 공처리 전략 도입.
• BIKE/HQC에서의 리-브릭셀 개선 및 순환성 활용으로, 그로버 반복 수와 회로 깊이를 감소.
• 재현 가능성과 실제 하드웨어로의 전환 가능성을 위해 기능성 있는 Qibo 구현 제공.

실험 결과

연구 질문

• RQ1 프랑제의 ISD 알고리즘은 고전적 실행과 비교해 깊이 상수 오버헤드만을 가지는 양자 컴퓨터에서 효율적으로 실행될 수 있는가?
• RQ2 모든 서브루틴(가우스 소거법, 진폭 증폭 등)을 포함한 전체 ISD 절차의 실제 양자 회로 복잡도는 어떠한가?
• RQ3 근접한 양자 하드웨어에 적합하도록 큐비트 요구량을 줄일 수 있는 방법은 무엇이며, 양자 속도 향상을 포기하지 않도록 할 수 있는가?
• RQ4 큐비트 수나 깊이 제약 조건 하에서, 하이브리드 고전-양자 아키텍처가 순수 양자 접근 방식보다 우월한가?
• RQ5 리-브릭셀 개선 및 순환성과 같은 고급 최적화 기법은 그로버 반복 수와 회로 깊이를 상당히 감소시키는가?

주요 결과

• 프랑제의 ISD에 대한 양자 회로는 고전적 구현과 비교해 깊이 상수 오버헤드만을 가지며, 과도한 양자 오버헤드에 대한 우려를 반박한다.
• 폭 최적화된 회로는 (n−k)k 비트만으로 패리티체크 행렬 H를 저장하고, 약 n−k개의 보조 큐비트만을 필요로 하여, 근접한 장치에서의 실현 가능성을 보여준다.
• 하이브리드 고전-양자 트레이드오프를 통해, 양자 속도 향상을 유지하면서도 가용한 모든 수준의 큐비트 수로 조절 가능하며, δ = 0.2 감소 조건에서 시간 지수 t(δ) ≈ 0.69를 달성한다.
• 작은 큐비트 감소 조건(δ = 0.01)에서도 여전히 t(δ) ≈ 0.92의 속도 향상을 달성하여, 근접한 양자 시스템에 실용적인 관련성을 보여준다.
• BIKE/HQC에서의 리-브릭셀 개선 및 순환성은 그로버 반복 수를 감소시켜, 깊이 제약 조건 하에서 회로 깊이를 낮추고 효율성을 향상시킨다.
• 기능성 있는 Qibo 구현이 제공되어 시뮬레이션과 실제 하드웨어로의 전환 가능성을 명확히 한다.