CombinatoricaPub Date : 2024-07-09DOI: 10.1007/s00493-024-00113-3
Xueping Huang, Shiping Liu, Qing Xia
{"title":"Bounding the Diameter and Eigenvalues of Amply Regular Graphs via Lin–Lu–Yau Curvature","authors":"Xueping Huang, Shiping Liu, Qing Xia","doi":"10.1007/s00493-024-00113-3","DOIUrl":"https://doi.org/10.1007/s00493-024-00113-3","url":null,"abstract":"<p>An amply regular graph is a regular graph such that any two adjacent vertices have <span>(alpha )</span> common neighbors and any two vertices with distance 2 have <span>(beta )</span> common neighbors. We prove a sharp lower bound estimate for the Lin–Lu–Yau curvature of any amply regular graph with girth 3 and <span>(beta >alpha )</span>. The proof involves new ideas relating discrete Ricci curvature with local matching properties: This includes a novel construction of a regular bipartite graph from the local structure and related distance estimates. As a consequence, we obtain sharp diameter and eigenvalue bounds for amply regular graphs.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141561513","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}
CombinatoricaPub Date : 2024-07-03DOI: 10.1007/s00493-024-00111-5
António Girão, Freddie Illingworth, L. Michel, M. Savery, Alex D. Scott
{"title":"Publisher Erratum: Flashes and Rainbows in Tournaments","authors":"António Girão, Freddie Illingworth, L. Michel, M. Savery, Alex D. Scott","doi":"10.1007/s00493-024-00111-5","DOIUrl":"https://doi.org/10.1007/s00493-024-00111-5","url":null,"abstract":"","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141683781","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}
CombinatoricaPub Date : 2024-06-27DOI: 10.1007/s00493-024-00107-1
Christopher Cornwell, Nathan McNew
{"title":"Links and the Diaconis–Graham Inequality","authors":"Christopher Cornwell, Nathan McNew","doi":"10.1007/s00493-024-00107-1","DOIUrl":"https://doi.org/10.1007/s00493-024-00107-1","url":null,"abstract":"<p>In 1977 Diaconis and Graham proved two inequalities relating different measures of disarray in permutations, and asked for a characterization of those permutations for which equality holds in one of these inequalities. Such a characterization was first given in 2013. Recently, another characterization was given by Woo, using a topological link in <span>({mathbb {R}}^3)</span> that can be associated to the cycle diagram of a permutation. We show that Woo’s characterization extends much further: for any permutation, the discrepancy in Diaconis and Graham’s inequality is directly related to the Euler characteristic of the associated link. This connection provides a new proof of the original result of Diaconis and Graham. We also characterize permutations with a fixed discrepancy in terms of their associated links and find that the stabilized-interval-free permutations are precisely those whose associated links are nonsplit.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141462527","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}
CombinatoricaPub Date : 2024-06-24DOI: 10.1007/s00493-024-00110-6
Gwenaël Joret, Clément Rambaud
{"title":"Neighborhood Complexity of Planar Graphs","authors":"Gwenaël Joret, Clément Rambaud","doi":"10.1007/s00493-024-00110-6","DOIUrl":"https://doi.org/10.1007/s00493-024-00110-6","url":null,"abstract":"<p>Reidl et al. (Eur J Comb 75:152–168, 2019) characterized graph classes of bounded expansion as follows: A class <span>({mathcal {C}})</span> closed under subgraphs has bounded expansion if and only if there exists a function <span>(f:{mathbb {N}} rightarrow {mathbb {N}})</span> such that for every graph <span>(G in {mathcal {C}})</span>, every nonempty subset <i>A</i> of vertices in <i>G</i> and every nonnegative integer <i>r</i>, the number of distinct intersections between <i>A</i> and a ball of radius <i>r</i> in <i>G</i> is at most <i>f</i>(<i>r</i>) |<i>A</i>|. When <span>({mathcal {C}})</span> has bounded expansion, the function <i>f</i>(<i>r</i>) coming from existing proofs is typically exponential. In the special case of planar graphs, it was conjectured by Sokołowski (Electron J Comb 30(2):P2.3, 2023) that <i>f</i>(<i>r</i>) could be taken to be a polynomial. In this paper, we prove this conjecture: For every nonempty subset <i>A</i> of vertices in a planar graph <i>G</i> and every nonnegative integer <i>r</i>, the number of distinct intersections between <i>A</i> and a ball of radius <i>r</i> in <i>G</i> is <span>({{,mathrm{{mathcal {O}}},}}(r^4 |A|))</span>. We also show that a polynomial bound holds more generally for every proper minor-closed class of graphs.\u0000</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141444858","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}
CombinatoricaPub Date : 2024-06-11DOI: 10.1007/s00493-024-00109-z
Peter Bradshaw, Yaobin Chen, Hao Ma, Bojan Mohar, Hehui Wu
{"title":"List-Avoiding Orientations","authors":"Peter Bradshaw, Yaobin Chen, Hao Ma, Bojan Mohar, Hehui Wu","doi":"10.1007/s00493-024-00109-z","DOIUrl":"https://doi.org/10.1007/s00493-024-00109-z","url":null,"abstract":"<p>Given a graph <i>G</i> with a set <i>F</i>(<i>v</i>) of forbidden values at each <span>(v in V(G))</span>, an <i>F</i>-avoiding orientation of <i>G</i> is an orientation in which <span>(deg ^+(v) not in F(v))</span> for each vertex <i>v</i>. Akbari, Dalirrooyfard, Ehsani, Ozeki, and Sherkati conjectured that if <span>(|F(v)| < frac{1}{2} deg (v))</span> for each <span>(v in V(G))</span>, then <i>G</i> has an <i>F</i>-avoiding orientation, and they showed that this statement is true when <span>(frac{1}{2})</span> is replaced by <span>(frac{1}{4})</span>. In this paper, we take a step toward this conjecture by proving that if <span>(|F(v)| < lfloor frac{1}{3} deg (v) rfloor )</span> for each vertex <i>v</i>, then <i>G</i> has an <i>F</i>-avoiding orientation. Furthermore, we show that if the maximum degree of <i>G</i> is subexponential in terms of the minimum degree, then this coefficient of <span>(frac{1}{3})</span> can be increased to <span>(sqrt{2} - 1 - o(1) approx 0.414)</span>. Our main tool is a new sufficient condition for the existence of an <i>F</i>-avoiding orientation based on the Combinatorial Nullstellensatz of Alon and Tarsi.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141304465","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}
CombinatoricaPub Date : 2024-05-28DOI: 10.1007/s00493-024-00108-0
Ahmad Abdi, Gérard Cornuéjols, Giacomo Zambelli
{"title":"Arc Connectivity and Submodular Flows in Digraphs","authors":"Ahmad Abdi, Gérard Cornuéjols, Giacomo Zambelli","doi":"10.1007/s00493-024-00108-0","DOIUrl":"https://doi.org/10.1007/s00493-024-00108-0","url":null,"abstract":"<p>Let <span>(D=(V,A))</span> be a digraph. For an integer <span>(kge 1)</span>, a <i>k</i>-<i>arc-connected flip</i> is an arc subset of <i>D</i> such that after reversing the arcs in it the digraph becomes (strongly) <i>k</i>-arc-connected. The first main result of this paper introduces a sufficient condition for the existence of a <i>k</i>-arc-connected flip that is also a submodular flow for a crossing submodular function. More specifically, given some integer <span>(tau ge 1)</span>, suppose <span>(d_A^+(U)+(frac{tau }{k}-1)d_A^-(U)ge tau )</span> for all <span>(Usubsetneq V, Une emptyset )</span>, where <span>(d_A^+(U))</span> and <span>(d_A^-(U))</span> denote the number of arcs in <i>A</i> leaving and entering <i>U</i>, respectively. Let <span>({mathcal {C}})</span> be a crossing family over ground set <i>V</i>, and let <span>(f:{mathcal {C}}rightarrow {mathbb {Z}})</span> be a crossing submodular function such that <span>(f(U)ge frac{k}{tau }(d_A^+(U)-d_A^-(U)))</span> for all <span>(Uin {mathcal {C}})</span>. Then <i>D</i> has a <i>k</i>-arc-connected flip <i>J</i> such that <span>(f(U)ge d_J^+(U)-d_J^-(U))</span> for all <span>(Uin {mathcal {C}})</span>. The result has several applications to Graph Orientations and Combinatorial Optimization. In particular, it strengthens Nash-Williams’ so-called <i>weak orientation theorem</i>, and proves a weaker variant of Woodall’s conjecture on digraphs whose underlying undirected graph is <span>(tau )</span>-edge-connected. The second main result of this paper is even more general. It introduces a sufficient condition for the existence of capacitated integral solutions to the intersection of two submodular flow systems. This sufficient condition implies the classic result of Edmonds and Giles on the box-total dual integrality of a submodular flow system. It also has the consequence that in a weakly connected digraph, the intersection of two submodular flow systems is totally dual integral.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141159422","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}
CombinatoricaPub Date : 2024-05-14DOI: 10.1007/s00493-024-00103-5
Domagoj Bradač, Nemanja Draganić, Benny Sudakov
{"title":"Effective Bounds for Induced Size-Ramsey Numbers of Cycles","authors":"Domagoj Bradač, Nemanja Draganić, Benny Sudakov","doi":"10.1007/s00493-024-00103-5","DOIUrl":"https://doi.org/10.1007/s00493-024-00103-5","url":null,"abstract":"<p>The induced size-Ramsey number <span>(hat{r}_text {ind}^k(H))</span> of a graph <i>H</i> is the smallest number of edges a (host) graph <i>G</i> can have such that for any <i>k</i>-coloring of its edges, there exists a monochromatic copy of <i>H</i> which is an induced subgraph of <i>G</i>. In 1995, in their seminal paper, Haxell, Kohayakawa and Łuczak showed that for cycles, these numbers are linear for any constant number of colours, i.e., <span>(hat{r}_text {ind}^k(C_n)le Cn)</span> for some <span>(C=C(k))</span>. The constant <i>C</i> comes from the use of the regularity lemma, and has a tower type dependence on <i>k</i>. In this paper we significantly improve these bounds, showing that <span>(hat{r}_text {ind}^k(C_n)le O(k^{102})n)</span> when <i>n</i> is even, thus obtaining only a polynomial dependence of <i>C</i> on <i>k</i>. We also prove <span>(hat{r}_text {ind}^k(C_n)le e^{O(klog k)}n)</span> for odd <i>n</i>, which almost matches the lower bound of <span>(e^{Omega (k)}n)</span>. Finally, we show that the ordinary (non-induced) size-Ramsey number satisfies <span>(hat{r}^k(C_n)=e^{O(k)}n)</span> for odd <i>n</i>. This substantially improves the best previous result of <span>(e^{O(k^2)}n)</span>, and is best possible, up to the implied constant in the exponent. To achieve our results, we present a new host graph construction which, roughly speaking, reduces our task to finding a cycle of approximate given length in a graph with local sparsity.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140919474","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}
CombinatoricaPub Date : 2024-05-14DOI: 10.1007/s00493-024-00105-3
Agnijo Banerjee
{"title":"A Proof of a Frankl–Kupavskii Conjecture on Intersecting Families","authors":"Agnijo Banerjee","doi":"10.1007/s00493-024-00105-3","DOIUrl":"https://doi.org/10.1007/s00493-024-00105-3","url":null,"abstract":"<p>A family <span>(mathcal {F} subset mathcal {P}(n))</span> is <i>r</i>-<i>wise</i> <i>k</i>-<i>intersecting</i> if <span>(|A_1 cap dots cap A_r| ge k)</span> for any <span>(A_1, dots , A_r in mathcal {F})</span>. It is easily seen that if <span>(mathcal {F})</span> is <i>r</i>-wise <i>k</i>-intersecting for <span>(r ge 2)</span>, <span>(k ge 1)</span> then <span>(|mathcal {F}| le 2^{n-1})</span>. The problem of determining the maximum size of a family <span>(mathcal {F})</span> that is both <span>(r_1)</span>-wise <span>(k_1)</span>-intersecting and <span>(r_2)</span>-wise <span>(k_2)</span>-intersecting was raised in 2019 by Frankl and Kupavskii (Combinatorica 39:1255–1266, 2019). They proved the surprising result that, for <span>((r_1,k_1) = (3,1))</span> and <span>((r_2,k_2) = (2,32))</span> then this maximum is at most <span>(2^{n-2})</span>, and conjectured the same holds if <span>(k_2)</span> is replaced by 3. In this paper we shall not only prove this conjecture but we shall also determine the exact maximum for <span>((r_1,k_1) = (3,1))</span> and <span>((r_2,k_2) = (2,3))</span> for all <i>n</i>.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140919583","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}
CombinatoricaPub Date : 2024-05-14DOI: 10.1007/s00493-024-00104-4
Tomáš Kaiser, Matěj Stehlík, Riste Škrekovski
{"title":"Criticality in Sperner’s Lemma","authors":"Tomáš Kaiser, Matěj Stehlík, Riste Škrekovski","doi":"10.1007/s00493-024-00104-4","DOIUrl":"https://doi.org/10.1007/s00493-024-00104-4","url":null,"abstract":"<p>We answer a question posed by Gallai in 1969 concerning criticality in Sperner’s lemma, listed as Problem 9.14 in the collection of Jensen and Toft (Graph coloring problems, Wiley, New York, 1995). Sperner’s lemma states that if a labelling of the vertices of a triangulation of the <i>d</i>-simplex <span>(Delta ^d)</span> with labels <span>(1, 2, ldots , d+1)</span> has the property that (i) each vertex of <span>(Delta ^d)</span> receives a distinct label, and (ii) any vertex lying in a face of <span>(Delta ^d)</span> has the same label as one of the vertices of that face, then there exists a rainbow facet (a facet whose vertices have pairwise distinct labels). For <span>(dle 2)</span>, it is not difficult to show that for every facet <span>(sigma )</span>, there exists a labelling with the above properties where <span>(sigma )</span> is the unique rainbow facet. For every <span>(dge 3)</span>, however, we construct an infinite family of examples where this is not the case, which implies the answer to Gallai’s question as a corollary. The construction is based on the properties of a 4-polytope which had been used earlier to disprove a claim of Motzkin on neighbourly polytopes.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140942634","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}
CombinatoricaPub Date : 2024-05-14DOI: 10.1007/s00493-024-00095-2
Oliver Janzer, Cosmin Pohoata
{"title":"On the Zarankiewicz Problem for Graphs with Bounded VC-Dimension","authors":"Oliver Janzer, Cosmin Pohoata","doi":"10.1007/s00493-024-00095-2","DOIUrl":"https://doi.org/10.1007/s00493-024-00095-2","url":null,"abstract":"<p>The problem of Zarankiewicz asks for the maximum number of edges in a bipartite graph on <i>n</i> vertices which does not contain the complete bipartite graph <span>(K_{k,k})</span> as a subgraph. A classical theorem due to Kővári, Sós, and Turán says that this number of edges is <span>(Oleft( n^{2 - 1/k}right) )</span>. An important variant of this problem is the analogous question in bipartite graphs with VC-dimension at most <i>d</i>, where <i>d</i> is a fixed integer such that <span>(k ge d ge 2)</span>. A remarkable result of Fox et al. (J. Eur. Math. Soc. (JEMS) 19:1785–1810, 2017) with multiple applications in incidence geometry shows that, under this additional hypothesis, the number of edges in a bipartite graph on <i>n</i> vertices and with no copy of <span>(K_{k,k})</span> as a subgraph must be <span>(Oleft( n^{2 - 1/d}right) )</span>. This theorem is sharp when <span>(k=d=2)</span>, because by design any <span>(K_{2,2})</span>-free graph automatically has VC-dimension at most 2, and there are well-known examples of such graphs with <span>(Omega left( n^{3/2}right) )</span> edges. However, it turns out this phenomenon no longer carries through for any larger <i>d</i>. We show the following improved result: the maximum number of edges in bipartite graphs with no copies of <span>(K_{k,k})</span> and VC-dimension at most <i>d</i> is <span>(o(n^{2-1/d}))</span>, for every <span>(k ge d ge 3)</span>.\u0000</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140919414","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}