[論文レビュー] On the stochastic Lie algebra

Manuel Guerra, Andrey Sarychev|arXiv (Cornell University)|May 18, 2018

Advanced Topics in Algebra参考文献 6被引用数 3

ひとこと要約

本稿は、stochastic Lie代数 𝔰(n,ℝ) について厳密な解析を提供し、Levi分解を確立するとともに、正規直交基底を用いて 𝔰𝔩(n−1,ℝ) に同型であることを証明している。著者らはこの基底を用いてキリング形式を明示的に計算し、Levi因子の半単純性を確認するとともに、𝑠(n,ℝ) が2つの一般行列によって生成可能であることを示しており、これにより先行研究における欠落を補い、stochastic群 𝒮(n,ℝ) の代数的構造を明確にした。

ABSTRACT

We study the structure of the Lie algebra $\mathfrak{s}(n,\mathbb R)$ corresponding to the so-called stochastic Lie group $\mathcal{S} (n,\mathbb R)$. We obtain the Levi decomposition of the Lie algebra, classify Levi factor and classify the representation of the factor in $\mathbb{R}^n$. We discuss isomorphism of $\mathcal{S}(n,\mathbb R)$ with the group of invertible affine maps ${\it Aff}(n-1,\mathbb R)$. We prove that $\mathfrak s(n, \mathbb R)$ is generated by two generic elements.

研究の動機と目的

• stochastic Lie代数 𝔰(n,ℝ) のLevi分解を厳密に確立し、先行研究におけるLevi因子の半単純性および根基の極大性に関する論理的欠落を是正すること。
• 𝔰(n,ℝ) のLevi因子を分類し、キリング形式とダイキン図を明示的に計算することで、𝔰𝔩(n−1,ℝ) に同型であることを示すこと。
• stochastic Lie代数 𝔰(n,ℝ) が2つの一般行列によって生成可能であることを証明し、最小生成問題を解決すること。
• stochastic群 𝒮(n,ℝ) と可逆なアフィン写像の群 Aff(n−1,ℝ) の間の同型関係を明確にし、対応するLie代数構造を分析すること。
• Lie代数的不変量（キリング形式など）の明示的計算を可能にする正規直交基底を構成し、代数的構造の分類を可能とすること。

提案手法

• 超平面 Πₙ = {x ∈ ℝⁿ : ∑xᵢ = 0} に属するベクトルと正規化された全1ベクトル v₀ = (1,…,1)/√n を用いて、𝔰(n,ℝ) に対する正規直交基底を構成する。
• 基底行列を定義：Z = (1/√(n−1))(Iₙ − v₀⊗v₀)，Rᵢ = v₀⊗vᵢ (i=1,…,n−1)，Aᵢⱼ = vᵢ⊗vⱼ (i≠j)，H ∈ ℋ かつ ∑γₗ = 0 を満たす。
• 正規直交基底を用いてキリング形式を明示的に計算し、カタンの基準を適用してLevi部分代数 𝔩 の半単純性を証明する。
• ダイキン図を導出し、根系が Aₙ₋₂ に一致することを確認することで、Levi部分代数 𝔩 が 𝔰𝔩(n−1,ℝ) に同型であることを示す。
• 反復的アダマール作用 adᵏXY が代数のすべての基底要素を生成するような、𝔰(n,ℝ) 内の2つの一般行列 X と Y を構成する。
• 非退化性条件（γᵢ ≠ 0, γᵢ ≠ γⱼ, γᵢ−γⱼ ≠ γₖ−γₗ）を満たすベクトル γ ∈ ℝⁿ⁻¹ を用いて、行列 (γᵢ−γⱼ)ᵏ がフルランクをとることを保証し、代数全体の生成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 stochastic Lie代数 𝔰(n,ℝ) の正しいLevi分解は何か？ また、Levi因子の半単純性はどのように厳密に確立できるか？
• RQ2 𝔰(n,ℝ) のLevi因子は 𝔰𝔩(n−1,ℝ) に同型であるか？ その明示的構造は何か？
• RQ3 stochastic Lie代数 𝔰(n,ℝ) は2つの要素のみで生成可能か？ もしそうなら、その最小生成を保証する条件は何か？
• RQ4 stochastic群 𝒮(n,ℝ) の構造は、可逆なアフィン変換の群 Aff(n−1,ℝ) とどのように関係しているか？ 対応するLie代数の同型は何か？
• RQ5 正規直交基底は、キリング形式の明示的計算および代数的構造の分類をどのように可能にするか？

主な発見

• stochastic Lie代数 𝔰(n,ℝ) は、𝔭 = 𝔩 ⊕ 𝔯 というLevi分解 𝔰(n,ℝ) = 𝔩 ⊕ 𝔯 を持つ。ここで 𝔯 は行列 Ĥᵢ = Eᵢ(n) − Eₙ(n) および Ẑ = Iₙ − (1/n)Jₙ によって生成される根基である。
• Levi部分代数 𝔩 は、ダイキン図 Aₙ₋₂ とキリング形式の明示的計算により、𝔰𝔩(n−1,ℝ) に同型であることが確認された。
• 正規直交基底を用いて、𝔰(n,ℝ) 上のキリング形式を明示的に計算し、カタンの基準により 𝔩 の半単純性が確認された。
• stochastic群 𝒮(n,ℝ) は、行列 M による共役作用を介して、可逆なアフィン写像の群 Aff(n−1,ℝ) に同型である。
• 非退化性条件を満たす γ に対して、反復的アダマール作用 adᵏXY が代数全体を張ることを示した。これにより、𝔰(n,ℝ) は2つの一般行列 X と Y で生成可能である。
• 𝔰(n,ℝ) の最小生成数は2であり、これは行列 (γᵢ−γⱼ)ᵏ がランク m = (n−1)(n−2) を持つことから、生成された基底要素の線形独立性が保証されることで証明された。