[論文レビュー] Projections, Entropy and Sumsets

Paul Balister, Béla Bollobás|arXiv (Cornell University)|Nov 7, 2007

Limits and Structures in Graph Theory参考文献 7被引用数 5

ひとこと要約

本稿は、シーアラーのエントロピー不等式を一般化し、一様なk被覆を用いた新しい単純なエントロピー不等式を導入することで、射影に基づく和集合不等式を拡張する。この不等式は、既存の結果を統一・強化するものであり、アーベル群における和集合の新たな境界を導出する。特に、コーシー–ダヴェンポートの定理を一般化し、ジャルマティ、マトルツィ、ルズァの結果を非アーベル群およびトーショントル群へ拡張する。

ABSTRACT

In this paper we have shall generalize Shearer's entropy inequality and its recent extensions by Madiman and Tetali, and shall apply projection inequalities to deduce extensions of some of the inequalities concerning sums of sets of integers proved recently by Gyarmati, Matolcsi and Ruzsa. We shall also discuss projection and entropy inequalities and their connections.

研究の動機と目的

• シーアラーのエントロピー不等式を一般化し、マディマン–テタリの両側エントロピー不等式をより広範かつ包括的な枠組みへ拡張すること。
• 射影不等式を応用して、ジャルマティ、マトルツィ、ルズァが最近得た整数集合およびアーベル群に関する和集合不等式の新たな拡張を導出すること。
• 射影不等式、エントロピー不等式、および有限群における和集合成長の関係を調査すること。
• 非アーベル群およびトーショントル群への一般化を含め、群の和集合に対してボックス型極値構造が存在するかという予想を提示すること。

提案手法

• シーアラーの結果とマディマン–テタリの結果の両方を一般化する新しいエントロピー不等式を導入。この不等式は自明に見えるが、普遍的に適用可能であることが示された。
• 集合[n]の均一k被覆の概念を用いて、体積不等式を導出し、これをエントロピー不等式および和集合不等式に翻訳する。
• 均一k被覆Aに対して、Z^nの有限部分集合Sに対して|S|^k ≤ ∏|S_A|が成り立つことを示す。
• 格子点数え上げおよび区間マーク技術を用いて、幾何的射影不等式を離散的和集合不等式に変換する。
• S'のk個のコピーに構成的マーク処理を施し、|S|を射影S_Aで抑え、定理9および推論10を証明する。
• アーベル群および有限群（非アーベル群を含む）へは、コーシー–ダヴェンポート定理の類似物を用いて結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 シーアラーのエントロピー不等式は、両側不等式として一般化可能であり、シーアラーの結果とマディマン–テタリの結果を包含するか？
• RQ2 射影不等式は、コーシー–ダヴェンポートの設定を超えて、アーベル群および非アーベル群における和集合のより強い境界を導くか？
• RQ3 群論的アナロジーとして、極値和集合が制御された成長を示す群元の積として実現される『ボックス定理』の一般化は存在するか？
• RQ4 和集合成長不等式|S| - 1 ≥ ∑(|S_i| - 1) は、非一様被覆および非アーベル群へ一般化可能か？
• RQ5 群における和集合成長の極値構造は、幾何的ボックス定理で見られるボックス構造に類似しているか？

主な発見

• 本稿は、シーアラーの結果とマディマン–テタリの両側エントロピー不等式を一般化する、新しい単純なエントロピー不等式を確立した。
• 任意の有限部分集合S ⊆ Z^nおよび[n]の任意の均一k被覆Aに対して、|S|^k ≤ ∏|S_A|が成り立つことを証明した。これはルーミン–ホイットニー不等式の拡張である。
• トーショントルでないアーベル群では、定数σ_iが存在し、|S| - 1 = ∑σ_i かつすべてのA ⊆ [n]に対して|S_A| - 1 ≤ ∑_{i∈A} σ_i が成り立つことを示した。
• コーシー–ダヴェンポート定理が有限群へ一般化された：群GにおけるS = S₁ ⋆ … ⋆ S_nに対して、|S| ≥ p または |S| - 1 ≥ ∑(|S_i| - 1) が成り立ち、pは|G|を割る最小の素数である。
• S'のk個のコピーにマーク処理を施すことで、定理9を証明し、マークされた要素数がk(|S'| - 1)で抑えられることを示した。これにより和集合不等式が得られた。
• 2つの予想を提示した：1つ目はボックス定理を群の和集合へ一般化する（予想13）、2つ目はσ_i分解を最小積集合へ拡張する（予想14）。両者とも非アーベル群およびトーショントル群へ向けた一般化を含む。