素数体の制限付き和集合で最小サイズとなる組を分類
Critical Pairs for Mixed Restricted Sumsets in Prime Fields
この論文をやさしく読む
ひとことで言うと
有限体の二つの集合から異なる要素を足した集合が、最小の大きさになる条件を分類した。
何に役立つ？
加法的組合せ論で、制限付き和集合の極端な場合の構造を調べる際に役立つ。
この研究の面白いところ
等差数列に帰着する一般的な場合と、素数13で現れる例外を含めて分類した点。
どこまで分かった？
奇素数の体で、AとBが空でなく異なるなどの条件がある。別の環や、制限のない和集合への適用は要旨にない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
奇素数 p と、空でなく互いに異なる F_p の部分集合 A、B を考え、|A|≥|B| とする。x∈A、y∈B、x≠y を満たす x+y 全体からなる混合制限付き和集合 A ⊞ B の大きさが min{p,|A|+|B|−2} に等しい組を、完全に分類する。主な新しい結果は |A|+|B|≤p−1 の内部領域に関する。 |B|≥3 かつ |A|−|B|≥3 なら、臨界的な大きさになるには、A と B が共通の端点を持つ等差数列でなければならない。ただし (p,|A|,|B|)=(13,7,4) における一つの共通アフィン軌道は例外となる。|A|−|B| が1または2なら、臨界性そのものから B が A の真部分集合であることが従い、その後は制限付き自己和集合によって削除される要素の形が決まる。残る場合と合わせて、完全な分類が得られる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $p$ be an odd prime and let $A,B\subseteq\mathbb{F}_p$ be nonempty and distinct, with $|A|\ge |B|$. We give a complete classification of the pairs for which the mixed restricted sumset $A\mathbin{\widehat+} B=\{x+y:x\in A,\ y\in B,\ x\ne y\}$ has size $\min\{p,|A|+|B|-2\}$. The main new contribution concerns the interior range $|A|+|B|\le p-1$. For $|B|\ge3$ and $|A|-|B|\ge3$, criticality forces $A$ and $B$ to be common-endpoint arithmetic progressions, apart from a single common affine orbit with $(p,|A|,|B|)=(13,7,4)$. For $|A|-|B|\in\{1,2\}$, criticality itself forces $B\subsetneq A$, after which the restricted self-sum determines the deletion patterns. Together with the remaining cases, this yields the complete classification.
arXiv ID: 2609.23343 ／ 要約の誤りについて