[論文レビュー] A Determinantal Inequality for the Geometric Mean with an Application in Diffusion Tensor Imaging

Koenraad M. R. Audenaert|arXiv (Cornell University)|Feb 18, 2015

Mathematical Inequalities and Applications参考文献 3被引用数 4

ひとこと要約

本稿では、正定値行列 $ A $ および $ B $ に対して、行列幾何平均 $ A\#B $ を用いて、$ \det(I + A\#B) \leq \det(I + A^{1/2}B^{1/2}) $ が成り立つ行列式不等式を確立する。この結果は、拡散テンソル画像法（DTI）に応用され、Procrustes補間が、Eucledianルート補間と比較して、行列式の増加が小さい、つまり画像の「腫脹」が少ないことを示している。

ABSTRACT

We prove that for positive semidefinite matrices $A$ and $B$ the following determinantal inequality holds: \[ \det(I+A\#B)\le \det(I+A^{1/2}B^{1/2}), \] where $A\#B$ is the geometric mean of $A$ and $B$. We apply this inequality to the study of interpolation methods in diffusion tensor imaging.

研究の動機と目的

• 行列幾何平均と平方根の算術的類似平均を含む新しい行列式不等式を確立すること。
• 行列式の挙動に基づいて、拡散テンソル画像法（DTI）における補間手法を評価するための数学的枠組みを提供すること。
• DTIにおけるProcrustes距離とEucledianルート距離の違いが、補間中の行列式増加に与える影響を比較すること。
• Procrustes経路が行列式増加を最小化することを示し、医療MRI再構成における画像の腫脹を低減すること。
• 補間（$ 0 \leq p \leq 1 $）および外挿（$ p < 0 $ または $ p > 1 $）の両領域に一般化すること。

提案手法

• 幾何平均 $ A\#B $ と積 $ A^{1/2}B^{1/2} $ の間の固有値の対数マジョライゼーションを用いて、重要な不等式を導出する。
• 反対称テンソル積を用いたWeylのテクニックにより弱対数マジョライゼーションを確立し、Cauchy-Binet定理を用いてこれを強化する。
• 関数 $ \Phi(\mathbf{x}) = \sum_{i=1}^n \log(1 + e^{x_i}) $ の単調性を用いて、行列式不等式と同値なトレース不等式を証明する。
• ユニタリ最適化された平方根を用いてProcrustes補間経路を再定式化し、補間行列を $ D_S(p) = |pQ_1 + (1-p)U^*Q_2|^2 $ の形で表現する。
• Procrustes経路とEucledianルート経路の行列式比較を、$ \det(Q_1 + U^*Q_2) \leq \det(Q_1 + Q_2) $ を含む行列不等式に翻訳する。
• 連続性およびユニタリ不変性を用いて、可逆行列から一般の正半定値行列への結果の拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 拡散テンソル画像法におけるProcrustes補間経路は、Eucledianルート経路よりも行列式の増加が小さいか？
• RQ2 行列幾何平均 $ A\#B $ と積 $ A^{1/2}B^{1/2} $ の間に行列式不等式を確立できるか？
• RQ3 リーマン幾何、Eucledianルート、Procrustesの各距離の選択が、DTIにおける補間共分散行列の行列式に与える影響は何か？
• RQ4 なぜProcrustes補間が他の手法よりも画像の腫脹に強いのか、数学的根拠はあるか？
• RQ5 行列解析のツールを用いて、異なる補間経路にわたる補間行列の行列式を一様に有界化できるか？

主な発見

• すべての $ n \times n $ 正半定値行列 $ A $ および $ B $ に対して、不等式 $ \det(I + A\#B) \leq \det(I + A^{1/2}B^{1/2}) $ が成り立ち、等号成立は $ A $ と $ B $ が可換である場合に限る。
• 補間（$ 0 \leq p \leq 1 $）の範囲では、Procrustes経路によって得られる補間行列の行列式は、Eucledianルート経路のそれより大きくはならず、腫脹の低減が確認される。
• 数値的結果から、外挿（$ p < 0 $ または $ p > 1 $）の範囲では、2つの経路間で行列式に一貫した順序関係は存在しないことが確認された。
• 証明は、固有値の対数マジョライゼーションと関数 $ \sum \log(1 + e^{x_i}) $ の単調性に依拠しており、これによりトレース不等式が成立することが保証される。
• この不等式はユニタリ変換に対して不変であり、連続性によって特異行列へも拡張可能である。
• 本結果は、構造的忠実性を保ち、人工的な画像拡張を避けるために、DTIにおけるProcrustes補間を優先する理論的根拠を提供する。