Pub Date : 2026-01-01Epub Date: 2025-10-08DOI: 10.1016/j.jctb.2025.09.005
Maria Chudnovsky , Sepehr Hajebi , Sophie Spirkl
We prove that for every graph G with a sufficiently large complete bipartite induced minor, either G has an induced minor isomorphic to a large wall, or G contains a large constellation; that is, a complete bipartite induced minor model such that on one side of the bipartition, each branch set is a singleton, and on the other side, each branch set induces a path.
We further refine this theorem by characterizing the unavoidable induced subgraphs of large constellations as two types of highly structured constellations. These results will be key ingredients in several forthcoming papers of this series.
{"title":"Induced subgraphs and tree decompositions XVI. Complete bipartite induced minors","authors":"Maria Chudnovsky , Sepehr Hajebi , Sophie Spirkl","doi":"10.1016/j.jctb.2025.09.005","DOIUrl":"10.1016/j.jctb.2025.09.005","url":null,"abstract":"<div><div>We prove that for every graph <em>G</em> with a sufficiently large complete bipartite induced minor, either <em>G</em> has an induced minor isomorphic to a large wall, or <em>G</em> contains a large <em>constellation</em>; that is, a complete bipartite induced minor model such that on one side of the bipartition, each branch set is a singleton, and on the other side, each branch set induces a path.</div><div>We further refine this theorem by characterizing the unavoidable induced subgraphs of large constellations as two types of highly structured constellations. These results will be key ingredients in several forthcoming papers of this series.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"176 ","pages":"Pages 287-318"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145265994","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2026-01-01Epub Date: 2025-10-08DOI: 10.1016/j.jctb.2025.08.004
Jacob Fox , Jonathan Tidor , Shengtong Zhang
A graph is H-Ramsey if every two-coloring of its edges contains a monochromatic copy of H. Define the F-Ramsey number of H, denoted by , to be the minimum number of copies of F in a graph which is H-Ramsey. This generalizes the Ramsey number and size Ramsey number of a graph. Addressing a question of Spiro, we prove that for all sufficiently large t. We do so through a result on graph coloring: there exists an absolute constant K such that every r-chromatic graph where every edge is contained in at least K triangles must contain at least triangles in total.
{"title":"Triangle Ramsey numbers of complete graphs","authors":"Jacob Fox , Jonathan Tidor , Shengtong Zhang","doi":"10.1016/j.jctb.2025.08.004","DOIUrl":"10.1016/j.jctb.2025.08.004","url":null,"abstract":"<div><div>A graph is <em>H</em>-Ramsey if every two-coloring of its edges contains a monochromatic copy of <em>H</em>. Define the <em>F</em>-Ramsey number of <em>H</em>, denoted by <span><math><msub><mrow><mi>r</mi></mrow><mrow><mi>F</mi></mrow></msub><mo>(</mo><mi>H</mi><mo>)</mo></math></span>, to be the minimum number of copies of <em>F</em> in a graph which is <em>H</em>-Ramsey. This generalizes the Ramsey number and size Ramsey number of a graph. Addressing a question of Spiro, we prove that<span><span><span><math><msub><mrow><mi>r</mi></mrow><mrow><msub><mrow><mi>K</mi></mrow><mrow><mn>3</mn></mrow></msub></mrow></msub><mo>(</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>t</mi></mrow></msub><mo>)</mo><mo>=</mo><mrow><mo>(</mo><mtable><mtr><mtd><mrow><mi>r</mi><mo>(</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>t</mi></mrow></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mn>3</mn></mtd></mtr></mtable><mo>)</mo></mrow></math></span></span></span> for all sufficiently large <em>t</em>. We do so through a result on graph coloring: there exists an absolute constant <em>K</em> such that every <em>r</em>-chromatic graph where every edge is contained in at least <em>K</em> triangles must contain at least <span><math><mo>(</mo><mtable><mtr><mtd><mi>r</mi></mtd></mtr><mtr><mtd><mn>3</mn></mtd></mtr></mtable><mo>)</mo></math></span> triangles in total.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"176 ","pages":"Pages 268-286"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145265870","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2026-01-01Epub Date: 2025-09-26DOI: 10.1016/j.jctb.2025.09.002
Micha Christoph , Rajko Nenadov , Kalina Petrova
We show that if n is odd and , then with high probability Hamilton cycles in span its cycle space. More generally, we show this holds for a class of graphs satisfying certain natural pseudorandom properties. The proof is based on a novel idea of parity-switchers, which can be thought of as analogues of absorbers in the context of cycle spaces. As another application of our method, we show that Hamilton cycles in a near-Dirac graph G, that is, a graph G with odd n vertices and minimum degree for sufficiently large constant C, span its cycle space.
{"title":"The Hamilton space of pseudorandom graphs","authors":"Micha Christoph , Rajko Nenadov , Kalina Petrova","doi":"10.1016/j.jctb.2025.09.002","DOIUrl":"10.1016/j.jctb.2025.09.002","url":null,"abstract":"<div><div>We show that if <em>n</em> is odd and <span><math><mi>p</mi><mo>≥</mo><mi>C</mi><mi>log</mi><mo></mo><mi>n</mi><mo>/</mo><mi>n</mi></math></span>, then with high probability Hamilton cycles in <span><math><mi>G</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>p</mi><mo>)</mo></math></span> span its cycle space. More generally, we show this holds for a class of graphs satisfying certain natural pseudorandom properties. The proof is based on a novel idea of parity-switchers, which can be thought of as analogues of absorbers in the context of cycle spaces. As another application of our method, we show that Hamilton cycles in a near-Dirac graph <em>G</em>, that is, a graph <em>G</em> with odd <em>n</em> vertices and minimum degree <span><math><mi>n</mi><mo>/</mo><mn>2</mn><mo>+</mo><mi>C</mi></math></span> for sufficiently large constant <em>C</em>, span its cycle space.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"176 ","pages":"Pages 254-267"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145157540","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2026-01-01Epub Date: 2025-10-29DOI: 10.1016/j.jctb.2025.10.007
Alexey Pokrovskiy, Leo Versteegen, Ella Williams
In 1995, Erdős and Gyárfás proved that in every 2-edge-coloured complete graph on n vertices, there exists a collection of monochromatic paths, all of the same colour, which cover the entire vertex set. They conjectured that it is possible to replace by . We prove this to be true for all sufficiently large n.
{"title":"A proof of a conjecture of Erdős and Gyárfás on monochromatic path covers","authors":"Alexey Pokrovskiy, Leo Versteegen, Ella Williams","doi":"10.1016/j.jctb.2025.10.007","DOIUrl":"10.1016/j.jctb.2025.10.007","url":null,"abstract":"<div><div>In 1995, Erdős and Gyárfás proved that in every 2-edge-coloured complete graph on <em>n</em> vertices, there exists a collection of <span><math><mn>2</mn><msqrt><mrow><mi>n</mi></mrow></msqrt></math></span> monochromatic paths, all of the same colour, which cover the entire vertex set. They conjectured that it is possible to replace <span><math><mn>2</mn><msqrt><mrow><mi>n</mi></mrow></msqrt></math></span> by <span><math><msqrt><mrow><mi>n</mi></mrow></msqrt></math></span>. We prove this to be true for all sufficiently large <em>n</em>.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"176 ","pages":"Pages 551-560"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145383219","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-11-01Epub Date: 2025-07-31DOI: 10.1016/j.jctb.2025.07.005
Debsoumya Chakraborti , Tuan Tran
Fix and consider a multipartite graph G with maximum degree at most , parts of the same size n, and where every vertex has at most neighbors in any part . Loh and Sudakov proved that any such G has an independent transversal. They further conjectured that the vertex set of G can be decomposed into pairwise disjoint independent transversals. In the present paper, we resolve this conjecture approximately by showing that G contains pairwise disjoint independent transversals. As applications, we give approximate answers to questions of Yuster, and of Fischer, Kühn, and Osthus.
{"title":"Approximate packing of independent transversals in locally sparse graphs","authors":"Debsoumya Chakraborti , Tuan Tran","doi":"10.1016/j.jctb.2025.07.005","DOIUrl":"10.1016/j.jctb.2025.07.005","url":null,"abstract":"<div><div>Fix <span><math><mi>ε</mi><mo>></mo><mn>0</mn></math></span> and consider a multipartite graph <em>G</em> with maximum degree at most <span><math><mo>(</mo><mn>1</mn><mo>−</mo><mi>ε</mi><mo>)</mo><mi>n</mi></math></span>, parts <span><math><msub><mrow><mi>V</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>V</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> of the same size <em>n</em>, and where every vertex has at most <span><math><mi>o</mi><mo>(</mo><mi>n</mi><mo>)</mo></math></span> neighbors in any part <span><math><msub><mrow><mi>V</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span>. Loh and Sudakov proved that any such <em>G</em> has an independent transversal. They further conjectured that the vertex set of <em>G</em> can be decomposed into pairwise disjoint independent transversals. In the present paper, we resolve this conjecture approximately by showing that <em>G</em> contains <span><math><mo>(</mo><mn>1</mn><mo>−</mo><mi>ε</mi><mo>)</mo><mi>n</mi></math></span> pairwise disjoint independent transversals. As applications, we give approximate answers to questions of Yuster, and of Fischer, Kühn, and Osthus.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"175 ","pages":"Pages 187-212"},"PeriodicalIF":1.2,"publicationDate":"2025-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144738353","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-11-01Epub Date: 2025-07-18DOI: 10.1016/j.jctb.2025.07.003
Huan Zhou, Jialu Zhu, Xuding Zhu
A graph G is called degree-truncated k-choosable if for every list assignment L with for each vertex v, G is L-colourable. Richter asked whether every 3-connected non-complete planar graph is degree-truncated 6-choosable. We answer this question in negative by constructing a 3-connected non-complete planar graph which is not degree-truncated 7-choosable. Then we prove that every 3-connected non-complete planar graph is degree-truncated 16-DP-colourable (and hence degree-truncated 16-choosable). We further prove that for an arbitrary proper minor closed family of graphs, let s be the minimum integer such that for some t, then there is a constant k such that every s-connected graph other than a GDP tree is degree-truncated DP-k-colourable (and hence degree-truncated k-choosable), where a GDP-tree is a graph whose blocks are complete graphs or cycles. In particular, for any surface Σ, there is a constant k such that every 3-connected non-complete graph embeddable on Σ is degree-truncated DP-k-colourable (and hence degree-truncated k-choosable). The s-connectedness for graphs in (and 3-connectedness for graphs embeddable on Σ) is necessary, as for any positive integer k, ( is planar) is not degree-truncated k-choosable. Also, non-completeness is a necessary condition, as complete graphs are not degree-choosable.
{"title":"Degree-truncated choosability of graphs","authors":"Huan Zhou, Jialu Zhu, Xuding Zhu","doi":"10.1016/j.jctb.2025.07.003","DOIUrl":"10.1016/j.jctb.2025.07.003","url":null,"abstract":"<div><div>A graph <em>G</em> is called degree-truncated <em>k</em>-choosable if for every list assignment <em>L</em> with <span><math><mo>|</mo><mi>L</mi><mo>(</mo><mi>v</mi><mo>)</mo><mo>|</mo><mo>≥</mo><mi>min</mi><mo></mo><mo>{</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>G</mi></mrow></msub><mo>(</mo><mi>v</mi><mo>)</mo><mo>,</mo><mi>k</mi><mo>}</mo></math></span> for each vertex <em>v</em>, <em>G</em> is <em>L</em>-colourable. Richter asked whether every 3-connected non-complete planar graph is degree-truncated 6-choosable. We answer this question in negative by constructing a 3-connected non-complete planar graph which is not degree-truncated 7-choosable. Then we prove that every 3-connected non-complete planar graph is degree-truncated 16-DP-colourable (and hence degree-truncated 16-choosable). We further prove that for an arbitrary proper minor closed family <span><math><mi>G</mi></math></span> of graphs, let <em>s</em> be the minimum integer such that <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>t</mi></mrow></msub><mo>∉</mo><mi>G</mi></math></span> for some <em>t</em>, then there is a constant <em>k</em> such that every <em>s</em>-connected graph <span><math><mi>G</mi><mo>∈</mo><mi>G</mi></math></span> other than a GDP tree is degree-truncated DP-<em>k</em>-colourable (and hence degree-truncated <em>k</em>-choosable), where a GDP-tree is a graph whose blocks are complete graphs or cycles. In particular, for any surface Σ, there is a constant <em>k</em> such that every 3-connected non-complete graph embeddable on Σ is degree-truncated DP-<em>k</em>-colourable (and hence degree-truncated <em>k</em>-choosable). The <em>s</em>-connectedness for graphs in <span><math><mi>G</mi></math></span> (and 3-connectedness for graphs embeddable on Σ) is necessary, as for any positive integer <em>k</em>, <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>s</mi><mo>−</mo><mn>1</mn><mo>,</mo><msup><mrow><mi>k</mi></mrow><mrow><mi>s</mi><mo>−</mo><mn>1</mn></mrow></msup></mrow></msub><mo>∈</mo><mi>G</mi></math></span> (<span><math><msub><mrow><mi>K</mi></mrow><mrow><mn>2</mn><mo>,</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow></msub></math></span> is planar) is not degree-truncated <em>k</em>-choosable. Also, non-completeness is a necessary condition, as complete graphs are not degree-choosable.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"175 ","pages":"Pages 171-186"},"PeriodicalIF":1.2,"publicationDate":"2025-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144654393","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-11-01Epub Date: 2025-07-17DOI: 10.1016/j.jctb.2025.07.002
Anton Bernshteyn , Abhishek Dhawan
Vizing's theorem states that every graph G of maximum degree Δ can be properly edge-colored using colors. The fastest currently known -edge-coloring algorithm for general graphs is due to Sinnamon and runs in time , where and . We investigate the case when Δ is constant, i.e., . In this regime, the runtime of Sinnamon's algorithm is , which can be improved to , as shown by Gabow, Nishizeki, Kariv, Leven, and Terada. Here we give an algorithm whose running time is only , which is obviously best possible. Prior to this work, no linear-time -edge-coloring algorithm was known for any . Using some of the same ideas, we also develop new algorithms for -edge-coloring in the model of distributed computation. Namely, when Δ is constant, we design a deterministic algorithm with running time and a randomized algorithm with running time . Although our focus is on the constant Δ regime, our results remain interesting for Δ up to , since the dependence of their running time on Δ is polynomial. The key new ingredient in our algorithms is a novel application of the entropy compression method.
{"title":"Fast algorithms for Vizing's theorem on bounded degree graphs","authors":"Anton Bernshteyn , Abhishek Dhawan","doi":"10.1016/j.jctb.2025.07.002","DOIUrl":"10.1016/j.jctb.2025.07.002","url":null,"abstract":"<div><div>Vizing's theorem states that every graph <em>G</em> of maximum degree Δ can be properly edge-colored using <span><math><mi>Δ</mi><mo>+</mo><mn>1</mn></math></span> colors. The fastest currently known <span><math><mo>(</mo><mi>Δ</mi><mo>+</mo><mn>1</mn><mo>)</mo></math></span>-edge-coloring algorithm for general graphs is due to Sinnamon and runs in time <span><math><mi>O</mi><mo>(</mo><mi>m</mi><msqrt><mrow><mi>n</mi></mrow></msqrt><mo>)</mo></math></span>, where <span><math><mi>n</mi><mo>≔</mo><mo>|</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo></math></span> and <span><math><mi>m</mi><mo>≔</mo><mo>|</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo></math></span>. We investigate the case when Δ is constant, i.e., <span><math><mi>Δ</mi><mo>=</mo><mi>O</mi><mo>(</mo><mn>1</mn><mo>)</mo></math></span>. In this regime, the runtime of Sinnamon's algorithm is <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>3</mn><mo>/</mo><mn>2</mn></mrow></msup><mo>)</mo></math></span>, which can be improved to <span><math><mi>O</mi><mo>(</mo><mi>n</mi><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span>, as shown by Gabow, Nishizeki, Kariv, Leven, and Terada. Here we give an algorithm whose running time is only <span><math><mi>O</mi><mo>(</mo><mi>n</mi><mo>)</mo></math></span>, which is obviously best possible. Prior to this work, no linear-time <span><math><mo>(</mo><mi>Δ</mi><mo>+</mo><mn>1</mn><mo>)</mo></math></span>-edge-coloring algorithm was known for any <span><math><mi>Δ</mi><mo>⩾</mo><mn>4</mn></math></span>. Using some of the same ideas, we also develop new algorithms for <span><math><mo>(</mo><mi>Δ</mi><mo>+</mo><mn>1</mn><mo>)</mo></math></span>-edge-coloring in the <span><math><mi>LOCAL</mi></math></span> model of distributed computation. Namely, when Δ is constant, we design a deterministic <span><math><mi>LOCAL</mi></math></span> algorithm with running time <span><math><mover><mrow><mi>O</mi></mrow><mrow><mo>˜</mo></mrow></mover><mo>(</mo><msup><mrow><mi>log</mi></mrow><mrow><mn>5</mn></mrow></msup><mo></mo><mi>n</mi><mo>)</mo></math></span> and a randomized <span><math><mi>LOCAL</mi></math></span> algorithm with running time <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msup><mo></mo><mi>n</mi><mo>)</mo></math></span>. Although our focus is on the constant Δ regime, our results remain interesting for Δ up to <span><math><msup><mrow><mi>log</mi></mrow><mrow><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msup><mo></mo><mi>n</mi></math></span>, since the dependence of their running time on Δ is polynomial. The key new ingredient in our algorithms is a novel application of the entropy compression method.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"175 ","pages":"Pages 69-125"},"PeriodicalIF":1.2,"publicationDate":"2025-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144654391","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-11-01Epub Date: 2025-07-18DOI: 10.1016/j.jctb.2025.07.001
Michael Krivelevich , Alan Lew , Peleg Michaeli
A graph is called d-rigid if there exists a generic embedding of its vertex set into such that every continuous motion of the vertices that preserves the lengths of all edges actually preserves the distances between all pairs of vertices. The rigidity of a graph is the maximal d such that the graph is d-rigid. We present new sufficient conditions for the d-rigidity of a graph in terms of the existence of “rigid partitions”—partitions of the graph that satisfy certain connectivity properties. This extends previous results by Crapo, Lindemann, and Lew, Nevo, Peled and Raz.
As an application, we present new results on the rigidity of highly-connected graphs, random graphs, random bipartite graphs, pseudorandom graphs, and dense graphs. In particular, we prove that random -regular graphs are typically d-rigid, demonstrate the existence of a giant d-rigid component in sparse random binomial graphs, and show that the rigidity of relatively sparse random binomial bipartite graphs is roughly the same as that of the complete bipartite graph, which we consider an interesting phenomenon. Furthermore, we show that a graph admitting disjoint connected dominating sets is d-rigid. This implies a weak version of the Lovász–Yemini conjecture on the rigidity of highly-connected graphs. We also present an alternative short proof for a recent result by Lew, Nevo, Peled, and Raz, which asserts that the hitting time for d-rigidity in the random graph process typically coincides with the hitting time for minimum degree d.
{"title":"Rigid partitions: From high connectivity to random graphs","authors":"Michael Krivelevich , Alan Lew , Peleg Michaeli","doi":"10.1016/j.jctb.2025.07.001","DOIUrl":"10.1016/j.jctb.2025.07.001","url":null,"abstract":"<div><div>A graph is called <em>d</em>-rigid if there exists a generic embedding of its vertex set into <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span> such that every continuous motion of the vertices that preserves the lengths of all edges actually preserves the distances between all pairs of vertices. The rigidity of a graph is the maximal <em>d</em> such that the graph is <em>d</em>-rigid. We present new sufficient conditions for the <em>d</em>-rigidity of a graph in terms of the existence of “rigid partitions”—partitions of the graph that satisfy certain connectivity properties. This extends previous results by Crapo, Lindemann, and Lew, Nevo, Peled and Raz.</div><div>As an application, we present new results on the rigidity of highly-connected graphs, random graphs, random bipartite graphs, pseudorandom graphs, and dense graphs. In particular, we prove that random <span><math><mi>C</mi><mi>d</mi><mi>log</mi><mo></mo><mi>d</mi></math></span>-regular graphs are typically <em>d</em>-rigid, demonstrate the existence of a giant <em>d</em>-rigid component in sparse random binomial graphs, and show that the rigidity of relatively sparse random binomial bipartite graphs is roughly the same as that of the complete bipartite graph, which we consider an interesting phenomenon. Furthermore, we show that a graph admitting <span><math><mo>(</mo><mtable><mtr><mtd><mrow><mi>d</mi><mo>+</mo><mn>1</mn></mrow></mtd></mtr><mtr><mtd><mn>2</mn></mtd></mtr></mtable><mo>)</mo></math></span> disjoint connected dominating sets is <em>d</em>-rigid. This implies a weak version of the Lovász–Yemini conjecture on the rigidity of highly-connected graphs. We also present an alternative short proof for a recent result by Lew, Nevo, Peled, and Raz, which asserts that the hitting time for <em>d</em>-rigidity in the random graph process typically coincides with the hitting time for minimum degree <em>d</em>.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"175 ","pages":"Pages 126-170"},"PeriodicalIF":1.2,"publicationDate":"2025-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144654392","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-11-01Epub Date: 2025-08-04DOI: 10.1016/j.jctb.2025.07.004
Bo Ning , Long-Tu Yuan
In this paper, we study the stability result of a well-known theorem of Bondy. We prove that for any 2-connected non-hamiltonian graph, if every vertex except for at most one vertex has degree at least k, then it contains a cycle of length at least except for some special families of graphs. Our results imply several previous classical theorems including a deep and old result by Voss. We point out our result on stability in Bondy's theorem can directly imply a positive solution (in a slight stronger form) to the following problem: Is there a polynomial time algorithm to decide whether a 2-connected graph G on n vertices has a cycle of length at least ? This problem originally motivates the recent study on algorithmic aspects of Dirac's theorem by Fomin, Golovach, Sagunov, and Simonov, although a stronger problem was solved by them by completely different methods. Our theorem can also help us to determine all extremal graphs for wheels on odd number of vertices. We also discuss the relationship between our results and some previous problems and theorems in spectral graph theory and generalized Turán problems.
{"title":"Stability in Bondy's theorem on paths and cycles","authors":"Bo Ning , Long-Tu Yuan","doi":"10.1016/j.jctb.2025.07.004","DOIUrl":"10.1016/j.jctb.2025.07.004","url":null,"abstract":"<div><div>In this paper, we study the stability result of a well-known theorem of Bondy. We prove that for any 2-connected non-hamiltonian graph, if every vertex except for at most one vertex has degree at least <em>k</em>, then it contains a cycle of length at least <span><math><mn>2</mn><mi>k</mi><mo>+</mo><mn>2</mn></math></span> except for some special families of graphs. Our results imply several previous classical theorems including a deep and old result by Voss. We point out our result on stability in Bondy's theorem can directly imply a positive solution (in a slight stronger form) to the following problem: Is there a polynomial time algorithm to decide whether a 2-connected graph <em>G</em> on <em>n</em> vertices has a cycle of length at least <span><math><mi>min</mi><mo></mo><mo>{</mo><mn>2</mn><mi>δ</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>+</mo><mn>2</mn><mo>,</mo><mi>n</mi><mo>}</mo></math></span>? This problem originally motivates the recent study on algorithmic aspects of Dirac's theorem by Fomin, Golovach, Sagunov, and Simonov, although a stronger problem was solved by them by completely different methods. Our theorem can also help us to determine all extremal graphs for wheels on odd number of vertices. We also discuss the relationship between our results and some previous problems and theorems in spectral graph theory and generalized Turán problems.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"175 ","pages":"Pages 213-239"},"PeriodicalIF":1.2,"publicationDate":"2025-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144772391","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-11-01Epub Date: 2025-06-20DOI: 10.1016/j.jctb.2025.06.002
Luke Postle , Evelyne Smith-Roberge
We generalize a framework of list colouring results to correspondence colouring. Correspondence colouring is a generalization of list colouring wherein we localize the meaning of the colours available to each vertex. As pointed out by Dvořák and Postle, both of Thomassen's theorems on the 5-choosability of planar graphs and 3-choosability of planar graphs of girth at least five carry over to the correspondence colouring setting. In this paper, we show that the family of graphs that are critical for 5-correspondence colouring as well as the family of graphs of girth at least five that are critical for 3-correspondence colouring form hyperbolic families. Analogous results for list colouring were shown by Postle and Thomas and by Dvořák and Kawarabayashi, respectively. Using results on hyperbolic families due to Postle and Thomas, we show that this implies that there exists a universal constant c such that if Σ is a surface of Euler genus g, every graph of edge-width at least embedded in Σ is 5-correspondence colourable. This is asymptotically best possible, and improves upon the best known edge-width bound due to Kim, Kostochka, Li, and Zhu. Using results of Dvořák and Kawarabayashi, we show further that there exist linear-time algorithms for the decidability of 5-correspondence colouring for embedded graphs. We show analogous results for 3-correspondence colouring graphs of girth at least five.
{"title":"Hyperbolicity theorems for correspondence colouring","authors":"Luke Postle , Evelyne Smith-Roberge","doi":"10.1016/j.jctb.2025.06.002","DOIUrl":"10.1016/j.jctb.2025.06.002","url":null,"abstract":"<div><div>We generalize a framework of list colouring results to <em>correspondence colouring</em>. Correspondence colouring is a generalization of list colouring wherein we localize the meaning of the colours available to each vertex. As pointed out by Dvořák and Postle, both of Thomassen's theorems on the 5-choosability of planar graphs and 3-choosability of planar graphs of girth at least five carry over to the correspondence colouring setting. In this paper, we show that the family of graphs that are critical for 5-correspondence colouring as well as the family of graphs of girth at least five that are critical for 3-correspondence colouring form <em>hyperbolic families</em>. Analogous results for list colouring were shown by Postle and Thomas and by Dvořák and Kawarabayashi, respectively. Using results on hyperbolic families due to Postle and Thomas, we show that this implies that there exists a universal constant <em>c</em> such that if Σ is a surface of Euler genus <em>g</em>, every graph of edge-width at least <span><math><mi>c</mi><mo>⋅</mo><mi>log</mi><mo></mo><mo>(</mo><mi>g</mi><mo>+</mo><mn>1</mn><mo>)</mo></math></span> embedded in Σ is 5-correspondence colourable. This is asymptotically best possible, and improves upon the best known edge-width bound due to Kim, Kostochka, Li, and Zhu. Using results of Dvořák and Kawarabayashi, we show further that there exist linear-time algorithms for the decidability of 5-correspondence colouring for embedded graphs. We show analogous results for 3-correspondence colouring graphs of girth at least five.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"175 ","pages":"Pages 29-68"},"PeriodicalIF":1.2,"publicationDate":"2025-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144321732","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}