首页 > 最新文献

Journal of Combinatorial Theory Series B最新文献

英文 中文
Thomassen's theorem on the two-linkage problem in acyclic digraphs: A shorter proof 无环有向图中双连杆问题的Thomassen定理:一个简短的证明
IF 1.2 1区 数学 Q1 MATHEMATICS Pub Date : 2026-01-01 Epub Date: 2025-09-11 DOI: 10.1016/j.jctb.2025.08.006
Paul Seymour
Let G be an acyclic digraph, and let a,b,c,dV(G), where a,b are sources, c,d are sinks, and every other vertex has in-degree and out-degree at least two. In 1985, Thomassen showed that there do not exist disjoint directed paths from a to c and from b to d, if and only if G can be drawn in a closed disc with a,b,c,d drawn in the boundary in order. We give a shorter proof.
设G是一个无环有向图,设a,b,c,d∈V(G),其中a,b为源,c,d为汇,且其他每一个顶点至少有两个入度和出度。1985年,Thomassen证明了不存在从a到c和从b到d的不相交的有向路径,当且仅当G可以画在封闭圆盘上,a,b,c,d依次画在边界上。我们给出一个简短的证明。
{"title":"Thomassen's theorem on the two-linkage problem in acyclic digraphs: A shorter proof","authors":"Paul Seymour","doi":"10.1016/j.jctb.2025.08.006","DOIUrl":"10.1016/j.jctb.2025.08.006","url":null,"abstract":"<div><div>Let <em>G</em> be an acyclic digraph, and let <span><math><mi>a</mi><mo>,</mo><mi>b</mi><mo>,</mo><mi>c</mi><mo>,</mo><mi>d</mi><mo>∈</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, where <span><math><mi>a</mi><mo>,</mo><mi>b</mi></math></span> are sources, <span><math><mi>c</mi><mo>,</mo><mi>d</mi></math></span> are sinks, and every other vertex has in-degree and out-degree at least two. In 1985, Thomassen showed that there do not exist disjoint directed paths from <em>a</em> to <em>c</em> and from <em>b</em> to <em>d</em>, if and only if <em>G</em> can be drawn in a closed disc with <span><math><mi>a</mi><mo>,</mo><mi>b</mi><mo>,</mo><mi>c</mi><mo>,</mo><mi>d</mi></math></span> drawn in the boundary in order. We give a shorter proof.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"176 ","pages":"Pages 97-100"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145049038","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}
引用次数: 0
Transversals via regularity 通过规则的截线
IF 1.2 1区 数学 Q1 MATHEMATICS Pub Date : 2026-01-01 Epub Date: 2025-10-29 DOI: 10.1016/j.jctb.2025.10.004
Yangyang Cheng , Katherine Staden
Given graphs G1,,Gs all on the same vertex set and a graph H with e(H)s, a copy of H is transversal or rainbow if it contains at most one edge from each Gc. We study the case when H is spanning and explore how the regularity blow-up method, that has been so successful in the uncoloured setting, can be used to find transversals. We provide the analogues of the tools required to apply this method in the transversal setting. Our main result is a blow-up lemma for transversals that applies to separable bounded degree graphs H.
Our proofs use weak regularity in the 3-uniform hypergraph whose edges are those xyc where xy is an edge in the graph Gc. We apply our lemma to give a large class of spanning 3-uniform linear hypergraphs H such that any sufficiently large uniformly dense n-vertex 3-uniform hypergraph with minimum vertex degree Ω(n2) contains H as a subhypergraph. This extends work of Lenz, Mubayi and Mycroft.
给定图G1,…,Gs都在同一个顶点集上,图H e(H)≤s,如果H的副本最多包含来自每个Gc的一条边,则它是截线或彩虹。我们研究了H生成时的情况,并探索了如何使用正则性放大方法来寻找截线,这种方法在未着色的情况下非常成功。我们提供了在横向设置中应用该方法所需的工具的类似物。我们的主要结果是一个适用于可分离有界度图h的截线的爆破引理。我们的证明使用了3-一致超图的弱正则性,其边是那些xyc,其中xy是图Gc中的一条边。我们应用引理给出了一个大的生成3-一致线性超图H,使得任何足够大的具有最小顶点度Ω(n2)的一致密集n顶点3-一致超图都包含H作为子超图。这扩展了Lenz, Mubayi和Mycroft的工作。
{"title":"Transversals via regularity","authors":"Yangyang Cheng ,&nbsp;Katherine Staden","doi":"10.1016/j.jctb.2025.10.004","DOIUrl":"10.1016/j.jctb.2025.10.004","url":null,"abstract":"<div><div>Given graphs <span><math><msub><mrow><mi>G</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>s</mi></mrow></msub></math></span> all on the same vertex set and a graph <em>H</em> with <span><math><mi>e</mi><mo>(</mo><mi>H</mi><mo>)</mo><mo>≤</mo><mi>s</mi></math></span>, a copy of <em>H</em> is <em>transversal</em> or <em>rainbow</em> if it contains at most one edge from each <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>c</mi></mrow></msub></math></span>. We study the case when <em>H</em> is spanning and explore how the regularity blow-up method, that has been so successful in the uncoloured setting, can be used to find transversals. We provide the analogues of the tools required to apply this method in the transversal setting. Our main result is a blow-up lemma for transversals that applies to separable bounded degree graphs <em>H</em>.</div><div>Our proofs use weak regularity in the 3-uniform hypergraph whose edges are those <em>xyc</em> where <em>xy</em> is an edge in the graph <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>c</mi></mrow></msub></math></span>. We apply our lemma to give a large class of spanning 3-uniform linear hypergraphs <em>H</em> such that any sufficiently large uniformly dense <em>n</em>-vertex 3-uniform hypergraph with minimum vertex degree <span><math><mi>Ω</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></math></span> contains <em>H</em> as a subhypergraph. This extends work of Lenz, Mubayi and Mycroft.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"176 ","pages":"Pages 498-550"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145383220","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}
引用次数: 0
Detachable pairs in 3-connected matroids and simple 3-connected graphs 3连通拟阵和简单3连通图中的可分离对
IF 1.2 1区 数学 Q1 MATHEMATICS Pub Date : 2026-01-01 Epub Date: 2025-09-23 DOI: 10.1016/j.jctb.2025.09.003
Nick Brettell , Charles Semple , Gerry Toft
Let M be a 3-connected matroid. A pair {e,f} in M is detachable if Mef or M/e/f 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 |E(G)|13 has a pair of edges {e,f} such that G/e/f or Gef 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 ,&nbsp;Charles Semple ,&nbsp;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":"2026-01-01","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}
引用次数: 0
Quantum advantage and CSP complexity 量子优势和CSP复杂性
IF 1.2 1区 数学 Q1 MATHEMATICS Pub Date : 2026-01-01 Epub Date: 2025-10-17 DOI: 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.
将纠缠作为一种计算资源,利用关系结构间同态建模的信息处理任务具有量子优势。我们证明了量子优势的发生是由捕获csp复杂性的相同代数结构(称为多态性仆从)决定的。我们研究了量子优势小黄人与控制CSP可牵引性和宽度的其他已知小黄人之间的联系。这样,我们利用csp代数理论的复杂性结果来刻画图的情况下量子优势的发生,并在任意关系结构的情况下得到新的充要条件。
{"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":"2026-01-01","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}
引用次数: 0
Local properties of the spectral radius and Perron vector in graphs 图中谱半径和Perron向量的局部性质
IF 1.2 1区 数学 Q1 MATHEMATICS Pub Date : 2026-01-01 Epub Date: 2025-09-25 DOI: 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 λ(G) satisfies λ(G)2(11/ω)m, 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 λ2(G)2eE(G)c(e)1c(e), where c(e) 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 Ω(m) 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 k2 and an independent set S, we havevSxv212k22(k2)2+4(k1)(nk+1), where xv is the component of the Perron vector of G with respect to the vertex v. A modified version of Gregory's conjecture is proposed.
2002年,Nikiforov证明了对于团数为ω,边数为m的n顶点图G,其谱半径λ(G)满足λ(G)≤2(1−1/ω)m,证实了Edwards和Elphick隐式提出的一个猜想。本文证明了谱Turán不等式的一个局部版本,证明了λ2(G)≤2∑e∈e (G)c(e)−1c(e),其中c(e)是G中包含边e的最大团的阶,并刻画了极值图。进一步证明了我们的定理蕴涵了Nikiforov定理,并给出了在某些情况下Nikiforov界与我们的界之差为Ω(m)的一个例子。我们的第二个结果探讨了图的Perron向量的局部性质。我们证明了Gregory的一个猜想,证明了对于色数k≥2的连通n顶点图G和独立集S,有∑v∈Sxv2≤12−k−22(k−2)2+4(k−1)(n−k+1),其中xv是G关于顶点v的Perron向量的分量。
{"title":"Local properties of the spectral radius and Perron vector in graphs","authors":"Lele Liu ,&nbsp;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":"2026-01-01","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}
引用次数: 0
On graphs without cycles of length 0 modulo 4 在没有周期长度为0模4的图上
IF 1.2 1区 数学 Q1 MATHEMATICS Pub Date : 2026-01-01 Epub Date: 2025-08-20 DOI: 10.1016/j.jctb.2025.07.008
Ervin Győri , Binlong Li , Nika Salia , Casey Tompkins , Kitti Varga , Manran Zhu
Bollobás proved that for every k and such that kZ+ contains an even number, an n-vertex graph containing no cycle of length modk can contain at most a linear number of edges. The precise (or asymptotic) value of the maximum number of edges in such a graph is known for very few pairs and k. In this work we precisely determine the maximum number of edges in a graph containing no cycle of length 0mod4.
Bollobás证明了对于每一个k和r,使得k z + r包含一个偶数,一个n顶点的图,不包含长度为r modk的循环,最多只能包含一个线性数的边。这种图中最大边数的精确(或渐近)值对于很少的对(r和k)是已知的。在这项工作中,我们精确地确定了不包含长度为0mod4的循环的图中的最大边数。
{"title":"On graphs without cycles of length 0 modulo 4","authors":"Ervin Győri ,&nbsp;Binlong Li ,&nbsp;Nika Salia ,&nbsp;Casey Tompkins ,&nbsp;Kitti Varga ,&nbsp;Manran Zhu","doi":"10.1016/j.jctb.2025.07.008","DOIUrl":"10.1016/j.jctb.2025.07.008","url":null,"abstract":"<div><div>Bollobás proved that for every <em>k</em> and <em>ℓ</em> such that <span><math><mi>k</mi><mi>Z</mi><mo>+</mo><mi>ℓ</mi></math></span> contains an even number, an <em>n</em>-vertex graph containing no cycle of length <span><math><mi>ℓ</mi><mspace></mspace><mrow><mi>mod</mi></mrow><mspace></mspace><mi>k</mi></math></span> can contain at most a linear number of edges. The precise (or asymptotic) value of the maximum number of edges in such a graph is known for very few pairs <em>ℓ</em> and <em>k</em>. In this work we precisely determine the maximum number of edges in a graph containing no cycle of length <span><math><mn>0</mn><mspace></mspace><mrow><mi>mod</mi></mrow><mspace></mspace><mn>4</mn></math></span>.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"176 ","pages":"Pages 7-29"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144863500","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}
引用次数: 0
Tree independence number II. Three-path-configurations 树的独立性2。Three-path-configurations
IF 1.2 1区 数学 Q1 MATHEMATICS Pub Date : 2026-01-01 Epub Date: 2025-09-08 DOI: 10.1016/j.jctb.2025.08.003
Maria Chudnovsky , Sepehr Hajebi , Daniel Lokshtanov , Sophie Spirkl
A three-path-configuration is a graph consisting of three pairwise internally-disjoint paths the union of every two of which is an induced cycle of length at least four. A graph is 3PC-free if no induced subgraph of it is a three-path-configuration. We prove that 3PC-free graphs have poly-logarithmic tree independence number. More explicitly, we show that there exists a constant c such that every n-vertex 3PC-free graph has a tree decomposition in which every bag has stability number at most c(logn)2. This implies that the Maximum Weight Independent Set problem, as well as several other natural algorithmic problems, that are known to be NP-hard in general, can be solved in quasi-polynomial time if the input graph is 3PC-free.
一个三路径构型是一个图,它由三条对的内部不相交的路径组成,其中每两条路径的并集是一个长度至少为4的诱导环。如果图的任何诱导子图都不是三路径配置,则该图是无3pc的。证明了无3pc图具有多对数树独立数。更明确地说,我们证明了存在一个常数c,使得每个无n顶点3pc的图都有一个树分解,其中每个袋的稳定数最多为c(log (n)2)。这意味着,如果输入图是无3pc的,那么最大权重独立集问题,以及其他一些已知一般是np困难的自然算法问题,可以在拟多项式时间内解决。
{"title":"Tree independence number II. Three-path-configurations","authors":"Maria Chudnovsky ,&nbsp;Sepehr Hajebi ,&nbsp;Daniel Lokshtanov ,&nbsp;Sophie Spirkl","doi":"10.1016/j.jctb.2025.08.003","DOIUrl":"10.1016/j.jctb.2025.08.003","url":null,"abstract":"<div><div>A <em>three-path-configuration</em> is a graph consisting of three pairwise internally-disjoint paths the union of every two of which is an induced cycle of length at least four. A graph is <em>3PC-free</em> if no induced subgraph of it is a three-path-configuration. We prove that 3PC-free graphs have poly-logarithmic tree independence number. More explicitly, we show that there exists a constant <em>c</em> such that every <em>n</em>-vertex 3PC-free graph has a tree decomposition in which every bag has stability number at most <span><math><mi>c</mi><msup><mrow><mo>(</mo><mi>log</mi><mo>⁡</mo><mi>n</mi><mo>)</mo></mrow><mrow><mn>2</mn></mrow></msup></math></span>. This implies that the <span>Maximum Weight Independent Set</span> problem, as well as several other natural algorithmic problems, that are known to be <span>NP</span>-hard in general, can be solved in quasi-polynomial time if the input graph is 3PC-free.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"176 ","pages":"Pages 74-96"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145010349","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}
引用次数: 0
Dense minors of graphs with independence number two 具有独立性为2的图的密集子图
IF 1.2 1区 数学 Q1 MATHEMATICS Pub Date : 2026-01-01 Epub Date: 2025-09-17 DOI: 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 with0.98688(t2)o(t2) edges, where t is its chromatic number.
根据Hadwiger的猜想,我们证明了每一个没有大小为3的独立集的图都包含一个具有0.98688⋅(t2)−o(t2)条边的t顶点简单小图,其中t为其色数。
{"title":"Dense minors of graphs with independence number two","authors":"Sergey Norin ,&nbsp;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":"2026-01-01","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}
引用次数: 0
Counterexamples to the linkage conjecture for tournaments 关于比赛的关联猜想的反例
IF 1.2 1区 数学 Q1 MATHEMATICS Pub Date : 2026-01-01 Epub Date: 2025-10-27 DOI: 10.1016/j.jctb.2025.10.005
Jia Zhou, Jin Yan
Let k2 be an integer. A digraph D is k-linked if for every set of 2k distinct vertices x1,,xk,y1,,yk in D, there exist k pairwise vertex-disjoint paths P1,,Pk such that each path Pi starts at xi and ends at yi for i[k]. In 2015, Pokrovskiy conjectured that there exists a function g(k) such that every 2k-connected tournament with minimum in-degree and minimum out-degree at least g(k) is k-linked in Pokrovskiy (2015) [16]. In this paper, we disprove Pokrovskiy's conjecture by constructing a family of 2k-connected tournaments of order n14k2 with arbitrarily large minimum semi-degree (depending on n) that are not k-linked. The counterexamples, with sufficiently large order n, also provide a negative answer to the question posed by Girão et al. (2021) [8]: whether or not 2k-connectivity is sufficient for k-linkage in every tournament with minimum out-degree at least some polynomial in k.
设k≥2为整数。有向图D是k链接的,如果对于D中每个由2k个不同的顶点x1,…,xk,y1,…,yk组成的集合,存在k个成对的顶点不相交路径P1,…,Pk,使得对于i∈[k],每个路径Pi从xi开始,以yi结束。2015年,Pokrovskiy推测存在一个函数g(k),使得Pokrovskiy(2015)[16]中每一个最小入度和最小出度至少为g(k)的2k连通锦标赛都是k连通的。在本文中,我们通过构造一个非k连接的具有任意大的最小半度(取决于n)的n≥14k2阶的2k连接竞赛族来反驳Pokrovskiy猜想。反例,具有足够大的n阶,也为gir等人(2021)[8]提出的问题提供了一个否定的答案:在k中至少有某个多项式的最小出位度的每个锦标赛中,2k-连通性是否足以满足k-链接。
{"title":"Counterexamples to the linkage conjecture for tournaments","authors":"Jia Zhou,&nbsp;Jin Yan","doi":"10.1016/j.jctb.2025.10.005","DOIUrl":"10.1016/j.jctb.2025.10.005","url":null,"abstract":"<div><div>Let <span><math><mi>k</mi><mo>≥</mo><mn>2</mn></math></span> be an integer. A digraph <em>D</em> is <em>k</em>-linked if for every set of 2<em>k</em> distinct vertices <span><math><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>k</mi></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> in <em>D</em>, there exist <em>k</em> pairwise vertex-disjoint paths <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> such that each path <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> starts at <span><math><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> and ends at <span><math><msub><mrow><mi>y</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> for <span><math><mi>i</mi><mo>∈</mo><mo>[</mo><mi>k</mi><mo>]</mo></math></span>. In 2015, Pokrovskiy conjectured that there exists a function <span><math><mi>g</mi><mo>(</mo><mi>k</mi><mo>)</mo></math></span> such that every 2<em>k</em>-connected tournament with minimum in-degree and minimum out-degree at least <span><math><mi>g</mi><mo>(</mo><mi>k</mi><mo>)</mo></math></span> is <em>k</em>-linked in Pokrovskiy (2015) <span><span>[16]</span></span>. In this paper, we disprove Pokrovskiy's conjecture by constructing a family of 2<em>k</em>-connected tournaments of order <span><math><mi>n</mi><mo>≥</mo><mn>14</mn><msup><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span> with arbitrarily large minimum semi-degree (depending on <em>n</em>) that are not <em>k</em>-linked. The counterexamples, with sufficiently large order <em>n</em>, also provide a negative answer to the question posed by Girão et al. (2021) <span><span>[8]</span></span>: whether or not 2<em>k</em>-connectivity is sufficient for <em>k</em>-linkage in every tournament with minimum out-degree at least some polynomial in <em>k</em>.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"176 ","pages":"Pages 486-497"},"PeriodicalIF":1.2,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145396361","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}
引用次数: 0
The degree-restricted random process is far from uniform 受程度限制的随机过程远非一致
IF 1.2 1区 数学 Q1 MATHEMATICS Pub Date : 2026-01-01 Epub Date: 2025-09-23 DOI: 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 dn=(d1,,dn): starting with an empty n-vertex graph, it sequentially adds new random edges so that the degree of each vertex vi remains at most di. Wormald conjectured in 1999 that, for d-regular degree sequences dn, the final graph of this process is similar to a uniform random d-regular graph.
In this paper we show that, for degree sequences dn that are not nearly regular, the final graph of the degree-restricted random process differs substantially from a uniform random graph with degree sequence dn. 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).
度限制随机过程是生成度序列dn=(d1,…,dn)图的一种自然算法模型:从一个空的n顶点图开始,顺序地添加新的随机边,使每个顶点vi的度最多保持di。Wormald在1999年推测,对于d正则次序列dn,该过程的最终图类似于一致随机d正则图。在本文中,我们证明了对于不接近正则的次序列dn,限制次随机过程的最终图与具有次序列dn的一致随机图有很大的不同。组合证明技术是我们的主要概念贡献:我们将切换方法适应于程度限制过程,证明这种枚举技术也可以用于分析随机过程(而不仅仅是均匀随机模型,就像以前一样)。
{"title":"The degree-restricted random process is far from uniform","authors":"Michael Molloy ,&nbsp;Erlang Surya ,&nbsp;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":"2026-01-01","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}
引用次数: 0
期刊
Journal of Combinatorial Theory Series B
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1