論文「Lissajous Varieties」の技術的サマリー

1. 概要と問題設定

本論文は、平面内の代数リサジュー図形を一般化した**アフィン代数多様体（Lissajous varieties）**の代数幾何学的性質を研究するものである。具体的には、有理数成分を持つ行列 $A \in \mathbb{Q}^{d \times n}$ で定義される線形空間の平行移動（translate）に対して、座標ごとの正弦・余弦関数を適用して得られる多様体 $L_{A,b}$ を対象とする。

• 定義: 写像 $\cos: \mathbb{C}^n \to \mathbb{C}^n$ を $(x_1, \dots, x_n) \mapsto (\cos x_1, \dots, \cos x_n)$ と定義し、アフィン線形空間 $L_{A,b} = \text{Row}(A) - b\frac{\pi}{2}$ の像を $L_{A,b} = \cos(L_{A,b})$ とする。
• 背景: 従来のリサジュー曲線は $d=1$ の場合であり、実数領域での振る舞いが主であったが、本論文では複素数領域における代数多様体としての構造（次数、定義方程式、特異点など）を体系的に解明する。
• 応用: 結合振動子の Kuramoto モデルの定常状態（平衡点）の解析、凸最適化問題との関連、および分岐解析における判別式（discriminant）の研究に繋がる。

2. 主要な手法と理論的枠組み

2.1 有理パラメータ化とトーリック多様体との関係

Lissajous 多様体 $L_{A,b}$ は、指数関数を用いた有理パラメータ化を通じて、アフィン・トーリック多様体と密接に関連していることが示される。

• オイラーの公式 $\cos(\theta) = \frac{1}{2}(e^{i\theta} + e^{-i\theta})$ を用いることで、$L_{A,b}$ は変数 $v \in (\mathbb{C}^*)^d$ を介した写像 $\psi_{A,b}$ の像として記述できる。
• この写像は、スケーリングされたトーリック多様体 $Y_{A,\beta}$（$\beta$ は $b$ に依存する定数）と、座標変換 $x_j = \frac{1}{2}(y_j + y_j^{-1})$ を組み合わせることで得られる。
• これにより、$L_{A,b}$ の定義イデアルや次数を、既知のトーリック幾何学の結果（Kushnirenko の定理など）を用いて解析可能になる。

2.2 次数（Degree）の計算

多様体 $L_{A,b}$ の次数（一般の余次元のアフィン空間との交点の数）は、行列 $A$ の列ベクトルから構成される多面体（polytope）の体積と関連付けられる。

• 多面体 $P_A$: 列ベクトル $\{a_1, \dots, a_n\}$ とその符号反転 $\{-a_1, \dots, -a_n\}$ の凸包として定義される。
• 次数の公式: 一般の $b$ に対して、次数は以下の式で与えられる（定理 1.4, 2.3, 2.4）。
  $$\deg(L_{A,b}) = \frac{d! \cdot \text{vol}(P_A)}{2^{C_{LA}} \cdot \deg(\pi_{A,b})}$$
  ここで、$d! \cdot \text{vol}(P_A)$ は正規化された体積、$C_{LA}$ は $A$ の核（kernel）におけるゼロ成分の個数（コループの数）、$\deg(\pi_{A,b})$ は射影の次数である。
• 特定の条件（$b$ が一般の値である場合など）では、次数は単に $2^{-C_{LA}} d! \text{vol}(P_A)$ となる。

2.3 定義方程式の導出（行列式表現）

$L_{A,b}$ を定義する方程式を、多項式成分を持つ行列のランク条件から導出する手法を提案する（第 3 章）。

• 乗算作用素（multiplication operator）の行列表現を用いる。具体的には、$2x_j = y_j + y_j^{-1}$ という関係式から生成される商環における乗算行列 $M_{g}$ を構成する。
• $L_{A,b}$ は、トーリック多様体の定義多項式 $g_k$ に対応する行列 $M_{g_k}$ を横に並べた行列のランクが $2n$ 未満となる点の集合として特徴付けられる（定理 3.1）。
• 特に $A$ のランクが $n-1$ の場合（超曲面の場合）、この行列の行列式が $L_{A,b}$ の定義多項式を与える（集合論的には）。

3. 主要な結果と発見

3.1 次数と体積の対応

• リサジュー多様体の次数が、対応する多面体の正規化体積に比例することを証明した。
• 例: $n$ 個の頂点を持つサイクルグラフ $C_n$ の場合、得られる多様体は「サイクル多項式（cycle polynomial）」に対応し、その次数は明示的な公式（Proposition 2.6）で与えられることが示された。

3.2 Kuramoto モデルとの接続と凸最適化

結合振動子の Kuramoto モデルの定常状態解析において、$L_{A,b}$（特に $b=1$ の場合、$S_A$）が中心的な役割を果たす。

• 平衡点と交点: Kuramoto 方程式の平衡点は、多様体 $S_A$ とアフィン空間 $Ax = \omega/K$ の交点として記述される。
• 安定性と凸最適化: 自然周波数ベクトル $\omega$ が特定の領域 $\Omega^+$（多様体の「正の部分」の射影）に含まれる場合、対応する平衡点は凸最適化問題の一意な最小解として得られ、線形安定であることが証明された（定理 4.4, 5.1, 4.6）。
  • 最適化問題: $\min \sum (x_j \arcsin x_j + \sqrt{1-x_j^2})$ かつ $Ax = \omega/K$。
  • この結果は、非線形方程式を解く代わりに、効率的な凸最適化アルゴリズムを用いて安定な平衡点を探索できることを意味する。

3.3 リサジュー判別式（Lissajous Discriminant）

パラメータ $\omega$ を変化させたときの解の個数の変化（分岐）を記述するリサジュー判別式 $\nabla_{A,b}$ を定義・研究した。

• 定義: 方程式系 $A \psi_{A,b}(v) = \omega$ のヤコビアン行列式がゼロとなる点の射影。
• 次数の上限: 判別式の次数は、多面体 $P_A$ の体積と関連した上限を持つことが示された（定理 6.8）。
• 対称性: グラフ $G$ から得られる場合、判別式はグラフの自己同型群 $\text{Aut}(G)$ の対称性を反映する（Proposition 6.11）。
• 計算: 数値ホモトピー法を用いて、サイクルグラフや完全グラフに対する判別式の次数を計算し、理論的な上限との比較を行った（Table 1）。

4. 意義と貢献

1. 代数幾何学の新たな対象の確立: 三角関数でパラメータ化された多様体を「Lissajous 多様体」として体系化し、その次数、定義方程式、特異点構造を代数幾何学的に記述した。
2. 組合せ論と幾何学の架け橋: 多様体の次数が、行列の列ベクトルから構成される多面体の体積（組合せ論的対象）で与えられることを示し、代数幾何と凸幾何の深い関係を明らかにした。
3. 応用数学への貢献:
   • Kuramoto モデル: 従来の代数的アプローチとは異なる、凸最適化と多様体の幾何学に基づく新しい視点を提供し、安定な平衡点の効率的な同定法を確立した。
   • 分岐解析: 判別式の構造を解析することで、振動子系の分岐挙動を理解するための新しい道具（リサジュー判別式）を提案した。
4. 計算可能性: 定義方程式の行列式表現や、ホモトピー継続法を用いた判別式の計算アルゴリズムを提示し、具体的な数値計算の可能性を示した。

5. 結論

本論文は、リサジュー図形という古典的な概念を高度な代数幾何学の枠組みで再解釈し、その構造を多面体の体積や凸最適化問題と結びつけた画期的な研究である。特に、非線形振動子系の平衡点解析において、凸最適化の強力なツールを適用可能にした点は、理論的・実用的な両面で大きな意義を持つ。さらに、判別式の対称性や次数に関する結果は、今後の分岐理論や代数多様体の計算幾何学への発展的な応用が期待される。