{"title":"Ramsey numbers of sparse digraphs","authors":"Jacob Fox, Xiaoyu He, Yuval Wigderson","doi":"10.1007/s11856-024-2624-y","DOIUrl":null,"url":null,"abstract":"<p>Burr and Erdős in 1975 conjectured, and Chvátal, Rödl, Szemerédi and Trotter later proved, that the Ramsey number of any bounded degree graph is linear in the number of vertices. In this paper, we disprove the natural directed analogue of the Burr–Erdős conjecture, answering a question of Bucić, Letzter, and Sudakov. If <i>H</i> is an acyclic digraph, the oriented Ramsey number of <i>H</i>, denoted <span>\\(\\overrightarrow {{r_1}} (H)\\)</span>, is the least <i>N</i> such that every tournament on <i>N</i> vertices contains a copy of <i>H</i>. We show that for any Δ ≥ 2 and any sufficiently large <i>n</i>, there exists an acyclic digraph <i>H</i> with <i>n</i> vertices and maximum degree Δ such that </p><span>$$\\overrightarrow {{r_1}} (H) \\ge {n^{\\Omega ({\\Delta ^{2/3}}/{{\\log }^{5/3}}\\,\\Delta )}}.$$</span><p>This proves that <span>\\(\\overrightarrow {{r_1}} (H)\\)</span> is not always linear in the number of vertices for bounded-degree <i>H</i>. On the other hand, we show that <span>\\(\\overrightarrow {{r_1}} (H)\\)</span> is nearly linear in the number of vertices for typical bounded-degree acyclic digraphs <i>H</i>, and obtain linear or nearly linear bounds for several natural families of bounded-degree acyclic digraphs.</p><p>For multiple colors, we prove a quasi-polynomial upper bound <span>\\(\\overrightarrow {{r_k}} (H) = {2^{{{(\\log \\,n)}^{{O_k}(1)}}}}\\)</span> for all bounded-de gree acyclic digraphs <i>H</i> on <i>n</i> vertices, where <span>\\(\\overrightarrow {{r_k}} (H)\\)</span> is the least <i>N</i> such that every <i>k</i>-edge-colored tournament on <i>N</i> vertices contains a monochromatic copy of <i>H</i>. For <i>k</i> ≥ 2 and <i>n</i> ≥ 4, we exhibit an acyclic digraph <i>H</i> with <i>n</i> vertices and maximum degree 3 such that <span>\\(\\overrightarrow {{r_k}} (H) \\ge {n^{\\Omega (\\log \\,n/\\log \\log \\,n)}}\\)</span>, showing that these Ramsey numbers can grow faster than any polynomial in the number of vertices.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s11856-024-2624-y","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Burr and Erdős in 1975 conjectured, and Chvátal, Rödl, Szemerédi and Trotter later proved, that the Ramsey number of any bounded degree graph is linear in the number of vertices. In this paper, we disprove the natural directed analogue of the Burr–Erdős conjecture, answering a question of Bucić, Letzter, and Sudakov. If H is an acyclic digraph, the oriented Ramsey number of H, denoted \(\overrightarrow {{r_1}} (H)\), is the least N such that every tournament on N vertices contains a copy of H. We show that for any Δ ≥ 2 and any sufficiently large n, there exists an acyclic digraph H with n vertices and maximum degree Δ such that
This proves that \(\overrightarrow {{r_1}} (H)\) is not always linear in the number of vertices for bounded-degree H. On the other hand, we show that \(\overrightarrow {{r_1}} (H)\) is nearly linear in the number of vertices for typical bounded-degree acyclic digraphs H, and obtain linear or nearly linear bounds for several natural families of bounded-degree acyclic digraphs.
For multiple colors, we prove a quasi-polynomial upper bound \(\overrightarrow {{r_k}} (H) = {2^{{{(\log \,n)}^{{O_k}(1)}}}}\) for all bounded-de gree acyclic digraphs H on n vertices, where \(\overrightarrow {{r_k}} (H)\) is the least N such that every k-edge-colored tournament on N vertices contains a monochromatic copy of H. For k ≥ 2 and n ≥ 4, we exhibit an acyclic digraph H with n vertices and maximum degree 3 such that \(\overrightarrow {{r_k}} (H) \ge {n^{\Omega (\log \,n/\log \log \,n)}}\), showing that these Ramsey numbers can grow faster than any polynomial in the number of vertices.