Pub Date : 2025-10-17DOI: 10.1016/j.jctb.2025.10.002
Lorenzo Ciardo
Information-processing tasks modelled by homomorphisms between relational structures can witness quantum advantage when entanglement is used as a computational resource. We prove that the occurrence of quantum advantage is determined by the same algebraic structure (known as the polymorphism minion) that captures the complexity of CSPs. We investigate the connection between the minion of quantum advantage and other known minions controlling CSP tractability and width. In this way, we make use of complexity results from the algebraic theory of CSPs to characterise the occurrence of quantum advantage in the case of graphs, and to obtain new necessary and sufficient conditions in the case of arbitrary relational structures.
{"title":"Quantum advantage and CSP complexity","authors":"Lorenzo Ciardo","doi":"10.1016/j.jctb.2025.10.002","DOIUrl":"10.1016/j.jctb.2025.10.002","url":null,"abstract":"<div><div>Information-processing tasks modelled by homomorphisms between relational structures can witness quantum advantage when entanglement is used as a computational resource. We prove that the occurrence of quantum advantage is determined by the same algebraic structure (known as the polymorphism minion) that captures the complexity of CSPs. We investigate the connection between the minion of quantum advantage and other known minions controlling CSP tractability and width. In this way, we make use of complexity results from the algebraic theory of CSPs to characterise the occurrence of quantum advantage in the case of graphs, and to obtain new necessary and sufficient conditions in the case of arbitrary relational structures.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"176 ","pages":"Pages 404-439"},"PeriodicalIF":1.2,"publicationDate":"2025-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145332382","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-10-16DOI: 10.1016/j.jctb.2025.10.001
Isabel Hubard , Primož Potočnik , Primož Šparl
In this paper, we provide the first known infinite family of simple graphs, each of which is the skeleton of a chiral map, a skeleton of a reflexible map on an orientable surface, as well as a skeleton of a reflexible map on a non-orientable surface. This family consists of all lexicographic products , where , , with s an integer not divisible by 4. This answers a question posed by Wilson in 2002.
{"title":"An infinite family of simple graphs underlying chiral, orientable reflexible and non-orientable rotary maps","authors":"Isabel Hubard , Primož Potočnik , Primož Šparl","doi":"10.1016/j.jctb.2025.10.001","DOIUrl":"10.1016/j.jctb.2025.10.001","url":null,"abstract":"<div><div>In this paper, we provide the first known infinite family of simple graphs, each of which is the skeleton of a chiral map, a skeleton of a reflexible map on an orientable surface, as well as a skeleton of a reflexible map on a non-orientable surface. This family consists of all lexicographic products <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>[</mo><mi>m</mi><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>]</mo></math></span>, where <span><math><mi>m</mi><mo>≥</mo><mn>3</mn></math></span>, <span><math><mi>n</mi><mo>=</mo><mi>s</mi><mi>m</mi></math></span>, with <em>s</em> an integer not divisible by 4. This answers a question posed by Wilson in 2002.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"176 ","pages":"Pages 384-403"},"PeriodicalIF":1.2,"publicationDate":"2025-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145332383","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-10-09DOI: 10.1016/j.jctb.2025.09.004
Kristóf Bérczi , Karthekeyan Chandrasekaran , Tamás Király , Shubhang Kulkarni
The splitting-off operation in undirected graphs is a fundamental reduction operation that detaches all edges incident to a given vertex and adds new edges between the neighbors of that vertex while preserving their degrees. Lovász [47], [49] and Mader [50] showed the existence of this operation while preserving global and local connectivities respectively in graphs under certain conditions. These results have far-reaching applications in graph algorithms literature [3], [9], [10], [14], [19], [24], [25], [26], [27], [28], [31], [32], [34], [35], [37], [40], [42], [43], [48], [50], [51], [52], [53]. In this work, we introduce a splitting-off operation in hypergraphs. We show that there exists a local connectivity preserving complete splitting-off in hypergraphs and give a strongly polynomial-time algorithm to compute it in weighted hypergraphs. We illustrate the usefulness of our splitting-off operation in hypergraphs by showing two applications: (1) we give a constructive characterization of k-hyperedge-connected hypergraphs and (2) we give an alternate proof of an approximate min-max relation for max Steiner rooted-connected orientation of graphs and hypergraphs (due to Király and Lau (2008) [40]). Our proof of the approximate min-max relation for graphs circumvents the Nash-Williams' strong orientation theorem and uses tools developed for hypergraphs.
{"title":"Splitting-off in hypergraphs","authors":"Kristóf Bérczi , Karthekeyan Chandrasekaran , Tamás Király , Shubhang Kulkarni","doi":"10.1016/j.jctb.2025.09.004","DOIUrl":"10.1016/j.jctb.2025.09.004","url":null,"abstract":"<div><div>The splitting-off operation in undirected graphs is a fundamental reduction operation that detaches all edges incident to a given vertex and adds new edges between the neighbors of that vertex while preserving their degrees. Lovász <span><span>[47]</span></span>, <span><span>[49]</span></span> and Mader <span><span>[50]</span></span> showed the existence of this operation while preserving global and local connectivities respectively in graphs under certain conditions. These results have far-reaching applications in graph algorithms literature <span><span>[3]</span></span>, <span><span>[9]</span></span>, <span><span>[10]</span></span>, <span><span>[14]</span></span>, <span><span>[19]</span></span>, <span><span>[24]</span></span>, <span><span>[25]</span></span>, <span><span>[26]</span></span>, <span><span>[27]</span></span>, <span><span>[28]</span></span>, <span><span>[31]</span></span>, <span><span>[32]</span></span>, <span><span>[34]</span></span>, <span><span>[35]</span></span>, <span><span>[37]</span></span>, <span><span>[40]</span></span>, <span><span>[42]</span></span>, <span><span>[43]</span></span>, <span><span>[48]</span></span>, <span><span>[50]</span></span>, <span><span>[51]</span></span>, <span><span>[52]</span></span>, <span><span>[53]</span></span>. In this work, we introduce a splitting-off operation in hypergraphs. We show that there exists a local connectivity preserving complete splitting-off in hypergraphs and give a strongly polynomial-time algorithm to compute it in weighted hypergraphs. We illustrate the usefulness of our splitting-off operation in hypergraphs by showing two applications: (1) we give a constructive characterization of <em>k</em>-hyperedge-connected hypergraphs and (2) we give an alternate proof of an approximate min-max relation for max Steiner rooted-connected orientation of graphs and hypergraphs (due to Király and Lau (2008) <span><span>[40]</span></span>). Our proof of the approximate min-max relation for graphs circumvents the Nash-Williams' strong orientation theorem and uses tools developed for hypergraphs.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"176 ","pages":"Pages 319-383"},"PeriodicalIF":1.2,"publicationDate":"2025-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145265869","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-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":"2025-10-08","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 : 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":"2025-10-08","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 : 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":"2025-09-26","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 : 2025-09-25DOI: 10.1016/j.jctb.2025.09.001
Lele Liu , Bo Ning
In 2002, Nikiforov proved that for an n-vertex graph G with clique number ω and edge number m, its spectral radius satisfies , which confirmed a conjecture implicitly suggested by Edwards and Elphick. In this paper, we prove a local version of spectral Turán inequality, showing that , where is the order of the largest clique containing the edge e in G. We also characterize the extremal graphs. Furthermore, we prove that our theorem implies Nikiforov's theorem and provide an example in which the difference of Nikiforov's bound and ours is for some cases. Our second result explores local properties of the Perron vector of graphs. We disprove a conjecture of Gregory, asserting that for a connected n-vertex graph G with chromatic number and an independent set S, we have where is the component of the Perron vector of G with respect to the vertex v. A modified version of Gregory's conjecture is proposed.
{"title":"Local properties of the spectral radius and Perron vector in graphs","authors":"Lele Liu , Bo Ning","doi":"10.1016/j.jctb.2025.09.001","DOIUrl":"10.1016/j.jctb.2025.09.001","url":null,"abstract":"<div><div>In 2002, Nikiforov proved that for an <em>n</em>-vertex graph <em>G</em> with clique number <em>ω</em> and edge number <em>m</em>, its spectral radius <span><math><mi>λ</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> satisfies <span><math><mi>λ</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><msqrt><mrow><mn>2</mn><mo>(</mo><mn>1</mn><mo>−</mo><mn>1</mn><mo>/</mo><mi>ω</mi><mo>)</mo><mi>m</mi></mrow></msqrt></math></span>, which confirmed a conjecture implicitly suggested by Edwards and Elphick. In this paper, we prove a local version of spectral Turán inequality, showing that <span><math><msup><mrow><mi>λ</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mn>2</mn><msub><mrow><mo>∑</mo></mrow><mrow><mi>e</mi><mo>∈</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo></mrow></msub><mfrac><mrow><mi>c</mi><mo>(</mo><mi>e</mi><mo>)</mo><mo>−</mo><mn>1</mn></mrow><mrow><mi>c</mi><mo>(</mo><mi>e</mi><mo>)</mo></mrow></mfrac></math></span>, where <span><math><mi>c</mi><mo>(</mo><mi>e</mi><mo>)</mo></math></span> is the order of the largest clique containing the edge <em>e</em> in <em>G</em>. We also characterize the extremal graphs. Furthermore, we prove that our theorem implies Nikiforov's theorem and provide an example in which the difference of Nikiforov's bound and ours is <span><math><mi>Ω</mi><mo>(</mo><msqrt><mrow><mi>m</mi></mrow></msqrt><mo>)</mo></math></span> for some cases. Our second result explores local properties of the Perron vector of graphs. We disprove a conjecture of Gregory, asserting that for a connected <em>n</em>-vertex graph <em>G</em> with chromatic number <span><math><mi>k</mi><mo>≥</mo><mn>2</mn></math></span> and an independent set <em>S</em>, we have<span><span><span><math><munder><mo>∑</mo><mrow><mi>v</mi><mo>∈</mo><mi>S</mi></mrow></munder><msubsup><mrow><mi>x</mi></mrow><mrow><mi>v</mi></mrow><mrow><mn>2</mn></mrow></msubsup><mo>≤</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mo>−</mo><mfrac><mrow><mi>k</mi><mo>−</mo><mn>2</mn></mrow><mrow><mn>2</mn><msqrt><mrow><msup><mrow><mo>(</mo><mi>k</mi><mo>−</mo><mn>2</mn><mo>)</mo></mrow><mrow><mn>2</mn></mrow></msup><mo>+</mo><mn>4</mn><mo>(</mo><mi>k</mi><mo>−</mo><mn>1</mn><mo>)</mo><mo>(</mo><mi>n</mi><mo>−</mo><mi>k</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow></msqrt></mrow></mfrac><mo>,</mo></math></span></span></span> where <span><math><msub><mrow><mi>x</mi></mrow><mrow><mi>v</mi></mrow></msub></math></span> is the component of the Perron vector of <em>G</em> with respect to the vertex <em>v</em>. A modified version of Gregory's conjecture is proposed.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"176 ","pages":"Pages 241-253"},"PeriodicalIF":1.2,"publicationDate":"2025-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145157539","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-09-23DOI: 10.1016/j.jctb.2025.09.003
Nick Brettell , Charles Semple , Gerry Toft
Let M be a 3-connected matroid. A pair in M is detachable if or is 3-connected. Williams (2015) proved that if M has at least 13 elements, then at least one of the following holds: M has a detachable pair, M has a 3-element circuit or cocircuit, or M is a spike. We address the case where M has a 3-element circuit or cocircuit, to obtain a characterisation of when a matroid with at least 13 elements has a detachable pair. As a consequence, we characterise when a simple 3-connected graph G with has a pair of edges such that or is simple and 3-connected.
设M是一个3连通的矩阵。如果Mef或M/e/f为3连通,则M中的一对{e,f}是可分离的。Williams(2015)证明,如果M至少有13个元件,则M有一个可拆卸的对,M有一个3元电路或共电路,或M是一个尖峰。我们处理M具有3元电路或共电路的情况,以获得具有至少13个单元的矩阵何时具有可拆卸对的特征。因此,我们刻画了当一个|E(G)|≥13的简单3连通图G有一对边{E,f}使得G E f的G/ E /f是简单3连通的。
{"title":"Detachable pairs in 3-connected matroids and simple 3-connected graphs","authors":"Nick Brettell , Charles Semple , Gerry Toft","doi":"10.1016/j.jctb.2025.09.003","DOIUrl":"10.1016/j.jctb.2025.09.003","url":null,"abstract":"<div><div>Let <em>M</em> be a 3-connected matroid. A pair <span><math><mo>{</mo><mi>e</mi><mo>,</mo><mi>f</mi><mo>}</mo></math></span> in <em>M</em> is <em>detachable</em> if <span><math><mi>M</mi><mo>﹨</mo><mi>e</mi><mo>﹨</mo><mi>f</mi></math></span> or <span><math><mi>M</mi><mo>/</mo><mi>e</mi><mo>/</mo><mi>f</mi></math></span> is 3-connected. Williams (2015) proved that if <em>M</em> has at least 13 elements, then at least one of the following holds: <em>M</em> has a detachable pair, <em>M</em> has a 3-element circuit or cocircuit, or <em>M</em> is a spike. We address the case where <em>M</em> has a 3-element circuit or cocircuit, to obtain a characterisation of when a matroid with at least 13 elements has a detachable pair. As a consequence, we characterise when a simple 3-connected graph <em>G</em> with <span><math><mo>|</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo><mo>≥</mo><mn>13</mn></math></span> has a pair of edges <span><math><mo>{</mo><mi>e</mi><mo>,</mo><mi>f</mi><mo>}</mo></math></span> such that <span><math><mi>G</mi><mo>/</mo><mi>e</mi><mo>/</mo><mi>f</mi></math></span> or <span><math><mi>G</mi><mo>﹨</mo><mi>e</mi><mo>﹨</mo><mi>f</mi></math></span> is simple and 3-connected.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"176 ","pages":"Pages 163-240"},"PeriodicalIF":1.2,"publicationDate":"2025-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145121193","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-09-23DOI: 10.1016/j.jctb.2025.08.001
Michael Molloy , Erlang Surya , Lutz Warnke
The degree-restricted random process is a natural algorithmic model for generating graphs with degree sequence : starting with an empty n-vertex graph, it sequentially adds new random edges so that the degree of each vertex remains at most . Wormald conjectured in 1999 that, for d-regular degree sequences , the final graph of this process is similar to a uniform random d-regular graph.
In this paper we show that, for degree sequences that are not nearly regular, the final graph of the degree-restricted random process differs substantially from a uniform random graph with degree sequence . The combinatorial proof technique is our main conceptual contribution: we adapt the switching method to the degree-restricted process, demonstrating that this enumeration technique can also be used to analyze stochastic processes (rather than just uniform random models, as before).
{"title":"The degree-restricted random process is far from uniform","authors":"Michael Molloy , Erlang Surya , Lutz Warnke","doi":"10.1016/j.jctb.2025.08.001","DOIUrl":"10.1016/j.jctb.2025.08.001","url":null,"abstract":"<div><div>The degree-restricted random process is a natural algorithmic model for generating graphs with degree sequence <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>=</mo><mo>(</mo><msub><mrow><mi>d</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo></math></span>: starting with an empty <em>n</em>-vertex graph, it sequentially adds new random edges so that the degree of each vertex <span><math><msub><mrow><mi>v</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> remains at most <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span>. Wormald conjectured in 1999 that, for <em>d</em>-regular degree sequences <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>, the final graph of this process is similar to a uniform random <em>d</em>-regular graph.</div><div>In this paper we show that, for degree sequences <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> that are not nearly regular, the final graph of the degree-restricted random process differs substantially from a uniform random graph with degree sequence <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>. The combinatorial proof technique is our main conceptual contribution: we adapt the switching method to the degree-restricted process, demonstrating that this enumeration technique can also be used to analyze stochastic processes (rather than just uniform random models, as before).</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"176 ","pages":"Pages 111-162"},"PeriodicalIF":1.2,"publicationDate":"2025-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145121194","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-09-17DOI: 10.1016/j.jctb.2025.08.005
Sergey Norin , Paul Seymour
Motivated by Hadwiger's conjecture, we prove that every graph with no independent set of size three contains a t-vertex simple minor with edges, where t is its chromatic number.
{"title":"Dense minors of graphs with independence number two","authors":"Sergey Norin , Paul Seymour","doi":"10.1016/j.jctb.2025.08.005","DOIUrl":"10.1016/j.jctb.2025.08.005","url":null,"abstract":"<div><div>Motivated by Hadwiger's conjecture, we prove that every graph with no independent set of size three contains a <em>t</em>-vertex simple minor with<span><span><span><math><mn>0.98688</mn><mo>⋅</mo><mrow><mo>(</mo><mtable><mtr><mtd><mi>t</mi></mtd></mtr><mtr><mtd><mn>2</mn></mtd></mtr></mtable><mo>)</mo></mrow><mo>−</mo><mi>o</mi><mo>(</mo><msup><mrow><mi>t</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></math></span></span></span> edges, where <em>t</em> is its chromatic number.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"176 ","pages":"Pages 101-110"},"PeriodicalIF":1.2,"publicationDate":"2025-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145105388","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}