다중 레그 행렬 텐서 연산자 노름 상한 및 무작위 행렬 이론 응용

본 논문은 다중 레그(matrix tensor) 구조에서 부분 트레이스 연산 \((\operatorname{Tr}_{σ_1}\otimes\cdots\otimes\operatorname{Tr}_{σ_k})(A_1,\dots,A_m)\) 를 연산자 노름 \(\|A_i\|\le1\) 로 제한했을 때의 최댓값을 정확히 규명한다. 이를 위해 저자들은 색깔이 있는 유향 그래프라는 새로운 시각적·조합론적 도구를 도입한다. 1. **그래프 모델 구축** - 각 행렬 \(A_i\) 를 \(k\)개의 입·출구를 가진 사각형(레그)으로 표현한다. - 순열 \(\sigma_j\) 에 대해 색깔 \(col_j\) 로 구분된 유향 에지를 사각형 사이에 연결한다. 이때 에지는 \(A_i\) 에서 \(A_{\sigma_j(i)}\) 로 향한다. - 내부 연결을 위해 ‘블루 에지’를 도입한다. 블루 에지는 같은 사각형 내의 입·출구를 짝지으며, 가능한 모든 매칭을 고려한다. 2. **사이클 수와 최적값** - 그래프 \(G_{\sigma_1,\dots,\sigma_k}(A_1,\dots,A_m)\) 에서 형성되는 유향 사이클은 부분 트레이스의 곱 구조와 일대일 대응한다. - 정의된 정수 \(M(\sigma_1,\dots,\sigma_k)\) 은 모든 블루 에지 매칭 중 사이클 수가 최대가 되는 경우의 사이클 개수이다. - 주요 정리(정리 2)는 \