ダベンポート定数の長年の上界予想を反証
Disproof of a Conjectured Upper Bound for the Davenport Constant
この論文をやさしく読む
ひとことで言うと
有限アーベル群の元を並べたとき、和がゼロになる部分列が必ず現れる長さについて、長年の上界予想が誤りだと証明した研究です。
何に役立つ？
ゼロ和問題や有限アーベル群に関する理論で、ダベンポート定数の上界を評価する際に、従来の予想を使えないことが分かります。
この研究の面白いところ
単一の反例にとどまらず、ランクを8以上の任意の値に固定しても、古典的下界との差をいくらでも大きくできると示しています。
どこまで分かった？
要旨で示される差の発散は、固定ランクrが8以上の場合です。ランクが7以下での同様の結論は要旨からは読み取れません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
有限アーベル群Gが巡回群C_{n_1}からC_{n_r}までの直和として表され、1＜n_1が以降の各n_iを順に割り切るとし、そのランクをr(G)＝rとする。ダベンポート定数D(G)は、Gの元からなる長さℓのどんな列にも、和がゼロになる空でない部分列が存在するような最小の整数ℓである。古典的な下界はD*(G)＝1＋Σ_{i＝1}^r(n_i－1)である。D(G)の一般的な上界に関する長年の予想は、D(G)≦D*(G)＋r(G)－1というものだった。 本論文はこの予想を反証する。さらに強く、固定したどのランクr≧8についても、ランクがrである群全体にわたるD(G)－D*(G)の上限が無限大になることを証明する。したがって、これまで数十年にわたって考えられてきたこととは異なり、古典的な下界は、ランクだけに依存する加法誤差の範囲ではダベンポート定数を近似しない。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-24（UTC）
- 最新改訂
- 2026-09-24 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-24 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $G\cong C_{n_1}\oplus\cdots\oplus C_{n_r}$ be a finite abelian group with $1<n_1\mid\cdots\mid n_r$, and let $r(G)=r$ denote its rank. The Davenport constant $\mathsf D(G)$ is the least integer $\ell$ such that every sequence of $\ell$ elements of $G$ contains a nonempty zero-sum subsequence, and $\mathsf D^*(G)=1+\sum_{i=1}^r(n_i-1)$ is its classical lower bound. A long-standing conjecture (\cite[Conjecture 3.7]{GG06}) on the general upper bound of $\mathsf D(G)$ asserts that $\mathsf D(G)\le\mathsf D^*(G)+r(G)-1$. In this paper, we disprove this conjecture. More strongly, we prove that $\sup_{r(G)=r}\bigl(\mathsf D(G)-\mathsf D^*(G)\bigr)=\infty \qquad\text{for every fixed }r\ge8.$ Thus the classical lower bound does not approximate the Davenport constant within an additive error depending only on the rank, contrary to what has long been believed in the past some decades.
arXiv ID: 2609.29878 ／ 要約の誤りについて