[论文解读] New inequalities for permanents and hafnians and some generalizations

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

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

一句话总结

本文通过广义拉普拉斯型展开，为复矩阵的永久积和哈夫尼亚安引入了新的上界，显著改进了现有的哈达玛型不等式。该方法得到的上界不仅依赖于矩阵元素的模，还考虑了矩阵的结构特征，从而获得更紧致的界，适用于随机对角和与多维永久积等应用。

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.

研究动机与目标

• 开发针对复矩阵永久积和哈夫尼亚安的更紧致上界，使其不仅依赖于元素的模。
• 通过引入矩阵的结构特性，推广现有的哈达玛型不等式以适用于永久积。
• 将该框架扩展至多维永久积和超哈夫尼亚安，以增强其适用范围。
• 提供计算上可行的上界，适用于统计与量子力学背景下的随机对角和。
• 基于广义拉普拉斯型展开，建立统一的不等式框架，用于矩阵函数。

提出的方法

• 基于永久积和哈夫尼亚安的广义拉普拉斯型展开，推导出一个通用不等式。
• 在递归的多指标求和框架中应用柯西-施瓦茨不等式，以界定矩阵泛函乘积的上界。
• 通过在多个矩阵块上使用数学归纳法，将上界从较小矩阵推广至更大矩阵。
• 引入辅助函数 $ g $ 和 $ h $，表示子集上的加权和，从而实现对永久子式更结构化的上界估计。
• 利用组合集合系统 $ \bbS(A, k) $ 枚举固定大小的指标子集，这对处理多维永久积至关重要。
• 利用索引置换下的对称性与不变性性质，证明某些函数值在子集间保持不变。

实验结果

研究问题

• RQ1 能否推导出依赖于复矩阵元素绝对值以外更多结构信息的永久积更紧致上界？
• RQ2 广义拉普拉斯型展开如何系统性地用于推导改进的永久不等式？
• RQ3 新上界相较于现有哈达玛型不等式在永久积和哈夫尼亚安上的改进程度如何？
• RQ4 该框架能否扩展至多维永久积和超哈夫尼亚安？
• RQ5 这些上界对高维概率中随机对角和的特征函数有何影响？

主要发现

• 本文建立了 $ |\mathrm{per}(Z)| $ 的新上界，通过引入 $ |Z| $ 之外的矩阵结构信息，显著改进了经典的哈达玛型不等式，尤其适用于复矩阵。
• 数值比较表明，该上界比马库斯与明克的奇异值不等式以及巴蒂亚与埃尔施纳的算子范数上界更紧致。
• 对于元素取值于 $ \{-1,1\} $ 的矩阵，当考虑秩和结构时，新上界优于克劳特-布德雷维奇-古特曼边界。
• 广义拉普拉斯展开框架使得多维永久积和超哈夫尼亚安的上界得以推导，扩展了永久不等式的适用范围。
• 该方法成功界定了随机对角和的特征函数，为统计与量子信息应用提供了新工具。
• 基于多层求和结构中的归纳法与柯西-施瓦茨不等式的证明技术，确保了所有推导上界的一致性与紧致性。