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-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-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-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-00125-z
Saba Lepsveridze, Aleksandre Saatashvili, Yufei Zhao
{"title":"Uniacute Spherical Codes","authors":"Saba Lepsveridze, Aleksandre Saatashvili, Yufei Zhao","doi":"10.1007/s00493-024-00125-z","DOIUrl":"https://doi.org/10.1007/s00493-024-00125-z","url":null,"abstract":"<p>A spherical <i>L</i>-code, where <span>(L subseteq [-1,infty ))</span>, consists of unit vectors in <span>(mathbb {R}^d)</span> whose pairwise inner products are contained in <i>L</i>. Determining the maximum cardinality <span>(N_L(d))</span> of an <i>L</i>-code in <span>(mathbb {R}^d)</span> is a fundamental question in discrete geometry and has been extensively investigated for various choices of <i>L</i>. Our understanding in high dimensions is generally quite poor. Equiangular lines, corresponding to <span>(L = {-alpha , alpha })</span>, is a rare and notable solved case. Bukh studied an extension of equiangular lines and showed that <span>(N_L(d) = O_L(d))</span> for <span>(L = [-1, -beta ] cup {alpha })</span> with <span>(alpha ,beta > 0)</span> (we call such <i>L</i>-codes “uniacute”), leaving open the question of determining the leading constant factor. Balla, Dräxler, Keevash, and Sudakov proved a “uniform bound” showing <span>(limsup _{drightarrow infty } N_L(d)/d le 2p)</span> for <span>(L = [-1, -beta ] cup {alpha })</span> and <span>(p = lfloor alpha /beta rfloor + 1)</span>. For which <span>((alpha ,beta ))</span> is this uniform bound tight? We completely answer this question. We develop a framework for studying uniacute codes, including a global structure theorem showing that the Gram matrix has an approximate <i>p</i>-block structure. We also formulate a notion of “modular codes,” which we conjecture to be optimal in high dimensions.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"375 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2025-01-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142916856","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-12-29DOI: 10.1007/s00493-024-00129-9
Agelos Georgakopoulos
{"title":"The Excluded Minors for Embeddability into a Compact Surface","authors":"Agelos Georgakopoulos","doi":"10.1007/s00493-024-00129-9","DOIUrl":"https://doi.org/10.1007/s00493-024-00129-9","url":null,"abstract":"<p>We determine the excluded minors characterising the class of countable graphs that embed into some compact surface.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"2 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2024-12-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142887799","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-12-29DOI: 10.1007/s00493-024-00132-0
Antonio Montero, Micael Toledo
{"title":"Chiral Extensions of Regular Toroids","authors":"Antonio Montero, Micael Toledo","doi":"10.1007/s00493-024-00132-0","DOIUrl":"https://doi.org/10.1007/s00493-024-00132-0","url":null,"abstract":"<p>Abstract polytopes are combinatorial objects that generalise geometric objects such as convex polytopes, maps on surfaces and tilings of the space. Chiral polytopes are those abstract polytopes that admit full combinatorial rotational symmetry but do not admit reflections. In this paper we build chiral polytopes whose facets (maximal faces) are isomorphic to a prescribed regular cubic tessellation of the <i>n</i>-dimensional torus (<span>(n geqslant 2)</span>). As a consequence, we prove that for every <span>(d geqslant 3)</span> there exist infinitely many chiral <i>d</i>-polytopes.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"153 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2024-12-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142887797","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-12-18DOI: 10.1007/s00493-024-00131-1
Rafał Kalinowski, Monika Pilśniak, Marcin Stawiski
{"title":"Unfriendly Partition Conjecture Holds for Line Graphs","authors":"Rafał Kalinowski, Monika Pilśniak, Marcin Stawiski","doi":"10.1007/s00493-024-00131-1","DOIUrl":"https://doi.org/10.1007/s00493-024-00131-1","url":null,"abstract":"<p>A majority edge-coloring of a graph without pendant edges is a coloring of its edges such that, for every vertex <i>v</i> and every color <span>(alpha )</span>, there are at most as many edges incident to <i>v</i> colored with <span>(alpha )</span> as with all other colors. We extend some known results for finite graphs to infinite graphs, also in the list setting. In particular, we prove that every infinite graph without pendant edges has a majority edge-coloring from lists of size 4. Another interesting result states that every infinite graph without vertices of finite odd degrees admits a majority edge-coloring from lists of size 2. As a consequence of our results, we prove that line graphs of any cardinality admit majority vertex-colorings from lists of size 2, thus confirming the Unfriendly Partition Conjecture for line graphs.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"82 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2024-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142841446","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-11-07DOI: 10.1007/s00493-024-00122-2
Gabriel Currier, Kenneth Moore, Chi Hoi Yip
{"title":"Any Two-Coloring of the Plane Contains Monochromatic 3-Term Arithmetic Progressions","authors":"Gabriel Currier, Kenneth Moore, Chi Hoi Yip","doi":"10.1007/s00493-024-00122-2","DOIUrl":"https://doi.org/10.1007/s00493-024-00122-2","url":null,"abstract":"<p>A conjecture of Erdős, Graham, Montgomery, Rothschild, Spencer, and Straus states that, with the exception of equilateral triangles, any two-coloring of the plane will have a monochromatic congruent copy of every three-point configuration. This conjecture is known only for special classes of configurations. In this manuscript, we confirm one of the most natural open cases; that is, every two-coloring of the plane admits a monochromatic congruent copy of any 3-term arithmetic progression.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"62 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2024-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142594653","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}