존스 다항식 근사화의 난이도

초록

본 논문은 비격자 주축근(특정 원근근)에서의 존스 다항식 V(L,t)의 값‑의존 근사화를 고려한다. 기존 양자 알고리즘이 제공하는 가산적 근사는 링크의 브릿지 수에 지수적으로 의존하는데, 저자는 이러한 근사가 #P‑hard임을 증명한다. 즉, 고정된 상수 a>b>0에 대해 |V(L,t)|>a 혹은 |V(L,t)|<b 를 판정할 수 있다면, 임의의 조합론적 방정식의 정확한 해의 개수를 다항식 시간에 셀 수 있다. 증명은 자유만, 라르센, 왕의 보편성 결과와 Aaronson의 PostBQP=PP 정리를 직접 연결한다.

상세 분석

존스 다항식 V(L,t)는 위상수학과 양자컴퓨팅 사이의 교량 역할을 하는 핵심 불변량이다. Freedman·Kitaev·Wang은 모든 주축근 t=exp(2πi/k) (k∈ℕ)에서 V(L,t)를 가산적으로 근사하는 양자 알고리즘을 제시했으며, 근사의 오차가 입력 링크의 브릿지 수 b에 대해 O(exp(−b)) 수준으로 감소한다는 점을 강조했다. 이는 실제 계산에서는 b가 작을 경우에만 실용적이다. 이후 Freedman·Larsen·Wang은 비격자(principal) 근, 즉 k가 5,6,10 등 특정 격자값이 아닌 경우에 이 알고리즘이 양자 보편성을 갖는다는 것을 보였다. 즉, 해당 근사기를 이용하면 임의의 양자 회로를 효율적으로 시뮬레이션할 수 있다.

Aharonov·Arad는 이 보편성을 “균일”하게 만들었는데, 입력 크기에 대해 다항식 시간 내에 동일한 정확도를 보장한다는 의미다. 이러한 배경 위에 본 논문은 “값‑의존” 근사, 즉 특정 상수 a와 b 사이의 구분을 할 수 있는 능력이 얼마나 강력한지를 분석한다. 핵심 아이디어는 PostBQP=PP 정리를 활용하는 것이다. PostBQP는 양자 계산 후 “post‑selection”을 허용하는 모델이며, Aaronson은 이 모델이 확률적 다항식 시간 클래스 PP와 동등함을 증명했다.

저자는 다음과 같은 귀류법을 전개한다. 가정: 어떤 고정된 a>b>0에 대해 |V(L,t)|>a 혹은 |V(L,t)|<b 를 다항식 시간에 판정할 수 있다. 이 가정 하에, 복잡도 이론에서 알려진 #P‑완전 문제(예: 3‑SAT의 만족 가능한 할당 수) 를 해당 판정기로 변환한다. 변환 과정은 기존의 양자 보편성 증명에서 사용된 “링크 인코딩” 기법을 차용한다. 구체적으로, 임의의 Boolean 회로를 토폴로지적으로 구현한 링크 L을 구성하고, 그 링크의 존스 다항식 값을 t에서 평가하면 회로의 출력 확률 분포와 일대일 대응한다. 따라서 |V(L,t)|가 a보다 큰 경우는 “출력이 1인 경우가 충분히 많다”는 의미가 되고, 반대로 b보다 작으면 “출력이 1인 경우가 거의 없다”는 의미가 된다. 이 두 경우를 구분함으로써 우리는 #P‑문제의 정확한 해를 얻을 수 있다.

결과적으로, 위의 가정이 참이라면 #P⊆P^NP, 즉 #P‑문제가 다항식 시간에 해결될 수 있게 된다. 이는 현재 복잡도 이론의 기본 가정과 충돌하므로, 원래 가정은 불가능함을 보인다. 따라서 비격자 주축근에서의 값‑의존 근사는 #P‑hard이며, 이는 “additive approximation”이 단순히 오차를 줄이는 수준을 넘어, 근본적인 복잡도 장벽을 마주하고 있음을 의미한다.

이 논문은 또한 양자 알고리즘의 한계와 가능성을 동시에 조명한다. 양자 컴퓨터가 존스 다항식을 근사함으로써 양자 우월성을 보일 수 있지만, 그 근사의 정확도가 입력 구조(브릿지 수)에 과도하게 의존한다는 점을 다시 한 번 확인시킨다. 또한, “post‑selection”이 허용될 경우 양자 계산이 PP와 동등해짐을 이용해 복잡도 이론과 위상수학 사이의 깊은 연결 고리를 드러낸다.