二元体上のSidon集合の新しい上界
A new upper bound for Sidon sets in $\mathbb{F}_2^{4k+3}$
この論文をやさしく読む
ひとことで言うと
二元ベクトル空間のSidon集合の大きさを抑え、符号とAPN関数への帰結を導いた。
何に役立つ？
符号理論や有限体上の関数の性質を調べる理論研究に役立つと考えられる。
この研究の面白いところ
一つの集合の上界から、特定の符号の不存在とAPN関数の非線形度下界が得られる。
どこまで分かった？
条件を満たす次元での理論結果である。構成法や実験的評価は要旨にない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
F₂ⁿの部分集合Sは、相異なる四点の和が0にならないときSidon集合と呼ばれる。本論文は、n≧7かつn≡3（mod 4）なら、|S|≦2^((n＋1)/2)−3であることを示す。その帰結として、任意の偶数t≧4について、二元線形符号[2^t−3, 2^t−2t−2, 5]は存在しない。これはBrouwerとTolhuizenによる1993年の不存在結果を強める。さらに第二の帰結として、偶数n≧4に対し、F₂ⁿからF₂ⁿへのあらゆるalmost perfect nonlinear（APN）関数の非線形度は少なくとも3であることも示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
A subset $S \subseteq \mathbb{F}_2^n$ is called a Sidon set if no four distinct points of $S$ have zero sum. It is shown that if $n \geq 7$ and $n \equiv 3 \mod 4$, then $|S|\leq 2^{\frac{n+1}{2}}-3$. As a consequence, for any even $t \geq 4$, there does not exist a binary linear $[2^t-3,2^t-2t-2,5]$-code, strengthening a nonexistence result of Brouwer and Tolhuizen from 1993. As a second consequence, we also show that for an even integer $n \geq 4$, every almost perfect nonlinear (APN) function $F \colon \mathbb{F}_2^n \to \mathbb{F}_2^n$ has nonlinearity at least $3$.
著者のコメント
7 pages
arXiv ID: 2609.27731 ／ 要約の誤りについて