[論文レビュー] A remark on an estimate by Minami

Gian Michele Graf, Alessio Vaghi|ArXiv.org|Apr 14, 2006

Spectral Theory in Mathematical Physics参考文献 2被引用数 6

ひとこと要約

この論文は、アンダーソン模型におけるグリーン関数の虚部の2×2行列式の期待値についての皆実のウェグナー型推定を、任意の有限次元および磁場を有する系へ一般化する。リゾルベント行列の虚部の行列式の積分に関する新しい恒等式を証明することで、n×n行列式に対してπⁿの上界を確立し、皆実の結果を対称的（非磁場）ハミルトニアンを超えて拡張し、外部磁場を有する不規則系への応用を可能にする。

ABSTRACT

In the context of the Anderson model, Minami proved a Wegner type bound on the expectation of 2 by 2 determinant of Green's functions. We generalize it so as to allow for a magnetic field, as well as to determinants of higher order.

研究の動機と目的

• 皆実の2×2グリーン関数行列式の虚部に対するウェグナー型上界を、対称的（非磁場）でない場合へ拡張すること。
• ハミルトニアンにおけるエルミート対称性の仮定を除去すること（これは外部磁場の不在に相当する）。
• 2×2に限らない任意の次数n×nに対する上界の一般化。
• アンダーソン模型に磁場を含む一般の運動エネルギー演算子（非対角成分が速やかに減衰する）に対しても適用可能な厳密な数学的枠組みの提供。

提案手法

• Im A > 0 を満たす複素行列Aに対し、(diag(v₁,…,vₙ)−A)⁻¹ の虚部の行列式の積分に関する新しい恒等式を導出すること。
• 複素解析的手法を用い、Im(āb) > 0 を満たすābに対して ∫ dx / |ax + b|² = π / Im(āb) という積分公式を適用すること。
• シュール補行列と行列逆数恒等式を用いて、n次元積分を再帰的構造へ簡約し、帰納法を可能にする。
• 正定値行列の性質と帰納法を用いて、行列式の積分がπⁿで有界であることを証明すること。
• πⁿの上界が鋭く、行列要素の実部に依存しないことを示し、積分変数の実部シフトに対する不変性に依拠すること。
• クレインの公式を用いて、行列リゾルベントとアンダーソン模型における物理的グリーン関数を結びつけること。

実験結果

リサーチクエスチョン

• RQ1 皆実の2×2行列式上界は、アンダーソン模型の文脈で高次行列式へ拡張可能か？
• RQ2 ハミルトニアンに磁場が含まれ、G(x,y) = G(y,x) の対称性が破れる場合でも、2×2行列式に対するπ²の上界は有効か？
• RQ3 任意のnについて、グリーン関数の虚部のn×n行列式に対する上界は一般化可能か？
• RQ4 皆実の結果の証明は、K(x,y) = K(y,x) を仮定しない非対称ハミルトニアンへも適応可能か？
• RQ5 n×nの場合における、リゾルベント行列の虚部の行列式の積分に対する最良の上界は何か？

主な発見

• 複素行列Aに対して、Im A > 0 を満たすとき、(diag(v₁,v₂)−A)⁻¹ の虚部の行列式のv₁, v₂に関する積分はπ²で有界であり、等号は対称的の場合にのみ成立する。
• π²の上界はn×n行列へ一般化され、任意のnについて ∫ dv₁⋯dvn det(Im[diag(v₁,…,vₙ)−A]⁻¹) ≤ πⁿ が成り立つ。
• 上界は鋭く、行列要素aᵢⱼの実部に依存しない。これは積分がvᵢの実部シフトに対して不変であることに起因する。
• K(x,y) = K(y,x) の対称性を仮定せずとも成立するため、ハミルトニアンに磁場を含めることを可能にする。
• 重要な恒等式(4)は2×2の場合の正確な表現を提供し、上界がdet(Im A)と非対角項|a₁₂|², |a₂₁|²に依存することを示している。
• 証明はシュール補行列による再帰的構造に依拠し、最終的な上界は正定値行列に対するコーシーの不等式を用いて導出される。