[논문 리뷰] Quantum searching a classical database (or how we learned to stop worrying and love the bomb)

Terry Rudolph, Lov K. Grover외 1명|ArXiv.org|2002. 06. 11.

Quantum Computing Algorithms and Architecture인용 수 14

한 줄 요약

이 논문은 마킹된 항목이 상호작용 시 광자를 파괴하는 것으로 모델링된 고전 데이터베이스에서 단일 광자를 사용하여 마킹된 항목을 탐색하는 양자 검색 알고리즘을 제시한다. 상호작용 없는 측정(IFM)을 그로버 유사 검색의 서브루틴으로 통합함으로써, 낮은 에너지 소비로도 높은 성공 확률을 달성하며, 비유니터리 연산이 양자 계산에서 효과적으로 활용될 수 있음을 보여주고, 특정 쿼리 영역에서는 고전적 검색을 능가한다.

ABSTRACT

We show how to perform a quantum search for a classical object, specifically for a classical object which performs no coherent evolution on the quantum computer being used for the search. We do so by using interaction free measurement as a subroutine in a quantum search algorithm. In addition to providing a simple example of how non-unitary processes which approximate unitary ones can be useful in a quantum algorithm, our procedure requires only one photon regardless of the size of the database, thereby establishing an upper bound on the amount of energy required to search an arbitrarily large database. Alternatively, our result can be interpreted as showing how to perform an interaction free measurement with a single photon on an arbitrarily large number of possible bomb positions simultaneously. We also provide a simple example demonstrating that in terms of the number of database queries, the procedure outlined here can outperform the best classical one.

연구 동기 및 목표

• 상호작용 없는 측정(IFM)이 고전 데이터베이스를 위한 양자 검색 알고리즘의 서브루틴으로 어떻게 사용될 수 있는지 보여주는 것.
• 단일 광자가 임의로 큰 고전 데이터베이스를 탐색할 수 있으며, 이를 통해 필요한 에너지의 최소 상한선을 설정하는 것.
• 쿼리 효율성 측면에서 양자 알고리즘이 고전적 검색을 능가하는 구체적인 사례를 제공하는 것.
• 일관된 양자 계산에서 유니터리 진동을 점점 가까이 다가가는 비유니터리 과정의 유용성을 설명하는 것.
• 양자 검색이 고전 데이터베이스에 적용되는지에 대한 논쟁을 해결하기 위해, 광자를 일관되게 진동시키지 않는 산란체(예: 폭탄)로 고전적 물체를 정의하는 것.

제안 방법

• 알고리즘은 N개의 공간 모드에 대해 초기화된 단일 수평 편광 광자를 사용하며, 각 모드는 데이터베이스 항목을 나타낸다.
• 각 모드는 스위치 가능한 거울과 편광 회전기로 구성된 상호작용 없는 측정(IFM) 설정과 결합되며, 광자는 폭탄(마킹된 항목)이 있는지 탐지하기 위해 M회의 작은 사이클을 거친다.
• 폭탄이 없으면 광자는 유니터리하게 진화하고, 폭탄이 있으면 광자를 흡수할 수 있으며(확률 sin²θ), 상태는 |H⟩로 붕괴된다.
• M회의 작은 사이클을 거친 후, 광자 상태는 탐지되지 않은(폭발하지 않은) 분지로 후선택되어, 마킹되지 않은 모드를 선호하는 수정된 진폭 분포를 얻는다.
• 그런 다음, 광자는 빔스플리터의 일련의 조작을 통해 '평균에 대해 반전' 연산을 수행하며, 이는 그로버의 확산 단계를 모방한다.
• 누적 성공 확률은 P(k) = ∏ᵢ₌₁ᵏ(1 − τ⁽ⁱ⁻¹⁾²(1 − cos²ᴹθ))로 제어되며, 이는 큰 M과 k = O(√N)일 때 점점 1에 수렴한다.

실험 결과

연구 질문

• RQ1 마킹된 항목이 상호작용 시 광자를 파괴하는 고전 데이터베이스에서, 단일 광자로 마킹된 항목을 탐색할 수 있는가?
• RQ2 상호작용 없는 측정(IFM)을 양자 검색 프레임워크에 통합하여 상호작용을 최소화하면서도 높은 성공 확률을 유지할 수 있는가?
• RQ3 양자 알고리즘에서 비유니터리이지만 점점 유니터리 진동에 수렴하는 과정을 사용할 경우, 쿼리 복잡도 측면에서 고전적 검색보다 계산적 이점을 얻을 수 있는가?
• RQ4 소수의 쿼리로 제한된 상황에서 단일 광자 검색 알고리즘이 고전적 검색을 능가할 수 있는가?
• RQ5 임의로 큰 고전 데이터베이스를 양자 수단으로 탐색할 때 필요한 최소 에너지는 얼마인가?

주요 결과

• N=4 및 한 번의 쿼리에서, 알고리즘은 56.25%의 성공 확률을 달성하며, 고전적 방법의 25%를 초월한다.
• N=15 및 세 번의 쿼리에서, 알고리즘은 약 26%의 성공 확률을 달성하며, 고전적 방법의 20%를 능가한다.
• M = O(k) 및 k = O(√N일 때 알고리즘의 성공 확률은 1에 수렴하며, 누적 폭발 방지 확률은 cos²ᵏᴹθ로 아래에서 유계이다.
• M이 작을 때 타겟 상태의 진폭 τ⁽ᵏ⁾은 진동하지 않고 포화 상태에 도달하며, 이는 φ가 허수에서 실수로 변할 때 진동에서 비진동 진화로의 전이를 나타낸다.
• 알고리즘이 비유니터리 과정이지만 유니터리 진동을 점점 가까이 다가가는 방식으로 일관된 양자 계산에 효과적으로 활용될 수 있음을 보여준다.
• 이 방법은 N과 관계없이 어떤 크기의 고전 데이터베이스를 탐색하는 데 필요한 에너지의 단일 광자 상한선을 설정한다.