[論文レビュー] On a Factorization of Symmetric Matrices and Antilinear Symmetries

Alí Mostafazadeh|ArXiv.org|Mar 14, 2002

Matrix Theory and Algorithms参考文献 7被引用数 4

ひとこと要約

本稿では、任意の複素対称行列が正方行列とその転置の積として因数分解可能であることを単純な証明により示し、これが量子力学における反線形演算子の一意性を確立するために応用されている。主な貢献は、実または複素共役固有値をもつ系における反線形対称性の標準形を導くことができる構成的因数分解法である。

ABSTRACT

We present a simple proof of the factorization of (complex) symmetric matrices into a product of a square matrix and its transpose, and discuss its application in establishing a uniqueness property of certain antilinear operators.

研究の動機と目的

• 複素対称行列が c = vv^T と因数分解可能であることを、単純かつ構成的証明する。
• この因数分解を用いて、実または複素共役固有値をもつ量子系における反線形演算子の一意性問題を解消する。
• 基底変換を除いて、対角化可能な線形演算子 H に対して H* = THT⁻¹ を満たす反線形演算子 T が一意に存在することを示す。
• 自己随伴演算子が T² = I を満たす T によって生成される反線形対称性をもつことを確立する。
• 有限次元ヒルベルト空間における G-擬ヒルベルト演算子および反線形対称性に関する結果を一般化する。

提案手法

• 行列の次元に関する数学的帰納法を用いて、任意の複素対称行列 c が c = vv^T を満たす正方行列 v によって表現可能であることを証明する。
• 固有ベクトルの分解と基底変換技術を用いて、問題を低次元の対称行列に還元する。
• パラメータ x_i と y_i を調整可能な変換行列 D を導入し、行列の構造を操作し、逆行列性を保証する。
• 帰納法の仮定を縮小された n×n 対称部分行列に適用し、(n+1)×(n+1) 行列全体に対しても因数分解行列 v の存在を保証する。
• 行列式解析を用いて、部分行列がゼロでない限り変換行列 D が非特異にできることが示され、部分行列がゼロの場合には別個の構成が適用される。
• 直交変換に対して因数分解が不変であることを示し、v の標準形の構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 任意の複素対称行列は、行列とその転置の積として因数分解可能か？
• RQ2 H* = THT⁻¹ を満たす反線形演算子 T は、基底変換を除いて一意的か？
• RQ3 線形演算子 H がどのような条件下で反線形対称性をもつのか？
• RQ4 因数分解 c = vv^T は、量子系における反線形演算子 T の形を単純化するために利用可能か？
• RQ5 自己随伴ハミルトニアン H に対して、反線形演算子 T の標準形は何か？

主な発見

• 任意の複素対称行列 c は、ある正方行列 v を用いて c = vv^T と因数分解可能であり、帰納法と構成的変換により証明された。
• 因数分解は v → vo に対して不変であり（任意の複素直交行列 o に対して）、v の標準形の構成が可能である。
• 基底変換を除いて、H* = THT⁻¹ を満たす反線形演算子 T が一意に存在し、Tζ = ∑ₙ∑ₐ(φₙ,ₐ, ζ)φₙ,ₐ で与えられる。
• 自己随伴演算子 H に対して、標準的な反線形対称性演算子 T は T² = I を満たす。
• H の固有値が実数であるか、または複素共役対をなすための必要十分条件として、反線形対称性の存在が成り立つ。
• 構成法により、変換行列 D がゼロでない部分行列に対しては常に逆行列にできることが保証され、部分行列がゼロの場合には別個の帰納的ケースが適用される。