Pub Date : 2026-03-01Epub 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":"2026-03-01","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}
{"title":"A characterization of the Grassmann graphs: One missing case","authors":"Jack H. Koolen , Chenhui Lv , Alexander L. Gavrilyuk","doi":"10.1016/j.ejc.2025.104320","DOIUrl":"10.1016/j.ejc.2025.104320","url":null,"abstract":"<div><div>We prove that the Grassmann graphs <span><math><mrow><msub><mrow><mi>J</mi></mrow><mrow><mn>2</mn></mrow></msub><mrow><mo>(</mo><mn>2</mn><mi>D</mi><mo>+</mo><mn>3</mn><mo>,</mo><mi>D</mi><mo>)</mo></mrow></mrow></math></span>, <span><math><mrow><mi>D</mi><mo>≥</mo><mn>3</mn></mrow></math></span>, are characterized by their intersection numbers, which settles one of the few remaining cases.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"133 ","pages":"Article 104320"},"PeriodicalIF":0.9,"publicationDate":"2026-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145791235","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 : 2026-03-01Epub 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":"2026-03-01","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 : 2026-03-01Epub 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":"2026-03-01","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 : 2026-03-01Epub Date: 2025-12-20DOI: 10.1016/j.ejc.2025.104307
Sam Spiro
Given a digraph , we say that a set of vertices is a -kernel if is an independent set and if every vertex of can be reached from by a path of length at most . In this paper, we initiate the study of several extremal problems for -kernels. For example, we introduce and make progress on (what turns out to be) a weak version of the Small Quasikernel Conjecture, namely that every digraph contains a -kernel with for all .
{"title":"Generalized quasikernels in digraphs","authors":"Sam Spiro","doi":"10.1016/j.ejc.2025.104307","DOIUrl":"10.1016/j.ejc.2025.104307","url":null,"abstract":"<div><div>Given a digraph <span><math><mi>D</mi></math></span>, we say that a set of vertices <span><math><mrow><mi>Q</mi><mo>⊆</mo><mi>V</mi><mrow><mo>(</mo><mi>D</mi><mo>)</mo></mrow></mrow></math></span> is a <span><math><mi>q</mi></math></span>-kernel if <span><math><mi>Q</mi></math></span> is an independent set and if every vertex of <span><math><mi>D</mi></math></span> can be reached from <span><math><mi>Q</mi></math></span> by a path of length at most <span><math><mi>q</mi></math></span>. In this paper, we initiate the study of several extremal problems for <span><math><mi>q</mi></math></span>-kernels. For example, we introduce and make progress on (what turns out to be) a weak version of the Small Quasikernel Conjecture, namely that every digraph contains a <span><math><mi>q</mi></math></span>-kernel with <span><math><mrow><mrow><mo>|</mo><msup><mrow><mi>N</mi></mrow><mrow><mo>+</mo></mrow></msup><mrow><mo>[</mo><mi>Q</mi><mo>]</mo></mrow><mo>|</mo></mrow><mo>≥</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mrow><mo>|</mo><mi>V</mi><mrow><mo>(</mo><mi>D</mi><mo>)</mo></mrow><mo>|</mo></mrow></mrow></math></span> for all <span><math><mrow><mi>q</mi><mo>≥</mo><mn>2</mn></mrow></math></span>.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"133 ","pages":"Article 104307"},"PeriodicalIF":0.9,"publicationDate":"2026-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145791236","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 : 2026-02-01Epub Date: 2025-10-13DOI: 10.1016/j.ejc.2025.104252
Clive Elphick , Quanyu Tang , Shengtong Zhang
<div><div>Let <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>G</mi></mrow></msub></math></span> be the adjacency matrix of a simple graph <span><math><mi>G</mi></math></span>, and let <span><math><mrow><mi>χ</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>, <span><math><mrow><msub><mrow><mi>χ</mi></mrow><mrow><mi>f</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>, <span><math><mrow><msub><mrow><mi>χ</mi></mrow><mrow><mi>q</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>, <span><math><mrow><mi>ξ</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> and <span><math><mrow><msub><mrow><mi>ξ</mi></mrow><mrow><mi>f</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> denote its chromatic number, fractional chromatic number, quantum chromatic number, orthogonal rank and projective rank, respectively. For <span><math><mrow><mi>p</mi><mo>≥</mo><mn>0</mn></mrow></math></span>, we define the positive and negative <span><math><mi>p</mi></math></span>-energies of <span><math><mi>G</mi></math></span> by <span><span><span><math><mrow><msubsup><mrow><mi>E</mi></mrow><mrow><mi>p</mi></mrow><mrow><mo>+</mo></mrow></msubsup><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>=</mo><munder><mrow><mo>∑</mo></mrow><mrow><msub><mrow><mi>λ</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>></mo><mn>0</mn></mrow></munder><msubsup><mrow><mi>λ</mi></mrow><mrow><mi>i</mi></mrow><mrow><mi>p</mi></mrow></msubsup><mo>,</mo><mspace></mspace><msubsup><mrow><mi>E</mi></mrow><mrow><mi>p</mi></mrow><mrow><mo>−</mo></mrow></msubsup><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>=</mo><munder><mrow><mo>∑</mo></mrow><mrow><msub><mrow><mi>λ</mi></mrow><mrow><mi>i</mi></mrow></msub><mo><</mo><mn>0</mn></mrow></munder><msup><mrow><mrow><mo>|</mo><msub><mrow><mi>λ</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>|</mo></mrow></mrow><mrow><mi>p</mi></mrow></msup><mo>,</mo></mrow></math></span></span></span>where <span><math><mrow><msub><mrow><mi>λ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>≥</mo><mo>⋯</mo><mo>≥</mo><msub><mrow><mi>λ</mi></mrow><mrow><mi>n</mi></mrow></msub></mrow></math></span> are the eigenvalues of <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>G</mi></mrow></msub></math></span>. We prove that for all <span><math><mrow><mi>p</mi><mo>≥</mo><mn>0</mn></mrow></math></span>, <span><span><span><math><mrow><mi>χ</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>≥</mo><mfenced><mrow><msub><mrow><mi>χ</mi></mrow><mrow><mi>f</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>,</mo><msub><mrow><mi>χ</mi></mrow><mrow><mi>q</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>,</mo><mi>ξ</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></mfenced><mo>≥</mo><msub><mrow><mi>ξ</mi></mrow><mrow><mi>f</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>≥</mo><mn>1</mn><mspace></mspace><mo>+</mo><mo>max</mo><msup
{"title":"A spectral lower bound on chromatic numbers using p-energy","authors":"Clive Elphick , Quanyu Tang , Shengtong Zhang","doi":"10.1016/j.ejc.2025.104252","DOIUrl":"10.1016/j.ejc.2025.104252","url":null,"abstract":"<div><div>Let <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>G</mi></mrow></msub></math></span> be the adjacency matrix of a simple graph <span><math><mi>G</mi></math></span>, and let <span><math><mrow><mi>χ</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>, <span><math><mrow><msub><mrow><mi>χ</mi></mrow><mrow><mi>f</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>, <span><math><mrow><msub><mrow><mi>χ</mi></mrow><mrow><mi>q</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>, <span><math><mrow><mi>ξ</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> and <span><math><mrow><msub><mrow><mi>ξ</mi></mrow><mrow><mi>f</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> denote its chromatic number, fractional chromatic number, quantum chromatic number, orthogonal rank and projective rank, respectively. For <span><math><mrow><mi>p</mi><mo>≥</mo><mn>0</mn></mrow></math></span>, we define the positive and negative <span><math><mi>p</mi></math></span>-energies of <span><math><mi>G</mi></math></span> by <span><span><span><math><mrow><msubsup><mrow><mi>E</mi></mrow><mrow><mi>p</mi></mrow><mrow><mo>+</mo></mrow></msubsup><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>=</mo><munder><mrow><mo>∑</mo></mrow><mrow><msub><mrow><mi>λ</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>></mo><mn>0</mn></mrow></munder><msubsup><mrow><mi>λ</mi></mrow><mrow><mi>i</mi></mrow><mrow><mi>p</mi></mrow></msubsup><mo>,</mo><mspace></mspace><msubsup><mrow><mi>E</mi></mrow><mrow><mi>p</mi></mrow><mrow><mo>−</mo></mrow></msubsup><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>=</mo><munder><mrow><mo>∑</mo></mrow><mrow><msub><mrow><mi>λ</mi></mrow><mrow><mi>i</mi></mrow></msub><mo><</mo><mn>0</mn></mrow></munder><msup><mrow><mrow><mo>|</mo><msub><mrow><mi>λ</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>|</mo></mrow></mrow><mrow><mi>p</mi></mrow></msup><mo>,</mo></mrow></math></span></span></span>where <span><math><mrow><msub><mrow><mi>λ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>≥</mo><mo>⋯</mo><mo>≥</mo><msub><mrow><mi>λ</mi></mrow><mrow><mi>n</mi></mrow></msub></mrow></math></span> are the eigenvalues of <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>G</mi></mrow></msub></math></span>. We prove that for all <span><math><mrow><mi>p</mi><mo>≥</mo><mn>0</mn></mrow></math></span>, <span><span><span><math><mrow><mi>χ</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>≥</mo><mfenced><mrow><msub><mrow><mi>χ</mi></mrow><mrow><mi>f</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>,</mo><msub><mrow><mi>χ</mi></mrow><mrow><mi>q</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>,</mo><mi>ξ</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></mfenced><mo>≥</mo><msub><mrow><mi>ξ</mi></mrow><mrow><mi>f</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>≥</mo><mn>1</mn><mspace></mspace><mo>+</mo><mo>max</mo><msup","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"132 ","pages":"Article 104252"},"PeriodicalIF":0.9,"publicationDate":"2026-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145326852","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 : 2026-02-01Epub Date: 2025-10-21DOI: 10.1016/j.ejc.2025.104258
David Conlon , Nina Kamčev
The Hales–Jewett theorem states that for any and there exists an such that any -colouring of the elements of contains a monochromatic combinatorial line. We study the structure of the wildcard set which determines this monochromatic line, showing that when is odd there are -colourings of where the wildcard set of a monochromatic line cannot be the union of fewer than intervals. This is tight, as for sufficiently large there are always monochromatic lines whose wildcard set is the union of at most intervals.
{"title":"Intervals in the Hales–Jewett theorem","authors":"David Conlon , Nina Kamčev","doi":"10.1016/j.ejc.2025.104258","DOIUrl":"10.1016/j.ejc.2025.104258","url":null,"abstract":"<div><div>The Hales–Jewett theorem states that for any <span><math><mi>m</mi></math></span> and <span><math><mi>r</mi></math></span> there exists an <span><math><mi>n</mi></math></span> such that any <span><math><mi>r</mi></math></span>-colouring of the elements of <span><math><msup><mrow><mrow><mo>[</mo><mi>m</mi><mo>]</mo></mrow></mrow><mrow><mi>n</mi></mrow></msup></math></span> contains a monochromatic combinatorial line. We study the structure of the wildcard set <span><math><mrow><mi>S</mi><mo>⊆</mo><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></mrow></math></span> which determines this monochromatic line, showing that when <span><math><mi>r</mi></math></span> is odd there are <span><math><mi>r</mi></math></span>-colourings of <span><math><msup><mrow><mrow><mo>[</mo><mn>3</mn><mo>]</mo></mrow></mrow><mrow><mi>n</mi></mrow></msup></math></span> where the wildcard set of a monochromatic line cannot be the union of fewer than <span><math><mi>r</mi></math></span> intervals. This is tight, as for <span><math><mi>n</mi></math></span> sufficiently large there are always monochromatic lines whose wildcard set is the union of at most <span><math><mi>r</mi></math></span> intervals.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"132 ","pages":"Article 104258"},"PeriodicalIF":0.9,"publicationDate":"2026-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145623511","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 : 2026-02-01Epub Date: 2025-10-30DOI: 10.1016/j.ejc.2025.104259
Rebecca Coulson
Metrically homogeneous graphs are connected graphs which, when endowed with the path metric, are homogeneous as metric spaces. In this paper we introduce the concept of twisted automorphisms, a notion of isomorphism up to a permutation of the language. We find all permutations of the language which are associated with twisted automorphisms of metrically homogeneous graphs. For each non-trivial permutation of this type we also characterize the class of metrically homogeneous graphs which allow a twisted isomorphism associated with that permutation. The permutations we find are, remarkably, precisely those found by Bannai and Bannai in an analogous result in the context of finite association schemes (Bannai and Bannai, 1980), though why this might be is still an open question.
{"title":"Twists and twistability","authors":"Rebecca Coulson","doi":"10.1016/j.ejc.2025.104259","DOIUrl":"10.1016/j.ejc.2025.104259","url":null,"abstract":"<div><div>Metrically homogeneous graphs are connected graphs which, when endowed with the path metric, are homogeneous as metric spaces. In this paper we introduce the concept of <em>twisted automorphisms</em>, a notion of isomorphism up to a permutation of the language. We find all permutations of the language which are associated with twisted automorphisms of metrically homogeneous graphs. For each non-trivial permutation of this type we also characterize the class of metrically homogeneous graphs which allow a twisted isomorphism associated with that permutation. The permutations we find are, remarkably, precisely those found by Bannai and Bannai in an analogous result in the context of finite association schemes (Bannai and Bannai, 1980), though why this might be is still an open question.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"132 ","pages":"Article 104259"},"PeriodicalIF":0.9,"publicationDate":"2026-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145623512","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 : 2026-02-01Epub Date: 2025-11-13DOI: 10.1016/j.ejc.2025.104283
Tongyuan Zhao , Zhicong Lin , Yongchun Zang
We prove a combinatorial identity relating Catalan numbers to tangent numbers arising from the study of peak algebra that was conjectured by Aliniaeifard and Li. This identity leads to the discovery of the intriguing identity where denote the tangent numbers. Interestingly, the latter identity can be applied to prove that is divisible by and the quotient is an odd number, a fact whose traditional proofs require significant calculations. Moreover, we find a natural -analog of the latter identity with a combinatorial proof. This -identity can be applied to prove Foata’s divisibility property of the -tangent numbers, which responds to a problem raised by Schützenberger.
{"title":"An identity relating Catalan numbers to tangent numbers with arithmetic applications","authors":"Tongyuan Zhao , Zhicong Lin , Yongchun Zang","doi":"10.1016/j.ejc.2025.104283","DOIUrl":"10.1016/j.ejc.2025.104283","url":null,"abstract":"<div><div>We prove a combinatorial identity relating Catalan numbers to tangent numbers arising from the study of peak algebra that was conjectured by Aliniaeifard and Li. This identity leads to the discovery of the intriguing identity <span><math><mrow><munderover><mrow><mo>∑</mo></mrow><mrow><mi>k</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></munderover><mfenced><mfrac><mrow><mn>2</mn><mi>n</mi></mrow><mrow><mn>2</mn><mi>k</mi><mo>+</mo><mn>1</mn></mrow></mfrac></mfenced><msup><mrow><mn>2</mn></mrow><mrow><mn>2</mn><mi>n</mi><mo>−</mo><mn>2</mn><mi>k</mi></mrow></msup><msup><mrow><mrow><mo>(</mo><mo>−</mo><mn>1</mn><mo>)</mo></mrow></mrow><mrow><mi>k</mi></mrow></msup><msub><mrow><mi>E</mi></mrow><mrow><mn>2</mn><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>=</mo><msup><mrow><mn>2</mn></mrow><mrow><mn>2</mn><mi>n</mi><mo>+</mo><mn>1</mn></mrow></msup><mo>,</mo></mrow></math></span> where <span><math><msub><mrow><mi>E</mi></mrow><mrow><mn>2</mn><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub></math></span> denote the tangent numbers. Interestingly, the latter identity can be applied to prove that <span><math><mrow><mrow><mo>(</mo><mi>n</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow><msub><mrow><mi>E</mi></mrow><mrow><mn>2</mn><mi>n</mi><mo>+</mo><mn>1</mn></mrow></msub></mrow></math></span> is divisible by <span><math><msup><mrow><mn>2</mn></mrow><mrow><mn>2</mn><mi>n</mi></mrow></msup></math></span> and the quotient is an odd number, a fact whose traditional proofs require significant calculations. Moreover, we find a natural <span><math><mi>q</mi></math></span>-analog of the latter identity with a combinatorial proof. This <span><math><mi>q</mi></math></span>-identity can be applied to prove Foata’s divisibility property of the <span><math><mi>q</mi></math></span>-tangent numbers, which responds to a problem raised by Schützenberger.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"132 ","pages":"Article 104283"},"PeriodicalIF":0.9,"publicationDate":"2026-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145528891","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 : 2026-02-01Epub Date: 2025-11-10DOI: 10.1016/j.ejc.2025.104280
Sergi Elizalde
It is known that, when is even, the number of permutations of all of whose cycles have odd length equals the number of those all of whose cycles have even length. Adin, Hegedűs and Roichman recently found a surprising refinement of this identity. They showed that, for any fixed set , the equality still holds when restricting to permutations with descent set on one side, and permutations with ascent set on the other. Their proof uses generating functions for higher Lie characters, and it also yields a version for odd . Here we give a bijective proof of their result. We first use known bijections, due to Gessel, Reutenauer and others, to restate the identity in terms of multisets of necklaces, which we interpret as words, and then describe a new weight-preserving bijection between words all of whose Lyndon factors have odd length and are distinct, and words all of whose Lyndon factors have even length. We also show that the corresponding equality about Lyndon factorizations has a short proof using generating functions.
{"title":"A bijection for descent sets of permutations with only even and only odd cycles","authors":"Sergi Elizalde","doi":"10.1016/j.ejc.2025.104280","DOIUrl":"10.1016/j.ejc.2025.104280","url":null,"abstract":"<div><div>It is known that, when <span><math><mi>n</mi></math></span> is even, the number of permutations of <span><math><mrow><mo>{</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>n</mi><mo>}</mo></mrow></math></span> all of whose cycles have odd length equals the number of those all of whose cycles have even length. Adin, Hegedűs and Roichman recently found a surprising refinement of this identity. They showed that, for any fixed set <span><math><mi>J</mi></math></span>, the equality still holds when restricting to permutations with descent set <span><math><mi>J</mi></math></span> on one side, and permutations with ascent set <span><math><mi>J</mi></math></span> on the other. Their proof uses generating functions for higher Lie characters, and it also yields a version for odd <span><math><mi>n</mi></math></span>. Here we give a bijective proof of their result. We first use known bijections, due to Gessel, Reutenauer and others, to restate the identity in terms of multisets of necklaces, which we interpret as words, and then describe a new weight-preserving bijection between words all of whose Lyndon factors have odd length and are distinct, and words all of whose Lyndon factors have even length. We also show that the corresponding equality about Lyndon factorizations has a short proof using generating functions.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"132 ","pages":"Article 104280"},"PeriodicalIF":0.9,"publicationDate":"2026-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145528894","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}