[論文レビュー] New inequalities for permanents and hafnians and some generalizations

Bero Roos|arXiv (Cornell University)|Jun 14, 2019

Random Matrices and Applications参考文献 46被引用数 4

ひとこと要約

本稿では、一般化されたラプラス型展開を用いて、複素行列のpermanentおよびhafnianに対する新たな上界を導出する。従来のハダマード型不等式を著しく改善し、行列の構造的性質（特にエントリの絶対値以外の要因）を組み込むことで、より鋭い上界が得られる。この手法は、確率的対角和や多次元permanentへの応用にも適応可能である。

ABSTRACT

We show new upper bounds for permanents and hafnians, which are particularly useful for complex matrices. Multidimensional permanents and hyperhafnians are considered as well. The permanental bounds improve on a Hadamard type inequality of Carlen, Lieb and Loss (2006, Methods and Applications of Analysis 13, 1--17) and Cobos, Kühn and Peetre (2006, Integral Equations and Operator Theory 56, 57--70). Our proofs are based on a more general inequality, which can be applied to generalized Laplace type expansions of the matrix functions under consideration. As application, we show new bounds on the characteristic function of random diagonal sums. A numerical comparison shows the performance of some of our permanental bounds.

研究の動機と目的

• 複素行列のpermanentおよびhafnianに対する、エントリの絶対値以外の要因にも依存する、より鋭い上界を構築すること。
• エントリの絶対値に依存する従来のハダマード型不等式を、行列の構造的性質を組み込むことで一般化すること。
• 多次元permanentおよびハイパーハフニアンへの枠組みの拡張を図り、より広範な適用可能性を確保すること。
• 統計的・量子的文脈における確率的対角和の特徴関数に適用可能な、計算的に実行可能な上界を提供すること。
• 一般化ラプラス型展開に基づく統一的な不等式枠組みを構築し、行列関数に適用すること。

提案手法

• 一般化ラプラス型展開に基づく一般不等式を導出する。
• 積の関数的評価のため、多インデックス和の再帰的枠組みにおいてコーシー＝シュワルツ不等式を適用する。
• 複数の行列ブロックにわたる帰納法を用いて、小さい行列から大きい行列への上界の拡張を実現する。
• 部分集合上の重み付き和を表す補助関数 $ g $ および $ h $ を導入し、permanentの小行列に対する構造的評価を可能にする。
• 固定サイズの添字部分集合を列挙するための組合せ的集合系 $ \bbS(A, k) $ を用いる。これは多次元permanentの取り扱いにおいて極めて重要である。
• 添字の交換における対称性および不変性の性質を活用し、特定の関数値が部分集合全体で一定であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 エントリの絶対値以外の要因にも依存する、複素行列のpermanentに対するより鋭い上界を導出可能か？
• RQ2 一般化ラプラス型展開を体系的に用いて、改善されたpermanent不等式を導出可能か？
• RQ3 新しい上界は、従来のハダマード型不等式に対してどの程度改善をもたらすか？
• RQ4 この枠組みを多次元permanentおよびハイパーハフニアンへ拡張可能か？
• RQ5 これらの上界は、高次元確率における確率的対角和の特徴関数にどのような意味を持つのか？

主な発見

• 本稿では、$ |\mathrm{per}(Z)| $ に対する新たな上界を確立し、古典的なハダマール型不等式を、$ |Z| $ 以外の行列構造的性質を組み込むことで著しく改善した。特に複素行列に対して顕著な改善効果を示す。
• 数値比較において、マーカスとミンクの特異値不等式およびバティアとエルスナーの作用素ノルム上界よりも、本手法で得られる上界がより鋭いことが示された。
• エントリが $ \{-1,1\} $ に属する行列に対しては、ランクと構造を考慮した場合、クレーター＝ブドラヴィッチ＝ギュテルマンの上界を上回る改善が得られた。
• 一般化ラプラス展開の枠組みにより、多次元permanentおよびハイパーハフニアンの上界が導出可能となり、permanent不等式の適用範囲が拡張された。
• 本手法は、確率的対角和の特徴関数に対しても上界を付与でき、統計的および量子情報分野への新たなツールを提供した。
• 多層構造の和の再帰的枠組みにおける帰納法とコーシー＝シュワルツ不等式に基づく証明技法により、導出されたすべての上界が、鋭さと構造的一致性を保証している。