[論文レビュー] Volumes of subset Minkowski sums and the Lyusternik region

M.F. Barthe, Mokshay Madiman|arXiv (Cornell University)|Dec 13, 2021

Point processes and geometric inequalities被引用数 1

ひとこと要約

本稿は、ℝᵈ における M 個のコンパクト集合のミンコフスキー部分集合和のすべての可能な体積の集合であるリュステニク領域—を調査し、ボブコフら（2011年）が提唱した分数的超加法性予想が 1 次元で成り立つことを証明する。さらに、同次性と凹性の議論を用いて、体積関数への分数的超加法性を結びつける、すべての次元で成り立つ予想の変種を確立する。

ABSTRACT

We begin a systematic study of the region of possible values of the volumes of Minkowski subset sums of a collection of $M$ compact sets in $\mathbb{R}^d$, which we call the Lyusternik region, and make some first steps towards describing it. Our main result is that a fractional generalization of the Brunn-Minkowski-Lyusternik inequality conjectured by Bobkov et al. (2011) holds in dimension 1. Even though Fradelizi et al. (2016) showed that it fails in general dimension, we show that a variant does hold in any dimension.

研究の動機と目的

• ℝᵈ における M 個のコンパクト集合のミンコフスキー部分集合和のすべての可能な体積の集合であるリュステニク領域を体系的・系統的に研究すること。
• ボブコフら（2011年）が提唱した、コンパクト集合上での体積関数 |·|¹ᐟᵈ に対する分数的超加法性予想の妥当性を調査すること。
• 特に 1 次元においてその予想が成り立つことを示し、低次元における有効性を確認すること。
• すべての次元で成り立つ予想の変種を確立すること。具体的には、体積関数自体（指数なし）が分数的超加法的であることを示すこと。
• 分数的超加法性と集合関数の拡張可能性、および協力的ゲーム理論におけるボンダレヴァ＝シャープルの定理を結びつけること。

提案手法

• ℝᵈ における M 個のコンパクト集合のミンコフスキー部分集合和の体積関数の像として、(d, M)-リュステニク領域 Λd(M) を定義する。
• 分数的超加法性の概念を用いる：T ⊆ [M] に対して、1T = ∑ᵢ βᵢ1Sᵢ（βᵢ ≥ 0）が成り立つとき、f(T) ≥ ∑ᵢ βᵢf(Sᵢ) が成り立つ。ここで f(S) = |∑ᵢ∈S Ai| である。
• 体積関数の分数的超加法性が、ℝ₊ᴹ 上への 1-同次な凹関数拡張の存在と同値であることを証明する。
• ボンダレヴァ＝シャープルの定理を用いて、分数的超加法性と協力的ゲームにおけるコアが空でない条件との同値性を確立する。
• 部分集合のショートレックス順序を用いてリュステニク領域をパrameter化し、1 次元におけるその構造を分析する。
• 1 次元の構造を活用し、明示的な体積比較と凸性の議論を用いて、d = 1 の場合の完全な分数的超加法性予想を証明する。

実験結果

リサーチクエスチョン

• RQ1 ℝᵈ における M 個のコンパクト集合に対して、体積関数 |·|¹ᐟᵈ に対するボブコフら（2011年）の分数的超加法性予想は 1 次元で成り立つか？
• RQ2 成り立たない場合、高次元ではどのような変種の予想が成り立つか？
• RQ3 体積関数 |∑ᵢ∈S Ai| は ℝ₊ᴹ 上への 1-同次な凹関数に拡張可能か？ その結果、リュステニク領域にどのような意味が生じるか？
• RQ4 ℝᵈ における M 個のコンパクト集合に対して、リュステニク領域 Λd(M) の幾何学的・代数的構造は何か？
• RQ5 分数的超加法性は、協力的ゲームにおけるコア条件および情報理論におけるエントロピー・パワー不等式とどのように関係するか？

主な発見

• ボブコフら（2011年）の分数的超加法性予想は 1 次元で成り立つ。すなわち、ℝ¹ におけるコンパクト集合に対して |∑ᵢ∈S Ai|¹ᐟᵈ は分数的超加法的である。
• すべての次元で成り立つ予想の変種が存在する：体積関数 |∑ᵢ∈S Ai| 自体が、1/d 乗を除いても分数的超加法的である。
• リュステニク領域 Λd(M) は、νA : 2[M] → ℝ₊ で、νA(∅) = 0 かつ νA(S) = |∑ᵢ∈S Ai| を満たすすべての関数の集合として特徴づけられ、ℝ²ᴹ のコンパクト部分集合をなす。
• 体積関数の分数的超加法性は、ℝ₊ᴹ 上への 1-同次な凹関数拡張の存在と同値であり、幾何的関数と凸解析の深い関係を示している。
• ボンダレヴァ＝シャープルの定理より、分数的超加法性は、∑ᵢ ti = |∑ᵢ∈[M] Ai| かつすべての S ⊆ [M] に対して ∑ᵢ∈S ti ≥ |∑ᵢ∈S Ai| を満たす、可能な割当ベクトル t ∈ ℝ₊ᴹ の存在と同値である。
• 1 次元の証明は、コンパクト集合の 1 次元構造と、区間のミンコフスキー和が区間であるという事実に依存しており、明示的な体積比較と、ブロイント・ミンコフスキー不等式の最も単純な形の適用が可能になる。