論文「Unitary-Invariant Matrix Varieties のエルミート距離次数」の技術的サマリー

この論文は、左・右ユニタリ作用（left and right unitary actions）に対して不変な行列多様体（matrix varieties）における**エルミート距離次数（Hermitian distance degree, HD degree）を研究したものである。著者は、この実数値の数え上げ不変量が、特異値（singular values）の絶対対称多様体（absolutely symmetric variety）の実ユークリッド距離次数（real Euclidean distance degree, RED degree）**と一致することを証明し、臨界点の構造を明確に記述した。

以下に、問題設定、手法、主要な貢献、結果、およびその意義を詳細にまとめる。

---

1. 問題設定と背景

1.1 エルミート距離次数（HD degree）の定義

従来の代数幾何学における「ユークリッド距離次数（ED degree）」は、複素多様体 $X \subset \mathbb{C}^n$ 上の点 $x$ と一般点 $u \in \mathbb{C}^n$ の間のユークリッド距離の二乗 $d_u(x) = \|x-u\|^2$ の臨界点の数を指す。

本論文では、行列空間 $\mathbb{C}^{n \times t}$ におけるエルミート距離を扱う。

• 内積: $\langle A, B \rangle = \text{Tr}(AB^*)$ （$B^*$ は共役転置）。
• 実数化: 複素ベクトル空間を実ベクトル空間 $V_{\mathbb{R}} \cong \mathbb{R}^{2nt}$ と見なし、実内積 $q(A, B) = \text{Re}\langle A, B \rangle$ を用いる。
• 定義: 行列多様体 $M \subset \mathbb{C}^{n \times t}$ に対して、データ行列 $Y$ からのエルミート距離の二乗 $d_Y(X) = \|X-Y\|^2$ の $M$ 上での実臨界点の個数を「エルミート距離次数（HD degree）」と呼ぶ。

1.2 研究の動機

• ユニタリ不変な行列多様体（例：ランク制限多様体、ユニタリ群、行列式制約多様体など）は、特異値分解（SVD）の構造と密接に関連している。
• 従来の研究（DLOT17, AJ18 など）では、直交群不変な多様体の ED 次数が特異値の多様体の次数と一致することが示されていたが、エルミート距離（複素行列）における同様の関係性は未解決であった。
• 本論文は、この関係を確立し、Eckart-Young の定理のエルミート版を幾何学的に再構成することを目的とする。

---

2. 手法と理論的枠組み

2.1 ユニタリ不変性と絶対対称集合

行列多様体 $M$ がユニタリ不変（$UMV^* = M$ for all $U, V \in \text{Unitary}$）であるとき、その特異値の集合 $S \subset \mathbb{R}^n$ は**絶対対称集合（absolutely symmetric set）**となる（符号付き置換群 $\Pi^\pm_n$ 不変）。

• 写像 $\sigma: M \to \mathbb{R}^n$ は $A \mapsto \text{特異値ベクトル}$。
• 逆写像 $\sigma^{-1}(S)$ は $S$ の特異値を持つ行列全体の集合。
• 定理 12: $M$ がユニタリ不変であることと、ある絶対対称集合 $S$ が存在して $M = \sigma^{-1(S)}$ となることは同値。

2.2 臨界点の構造とスライシング

• 定理 17: データ行列 $Y = U \text{diag}(y) V^*$ が一般の位置（特異値が非ゼロかつ相異なる）にあるとき、$Y$ に対する $M$ 上のエルミート距離臨界点 $X$ は、同じユニタリ行列 $U, V$ を用いて $X = U \text{diag}(x) V^*$ と書ける。ここで $x$ は実対角行列の成分である。
• スライシング定理（Theorem 30）: Bik-Draisma の原理をエルミート設定に拡張。ユニタリ表現は実内積空間 $(V_{\mathbb{R}}, q)$ において直交表現となるため、対角切片（diagonal slice）$V_0^{\mathbb{R}}$ への射影によって臨界点の数を計算できる。

---

3. 主要な結果

3.1 主定理（Theorem 23）

ユニタリ不変な行列多様体 $M \subset \mathbb{C}^{n \times t}$ と、対応する絶対対称集合 $S \subset \mathbb{R}^n$ について、一般のデータ行列 $Y = U \text{diag}(y) V^*$ に対して以下の等式が成り立つ：
$$\text{HDdeg}(M; Y) = \text{REDdeg}(S; y)$$
さらに、$M$ 上のすべてのエルミート距離臨界点は、$S$ 上の実ユークリッド距離臨界点 $x$ から、同じ特異ベクトル $U, V$ を用いて持ち上げる（lifting）ことで得られる：
$$\{ \text{HD critical points of } Y \text{ on } M \} = \{ U \text{diag}(x) V^* \mid x \text{ is an ED critical point of } y \text{ on } S \}$$

3.2 具体的な例と応用

1. Eckart-Young 定理のエルミート版（Theorem 5）:

   • 行列 $A$ からランク $k$ 以下の行列多様体までの距離の臨界点は、$A$ の特異値分解において、特定の $k$ 個の特異値を保持し、残りをゼロにする行列として与えられる。
   • 非ゼロ特異値が相異なる場合、臨界点の数は $\binom{r}{k}$ となる（$r$ は $A$ のランク）。

2. 特異値関係 $\{a, a^2\}$ の場合（Example 24）:

   • 特異値が $\{a, a^2\}$ を満たす $2 \times 2$ 行列多様体について、対応する $S$ は 2 つの放物線の和集合となる。
   • データ点 $y$ の位置（放物線のエボリュート（evolute）の内外）によって、臨界点の数が 2, 4, 6 と変化する様子を可視化し、HD 次数が $y$ のチェンバー（区画）に依存することを示した。

3. 行列式の絶対値制約（Example 25）:

   • $|\det A| = 1$ なる行列多様体について、対応する $S$ は双曲線 $|x_1 x_2| = 1$ となる。
   • 判別式を用いて、臨界点の数が 4 または 6 になる条件を明示した。

4. Schatten d-球面（Example 26）:

   • Schatten d-ノルムが 1 となる行列の集合（$d$ は偶数）について、その HD 次数は対応する Fermat 超曲面の RED 次数と一致することを示した。

3.3 一般のスライシング定理（Theorem 30）

複素ベクトル空間 $V$ 上のユニタリ表現 $G$ と $G$-不変な実代数多様体 $X$ に対して、対角切片 $X_0 = X \cap V_0^{\mathbb{R}}$ を考える。

• $V^{\mathbb{R}}$ が $V_0^{\mathbb{R}}$ と $G$-軌道の接空間の直和に分解され、$G \cdot X_0$ が $X$ において稠密であるならば、
  $$\text{HDdeg}_V(X) = \text{REDdeg}_{V_0^{\mathbb{R}}}(X_0)$$
  が成り立つ。これは、複雑な行列空間の問題を、より単純な実対角行列空間の問題に帰着させる強力な原理である。

---

4. 意義と貢献

1. 理論的統合:

   • ユニタリ不変な行列多様体におけるエルミート距離最適化問題が、実数領域の対称多様体上のユークリッド距離最適化問題に完全に帰着されることを証明した。これは、DLOT17 や AJ18 の結果を複素行列・エルミート距離の文脈へ自然に拡張したものである。

2. 計算の簡素化:

   • 行列空間 $\mathbb{C}^{n \times t}$ での高次元な臨界点探索を、特異値空間 $\mathbb{R}^n$ での低次元な問題に削減する具体的なアルゴリズム（スライシング）を提供した。これにより、臨界点の数を数え上げる計算が大幅に容易になる。

3. 幾何学的洞察:

   • Eckart-Young の定理を、単なる特異値のトリミングとしてではなく、エルミート距離の臨界点の幾何学的構造（特異ベクトルによる持ち上げ）として再解釈した。
   • 臨界点の数がデータ点の位置（チェンバー）によって変化し得る（jump behavior）ことを明確にし、その境界（判別式）の構造を記述した。

4. 応用可能性:

   • 量子情報理論における「最接近積状態（closest product states）」や「幾何学的エンタングルメント測定」など、エルミート距離臨界点が現れる分野への応用が期待される。

結論

本論文は、ユニタリ不変な行列多様体におけるエルミート距離次数の計算を、特異値の絶対対称多様体上の実ユークリッド距離次数へと還元する包括的な理論枠組みを確立した。この結果は、行列近似問題、特異値解析、および実代数幾何学の交差点において、計算幾何学と数え上げ幾何学の両方に重要な貢献を果たしている。