[论文解读] Log concavity for matrix-valued functions and a matrix-valued Prékopa theorem

Hossein Raufi|arXiv (Cornell University)|Nov 28, 2013

Geometry and complex manifolds参考文献 6被引用 9

一句话总结

本文引入了矩阵值函数的两种对数凹性概念——Griffiths型与Nakano型——通过矩阵值度量的曲率条件，将标量对数凹性推广至矩阵情形。利用加权向量值Paley-Wiener定理及直接像丛的正性，证明了矩阵值Prékopa定理：在凸集上对Nakano对数凹的矩阵值函数进行积分后，结果仍为Nakano对数凹，从而将经典Prékopa定理推广至矩阵情形。

ABSTRACT

We give two different definitions of what it means for a matrix-valued function to be log concave, guided by similar notions in complex differential geometry. After discussing a few simple examples, we proceed to develop some of the basic properties associated with these new concepts. Finally, we prove a matrix-valued Prékopa theorem using a weighted, vector-valued Paley-Wiener theorem, and positivity properties of direct image bundles.

研究动机与目标

• 基于复微分几何的灵感，定义矩阵值函数对数凹性的有意义推广。
• 建立经典Prékopa定理的矩阵值类比，确保在边缘化过程中保持凸性。
• 将对数凹性理论扩展至实设置下的向量丛，镜像复几何中Griffiths与Nakano曲率的性质。
• 证明对凸集积分可保持矩阵值函数的Nakano对数凹性。

提出的方法

• 将矩阵值度量定义为在R^n上二次连续可微且严格正定的Hermitian矩阵函数。
• 引入曲率算子 Θ_jk^g = ∂/∂x_k (g^{-1} ∂g/∂x_j) 以描述矩阵值函数。
• 通过 ∑_{j,k} (Θ_jk^g u, u)_g v_j v̄_k ≤ 0 对所有 u ∈ C^r, v ∈ C^n 定义Griffiths型对数凹性。
• 通过 ∑_{j,k} (Θ_jk^g u_j, u_k)_g ≤ 0 对所有 u_j ∈ C^r 定义Nakano型对数凹性。
• 利用加权向量值Paley-Wiener定理与直接像丛的正性，证明矩阵值Prékopa定理。
• 建立L^2截面空间之间的同构，以将曲率正性从原丛传递至变换后的丛。

实验结果

研究问题

• RQ1 何种矩阵值对数凹性推广形式能准确反映复几何中的曲率条件？
• RQ2 经典Prékopa定理能否推广至矩阵值函数，同时在积分下保持对数凹性？
• RQ3 若矩阵值函数具有Nakano对数凹性，其在凸集上的积分是否仍保持Nakano对数凹性？
• RQ4 在矩阵情形下，Griffiths与Nakano型对数凹性有何关系？当r=1时，二者如何退化为标量对数凹性？

主要发现

• 矩阵值Prékopa定理成立：若g(y,t)在t上为Nakano对数凹，则其积分 ̃g(t) = ∫ g(y,t) dV(y) 在t上仍为Nakano对数凹。
• 证明依赖于加权向量值Paley-Wiener定理，将积分转化为傅里叶型算子。
• 直接像丛的正性确保了曲率正性（即Nakano对数凹性）在积分变换下得以保持。
• 通过用递增的凸函数逼近K的特征函数，该结果可推广至任意凸集K上的积分。
• 推论1.3表明，形如g(y,t) = e^{-φ(y,t)} A(y) 的函数，其中φ凸且Θ^A负定，则其积分为Nakano对数凹。
• 矩阵值曲率算子Θ_jk^g 捕获了将标量对数凹性推广至矩阵情形所需的微分几何结构。