Given any ε>0 we prove that every sufficiently large n-vertex 3-graph H where every pair of vertices is contained in at least (1/3+ε)n edges contains a copy of C10, i.e. the tight cycle on 10 vertices. In fact we obtain the same conclusion for every cycle Cℓ with ℓ≥19.
{"title":"The codegree Turán density of 3-uniform tight cycles","authors":"Simón Piga, Nicolás Sanhueza-Matamala, Mathias Schacht","doi":"10.1016/j.jctb.2025.07.007","DOIUrl":"https://doi.org/10.1016/j.jctb.2025.07.007","url":null,"abstract":"Given any <mml:math altimg=\"si1.svg\"><mml:mi>ε</mml:mi><mml:mo linebreak=\"goodbreak\" linebreakstyle=\"after\">></mml:mo><mml:mn>0</mml:mn></mml:math> we prove that every sufficiently large <ce:italic>n</ce:italic>-vertex 3-graph <ce:italic>H</ce:italic> where every pair of vertices is contained in at least <mml:math altimg=\"si2.svg\"><mml:mo stretchy=\"false\">(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy=\"false\">/</mml:mo><mml:mn>3</mml:mn><mml:mo linebreak=\"badbreak\" linebreakstyle=\"after\">+</mml:mo><mml:mi>ε</mml:mi><mml:mo stretchy=\"false\">)</mml:mo><mml:mi>n</mml:mi></mml:math> edges contains a copy of <mml:math altimg=\"si3.svg\"><mml:msub><mml:mrow><mml:mi>C</mml:mi></mml:mrow><mml:mrow><mml:mn>10</mml:mn></mml:mrow></mml:msub></mml:math>, i.e. the tight cycle on 10 vertices. In fact we obtain the same conclusion for every cycle <mml:math altimg=\"si36.svg\"><mml:msub><mml:mrow><mml:mi>C</mml:mi></mml:mrow><mml:mrow><mml:mi>ℓ</mml:mi></mml:mrow></mml:msub></mml:math> with <mml:math altimg=\"si5.svg\"><mml:mi>ℓ</mml:mi><mml:mo>≥</mml:mo><mml:mn>19</mml:mn></mml:math>.","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"27 1","pages":"1-6"},"PeriodicalIF":1.4,"publicationDate":"2025-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144901792","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}
A typical theme for many well-known decomposition problems is to show that some obvious necessary conditions for decomposing a graph G into copies of are also sufficient. One such problem was posed in 1987, by Alavi, Boals, Chartrand, Erdős, and Oellerman. They conjectured that the edges of every graph with edges can be decomposed into subgraphs such that each has i edges and is isomorphic to a subgraph of . In this paper we prove this conjecture for sufficiently large m.
{"title":"Ascending subgraph decomposition","authors":"Kyriakos Katsamaktsis , Shoham Letzter , Alexey Pokrovskiy , Benny Sudakov","doi":"10.1016/j.jctb.2025.01.003","DOIUrl":"10.1016/j.jctb.2025.01.003","url":null,"abstract":"<div><div>A typical theme for many well-known decomposition problems is to show that some obvious necessary conditions for decomposing a graph <em>G</em> into copies of <span><math><msub><mrow><mi>H</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>H</mi></mrow><mrow><mi>m</mi></mrow></msub></math></span> are also sufficient. One such problem was posed in 1987, by Alavi, Boals, Chartrand, Erdős, and Oellerman. They conjectured that the edges of every graph with <span><math><mo>(</mo><mtable><mtr><mtd><mrow><mi>m</mi><mo>+</mo><mn>1</mn></mrow></mtd></mtr><mtr><mtd><mn>2</mn></mtd></mtr></mtable><mo>)</mo></math></span> edges can be decomposed into subgraphs <span><math><msub><mrow><mi>H</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>H</mi></mrow><mrow><mi>m</mi></mrow></msub></math></span> such that each <span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> has <em>i</em> edges and is isomorphic to a subgraph of <span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>i</mi><mo>+</mo><mn>1</mn></mrow></msub></math></span>. In this paper we prove this conjecture for sufficiently large <em>m</em>.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"173 ","pages":"Pages 14-44"},"PeriodicalIF":1.2,"publicationDate":"2025-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143386566","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-07-01Epub Date: 2025-03-21DOI: 10.1016/j.jctb.2025.03.001
Micha Christoph, Charlotte Knierim, Anders Martinsson, Raphael Steiner
<div><div>For a finite abelian group <span><math><mo>(</mo><mi>Γ</mi><mo>,</mo><mo>+</mo><mo>)</mo></math></span>, let <span><math><mi>n</mi><mo>(</mo><mi>Γ</mi><mo>)</mo></math></span> denote the smallest positive integer <em>n</em> such that for each labeling of the arcs of the complete digraph of order <em>n</em> using elements from Γ, there exists a directed cycle such that the total sum of the arc-labels along the cycle equals 0. Alon and Krivelevich initiated the study of the parameter <span><math><mi>n</mi><mo>(</mo><mo>⋅</mo><mo>)</mo></math></span> on cyclic groups and proved that <span><math><mi>n</mi><mo>(</mo><msub><mrow><mi>Z</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo><mo>=</mo><mi>O</mi><mo>(</mo><mi>q</mi><mi>log</mi><mo></mo><mi>q</mi><mo>)</mo></math></span>. Several improvements and generalizations of this bound have since been obtained, and an optimal bound in terms of the group order of the form <span><math><mi>n</mi><mo>(</mo><mi>Γ</mi><mo>)</mo><mo>≤</mo><mo>|</mo><mi>Γ</mi><mo>|</mo><mo>+</mo><mn>1</mn></math></span> was recently announced by Campbell, Gollin, Hendrey and the last author. While this bound is tight when the group Γ is cyclic, in cases when Γ is far from being cyclic, significant improvements on the bound can be made. In this direction, studying the prototypical case when <span><math><mi>Γ</mi><mo>=</mo><msubsup><mrow><mi>Z</mi></mrow><mrow><mi>p</mi></mrow><mrow><mi>d</mi></mrow></msubsup></math></span> is a power of a cyclic group of prime order, Letzter and Morrison [<em>Journal of Combinatorial Theory Series B, 2024</em>] showed that <span><math><mi>n</mi><mo>(</mo><msubsup><mrow><mi>Z</mi></mrow><mrow><mi>p</mi></mrow><mrow><mi>d</mi></mrow></msubsup><mo>)</mo><mo>≤</mo><mi>O</mi><mo>(</mo><mi>p</mi><mi>d</mi><msup><mrow><mo>(</mo><mi>log</mi><mo></mo><mi>d</mi><mo>)</mo></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></math></span> and that <span><math><mi>n</mi><mo>(</mo><msubsup><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow><mrow><mi>d</mi></mrow></msubsup><mo>)</mo><mo>≤</mo><mi>O</mi><mo>(</mo><mi>d</mi><mi>log</mi><mo></mo><mi>d</mi><mo>)</mo></math></span>. They then posed the problem of proving an (asymptotically optimal) upper bound of <span><math><mi>n</mi><mo>(</mo><msubsup><mrow><mi>Z</mi></mrow><mrow><mi>p</mi></mrow><mrow><mi>d</mi></mrow></msubsup><mo>)</mo><mo>≤</mo><mi>O</mi><mo>(</mo><mi>p</mi><mi>d</mi><mo>)</mo></math></span> for all primes <em>p</em> and <span><math><mi>d</mi><mo>∈</mo><mi>N</mi></math></span>. In this paper, we solve this problem for <span><math><mi>p</mi><mo>=</mo><mn>2</mn></math></span> and improve their bound for all primes <span><math><mi>p</mi><mo>≥</mo><mn>3</mn></math></span> by proving <span><math><mi>n</mi><mo>(</mo><msubsup><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow><mrow><mi>d</mi></mrow></msubsup><mo>)</mo><mo>≤</mo><mn>5</mn><mi>d</mi></math></span> and <span><math><mi>n</mi><mo>(</mo><msubsup><mrow><mi>Z</mi></mrow><mrow><mi>p</mi></mrow>
对于有限阿贝尔群(Γ,+),设n(Γ)表示最小的正整数n,使得对于使用Γ中的元素标记n阶的完全有向图的每个弧,存在一个有向循环,使得沿循环的弧标记的总和等于0。Alon和Krivelevich开创了循环群上n(⋅)参数的研究,证明了n(Zq)=O(qlog)。此后,对这一界进行了若干改进和推广,最近由Campbell, Gollin, hendry和最后一位作者提出了n(Γ)≤|Γ|+1的群阶最优界。当组Γ是循环的时候,这个边界是紧的,而当Γ远不是循环的时候,可以对边界进行重大改进。在这个方向上,Letzter和Morrison [Journal of Combinatorial Theory Series B, 2024]研究了Γ=Zpd是一个素阶循环群幂的典型情况,证明了n(Zpd)≤O(pd(log d)2), n(Z2d)≤O(log d)。然后,他们提出了证明对于所有素数p和d∈n, n(Zpd)≤O(pd)的(渐近最优)上界的问题。本文通过证明n(Z2d)≤5d和n(Zpd)≤O(pdlog (d)),解决了p=2时的这一问题,并改进了p≥3时所有素数的界。当第一个边界决定n(Z2d)到5的乘法误差时,第二个边界紧到一个log (d)因子。此外,我们的结果表明,对于任意p和d, n(Zpd)=Θ(pd)的紧界是由著名的Jaeger, Linial, Payan和Tarsi在Zpd上的加性基猜想的一个(强形式)推导出来的。在证明这些结果的过程中,我们建立了Haxell在矩阵环境下的超图匹配结果的推广。具体地说,我们得到了超图中超边由一个拟阵的元素标记的匹配存在的充分条件,并得到了该超图中匹配中的边可以引出该拟阵的一组基。我们认为,这些声明具有独立的利益。
{"title":"Improved bounds for zero-sum cycles in Zpd","authors":"Micha Christoph, Charlotte Knierim, Anders Martinsson, Raphael Steiner","doi":"10.1016/j.jctb.2025.03.001","DOIUrl":"10.1016/j.jctb.2025.03.001","url":null,"abstract":"<div><div>For a finite abelian group <span><math><mo>(</mo><mi>Γ</mi><mo>,</mo><mo>+</mo><mo>)</mo></math></span>, let <span><math><mi>n</mi><mo>(</mo><mi>Γ</mi><mo>)</mo></math></span> denote the smallest positive integer <em>n</em> such that for each labeling of the arcs of the complete digraph of order <em>n</em> using elements from Γ, there exists a directed cycle such that the total sum of the arc-labels along the cycle equals 0. Alon and Krivelevich initiated the study of the parameter <span><math><mi>n</mi><mo>(</mo><mo>⋅</mo><mo>)</mo></math></span> on cyclic groups and proved that <span><math><mi>n</mi><mo>(</mo><msub><mrow><mi>Z</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo><mo>=</mo><mi>O</mi><mo>(</mo><mi>q</mi><mi>log</mi><mo></mo><mi>q</mi><mo>)</mo></math></span>. Several improvements and generalizations of this bound have since been obtained, and an optimal bound in terms of the group order of the form <span><math><mi>n</mi><mo>(</mo><mi>Γ</mi><mo>)</mo><mo>≤</mo><mo>|</mo><mi>Γ</mi><mo>|</mo><mo>+</mo><mn>1</mn></math></span> was recently announced by Campbell, Gollin, Hendrey and the last author. While this bound is tight when the group Γ is cyclic, in cases when Γ is far from being cyclic, significant improvements on the bound can be made. In this direction, studying the prototypical case when <span><math><mi>Γ</mi><mo>=</mo><msubsup><mrow><mi>Z</mi></mrow><mrow><mi>p</mi></mrow><mrow><mi>d</mi></mrow></msubsup></math></span> is a power of a cyclic group of prime order, Letzter and Morrison [<em>Journal of Combinatorial Theory Series B, 2024</em>] showed that <span><math><mi>n</mi><mo>(</mo><msubsup><mrow><mi>Z</mi></mrow><mrow><mi>p</mi></mrow><mrow><mi>d</mi></mrow></msubsup><mo>)</mo><mo>≤</mo><mi>O</mi><mo>(</mo><mi>p</mi><mi>d</mi><msup><mrow><mo>(</mo><mi>log</mi><mo></mo><mi>d</mi><mo>)</mo></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></math></span> and that <span><math><mi>n</mi><mo>(</mo><msubsup><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow><mrow><mi>d</mi></mrow></msubsup><mo>)</mo><mo>≤</mo><mi>O</mi><mo>(</mo><mi>d</mi><mi>log</mi><mo></mo><mi>d</mi><mo>)</mo></math></span>. They then posed the problem of proving an (asymptotically optimal) upper bound of <span><math><mi>n</mi><mo>(</mo><msubsup><mrow><mi>Z</mi></mrow><mrow><mi>p</mi></mrow><mrow><mi>d</mi></mrow></msubsup><mo>)</mo><mo>≤</mo><mi>O</mi><mo>(</mo><mi>p</mi><mi>d</mi><mo>)</mo></math></span> for all primes <em>p</em> and <span><math><mi>d</mi><mo>∈</mo><mi>N</mi></math></span>. In this paper, we solve this problem for <span><math><mi>p</mi><mo>=</mo><mn>2</mn></math></span> and improve their bound for all primes <span><math><mi>p</mi><mo>≥</mo><mn>3</mn></math></span> by proving <span><math><mi>n</mi><mo>(</mo><msubsup><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow><mrow><mi>d</mi></mrow></msubsup><mo>)</mo><mo>≤</mo><mn>5</mn><mi>d</mi></math></span> and <span><math><mi>n</mi><mo>(</mo><msubsup><mrow><mi>Z</mi></mrow><mrow><mi>p</mi></mrow>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"173 ","pages":"Pages 365-373"},"PeriodicalIF":1.2,"publicationDate":"2025-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143894864","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-07-01Epub Date: 2025-04-01DOI: 10.1016/j.jctb.2025.03.004
João Paulo Costalonga
We establish a splitter type theorem for 3-connected binary matroids regarding elements whose contraction preserves a fixed 3-connected minor and the vertical 3-connectivity. We established that, for 3-connected simple binary matroids , there is a disjoint family such that , each is 3-connected with an N-minor, and either or X is a special type of fan. We also establish a stronger version of this result under specific hypotheses. These results have several consequences, including the generalizations for binary matroids of some results about contractible edges in 3-connected graphs and some other structural results for graphs and binary matroids.
{"title":"A splitter theorem on 3-connected binary matroids and inner fans","authors":"João Paulo Costalonga","doi":"10.1016/j.jctb.2025.03.004","DOIUrl":"10.1016/j.jctb.2025.03.004","url":null,"abstract":"<div><div>We establish a splitter type theorem for 3-connected binary matroids regarding elements whose contraction preserves a fixed 3-connected minor and the vertical 3-connectivity. We established that, for 3-connected simple binary matroids <span><math><mi>N</mi><mo><</mo><mi>M</mi></math></span>, there is a disjoint family <span><math><mo>{</mo><msub><mrow><mi>X</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>}</mo><mo>⊆</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>E</mi><mo>(</mo><mi>M</mi><mo>)</mo></mrow></msup></math></span> such that <span><math><mi>r</mi><mo>(</mo><msub><mrow><mi>X</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>)</mo><mo>+</mo><mo>⋯</mo><mo>+</mo><mi>r</mi><mo>(</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo><mo>=</mo><mi>r</mi><mo>(</mo><msub><mrow><mi>X</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>∪</mo><mo>⋯</mo><mo>∪</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo><mo>≥</mo><mi>r</mi><mo>(</mo><mi>M</mi><mo>)</mo><mo>−</mo><mi>r</mi><mo>(</mo><mi>N</mi><mo>)</mo></math></span>, each <span><math><mrow><mi>si</mi></mrow><mo>(</mo><mi>M</mi><mo>/</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo></math></span> is 3-connected with an <em>N</em>-minor, and either <span><math><mo>|</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>|</mo><mo>=</mo><mn>1</mn></math></span> or <em>X</em> is a special type of fan. We also establish a stronger version of this result under specific hypotheses. These results have several consequences, including the generalizations for binary matroids of some results about contractible edges in 3-connected graphs and some other structural results for graphs and binary matroids.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"173 ","pages":"Pages 204-245"},"PeriodicalIF":1.2,"publicationDate":"2025-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143739232","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-07-01Epub Date: 2025-03-20DOI: 10.1016/j.jctb.2025.03.002
Édouard Bonnet
Motivated by an induced counterpart of treewidth sparsifiers (i.e., sparse subgraphs keeping the treewidth large) provided by the celebrated Grid Minor theorem of Robertson and Seymour (1986) [22] or by a classic result of Chekuri and Chuzhoy (2015) [5], we show that for any natural numbers t and w, and real , there is an integer such that every graph with treewidth at least W and no subgraph admits a 2-connected n-vertex induced subgraph with treewidth at least w and at most edges. The induced subgraph is either a subdivided wall, or its line graph, or a spanning supergraph of a subdivided biclique. This in particular extends a result of Weißauer (2019) [25] that graphs of large treewidth have a large biclique subgraph or a long induced cycle.
受著名的Robertson和Seymour(1986)的网格小定理(Grid Minor theorem)提供的树宽稀疏子图(即保持树宽较大的稀疏子图)的诱导对偶,或Chekuri和chuchoy(2015)的经典结果([5])的激励,我们表明,对于任何自然数t和w,以及实数ε>;0,存在一个整数W:=W(t, W,ε),使得每个树宽至少W且没有Kt,t子图的图都存在一个树宽至少W且最多(1+ε)n条边的2连通n顶点诱导子图。诱导子图可以是细分壁面,也可以是细分壁面的线形图,也可以是细分壁面的生成超图。这特别扩展了Weißauer(2019)[25]的结果,即大树宽的图有一个大的双曲线子图或一个长诱导周期。
{"title":"Sparse induced subgraphs of large treewidth","authors":"Édouard Bonnet","doi":"10.1016/j.jctb.2025.03.002","DOIUrl":"10.1016/j.jctb.2025.03.002","url":null,"abstract":"<div><div>Motivated by an induced counterpart of treewidth sparsifiers (i.e., sparse subgraphs keeping the treewidth large) provided by the celebrated Grid Minor theorem of Robertson and Seymour (1986) <span><span>[22]</span></span> or by a classic result of Chekuri and Chuzhoy (2015) <span><span>[5]</span></span>, we show that for any natural numbers <em>t</em> and <em>w</em>, and real <span><math><mi>ε</mi><mo>></mo><mn>0</mn></math></span>, there is an integer <span><math><mi>W</mi><mo>:</mo><mo>=</mo><mi>W</mi><mo>(</mo><mi>t</mi><mo>,</mo><mi>w</mi><mo>,</mo><mi>ε</mi><mo>)</mo></math></span> such that every graph with treewidth at least <em>W</em> and no <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>t</mi><mo>,</mo><mi>t</mi></mrow></msub></math></span> subgraph admits a 2-connected <em>n</em>-vertex induced subgraph with treewidth at least <em>w</em> and at most <span><math><mo>(</mo><mn>1</mn><mo>+</mo><mi>ε</mi><mo>)</mo><mi>n</mi></math></span> edges. The induced subgraph is either a subdivided wall, or its line graph, or a spanning supergraph of a subdivided biclique. This in particular extends a result of Weißauer (2019) <span><span>[25]</span></span> that graphs of large treewidth have a large biclique subgraph or a long induced cycle.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"173 ","pages":"Pages 184-203"},"PeriodicalIF":1.2,"publicationDate":"2025-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143685958","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-07-01Epub Date: 2024-05-16DOI: 10.1016/j.jctb.2024.03.008
Jan Kessler , Jens M. Schmidt
<div><div>A cycle <em>C</em> of a graph <em>G</em> is <em>isolating</em> if every component of <span><math><mi>G</mi><mo>−</mo><mi>V</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span> consists of a single vertex. We show that isolating cycles in polyhedral graphs can be extended to larger ones: every isolating cycle <em>C</em> of length <span><math><mn>6</mn><mo>≤</mo><mo>|</mo><mi>E</mi><mo>(</mo><mi>C</mi><mo>)</mo><mo>|</mo><mo><</mo><mrow><mo>⌊</mo><mfrac><mrow><mn>2</mn></mrow><mrow><mn>3</mn></mrow></mfrac><mo>(</mo><mo>|</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo><mo>+</mo><mn>4</mn><mo>)</mo><mo>⌋</mo></mrow></math></span> implies an isolating cycle <span><math><msup><mrow><mi>C</mi></mrow><mrow><mo>′</mo></mrow></msup></math></span> of larger length that contains <span><math><mi>V</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span>. By “hopping” iteratively to such larger cycles, we obtain a powerful and very general inductive motor for proving long cycles and computing them (we will give an algorithm with quadratic running time). This is the first step towards the so far elusive quest of finding a universal induction that captures longest cycles of polyhedral graph classes.</div><div>Our motor provides also a method to prove linear lower bounds on the length of Tutte cycles, as <span><math><msup><mrow><mi>C</mi></mrow><mrow><mo>′</mo></mrow></msup></math></span> will be a Tutte cycle of <em>G</em> if <em>C</em> is. We prove in addition that <span><math><mo>|</mo><mi>E</mi><mo>(</mo><msup><mrow><mi>C</mi></mrow><mrow><mo>′</mo></mrow></msup><mo>)</mo><mo>|</mo><mo>≤</mo><mo>|</mo><mi>E</mi><mo>(</mo><mi>C</mi><mo>)</mo><mo>|</mo><mo>+</mo><mn>3</mn></math></span> if <em>G</em><span> contains no face of size five, which gives a new tool for results about cycle spectra, and provides evidence that faces of size five may obstruct many different cycle lengths. As a sample application, we test our motor on the following so far unsettled conjecture about essentially 4-connected graphs.</span></div><div>A planar graph is <em>essentially</em> 4<em>-connected</em> if it is 3-connected and every of its 3-separators is the neighborhood of a single vertex. Essentially 4-connected graphs have been thoroughly investigated throughout literature as the subject of Hamiltonicity studies. Jackson and Wormald proved that every essentially 4-connected planar graph <em>G</em> on <em>n</em> vertices contains a cycle of length at least <span><math><mfrac><mrow><mn>2</mn></mrow><mrow><mn>5</mn></mrow></mfrac><mo>(</mo><mi>n</mi><mo>+</mo><mn>2</mn><mo>)</mo></math></span>, and this result has recently been improved multiple times, culminating in the lower bound <span><math><mfrac><mrow><mn>5</mn></mrow><mrow><mn>8</mn></mrow></mfrac><mo>(</mo><mi>n</mi><mo>+</mo><mn>2</mn><mo>)</mo></math></span>. However, the currently best known upper bound is given by an infinite family of such graphs in which no graph <em>G</em> contains a cycle that is longer than <
{"title":"Dynamics of cycles in polyhedra I: The isolation lemma","authors":"Jan Kessler , Jens M. Schmidt","doi":"10.1016/j.jctb.2024.03.008","DOIUrl":"10.1016/j.jctb.2024.03.008","url":null,"abstract":"<div><div>A cycle <em>C</em> of a graph <em>G</em> is <em>isolating</em> if every component of <span><math><mi>G</mi><mo>−</mo><mi>V</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span> consists of a single vertex. We show that isolating cycles in polyhedral graphs can be extended to larger ones: every isolating cycle <em>C</em> of length <span><math><mn>6</mn><mo>≤</mo><mo>|</mo><mi>E</mi><mo>(</mo><mi>C</mi><mo>)</mo><mo>|</mo><mo><</mo><mrow><mo>⌊</mo><mfrac><mrow><mn>2</mn></mrow><mrow><mn>3</mn></mrow></mfrac><mo>(</mo><mo>|</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo><mo>+</mo><mn>4</mn><mo>)</mo><mo>⌋</mo></mrow></math></span> implies an isolating cycle <span><math><msup><mrow><mi>C</mi></mrow><mrow><mo>′</mo></mrow></msup></math></span> of larger length that contains <span><math><mi>V</mi><mo>(</mo><mi>C</mi><mo>)</mo></math></span>. By “hopping” iteratively to such larger cycles, we obtain a powerful and very general inductive motor for proving long cycles and computing them (we will give an algorithm with quadratic running time). This is the first step towards the so far elusive quest of finding a universal induction that captures longest cycles of polyhedral graph classes.</div><div>Our motor provides also a method to prove linear lower bounds on the length of Tutte cycles, as <span><math><msup><mrow><mi>C</mi></mrow><mrow><mo>′</mo></mrow></msup></math></span> will be a Tutte cycle of <em>G</em> if <em>C</em> is. We prove in addition that <span><math><mo>|</mo><mi>E</mi><mo>(</mo><msup><mrow><mi>C</mi></mrow><mrow><mo>′</mo></mrow></msup><mo>)</mo><mo>|</mo><mo>≤</mo><mo>|</mo><mi>E</mi><mo>(</mo><mi>C</mi><mo>)</mo><mo>|</mo><mo>+</mo><mn>3</mn></math></span> if <em>G</em><span> contains no face of size five, which gives a new tool for results about cycle spectra, and provides evidence that faces of size five may obstruct many different cycle lengths. As a sample application, we test our motor on the following so far unsettled conjecture about essentially 4-connected graphs.</span></div><div>A planar graph is <em>essentially</em> 4<em>-connected</em> if it is 3-connected and every of its 3-separators is the neighborhood of a single vertex. Essentially 4-connected graphs have been thoroughly investigated throughout literature as the subject of Hamiltonicity studies. Jackson and Wormald proved that every essentially 4-connected planar graph <em>G</em> on <em>n</em> vertices contains a cycle of length at least <span><math><mfrac><mrow><mn>2</mn></mrow><mrow><mn>5</mn></mrow></mfrac><mo>(</mo><mi>n</mi><mo>+</mo><mn>2</mn><mo>)</mo></math></span>, and this result has recently been improved multiple times, culminating in the lower bound <span><math><mfrac><mrow><mn>5</mn></mrow><mrow><mn>8</mn></mrow></mfrac><mo>(</mo><mi>n</mi><mo>+</mo><mn>2</mn><mo>)</mo></math></span>. However, the currently best known upper bound is given by an infinite family of such graphs in which no graph <em>G</em> contains a cycle that is longer than <","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"173 ","pages":"Pages 329-364"},"PeriodicalIF":1.2,"publicationDate":"2025-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143894862","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-07-01Epub Date: 2025-02-13DOI: 10.1016/j.jctb.2025.01.004
Tung Nguyen , Alex Scott , Paul Seymour
Menger's well-known theorem from 1927 characterizes when it is possible to find k vertex-disjoint paths between two sets of vertices in a graph G. Recently, Georgakopoulos and Papasoglu and, independently, Albrechtsen, Huynh, Jacobs, Knappe and Wollan conjectured a coarse analogue of Menger's theorem, when the k paths are required to be pairwise at some distance at least d. The result is known for , but we will show that it is false for all , even if G is constrained to have maximum degree at most three. We also give a simpler proof of the result when .
{"title":"A counterexample to the coarse Menger conjecture","authors":"Tung Nguyen , Alex Scott , Paul Seymour","doi":"10.1016/j.jctb.2025.01.004","DOIUrl":"10.1016/j.jctb.2025.01.004","url":null,"abstract":"<div><div>Menger's well-known theorem from 1927 characterizes when it is possible to find <em>k</em> vertex-disjoint paths between two sets of vertices in a graph <em>G</em>. Recently, Georgakopoulos and Papasoglu and, independently, Albrechtsen, Huynh, Jacobs, Knappe and Wollan conjectured a coarse analogue of Menger's theorem, when the <em>k</em> paths are required to be pairwise at some distance at least <em>d</em>. The result is known for <span><math><mi>k</mi><mo>≤</mo><mn>2</mn></math></span>, but we will show that it is false for all <span><math><mi>k</mi><mo>≥</mo><mn>3</mn></math></span>, even if <em>G</em> is constrained to have maximum degree at most three. We also give a simpler proof of the result when <span><math><mi>k</mi><mo>=</mo><mn>2</mn></math></span>.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"173 ","pages":"Pages 68-82"},"PeriodicalIF":1.2,"publicationDate":"2025-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143403450","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-07-01Epub Date: 2025-02-14DOI: 10.1016/j.jctb.2025.02.003
Matthias Hamann
We investigate the connections between tree amalgamations and quasi-isometries. In particular, we prove that the quasi-isometry type of multi-ended accessible quasi-transitive connected locally finite graphs is determined by the quasi-isometry type of their one-ended factors in any of their terminal factorisations. Our results carry over theorems of Papasoglu and Whyte on quasi-isometries between multi-ended groups to those between multi-ended graphs. In the end, we discuss the impact of our results to a question of Woess.
{"title":"Tree amalgamations and quasi-isometries","authors":"Matthias Hamann","doi":"10.1016/j.jctb.2025.02.003","DOIUrl":"10.1016/j.jctb.2025.02.003","url":null,"abstract":"<div><div>We investigate the connections between tree amalgamations and quasi-isometries. In particular, we prove that the quasi-isometry type of multi-ended accessible quasi-transitive connected locally finite graphs is determined by the quasi-isometry type of their one-ended factors in any of their terminal factorisations. Our results carry over theorems of Papasoglu and Whyte on quasi-isometries between multi-ended groups to those between multi-ended graphs. In the end, we discuss the impact of our results to a question of Woess.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"173 ","pages":"Pages 83-101"},"PeriodicalIF":1.2,"publicationDate":"2025-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143419816","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-07-01Epub Date: 2025-02-28DOI: 10.1016/j.jctb.2025.02.002
Tung Nguyen , Alex Scott , Paul Seymour
This paper is a survey of results and problems related to the following question: is it true that if G is a tournament with sufficiently large chromatic number, then G has two vertex-disjoint subtournaments , both with large chromatic number, such that all edges between them are directed from A to B? We describe what we know about this question, and report some progress on several other related questions, on tournament colouring and domination.
{"title":"Some results and problems on tournament structure","authors":"Tung Nguyen , Alex Scott , Paul Seymour","doi":"10.1016/j.jctb.2025.02.002","DOIUrl":"10.1016/j.jctb.2025.02.002","url":null,"abstract":"<div><div>This paper is a survey of results and problems related to the following question: is it true that if <em>G</em> is a tournament with sufficiently large chromatic number, then <em>G</em> has two vertex-disjoint subtournaments <span><math><mi>A</mi><mo>,</mo><mi>B</mi></math></span>, both with large chromatic number, such that all edges between them are directed from <em>A</em> to <em>B</em>? We describe what we know about this question, and report some progress on several other related questions, on tournament colouring and domination.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"173 ","pages":"Pages 146-183"},"PeriodicalIF":1.2,"publicationDate":"2025-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143511292","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-07-01Epub Date: 2025-02-13DOI: 10.1016/j.jctb.2025.02.001
Zdeněk Dvořák
Esperet and Joret proved that planar graphs with bounded maximum degree are 3-colorable with bounded clustering. Liu and Wood asked whether the conclusion holds with the assumption of the bounded maximum degree replaced by assuming that no two vertices have many common neighbors. We answer this question in positive, in the following stronger form: Let be the complete join of two isolated vertices with a path on t vertices. For any surface Σ, a subgraph-closed class of graphs drawn on Σ is 3-choosable with bounded clustering if and only if there exists t such that does not belong to the class.
{"title":"Clustered coloring of (path + 2K1)-free graphs on surfaces","authors":"Zdeněk Dvořák","doi":"10.1016/j.jctb.2025.02.001","DOIUrl":"10.1016/j.jctb.2025.02.001","url":null,"abstract":"<div><div>Esperet and Joret proved that planar graphs with bounded maximum degree are 3-colorable with bounded clustering. Liu and Wood asked whether the conclusion holds with the assumption of the bounded maximum degree replaced by assuming that no two vertices have many common neighbors. We answer this question in positive, in the following stronger form: Let <span><math><msubsup><mrow><mi>P</mi></mrow><mrow><mi>t</mi></mrow><mrow><mo>″</mo></mrow></msubsup></math></span> be the complete join of two isolated vertices with a path on <em>t</em> vertices. For any surface Σ, a subgraph-closed class of graphs drawn on Σ is 3-choosable with bounded clustering if and only if there exists <em>t</em> such that <span><math><msubsup><mrow><mi>P</mi></mrow><mrow><mi>t</mi></mrow><mrow><mo>″</mo></mrow></msubsup></math></span> does not belong to the class.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"173 ","pages":"Pages 45-67"},"PeriodicalIF":1.2,"publicationDate":"2025-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143394992","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}