[論文レビュー] Exponential Bounds for the Erd\H{o}s-Ginzburg-Ziv Constant

Eric Naslund|arXiv (Cornell University)|Jan 18, 2017

Limits and Structures in Graph Theory参考文献 14被引用数 9

ひとこと要約

この論文は、スライスランクの一般化であるパーティションランク法を用いて、Erd\'os-Ginzburg-Ziv定数 $ s((\mathbb{Z}/p\mathbb{Z})^n) $ に対する指数的上界を確立する。$ 0.8414 < J(p) < 0.91837 $ を満たす $ s((\mathbb{Z}/p\mathbb{Z})^n) \leq (p-1)2p \cdot (pJ(p))^n $ を示し、$ n $ が大きい場合の自明な上界に対する初めての指数的改善を達成する。また、一般の $ k $ に対して性質 D 予想のもとで条件付きの結果も提示する。

ABSTRACT

The Erd\H{o}s-Ginzburg-Ziv constant of an abelian group $G$, denoted $\mathfrak{s}(G)$, is the smallest $k\in\mathbb{N}$ such that any sequence of elements of $G$ of length $k$ contains a zero-sum subsequence of length $\exp(G)$. In this paper, we use the partition rank, which generalizes the slice rank, to prove that for any odd prime $p$, \[ \mathfrak{s}\left(\mathbb{F}_{p}^{n} ight)\leq(p-1)2^{p}\left(J(p)\cdot p ight)^{n} \] where $0.8414<J(p)<0.91837$ is the constant appearing in Ellenberg and Gijswijt's bound on arithmetic progression-free subsets of $\mathbb{F}_{p}^{n}$. For large $n$, and $p>3$, this is the first exponential improvement to the trivial bound. We also provide a near optimal result conditional on the conjecture that $\left(\mathbb{Z}/k\mathbb{Z} ight)^{n}$ satisfies property $D$, showing that in this case \[ \mathfrak{s}\left(\left(\mathbb{Z}/k\mathbb{Z} ight)^{n} ight)\leq(k-1)4^{n}+k. \]

研究の動機と目的

• 大きな $ n $ に対する $ s((\mathbb{Z}/k\mathbb{Z})^n) $ の境界を特定する長年の未解決問題に取り組むこと。特に、素数べきに対して。
• $ p > 3 $ かつ $ n $ が大きい場合に、$ s((\mathbb{Z}/p\mathbb{Z})^n) $ に対して自明な上界を超える初めての指数的改善を提供すること。
• $ (\mathbb{Z}/k\mathbb{Z})^n $ が性質 D を満たすという予想のもとで、境界を条件付きで確立すること。性質 D は最大のゼロ和自由列を特徴付ける。
• Fox と Sauermann の還元論を用いて、素数体から一般の有限アーベル群へ結果を拡張すること。
• テンソルに基づく組合せ的問題における相異なる要素の制約を扱うために、パーティションランク法を発展・適用すること。

提案手法

• 論文は、著者によって導入されたスライスランクの一般化であるパーティションランク法を用い、$ \mathbb{F}_p^n $ の部分集合で、$ p $ 個の異なる要素が和してゼロとならないものの大きさを上界で制約する。
• $ p $ 個の異なる要素が和してゼロとなる条件を符号化するインジケータテンソル $ I_p $ を構築し、そのパーティションランクを単項式の次数とデルタ関数のグループ化を用いて上界で制約する。
• 展開における単項式の次数を分析し、最低次数のデルタ関数ごとに項をグループ化し、低次単項式の数を数えることで、主要な不等式を導出する。
• $ |A| \leq (2p - p - 2)(pJ(p))^n $ という境界を、$ 0 < x < 1 $ における $ \frac{1 - x^p}{1 - x} x^{-(p-1)/3} $ の最小化により得る。この最小化により $ J(p) $ が定義される。
• 性質 D 予想のもとで、条件付きの結果を導出する。この予想は、最大のゼロ和自由列が一様な多重集合であると仮定しており、より強い境界を可能にする。
• $ p \mid k $ の場合に $ s((\mathbb{Z}/k\mathbb{Z})^n) $ から $ s((\mathbb{Z}/p\mathbb{Z})^n) $ への還元を用い、Fox と Sauermann の結果を活用して一般の $ k $ に対する境界を拡張する。

実験結果

リサーチクエスチョン

• RQ1 $ s((\mathbb{Z}/p\mathbb{Z})^n) $ に対する最良の指数的上界は何か？ そして、自明な上界を超える改善は可能か？
• RQ2 パーティションランク法は、ゼロ和問題における相異なる要素の制約を扱う際、スライスランクをどのように改善するか？
• RQ3 どのような条件下で、Erd\'os-Ginzburg-Ziv定数をよりきめ細かく境界づけられるか？ 特に、群が性質 D を満たす場合に。
• RQ4 $ (0,1) $ における最小化により定義される関数 $ J(p) $ は、$ s((\mathbb{Z}/p\mathbb{Z})^n) $ の指数的成長率を決定づける役割を果たすか？
• RQ5 性質 D を仮定し、素数べきのケースに還元することで、$ s((\mathbb{Z}/k\mathbb{Z})^n) $ の境界を近似的に最適化できるか？

主な発見

• この論文は、$ s((\mathbb{Z}/p\mathbb{Z})^n) $ に対して自明な上界を超える初めての指数的改善を確立し、$ 0.8414 < J(p) < 0.91837 $ を満たす $ s((\mathbb{Z}/p\mathbb{Z})^n) \leq (p-1)2p \cdot (pJ(p))^n $ を示した。
• 任意の奇素数 $ p $ に対して、$ \mathbb{F}_p^n $ の部分集合 $ A $ で、$ p $ 個の異なる要素が和してゼロとならないようなものの大きさは、$ (2p - p - 2)(pJ(p))^n $ 未満である。
• $ (\mathbb{Z}/k\mathbb{Z})^n $ が性質 D を満たすという予想のもとで、$ s((\mathbb{Z}/k\mathbb{Z})^n) \leq (k-1)4^n + k $ が証明され、これは近似的に最適である。
• 条件付きで $ s((\mathbb{Z}/k\mathbb{Z})^n) \leq (J(q)q + o(1))^n $ が確立され、$ q $ は $ k $ を割り切る最大の素数べきであり、$ o(1) \to 0 $ は $ n \to \infty $ のときを意味する。
• ゼロ和となる $ q $-タプルを符号化するテンソル $ E_q $ にスライスランク法を適用し、$ \text{slice-rank}(E_q) \leq q \cdot \gamma_q^n $ を得た。ここで $ \gamma_q $ は $ (0,1) $ における最小化により定義される。
• 拡張的議論により、スライスランクの境界における $ q $ の係数を削減し、$ |A| \leq \gamma_q^n $ を得た。これは、性質 D の下で $ s((\mathbb{Z}/q\mathbb{Z})^n) $ の条件付き境界を示唆する。