[論文レビュー] On Ramsey Properties of k-Majority Tournaments

A. Shapira, Raphael Yuster|arXiv (Cornell University)|Mar 4, 2026

Limits and Structures in Graph Theory被引用数 0

ひとこと要約

本論文は k-多数決巡回のサイズの推移的部分巡回の下界を改善し、t = n^{Ω(1/k)} を示し、二部変種・限界・ランダム巡回の結果を開発・考察する。

ABSTRACT

A central objective in Ramsey theory is determining whether restricted families of discrete structures necessarily contain substantially larger homogeneous substructures, compared to the unrestricted structures. In the setting of tournaments, it is well known that every tournament contains a transitive subgraph of size $\log n$, and that this is best possible up to a constant factor. A restricted family of tournaments that has been extensively studied is the family of $k$-majority tournaments. They are obtained by taking $2k-1$ linear orders of a set $X$, and defining a tournament on $X$ which has an edge from $u$ to $v$ if $u$ precedes $v$ in at least $k$ of these orders. Milans, Schreiber, and West proved that such tournaments indeed have significantly larger transitive tournaments. More precisely, they proved that every $k$-majority tournament contains a transitive tournament of size $n^{2^{-Θ(k)}}$. Our main goal in this paper is to give an exponential improvement in the dependence of the exponent on $k$ by showing that every $k$-majority tournament contains a transitive set of size $n^{Ω(1/k)}$. Finally, we highlight several open problems and conjectural directions related to random $k$-majority tournaments.

研究の動機と目的

• restricted tournament ファミリ内の一様（遷移的）部分グラフの研究動機づけ、特に k-多数決巡回。
• 遷移的部分構造サイズの k に対する依存性を、以前のほぼ n^{2^{-Θ(k)}} から n^{Ω(1/k)} に改善。
• k-多数決巡回の構造を照らすため、二部遷移的 subtournament 変種を開発・分析。
• ランダムな k-多数決巡回を調べ、一般的挙動と極限に関する界と予測を導出。

提案手法

• 2k-1 の線形順序で生成される k-多数決巡回を定義・分析。
• 部間の支配・一貫性を記述する二部パラメータ d_k(n) および d_k^*(n) を導入・研究。
• d_k(n), d_k^*(n), および関連する二部パラメータ b_k(n) の下界・上界を証明。
• 確率的構成（乱択置換）と和集合界を用いて d_k(n) ≤ (1+ o(1)) e n / 2^{k} のような界を導出。
• 二部結果から f_k(n) の下界を得る再帰的界付け方式を導出し、 f_k(n) ≥ n^{1/(2k - (1/2) log_2 k)} を得る。
• 極限 log_n f_k(n) および二部定数（b_k, d_k, d_k^*(n)）に関する関連する極限の存在を分析。
• 高次元のパターン回避結果（Cibulka–Kynčl による）を適用してランダムな 2-多数決巡回における遷移的部分構造を研究。

実験結果

リサーチクエスチョン

• RQ1 すべての n 頂点の k-多数決巡回が含む遷移的 T_t の最大 t=f_k(n) はいくらか？
• RQ2 k-多数決巡回における二部および関連パラメータ（b_k(n), d_k(n), d_k^*(n)）の漸近挙動と極限はどうなるか？
• RQ3 ランダムな k-多数決巡回で最大の遷移的部分構造はどれくらい小さくなりうるか、n と k に対してどうスケールするか？
• RQ4 Larger k に対する下界は近似的または漸近的最適性へ拡張されるか？

主な発見

• 本論文は f_k(n) = n^{Ω(1/k)} を示し、依存性を従来の n^{−Θ(k)} から指数的に改善。
• lim_{n→∞} log_n f_k(n) の存在と、(1+o_k(1)) (ln k)/(ln ln k) ≤ c_k ≤ 2k − (1/2) log_2 k を含む界を確立。ここで c_k = 1/f_k の極限の逆数。
• 二部パラメータについて、d_k^*(n) ≤ (1+o(1)) e n / 2^{2k−1} および d_k(n) ≤ (1+o(1)) e n / 2^{k}、b_k(n) は極限で Θ(k) から O(k) の間、k=2 の場合の具体値は b_2 = d_2 = k。
• 著者らは b_2(n) = (1+o(1)) n/6 を証明し、大きな n に対して b_2(n) = d_2(n) が成り立つ構成的な領域を示す。
• 命題 1.3 は ランダムな 2-多数決巡回に対して E[X(n,2)] = O(n^{2/3}) を示し、ランダムな k-多数決巡回における遷移的サイズの成長は r_k = O(1/k) であると予測する。
• セクション 2–4 は二部パラメータ、遷移的 subtournament の結果、ランダム巡回の界付けについて詳細な界と証明を提供。