Kronecker Products of Symmetric Persistent Tensors

기술 요약: 대칭적 지속 텐서의 크로네커 곱

문제 정의
Landsberg와 Gharahi [GL, Gh]에 의해 도입된 지속 텐서(persistent tensors)는 치환법(substitution method)을 통해 텐서 계수(tensor rank)에 대한 비자명한 하한을 도출하기 위해 재귀적으로 정의된 텐서 클래스이다. 지속성은 이분형 텐서(bipartite tensors)의 경우 간결성(conciseness)과 일치하는 것으로 알려져 있으나, 고차 텐서에 대한 크로네커 곱 하에서의 이러한 성질의 거동은 미해결 문제로 남아 있었다. 지속적인 텐서의 크로네커 곱은 항상 지속적일 것이라는 일반적인 추측이 있었으나, Shitov [Sh]는 이 제한 없는 추측에 대한 반례를 제시하였다. Shitov의 반례는 비대칭적이므로, 대칭적 설정 내에서의 이 추측의 상태는 해결되지 않은 상태였다. 본 논문은 대칭 지속 텐서의 클래스가 크로네커 곱에 대해 닫혀 있는지 여부를 다룬다.

방법론 및 주요 기술적 도구
본 논문은 동차 다항식($f \in \text{Sym}^n V$)과 동일시되는 대칭 텐서의 틀 안에서 작동한다. 방법론은 선행 연구 [GO, Theorem 2]에서 확립된 대칭 지속성에 대한 완전한 헤세(Hessian) 특성화에 의존한다. 구체적으로, 대칭 텐서가 지속적일 필요충분조건은 그 $(n-2)$번의 부분 극화(partial polarization)의 헤세 행렬식(Hessian determinant)이 특정 "완전 거듭제곱(perfect-power)" 조건을 만족하는 것이다.

핵심 기술적 접근 방식은 다음 세 가지 주요 단계로 구성된다:

1. 전역 미분 항등식(Global Differentiation Identity): 저자는 임의의 동차 다항식의 크로네커 곱에 대한 헤세 행렬의 항등식을 확립한다. $f \in \text{Sym}^n \mathbb{C}^{d_1}$ 및 $g \in \text{Sym}^n \mathbb{C}^{d_2}$에 대하여, 크로네커 곱 $f \boxtimes g$의 헤세 행렬은 다음을 만족한다:
   $$H_{f \boxtimes g} = \frac{1}{n(n-1)} H_f \boxtimes H_g$$
   여기서 우변의 크로네커 곱은 성분별(entrywise) 크로네커 곱으로 이해된다. 논문은 이 행렬 항등식은 전역적으로 성립하지만, 헤세 다항식(행렬식)에 대응하는 항등식은 세그레 아이디얼(Segre ideal)의 존재로 인해 일반적으로 실패한다는 점을 언급한다.

2. 극화된 완전 거듭제곱 항등식(Polarized Perfect-Power Identity): 일반적인 행렬식 항등식의 실패를 극복하기 위해, 저자는 지속적인 인자들에 대한 특수화된 결과를 증명한다. 만약 $f$와 $g$가 지속적이라면, nonzero 다중 동차 다항식 $P_{f \boxtimes g}$ (다중 차수는 $(1, \dots, 1)$)가 존재하여, $(n-2)$-번 극화된 크로네커 곱의 헤세 행렬식은 다음과 같이 이 다항식의 $(d_1 d_2)$ 제곱이 된다:
   $$\text{Hess}\big((f \boxtimes g)_{U^{(1)}, \dots, U^{(n-2)}}(z)\big) = \big[P_{f \boxtimes g}(U^{(1)}, \dots, U^{(n-2)})\big]^{d_1 d_2}$$
   이는 개별 헤세 행렬식이 다선형 형식(multilinear forms)의 완전 거듭제곱이라는 사실을 활용하여, 곱의 극화된 헤세를 각 인자의 극화된 헤세의 크로네커 곱과 연관시킴으로써 달성된다.

3. 헤세 기준의 적용(Application of the Hessian Criterion): 저자는 극화된 항등식을 헤세 지속성 특성화(Theorem 3)와 결로하여, 크로네커 곱 $f \boxtimes g$가 지속성을 위한 필요 조건을 만족함을 입증한다.

주요 결과

• 정리 11 (크로네커 곱에 대한 폐쇄성): 대칭 지속 텐서의 클래스는 크로네커 곱에 대해 닫혀 있다. 만약 $f \in \text{Sym}^n \mathbb{C}^{d_1}$와 $g \in \text{Sym}^n \mathbb{C}^{d_2}$가 지속적이라면, $f \boxtimes g \in \text{Sym}^n (\mathbb{C}^{d_1} \otimes \mathbb{C}^{d_2})$는 지속적이다.
• 따름정리: 직접적인 결과로서, 본 논문은 대칭 지속성이 반복된 크로네커 곱(Corollary 14) 및 크로네커 거듭제곱(Corollary 15) 하에서도 보존됨을 확립한다.
• 예시 적용: 본 논문은 이 결과를 이진 W-텐서($W_n = x_0^{n-1}x_1$)에 적용하여, 이 텐서의 모든 크로네커 거듭제곱이 $\text{Sym}^n \mathbb{C}^{2^k}$ 내의 명시적인 무한 지속 텐서 가족을 형성함을 확인한다.

의의 및 주장
본 논문은 일반적인 텐서의 경우에 실패했던 일반적 추측과 달리, 대칭적 설정 내에서는 지속성의 보존에 관한 미해결 문제를 해결했다고 주장한다. 그 의의는 다음과 같다:

1. 구조적 통찰: 저자는 헤세 다항식의 특수한 구조 덕분에 일반적인 텐서 사례에서 발견되는 병리적 현상(pathologies)을 대칭적 설정이 어떻게 회피하는지를 엄밀하게 증명한다.
2. 방법론적 기여: 헤세 행렬에 대한 전역 미분 항등식의 유도와 그에 따른 극화된 완전 거듭제곱 항등식의 도출은 텐서 계수를 분석하기 위한 새로운 도구를 제공한다.
3. 알려진 클래스의 확장: 본 결과는 크로네커 거듭제곱을 통해 지속적인 텐서의 무한 가족을 생성함으로써, 계수의 하한이 증명 가능한 텐서들의 알려진 범위를 확장한다.

저자는 전역 미분 항등식과 헤세 특성화에 대한 피드백을 준 Giorgio Ottaviani에게 감사를 표하며 논문을 헌정한다. 논문은 부록 A에서 지속적인 3차 형식(cubic forms)에 대한 보완적인 행렬 공간 관점을 제시하며, 이들의 정규화된 헤세 공간의 동시 삼각 가약성(simultaneous triangularizability)에 관한 구조적 질문을 제기하며 끝을 맺는다.