交差部分が1要素の集合対系の大きさを評価
$1$-cross intersecting set pair systems are small
この論文をやさしく読む
ひとことで言うと
同じ組の集合は交わらず、異なる組どうしではちょうど1要素だけ重なるとき、集合の組をどれだけ多く作れるかを調べています。
何に役立つ？
交差条件を課した集合族の最大規模を理解する、極値組合せ論の基礎結果になります。
この研究の面白いところ
単なる上限ではなく、比較対象の二項係数に対する比が、大きなnでゼロに近づくという漸近的な小ささを示しています。
どこまで分かった？
要旨の結果はnが無限に大きくなる場合の比の収束です。有限のnでの具体的な最大値や、ゼロへ近づく速さは記載されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
集合対系{(A_i,B_i)}（i＝1,…,m）が1交差であるとは、すべてのiについて|A_i∩B_i|＝0であり、i≠jならば|A_i∩B_j|＝1となることをいう。すべてのiについて|A_i|≦aかつ|B_i|≦bを満たす1交差集合対系の最大の大きさmを、m(a,b,1)と表す。n→∞のときm(n,n,1)/C(2n,n)→0となる、というFüredi、Gyárfás、Királyの予想［Combin. Probab. Comput. 32（2023）］を証明する。ここでC(2n,n)は二項係数である。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
A set pair system $\{(A_i,B_i)\}_{i=1}^m$ is $1$-cross intersecting if $|A_i \cap B_i|=0$ for all $i$ and $|A_i \cap B_j| = 1$ whenever $i \neq j$. Let $m(a,b,1)$ denote the maximum size $m$ of a $1$-cross intersecting set pair system $\{(A_i,B_i)\}_{i=1}^m$ where $|A_i| \leq a$ and $|B_i| \leq b$ for all $i$. We prove a conjecture of Füredi, Gyárfás, and Király [Combin. Probab. Comput. 32 (2023)] that asserts $m(n,n,1)/\binom{2n}{n} \to 0$ as $n \to \infty$.
著者のコメント
7 pages
arXiv ID: 2609.23891 ／ 要約の誤りについて