선형광학을 이용한 영구함수의 P‑Hard 증명

초록

이 논문은 KLM(Knill‑Laflamme‑Milburn) 선형광학 양자 컴퓨팅 모델을 활용해 영구함수(permanent)의 #P‑Hard성을 새로운 방식으로 증명한다. 양자 회로의 보편성, 양자 진폭과 영구함수의 동등성, 그리고 포스트선택(postselection) 선형광학 회로가 보편적인 양자 계산을 시뮬레이션한다는 사실을 결합해, #P‑문제를 영구함수 계산으로 직접 환원한다.

상세 분석

논문은 먼저 전통적인 Valiant의 증명과 그 복잡성을 비판하며, 양자 컴퓨팅이 제공하는 “고수준 프로그래밍 언어”로서의 장점을 강조한다. 핵심은 세 가지 사실에 기반한다. (1) KLM 정리: 포스트선택된 선형광학 회로는 보편적인 양자 회로를 효율적으로 시뮬레이션한다. 여기서 “포스트선택”은 특정 광모드에서 광자 수를 측정하고 원하는 결과가 나올 때만 계산을 진행하는 과정을 의미한다. (2) 양자 회로의 진폭은 #P‑Hard한 양을 포함한다는 사실은 기존 연구(PP = PostBQP 등)에서 이미 알려져 있다. (3) n‑포톤 선형광학 회로의 전이 진폭은 n×n 행렬의 영구함수로 정확히 표현될 수 있다. 논문은 이 세 사실을 정교히 연결한다. 먼저, 임의의 #P‑문제(예: SAT) 인스턴스를 양자 회로 Q로 변환한다. Q는 1‑qubit 게이트와 CSIGN 게이트만을 사용하도록 설계되며, 이는 Barenco 등에 의해 보편성을 가짐이 증명된다. 그런 다음 KLM 변환 알고리즘을 적용해 Q를 포스트선택된 선형광학 회로 L로 변환한다. 변환 과정에서 각 CSIGN 게이트는 두 광모드에 대한 비선형 효과를 구현하는 “게이트”로 치환되고, 전체 회로는 다항 시간 내에 구성된다. L의 초기 상태는 |I⟩ = |0,1,0,1,…⟩ 형태이며, 최종 측정 전까지 모든 포스트선택은 연기된다. 이제 L의 전체 전이 진폭 ⟨I|ϕ(L)|I⟩는 영구함수 Per(U) 형태로 나타난다(여기서 U는 회로에 대응하는 m×m 유니터리 행렬이고, 영구함수는 광자들의 모든 가능한 매핑을 합산한 결과). 따라서 ⟨I|ϕ(L)|I⟩는 원래 #P‑문제의 해를 정확히 인코딩한다. 영구함수 계산이 이 진폭을 구하는 것과 동치이므로, 영구함수는 #P‑Hard임을 즉시 얻는다. 중요한 점은 이 환원이 Valiant의 “가젯” 기반 증명과 달리 사이클 커버와 같은 복잡한 조합론적 구조를 전혀 사용하지 않으며, 양자 회로와 선형광학의 물리적 의미를 그대로 이용한다는 것이다. 또한 포스트선택을 이용함으로써 KLM 정리의 강력한 보편성(전체 적응 측정까지) 대신, 더 약한 “포스트선택만으로도 충분”이라는 사실만을 사용해 증명을 간결하게 만든다. 논문은 이러한 접근이 다른 #P‑Hard 문제, 예를 들어 영구함수의 특수 경우나 다른 복잡도 클래스와의 관계에서도 확장 가능함을 제시한다. 마지막으로, 기존 복잡도 이론에서 양자 컴퓨팅을 활용한 증명들의 흐름을 정리하고, 본 증명이 그 흐름에 어떻게 새로운 시각을 제공하는지 논의한다.