[論文レビュー] 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ó 型不等式を研究し、均質最大化子に焦点を当て、一般的な均質コスト関数の下で最大化タプルの均質性結果を確立し、多 marginals 最適輸送および輸送情報不等式との関連を示す。

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 の密度 ρ_i を r_i-均質とする。
• 整合条件 (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 N≥2 の場合、Blaschke–Santaló 型汎関数は均質最大化子を持つ conditions は何か？
• RQ2 均質な基準測度と均質なコスト関数は最大化子の構造にどのように影響するか？
• RQ3 これら均質仮定の下で集合版と汎関数版の不等式は等価になり得るか？
• RQ4 最大化子と多 marginals 最適輸送の二重性および輸送情報不等式との関係はどうなるか？

主な発見

• 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ó 不等式の集合版と汎関数版は等価となる。
• 枠組みは多 marginals 最適輸送へ接続し、この設定で鋭い輸送情報型不等式を導出する。
• c_bar や p-均質 Φ などの既知の結果を、より広い均質コストと測度のクラスへ拡張する。