Pub Date : 2025-12-16DOI: 10.1016/j.ejc.2025.104316
Ronen Wdowinski
Given a multi-hypergraph that is edge-colored into color classes , a full rainbow matching is a matching of that contains exactly one edge from each color class . One way to guarantee the existence of a full rainbow matching is to have the size of each color class be sufficiently large compared to the maximum degree of . In this paper, we apply an iterative method to construct edge-colored multi-hypergraphs with a given maximum degree, large color classes, and no full rainbow matchings. First, for every and , we construct edge-colored -uniform multi-hypergraphs with maximum degree such that each color class has size and there is no full rainbow matching, which demonstrates that a theorem of Aharoni, Berger, and Meshulam (2005) is best possible. Second, we construct properly edge-colored multigraphs with no full rainbow matchings which disprove conjectures of Delcourt and Postle (2022). Finally, we apply results on full rainbow matchings to list edge-colorings and prove that a color degree generalization of Galvin’s theorem (1995) does not hold.
给定一个多超图G,它的边被颜色划分为E1,…,En,那么全彩虹匹配就是G的匹配,它只包含来自每个颜色类Ei的一条边。保证完全彩虹匹配存在的一种方法是使每个颜色类Ei的大小相对于g的最大度足够大。在本文中,我们应用迭代方法构造具有给定最大度、大颜色类和无完全彩虹匹配的边缘彩色多超图。首先,对于r≥1和Δ≥2,我们构造了最大度为Δ的边色r-均匀多超图,使得每个颜色类的大小为|Ei|≥rΔ−1,并且不存在完全彩虹匹配,这证明了Aharoni, Berger, and Meshulam(2005)的定理是最好的。其次,我们构建了正确的边缘彩色多图,没有完整的彩虹匹配,这反驳了Delcourt和Postle(2022)的猜想。最后,我们应用全彩虹匹配的结果来列出边缘着色,并证明了Galvin定理(1995)的色度推广不成立。
{"title":"Bounded degree graphs and hypergraphs with no full rainbow matchings","authors":"Ronen Wdowinski","doi":"10.1016/j.ejc.2025.104316","DOIUrl":"10.1016/j.ejc.2025.104316","url":null,"abstract":"<div><div>Given a multi-hypergraph <span><math><mi>G</mi></math></span> that is edge-colored into color classes <span><math><mrow><msub><mrow><mi>E</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>E</mi></mrow><mrow><mi>n</mi></mrow></msub></mrow></math></span>, a full rainbow matching is a matching of <span><math><mi>G</mi></math></span> that contains exactly one edge from each color class <span><math><msub><mrow><mi>E</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span>. One way to guarantee the existence of a full rainbow matching is to have the size of each color class <span><math><msub><mrow><mi>E</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> be sufficiently large compared to the maximum degree of <span><math><mi>G</mi></math></span>. In this paper, we apply an iterative method to construct edge-colored multi-hypergraphs with a given maximum degree, large color classes, and no full rainbow matchings. First, for every <span><math><mrow><mi>r</mi><mo>≥</mo><mn>1</mn></mrow></math></span> and <span><math><mrow><mi>Δ</mi><mo>≥</mo><mn>2</mn></mrow></math></span>, we construct edge-colored <span><math><mi>r</mi></math></span>-uniform multi-hypergraphs with maximum degree <span><math><mi>Δ</mi></math></span> such that each color class has size <span><math><mrow><mrow><mo>|</mo><msub><mrow><mi>E</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>|</mo></mrow><mo>≥</mo><mi>r</mi><mi>Δ</mi><mo>−</mo><mn>1</mn></mrow></math></span> and there is no full rainbow matching, which demonstrates that a theorem of Aharoni, Berger, and Meshulam (2005) is best possible. Second, we construct properly edge-colored multigraphs with no full rainbow matchings which disprove conjectures of Delcourt and Postle (2022). Finally, we apply results on full rainbow matchings to list edge-colorings and prove that a color degree generalization of Galvin’s theorem (1995) does not hold.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"133 ","pages":"Article 104316"},"PeriodicalIF":0.9,"publicationDate":"2025-12-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145791231","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-12-16DOI: 10.1016/j.ejc.2025.104317
Itai Benjamini, Or Bernard Kalifa, Elad Tzalik
A graph is -minor-universal if every graph with at most edges (and no isolated vertices) is a minor of . We prove that the -dimensional hypercube, , is -minor-universal, and that there exists an absolute constant such that is not -minor-universal. Similar results are obtained in a more general setting, where we bound the size of minors in a product of finite connected graphs. A key component of our proof is the following claim regarding the decomposition of a permutation of a box into simpler, one-dimensional permutations: Let be positive integers, and define . We prove that every permutation can be expressed as , where each is a one-dimensional permutation, meaning it fixes all coordinates except possibly one. We discuss future directions and pose open problems.
{"title":"Hypercube minor-universality","authors":"Itai Benjamini, Or Bernard Kalifa, Elad Tzalik","doi":"10.1016/j.ejc.2025.104317","DOIUrl":"10.1016/j.ejc.2025.104317","url":null,"abstract":"<div><div>A graph <span><math><mi>G</mi></math></span> is <span><math><mi>m</mi></math></span>-minor-universal if every graph with at most <span><math><mi>m</mi></math></span> edges (and no isolated vertices) is a minor of <span><math><mi>G</mi></math></span>. We prove that the <span><math><mi>d</mi></math></span>-dimensional hypercube, <span><math><msub><mrow><mi>Q</mi></mrow><mrow><mi>d</mi></mrow></msub></math></span>, is <span><math><mrow><mi>Ω</mi><mfenced><mrow><mfrac><mrow><msup><mrow><mn>2</mn></mrow><mrow><mi>d</mi></mrow></msup></mrow><mrow><mi>d</mi></mrow></mfrac></mrow></mfenced></mrow></math></span>-minor-universal, and that there exists an absolute constant <span><math><mrow><mi>C</mi><mo>></mo><mn>0</mn></mrow></math></span> such that <span><math><msub><mrow><mi>Q</mi></mrow><mrow><mi>d</mi></mrow></msub></math></span> is not <span><math><mfrac><mrow><mi>C</mi><msup><mrow><mn>2</mn></mrow><mrow><mi>d</mi></mrow></msup></mrow><mrow><msqrt><mrow><mi>d</mi></mrow></msqrt></mrow></mfrac></math></span>-minor-universal. Similar results are obtained in a more general setting, where we bound the size of minors in a product of finite connected graphs. A key component of our proof is the following claim regarding the decomposition of a permutation of a box into simpler, one-dimensional permutations: Let <span><math><mrow><msub><mrow><mi>n</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>n</mi></mrow><mrow><mi>d</mi></mrow></msub></mrow></math></span> be positive integers, and define <span><math><mrow><mi>X</mi><mo>≔</mo><mrow><mo>[</mo><msub><mrow><mi>n</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>]</mo></mrow><mo>×</mo><mo>⋯</mo><mo>×</mo><mrow><mo>[</mo><msub><mrow><mi>n</mi></mrow><mrow><mi>d</mi></mrow></msub><mo>]</mo></mrow></mrow></math></span>. We prove that every permutation <span><math><mrow><mi>σ</mi><mo>:</mo><mi>X</mi><mo>→</mo><mi>X</mi></mrow></math></span> can be expressed as <span><math><mrow><mi>σ</mi><mo>=</mo><msub><mrow><mi>σ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>∘</mo><mo>⋯</mo><mo>∘</mo><msub><mrow><mi>σ</mi></mrow><mrow><mn>2</mn><mi>d</mi><mo>−</mo><mn>1</mn></mrow></msub></mrow></math></span>, where each <span><math><msub><mrow><mi>σ</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> is a <em>one-dimensional</em> permutation, meaning it fixes all coordinates except possibly one. We discuss future directions and pose open problems.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"133 ","pages":"Article 104317"},"PeriodicalIF":0.9,"publicationDate":"2025-12-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145791232","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-12-12DOI: 10.1016/j.ejc.2025.104306
On-Hei Solomon Lo , Cheng Wang , Huan Zhou , Xuding Zhu
Assume is a graph and is a positive integer. Let be defined as . If is DP--colourable (respectively, -choosable), then we say is degree-truncated DP--colourable (respectively, degree-truncated -choosable). Hutchinson (2008) proved that 2-connected maximal outerplanar graphs other than the triangle are degree-truncated 5-choosable. Hutchinson asked whether the result can be extended to all outerplanar graphs. This paper proves that 2-connected -minor-free graphs other than cycles and complete graphs are degree-truncated DP-5-colourable. This not only answers Hutchinson’s question in the affirmative, but also extends to a larger family of graphs, and strengthens choosability to DP-colourability.
{"title":"Degree-truncated DP-colourability of K2,4-minor-free graphs","authors":"On-Hei Solomon Lo , Cheng Wang , Huan Zhou , Xuding Zhu","doi":"10.1016/j.ejc.2025.104306","DOIUrl":"10.1016/j.ejc.2025.104306","url":null,"abstract":"<div><div>Assume <span><math><mi>G</mi></math></span> is a graph and <span><math><mi>k</mi></math></span> is a positive integer. Let <span><math><mrow><mi>f</mi><mo>:</mo><mi>V</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>→</mo><mi>N</mi></mrow></math></span> be defined as <span><math><mrow><mi>f</mi><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow><mo>=</mo><mo>min</mo><mrow><mo>{</mo><mi>k</mi><mo>,</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>G</mi></mrow></msub><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow><mo>}</mo></mrow></mrow></math></span>. If <span><math><mi>G</mi></math></span> is DP-<span><math><mi>f</mi></math></span>-colourable (respectively, <span><math><mi>f</mi></math></span>-choosable), then we say <span><math><mi>G</mi></math></span> is degree-truncated DP-<span><math><mi>k</mi></math></span>-colourable (respectively, degree-truncated <span><math><mi>k</mi></math></span>-choosable). Hutchinson (2008) proved that 2-connected maximal outerplanar graphs other than the triangle are degree-truncated 5-choosable. Hutchinson asked whether the result can be extended to all outerplanar graphs. This paper proves that 2-connected <span><math><msub><mrow><mi>K</mi></mrow><mrow><mn>2</mn><mo>,</mo><mn>4</mn></mrow></msub></math></span>-minor-free graphs other than cycles and complete graphs are degree-truncated DP-5-colourable. This not only answers Hutchinson’s question in the affirmative, but also extends to a larger family of graphs, and strengthens choosability to DP-colourability.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"133 ","pages":"Article 104306"},"PeriodicalIF":0.9,"publicationDate":"2025-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145737872","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-12-08DOI: 10.1016/j.ejc.2025.104304
Teemu Lundström , Leonardo Saud Maia Leite
In the last decade, the order polytope of the zigzag poset has been thoroughly studied. A related poset, called crown poset, obtained by adding an extra cover relation between the endpoints of an even zigzag poset, is not so well understood. In this paper, we study the order polytopes of crown posets. We provide explicit formulas for their -vectors. We provide recursive formulas for their Ehrhart polynomial, giving a counterpart to formulas found in the zigzag case by Petersen and Zhuang (2025). We use these formulas to simplify a computation by Ferroni, Morales and Panova (2025) of the linear term of the order polynomial of these posets. Furthermore, we provide a combinatorial interpretation for the coefficients of the -polynomial in terms of the cyclic swap statistic on cyclically alternating permutations, which provides a circular version of a result by Coons and Sullivant (2023).
{"title":"Order polytopes of crown posets","authors":"Teemu Lundström , Leonardo Saud Maia Leite","doi":"10.1016/j.ejc.2025.104304","DOIUrl":"10.1016/j.ejc.2025.104304","url":null,"abstract":"<div><div>In the last decade, the order polytope of the zigzag poset has been thoroughly studied. A related poset, called <em>crown poset</em>, obtained by adding an extra cover relation between the endpoints of an even zigzag poset, is not so well understood. In this paper, we study the order polytopes of crown posets. We provide explicit formulas for their <span><math><mi>f</mi></math></span>-vectors. We provide recursive formulas for their Ehrhart polynomial, giving a counterpart to formulas found in the zigzag case by Petersen and Zhuang (2025). We use these formulas to simplify a computation by Ferroni, Morales and Panova (2025) of the linear term of the order polynomial of these posets. Furthermore, we provide a combinatorial interpretation for the coefficients of the <span><math><msup><mrow><mi>h</mi></mrow><mrow><mo>∗</mo></mrow></msup></math></span>-polynomial in terms of the cyclic swap statistic on cyclically alternating permutations, which provides a circular version of a result by Coons and Sullivant (2023).</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"133 ","pages":"Article 104304"},"PeriodicalIF":0.9,"publicationDate":"2025-12-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145737871","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-12-04DOI: 10.1016/j.ejc.2025.104298
Jonah Berggren , Jeremy L. Martin , José A. Samper
A matroid base polytope is a polytope in which each vertex has 0,1 coordinates and each edge is parallel to a difference of two coordinate vectors. Matroid base polytopes are described combinatorially by integral submodular functions on a boolean lattice, satisfying the unit increase property. We define a more general class of unbounded matroids, or U-matroids, by replacing the boolean lattice with an arbitrary distributive lattice. U-matroids thus serve as a combinatorial model for polyhedra that satisfy the vertex and edge conditions of matroid base polytopes, but may be unbounded. Like polymatroids, U-matroids generalize matroids and arise as a special case of submodular systems. We prove that every U-matroid admits a canonical largest extension to a matroid, which we call the generous extension; the analogous geometric statement is that every U-matroid base polyhedron contains a unique largest matroid base polytope. We show that the supports of vertices of a U-matroid base polyhedron span a shellable simplicial complex, and we characterize U-matroid basis systems in terms of shelling orders, generalizing Björner’s and Gale’s criteria for a simplicial complex to be a matroid independence complex. Finally, we present an application of our theory to subspace arrangements and show that the generous extension has a natural geometric interpretation in this setting.
{"title":"Unbounded matroids","authors":"Jonah Berggren , Jeremy L. Martin , José A. Samper","doi":"10.1016/j.ejc.2025.104298","DOIUrl":"10.1016/j.ejc.2025.104298","url":null,"abstract":"<div><div>A matroid base polytope is a polytope in which each vertex has 0,1 coordinates and each edge is parallel to a difference of two coordinate vectors. Matroid base polytopes are described combinatorially by integral submodular functions on a boolean lattice, satisfying the unit increase property. We define a more general class of <em>unbounded matroids</em>, or <em>U-matroids</em>, by replacing the boolean lattice with an arbitrary distributive lattice. U-matroids thus serve as a combinatorial model for polyhedra that satisfy the vertex and edge conditions of matroid base polytopes, but may be unbounded. Like polymatroids, U-matroids generalize matroids and arise as a special case of submodular systems. We prove that every U-matroid admits a canonical largest extension to a matroid, which we call the <em>generous extension</em>; the analogous geometric statement is that every U-matroid base polyhedron contains a unique largest matroid base polytope. We show that the supports of vertices of a U-matroid base polyhedron span a shellable simplicial complex, and we characterize U-matroid basis systems in terms of shelling orders, generalizing Björner’s and Gale’s criteria for a simplicial complex to be a matroid independence complex. Finally, we present an application of our theory to subspace arrangements and show that the generous extension has a natural geometric interpretation in this setting.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"133 ","pages":"Article 104298"},"PeriodicalIF":0.9,"publicationDate":"2025-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145685592","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-12-04DOI: 10.1016/j.ejc.2025.104305
Dong Yeap Kang , Mihyun Kang , Jaehoon Kim , Sang-il Oum
We conduct a quantitative analysis of how many random edges need to be added to a base graph in order to significantly increase natural minor-monotone graph parameters of the resulting graph . Specifically, we show that if is obtained from a connected graph by adding only a few random edges, the tree-width, genus, and Hadwiger number of become very large, irrespective of the structure of .
{"title":"Fragile minor-monotone parameters under a random edge perturbation","authors":"Dong Yeap Kang , Mihyun Kang , Jaehoon Kim , Sang-il Oum","doi":"10.1016/j.ejc.2025.104305","DOIUrl":"10.1016/j.ejc.2025.104305","url":null,"abstract":"<div><div>We conduct a quantitative analysis of how many random edges need to be added to a base graph <span><math><mi>H</mi></math></span> in order to significantly increase natural minor-monotone graph parameters of the resulting graph <span><math><mi>R</mi></math></span>. Specifically, we show that if <span><math><mi>R</mi></math></span> is obtained from a connected graph <span><math><mi>H</mi></math></span> by adding only a few random edges, the tree-width, genus, and Hadwiger number of <span><math><mi>R</mi></math></span> become very large, irrespective of the structure of <span><math><mi>H</mi></math></span>.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"133 ","pages":"Article 104305"},"PeriodicalIF":0.9,"publicationDate":"2025-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145685593","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-12-03DOI: 10.1016/j.ejc.2025.104302
Barna Schefler , Kevin Zhao , Qinghai Zhong
The separating Noether number of a finite group is the minimal positive integer such that for every finite dimensional -module there is a separating set consisting of invariant polynomials of degree at most . In this paper we use methods from additive combinatorics to investigate the separating Noether number for finite abelian groups. Among others, we obtain the exact value of , provided that is either a -group or has rank 2, 3 or 5.
{"title":"On the separating Noether number of finite abelian groups","authors":"Barna Schefler , Kevin Zhao , Qinghai Zhong","doi":"10.1016/j.ejc.2025.104302","DOIUrl":"10.1016/j.ejc.2025.104302","url":null,"abstract":"<div><div>The separating Noether number <span><math><mrow><msub><mrow><mi>β</mi></mrow><mrow><mi>sep</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> of a finite group <span><math><mi>G</mi></math></span> is the minimal positive integer <span><math><mi>d</mi></math></span> such that for every finite dimensional <span><math><mi>G</mi></math></span>-module <span><math><mi>V</mi></math></span> there is a separating set consisting of invariant polynomials of degree at most <span><math><mi>d</mi></math></span>. In this paper we use methods from additive combinatorics to investigate the separating Noether number for finite abelian groups. Among others, we obtain the exact value of <span><math><mrow><msub><mrow><mi>β</mi></mrow><mrow><mi>sep</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>, provided that <span><math><mi>G</mi></math></span> is either a <span><math><mi>p</mi></math></span>-group or has rank 2, 3 or 5.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"133 ","pages":"Article 104302"},"PeriodicalIF":0.9,"publicationDate":"2025-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145652037","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-12-02DOI: 10.1016/j.ejc.2025.104303
Tomáš Hons
A theorem by Ding, Oporowski, Oxley, and Vertigan states that every sufficiently large bipartite graph without twins contains a matching, co-matching, or half-graph of any given size as an induced subgraph. We prove that this Ramsey statement has polynomial dependency assuming bounded VC-dimension of the initial graph, using the recent verification of the Erdős-Hajnal property for graphs of bounded VC-dimension. Since the theorem of Ding et al. plays a role in (finite) model theory, which studies even more restricted structures, we also comment on further refinements of the theorem within this context.
{"title":"A polynomial Ramsey statement for bounded VC-dimension","authors":"Tomáš Hons","doi":"10.1016/j.ejc.2025.104303","DOIUrl":"10.1016/j.ejc.2025.104303","url":null,"abstract":"<div><div>A theorem by Ding, Oporowski, Oxley, and Vertigan states that every sufficiently large bipartite graph without twins contains a matching, co-matching, or half-graph of any given size as an induced subgraph. We prove that this Ramsey statement has polynomial dependency assuming bounded VC-dimension of the initial graph, using the recent verification of the Erdős-Hajnal property for graphs of bounded VC-dimension. Since the theorem of Ding et al. plays a role in (finite) model theory, which studies even more restricted structures, we also comment on further refinements of the theorem within this context.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"133 ","pages":"Article 104303"},"PeriodicalIF":0.9,"publicationDate":"2025-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145652036","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-11-25DOI: 10.1016/j.ejc.2025.104285
Nantel Bergeron , Vincent Pilaud
For a hypergraph on , the hypergraphic poset is the transitive closure of the oriented skeleton of the hypergraphic polytope (the Minkowski sum of the standard simplices for all ). Hypergraphic posets include the weak order for the permutahedron (when is the complete graph on ) and the Tamari lattice for the associahedron (when is the set of all intervals of ), which motivates the study of lattice properties of hypergraphic posets. In this paper, we focus on interval hypergraphs, where all hyperedges are intervals of . We characterize the interval hypergraphs for which is a lattice, a distributive lattice, a semidistributive lattice, and a lattice quotient of the weak order.
{"title":"Interval hypergraphic lattices","authors":"Nantel Bergeron , Vincent Pilaud","doi":"10.1016/j.ejc.2025.104285","DOIUrl":"10.1016/j.ejc.2025.104285","url":null,"abstract":"<div><div>For a hypergraph <span><math><mi>H</mi></math></span> on <span><math><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></math></span>, the hypergraphic poset <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>H</mi></mrow></msub></math></span> is the transitive closure of the oriented skeleton of the hypergraphic polytope <span><math><msub><mrow><mo>△</mo></mrow><mrow><mi>H</mi></mrow></msub></math></span> (the Minkowski sum of the standard simplices <span><math><msub><mrow><mo>△</mo></mrow><mrow><mi>H</mi></mrow></msub></math></span> for all <span><math><mrow><mi>H</mi><mo>∈</mo><mi>H</mi></mrow></math></span>). Hypergraphic posets include the weak order for the permutahedron (when <span><math><mi>H</mi></math></span> is the complete graph on <span><math><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></math></span>) and the Tamari lattice for the associahedron (when <span><math><mi>H</mi></math></span> is the set of all intervals of <span><math><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></math></span>), which motivates the study of lattice properties of hypergraphic posets. In this paper, we focus on interval hypergraphs, where all hyperedges are intervals of <span><math><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></math></span>. We characterize the interval hypergraphs <span><math><mi>I</mi></math></span> for which <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>I</mi></mrow></msub></math></span> is a lattice, a distributive lattice, a semidistributive lattice, and a lattice quotient of the weak order.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"132 ","pages":"Article 104285"},"PeriodicalIF":0.9,"publicationDate":"2025-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145623505","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-11-24DOI: 10.1016/j.ejc.2025.104299
Imre Leader , Ta Sheng Tan
The ‘odd cover number’ of a complete graph is the smallest size of a family of complete bipartite graphs that covers each edge an odd number of times. For odd, Buchanan, Clifton, Culver, Nie, O’Neill, Rombach and Yin showed that the odd cover number of is equal to or , and they conjectured that it is always . We prove this conjecture.
For even, Babai and Frankl showed that the odd cover number of is always at least , and the above authors and Radhakrishnan, Sen and Vishwanathan gave some values of for which equality holds. We give some new examples.
Our constructions arise from some very symmetric constructions for the corresponding problem for complete hypergraphs. That is, the odd cover number of the complete 3-graph is the smallest number of complete 3-partite 3-graphs such that each 3-set is in an odd number of them. We show that the odd cover number of is exactly for even , and we show that for odd it is for infinitely many values of . We also show that for and , the odd cover number of is strictly less than the partition number, answering a question of Buchanan, Clifton, Culver, Nie, O’Neill, Rombach and Yin for those values of .
完全图的“奇覆盖数”是覆盖每条边奇数次的完全二部图族的最小尺寸。对于n个奇数,Buchanan, Clifton, Culver, Nie, O 'Neill, Rombach和Yin证明了Kn的奇数覆盖数等于(n+1)/2或(n+3)/2,并推测它总是(n+1)/2。我们证明了这个猜想。对于偶数n, Babai和Frankl证明了Kn的奇覆盖数总是至少为n/2,并且上述作者和Radhakrishnan, Sen和Vishwanathan给出了n的一些相等值。我们给出了一些新的例子。我们的构造是由完全超图对应问题的一些非常对称的构造而来的。即完全3-图Kn(3)的奇盖数是使每个3-集都在奇数个完全3-图中的最小数目。我们证明了对于偶数n, Kn(3)的奇覆盖数恰好是n/2,对于无限多个n值,我们证明了对于奇数n,它是(n−1)/2。我们还证明了对于r=3和r=4, Kn(r)的奇覆盖数严格小于分区数,回答了Buchanan, Clifton, Culver, Nie, O 'Neill, Rombach和Yin对于这些r值的问题。
{"title":"Odd covers of complete graphs and hypergraphs","authors":"Imre Leader , Ta Sheng Tan","doi":"10.1016/j.ejc.2025.104299","DOIUrl":"10.1016/j.ejc.2025.104299","url":null,"abstract":"<div><div>The ‘odd cover number’ of a complete graph is the smallest size of a family of complete bipartite graphs that covers each edge an odd number of times. For <span><math><mi>n</mi></math></span> odd, Buchanan, Clifton, Culver, Nie, O’Neill, Rombach and Yin showed that the odd cover number of <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> is equal to <span><math><mrow><mrow><mo>(</mo><mi>n</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow><mo>/</mo><mn>2</mn></mrow></math></span> or <span><math><mrow><mrow><mo>(</mo><mi>n</mi><mo>+</mo><mn>3</mn><mo>)</mo></mrow><mo>/</mo><mn>2</mn></mrow></math></span>, and they conjectured that it is always <span><math><mrow><mrow><mo>(</mo><mi>n</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow><mo>/</mo><mn>2</mn></mrow></math></span>. We prove this conjecture.</div><div>For <span><math><mi>n</mi></math></span> even, Babai and Frankl showed that the odd cover number of <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> is always at least <span><math><mrow><mi>n</mi><mo>/</mo><mn>2</mn></mrow></math></span>, and the above authors and Radhakrishnan, Sen and Vishwanathan gave some values of <span><math><mi>n</mi></math></span> for which equality holds. We give some new examples.</div><div>Our constructions arise from some very symmetric constructions for the corresponding problem for complete hypergraphs. That is, the odd cover number of the complete 3-graph <span><math><msubsup><mrow><mi>K</mi></mrow><mrow><mi>n</mi></mrow><mrow><mrow><mo>(</mo><mn>3</mn><mo>)</mo></mrow></mrow></msubsup></math></span> is the smallest number of complete 3-partite 3-graphs such that each 3-set is in an odd number of them. We show that the odd cover number of <span><math><msubsup><mrow><mi>K</mi></mrow><mrow><mi>n</mi></mrow><mrow><mrow><mo>(</mo><mn>3</mn><mo>)</mo></mrow></mrow></msubsup></math></span> is exactly <span><math><mrow><mi>n</mi><mo>/</mo><mn>2</mn></mrow></math></span> for even <span><math><mi>n</mi></math></span>, and we show that for odd <span><math><mi>n</mi></math></span> it is <span><math><mrow><mrow><mo>(</mo><mi>n</mi><mo>−</mo><mn>1</mn><mo>)</mo></mrow><mo>/</mo><mn>2</mn></mrow></math></span> for infinitely many values of <span><math><mi>n</mi></math></span>. We also show that for <span><math><mrow><mi>r</mi><mo>=</mo><mn>3</mn></mrow></math></span> and <span><math><mrow><mi>r</mi><mo>=</mo><mn>4</mn></mrow></math></span>, the odd cover number of <span><math><msubsup><mrow><mi>K</mi></mrow><mrow><mi>n</mi></mrow><mrow><mrow><mo>(</mo><mi>r</mi><mo>)</mo></mrow></mrow></msubsup></math></span> is strictly less than the partition number, answering a question of Buchanan, Clifton, Culver, Nie, O’Neill, Rombach and Yin for those values of <span><math><mi>r</mi></math></span>.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"132 ","pages":"Article 104299"},"PeriodicalIF":0.9,"publicationDate":"2025-11-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145623504","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}