[論文レビュー] Localization for Random Unitary Operators

Eman Hamza, Alain Joye+1 more|SPIRE - Sciences Po Institutional REpository|Apr 25, 2005

Numerical methods in inverse problems被引用数 7

ひとこと要約

本稿は、$ \ell^2(\mathbb{Z}) $ および $ \ell^2(\mathbb{N}) $ 上のランダムユニタリ作用素 $ U_\omega = D_\omega S $ に対して、ほとんど確実な純粋な点スペクトル（局在化）を確立する。ここで $ S $ は決定論的なバンドユニタリ行列であり、$ D_\omega $ は独立同分布の位相からなるランダムな対角行列である。主な結果は、$ S $ のすべてのパrameter値に対して局在化が成立することであり、1次元のアンダーソン模型との類似性を完全に完成させるとともに、定数ノルムの相関のあるヴェルブリュンスキー係数をもつ単位円上での直交多項式への応用を拡張する。

ABSTRACT

We consider unitary analogs of $1-$dimensional Anderson models on $l^2(\Z)$ defined by the product $U_ω=D_ωS$ where $S$ is a deterministic unitary and $D_ω$ is a diagonal matrix of i.i.d. random phases. The operator $S$ is an absolutely continuous band matrix which depends on a parameter controlling the size of its off-diagonal elements. We prove that the spectrum of $U_ω$ is pure point almost surely for all values of the parameter of $S$. We provide similar results for unitary operators defined on $l^2(\N)$ together with an application to orthogonal polynomials on the unit circle. We get almost sure localization for polynomials characterized by Verblunski coefficients of constant modulus and correlated random phases.

研究の動機と目的

• ランダムな対角行列 $ D_\omega $（独立同分布の位相）と決定論的なバンドユニタリ行列 $ S $ からなる $ U_\omega = D_\omega S $ のユニタリ作用素 $ U_\omega $ に対して、$ \ell^2(\mathbb{Z}) $ 上で局在化（純粋な点スペクトル）を確立すること。
• 境界条件や半直線設定におけるスペクトル性質を考慮して、$ \ell^2(\mathbb{N}) $ 上の作用素に対しても局在化を確立すること。
• 特に、定数ノルムで相関のあるランダム位相をもつヴェルブリュンスキー係数をもつ、単位円上での直交多項式（OPUC）への応用。
• 小散乱仮定を必要とせず、$ S $ のすべてのパrameter値に対して局在化を証明することで、1次元アンダーソン模型との類似性を完全に完成させること。

提案手法

• 一般化固有関数を解析し、ユニタリ系に適したリャプノフ指数を定義するための伝達行列形式の使用。
• アイゼンマンとモルチャンフの分数モーメント法をユニタリ設定に適応して局在化を証明。
• 伝達行列に関連するモノドロミー行列 $ \tau(G_{\alpha,\nu}) $ の解析により、既約性と非コンパクト性を証明し、スペクトルの局在化を確立。
• 伝達行列によって生成される群が非コンパクトかつ既約であることを証明し、絶対連続スペクトルの不在と局在化を示す。
• トレースと行列式の恒等式を用いて、群に属する特定の行列のトレースが2より大きいことを示し、非コンパクト性を確認。
• [J1] における先行研究に基づき、ユニタリ設定へのトゥースラー公式および状態密度の概念の構築。

実験結果

リサーチクエスチョン

• RQ1 決定論的なバンド行列 $ S $ のオフダイアゴナル要素を制御するパrameterのすべての値に対して、$ \ell^2(\mathbb{Z}) $ 上のランダムユニタリ作用素 $ U_\omega = D_\omega S $ が純粋な点スペクトルをもつか、特に小散乱仮定を必要としないか？
• RQ2 $ \ell^2(\mathbb{N}) $ 上のユニタリ作用素に対して、特に単位円上での直交多項式の文脈において、局在化を確立できるか？
• RQ3 OPUCにおけるヴェルブリュンスキー係数が定数ノルムだが相関のあるランダム位相をもつ場合、スペクトル的結果はどうなるか？
• RQ4 モノドロミー群の既約性および非コンパクト性が、ユニタリ設定におけるスペクトル局在化とどのように関係するか？
• RQ5 分数モーメント法をユニタリ作用素の局在化証明に適応できる範囲はどの程度か？その成功を保証する条件は何か？

主な発見

• パrameterが $ S $ の非対角要素を制御するすべての値に対して、$ \ell^2(\mathbb{Z}) $ 上の $ U_\omega = D_\omega S $ のスペクトルはほとんど確実に純粋な点スペクトルである。これは1次元アンダーソン模型との類似性を完全に完成させる。
• $ \ell^2(\mathbb{N}) $ 上のユニタリ作用素に対しても局在化が確立され、特定の条件下で単位円上での直交多項式のCMV行列表現が $ D_\omega S $ とユニタリ同値である。
• 位相が独立同分布または特定の方法で相関する場合、$ |\alpha_k(\omega)| = r $ で定数ノルムをもつヴェルブリュンスキー係数 $ \alpha_k(\omega) $ に対応するCMV行列は、ほとんど確実に局在化を示す。
• モノドロミー群 $ \tau(G_{\alpha,\nu}) $ が既約かつ非コンパクトであることが示され、これは絶対連続スペクトルの不在を意味し、局在化を支持する。
• 群に属する重要な行列 $ K = J^{-1}L $ のトレースは $ \theta \neq \eta $ のとき2より厳密に大きいことが示され、非コンパクト性が確認され、したがって分数モーメント法により局在化が保証される。
• 小パrameter（大散乱）仮定を外すことで、[J2] の先行結果を一般化し、1次元ユニタリモデルに対して普遍的な局在化を証明した。