[論文レビュー] Problems and Conjectures in Matrix and Operator Inequalities

Katrien Audenaert, Fuad Kıttaneh|arXiv (Cornell University)|Jan 25, 2012

Mathematical Inequalities and Applications参考文献 25被引用数 10

ひとこと要約

本稿は、分数乗法とユニタリに不変なノルムの関数的解析的性質に焦点を当て、行列および作用素の不等式における体系的で選択的な未解決問題と予想のコレクションを提示する。非可換な部分加法性、補完的不等式、および多項式の幾何的性質は行列形式を通じて探求され、主な貢献として、D-同伴行列および巡回行列を用いたセンドフの予想の再定式化がなされ、ノルムの上限と固有値分布に関する未解決の問題が提示される。

ABSTRACT

We present a treasure trove of open problems in matrix and operator inequalities, of a functional analytic nature, and with various degrees of hardness.

研究の動機と目的

• 関数解析の研究者を対象に、行列および作用素の不等式における挑戦的で包括的かつ選択的な未解決問題のセットを編纂すること。
• 凹関数およびユニタリに不変なノルムに対する非可換部分加法性不等式の妥当性と一般化を調査すること。
• カントロヴィッチ型の境界を超えた補完的不等式を、特に行列および多項式理論における幾何的解釈を伴って探求すること。
• 特にセンドフの予想を含む古典的な多項式幾何の予想を、D-同伴行列や巡回行列などの行列理論的ツールを用いて再定式化すること。
• 固有値問題の逆問題における必要十分条件を、ヘルミート行列、正規行列、および指定された固有値と特異値を持つ行列の圧縮に関するものとして特定すること。

提案手法

• 正定値半定値および正規行列のスペクトル的性質とユニタリに不変なノルムを用いて、古典的な部分加法性不等式を一般化する。
• シュターンp-ノルムおよび特異値の理論を適用し、$||| |A+B|^p ||| \leq ||| |A|^p + |B|^p |||$ などの分数乗法を含む不等式を分析する。ここで $0 < p \leq 1$ である。
• D-同伴行列の構成を用いて、多項式の根とその微分の固有値との関係を確立し、センドフの予想の再定式化を可能にする。
• 巡回行列の構造を用いて、微分の根が、その固有値が多項式の根である巡回行列 $C$ の主部分行列 $C'$ の固有値として表されることを導出する。
• 関数計算および数値範囲理論を適用し、$\|p(A)\|$ の境界を $\sup\{|p(\mu)| : \mu \in W(A)\}$ の観点から分析する。これはクローツェイの予想に類似する。
• ユニタリ共役および主要化技術を活用し、$f(|A+B|)$ と $f(|A|)+f(|B|)$ を含む不等式を調べ、最適な定数の境界に注目する。

実験結果

リサーチクエスチョン

• RQ1 すべての $A, B \in \mathbb{M}_n(\mathbb{C})$ およびすべての非負の凹関数 $f$ に対して、ユニタリに不変なノルムに対して、不等式 $|||f(|A+B|)||| \leq c \, |||f(|A|)+f(|B|)|||$ が、ある普遍的な定数 $c$ を用いて成り立つかどうか。
• RQ2 すべての正定値半定値行列 $A, B$ および $0 < p < 1$ に対して、不等式 $\sigma_i(A^p B^{1-p} + B^p A^{1-p}) \leq \sigma_i(A + B)$ が成り立つかどうか。
• RQ3 単調性を仮定しない凹関数 $f$ 全体に対して、部分加法性不等式 $|||f(A+B)||| \leq |||f(A) + f(B)|||$ が拡張可能かどうか。
• RQ4 定理2の条件の下で、あるユニタリ行列 $U, V$ に対して、二重不等式 $0 \leq f(A+B) - Uf(A)U^* \leq Vf(B)V^*$ が存在するか。
• RQ5 すべての行列 $A$ および多項式 $p$ に対して、$\|p(A)\| \leq k \sup\{|p(\mu)| : \mu \in W(A)\}$ を満たす最小の定数 $k$ は何か。

主な発見

• すべての正定値半定値行列 $A, B$ および $0 < p \leq 1$ に対して、任意のユニタリに不変なノルムにおいて、不等式 $||| |A+B|^p ||| \leq ||| |A|^p + |B|^p |||$ が成り立つ。
• フロベニウスノルムに関して、リーは非正規の場合の最適定数が $c = \sqrt{(1 + \sqrt{2})/2} \approx 1.207$ であると予想しているが、既知の最良の境界は $c = \sqrt{2}$ である。
• センドフの予想は、すべての $\lambda_i$ が単位円板内にあるとき、D-同伴行列 $D(I - J/n)$ が閉単位円板内に固有値を持つという主張と同値である。
• 根が $\lambda_i$ である多項式 $p(z)$ の微分の根は、その固有値が $\lambda_i$ である巡回行列 $C$ の主部分行列 $C'$ の固有値として表される。
• 不等式 $\sigma_i(A^p B^{1-p} + A^{1-p} B^p) \leq \sigma_i(A + B)$ は $p = 1/2$ の場合に既に知られているが、一般の $p \in (0,1)$ については未解決のままである。
• クローツェイの予想は、普遍的な定数 $k$ が存在し、$\|p(A)\| \leq k \sup\{|p(\mu)| : \mu \in W(A)\}$ を満たすと述べるものであり、最良の既知の境界は $k = 2$ と予想されている。