근사 카운팅과 양자 계산

초록

본 논문은 BQP와 GapP 사이의 관계를 이용해, BQP에 속하는 함수를 근사적으로 더하기 방식으로 평가할 수 있는 스킴을 제시한다. 저자는 #P와 GapP에 속하는 모든 함수가 적절한 정규화 하에 이러한 근사 스킴을 가짐을 증명하지만, Jones 다항식의 5차 근원에서의 근사값이 실제로 이 스킴에 포함되는지는 아직 확인하지 못했다. 마지막으로 몇 가지 열린 문제를 제시한다.

상세 분석

이 논문은 양자 복잡도 클래스 BQP와 전통적인 카운팅 클래스인 #P·GapP 사이의 미묘한 연결 고리를 탐구한다. 기존 연구에서 알려진 바와 같이, Jones 다항식의 5차 근원에서의 근사값을 구하면 BQP 알고리즘의 양자 부분을 시뮬레이션할 수 있다는 사실은 양자 알고리즘이 전통적인 카운팅 문제와 얼마나 깊게 얽혀 있는지를 보여준다. 저자는 이러한 관점을 일반화하기 위해 “additive approximation”이라는 새로운 근사 개념을 도입한다. 여기서 함수 f에 대한 근사 스킴은 입력 x와 정규화 상수 C(x)를 받아, f(x)/C(x) 를 ε-오차 범위 내에서 확률적으로 추정하는 알고리즘을 의미한다. 핵심은 C(x)가 입력 크기에 따라 다항식적으로 성장하도록 선택함으로써, 추정값이 의미 있는 범위에 머무르게 하는 것이다.

논문은 먼저 #P와 GapP에 속하는 모든 함수가 이러한 스킴을 만족한다는 정리를 증명한다. 증명은 두 단계로 나뉜다. 첫째, #P 함수는 비결정적 튜링 기계의 수용 경로 수와 직접적으로 연관되므로, 경로 수를 무작위 샘플링하고 그 비율을 추정함으로써 근사값을 얻을 수 있다. 둘째, GapP 함수는 두 #P 함수의 차이로 표현될 수 있기 때문에, 각각을 독립적으로 근사한 뒤 차이를 취하면 전체 함수에 대한 근사값을 얻는다. 이 과정에서 마르코프 부등식과 체비쉐프 부등식을 활용해 오류 확률을 다항식 수준으로 억제한다.

하지만 논문의 핵심 동기인 Jones 다항식 평가 문제는 아직 이 프레임워크에 완전히 들어맞지 않는다. Jones 다항식은 복소수값을 갖고, 특히 5차 근원에서의 값은 복소수 단위 원 위에 위치한다. 따라서 실수 정규화만으로는 충분하지 않을 가능성이 있다. 저자는 현재의 정규화 기법이 복소수값을 다루는 데 한계가 있음을 인정하고, 복소수 정규화 혹은 다른 형태의 근사 정의가 필요할 수도 있음을 제시한다.

마지막으로 논문은 몇 가지 중요한 열린 문제를 제시한다. 첫째, Jones 다항식 평가가 실제로 GapP‑complete인지, 혹은 더 강한 복잡도 클래스로 귀속되는지 여부; 둘째, 복소수값 함수를 다루는 일반적인 additive approximation 스킴의 존재 여부; 셋째, 이러한 근사 스킴을 이용해 BQP‑complete 문제들을 고전적인 알고리즘으로 효율적으로 시뮬레이션할 수 있는지 여부 등이다. 이러한 질문들은 양자 복잡도 이론과 전통적인 카운팅 이론 사이의 교량을 더욱 견고히 하는 데 핵심적인 역할을 할 것으로 기대된다.