{"title":"Chromatic number and regular subgraphs","authors":"Barnabás Janzer, Raphael Steiner, Benny Sudakov","doi":"10.1112/blms.70262","DOIUrl":null,"url":null,"abstract":"<p>In 1992, Erdős and Hajnal posed the following natural problem: Does there exist, for every <span></span><math>\n <semantics>\n <mrow>\n <mi>r</mi>\n <mo>∈</mo>\n <mi>N</mi>\n </mrow>\n <annotation>$r\\in \\mathbb {N}$</annotation>\n </semantics></math>, an integer <span></span><math>\n <semantics>\n <mrow>\n <mi>F</mi>\n <mo>(</mo>\n <mi>r</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$F(r)$</annotation>\n </semantics></math> such that every graph with chromatic number at least <span></span><math>\n <semantics>\n <mrow>\n <mi>F</mi>\n <mo>(</mo>\n <mi>r</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$F(r)$</annotation>\n </semantics></math> contains <span></span><math>\n <semantics>\n <mi>r</mi>\n <annotation>$r$</annotation>\n </semantics></math> edge-disjoint cycles on the same vertex set? We solve this problem in a strong form, by showing that there exist <span></span><math>\n <semantics>\n <mi>n</mi>\n <annotation>$n$</annotation>\n </semantics></math>-vertex graphs with fractional chromatic number <span></span><math>\n <semantics>\n <mrow>\n <mi>Ω</mi>\n <mfenced>\n <mfrac>\n <mrow>\n <mi>log</mi>\n <mi>log</mi>\n <mi>n</mi>\n </mrow>\n <mrow>\n <mi>log</mi>\n <mi>log</mi>\n <mi>log</mi>\n <mi>n</mi>\n </mrow>\n </mfrac>\n </mfenced>\n </mrow>\n <annotation>$\\Omega \\left(\\frac{\\log \\log n}{\\log \\log \\log n}\\right)$</annotation>\n </semantics></math> that do not even contain a 4-regular subgraph. This implies that no such number <span></span><math>\n <semantics>\n <mrow>\n <mi>F</mi>\n <mo>(</mo>\n <mi>r</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$F(r)$</annotation>\n </semantics></math> exists for <span></span><math>\n <semantics>\n <mrow>\n <mi>r</mi>\n <mo>⩾</mo>\n <mn>2</mn>\n </mrow>\n <annotation>$r\\geqslant 2$</annotation>\n </semantics></math>. We show that, assuming a conjecture of Harris, the bound on the fractional chromatic number in our result cannot be improved. (After our paper was written, Harris' conjecture was proved by Martinsson.)</p>","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"58 4","pages":""},"PeriodicalIF":0.9000,"publicationDate":"2026-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/blms.70262","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the London Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://londmathsoc.onlinelibrary.wiley.com/doi/10.1112/blms.70262","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2025/12/17 0:00:00","PubModel":"Epub","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
In 1992, Erdős and Hajnal posed the following natural problem: Does there exist, for every , an integer such that every graph with chromatic number at least contains edge-disjoint cycles on the same vertex set? We solve this problem in a strong form, by showing that there exist -vertex graphs with fractional chromatic number that do not even contain a 4-regular subgraph. This implies that no such number exists for . We show that, assuming a conjecture of Harris, the bound on the fractional chromatic number in our result cannot be improved. (After our paper was written, Harris' conjecture was proved by Martinsson.)