Kronecker Products of Symmetric Persistent Tensors

技術要約：対称持続的テンソルのクロネッカー積

問題提起
LandsbergとGharahi [GL, Gh] によって導入された持続的テンソル（persistent tensors）は、置換法を通じてテンソルランクに対して非自明な下界を与えるために設計された、再帰的に定義されるテンソル類である。持続性は、二部テンソルにおいては簡潔性（conciseness）と一致することが知られているが、高次テンソルにおけるクロネッカー積の下でのこの性質の挙動は未解決の問題であった。クロネッカー積による持続的テンソルの積は常に持続的であるという未解決の予想があったが、Shitov [Sh] はこの無制限の予想に対する反例を提示した。Shitovの反例は非対称であるため、対称な設定におけるこの予想のステータスは未解決のままであった。本論文は、対称持続的テンソルのクラスがクロネッカー積の下で閉じているか否かについて検討するものである。

手法および主要な技術的ツール
本論文は、同次多項式（$f \in \text{Sym}^n V$）と同一視される対称テンソルの枠組みの中で展開される。その手法は、先行研究 [GO, Theorem 2] で確立された、対称持続性に関する完全なヘッセ行列による特徴付けに依拠している。具体的には、対称テンソルが持続的であるための必要十分条件は、その$(n-2)$回の部分極化（partial polarizations）のヘッセ行列式が特定の「完全冪（perfect-power）」条件を満たすことである。

核心となる技術的アプローチは、主に以下の3つのステップで構成される：

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 \boxtens} = \frac{1}{n(n-1)} H_f \boxtimes H_g$$
   ここで、右辺のクロネッカー積は成分ごとの積として理解される。論文では、この行列恒等式は大域的に成立するものの、対応するヘッセ「多項式（行列式）」の恒等式は、セグレイデアル（Segre ideal）の存在により一般には成立しないことが指摘されている。

2. 極化された完全冪恒等式（Polarized Perfect-Power Identity）: 一般的な行列式の恒等式の失敗を克服するために、本論文は持続的な因子に関する特殊な結果を証明する。$f$ と $g$ が持続的であるならば、多次数 $(1, \dots, 1)$ を持つ非ゼロの多重同次多項式 $P_{f \boxtimes g}$ が存在し、$(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}$$
   これは、個々のヘッセ行列式が多重線形形式の完全冪であるという事実を利用して、積の極化ヘッセ行列を因子の極化ヘッセ行列のクロネッカー積に関連付けることによって達成される。

3. ヘッセ判定法の適用: 極化された恒等式と持続性のヘッセ判定法（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. 構造的洞察: 持続的な形式のヘッセ行列式の特定の構造により、一般的なテンソルで見られる病理的性質が対称な設定では回避されることを、厳密な証明によって示した。
2. 方法論的貢献: ヘッセ行列の大域的微分恒等式およびそれに続く極化された完全冪恒等式の導出は、テンソルランクと持続性を分析するための新しいツールを提供する。
3. 既知のクラスの拡張: ランクの証明可能な下界を持つテンソルの既知の家族を拡張し、特にクロネッカー冪を通じて持続的テンソルの無限族を生成した。

著者は、大域的微分恒等式とヘッセ判定法に関するフィードバックを与えたジョルジョ・オッタヴィアーニに謝意を表し、本研究を彼に捧げている。論文は、付録Aにおいて、持続的な3次形式の補完的な行列空間の視点を提示し、正規化されたヘッセ空間の同時三角化に関する構造的な問題を提起して締めくくられている。