一致する位置が偶数個になる置換族の最大規模
Even-Intersecting Families of Permutations
この論文をやさしく読む
ひとことで言うと
数字の並べ替えを集めるとき、どの2つも同じ数字が同じ場所にある位置の数が偶数になる、という条件の下で何個まで集められるかを調べています。
何に役立つ？
組合せ論で、局所的な一致条件が集合全体の大きさをどこまで制約するかを理解する成果です。具体的な実用システムでの効果を測定した研究ではありません。
この研究の面白いところ
nが偶数か奇数かで、用いる評価と構成が変わります。特定の形の奇数nでは、実際に作れる族の規模が既知の上限に漸近的に届くと報告しています。
どこまで分かった？
数学的な証明と構成についての著者の報告です。偶数nの上下界にはなお差があり、奇数nの強い下界にもn＝(q＋1)²＋1という条件があります。すべてのnで最大値そのものを決定したという主張ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
対称群S_nの置換からなる族について、異なる任意の2要素が偶数個の位置で一致するとき、その族を偶数交差族と呼ぶ。このような族の最大サイズをM(n)とする。偶数nに対して、n!! ≤ M(n) ≤ e^(n/2＋o(n)) n!! を証明し、Cameron、Deza、Franklの定理（1987年）から得られる上界を指数的な因子だけ改善する。この問題は、集合族に関する古典的なEventown問題の置換版とみなすことができる。 奇数nに対しては、M(n) ≥ n²/4を与える構成を示す。さらにこの構成を拡張し、qが奇素数の冪で、n＝(q＋1)²＋1を満たす場合には、M(n) ≥ (n−√(n−1))²を得る。この後者の下界は、Cameron、Deza、Franklが得た上界M(n) ≤ (n−1)²＋1と漸近的に一致する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-18（UTC）
- 最新改訂
- 2026-09-18 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-18 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
A family of permutations in $S_n$ is called even-intersecting if every two distinct members agree in an even number of positions. Let $M(n)$ denote the maximum size of such a family. For even $n$, we prove that $$n!!\leq M(n)\leq e^{\frac{n}{2}+o(n)}n!!,$$ improving the bound obtained from a theorem of Cameron, Deza and Frankl (1987) by an exponential factor. This problem may be viewed as a permutation analogue of the classical Eventown problem for set systems. For odd $n$, we give a construction yielding $M(n)\geq n^2/4$. We further extend this construction to obtain $$ M(n)\geq\bigl(n-\sqrt{n-1}\bigr)^2 ,$$ whenever $n=(q+1)^2+1$ and $q$ is an odd prime power. The latter bound asymptotically matches the upper bound $M(n)\leq(n-1)^2+1$ obtained by Cameron, Deza and Frankl.
著者のコメント
31 pages
arXiv ID: 2609.21645 ／ 要約の誤りについて