Pub Date : 2023-09-25DOI: 10.1007/s00493-023-00061-4
António Girão, Freddie Illingworth, Emil Powierski, Michael Savery, Alex Scott, Youri Tamitegama, Jane Tan
We prove that, for every graph F with at least one edge, there is a constant (c_F) such that there are graphs of arbitrarily large chromatic number and the same clique number as F in which every F-free induced subgraph has chromatic number at most (c_F). This generalises recent theorems of Briański, Davies and Walczak, and Carbonero, Hompe, Moore and Spirkl. Our results imply that for every (rgeqslant 3) the class of (K_r)-free graphs has a very strong vertex Ramsey-type property, giving a vast generalisation of a result of Folkman from 1970. We also prove related results for tournaments, hypergraphs and infinite families of graphs, and show an analogous statement for graphs where clique number is replaced by odd girth.
{"title":"Induced Subgraphs of Induced Subgraphs of Large Chromatic Number","authors":"António Girão, Freddie Illingworth, Emil Powierski, Michael Savery, Alex Scott, Youri Tamitegama, Jane Tan","doi":"10.1007/s00493-023-00061-4","DOIUrl":"https://doi.org/10.1007/s00493-023-00061-4","url":null,"abstract":"<p>We prove that, for every graph <i>F</i> with at least one edge, there is a constant <span>(c_F)</span> such that there are graphs of arbitrarily large chromatic number and the same clique number as <i>F</i> in which every <i>F</i>-free induced subgraph has chromatic number at most <span>(c_F)</span>. This generalises recent theorems of Briański, Davies and Walczak, and Carbonero, Hompe, Moore and Spirkl. Our results imply that for every <span>(rgeqslant 3)</span> the class of <span>(K_r)</span>-free graphs has a very strong vertex Ramsey-type property, giving a vast generalisation of a result of Folkman from 1970. We also prove related results for tournaments, hypergraphs and infinite families of graphs, and show an analogous statement for graphs where clique number is replaced by odd girth.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"12 13","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71493572","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-19DOI: 10.1007/s00493-023-00065-0
Guyslain Naves
We give an algorithm with complexity (O((R+1)^{4k^2} k^3 n)) for the integer multiflow problem on instances (G, H, r, c) with G an acyclic planar digraph and (r+c) Eulerian. Here, (n = |V(G)|), (k = |E(H)|) and R is the maximum request (max _{h in E(H)} r(h)). When k is fixed, this gives a polynomial-time algorithm for the arc-disjoint paths problem under the same hypothesis.Kindly check and confirm the edit made in the title.Confirmed Journal instruction requires a city and country for affiliations; however, these are missing in affiliation [1]. Please verify if the provided city is correct and amend if necessary.Since the submission, my affiliation has changed. It should now be: Laboratoire d'Informatique & Systèmes, Aix-Marseille Université, CNRS UMR 7020, Marseille, France
针对实例(G,H,R,c)上的整数多流问题,给出了一个复杂度为O(((R+1)^{4k^2}k^3n)的算法,其中G是非循环平面有向图和(R+c)Eulerian。这里,(n=|V(G)|),(k=|E(H)|。当k是固定的时,这给出了在相同假设下求解弧不相交路径问题的多项式时间算法。请检查并确认标题中的编辑。ConfirmedJournal指令要求加入城市和国家;然而,这些在隶属关系中是缺失的[1]。请核实所提供的城市是否正确,并在必要时进行修改。提交后,我的隶属关系发生了变化。现在应该是:信息实验室;法国马赛艾克斯马赛大学,CNRS UMR 7020
{"title":"Integer Multiflows in Acyclic Planar Digraphs","authors":"Guyslain Naves","doi":"10.1007/s00493-023-00065-0","DOIUrl":"https://doi.org/10.1007/s00493-023-00065-0","url":null,"abstract":"<p>We give an algorithm with complexity <span>(O((R+1)^{4k^2} k^3 n))</span> for the integer multiflow problem on instances (<i>G</i>, <i>H</i>, <i>r</i>, <i>c</i>) with <i>G</i> an acyclic planar digraph and <span>(r+c)</span> Eulerian. Here, <span>(n = |V(G)|)</span>, <span>(k = |E(H)|)</span> and <i>R</i> is the maximum request <span>(max _{h in E(H)} r(h))</span>. When <i>k</i> is fixed, this gives a polynomial-time algorithm for the arc-disjoint paths problem under the same hypothesis.Kindly check and confirm the edit made in the title.Confirmed\u0000Journal instruction requires a city and country for affiliations; however, these are missing in affiliation [1]. Please verify if the provided city is correct and amend if necessary.Since the submission, my affiliation has changed. It should now be:\u0000Laboratoire d'Informatique & Systèmes, Aix-Marseille Université, CNRS UMR 7020, Marseille, France</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"13 3","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71493242","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-18DOI: 10.1007/s00493-023-00055-2
Andrew Granville, George Shakan, Aled Walker
Let (A subset {mathbb {Z}}^d) be a finite set. It is known that NA has a particular size ((vert NAvert = P_A(N)) for some (P_A(X) in {mathbb {Q}}[X])) and structure (all of the lattice points in a cone other than certain exceptional sets), once N is larger than some threshold. In this article we give the first effective upper bounds for this threshold for arbitrary A. Such explicit results were only previously known in the special cases when (d=1), when the convex hull of A is a simplex or when (vert Avert = d+2) Curran and Goldmakher (Discrete Anal. Paper No. 27, 2021), results which we improve.
{"title":"Effective Results on the Size and Structure of Sumsets","authors":"Andrew Granville, George Shakan, Aled Walker","doi":"10.1007/s00493-023-00055-2","DOIUrl":"https://doi.org/10.1007/s00493-023-00055-2","url":null,"abstract":"<p>Let <span>(A subset {mathbb {Z}}^d)</span> be a finite set. It is known that <i>NA</i> has a particular size (<span>(vert NAvert = P_A(N))</span> for some <span>(P_A(X) in {mathbb {Q}}[X])</span>) and structure (all of the lattice points in a cone other than certain exceptional sets), once <i>N</i> is larger than some threshold. In this article we give the first effective upper bounds for this threshold for arbitrary <i>A</i>. Such explicit results were only previously known in the special cases when <span>(d=1)</span>, when the convex hull of <i>A</i> is a simplex or when <span>(vert Avert = d+2)</span> Curran and Goldmakher (Discrete Anal. Paper No. 27, 2021), results which we improve.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"13 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71493243","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-15DOI: 10.1007/s00493-023-00015-w
Alex Scott, Paul Seymour, Sophie Spirkl
A graph G is H-free if it has no induced subgraph isomorphic to H. We prove that a (P_5)-free graph with clique number (omega ge 3) has chromatic number at most (omega ^{log _2(omega )}). The best previous result was an exponential upper bound ((5/27)3^{omega }), due to Esperet, Lemoine, Maffray, and Morel. A polynomial bound would imply that the celebrated Erdős-Hajnal conjecture holds for (P_5), which is the smallest open case. Thus, there is great interest in whether there is a polynomial bound for (P_5)-free graphs, and our result is an attempt to approach that.
{"title":"Polynomial Bounds for Chromatic Number. IV: A Near-polynomial Bound for Excluding the Five-vertex Path","authors":"Alex Scott, Paul Seymour, Sophie Spirkl","doi":"10.1007/s00493-023-00015-w","DOIUrl":"https://doi.org/10.1007/s00493-023-00015-w","url":null,"abstract":"<p>A graph <i>G</i> is <i>H</i><i>-free</i> if it has no induced subgraph isomorphic to <i>H</i>. We prove that a <span>(P_5)</span>-free graph with clique number <span>(omega ge 3)</span> has chromatic number at most <span>(omega ^{log _2(omega )})</span>. The best previous result was an exponential upper bound <span>((5/27)3^{omega })</span>, due to Esperet, Lemoine, Maffray, and Morel. A polynomial bound would imply that the celebrated Erdős-Hajnal conjecture holds for <span>(P_5)</span>, which is the smallest open case. Thus, there is great interest in whether there is a polynomial bound for <span>(P_5)</span>-free graphs, and our result is an attempt to approach that.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"13 2","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71493241","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-08-09DOI: 10.1007/s00493-023-00054-3
Marcin Briański, James Davies, Bartosz Walczak
Extending the idea from the recent paper by Carbonero, Hompe, Moore, and Spirkl, for every function (f:mathbb {N}rightarrow mathbb {N}cup {infty }) with (f(1)=1) and (f(n)geqslant left( {begin{array}{c}3n+1 3end{array}}right) ), we construct a hereditary class of graphs ({mathcal {G}}) such that the maximum chromatic number of a graph in ({mathcal {G}}) with clique number n is equal to f(n) for every (nin mathbb {N}). In particular, we prove that there exist hereditary classes of graphs that are (chi )-bounded but not polynomially (chi )-bounded.
{"title":"Separating Polynomial $$chi $$ -Boundedness from $$chi $$ -Boundedness","authors":"Marcin Briański, James Davies, Bartosz Walczak","doi":"10.1007/s00493-023-00054-3","DOIUrl":"https://doi.org/10.1007/s00493-023-00054-3","url":null,"abstract":"<p>Extending the idea from the recent paper by Carbonero, Hompe, Moore, and Spirkl, for every function <span>(f:mathbb {N}rightarrow mathbb {N}cup {infty })</span> with <span>(f(1)=1)</span> and <span>(f(n)geqslant left( {begin{array}{c}3n+1 3end{array}}right) )</span>, we construct a hereditary class of graphs <span>({mathcal {G}})</span> such that the maximum chromatic number of a graph in <span>({mathcal {G}})</span> with clique number <i>n</i> is equal to <i>f</i>(<i>n</i>) for every <span>(nin mathbb {N})</span>. In particular, we prove that there exist hereditary classes of graphs that are <span>(chi )</span>-bounded but not polynomially <span>(chi )</span>-bounded.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"13 23","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-08-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71493262","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-06-13DOI: 10.1007/s00493-023-00045-4
Patrick Schnider
We study families of depth measures defined by natural sets of axioms. We show that any such depth measure is a constant factor approximation of Tukey depth. We further investigate the dimensions of depth regions, showing that the Cascade conjecture, introduced by Kalai for Tverberg depth, holds for all depth measures which satisfy our most restrictive set of axioms, which includes Tukey depth. Along the way, we introduce and study a new depth measure called enclosing depth, which we believe to be of independent interest, and show its relation to a constant-fraction Radon theorem on certain two-colored point sets.
{"title":"Enclosing Depth and Other Depth Measures","authors":"Patrick Schnider","doi":"10.1007/s00493-023-00045-4","DOIUrl":"https://doi.org/10.1007/s00493-023-00045-4","url":null,"abstract":"<p>We study families of depth measures defined by natural sets of axioms. We show that any such depth measure is a constant factor approximation of Tukey depth. We further investigate the dimensions of depth regions, showing that the <i>Cascade conjecture</i>, introduced by Kalai for Tverberg depth, holds for all depth measures which satisfy our most restrictive set of axioms, which includes Tukey depth. Along the way, we introduce and study a new depth measure called <i>enclosing depth</i>, which we believe to be of independent interest, and show its relation to a constant-fraction Radon theorem on certain two-colored point sets.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"14 12","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71493259","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-06-12DOI: 10.1007/s00493-023-00047-2
Claude Tardif
{"title":"The Chromatic Number of the Product of 5-Chromatic Graphs can be 4","authors":"Claude Tardif","doi":"10.1007/s00493-023-00047-2","DOIUrl":"https://doi.org/10.1007/s00493-023-00047-2","url":null,"abstract":"","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136309718","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-06-05DOI: 10.1007/s00493-023-00048-1
M. Sales, B. Schülke
{"title":"A Local Version of Katona’s Intersecting Shadow Theorem","authors":"M. Sales, B. Schülke","doi":"10.1007/s00493-023-00048-1","DOIUrl":"https://doi.org/10.1007/s00493-023-00048-1","url":null,"abstract":"","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":" ","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43389802","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}