텐서 수술을 통한 텐서 차수와 복잡도 상한 탐구

초록

본 논문은 그래프·하이퍼그래프 텐서를 저차원에서 고차원으로 변환하는 “텐서 수술” 기법을 제시한다. 기존 텐서 분해의 저랭크 구조를 보존하면서 새로운 텐서의 순위, 경계 순위 및 점근적 순위를 상한할 수 있다. 특히 삼각형 텐서를 시작점으로 삼아 모든 홀수 사이클 그래프에 대해 비자명한 순위 상한을 얻고, 점근적 상한을 행렬곱 지수 ω와 직사각형 행렬곱 파라미터 α 로 표현한다. 또한 하이퍼그래프에 대한 적용 예시와 양자 정보·통신 복잡도와의 연관성을 논한다.

상세 분석

논문은 먼저 그래프 G 에 대응하는 텐서 Tₙ(G) 를 정의하고, 이 텐서의 순위 R(Tₙ(G)) 와 점근적 지수 ω(T₂(G)) 를 연구한다. 핵심 아이디어는 “텐서 수술”이라 부르는 연산으로, 기존 텐서 t 의 한 레그를 여러 레그로 분할하고, 추가 텐서 s 와 텐서곱을 취해 목표 텐서 t′ 를 만든다. 이 과정에서 발생하는 순위 증가를 정확히 추적함으로써, 초기 텐서의 좋은 분해와 결합해 목표 텐서의 새로운 상한을 얻는다.

구체적으로, 삼각형 그래프 C₃ (행렬곱 텐서) 의 Strassen 분해 R=7 을 시작점으로 삼아, 정점 하나를 두 개로 쪼개고 새로운 정점과 두 개의 가상 엣지를 삽입하는 수술을 수행한다. 이때 가상 엣지는 최악의 경우 순위 7을, 최선의 경우 순위 4를 기여한다. 이러한 분석을 반복 적용하면, 모든 홀수 k 에 대해 순위 상한 R(T₂(C_k)) ≤ 2^{k‑1} 을 얻는다. 이는 기존에 알려진 k≤5 에 대한 결과를 일반화한 것이다.

점근적 측면에서는, 사이클 텐서의 지수 ω_k 에 대해 두 가지 부등식을 증명한다. 첫째, ω_{k+ℓ‑1} ≤ ω_k + ω_ℓ 로, 두 사이클 텐서의 지수가 합으로 제한됨을 보여준다. 둘째, ω_k ≤ k‑α·(1+1‑α)/(k‑1+α) ≤ k‑α 로, 여기서 α 는 직사각형 행렬곱의 이중 지수이다. α가 0.3029…보다 크므로, ω_k는 k와 일정한 차이 이하로 제한된다. 특히 ω=2 일 때는 ω_k = k‑1 이 최적임을 확인한다.

또한, 일반 그래프에 대한 텐서 수술은 가상 하이퍼엣지의 흡수를 필요로 할 수 있음을 보이며, 하이퍼그래프 H 에 대한 수술 예시를 제시한다. 이때 텐서 레그를 다수로 분할하고, 하이퍼엣지를 삽입함으로써 고차원 텐서의 순위와 경계 순위를 제어한다.

응용 측면에서는, 텐서 Tₙ(G) 를 무정규화된 양자 상태(각 정점은 파티클, 각 엣지는 EPR 쌍) 로 해석한다. 따라서 텐서 순위는 SLOCC 변환 가능성의 최소 자원 수와 동치이며, 점근적 지수는 무한 복제 상황에서의 변환 효율을 나타낸다. 통신 복잡도에서는 지원 순위가 비결정적 양자 방송 통신 복잡도와 연결되며, 본 논문의 상한은 특정 그래프 동등성 문제의 복잡도 상한을 제공한다.

전반적으로 텐서 수술은 기존의 플래트닝·영 플래트닝 기법과 달리 구조적 변환을 통해 저랭크 분해를 보존하면서 새로운 텐서 클래스에 대한 비자명한 순위·점근적 상한을 제공한다는 점에서 의미가 크다.