가우르비츠 영구수 근사 알고리즘의 일반화와 비난수화

초록

가우르비츠가 제시한 영구수 근사 알고리즘을 두 가지 측면에서 확장한다. 첫째, 행·열이 중복된 경우에 더 정확한 근사를 제공하도록 일반화하고, 이를 통해 양자광학 실험에서 “뭉친” 광자들의 확률을 클래식하게 추정한다. 둘째, ε‑편향 집합을 이용해 무작위성을 없애고, 복소수 ε‑편향 집합을 새롭게 구성해 비음수 행렬에 대해 완전 비난수화된 알고리즘을 만든다. 일반 행렬에 대한 비난수화는 아직 미해결이다.

상세 분석

가우르비츠의 원래 알고리즘은 임의의 n×n 복소수 행렬 A에 대해 O(n²/ε²) 시간 안에 |Per(A)−Ĥ| ≤ ε·‖A‖ⁿ 형태의 절대 오차를 보장한다. 이때 ‖A‖는 행렬 원소의 최대 절댓값을 의미한다. 논문은 첫 번째로, 양자광학에서 흔히 나타나는 “중복 행·열” 구조—즉, 동일한 광자 모드가 여러 번 등장하는 경우—에 특화된 개선을 제시한다. 행이나 열이 k번 반복될 경우, 기존 알고리즘은 여전히 n에 대한 복잡도를 유지하지만, 실제 영구수 값은 중복 구조에 의해 크게 감소한다. 저자들은 다중 행·다중 열 상황을 다루는 새로운 확률적 샘플링 절차를 설계하고, 이를 통해 근사 오차를 ε·‖A‖^{n−(k−1)} 로 개선한다. 이는 특히 AA(아론슨‑아키포프) 실험에서 다중 광자가 같은 모드에 뭉치는 경우, 실험 자체가 제공하는 통계적 정확도와 동등하거나 더 나은 클래식 추정을 가능하게 한다. 또한, 이 일반화는 “뭉친” 결과들의 확률에 대한 상한을 제공하는데, 이는 가우르비츠가 제기한 “뭉친 영구수 상한” 추측을 해결한다는 점에서 물리학적 의미가 크다.

두 번째 기여는 ε‑편향 집합을 활용한 비난수화이다. 기존 비난수화는 비음수 행렬에만 적용 가능했으며, 복소수 행렬에 대해서는 아직 방법이 없었다. 저자들은 복소수 버전의 ε‑편향 집합을 정의하고, 이를 구성하기 위해 가법군(ℤ_m)의 캐릭터와 푸리에 변환 기법을 결합한다. 결과적으로, 복소수 ε‑편향 집합은 크기가 O(n/ε²)인 결정적 샘플 집합을 제공하며, 이 집합을 사용해 원래의 무작위 샘플링을 대체한다. 비음수 행렬에 대해서는 완전 비난수화된 알고리즘이 얻어지며, 시간 복잡도는 여전히 O(n²/ε²)이다. 다중 행·다중 열 일반화에도 동일한 비난수화 기법을 적용할 수 있게 확장했으며, 이는 비음수 행렬에 한정된다. 일반 복소수 행렬에 대한 비난수화는 아직 남아 있는 난제로 남겨졌다.

이 논문은 알고리즘 이론, 복소수 조화 분석, 그리고 양자광학 응용을 교차시킴으로써, 기존에 무작위성에 의존하던 영구수 근사 방법을 구조적 특성을 이용해 개선하고, 결정적 버전으로 전환하는 두 축을 동시에 달성했다. 특히, 복소수 ε‑편향 집합의 구성은 향후 다른 복소수 최적화 문제나 양자 회로 시뮬레이션에서도 활용 가능성이 높다.