[논문 리뷰] Improved Low-qubit Hidden Shift Algorithms

Xavier Bonnetain|arXiv (Cornell University)|2019. 01. 31.

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

한 줄 요약

이 논문은 채ild스, 조, 수카레브의 양자 숨겨진 이동 알고리즘을 부분합 알고리즘을 통합하여 쿼리 및 시간 복잡도를 크게 감소시킨다. 이전 작업 대비 최대 4.5배의 요소로 양자 쿼리 비용을 감소시키는 핵심 결과를 달성하였으며, 특히 양자 쿼리, 고전적 시간, 메모리 간의 새로운 트레이드오프를 제공한다. 이는 양자 후 보안 응용 분야에서 이차 갭 가정 하에 유리하다.

ABSTRACT

Hidden shift problems are relevant to assess the quantum security of various cryptographic constructs. Multiple quantum subexponential time algorithms have been proposed. In this paper, we propose some improvements on a polynomial quantum memory algorithm proposed by Childs, Jao and Soukharev in 2010. We use subset-sum algorithms to significantly reduce its complexity. We also propose new tradeoffs between quantum queries, classical time and classical memory to solve this problem.

연구 동기 및 목표

• 아벨 군에서의 숨겨진 이동 문제에 대한 양자 쿼리 및 고전적 시간 복잡도를 감소시키는 것.
• 2010년 채일즈, 조, 수카레브가 제안한 양자 알고리즘의 개선 — 이는 양자 쿼리에서 $ L(\tfrac{1}{\tsqrt{2}}) $ 의 복잡도를 가진다.
• 특히 이차 갭 가정 하에서, 양자 쿼리, 고전적 시간, 고전적 메모리 간의 새로운 트레이드오프를 탐색하는 것.
• 숨겨진 이동의 난이도에 기반한 양자 후 암호 체계의 구체적 비용 영향을 평가하는 것.
• 부분합 알고리즘이 숨겨진 이동 알고리즘의 조합 루틴 최적화에 활용될 수 있는지 조사하는 것.

제안 방법

• 숨겨진 이동 알고리즘의 조합 루틴에 부분합 알고리즘을 통합하여 필요한 양자 쿼리 수를 감소시킨다.
• 쿼리와 고전적 시간 비용을 균형 잡기 위해 입력 크기 $ k_i = (i\alpha + \beta)\sqrt{n\log_2 n} $ 를 가진 일반화된 루틴 구조를 사용한다.
• $ L(c) $ 표기법을 사용하여 부분합 해결의 지수 $ c $ 를 기반으로 점근적 복잡도를 표현한다.
• 양자 쿼리 비용이 $ L(\sqrt{c/3}) $ 이고 고전적 시간이 $ L(2\sqrt{c/3}) $ 인 이차 갭 전략을 적용하며, 이는 그로버 알고리즘의 트레이드오프를 모방한다.
• 단일 루틴을 사용하여 $ O(n^2) $ 쿼리와 $ \widetilde{O}(2^{0.291n}) $ 고전적 시간을 달성함으로써 쿼리 수를 최적화하며, $ c < 0.5 $ 일 때 기존 고전적 알고리즘을 능가한다.
• 다항식 메모리 및 메모리 집약형 변형 모두에 이 방법을 적용하고, 쿠퍼버그 및 레제브의 이전 연구와 비교한다.

실험 결과

연구 질문

• RQ1 부분합 알고리즘을 사용하여 숨겨진 이동 문제의 양자 쿼리 복잡도를 감소시킬 수 있는가?
• RQ2 부분합 기법을 사용할 경우, 양자 쿼리, 고전적 시간, 고전적 메모리 간의 트레이드오프는 어떤가?
• RQ3 점근적 및 구체적 복잡도 측면에서 개선된 알고리즘은 이전의 양자 숨겨진 이동 알고리즘보다 어떻게 성능이 뛰어나게 되는가?
• RQ4 양자 쿼리 비용과 고전적 시간 비용 간의 이차 갭을 유지하면서도 지수적 복잡도를 유지할 수 있는가?
• RQ5 특히 $ c < 0.5 $ 일 경우, 개선된 알고리즘이 실제 환경에서 고전적 알고리즘을 능가하는가?

주요 결과

• 개선된 알고리즘은 $ L(\sqrt{c}) $ 로 양자 쿼리 비용을 감소시켰으며, 여기서 $ c $ 는 부분합 인스턴스를 해결하는 데 필요한 지수이다.
• 고전적 시간과 양자 쿼리 비용 간의 이차 갭을 확보함으로써, 알고리즘은 $ L(\sqrt{c/3}) $ 의 양자 쿼리 비용과 $ L(2\sqrt{c/3}) $ 의 고전적 시간을 달성한다.
• $ c = 0.291 $ 일 경우, 알고리즘은 $ \widetilde{O}(2^{0.291n}) $ 의 고전적 시간과 메모리를 달성하며, $ c < 0.5 $ 일 경우 고전적 완전 탐색보다 뛰어나다.
• 단일 루틴을 사용하여 $ O(n^2) $ 쿼리와 $ \widetilde{O}(2^{0.291n}) $ 고전적 시간을 달성함으로써, $ c < 0.5 $ 일 경우 기존에 알려진 최고의 고전적 알고리즘을 능가한다.
• 원래의 채일즈-조-수카레브 알고리즘 대비 쿼리 복잡도 지수를 최대 4.5배 감소시켰다.
• 특히 NIST의 보안 수준 1, 3, 5는 완전 탐색 가정에 기반하므로, 이 알고리즘은 양자 후 보안에 대해 향상된 트레이드오프를 제공한다.