Spectral Bounds for Tensors Derived from Trace Functionals and Wasserstein Distance in Tensor Spaces

技術的概要：テンソル空間におけるトレース関数とワッサーシュタイン距離から導かれるテンソルのスペクトル限界

問題定義
本研究は、正定値（PSD）行列から確立されたスペクトル特性や幾何学的構造を、高次テンソルへ拡張する課題に取り組む。固有値の限界、トレースに基づく不等式、スペクトル距離指標（ブアレス・ワッサーシュタイン距離など）は行列に対してはよく発展しているが、それらのテンソルへの一般化は重大な障壁に直面している。モード積や Tucker 分解などの既存のテンソル枠組みは、スペクトル解析や最適化に不可欠な結合性や可逆性といった本質的な代数的性質を保持することができないことが多い。さらに、テンソル空間内で一貫したトレースや固有値の概念を定義することは容易ではない。本論文は、離散フーリエ変換（DFT）を用いて行列に似た代数的構造を維持する T-積枠組み内で動作することで、これらのギャップを具体的にターゲットとする。

手法
著者は、ブロック巡回行列（bcirc）を介して定義された T-積構造を用いて、行列演算を 3 次テンソルへ一般化する。核心的な手法は以下の通りである：

1. 代数的写像：テンソルの T-積が、そのブロック巡回表現の行列積に対応するという性質を活用する。これにより、古典的な行列スペクトル理論（レイリー商、フォン・ノイマンのトレース不等式など）をテンソルに適用可能にする。
2. トレースに基づく解析：フーリエ領域におけるフロントスライスのトレースの和としてテンソルのトレースを定義する。このトレース関数を用いて、固有値の限界や距離指標を導出する。
3. 幾何学的拡張：元々 PSD 行列に対して定義されていたブアレス・ワッサーシュタイン距離を、PSD テンソルの円錐へ拡張する。これには、T-SVD を通じてテンソルの平方根（$A^{1/2}$）を定義し、それを用いて測地経路や距離指標を構築することが含まれる。
4. 条件の緩和：厳密な PSD 条件が、一般的なエルミート行列または対称テンソルへ緩和された場合、導出された限界がどのように振る舞うかを分析する。

主要な貢献
本論文は以下の具体的な貢献を行う：

• トレースに基づく固有値限界：著者は PSD テンソルの T-固有値に対する新たな限界を確立する。具体的には、フォン・ノイマンのトレース不等式を T-積枠組みに適応させ、2 つのテンソルの T-積のトレース（$tr(A * B)$）とそれらの固有値の積との関係を記述する不等式を導出する。また、構成要素のテンソルの最小および最大固有値を含む$tr(A * B * A)$ に対する限界も提供する。
• ブアレス・ワッサーシュタイン距離の拡張：本研究はブアレス・ワッサーシュタイン距離をテンソル空間へ成功裏に拡張する。距離指標は以下のように定義される：
  $$d(A, B) = \left( tr(A) + tr(B) - 2 tr\left( (A^{1/2} * B * A^{1/2})^{1/2} \right) \right)^{1/2}$$
  この定式化は、代数的演算と幾何学的解釈を橋渡しする PSD テンソルに対する幾何学的構造を提供する。
• 緩和された条件の解析：PSD 仮定が緩和されたケースに対して修正されたトレース不等式を導出し、一般的なエルミートテンソルに対して有効な限界を維持するために対称化テンソル（$\bar{A}$）を導入する。
• テンソルに対するキ・ファンの定理：著者はキ・ファンの定理を T-積設定へ拡張し、射影 $tr(U * H * U^H)$ の最大（および最小）トレースが、エルミートテンソル $H$ の最大（および最小）T-固有値の和に対応することを確立する。
• 計算量解析：詳細な計算量解析が提供される。T-積演算はチューブ次元 $p$ に対して効率的に（対数線形的に）スケーリングするのに対し、固有値限界とキ・ファンの和は $O(n^3 p^3)$ としてスケーリングする。ブアレス・ワッサーシュタイン距離は $O(n^3 p)$ としてスケーリングすることが指摘されており、反復最適化スキームに対して実行可能である。

結果
理論的知見は、示唆的な数値例によって裏付けられている：

• 限界の検証：$2 \times 2 \times 2$ テンソルを用いた例は、導出された固有値限界（例：$\mu_{min}(M_A) \le \lambda \le \mu_{max}(M_A)$）が真であることを示している。ここで、$M_A$ は対称化されたブロック巡回行列である。
• 距離の計算：特定の例において、2 つの $2 \times 2 \times 2$ テンソル間のブアレス・ワッサーシュタイン距離を計算し、約 0.705 という値を得て、この指標の計算可能性を確認した。
• 限界の厳密性：本論文は、トレース不等式に対する固有値に基づく限界が厳密であることを示している。なぜなら、それらはテストテンソルが極値固有値に対応する固有ベクトルと整合するときに達成されるからである。

意義と主張
本論文は、トレース関数を通じて PSD テンソルの代数的構造を内在的な幾何学的性質へ結びつけることで、PSD テンソルに対する「構造化された理解」を提供すると主張する。トレースに基づく指標を確立し、ブアレス・ワッサーシュタイン距離を拡張することで、この研究は PSD テンソル間の類似性を測定する新たな視点を提供する。著者は、これらのツールがテンソルデータが prevalent な最適化、信号処理、機械学習の応用において特に関連性が高いと位置づける。本研究は、提案された手法が、結合性や可逆性を欠く他のテンソル枠組みの限界を克服しつつ、テンソルの高次性を許容しながら行列の本質的なスペクトル特性を保持することを強調している。さらに、計算量解析は、特にチューブ次元 $p$ が大きくてもフロントスライスの次元 $n$ が中程度であるような大規模問題において、これらの手法の実用的な実行可能性を主張している。