Marthe Bonamy, Vincent Delecroix, Clément Legrand–Duchesne
{"title":"Kempe changes in degenerate graphs","authors":"Marthe Bonamy, Vincent Delecroix, Clément Legrand–Duchesne","doi":"10.1016/j.ejc.2023.103802","DOIUrl":null,"url":null,"abstract":"<div><p>We consider Kempe changes on the <span><math><mi>k</mi></math></span>-colorings of a graph on <span><math><mi>n</mi></math></span> vertices. If the graph is <span><math><mrow><mo>(</mo><mi>k</mi><mo>−</mo><mn>1</mn><mo>)</mo></mrow></math></span>-degenerate, then all its <span><math><mi>k</mi></math></span>-colorings are equivalent up to Kempe changes. However, the sequence between two <span><math><mi>k</mi></math></span>-colorings that arises from the proof may have length exponential in the number of vertices. An intriguing open question is whether it can be turned polynomial. We prove this to be possible under the stronger assumption that the graph has treewidth at most <span><math><mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></math></span>. Namely, any two <span><math><mi>k</mi></math></span>-colorings are equivalent up to <span><math><mrow><mi>O</mi><mrow><mo>(</mo><mi>k</mi><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></mrow></mrow></math></span> Kempe changes. We investigate other restrictions (list coloring, bounded maximum average degree, degree bounds). As one of the main results, we derive that given an <span><math><mi>n</mi></math></span><span>-vertex graph with maximum degree </span><span><math><mi>Δ</mi></math></span>, the <span><math><mi>Δ</mi></math></span>-colorings are all equivalent up to <span><math><mrow><msub><mrow><mi>O</mi></mrow><mrow><mi>Δ</mi></mrow></msub><mrow><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></mrow></mrow></math></span> Kempe changes, unless <span><math><mrow><mi>Δ</mi><mo>=</mo><mn>3</mn></mrow></math></span> and some connected component is a 3-prism, that is <span><math><mrow><msub><mrow><mi>K</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>□</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>3</mn></mrow></msub></mrow></math></span>, in which case there exist some non-equivalent 3-colorings.</p></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0000,"publicationDate":"2024-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"European Journal of Combinatorics","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0195669823001191","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
We consider Kempe changes on the -colorings of a graph on vertices. If the graph is -degenerate, then all its -colorings are equivalent up to Kempe changes. However, the sequence between two -colorings that arises from the proof may have length exponential in the number of vertices. An intriguing open question is whether it can be turned polynomial. We prove this to be possible under the stronger assumption that the graph has treewidth at most . Namely, any two -colorings are equivalent up to Kempe changes. We investigate other restrictions (list coloring, bounded maximum average degree, degree bounds). As one of the main results, we derive that given an -vertex graph with maximum degree , the -colorings are all equivalent up to Kempe changes, unless and some connected component is a 3-prism, that is , in which case there exist some non-equivalent 3-colorings.
期刊介绍:
The European Journal of Combinatorics is a high standard, international, bimonthly journal of pure mathematics, specializing in theories arising from combinatorial problems. The journal is primarily open to papers dealing with mathematical structures within combinatorics and/or establishing direct links between combinatorics and other branches of mathematics and the theories of computing. The journal includes full-length research papers on important topics.