CombinatoricaPub Date : 2025-03-14DOI: 10.1007/s00493-025-00142-6
András Mészáros
{"title":"Bounds on the Mod 2 Homology of Random 2-Dimensional Determinantal Hypertrees","authors":"András Mészáros","doi":"10.1007/s00493-025-00142-6","DOIUrl":"https://doi.org/10.1007/s00493-025-00142-6","url":null,"abstract":"<p>As a first step towards a conjecture of Kahle and Newman, we prove that if <span>(T_n)</span> is a random 2-dimensional determinantal hypertree on <i>n</i> vertices, then </p><span>$$begin{aligned} frac{dim H_1(T_n,mathbb {F}_2)}{n^2} end{aligned}$$</span><p>converges to zero in probability. Confirming a conjecture of Linial and Peled, we also prove the analogous statement for the 1-out 2-complex. Our proof relies on the large deviation principle for the Erdős–Rényi random graph by Chatterjee and Varadhan.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"88 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2025-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143618493","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 : 2025-03-14DOI: 10.1007/s00493-025-00143-5
Jie Ma, Long-Tu Yuan
{"title":"Supersaturation Beyond Color-Critical Graphs","authors":"Jie Ma, Long-Tu Yuan","doi":"10.1007/s00493-025-00143-5","DOIUrl":"https://doi.org/10.1007/s00493-025-00143-5","url":null,"abstract":"<p>The supersaturation problem for a given graph <i>F</i> asks for the minimum number <span>(h_F(n,q))</span> of copies of <i>F</i> in an <i>n</i>-vertex graph with <span>(textrm{ex}(n,F)+q)</span> edges. Subsequent works by Rademacher, Erdős, and Lovász and Simonovits determine the optimal range of <i>q</i> (which is linear in <i>n</i>) for cliques <i>F</i> such that <span>(h_F(n,q))</span> equals the minimum number <span>(t_F(n,q))</span> of copies of <i>F</i> obtained from a maximum <i>F</i>-free <i>n</i>-vertex graph by adding <i>q</i> new edges. A breakthrough result of Mubayi extends this line of research from cliques to color-critical graphs <i>F</i>, and this was further strengthened by Pikhurko and Yilma who established the equality <span>(h_F(n,q)=t_F(n,q))</span> for <span>(1le qle epsilon _F n)</span> and sufficiently large <i>n</i>. In this paper, we present several results on the supersaturation problem that extend beyond the existing framework. Firstly, we explicitly construct infinitely many graphs <i>F</i> with restricted properties for which <span>(h_F(n,q)<qcdot t_F(n,1))</span> holds when <span>(ngg qge 4)</span>, thus refuting a conjecture of Mubayi. Secondly, we extend the result of Pikhurko–Yilma by showing the equality <span>(h_F(n,q)=t_F(n,q))</span> in the range <span>(1le qle epsilon _F n)</span> for any member <i>F</i> in a diverse and abundant graph family (which includes color-critical graphs, disjoint unions of cliques <span>(K_r)</span>, and the Petersen graph). Lastly, we prove the existence of a graph <i>F</i> for any positive integer <i>s</i> such that <span>(h_F(n,q)=t_F(n,q))</span> holds when <span>(1le qle epsilon _F n^{1-1/s})</span>, and <span>(h_F(n,q)<t_F(n,q))</span> when <span>(n^{1-1/s}/epsilon _Fle qle epsilon _F n)</span>, indicating that <span>(q=Theta (n^{1-1/s}))</span> serves as the threshold for the equality <span>(h_F(n,q)=t_F(n,q))</span>. We also discuss some additional remarks and related open problems.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"183 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2025-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143618494","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 : 2025-03-14DOI: 10.1007/s00493-025-00140-8
David Hartman, Tomáš Hons, Jaroslav Nešetřil
{"title":"Gadget Construction and Structural Convergence","authors":"David Hartman, Tomáš Hons, Jaroslav Nešetřil","doi":"10.1007/s00493-025-00140-8","DOIUrl":"https://doi.org/10.1007/s00493-025-00140-8","url":null,"abstract":"<p>Nešetřil and Ossona de Mendez recently proposed a new definition of graph convergence called structural convergence. The structural convergence framework is based on the probability of satisfaction of logical formulas from a fixed fragment of first-order formulas. The flexibility of choosing the fragment allows to unify the classical notions of convergence for sparse and dense graphs. Since the field is relatively young, the range of examples of convergent sequences is limited and only a few methods of construction are known. Our aim is to extend the variety of constructions by considering the gadget construction. We show that, when restricting to the set of sentences, the application of gadget construction on elementarily convergent sequences yields an elementarily convergent sequence. On the other hand, we show counterexamples witnessing that a generalization to the full first-order convergence is not possible without additional assumptions. We give several different sufficient conditions to ensure the full convergence. One of them states that the resulting sequence is first-order convergent if the replaced edges are dense in the original sequence of structures.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"56 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2025-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143618492","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 : 2025-03-14DOI: 10.1007/s00493-025-00144-4
Yulai Ma, Davide Mattiolo, Eckhard Steffen, Isaak H. Wolf
{"title":"Sets of r-Graphs that Color All r-Graphs","authors":"Yulai Ma, Davide Mattiolo, Eckhard Steffen, Isaak H. Wolf","doi":"10.1007/s00493-025-00144-4","DOIUrl":"https://doi.org/10.1007/s00493-025-00144-4","url":null,"abstract":"<p>An <i>r</i>-regular graph is an <i>r</i>-graph, if every odd set of vertices is connected to its complement by at least <i>r</i> edges. Let <i>G</i> and <i>H</i> be <i>r</i>-graphs. An <i>H</i><i>-coloring</i> of <i>G</i> is a mapping <span>(f:E(G) rightarrow E(H))</span> such that each <i>r</i> adjacent edges of <i>G</i> are mapped to <i>r</i> adjacent edges of <i>H</i>. For every <span>(rge 3)</span>, let <span>(mathcal H_r)</span> be an inclusion-wise minimal set of connected <i>r</i>-graphs, such that for every connected <i>r</i>-graph <i>G</i> there is an <span>(H in mathcal H_r)</span> which colors <i>G</i>. The Petersen Coloring Conjecture states that <span>(mathcal H_3)</span> consists of the Petersen graph <i>P</i>. We show that if true, then this is a very exclusive situation. Our main result is that either <span>(mathcal H_3 = {P})</span> or <span>(mathcal H_3)</span> is an infinite set and if <span>(r ge 4)</span>, then <span>(mathcal H_r)</span> is an infinite set. In particular, for all <span>(r ge 3)</span>, <span>(mathcal H_r)</span> is unique. We first characterize <span>(mathcal H_r)</span> and then prove that if <span>(mathcal H_r)</span> contains more than one element, then it is an infinite set. To obtain our main result we show that <span>(mathcal H_r)</span> contains the smallest <i>r</i>-graphs of class 2 and the smallest poorly matchable <i>r</i>-graphs, and we determine the smallest <i>r</i>-graphs of class 2.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"213 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2025-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143618498","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 : 2025-03-07DOI: 10.1007/s00493-025-00135-5
Oliver Roche-Newton
{"title":"A Lower Bound for the Number of Pinned Angles Determined by a Cartesian Product Set","authors":"Oliver Roche-Newton","doi":"10.1007/s00493-025-00135-5","DOIUrl":"https://doi.org/10.1007/s00493-025-00135-5","url":null,"abstract":"<p>We prove that, for any <span>(B subset {mathbb {R}})</span>, the Cartesian product set <span>(B times B)</span> determines <span>(Omega (|B|^{2+c}))</span> distinct angles.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"53 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2025-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143569768","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 : 2025-03-07DOI: 10.1007/s00493-025-00136-4
William Linz
{"title":"L-Systems and the Lovász Number","authors":"William Linz","doi":"10.1007/s00493-025-00136-4","DOIUrl":"https://doi.org/10.1007/s00493-025-00136-4","url":null,"abstract":"<p>Given integers <span>(n> k > 0)</span>, and a set of integers <span>(L subset [0, k-1])</span>, an <i>L</i>-<i>system</i> is a family of sets <span>(mathcal {F}subset left( {begin{array}{c}[n] kend{array}}right) )</span> such that <span>(|F cap F'| in L)</span> for distinct <span>(F, F'in mathcal {F})</span>. <i>L</i>-systems correspond to independent sets in a certain generalized Johnson graph <i>G</i>(<i>n</i>, <i>k</i>, <i>L</i>), so that the maximum size of an <i>L</i>-system is equivalent to finding the independence number of the graph <i>G</i>(<i>n</i>, <i>k</i>, <i>L</i>). The <i>Lovász number</i> <span>(vartheta (G))</span> is a semidefinite programming approximation of the independence number <span>(alpha )</span> of a graph <i>G</i>. In this paper, we determine the leading order term of <span>(vartheta (G(n, k, L)))</span> of any generalized Johnson graph with <i>k</i> and <i>L</i> fixed and <span>(nrightarrow infty )</span>. As an application of this theorem, we give an explicit construction of a graph <i>G</i> on <i>n</i> vertices with a large gap between the Lovász number and the Shannon capacity <i>c</i>(<i>G</i>). Specifically, we prove that for any <span>(epsilon > 0)</span>, for infinitely many <i>n</i> there is a generalized Johnson graph <i>G</i> on <i>n</i> vertices which has ratio <span>(vartheta (G)/c(G) = Omega (n^{1-epsilon }))</span>, which improves on all known constructions. The graph <i>G</i> <i>a fortiori</i> also has ratio <span>(vartheta (G)/alpha (G) = Omega (n^{1-epsilon }))</span>, which greatly improves on the best known explicit construction.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"127 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2025-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143570294","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 : 2025-02-12DOI: 10.1007/s00493-024-00126-y
František Kardoš, Edita Máčajová, Jean Paul Zerafa
{"title":"Three-Cuts are a Charm: Acyclicity in 3-Connected Cubic Graphs","authors":"František Kardoš, Edita Máčajová, Jean Paul Zerafa","doi":"10.1007/s00493-024-00126-y","DOIUrl":"https://doi.org/10.1007/s00493-024-00126-y","url":null,"abstract":"<p>Let <i>G</i> be a bridgeless cubic graph. In 2023, the three authors solved a conjecture (also known as the <span>(S_4)</span>-Conjecture) made by Mazzuoccolo in 2013: there exist two perfect matchings of <i>G</i> such that the complement of their union is a bipartite subgraph of <i>G</i>. They actually show that given any <span>(1^+)</span>-factor <i>F</i> (a spanning subgraph of <i>G</i> such that its vertices have degree at least 1) and an arbitrary edge <i>e</i> of <i>G</i>, there exists a perfect matching <i>M</i> of <i>G</i> containing <i>e</i> such that <span>(Gsetminus (Fcup M))</span> is bipartite. This is a step closer to comprehend better the Fan–Raspaud Conjecture and eventually the Berge–Fulkerson Conjecture. The <span>(S_4)</span>-Conjecture, now a theorem, is also the weakest assertion in a series of three conjectures made by Mazzuoccolo in 2013, with the next stronger statement being: there exist two perfect matchings of <i>G</i> such that the complement of their union is an acyclic subgraph of <i>G</i>. Unfortunately, this conjecture is not true: Jin, Steffen, and Mazzuoccolo later showed that there exists a counterexample admitting 2-cuts. Here we show that, despite of this, every cyclically 3-edge-connected cubic graph satisfies this second conjecture.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"16 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2025-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143393285","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 : 2025-01-16DOI: 10.1007/s00493-024-00134-y
Claudio Alexandre Piedade, Philippe Tranchida
{"title":"Constructing New Geometries: A Generalized Approach to Halving for Hypertopes","authors":"Claudio Alexandre Piedade, Philippe Tranchida","doi":"10.1007/s00493-024-00134-y","DOIUrl":"https://doi.org/10.1007/s00493-024-00134-y","url":null,"abstract":"<p>Given a residually connected incidence geometry <span>(Gamma )</span> that satisfies two conditions, denoted <span>((B_1))</span> and <span>((B_2))</span>, we construct a new geometry <span>(H(Gamma ))</span> with properties similar to those of <span>(Gamma )</span>. This new geometry <span>(H(Gamma ))</span> is inspired by a construction of Lefèvre-Percsy, Percsy and Leemans (Bull Belg Math Soc Simon Stevin 7(4):583–610, 2000). We show how <span>(H(Gamma ))</span> relates to the classical halving operation on polytopes, allowing us to generalize the halving operation to a broader class of geometries, that we call non-degenerate leaf hypertopes. Finally, we apply this generalization to cubic toroids in order to generate new examples of regular hypertopes.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"95 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2025-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142986730","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 : 2025-01-02DOI: 10.1007/s00493-024-00127-x
Gal Beniamini, Nir Lavee, Nati Linial
{"title":"How Balanced Can Permutations Be?","authors":"Gal Beniamini, Nir Lavee, Nati Linial","doi":"10.1007/s00493-024-00127-x","DOIUrl":"https://doi.org/10.1007/s00493-024-00127-x","url":null,"abstract":"<p>A permutation <span>(pi in mathbb {S}_n)</span> is <i>k</i>-<i>balanced</i> if every permutation of order <i>k</i> occurs in <span>(pi )</span> equally often, through order-isomorphism. In this paper, we explicitly construct <i>k</i>-balanced permutations for <span>(k le 3)</span>, and every <i>n</i> that satisfies the necessary divisibility conditions. In contrast, we prove that for <span>(k ge 4)</span>, no such permutations exist. In fact, we show that in the case <span>(k ge 4)</span>, every <i>n</i>-element permutation is at least <span>(Omega _n(n^{k-1}))</span> far from being <i>k</i>-balanced. This lower bound is matched for <span>(k=4)</span>, by a construction based on the Erdős–Szekeres permutation.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"2 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2025-01-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142916857","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 : 2025-01-02DOI: 10.1007/s00493-024-00128-w
Lina Li, Gweneth McKinley, Jinyoung Park
{"title":"The Number of Colorings of the Middle Layers of the Hamming Cube","authors":"Lina Li, Gweneth McKinley, Jinyoung Park","doi":"10.1007/s00493-024-00128-w","DOIUrl":"https://doi.org/10.1007/s00493-024-00128-w","url":null,"abstract":"<p>For an odd integer <span>(n = 2d-1)</span>, let <span>({mathcal {B}}_d)</span> be the subgraph of the hypercube <span>(Q_n)</span> induced by the two largest layers. In this paper, we describe the typical structure of proper <i>q</i>-colorings of <span>(V({mathcal {B}}_d))</span> and give asymptotics on the number of such colorings when <i>q</i> is an even number. The proofs use various tools including information theory (entropy), Sapozhenko’s graph container method and a recently developed method of Jenssen and Perkins that combines Sapozhenko’s graph container lemma with the cluster expansion for polymer models from statistical physics.\u0000</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"24 21 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2025-01-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142917326","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}