텐서 수축의 연산 복잡성

초록

이 논문은 텐서 수축 연산을 일반화한 형태가 산술 회로 복잡도 클래스 VP와 정확히 일치함을 보인다. 텐서 곱셈을 반복 적용하는 공식이 VP에 대한 자연스럽고 강건한 특성화를 제공한다는 점을 강조한다.

상세 분석

본 연구는 기존의 행렬 곱셈을 텐서 수준으로 확장한 ‘텐서 수축’ 연산을 정의하고, 이를 통해 산술 회로 이론에서 핵심적인 복잡도 클래스인 VP를 완전히 포착한다는 중요한 결과를 제시한다. 먼저 저자들은 텐서 수축을 ‘입력 텐서들의 지정된 축을 따라 합산하면서 차원을 축소하는 연산’으로 공식화한다. 이 연산은 두 텐서 사이의 일반적인 곱셈·덧셈 연산을 포함하며, 다중 단계에 걸쳐 반복 적용될 수 있다. 특히, 행렬 곱셈이 텐서 수축의 특수 경우임을 보임으로써 기존 알고리즘과의 연계성을 확보한다.

핵심 정리는 “임의의 다항식 계열이 다항 크기의 산술 회로로 계산될 수 iff 그것을 일정한 깊이와 폭을 가진 텐서 수축 공식으로 표현할 수 있다”는 것이다. 이를 증명하기 위해 저자들은 두 방향의 귀류법을 사용한다. (1) VP에 속하는 모든 다항식은 적절히 설계된 텐서 수축 네트워크로 변환될 수 있음을 보이기 위해, 각 게이트를 텐서 형태로 매핑하고, 게이트 간 연결을 축소 연산으로 대체한다. 이 과정에서 게이트의 산술 연산(덧셈·곱셈)이 텐서 차원의 합과 곱으로 정확히 대응한다. (2) 반대로, 텐서 수축 공식이 주어졌을 때 이를 표준 산술 회로로 시뮬레이션하는 방법을 제시한다. 여기서는 텐서의 각 축을 회로의 와이어에 대응시키고, 축소 연산을 게이트 레이어로 분해한다. 이때 필요한 회로의 크기와 깊이는 텐서 수축 공식의 크기에 다항적으로 제한된다.

또한 저자들은 이 특성화가 기존의 ‘행렬 곱셈 체인’ 모델보다 더 일반적이며, 복잡도 이론에서 흔히 다루는 ‘연산자 합성’ 관점을 자연스럽게 포괄한다는 점을 강조한다. 텐서 수축은 차원 축소와 합산을 동시에 수행하므로, 기존 모델에서는 표현하기 어려운 비선형 구조도 손쉽게 기술할 수 있다. 이러한 강점은 VP 내부의 하위 클래스(예: VBP, VNP와의 관계) 연구에 새로운 도구를 제공한다.

마지막으로, 논문은 이 특성화가 ‘견고함(robustness)’을 갖는다는 점을 입증한다. 즉, 텐서 수축 공식에 작은 변형(축의 재배열, 순서 교환 등)을 가해도 동일한 복잡도 클래스를 유지한다는 것이다. 이는 복잡도 클래스의 정의가 구현 방식에 과도하게 의존하지 않음을 보이는 중요한 증거가 된다. 전체적으로 이 연구는 산술 복잡도 이론에 새로운 시각을 제공하며, 텐서 기반 연산이 기존 회로 모델을 대체하거나 보완할 수 있는 가능성을 제시한다.