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-12-18DOI: 10.1007/s00493-024-00130-2
Siddharth Bhandari, Abhishek Khetan
{"title":"Improved Upper Bound for the Size of a Trifferent Code","authors":"Siddharth Bhandari, Abhishek Khetan","doi":"10.1007/s00493-024-00130-2","DOIUrl":"https://doi.org/10.1007/s00493-024-00130-2","url":null,"abstract":"<p>A subset <span>(mathcal {C}subseteq {0,1,2}^n)</span> is said to be a <i>trifferent</i> code (of block length <i>n</i>) if for every three distinct codewords <span>(x,y, z in mathcal {C})</span>, there is a coordinate <span>(iin {1,2,ldots ,n})</span> where they all differ, that is, <span>({x(i),y(i),z(i)})</span> is same as <span>({0,1,2})</span>. Let <i>T</i>(<i>n</i>) denote the size of the largest trifferent code of block length <i>n</i>. Understanding the asymptotic behavior of <i>T</i>(<i>n</i>) is closely related to determining the zero-error capacity of the (3/2)-channel defined by Elias (IEEE Trans Inform Theory 34(5):1070–1074, 1988), and is a long-standing open problem in the area. Elias had shown that <span>(T(n)le 2times (3/2)^n)</span> and prior to our work the best upper bound was <span>(T(n)le 0.6937 times (3/2)^n)</span> due to Kurz (Example Counterexample 5:100139, 2024). We improve this bound to <span>(T(n)le c times n^{-2/5}times (3/2)^n)</span> where <i>c</i> is an absolute constant.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"36 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2024-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142841564","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-17DOI: 10.1007/s00493-024-00124-0
Tomas Juškevičius, Valentas Kurauskas
{"title":"Anticoncentration of Random Vectors via the Strong Perfect Graph Theorem","authors":"Tomas Juškevičius, Valentas Kurauskas","doi":"10.1007/s00493-024-00124-0","DOIUrl":"https://doi.org/10.1007/s00493-024-00124-0","url":null,"abstract":"<p>In this paper we give anticoncentration bounds for sums of independent random vectors in finite-dimensional vector spaces. In particular, we asymptotically establish a conjecture of Leader and Radcliffe (SIAM J Discrete Math 7:90–101, 1994) and a question of Jones (SIAM J Appl Math 34:1–6, 1978). The highlight of this work is an application of the strong perfect graph theorem by Chudnovsky et al. (Ann Math 164:51–229, 2006) in the context of anticoncentration.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"39 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2024-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142832150","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}
CombinatoricaPub Date : 2024-08-15DOI: 10.1007/s00493-024-00123-1
Debsoumya Chakraborti, Jaehoon Kim, Hyunwoo Lee, Jaehyeon Seo
{"title":"Hamilton Transversals in Tournaments","authors":"Debsoumya Chakraborti, Jaehoon Kim, Hyunwoo Lee, Jaehyeon Seo","doi":"10.1007/s00493-024-00123-1","DOIUrl":"https://doi.org/10.1007/s00493-024-00123-1","url":null,"abstract":"<p>It is well-known that every tournament contains a Hamilton path, and every strongly connected tournament contains a Hamilton cycle. This paper establishes <i>transversal</i> generalizations of these classical results. For a collection <span>(textbf{T}=(T_1,dots ,T_m))</span> of not-necessarily distinct tournaments on a common vertex set <i>V</i>, an <i>m</i>-edge directed graph <span>(mathcal {D})</span> with vertices in <i>V</i> is called a <span>(textbf{T})</span>-transversal if there exists a bijection <span>(phi :E(mathcal {D})rightarrow [m])</span> such that <span>(ein E(T_{phi (e)}))</span> for all <span>(ein E(mathcal {D}))</span>. We prove that for sufficiently large <i>m</i> with <span>(m=|V|-1)</span>, there exists a <span>(textbf{T})</span>-transversal Hamilton path. Moreover, if <span>(m=|V|)</span> and at least <span>(m-1)</span> of the tournaments <span>(T_1,ldots ,T_m)</span> are assumed to be strongly connected, then there is a <span>(textbf{T})</span>-transversal Hamilton cycle. In our proof, we utilize a novel way of partitioning tournaments which we dub <span>(textbf{H})</span>-<i>partition</i>.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"14 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2024-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141986586","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-08-05DOI: 10.1007/s00493-024-00117-z
Alex Scott, Paul Seymour, Sophie Spirkl
{"title":"Pure Pairs. VIII. Excluding a Sparse Graph","authors":"Alex Scott, Paul Seymour, Sophie Spirkl","doi":"10.1007/s00493-024-00117-z","DOIUrl":"https://doi.org/10.1007/s00493-024-00117-z","url":null,"abstract":"<p>A pure pair of size <i>t</i> in a graph <i>G</i> is a pair <i>A</i>, <i>B</i> of disjoint subsets of <i>V</i>(<i>G</i>), each of cardinality at least <i>t</i>, such that <i>A</i> is either complete or anticomplete to <i>B</i>. It is known that, for every forest <i>H</i>, every graph on <span>(nge 2)</span> vertices that does not contain <i>H</i> or its complement as an induced subgraph has a pure pair of size <span>(Omega (n))</span>; furthermore, this only holds when <i>H</i> or its complement is a forest. In this paper, we look at pure pairs of size <span>(n^{1-c})</span>, where <span>(0<c<1)</span>. Let <i>H</i> be a graph: does every graph on <span>(nge 2)</span> vertices that does not contain <i>H</i> or its complement as an induced subgraph have a pure pair of size <span>(Omega (|G|^{1-c}))</span>? The answer is related to the <i>congestion</i> of <i>H</i>, the maximum of <span>(1-(|J|-1)/|E(J)|)</span> over all subgraphs <i>J</i> of <i>H</i> with an edge. (Congestion is nonnegative, and equals zero exactly when <i>H</i> is a forest.) Let <i>d</i> be the smaller of the congestions of <i>H</i> and <span>(overline{H})</span>. We show that the answer to the question above is “yes” if <span>(dle c/(9+15c))</span>, and “no” if <span>(d>c)</span>.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"18 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2024-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141891847","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-08-05DOI: 10.1007/s00493-024-00116-0
Dong Yeap Kang, Tom Kelly, Daniela Kühn, Deryk Osthus, Vincent Pfenninger
{"title":"Perfect Matchings in Random Sparsifications of Dirac Hypergraphs","authors":"Dong Yeap Kang, Tom Kelly, Daniela Kühn, Deryk Osthus, Vincent Pfenninger","doi":"10.1007/s00493-024-00116-0","DOIUrl":"https://doi.org/10.1007/s00493-024-00116-0","url":null,"abstract":"<p>For all integers <span>(n ge k > d ge 1)</span>, let <span>(m_{d}(k,n))</span> be the minimum integer <span>(D ge 0)</span> such that every <i>k</i>-uniform <i>n</i>-vertex hypergraph <span>({mathcal {H}})</span> with minimum <i>d</i>-degree <span>(delta _{d}({mathcal {H}}))</span> at least <i>D</i> has an optimal matching. For every fixed integer <span>(k ge 3)</span>, we show that for <span>(n in k mathbb {N})</span> and <span>(p = Omega (n^{-k+1} log n))</span>, if <span>({mathcal {H}})</span> is an <i>n</i>-vertex <i>k</i>-uniform hypergraph with <span>(delta _{k-1}({mathcal {H}}) ge m_{k-1}(k,n))</span>, then a.a.s. its <i>p</i>-random subhypergraph <span>({mathcal {H}}_p)</span> contains a perfect matching. Moreover, for every fixed integer <span>(d < k)</span> and <span>(gamma > 0)</span>, we show that the same conclusion holds if <span>({mathcal {H}})</span> is an <i>n</i>-vertex <i>k</i>-uniform hypergraph with <span>(delta _d({mathcal {H}}) ge m_{d}(k,n) + gamma left( {begin{array}{c}n - d k - dend{array}}right) )</span>. Both of these results strengthen Johansson, Kahn, and Vu’s seminal solution to Shamir’s problem and can be viewed as “robust” versions of hypergraph Dirac-type results. In addition, we also show that in both cases above, <span>({mathcal {H}})</span> has at least <span>(exp ((1-1/k)n log n - Theta (n)))</span> many perfect matchings, which is best possible up to an <span>(exp (Theta (n)))</span> factor.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"3 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2024-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141891849","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-23DOI: 10.1007/s00493-024-00118-y
Johannes Carmesin
{"title":"A Whitney Type Theorem for Surfaces: Characterising Graphs with Locally Planar Embeddings","authors":"Johannes Carmesin","doi":"10.1007/s00493-024-00118-y","DOIUrl":"https://doi.org/10.1007/s00493-024-00118-y","url":null,"abstract":"<p>Given a graph <i>G</i> and a parameter <i>r</i>, we define the <i>r</i>-<i>local matroid</i> of <i>G</i> to be the matroid generated by its cycles of length at most <i>r</i>. Extending Whitney’s abstract planar duality theorem from 1932, we prove that for every <i>r</i> the <i>r</i>-local matroid of <i>G</i> is co-graphic if and only if <i>G</i> admits a certain type of embedding in a surface, which we call <i>r</i>-<i>planar embedding</i>. The maximum value of <i>r</i> such that a graph <i>G</i> admits an <i>r</i>-planar embedding is closely related to face-width, and such embeddings for this maximum value of <i>r</i> are quite often embeddings of minimum genus. Unlike minimum genus embeddings, these <i>r</i>-planar embeddings can be computed in polynomial time. This provides the first systematic and polynomially computable method to construct for every graph <i>G</i> a surface so that <i>G</i> embeds in that surface in an optimal way (phrased in our notion of <i>r</i>-planarity).</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"16 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141755432","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-23DOI: 10.1007/s00493-024-00114-2
Alexander Barg, Moshe Schwartz, Lev Yohananov
{"title":"Storage Codes on Coset Graphs with Asymptotically Unit Rate","authors":"Alexander Barg, Moshe Schwartz, Lev Yohananov","doi":"10.1007/s00493-024-00114-2","DOIUrl":"https://doi.org/10.1007/s00493-024-00114-2","url":null,"abstract":"<p>A storage code on a graph <i>G</i> is a set of assignments of symbols to the vertices such that every vertex can recover its value by looking at its neighbors. We consider the question of constructing large-size storage codes on triangle-free graphs constructed as coset graphs of binary linear codes. Previously it was shown that there are infinite families of binary storage codes on coset graphs with rate converging to 3/4. Here we show that codes on such graphs can attain rate asymptotically approaching 1. Equivalently, this question can be phrased as a version of hat-guessing games on graphs (e.g., Cameron et al., in: Electron J Combin 23(1):48, 2016). In this language, we construct triangle-free graphs with success probability of the players approaching one as the number of vertices tends to infinity. Furthermore, finding linear index codes of rate approaching zero is also an equivalent problem.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"50 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141755351","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-11DOI: 10.1007/s00493-024-00112-4
Jim Geelen, Matthew E. Kroeker
{"title":"Unavoidable Flats in Matroids Representable over Prime Fields","authors":"Jim Geelen, Matthew E. Kroeker","doi":"10.1007/s00493-024-00112-4","DOIUrl":"https://doi.org/10.1007/s00493-024-00112-4","url":null,"abstract":"<p>We show that, for any prime <i>p</i> and integer <span>(k ge 2)</span>, a simple <span>({{,textrm{GF},}}(p))</span>-representable matroid with sufficiently high rank has a rank-<i>k</i> flat which is either independent in <i>M</i>, or is a projective or affine geometry. As a corollary we obtain a Ramsey-type theorem for <span>({{,textrm{GF},}}(p))</span>-representable matroids. For any prime <i>p</i> and integer <span>(kge 2)</span>, if we 2-colour the elements in any simple <span>({{,textrm{GF},}}(p))</span>-representable matroid with sufficiently high rank, then there is a monochromatic flat of rank <i>k</i>.</p>","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"89 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2024-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141597634","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}