비가환 행렬식의 복잡성: 영구함수와의 깊은 연관성

초록

이 논문은 비가환 환경에서 정의되는 행렬식의 계산 복잡도를 조사한다. 비가환 행렬식 다항식이 작은 비가환 산술 회로로 구현될 경우 영구함수도 동일하게 작은 회로로 구현될 수 있음을 보이며, 이를 통해 영구함수의 회로 복잡도 하한을 전이한다. 또한, 일반 필드 위에서 영구함수의 계산을 비가환 행렬식 계산에 다항식 시간으로 환원하고, 클리포드 대수와 같은 비가환 대수 구조에서도 영구함수의 어려움을 전이한다. 핵심 기법은 비가환 다항식의 Hadamard 곱을 이용한 단순한 구성이다.

상세 분석

논문은 먼저 비가환 다항식 모델에서 행렬식(det)과 영구함수(per) 사이의 복잡도 관계를 정량화한다. 비가환 행렬식은 전통적인 행렬식과 달리 항들의 순서가 중요하므로, 이를 표현하는 산술 회로는 비가환 곱셈 게이트를 포함한다. 저자들은 “비가환 행렬식 다항식이 작은 비가환 산술 회로로 계산 가능하다면, 같은 차원의 비가환 영구함수도 작은 회로로 계산 가능하다”는 정리를 증명한다. 핵심은 두 다항식의 Hadamard 곱을 이용해 행렬식의 계수를 영구함수의 계수와 일대일 대응시키는 것이다. 이 과정에서 행렬식의 부호(사인) 요소를 제거하고, 비가환 항들의 순서를 보존하면서 영구함수 형태로 변환한다. 결과적으로 비가환 행렬식이 효율적으로 계산될 경우, 잘 알려진 #P‑완전 문제인 영구함수도 효율적으로 계산될 수 있음을 의미한다.

다음 단계에서는 임의의 필드 F에 대해 n×n 영구함수 계산을 2n×2n 비가환 행렬식 계산에 다항식 시간으로 환원한다. 여기서 사용된 행렬은 O(n²)×O(n²) 크기의 블록 행렬이며, 각 블록은 F 위의 스칼라 혹은 작은 행렬이다. 이러한 구성은 영구함수의 모든 항을 행렬식의 전개식에 삽입하도록 설계되어, 행렬식의 값이 영구함수 값에 정확히 대응한다. 이 환원은 영구함수의 복잡도가 비가환 행렬식의 복잡도 하위 집합임을 보여준다.

마지막으로 저자들은 비가환 대수인 클리포드 대수를 이용해 영구함수의 난이도를 전이한다. 클리포드 대수는 차원이 n^{O(1)}인 비가환 구조를 제공하며, 여기서 정의된 행렬식은 기존 필드 위의 행렬식보다 더 풍부한 표현력을 갖는다. 논문은 영구함수(특히 비음수 유리수 입력) 계산을 이러한 클리포드 대수 위의 비가환 행렬식 계산에 다항식 시간으로 환원함으로써, 클리포드 대수에서도 영구함수의 #P‑완전성을 유지한다는 결론을 도출한다. 전체적으로, Hadamard 곱을 통한 단순하고 직관적인 변환이 비가환 행렬식과 영구함수 사이의 복잡도 연결 고리를 명확히 밝히는 핵심 기법으로 작용한다.

이러한 결과는 비가환 회로 복잡도 이론에 새로운 관점을 제공한다. 기존에 비가환 영구함수의 복잡도는 별도로 연구되었으나, 비가환 행렬식이 영구함수와 동등한 어려움을 가진다는 사실은 비가환 대수 구조에서의 알고리즘 설계와 하드웨어 구현에 직접적인 영향을 미친다. 특히, 비가환 회로 모델에서 영구함수의 하드웨어 구현이 어려운 이유를 행렬식 회로의 복잡도와 동일시함으로써, 향후 비가환 암호학, 양자 컴퓨팅, 그리고 비가환 신호 처리 분야에서의 응용 가능성을 넓힌다.