{"title":"Minimum degree stability of \n \n \n \n C\n \n 2\n k\n +\n 1\n \n \n \n ${C}_{2k+1}$\n -free graphs","authors":"Xiaoli Yuan, Yuejian Peng","doi":"10.1002/jgt.23086","DOIUrl":null,"url":null,"abstract":"<p>We consider the minimum degree stability of graphs forbidding odd cycles: What is the tight bound on the minimum degree to guarantee that the structure of a <span></span><math>\n <semantics>\n <mrow>\n <msub>\n <mi>C</mi>\n \n <mrow>\n <mn>2</mn>\n \n <mi>k</mi>\n \n <mo>+</mo>\n \n <mn>1</mn>\n </mrow>\n </msub>\n </mrow>\n <annotation> ${C}_{2k+1}$</annotation>\n </semantics></math>-free graph inherits from the extremal graph (a balanced complete bipartite graph)? Andrásfai, Erdős, and Sós showed that if a <span></span><math>\n <semantics>\n <mrow>\n <mo>{</mo>\n \n <msub>\n <mi>C</mi>\n \n <mn>3</mn>\n </msub>\n \n <mo>,</mo>\n \n <msub>\n <mi>C</mi>\n \n <mn>5</mn>\n </msub>\n \n <mo>,</mo>\n \n <mtext>…</mtext>\n \n <mo>,</mo>\n \n <msub>\n <mi>C</mi>\n \n <mrow>\n <mn>2</mn>\n \n <mi>k</mi>\n \n <mo>+</mo>\n \n <mn>1</mn>\n </mrow>\n </msub>\n \n <mo>}</mo>\n </mrow>\n <annotation> $\\{{C}_{3},{C}_{5},\\ldots ,{C}_{2k+1}\\}$</annotation>\n </semantics></math>-free graph on <span></span><math>\n <semantics>\n <mrow>\n <mi>n</mi>\n </mrow>\n <annotation> $n$</annotation>\n </semantics></math> vertices has minimum degree greater than <span></span><math>\n <semantics>\n <mrow>\n <mfrac>\n <mn>2</mn>\n \n <mrow>\n <mn>2</mn>\n \n <mi>k</mi>\n \n <mo>+</mo>\n \n <mn>3</mn>\n </mrow>\n </mfrac>\n \n <mi>n</mi>\n </mrow>\n <annotation> $\\frac{2}{2k+3}n$</annotation>\n </semantics></math>, then it is bipartite. Häggkvist showed that for <span></span><math>\n <semantics>\n <mrow>\n <mi>k</mi>\n \n <mo>∈</mo>\n \n <mrow>\n <mo>{</mo>\n \n <mrow>\n <mn>1</mn>\n \n <mo>,</mo>\n \n <mn>2</mn>\n \n <mo>,</mo>\n \n <mn>3</mn>\n \n <mo>,</mo>\n \n <mn>4</mn>\n </mrow>\n \n <mo>}</mo>\n </mrow>\n </mrow>\n <annotation> $k\\in \\{1,2,3,4\\}$</annotation>\n </semantics></math>, if a <span></span><math>\n <semantics>\n <mrow>\n <msub>\n <mi>C</mi>\n \n <mrow>\n <mn>2</mn>\n \n <mi>k</mi>\n \n <mo>+</mo>\n \n <mn>1</mn>\n </mrow>\n </msub>\n </mrow>\n <annotation> ${C}_{2k+1}$</annotation>\n </semantics></math>-free graph on <span></span><math>\n <semantics>\n <mrow>\n <mi>n</mi>\n </mrow>\n <annotation> $n$</annotation>\n </semantics></math> vertices has minimum degree greater than <span></span><math>\n <semantics>\n <mrow>\n <mfrac>\n <mn>2</mn>\n \n <mrow>\n <mn>2</mn>\n \n <mi>k</mi>\n \n <mo>+</mo>\n \n <mn>3</mn>\n </mrow>\n </mfrac>\n \n <mi>n</mi>\n </mrow>\n <annotation> $\\frac{2}{2k+3}n$</annotation>\n </semantics></math>, then it is bipartite. Häggkvist also pointed out that this result cannot be extended to <span></span><math>\n <semantics>\n <mrow>\n <mi>k</mi>\n \n <mo>≥</mo>\n \n <mn>5</mn>\n </mrow>\n <annotation> $k\\ge 5$</annotation>\n </semantics></math>. In this paper, we give a complete answer for any <span></span><math>\n <semantics>\n <mrow>\n <mi>k</mi>\n \n <mo>≥</mo>\n \n <mn>5</mn>\n </mrow>\n <annotation> $k\\ge 5$</annotation>\n </semantics></math>. We show that if <span></span><math>\n <semantics>\n <mrow>\n <mi>k</mi>\n \n <mo>≥</mo>\n \n <mn>5</mn>\n </mrow>\n <annotation> $k\\ge 5$</annotation>\n </semantics></math> and <span></span><math>\n <semantics>\n <mrow>\n <mi>G</mi>\n </mrow>\n <annotation> $G$</annotation>\n </semantics></math> is an <span></span><math>\n <semantics>\n <mrow>\n <mi>n</mi>\n </mrow>\n <annotation> $n$</annotation>\n </semantics></math>-vertex <span></span><math>\n <semantics>\n <mrow>\n <msub>\n <mi>C</mi>\n \n <mrow>\n <mn>2</mn>\n \n <mi>k</mi>\n \n <mo>+</mo>\n \n <mn>1</mn>\n </mrow>\n </msub>\n </mrow>\n <annotation> ${C}_{2k+1}$</annotation>\n </semantics></math>-free graph with <span></span><math>\n <semantics>\n <mrow>\n <mi>δ</mi>\n \n <mrow>\n <mo>(</mo>\n \n <mi>G</mi>\n \n <mo>)</mo>\n </mrow>\n \n <mo>≥</mo>\n \n <mfrac>\n <mi>n</mi>\n \n <mn>6</mn>\n </mfrac>\n \n <mo>+</mo>\n \n <mn>1</mn>\n </mrow>\n <annotation> $\\delta (G)\\ge \\frac{n}{6}+1$</annotation>\n </semantics></math>, then <span></span><math>\n <semantics>\n <mrow>\n <mi>G</mi>\n </mrow>\n <annotation> $G$</annotation>\n </semantics></math> is bipartite, and the bound <span></span><math>\n <semantics>\n <mrow>\n <mfrac>\n <mi>n</mi>\n \n <mn>6</mn>\n </mfrac>\n \n <mo>+</mo>\n \n <mn>1</mn>\n </mrow>\n <annotation> $\\frac{n}{6}+1$</annotation>\n </semantics></math> is tight.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-02-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/jgt.23086","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
We consider the minimum degree stability of graphs forbidding odd cycles: What is the tight bound on the minimum degree to guarantee that the structure of a -free graph inherits from the extremal graph (a balanced complete bipartite graph)? Andrásfai, Erdős, and Sós showed that if a -free graph on vertices has minimum degree greater than , then it is bipartite. Häggkvist showed that for , if a -free graph on vertices has minimum degree greater than , then it is bipartite. Häggkvist also pointed out that this result cannot be extended to . In this paper, we give a complete answer for any . We show that if and is an -vertex -free graph with , then is bipartite, and the bound is tight.