[論文レビュー] A Hilbert-Schmidt analog of Huaxin Lin's Theorem

N. Filonov, Ilya Kachkovskiy|arXiv (Cornell University)|Aug 24, 2010

Advanced Operator Algebra Research参考文献 5被引用数 10

ひとこと要約

この論文は、ほぼ可換な行列に対する自己随伴近似の存在を示す華新林の定理のヒルベルト＝シュミットノルム版を確立する。固有値のクラスタリングとブロック対角射影に基づく分割技術を用いて、[H₁, H₂] の正規化されたヒルベルト＝シュミットノルムが δ であるならば、ヒルベルト＝シュミットノルムで 2δ^{1/4} の距離にある可換な自己随伴行列 A₁, A₂ が存在することを証明する。また、\|H_i - A_i\|_{\mathop{\mathrm{tr}}\nolimits} \leq 2\delta^{1/4} を満たし、従来の境界を改善する。

ABSTRACT

The paper is devoted to the following question: consider two self-adjoint $n imes n$-matrices $H_1,H_2$, $\|H_1\|\le 1$, $\|H_2\|\le 1$, such that their commutator $[H_1,H_2]$ is small in some sence. Do there exist such self-adjoint commuting matrices $A_1,A_2$, such that $A_i$ is close to $H_i$, $i=1,2$? The answer to this question is positive if the smallness is considered with respect to the operator norm. The following result was established by Huaxin Lin: if $\|[H_1,H_2]\|=δ$, then we can choose $A_i$ such that $\|H_i-A_i\|\le C(δ)$, $i=1,2$, where $C(δ) o 0$ as $δ o 0$. Notice that $C(δ)$ does not depend on $n$. The proof was simplified by Friis and Rørdam. A quantitative version of the result with $C(δ)=E(1/δ)δ^{1/5}$, where $E(x)$ grows slower than any power of $x$, was recently established by Hastings. We are interested in the same question, but with respect to the normalized Hilbert-Schmidt norm. An analog of Lin's theorem for this norm was established by Hadwin and independently by Filonov and Safarov. A quantitative version with $C(δ)=12δ^{1/6}$, where $δ=\|[H_1,H_2]\|_{ r}$, was recently obtained by Glebsky. In the present paper, we use the same ideas to prove a similar result with $C(δ)=2δ^{1/4}$. We also refine Glebsky's theorem concerning the case of $n$ operators.

研究の動機と目的

• ほぼ可換な自己随伴行列のヒルベルト＝シュミットノルムにおけるリンの作用素ノルム結果を、正規化されたヒルベルト＝シュミットノルムに拡張すること。
• ヒルベルト＝シュミット設定における、ほぼ可換な行列とその可換近似との間の距離の定量的境界を改善すること。
• 反復的ブロック対角化を用いて、n 個のほぼ可換な自己随伴行列の n 重組に一般化すること。
• 正規化されたヒルベルト＝シュミットノルム制御下で、近似誤差が交換子ノルムにどのように依存するかを明確にすること、特に \delta^{1/4} の形で。

提案手法

• インデックス集合 \{1,\dots,n\} を小さな例外集合 J と、各 L_a 内の固有値が 1/m 以内に収まるクラスタ L_a に分割する。また、クラスタ間は少なくとも 1/(km) の間隔を保つ。
• 各クラスタ L_a 内の固有値を平均化するブロック対角行列 A₁ を定義し、自己随伴性と作用素ノルム \leq 1 を保つ。
• H₂ を同じブロックに射影したブロック対角行列 A₂ を定義し、[A₁, A₂] = 0 かつ \|A₂\| \leq 1 となるようにする。
• H_i - A_i のヒルベルト＝シュミットノルムを、固有値クラスタリングの誤差（\sim 1/m）とブロック外項の誤差（\sim 1/k）で抑え、\delta に依存する k と m を最適化する。
• m 個の作用素に対してこの手法を反復的に適用し、逐次的近似を通じて交換子ノルムの減少を追跡する。
• 誤差伝搬を制御するため、不等式 \|AB\|_{\mathop{\mathrm{tr}}\nolimits} \leq \|A\| \|B\|_{\mathop{\mathrm{tr}}\nolimits} を適用する。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト＝シュミットノルムでほぼ可換な自己随伴行列は、交換子ノルムのべき乗として減少する誤差を持つ可換な自己随伴行列に近似可能か？
• RQ2 ヒルベルト＝シュミット設定におけるこのような近似の誤差境界 C(\delta) の最適な指数は何か？
• RQ3 2 個の行列に用いられた手法を m 個のほぼ可換な自己随伴行列に一般化可能か？
• RQ4 反復的近似プロセスは交換子ノルムと最終的な近似誤差にどのように影響するか？

主な発見

• \|H_i\| \leq 1 かつ \|[H_1, H_2]\|_{\mathop{\mathrm{tr}}\nolimits} = \delta \leq 1/16 である 2 つの自己随伴 n \times n 行列に対して、可換な自己随伴近似 A₁, A₂ が存在し、\|H_i - A_i\|_{\mathop{\mathrm{tr}}\nolimits} \leq 2\delta^{1/4} を満たす。
• 2\delta^{1/4} の境界は、ヒルベルト＝シュミット設定における従来の最良境界 12\delta^{1/6} よりも改善されている。
• 構成により [H₁, A₁] = 0 が保たれ、近似が H₁ の固有値構造を保存する。
• m \geq 3 の自己随伴行列で、対ごとの交換子ノルムが \leq \delta である場合、\delta \leq 1/16^{2 \cdot 4^{m-2}} の条件下で \|H_i - A_i\|_{\mathop{\mathrm{tr}}\nolimits} \leq 5\delta^{1/4^{m-1}} の境界が確立される。
• 反復的手法により、各ステップで交換子ノルムが \delta^{1/4} のオーダーで減少し、誤差境界が幾何級数的に減少する。
• この手法は、分割補題による固有値クラスタリングとブロック対角射影に依存し、最適パラメータは k = \lfloor 2/\delta^{1/2} \rfloor、m = \lfloor 1/(2\delta^{1/4}) \rfloor である。