[論文レビュー] SL(n)-Contravariant $L_p$-Minkowski Valuations

Lukas Parapatits|arXiv (Cornell University)|Oct 26, 2014

Point processes and geometric inequalities参考文献 21被引用数 15

ひとこと要約

この論文は、R^nにおける凸多面体上でのすべてのSL(n)-反変L_p-Minkowski値関数を分類し、それらが4つの非対称L_p-投影体作用素の線形結合であることを証明する。主な結果は、このような値関数が非対称L_p-投影体Π_p^{+>}, Π_p^{->}, Π_p^{+<}, Π_p^{-<}によって生成されることを示しており、同次性の仮定なしに先行する特徴付けを拡張する。

ABSTRACT

All SL(n)-contravariant $L_p$-Minkowski valuations on polytopes are completely classified. The prototypes of such valuations turn out to be the asymmetric $L_p$-projection body operators.

研究の動機と目的

• R^nにおける凸多面体上で定義されたすべてのSL(n)-反変L_p-Minkowski値関数を分類すること。
• LudwigによるL_p-投影体作用素の特徴付けにおいて、同次性の仮定を除去すること。
• 原点を含む多面体からすべての凸多面体に定義域を拡張した際、新たな作用素が生じるかどうかを特定すること。
• 支持関数とL_p-Minkowski加法を用いて、このような値関数の完全な特徴付けを確立すること。
• このような値関数は、4つの特定の非対称L_p-投影体作用素の非負線形結合に限られることを示すこと。

提案手法

• 分類はSL(n)-反変性に依存する：すべてのφ ∈ SL(n)および凸体Kに対してΦ(φK) = φ^{-t}ΦKが成り立つ。
• 支持関数h(ΦP, ·)^pは、面の法線、体積、および内積の正負部分を含む項の和として表現される。
• 証明では、標準単体とその線形変換による像に基づく値関数の成分への分解が用いられる。
• 標準単体上での値関数の有界性条件を適用し、線形性および対称性の性質を導出する。
• 著者らは4つの新しい作用素Π_p^{+>}, Π_p^{->}, Π_p^{+<}, Π_p^{-<}を定義し、非対称L_p-投影体を一般化する。
• 支持関数の恒等式と標準単体上での(n-1)!倍評価による正規化を用いて、任意のこのような値関数がこれら4つの作用素の非負線形結合に他ならないことを示し、分類を完了する。

実験結果

リサーチクエスチョン

• RQ1 R^nにおける凸多面体の空間上でのすべての可能なSL(n)-反変L_p-Minkowski値関数とは何か？
• RQ2 LudwigによるL_p-投影体の特徴付けにおいて、SL(n)-反変値関数に対して同次性の仮定を除去できるか？
• RQ3 定義域を原点を含む多面体からすべての凸多面体に拡張した場合、新たなL_p-Minkowski値関数が生じるか？
• RQ4 すべての凸多面体上でのSL(n)-反変L_p-Minkowski値関数の空間の生成子の明示的形は何か？
• RQ5 非対称L_p-投影体作用素Π_p^{+>}, Π_p^{->}, Π_p^{+<}, Π_p^{-<}は、完全な分類においてどのように関係しているか？

主な発見

• R^nにおける凸多面体上でのすべてのSL(n)-反変L_p-Minkowski値関数は、4つの非対称L_p-投影体作用素Π_p^{+>}, Π_p^{->}, Π_p^{+<}, Π_p^{-<}の線形結合である。
• 線形結合における係数は、標準単体上での値関数の作用によって決定される非負定数である。
• 同次性の仮定なしに分類が成り立つため、LudwigおよびHaberlによる先行結果を拡張する。
• 値関数出力の支持関数は、h(ΦP, ·)^p = d₁h(Π_p^{+>}P, ·)^p + d₂h(Π_p^{->}P, ·)^p + d₃h(Π_p^{+<}P, ·)^p + d₄h(Π_p^{-<}P, ·)^p を満たす。
• 係数d₁, d₂, d₃, d₄は、(n-1)!倍の、特定のベクトルにおける支持関数のp乗値に等しく、非負性が保証される。
• この結果は、このような値関数の空間が4つの新しい作用素によって張られ、それ以上の生成子は非対称形以外に存在しないことを示唆する。