Real subrank of order-three tensors

技術要約：3次テンソルの実部分ランク（Real Subrank）

問題提起
本論文は、テンソルランクの双対概念である、実数体上の3次テンソルの**部分ランク（subrank）**について研究している。テンソル $T$ のランクが、$T$ を構成するランク1のテンソルの最小個数であるのに対し、部分ランク $Q(T)$ は、すべての方向における線形スライス操作を通じて、第 $r$ 単位テンソル $I_r$（$r$ 個の独立したスカラー乗算を表す）が得られるような最大の整数 $r$ である。

代数閉体（例：$\mathbb{C}$）において、部分ランクは予測可能な挙動を示す。すなわち、一意な生成的部分ランクが存在し、特定の部分ランクを持つテンソルの軌跡もよく理解されている。しかし、実数体（$\mathbb{R}$）においては、状況はより複雑である。複素数の場合とは異なり、実部分ランクは、与えられたテンソルフォーマットに対して複数の「典型的（typical）」な値（ユークリッド位相における非空な開集合上で値を取る値）を取り得る。本論文は、以下の核心的な問いに取り組んでいる：

1. 実部分ランク $Q(T)$ は、複素部分ランク $Q_C(T)$ とどのように関係するか？
2. 特定の小さなテンソルフォーマット（例：$3 \times 3 \times 5$、$4 \times 4 \times 4$）における典型的な部分ランクはどのようなものか？
3. 実除法代数（複素数、四元数、八元数）における成分ごとの乗算に関連するテンソルの部分ランクはどうか？

手法
著者らは、代数幾何学、線形代数学、および位相幾何学的な議論を組み合わせた手法を用いている：

• 双対性と境界： 本論文は、実部分ランクと複素部分ランクの関係を確立している。複素部分ランクが実部分ランクの上界を与えるという事実を利用し、$Q(T) \leq Q_C(T)$ であることを用いて、$Q_C(T)$ に基づく $Q(T)$ の下限を導出している。
• 幾何学的条件： 部分ランクを上から抑えるために、著者らは**セグレ多様体（Segre variety）**を用いた幾何学的条件を用いている。具体的には、テンソルのスライスによって生成される射影線型空間と、ランク1の行列の多様体との交わりを分析する。この交わりが空であるか、あるいは小さい場合、部分ランクは制約を受ける。
• 半代数集合と連続性： テンソルランクに関する Bernardi, Blekherman, Ottaviani (BBO18) の議論を応用し、テンソル集合が半代数集合であることを利用して、$r$ と $s$ が典型的であり $r < s$ であるならば、その間のすべての整数もまた典型的であることを示している。
• 除法代数への帰納法： 除法代数における成分ごとの乗算の分析には、代数の次元と成分数 $n$ に関する帰納的な議論を用い、非対角成分の積に対する線形独立性を分析している。

主要な貢献と結果

1. 実部分ランクと複超部分ランクの関係
本論文は、任意の3次テンソル $T$ について、実部分ランクが複素部分ランクの平方根によって下限付けられることを証明している：
$$Q(T) \geq \lfloor \sqrt{Q_C(T)} \rfloor$$
この境界は、Jeroen Zuiddam によって伝えられた構成により、定数倍を除いてシャープであることが示されている。さらに、$n \times n \times n$ テンソルで複素部分ランクが最大（$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 となる特定のテンソルを構成し、生成的部分ランク（3）が唯一の典型的値ではないことを示している。
• $3 \times 4 \times 4$ および $4 \times 4 \times 4$： 典型的部分ランクは 2 と 3 である。
  • 特筆すべき点として、本論文は四元数乗算テンソル（$4 \times 4 \times 4$）の実部分ランクが 2 であることを示している。これは、そのスライスによって生成される線型空間が（ゼロを除いて）ランク1の行列を一切含まないことを示すことで証明されており、これにより部分ランクが 3 になり得ないことが示される。

4. 除法代数の乗算テンソルの部分ランク
本論文は、実除法代数 $D$ の次元を $d_{\mathbb{R}}$ としたときの $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)$ で抑えられる。
• 加法性： 部分ランクは、除法代数とその自分自身との直和に対して加法的である（$Q(f_n) = n \cdot Q(f_1)$）。

意義と主張
本論文は、いくつかの小さくも非自明なテンソルフォーマットにおける典型的部分ランクの問題を解決しており、生成的部分ランクが一意であっても、複数の典型的部分ランクが存在することを示している。これは代数閉体における挙動とは対照的である。

著者らは、除法代数に関する結果が非自明であることを強調している。すなわち、部分ランクは厳密に超加法的（superadditive）であり、結果として得られる $n$ 成分の場合の結果は、$n=1$ のケースから自明に導かれるものではない。特に、四元数乗算テンソルの部分ランクが（$4 \times 4 \times 4$ の生成的ランクである 3 ではなく）2 であるという発見は、除法代数の構造によって課される独自の代数的制約を浮き彫りにしている。

最後に、本論文は、複素数および四元数乗算を表すテンソルの「値」（部分ランク）に関する具体的な上界を提供しており、これらの構造によってどれだけの独立した実スカラー乗算をシミュレートできるかの限界を示している。著者らは、八元数乗算テンソル（$8 \times 8 \times 8$）の部分ランクは 3 であると予想しているが、本論文では上界が 4 であることのみを証明している。