{"title":"k-th Power Paley Digraph 的跨域子域和改进的拉姆齐数下限","authors":"Dermot McCarthy, Mason Springfield","doi":"10.1007/s00373-024-02792-7","DOIUrl":null,"url":null,"abstract":"<p>Let <span>\\(k \\ge 2\\)</span> be an even integer. Let <i>q</i> be a prime power such that <span>\\(q \\equiv k+1 (\\text {mod}\\,\\,2k)\\)</span>. We define the <i>k-th power Paley digraph</i> of order <i>q</i>, <span>\\(G_k(q)\\)</span>, as the graph with vertex set <span>\\(\\mathbb {F}_q\\)</span> where <span>\\(a \\rightarrow b\\)</span> is an edge if and only if <span>\\(b-a\\)</span> is a <i>k</i>-th power residue. This generalizes the (<span>\\(k=2\\)</span>) Paley Tournament. We provide a formula, in terms of finite field hypergeometric functions, for the number of transitive subtournaments of order four contained in <span>\\(G_k(q)\\)</span>, <span>\\(\\mathcal {K}_4(G_k(q))\\)</span>, which holds for all <i>k</i>. We also provide a formula, in terms of Jacobi sums, for the number of transitive subtournaments of order three contained in <span>\\(G_k(q)\\)</span>, <span>\\(\\mathcal {K}_3(G_k(q))\\)</span>. In both cases, we give explicit determinations of these formulae for small <i>k</i>. We show that zero values of <span>\\(\\mathcal {K}_4(G_k(q))\\)</span> (resp. <span>\\(\\mathcal {K}_3(G_k(q))\\)</span>) yield lower bounds for the multicolor directed Ramsey numbers <span>\\(R_{\\frac{k}{2}}(4)=R(4,4,\\ldots ,4)\\)</span> (resp. <span>\\(R_{\\frac{k}{2}}(3)\\)</span>). We state explicitly these lower bounds for <span>\\(k\\le 10\\)</span> and compare to known bounds, showing improvement for <span>\\(R_2(4)\\)</span> and <span>\\(R_3(3)\\)</span>. Combining with known multiplicative relations we give improved lower bounds for <span>\\(R_{t}(4)\\)</span>, for all <span>\\(t\\ge 2\\)</span>, and for <span>\\(R_{t}(3)\\)</span>, for all <span>\\(t \\ge 3\\)</span>.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":"37 1","pages":""},"PeriodicalIF":0.6000,"publicationDate":"2024-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Transitive Subtournaments of k-th Power Paley Digraphs and Improved Lower Bounds for Ramsey Numbers\",\"authors\":\"Dermot McCarthy, Mason Springfield\",\"doi\":\"10.1007/s00373-024-02792-7\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Let <span>\\\\(k \\\\ge 2\\\\)</span> be an even integer. Let <i>q</i> be a prime power such that <span>\\\\(q \\\\equiv k+1 (\\\\text {mod}\\\\,\\\\,2k)\\\\)</span>. We define the <i>k-th power Paley digraph</i> of order <i>q</i>, <span>\\\\(G_k(q)\\\\)</span>, as the graph with vertex set <span>\\\\(\\\\mathbb {F}_q\\\\)</span> where <span>\\\\(a \\\\rightarrow b\\\\)</span> is an edge if and only if <span>\\\\(b-a\\\\)</span> is a <i>k</i>-th power residue. This generalizes the (<span>\\\\(k=2\\\\)</span>) Paley Tournament. We provide a formula, in terms of finite field hypergeometric functions, for the number of transitive subtournaments of order four contained in <span>\\\\(G_k(q)\\\\)</span>, <span>\\\\(\\\\mathcal {K}_4(G_k(q))\\\\)</span>, which holds for all <i>k</i>. We also provide a formula, in terms of Jacobi sums, for the number of transitive subtournaments of order three contained in <span>\\\\(G_k(q)\\\\)</span>, <span>\\\\(\\\\mathcal {K}_3(G_k(q))\\\\)</span>. In both cases, we give explicit determinations of these formulae for small <i>k</i>. We show that zero values of <span>\\\\(\\\\mathcal {K}_4(G_k(q))\\\\)</span> (resp. <span>\\\\(\\\\mathcal {K}_3(G_k(q))\\\\)</span>) yield lower bounds for the multicolor directed Ramsey numbers <span>\\\\(R_{\\\\frac{k}{2}}(4)=R(4,4,\\\\ldots ,4)\\\\)</span> (resp. <span>\\\\(R_{\\\\frac{k}{2}}(3)\\\\)</span>). We state explicitly these lower bounds for <span>\\\\(k\\\\le 10\\\\)</span> and compare to known bounds, showing improvement for <span>\\\\(R_2(4)\\\\)</span> and <span>\\\\(R_3(3)\\\\)</span>. Combining with known multiplicative relations we give improved lower bounds for <span>\\\\(R_{t}(4)\\\\)</span>, for all <span>\\\\(t\\\\ge 2\\\\)</span>, and for <span>\\\\(R_{t}(3)\\\\)</span>, for all <span>\\\\(t \\\\ge 3\\\\)</span>.</p>\",\"PeriodicalId\":12811,\"journal\":{\"name\":\"Graphs and Combinatorics\",\"volume\":\"37 1\",\"pages\":\"\"},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2024-05-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Graphs and Combinatorics\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1007/s00373-024-02792-7\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Graphs and Combinatorics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s00373-024-02792-7","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
Transitive Subtournaments of k-th Power Paley Digraphs and Improved Lower Bounds for Ramsey Numbers
Let \(k \ge 2\) be an even integer. Let q be a prime power such that \(q \equiv k+1 (\text {mod}\,\,2k)\). We define the k-th power Paley digraph of order q, \(G_k(q)\), as the graph with vertex set \(\mathbb {F}_q\) where \(a \rightarrow b\) is an edge if and only if \(b-a\) is a k-th power residue. This generalizes the (\(k=2\)) Paley Tournament. We provide a formula, in terms of finite field hypergeometric functions, for the number of transitive subtournaments of order four contained in \(G_k(q)\), \(\mathcal {K}_4(G_k(q))\), which holds for all k. We also provide a formula, in terms of Jacobi sums, for the number of transitive subtournaments of order three contained in \(G_k(q)\), \(\mathcal {K}_3(G_k(q))\). In both cases, we give explicit determinations of these formulae for small k. We show that zero values of \(\mathcal {K}_4(G_k(q))\) (resp. \(\mathcal {K}_3(G_k(q))\)) yield lower bounds for the multicolor directed Ramsey numbers \(R_{\frac{k}{2}}(4)=R(4,4,\ldots ,4)\) (resp. \(R_{\frac{k}{2}}(3)\)). We state explicitly these lower bounds for \(k\le 10\) and compare to known bounds, showing improvement for \(R_2(4)\) and \(R_3(3)\). Combining with known multiplicative relations we give improved lower bounds for \(R_{t}(4)\), for all \(t\ge 2\), and for \(R_{t}(3)\), for all \(t \ge 3\).
期刊介绍:
Graphs and Combinatorics is an international journal devoted to research concerning all aspects of combinatorial mathematics. In addition to original research papers, the journal also features survey articles from authors invited by the editorial board.