António Girão, Freddie Illingworth, Lukas Michel, Michael Savery, Alex Scott
{"title":"Flashes and Rainbows in Tournaments","authors":"António Girão, Freddie Illingworth, Lukas Michel, Michael Savery, Alex Scott","doi":"10.1007/s00493-024-00090-7","DOIUrl":null,"url":null,"abstract":"<p>Colour the edges of the complete graph with vertex set <span>\\({\\{1, 2, \\dotsc , n\\}}\\)</span> with an arbitrary number of colours. What is the smallest integer <i>f</i>(<i>l</i>, <i>k</i>) such that if <span>\\(n > f(l,k)\\)</span> then there must exist a monotone monochromatic path of length <i>l</i> or a monotone rainbow path of length <i>k</i>? Lefmann, Rödl, and Thomas conjectured in 1992 that <span>\\(f(l, k) = l^{k - 1}\\)</span> and proved this for <span>\\(l \\ge (3 k)^{2 k}\\)</span>. We prove the conjecture for <span>\\(l \\ge k^3 (\\log k)^{1 + o(1)}\\)</span> and establish the general upper bound <span>\\(f(l, k) \\le k (\\log k)^{1 + o(1)} \\cdot l^{k - 1}\\)</span>. This reduces the gap between the best lower and upper bounds from exponential to polynomial in <i>k</i>. We also generalise some of these results to the tournament setting.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":null,"pages":null},"PeriodicalIF":1.0000,"publicationDate":"2024-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Combinatorica","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s00493-024-00090-7","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Colour the edges of the complete graph with vertex set \({\{1, 2, \dotsc , n\}}\) with an arbitrary number of colours. What is the smallest integer f(l, k) such that if \(n > f(l,k)\) then there must exist a monotone monochromatic path of length l or a monotone rainbow path of length k? Lefmann, Rödl, and Thomas conjectured in 1992 that \(f(l, k) = l^{k - 1}\) and proved this for \(l \ge (3 k)^{2 k}\). We prove the conjecture for \(l \ge k^3 (\log k)^{1 + o(1)}\) and establish the general upper bound \(f(l, k) \le k (\log k)^{1 + o(1)} \cdot l^{k - 1}\). This reduces the gap between the best lower and upper bounds from exponential to polynomial in k. We also generalise some of these results to the tournament setting.
期刊介绍:
COMBINATORICA publishes research papers in English in a variety of areas of combinatorics and the theory of computing, with particular emphasis on general techniques and unifying principles. Typical but not exclusive topics covered by COMBINATORICA are
- Combinatorial structures (graphs, hypergraphs, matroids, designs, permutation groups).
- Combinatorial optimization.
- Combinatorial aspects of geometry and number theory.
- Algorithms in combinatorics and related fields.
- Computational complexity theory.
- Randomization and explicit construction in combinatorics and algorithms.