[论文解读] Homogeneous maximizers of the Blaschke--Santalo-type functionals

Alexander V. Kolesnikov|arXiv (Cornell University)|Feb 10, 2026

Optimization and Variational Analysis被引用 0

一句话总结

该论文研究具有 N≥2 集合/函数的 Blaschke–Santaló 类型不等式，聚焦同类齐次极大化问题，给出在一般齐次代价函数下极大化元组的齐次性结果，并将其与多边最优传输和传输信息不等式联系起来。

ABSTRACT

We study Blaschke--Santal{ó}-type inequalities for $N \ge 2$ sets (functions) and a special class of cost functions. In particular, we prove new results about reduction of the maximization problem for the Blaschke--Santal{ó}-type functional to homogeneous case (functional inequalities on the sphere) and extend the symmetrization argument to the case of $N > 2$ sets. We also discuss links to the multimagrinal optimal transportation problem and the related sharp transportation-information inequalities.

研究动机与目标

• 将经典 Blaschke–Santaló 不等式扩展到 N≥2 的集合/函数以及特殊代价函数的动机。
• 建立将极大化问题简化到球面上同质情形的框架。
• 证明在齐次代价函数和齐次参考测度下极大化对象的齐次性结果。
• 将 Blaschke–Santaló 型不等式与最优传输和信息论不等式联系起来。
• 讨论集合版与函数版在这些问题中的等价性及对称化性质。

提出的方法

• 将广义 Blaschke–Santaló 泛函 BS_{α,m} 与 V_i 及代价 c 形成。
• 对代价 c 施加 (p1,…,pN) 齐次性，并对参考测度 m_i 的 r_i-齐次密度 ρ_i 施 ignores 于齐次性。
• 推导一致性条件 (13) p = (sum (n+r_i)/(α_i)) / (sum (n+r_i)/(α_i β_i)) 以及第二个条件 (14) (n+r_i)/β_i 在 i 之间相等。
• 证明极大化对象 Φ_i 在平移下为 β_i-齐次，且 β_j = (sum_i 1/α_i)(1 + r_j/n)。
• 利用最优传输对偶性与对偶性间隙框架，将极大化对象与对偶势相关联，并推导单调性与等式条件。
• 给出在何种条件下集合版与函数版等价，并应用Steiner 型对称化论证。

实验结果

研究问题

• RQ1 在哪些条件下 Blaschke–Santaló 型泛函对 N≥2 存在同质极大化对象？
• RQ2 同质参考测度和同质代价函数如何影响极大化对象的结构？
• RQ3 在这些同质假设下，集合版与函数版的 Blaschke–Santaló 型不等式是否等价？
• RQ4 这些极大化对象与多边最优传输对偶性及传输信息不等式之间有何关系？

主要发现

• 如果 m_i 具有 r_i-齐次密度且 c 为 (p1,…,pN)-齐次，则极大化对象 Φ_i 在归一化后为 β_i-齐次，且 β_j = (sum_i 1/α_i)(1 + r_j/n)。
• 存在极大化对象的必要一致性条件 p = (sum_i (n+r_i)/α_i) / (sum_i (n+r_i)/(α_i β_i))。
• 第二个一致性条件 (14) 要求 (n+r_1)/β_1 = … = (n+r_N)/β_N，关联了 α_i、r_i、β_i 与 p。
• 在这些假设下，所考虑代价函数的集合版与函数版 Blaschke–Santaló 不等式是等价的。
• 该框架与多边最优传输相连，并在该情形下给出一个尖锐的传输信息型不等式。
• 工作将已知结果（例如对于 c_bar 和 p-齐次 Φ 的结果）推广到更广泛的同质代价和测度类。