[論文レビュー] On symmetries of a matrix and its isospectral reduction

Malte Röntgen, Maxim Pyzh+2 more|arXiv (Cornell University)|May 25, 2021

Matrix Theory and Algorithms被引用数 3

ひとこと要約

本稿は、行列の等スペクトル的還元における対称性と元の行列における対称性との間の数学的枠組みを確立する。等スペクトル的還元 RS(H, λ) と可換な正規かつ可逆な行列 T が存在する場合、元の行列 H と可換な正規行列 Q = T ⊕ Q̃ が存在することを示すことにより、還元系における隠れた対称性が、元の系における真の対称性に対応することを証明する。これは、元の系における共スペクトル的頂点や量子系における隠れた対称性に関する先行研究を拡張するものである。

ABSTRACT

The analysis of diagonalizable matrices in terms of their so-called isospectral reduction represents a versatile approach to the underlying eigenvalue problem. Starting from a symmetry of the isospectral reduction, we show in the present work that it is possible to construct a corresponding symmetry of the original matrix.

研究の動機と目的

• 等スペクトル的還元の対称性とそれに対応する元の行列の対称性との間の厳密な関係を確立すること。
• 従来、置換行列に限られていた隠れた対称性に関する先行結果を、任意の正規かつ可逆行列へ一般化すること。
• H と HSS が固有値を共有する場合に、元の行列 H の固有ベクトルが隠れた対称性の下でどのように振る舞うかを解明する、未解決の問題を解決すること。
• 等スペクトル的還元の対称性 T から、元の行列 H と可換なグローバルな対称作用素 Q を構成するための構成的メソッドを提供すること。

提案手法

• 正規行列 T のスペクトル分解を用い、T の固有ベクトルに補集合 S でのゼロを付加することで、N次元のベクトル Φi,j を定義する。
• Φi,j と H によって生成されるクリロフ部分空間 Ki,j を構成し、T の異なる固有値に対応する部分空間が直交することを証明する。
• 各 T の固有値に対応するクリロフ部分空間の直和として、不変部分空間 eKi を定義し、それぞれの eKi に対して正規直交基底を構成する。
• スペクトル分解を用いてグローバル行列 Q を構築し、S 上では T として作用し、S 上ではゼロとして作用させることで、Q が正規かつ H-不変であることを保証する。
• eKi と V（直交補空間）が H-不変であること、および各 eKi 上で Q がスカラー作用素として作用することを示すことにより、[H, Q] = 0 を証明する。
• QSS = T および QSS = 0 が成り立つことを確認し、Q のブロック構造が等スペクトル的還元と整合していることを検証する。

実験結果

リサーチクエスチョン

• RQ1 等スペクトル的還元 RS(H, λ) の対称性 T が、元の行列 H の対応する対称性を示すための条件は何か？
• RQ2 H と HSS が固有値を共有し、T が置換行列でない対称性である場合、H の固有ベクトル構造はどのように特徴づけられるか？
• RQ3 RS(H, λ) と可換な正規かつ可逆な行列 T が存在するとき、H と可換なグローバルな対称作用素 Q が H に引き上げられるか？
• RQ4 ブロック分解の観点から、還元系の対称性 T と元の系の対称性 Q の間の構造的関係は何か？
• RQ5 等スペクトル的還元に隠れた対称性が存在する場合、H と Q の同時対角化可能性が保証されるか？

主な発見

• 正規かつ可逆な行列 T が、すべての λ ∉ σ(HSS) に対して RS(H, λ) と可換であるための必要十分条件は、すべての H^k の SS ブロックが T と可換であることである。
• 正規行列 Q = T ⊕ Q̃ が存在して [Q, H] = 0 を満たすことが示され、還元系におけるすべての隠れた対称性が、元の行列 H における真の対称性に引き上げられることを証明する。
• 構築された行列 Q は QSS = T および QSS = 0 を満たし、正しいブロック構造と等スペクトル的還元との整合性を保証する。
• H の固有ベクトルは、H と HSS がスペクトルで互いに素である限り、Q の固有ベクトルであり、固有値は T の固有値と一致することが示される。
• H と HSS が固有値を共有する場合、H の固有ベクトルは不変部分空間 eKi 内に存在する（したがって T xS = t xS を満たす）か、S でゼロに消えるかのいずれかであり、置換対称性に関する先行結果を一般化する。
• 本手法はスペクトル分解とクリロフ部分空間解析を用いて Q を明示的に構成し、還元系から元の系への対称性の引き上げを構成的証明で示す。