[論文レビュー] Free Pick functions: representations, asymptotic behavior and matrix monotonicity in several noncommuting variables

J. E. Pascoe, Ryan Tully‐Doyle|arXiv (Cornell University)|Sep 6, 2013

Holomorphic and Operator Theory参考文献 56被引用数 5

ひとこと要約

この論文は、非可換解析の自由設定における、古典的なネヴァンリンナおよびローレンツの定理（ピック関数および行列単調性に関する）を拡張する。自由ピック関数—正の虚部を持つ行列の組から正の虚部を持つ行列へと値をとる解析的写像—に対して、積分表現（ネヴァンリンナ型）を確立し、関連する作用素の構造的リゾルベント形式およびスペクトル条件を用いて行列単調性を特徴づける。

ABSTRACT

We extend the study of the Pick class, the set of complex analytic functions taking the upper half plane into itself, to the noncommutative setting. R. Nevanlinna showed that elements of the Pick class have certain integral representations which reflect their asymptotic behavior at infinity. Loewner connected the Pick class to matrix monotone functions. We generalize the Nevanlinna representation theorems and Loewner's theorem on matrix monotone functions to the free Pick class, the collection of functions that map tuples of matrices with positive imaginary part into the matrices with positive imaginary part which obey the free functional calculus.

研究の動機と目的

• ピック関数のネヴァンリンナ積分表現定理を、複数変数における自由（非可換）設定に一般化すること。
• 行列単調性に関するローレンツの定理を、正の虚部を持つ行列の組から正の虚部を持つ行列へ写像する自由関数へと拡張すること。
• 自由ピック関数の無限大における漸近的挙動を、その表現に関する作用素論的条件を用いて特徴づけること。
• 成長およびスペクトル条件に基づいて、自由ピック関数のネヴァンリンナ型表現（タイプ1～4）の階層を構築すること。
• 自由行列単調性と、自由関数計算枠組みにおける特定の構造的リゾルベント表現の存在との間の対応関係を確立すること。

提案手法

• 非可換作用素理論と整合性を持つように、正の虚部を持つ行列の組への自由写像を自由関数計算を用いて定義する。
• 隠れた等長写像（lurking isometry）の技法を用いて、自由係数ハーディー空間における線形形式の構造的リゾルベント表現を導出する。
• 無限大における漸近的挙動に基づき、複雑性とスペクトル制約が増加する4つのタイプ（タイプ1～4）のネヴァンリンナ表現を導入する。
• ハムバーガーのモデル構成法を用いて、自由ピック関数と正定値ヘンケル行列およびモーメント列とを結びつける。
• スペクトル測度およびスペクトル定理を用いて、リゾルベント表現の収束を分析し、有限モーメントの存在条件を導出する。
• 実自由微分作用素の恒等式および支配的点（dominating point）技法を用いて、自由写像の構造および境界挙動を分析する。

実験結果

リサーチクエスチョン

• RQ1 複数変数におけるピック関数の非可換版としてのネヴァンリンナ積分表現の非可換アナログは何か？
• RQ2 ローレンツの行列単調性定理は、非可換変数における自由関数へどのように拡張可能か？
• RQ3 自由ピック関数が有限測度を伴うネヴァンリンナ型積分表現をもつための必要十分条件は何か？
• RQ4 自由ピック関数の無限大における漸近的挙動は、関連作用素モデルのスペクトル的性質とどのように関係するか？
• RQ5 非可換設定における自由行列単調関数のリゾルベント表現の正確な構造は何か？

主な発見

• 無限大で有限の1階モーメント条件を満たす自由ピック関数は、定数項が消えるタイプ1のネヴァンリンナ型積分表現をもつ。
• 自由ピック関数がタイプ2表現をもつための必要十分条件は、関連作用素のスペクトル測度νが ∫(1 + t²) dν(t) < ∞ を満たすことである。
• タイプ3表現の存在は、liminf_{s→∞} s Im h(isχ) < ∞ であることに同値であり、これは有界スペクトル測度の存在を意味する。
• タイプ4表現は、成長制限なしの一般自由ピック関数クラスに対応し、自己共役作用素およびその定義内に属するベクトルを含む構造的リゾルベント形式を持つ。
• 自由関数の行列単調性は、上半平面への解析接続および正の測度を伴うネヴァンリンナ表現の存在と同値である。
• 本論文は、タイプ1～4の完全な表現階層を確立し、各タイプが無限大における関数の挙動に関して、より強い漸近的またはスペクトル的条件に対応する。