양자 알고리즘으로 푸는 부분합 문제: 가능성 및 한계

초록

본 논문은 양자 아서‑멀린 검증 회로와 유사한 휴리스틱을 이용해 부분합 문제를 해결하고, 특정 가정 하에 다항 시간 해결을 주장한다. 알고리즘은 회전 게이트로 합을 위상에 인코딩하고, 위상 추정과 진폭 증폭을 통해 목표 이하의 부분집합을 골라낸 뒤, 최대 합을 찾는다. 그러나 가정이 현실적이지 않으며, 구현 복잡도와 오류 분석이 부족해 실제 NP‑완전 문제에 대한 지수적 가속을 입증하기 어렵다.

상세 분석

본 논문은 부분합(Subset‑Sum) 문제를 양자 회로 설계와 진폭 증폭(Amplitude Amplification) 기법을 결합한 새로운 휴리스틱으로 접근한다. 핵심 아이디어는 각 원소 vₖ를 회전 게이트 Rₖ=diag(1, e^{i2πvₖ})에 매핑하고, 이들 게이트를 텐서곱하여 대각 유니터리 행렬 U를 만든 뒤, 위상 추정(Phase Estimation) 알고리즘을 적용해 모든 가능한 부분집합의 합을 위상 φ_j 로 인코딩한다. 이후 φ_j < W 인 경우만 “좋은(good)” 상태로 표시하고, Grover‑유형 진폭 증폭을 통해 이러한 상태들의 확률을 크게 만든다. 최종적으로 가장 큰 φ_j 를 찾기 위해 조건부 진폭 증폭과 측정을 반복한다.

논문은 두 가지 주요 가정을 전제로 한다. 첫 번째 가정은 목표값 W 이하의 부분합 개수 |L| 와 그 이상인 부분합 개수 |L’| 의 비율이 다항식(poly(n)) 수준이라는 것이다. 이는 “좋은” 상태가 전체 상태 공간에 비해 충분히 많이 존재한다는 의미이며, 이 경우 진폭 증폭에 필요한 반복 횟수가 O(poly(n)) 로 제한된다. 두 번째 가정은 최대 합 φ_max 를 이진 표현했을 때, 각 비트가 1 일 확률이 1/poly(n) 이상이라는 조건이다. 이는 측정 과정에서 특정 비트를 1 로 관측할 확률이 너무 작지 않음을 보장한다.

하지만 이러한 가정은 일반적인 부분합 문제에서는 거의 성립하지 않는다. 최악의 경우 W 가 전체 합의 절반 정도라면 |L| 은 2^{n‑1} 수준으로, |L’|/|L| 은 상수에 가까워 다항식 비율 가정이 깨진다. 또한 φ_max 의 비트 확률 가정은 입력이 균등하게 분포된 경우에만 근사적으로 성립한다는 점에서, 실제 NP‑완전 인스턴스에 적용하기엔 제한적이다.

알고리즘 구현 측면에서도 몇 가지 미비점이 있다. 위상 추정을 위해서는 U^{2^j} 를 구현해야 하는데, 이는 회전 각도가 vₖ·2^j 로 급격히 커지면서 높은 정밀도의 게이트가 필요하다. 즉, 회전 게이트를 정확히 구현하려면 지수적인 양의 회로 깊이가 요구될 가능성이 크다. 또한 진폭 증폭 단계에서 “좋은” 상태를 구분하는 오라클 F_φ 를 구현하려면 φ_j < W 인지를 판단하는 비교 회로가 필요하며, 이는 전체 위상 값을 정밀히 읽어야 하므로 추가적인 양자 연산 비용이 발생한다.

복잡도 분석에서는 |L| 이 다항식 크기라고 가정할 때 전체 절차가 O(poly(n)) 라고 주장하지만, 실제로는 위상 추정의 정밀도 m (보통 O(log W)) 와 진폭 증폭 반복 횟수 O(√(2^n/|L|)) 가 결합되어 전체 복잡도가 지수적으로 증가할 여지가 있다. 논문은 이러한 최악 상황을 충분히 고려하지 않았으며, 오류 전파와 양자 디코히런스에 대한 논의도 부재하다.

결론적으로, 제안된 알고리즘은 양자 회전 게이트와 위상 추정, 진폭 증폭을 조합한 흥미로운 구조를 보여주지만, 핵심 가정이 현실적인 입력 분포에 크게 의존하고, 구현 복잡도와 오류 모델을 무시하고 있다. 따라서 현재 형태로는 일반적인 부분합 문제에 대한 지수적 속도 향상을 보장하지 못한다는 것이 가장 큰 한계이다.