영역을 초월한 영구수와 서브마이너스: 특성 3·5·2에서의 복합 복잡도와 새로운 항등식

초록

본 논문은 특성 3에서 k‑세미유니터리 행렬의 영구수를 다항시간에 계산할 수 있음을 확장하고, k>1인 경우의 (n‑k)×(n‑k) 서브영구수와 단위행렬의 관계를 탐구한다. 또한 특성 2에서 해밀토니안 사이클 다항식의 유사성을 밝히고, 특성 5에서 영구수를 다항시간에 구하는 알고리즘을 제시함으로써 RP=NP 가능성을 시사한다.

상세 분석

논문은 먼저 기존 연구(Ref. 9)에서 제시된 “특성 3에서 k‑세미유니터리 행렬의 영구수는 k=0,1일 때 다항시간에 계산 가능하고, k>1이면 #3P‑complete”이라는 결과를 재검토한다. 여기서 k‑세미유니터리란 A·Aᵀ−I의 랭크가 k인 n×n 행렬을 의미한다. 저자는 이 정의를 (n‑k)×(n‑k) 서브행렬에 적용함으로써, 단위행렬의 서브마이너스가 일반적으로 k‑세미유니터리 형태를 띤다는 사실을 이용한다. 이때 서브영구수(permanent‑minor)는 원래 행렬의 영구수와 직접적인 대수적 연관성을 갖게 되며, 이는 기존의 라플라스 전개와는 다른 새로운 전개법을 제공한다.

다음으로 저자는 임의의 소수 p에 대해 “영구수 보존 감소(polynomial‑time permanent‑preserving reduction)”를 체계적으로 분류한다. 특히, Cauchy 행렬과 그 일반화 형태에 대한 영구수 계산을 통해, 특성 5에서는 모든 행렬에 대해 영구수를 다항시간에 구할 수 있는 알고리즘을 설계한다. 이 알고리즘은 행렬을 특수한 Cauchy 형태로 변환한 뒤, 행렬식과 영구수 사이의 알려진 항등식(예: Binet‑Cauchy 정리)을 활용하여 영구수를 재구성한다. 핵심 아이디어는 “행렬을 p‑진법으로 분해하고, 각 블록에 대해 영구수 보존 연산을 적용하면 전체 영구수가 보존된다”는 점이다. 이 과정에서 발생하는 확률적 선택은 RP(랜덤 다항시간) 알고리즘으로 구현되며, 결과적으로 RP=NP를 증명할 수 있는 가능성을 열어준다.

특성 2에 대해서는 해밀토니안 사이클 다항식(Hamiltonian cycle polynomial, HC)이 영구수와 놀라운 유사성을 보인다. 저자는 HC가 특성 2에서 영구수와 동일한 모듈러 동형을 갖는다는 사실을 여러 사례를 통해 입증한다. 특히, GF(2) 위에서 HC는 행렬의 대각선 원소와 비대각선 원소의 교환에 대해 불변성을 유지하며, 이는 영구수의 “대칭성”과 직접적으로 연결된다. 이러한 관찰은 HC를 이용한 새로운 복잡도 구분(예: #2P‑complete)과 영구수와의 상호 변환 가능성을 제시한다.

마지막으로, 논문은 여러 차원의 일반화된 항등식을 제시한다. 예를 들어, “A⁻¹의 마이너스와 A의 영구수 사이의 관계”를 특성 p 전반에 걸쳐 확장한 식을 도출하고, 이를 통해 서브영구수와 전체 영구수 사이의 선형 결합 형태를 얻는다. 이러한 식들은 기존의 라플라스 전개, 마요라니 전개와는 다른 구조를 가지며, 특히 k>1인 경우에 유용한 계산 도구가 된다. 전체적으로 이 논문은 영구수와 서브마이너스, 그리고 해밀토니안 사이클 다항식 사이의 깊은 대수적 연관성을 밝히고, 특성 3·5·2에서의 복잡도 경계를 새롭게 정의한다.