[论文解读] Grothendieck's inequality and completely correlation preserving functions -- a summary of recent results and an indication of related research problems

Frank Oertel|arXiv (Cornell University)|Oct 2, 2020

Mathematical Inequalities and Applications参考文献 30被引用 6

一句话总结

本文通过使用Schur积、高斯反等问题和泰勒级数反演，研究了相关矩阵上的逐元素函数对格罗滕迪克不等式的应用。它提出了一套新颖的分析框架，将多元正态分布分析、特殊函数与算子理论联系起来，以界定格罗滕迪克常数，为确定实数和复数情形下其精确值提供了路径。

ABSTRACT

As part of the search for the value of the smallest upper bound of the best constant for the famous Grothendieck inequality, the so-called Grothendieck constant (a hard open problem - unsolved since 1953), we provide a further approach, primarily built on functions which map correlation matrices entrywise to correlation matrices by means of the Schur product, multivariate Gaussian analysis, copulas and inversion of suitable Taylor series. We summarise first results and point towards related open problems and topics for future research.

研究动机与目标

• 开发一种新的分析框架，以确定自1953年以来仍未解决的格罗滕迪克常数 $K_G^\mathbb{R}$ 和 $K_G^\mathbb{C}$ 的精确值。
• 通过聚焦于相关矩阵上的逐元素映射，将格罗滕迪克不等式的应用从希尔伯特空间和张量范数扩展至更广范围。
• 将多元正态依赖结构、对 copula 和特殊函数与张量积的度量理论联系起来。
• 解决格罗滕迪克不等式背后的组合复杂性问题，并评估是否可行通过显式计算 $K_G^\mathbb{R}$。

提出的方法

• 利用Schur积通过逐元素函数将相关矩阵映射为相关矩阵。
• 应用高斯对 copula 模型，将符号函数的期望表示为反正弦定律，与在 $ (1/2, 1/2) $ 处的二元高斯对 copula 相关联。
• 采用泰勒级数反演和普通偏贝尔多项式，分析相关矩阵的函数变换。
• 使用埃米特多项式与高斯超几何函数，对高阶依赖性和谱性质进行建模。
• 应用肖恩伯格定理，刻画相关矩阵上完全正定函数的性质。
• 结合算子理想与迹对偶性，将格罗滕迪克不等式重新表述为巴拿赫空间张量范数的形式。

实验结果

研究问题

• RQ1 能否通过逐元素函数与高斯对 copula 模型精确计算格罗滕迪克常数 $K_G^\mathbb{R}$？
• RQ2 在格罗滕迪克不等式中，高斯结构在多大程度上可被重尾或极值分布替代，而仍保持不等式成立？
• RQ3 是否存在一种非交换的对 copula 推广，能够捕捉量子关联并关联到采列尔森界？
• RQ4 能否通过泛函分析与特殊函数技术克服格罗滕迪克问题的组合复杂性？
• RQ5 使用广义极值（GEV）分布或无限可分分布是否能改进 $K_G^\mathbb{R}$ 的界？

主要发现

• 本文利用所提出的函数框架，结合克里文的上界，为实格罗滕迪克不等式提供了一个简短的证明。
• 建立了在 $ (1/2, 1/2) $ 处评估的二元高斯对 copula 与反正弦定律之间的精确联系：$ \mathbb{E}[\text{sign}(X)\text{sign}(Y)] = \frac{2}{\pi}\arcsin(\rho) $，其中 $ \rho = \mathbb{E}[XY] $。
• 该框架揭示了格罗滕迪克常数 $ K_G^\mathbb{R} $ 与量子关联的非交换性质密切相关，这一关系由采列尔森界形式化表达。
• 使用埃米特多项式与超几何函数可系统地展开保持相关性的函数，暗示了通过级数逼近 $ K_G^\mathbb{R} $ 的可行路径。
• 本文指出，格罗滕迪克常数 $ K_G^\mathbb{R} $ 的下界为实格罗滕迪克常数，上界为 $ \sqrt{2}K_G^\mathbb{C} $，且 $ K_G^\mathbb{C} < \pi/2 $，但其精确值仍未知。
• 研究表明，用尾部依赖模型（如GEV分布）替代高斯依赖结构可能改变不等式的有效性，从而引发关于鲁棒性与界值的开放问题。