Real subrank of order-three tensors

기술 요약: 3차 텐서의 실수 서브랭크(Real Subrank)

문제 정의
본 논문은 텐서 랭크(tensor rank)와 쌍대적인 개념인 실수 3차 텐서의 **서브랭크(subrank)**를 조사한다. 텐서 $T$의 랭크가 $T$를 구성하는 랭크-1 텐서들의 최소 합의 개수라면, 서브랭크 $Q(T)$는 모든 방향에 대한 선형 슬라이스 연산을 통해 $T$로부터 $r$번째 단위 텐서 $I_r$(이는 $r$개의 독립적인 스칼라 곱을 나타냄)을 얻을 수 있는 최대 정수 $r$을 의미한다.

대수적으로 폐쇄된 체(예: $\mathbb{C}$)에서 서브랭크는 예측 가능하게 동작한다: 고유한 일반적(generic) 서브랭크가 존재하며, 특정 서브랭크를 갖는 텐서의 로커스(locus)도 잘 이해되어 있다. 그러나 실수체($\mathbb{R}$) 위에서는 상황이 더 복잡하다. 복소수의 경우와 달리, 실수의 서브랭크는 주어진 텐서 포맷에 대해 여러 개의 "전형적인(typical)" 값(유클리드 위상에서 비공집합 열린 집합에서 취해지는 값)을 가질 수 있다. 본 논문은 다음과 같은 핵심 질문들을 다룬다:

1. 실수 서브랭크 $Q(T)$는 복소수 서브랭크 $Q_C(T)$와 어떤 관계를 갖는가?
2. 특정 작은 텐서 포맷(예: $3 \times 3 \times 5$, $4 \times 4 \times 4$)에 대한 전형적인 서브랭크는 무엇인가?
3. 실수 분할 대수(실수 복소수, 사원수, 팔원수)에서의 성분별 곱셈과 관련된 텐서의 서브랭크는 무엇인가?

방법론
저자들은 대수 기하학, 선형 대수학, 그리고 위상 수학적 논증을 결합하여 연구를 수행한다:

• 쌍대성과 경계값: 논문은 실수와 복소수 서브랭크 사이의 관계를 확립한다. 복소수 서브랭크가 실수 서브랭크의 상계(upper bound)를 제공한다는 사실($Q(T) \leq Q_C(T)$)을 활용하며, $Q_C(T)$에 기반한 $Q(T)$의 하계(lower bound)를 도출한다.
• 기하학적 조건: 서브랭크의 상계를 제한하기 위해, 저자들은 **세그레 다양체(Segre variety)**를 포함하는 기하학적 조건을 사용한다. 구체적으로, 텐서 슬라이스들에 의해 생성되는 사영화된 선형 공간과 랭크-1 행렬들의 다양체 사이의 교집합을 분석한다. 이 교집합이 공집합이거나 매우 작다면 서브랭크는 제한된다.
• 반대수 집합(Semialgebraic Sets)과 연속성: 저자들은 텐서 랭크에 관한 Bernardi, Blekherman, Ottaviani (BBO18)의 논증을 응용하여, 만약 $r$과 $s$가 전형적인 서브랭크이고 $r < s$라면, 그 사이의 모든 정수 또한 전형적임을 보여줌으로써 텐서들의 집합이 반대수 집합임을 활용한다.
• 분할 대수에 대한 귀납법: 분할 대수의 성분별 곱셈에 대한 분석을 위해, 저자들은 대수의 차원과 성분의 개수($n$)에 대한 귀납적 논증을 사용하며, 오프-다이아고날(off-diagonal) 곱을 제외한 모듈로 선형 독립성을 분석한다.

주요 기여 및 결과

1. 실수와 복소수 서브랭크의 관계
본 논문은 임의의 3차 텐서 $T$에 대하여, 실수 서브랭크가 복소수 서브랭크의 제곱근보다 크거나 같음을 증명한다:
$$Q(T) \geq \lfloor \sqrt{Q_C(T)} \rfloor$$
이 경계값은 Jeroen Zuiddam이 전달한 구성을 통해 상수 배 차이 내에서 엄밀함(sharp)이 입증되었다. 또한, 복소수 서브랭크가 최대치($n$)인 $n \times n \times n$ 텐서의 경우, 저자들은 선형 하계 $Q(T) \geq n/2$를 증명한다.

2. 전형적 서브랭크와 연속성
저자들은 전형적 서브랭크들이 연속적임을 증명한다. 만약 $r$과 $s$가 전형적인 서브랭크이고 $r \leq s$라면, $r \leq l \leq s$를 만족하는 모든 정수 $l$ 또한 전형적인 서브랭크이다. 이는 실수 위에서의 텐서 랭크에 대해 알려진 결과와 일치한다.

3. 작은 포맷에 대한 전형적 서브랭크 분류
논문은 다양한 실수 텐서 포맷 $n_1 \times n_2 \times n_3$에 대한 상세한 분류를 제공한다:

• $2 \times 2 \times 2$: 전형적 서브랭크는 1과 2이다.
• $2 \times m \times n$ (단, $m, n \geq 2$이며 둘 다 2는 아님): 유일한 전형적 서브랭크는 2이다.
• $3 \times 3 \times 3$ 및 $3 \times 3 \times 4$: 유일한 전형적 서브랭크는 2이다.
• $3 \times 3 \times 5$: 전형적 서브랭크는 2와 3이다. 저자들은 서브랭크가 2인 특정 텐서를 구성하여, 일반적(generic) 서브랭크(3)가 유일한 전형적 값이 아님을 보여준다.
• $3 \times 4 \times 4$ 및 $4 \times 4 \times 4$: 전형적 서브랭크는 2와 3이다.
  • 특히, 논문은 사원수 곱셈 텐서($4 \times 4 \times 4$)가 2의 실수 서브랭크를 가짐을 보여준다. 이는 해당 텐서의 슬라이스들에 의해 생성되는 선형 공간이 (0을 제외하고) 랭크-1 행렬을 포함하지 않음을 보임으로써 증명되며, 이는 서브랭크가 3이 될 수 없음을 의미한다.

4. 분할 대수 곱셈의 서브랭크
본 논문은 실수 차원이 $d_{\mathbb{R}}$인 분할 대수 $D$에 대한 $D^n$에서의 성분별 곱셈을 분석한다.

• 복소수 ($D=\mathbb{C}$): 성분별 곱셈 맵 $f_n: \mathbb{C}^n \times \mathbb{C}^n \to \mathbb{C}^n$의 실수 서브랭크는 $n$이다. 이는 $n$개의 복소수 곱셈을 수행하는 장치에 $n$개 이상의 실수 스칼라 곱을 임베딩할 수 없음을 의미한다.
• 사원수 ($D=\mathbb{H}$): 서브랭크는 $2n$이다.
• 일반 경계값: 차원이 2 이상인 임의의 실수 분할 대수 $D$에 대하여, 성분별 곱셈 맵의 서브랭크는 $Q(f_n) \leq n \cdot \frac{1}{2}\dim_{\mathbb{R}}(D)$를 만족한다.
• 가산성(Additivity): 서브랭크는 분할 대수의 자기 자신과의 직합에 대해 가산적이다 ($Q(f_n) = n \cdot Q(f_1)$).

의의 및 주장
본 논문은 몇몇 작지만 비자명한 텐서 포맷에 대한 전형적 서브랭크 문제를 해결하며, 일반적 서브랭크는 유일하더라도 여러 전형적 서브랭크가 존재할 수 있음을 밝혀냈다. 이는 대수적으로 폐쇄된 체에서의 동작과 대조된다.

저자들은 분할 대수에 관한 결과가 비자명함을 강조한다. 즉, 서브랭크는 엄격하게 초가산적(superadditive)일 수 있으며, 이는 $n$개의 성분에 대한 결과가 $n=1$인 경우로부터 단순히 도출되지 않음을 의미한다. 사원수 곱셈 텐서의 서브랭크가 2(일반적인 3이 아닌)라는 구체적인 발견은 분할 대수 구조가 부과하는 독특한 대수적 제약을 부각시킨다.

마지막으로, 본 논문은 복소수 및 사원수 곱셈을 나타내는 텐서의 "값"(서브랭크)에 대한 구체적인 상계를 제공하여, 이러한 구조들이 얼마나 많은 독립적인 실수 스칼라 곱을 시뮬레이션할 수 있는지에 대한 한계를 제시한다. 저자들은 팔원수 곱셈 텐서($8 \times 8 \times 8$)의 서브랭크가 3일 것이라고 추측하지만, 본 논문에서는 상계가 4임을 증명하는 데 그친다.