다중쿼리 양자 합산 알고리즘의 새로운 한계

초록

이 논문은 길이 n 인 ℤₖ 값 문자열의 합을 구하는 문제를 다루며, n − r 개의 얽힌 양자 쿼리를 이용해 최악의 경우 성공 확률을 min{⌊n/r⌋/k, 1} 으로 달성한다. 알고리즘은 순차적·적응적 쿼리 방식을 사용하지만, 전통적인 진폭 증폭과는 다른 구조를 갖는다. 또한 결과값이 실제 합과 ⌊kr/2n⌋ 이내에 있을 확률이 4/π² 이상임을 보인다.

상세 분석

논문은 먼저 고전적인 PARITY 문제를 회고하고, 비트 문자열의 경우 n 개의 고전 쿼리가 필요하지만 양자에서는 ⌈n/2⌉ 개의 쿼리만으로 정확히 해결할 수 있음을 상기한다. 이를 ℤₖ‑값 문자열의 합을 구하는 일반화된 SUM 문제로 확장한다. 핵심은 “Uselessness 정리”로, 2 q 개의 고전 쿼리가 무의미하면 q 개의 양자 쿼리도 무의미하므로, ⌊(n−1)/2⌋ 개의 양자 쿼리는 쓸모없다. 따라서 더 많은 쿼리를 사용해야 한다는 동기가 생긴다.

저자는 먼저 k=3, n=2,3인 경우를 구체적으로 분석한다. 두 트리트(3진수) 합을 한 번의 양자 쿼리로 2/3 확률에 성공시키는 방법을 제시하고, n=3, k=3인 경우 두 번의 양자 쿼리로 확률 1에 합을 정확히 구한다. 여기서 사용된 핵심 기술은 얽힌 초기 상태와 특수한 유니터리 변환 K, J₁, Jᵣ 등을 적용해 각 쿼리 후 상태의 위상 정보를 합산값에 직접 연결시키는 것이다.

그 다음 두 보조 정리를 제시한다. Lemma 3은 특정 위상 상태 |Aₛ⟩를 측정했을 때 성공 확률이 s/k이며, 오차 범위 ⌊k/2s⌋ 이내에 있을 확률이 최소 4/π²임을 보인다. Lemma 4는 n을 r으로 나눈 블록 구조를 이용해 각 컴포넌트가 n−r개의 함수값에만 의존하도록 상태를 재구성할 수 있음을 증명한다.

이 두 정리를 결합해 일반적인 n, k, r에 대해 알고리즘을 설계한다. 초기에는 |r⟩⊗|ω¹⟩ + … 형태의 얽힌 상태를 만든 뒤, K·(X⊗I)·O_f·…·Jᵣ·(X⊗I)·O_f·… 의 순서로 n−r 번의 쿼리를 수행한다. 최종적으로 얻는 Cₖ 텐서 부분은 Lemma 3의 형태가 되므로, 측정하면 합을 최소 s/k = ⌊n/r⌋/k 확률로 정확히 얻는다. 또한 측정값이 실제 합과 ⌊kr/2n⌋ 이내에 있을 확률이 4/π² 이상임을 보인다.

성공 확률이 1에 도달하는 경우는 r ≤ n/k 인 경우이며, 이때는 블록당 k−1 개의 쿼리만으로 전체 합을 완전히 복원한다. 반대로 r이 크게 되면 성공 확률은 1/k 에 수렴한다. 저자는 이 알고리즘이 현재 알려진 방법 중 최적에 가깝다고 주장하지만, r=n−1, 즉 단일 쿼리 경우에만 엄밀히 증명하였다.

마지막으로 van Dam의 전통적인 함수 복원 알고리즘을 일반화한 정리와 비교한다. van Dam 알고리즘은 n/2+O(√n) 개의 쿼리로 전체 함수를 고확률로 식별하고, 따라서 합을 구하는 데에도 사용될 수 있다. 그러나 이 방법은 전체 함수를 복원하려는 비용이 크므로, 본 논문의 알고리즘이 동일한 쿼리 수에서 더 높은 성공 확률을 제공한다는 점을 강조한다. 전체적으로 이 논문은 양자 쿼리 복합성을 최소화하면서도 합산 문제에 대한 강력한 확률적 보장을 제공하는 새로운 프레임워크를 제시한다.