[논문 리뷰] On Ramsey Properties of k-Majority Tournaments

A. Shapira, Raphael Yuster|arXiv (Cornell University)|2026. 03. 04.

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-majority 토너먼트에서의 경우.
• transitive 하위구조 크기의 k 의존성을 이전의 거의 n^{2^{-Θ(k)}}에서 n^{Ω(1/k)}로 개선한다.
• 구조를 밝히기 위해 k-majority 토너먼트를 조명하는 이분형 transitive subtournament 변형을 개발하고 분석한다.
• random k-majority 토너먼트를 조사하여 일반적 행태와 한계에 대한 경계 및 추측을 도출한다.

제안 방법

• 2k-1 개의 선형 순서를 통해 생성된 k-majority 토너먼트를 정의하고 분석한다.
• 부분 간의 지배성과 일관성을 나타내는 이분형 매개변수 d_k(n) 및 d_k^*(n)를 도입하고 연구한다.
• d_k(n), d_k^*(n), 그리고 관련 이분형 매개변수인 b_k(n)의 하한 및 상한을 증명한다.
• 확률적 구성(무작위 순열)과 합의 원근법(union bound)을 사용하여 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-majority 토너먼트의 전이 부분구조를 연구한다.

실험 결과

연구 질문

• RQ1 n-정점 k-majority 토너먼트가 모든 경우에 전이 T_t를 포함하도록 하는 가장 큰 t=f_k(n)는 무엇인가?
• RQ2 k-majority 토너먼트에서 이분형 및 관련 매개변수(b_k(n), d_k(n), d_k^*(n))의 점근적 행태 및 한계는 무엇인가?
• RQ3 무작위 k-majority 토너먼트에서 가장 큰 전이 하위구조가 얼마나 작아질 수 있으며, 이것은 n 및 k에 대해 어떻게 스케일링되는가?
• RQ4 더 큰 k에 대해 전이 하위구조에 대한 하한이 근사적 또는 점근적 최적성으로 확장되는가?

주요 결과

• 논문은 f_k(n) = n^{Ω(1/k)} 를 입증하여 이전의 n^{2^{−Θ(k)}} 경계에 비해 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-majority 토너먼트에서 E[X(n,2)] = O(n^{2/3})임을 보이고, 무작위 k-majority 토너먼트에서 전이 크기의 기댓값 증가율이 r_k = O(1/k)라는 추측을 제시한다.
• 섹션 2–4는 이분형 매개변수에 대한 상세한 경계 및 증명, 전이 토너먼트 결과, 그리고 제안 1.3에서 보여주는 무작위 토너먼트 경계에 관한 증명을 제공한다.