首页 > 最新文献

Journal of Combinatorial Theory Series B最新文献

英文 中文
Quantum advantage and CSP complexity 量子优势和CSP复杂性
IF 1.2 1区 数学 Q1 MATHEMATICS Pub 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":"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}
引用次数: 0
An infinite family of simple graphs underlying chiral, orientable reflexible and non-orientable rotary maps 手性、可定向、自旋和不可定向旋转映射下的无限简单图族
IF 1.2 1区 数学 Q1 MATHEMATICS Pub Date : 2025-10-16 DOI: 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 Cn[mK1], where m3, n=sm, with s an integer not divisible by 4. This answers a question posed by Wilson in 2002.
在本文中,我们提供了已知的第一个无限简单图族,每个简单图族都是手性映射的骨架,可定向表面上的自反射映射的骨架,以及不可定向表面上的自反射映射的骨架。这个族由所有字典积Cn[mK1]组成,其中m≥3,n=sm,其中s是不能被4整除的整数。这回答了威尔逊在2002年提出的一个问题。
{"title":"An infinite family of simple graphs underlying chiral, orientable reflexible and non-orientable rotary maps","authors":"Isabel Hubard ,&nbsp;Primož Potočnik ,&nbsp;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}
引用次数: 0
Splitting-off in hypergraphs 超图中的分裂
IF 1.2 1区 数学 Q1 MATHEMATICS Pub Date : 2025-10-09 DOI: 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.
无向图的分离操作是一种基本的约简操作,它将与给定顶点相关的所有边分离,并在该顶点的相邻边之间添加新边,同时保留其度数。Lovász[47],[49]和Mader[50]分别证明了在一定条件下保持图的全局连通性和局部连通性的情况下,该操作的存在性。这些结果有影响深远的应用图算法文献[3],[9],[10],[14],[19],[24],[25],[26],[27],[28],[31],[32],[34],[35],[37],[40],[42],[43],[48],[50],[51],[52],[53]。在这项工作中,我们在超图中引入了一个分离操作。我们证明了超图中存在一个局部连通性保持完全分离,并给出了一个在加权超图中计算它的强多项式时间算法。我们通过展示两个应用来说明我们的分离操作在超图中的有用性:(1)我们给出了k-超边连接超图的建设性表征;(2)我们给出了图和超图的最大Steiner根连接方向的近似最小-最大关系的替代证明(由于Király和Lau(2008)[40])。我们对图的近似最小-最大关系的证明绕过了纳什-威廉姆斯的强定向定理,并使用了为超图开发的工具。
{"title":"Splitting-off in hypergraphs","authors":"Kristóf Bérczi ,&nbsp;Karthekeyan Chandrasekaran ,&nbsp;Tamás Király ,&nbsp;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}
引用次数: 0
Induced subgraphs and tree decompositions XVI. Complete bipartite induced minors 诱导子图和树分解。完全双侧诱导未成年人
IF 1.2 1区 数学 Q1 MATHEMATICS Pub Date : 2025-10-08 DOI: 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.
我们证明了对于每一个具有足够大的完全二部诱导小图G,要么G有一个诱导小图同构于一个大墙,要么G包含一个大星座;即,一个完全的二部诱导次要模型,在二分的一侧,每个分支集都是单例,在另一侧,每个分支集都诱导出一条路径。我们进一步完善了这一定理,将大星座的不可避免诱导子图描述为两种高度结构化的星座。这些结果将成为本系列即将发表的几篇论文的关键成分。
{"title":"Induced subgraphs and tree decompositions XVI. Complete bipartite induced minors","authors":"Maria Chudnovsky ,&nbsp;Sepehr Hajebi ,&nbsp;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}
引用次数: 0
Triangle Ramsey numbers of complete graphs 完全图的三角形拉姆齐数
IF 1.2 1区 数学 Q1 MATHEMATICS Pub Date : 2025-10-08 DOI: 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 rF(H), 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 thatrK3(Kt)=(r(Kt)3) 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 (r3) triangles in total.
定义H的F- ramsey数,用rF(H)表示为H- ramsey图中F的最小拷贝数。这概括了图的Ramsey数和Ramsey数的大小。为了解决Spiro问题,我们证明了对于所有足够大的t, rk3 (Kt)=(r(Kt)3)。我们通过图着色的一个结果证明了这一点:存在一个绝对常数K,使得每个r色图的每条边至少包含K个三角形,必须包含至少(r3)个三角形。
{"title":"Triangle Ramsey numbers of complete graphs","authors":"Jacob Fox ,&nbsp;Jonathan Tidor ,&nbsp;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}
引用次数: 0
The Hamilton space of pseudorandom graphs 伪随机图的Hamilton空间
IF 1.2 1区 数学 Q1 MATHEMATICS Pub Date : 2025-09-26 DOI: 10.1016/j.jctb.2025.09.002
Micha Christoph , Rajko Nenadov , Kalina Petrova
We show that if n is odd and pClogn/n, then with high probability Hamilton cycles in G(n,p) 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 n/2+C for sufficiently large constant C, span its cycle space.
我们证明了如果n是奇数且p≥Clog (n, n) /n,那么在G(n,p)中有高概率地张成它的Hamilton环空间。更一般地说,我们证明这适用于一类满足某些自然伪随机性质的图。这个证明是基于奇偶切换器的一个新思想,它可以被认为是循环空间中吸收器的类似物。作为我们方法的另一个应用,我们证明了一个近狄拉克图G中的Hamilton环,即对于足够大的常数C,具有奇数个顶点且最小度为n/2+C的图G,可以张成它的环空间。
{"title":"The Hamilton space of pseudorandom graphs","authors":"Micha Christoph ,&nbsp;Rajko Nenadov ,&nbsp;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}
引用次数: 0
Local properties of the spectral radius and Perron vector in graphs 图中谱半径和Perron向量的局部性质
IF 1.2 1区 数学 Q1 MATHEMATICS Pub 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":"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}
引用次数: 0
Detachable pairs in 3-connected matroids and simple 3-connected graphs 3连通拟阵和简单3连通图中的可分离对
IF 1.2 1区 数学 Q1 MATHEMATICS Pub 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":"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}
引用次数: 0
The degree-restricted random process is far from uniform 受程度限制的随机过程远非一致
IF 1.2 1区 数学 Q1 MATHEMATICS Pub 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":"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}
引用次数: 0
Dense minors of graphs with independence number two 具有独立性为2的图的密集子图
IF 1.2 1区 数学 Q1 MATHEMATICS Pub 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":"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}
引用次数: 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