António Girão, Freddie Illingworth, Lukas Michel, Michael Savery, Alex Scott
{"title":"比赛中的闪光和彩虹","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":"{\"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}","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}
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.