Pub Date : 2025-12-30DOI: 10.1016/j.ejc.2025.104324
Benjamin Móricz , Zoltán Lóránt Nagy
What is the maximum number of -term sums admitting rational values in -element sets of irrational numbers? We determine the maximum when or and also in case when we drop the condition on the number of summands. It turns out that the -term sum problem is equivalent to determine the maximum number of -term zero-sum subsequences in -element sequences of integers, which can be seen as a variant of the famous Erdős–Ginzburg–Ziv theorem.
{"title":"Maximizing the number of rational-value sums or zero-sums","authors":"Benjamin Móricz , Zoltán Lóránt Nagy","doi":"10.1016/j.ejc.2025.104324","DOIUrl":"10.1016/j.ejc.2025.104324","url":null,"abstract":"<div><div>What is the maximum number of <span><math><mi>r</mi></math></span>-term sums admitting rational values in <span><math><mi>n</mi></math></span>-element sets of irrational numbers? We determine the maximum when <span><math><mrow><mi>r</mi><mo><</mo><mn>4</mn></mrow></math></span> or <span><math><mrow><mi>r</mi><mo>≥</mo><mi>n</mi><mo>/</mo><mn>2</mn></mrow></math></span> and also in case when we drop the condition on the number of summands. It turns out that the <span><math><mi>r</mi></math></span>-term sum problem is equivalent to determine the maximum number of <span><math><mi>r</mi></math></span>-term zero-sum subsequences in <span><math><mi>n</mi></math></span>-element sequences of integers, which can be seen as a variant of the famous Erdős–Ginzburg–Ziv theorem.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"133 ","pages":"Article 104324"},"PeriodicalIF":0.9,"publicationDate":"2025-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145884522","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-27DOI: 10.1016/j.ejc.2025.104325
Kristopher Tapp
We study the minimum spanning tree distribution on the space of spanning trees of the -by- grid for large . We establish bounds on the decay rates of the probability of the most and the least probable spanning trees as , and we develop general tools for studying the decay rates of spanning tree families.
{"title":"On the minimum spanning tree distribution in grids","authors":"Kristopher Tapp","doi":"10.1016/j.ejc.2025.104325","DOIUrl":"10.1016/j.ejc.2025.104325","url":null,"abstract":"<div><div>We study the minimum spanning tree distribution on the space of spanning trees of the <span><math><mi>n</mi></math></span>-by-<span><math><mi>n</mi></math></span> grid for large <span><math><mi>n</mi></math></span>. We establish bounds on the decay rates of the probability of the most and the least probable spanning trees as <span><math><mrow><mi>n</mi><mo>→</mo><mi>∞</mi></mrow></math></span>, and we develop general tools for studying the decay rates of spanning tree families.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"133 ","pages":"Article 104325"},"PeriodicalIF":0.9,"publicationDate":"2025-12-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145840442","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-26DOI: 10.1016/j.ejc.2025.104323
Raphael Yuster
For a digraph , let be the maximum chromatic number of an acyclic subgraph of . For an -vertex digraph it is proved that where is the bipartite independence number of , i.e., the largest for which there are two disjoint -sets of vertices with no edge between them. This generalizes a result of Fox, Kwan and Sudakov, who proved this for the case (i.e., tournaments and semicomplete digraphs). Consequently, if , then which polynomially improves the folklore bound . As a corollary, with high probability, all orientations of the random -vertex graph with edge probability (in particular, constant , hence almost all -vertex graphs) satisfy . Our proof uses a theorem of Gallai and Milgram that together with several additional ideas, essentially reduces to the proof of Fox, Kwan and Sudakov.
{"title":"Acyclic subgraphs of digraphs with high chromatic number","authors":"Raphael Yuster","doi":"10.1016/j.ejc.2025.104323","DOIUrl":"10.1016/j.ejc.2025.104323","url":null,"abstract":"<div><div>For a digraph <span><math><mi>G</mi></math></span>, let <span><math><mrow><mi>f</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> be the maximum chromatic number of an acyclic subgraph of <span><math><mi>G</mi></math></span>. For an <span><math><mi>n</mi></math></span>-vertex digraph <span><math><mi>G</mi></math></span> it is proved that <span><math><mrow><mi>f</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>≥</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>5</mn><mo>/</mo><mn>9</mn><mo>−</mo><mi>o</mi><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></mrow></msup><msup><mrow><mi>s</mi></mrow><mrow><mo>−</mo><mn>14</mn><mo>/</mo><mn>9</mn></mrow></msup></mrow></math></span> where <span><math><mi>s</mi></math></span> is the bipartite independence number of <span><math><mi>G</mi></math></span>, i.e., the largest <span><math><mi>s</mi></math></span> for which there are two disjoint <span><math><mi>s</mi></math></span>-sets of vertices with no edge between them. This generalizes a result of Fox, Kwan and Sudakov, who proved this for the case <span><math><mrow><mi>s</mi><mo>=</mo><mn>0</mn></mrow></math></span> (i.e., tournaments and semicomplete digraphs). Consequently, if <span><math><mrow><mi>s</mi><mo>=</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>o</mi><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></mrow></msup></mrow></math></span>, then <span><math><mrow><mi>f</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>≥</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>5</mn><mo>/</mo><mn>9</mn><mo>−</mo><mi>o</mi><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></mrow></msup></mrow></math></span> which polynomially improves the folklore bound <span><math><mrow><mi>f</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>≥</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>1</mn><mo>/</mo><mn>2</mn><mo>−</mo><mi>o</mi><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></mrow></msup></mrow></math></span>. As a corollary, with high probability, all orientations of the random <span><math><mi>n</mi></math></span>-vertex graph with edge probability <span><math><mrow><mi>p</mi><mo>=</mo><msup><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mi>o</mi><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></mrow></msup></mrow></math></span> (in particular, constant <span><math><mi>p</mi></math></span>, hence almost all <span><math><mi>n</mi></math></span>-vertex graphs) satisfy <span><math><mrow><mi>f</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>≥</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>5</mn><mo>/</mo><mn>9</mn><mo>−</mo><mi>o</mi><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></mrow></msup></mrow></math></span>. Our proof uses a theorem of Gallai and Milgram that together with several additional ideas, essentially reduces to the proof of Fox, Kwan and Sudakov.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"133 ","pages":"Article 104323"},"PeriodicalIF":0.9,"publicationDate":"2025-12-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145840443","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-22DOI: 10.1016/j.ejc.2025.104322
Huan Xiong, Lihong Yang
Simultaneous core partitions have been extensively studied over the past two decades. In 2013, Amdeberhan proposed several conjectures regarding the number, the average size, and the largest size of -core partitions with distinct parts. These conjectures were proved and generalized by Straub, Nath-Sellers, Zaleski-Zeilberger, Xiong, Paramonov, and many other mathematicians. In this paper, we introduce a natural self-conjugate partition analog of -core partitions with distinct parts and derive their number, average size, and largest size.
{"title":"A self-conjugate partition analog of (t,t+1)-core partitions with distinct parts","authors":"Huan Xiong, Lihong Yang","doi":"10.1016/j.ejc.2025.104322","DOIUrl":"10.1016/j.ejc.2025.104322","url":null,"abstract":"<div><div>Simultaneous core partitions have been extensively studied over the past two decades. In 2013, Amdeberhan proposed several conjectures regarding the number, the average size, and the largest size of <span><math><mrow><mo>(</mo><mi>t</mi><mo>,</mo><mi>t</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow></math></span>-core partitions with distinct parts. These conjectures were proved and generalized by Straub, Nath-Sellers, Zaleski-Zeilberger, Xiong, Paramonov, and many other mathematicians. In this paper, we introduce a natural self-conjugate partition analog of <span><math><mrow><mo>(</mo><mi>t</mi><mo>,</mo><mi>t</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow></math></span>-core partitions with distinct parts and derive their number, average size, and largest size.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"133 ","pages":"Article 104322"},"PeriodicalIF":0.9,"publicationDate":"2025-12-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145840445","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-22DOI: 10.1016/j.ejc.2025.104321
Álvaro Gutiérrez , Álvaro L. Martínez , Michał Szwej , Mark Wildon
We present a combinatorial proof of the -Pfaff–Saalschütz identity by a composition of explicit bijections, in which -binomial coefficients are interpreted as counting subspaces of -vector spaces. As a corollary, we obtain a new multiplication rule for quantum binomial coefficients and hence a new presentation of Lusztig’s integral form of the Cartan subalgebra of the quantum group .
{"title":"A new bijective proof of the q-Pfaff–Saalschütz identity with applications to quantum groups","authors":"Álvaro Gutiérrez , Álvaro L. Martínez , Michał Szwej , Mark Wildon","doi":"10.1016/j.ejc.2025.104321","DOIUrl":"10.1016/j.ejc.2025.104321","url":null,"abstract":"<div><div>We present a combinatorial proof of the <span><math><mi>q</mi></math></span>-Pfaff–Saalschütz identity by a composition of explicit bijections, in which <span><math><mi>q</mi></math></span>-binomial coefficients are interpreted as counting subspaces of <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub></math></span>-vector spaces. As a corollary, we obtain a new multiplication rule for quantum binomial coefficients and hence a new presentation of Lusztig’s integral form <span><math><mrow><msub><mrow><mi>U</mi></mrow><mrow><mi>Z</mi><mrow><mo>[</mo><mi>q</mi><mo>,</mo><msup><mrow><mi>q</mi></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><mo>]</mo></mrow></mrow></msub><mrow><mo>(</mo><msub><mrow><mi>sl</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo></mrow></mrow></math></span> of the Cartan subalgebra of the quantum group <span><math><mrow><msub><mrow><mi>U</mi></mrow><mrow><mi>q</mi></mrow></msub><mrow><mo>(</mo><msub><mrow><mi>sl</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo></mrow></mrow></math></span>.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"133 ","pages":"Article 104321"},"PeriodicalIF":0.9,"publicationDate":"2025-12-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145840436","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-22DOI: 10.1016/j.ejc.2025.104326
Oliver Clarke , Akihiro Higashitani , Francesca Zaffalon
We study restricted chain-order polytopes associated to Young diagrams using combinatorial mutations. These polytopes are obtained by intersecting chain-order polytopes with certain hyperplanes. The family of chain-order polytopes associated to a poset interpolate between the order and chain polytopes of the poset. Each such polytope retains properties of the order and chain polytope; for example its Ehrhart polynomial. For a fixed Young diagram, we show that all restricted chain-order polytopes are related by a sequence of combinatorial mutations. Since the property of giving rise to the period collapse phenomenon is invariant under combinatorial mutations, we provide a large class of rational polytopes that give rise to period collapse.
{"title":"Restricted chain-order polytopes via combinatorial mutations","authors":"Oliver Clarke , Akihiro Higashitani , Francesca Zaffalon","doi":"10.1016/j.ejc.2025.104326","DOIUrl":"10.1016/j.ejc.2025.104326","url":null,"abstract":"<div><div>We study restricted chain-order polytopes associated to Young diagrams using combinatorial mutations. These polytopes are obtained by intersecting chain-order polytopes with certain hyperplanes. The family of chain-order polytopes associated to a poset interpolate between the order and chain polytopes of the poset. Each such polytope retains properties of the order and chain polytope; for example its Ehrhart polynomial. For a fixed Young diagram, we show that all restricted chain-order polytopes are related by a sequence of combinatorial mutations. Since the property of giving rise to the period collapse phenomenon is invariant under combinatorial mutations, we provide a large class of rational polytopes that give rise to period collapse.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"133 ","pages":"Article 104326"},"PeriodicalIF":0.9,"publicationDate":"2025-12-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145840444","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":"2025-12-20","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 : 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":"2025-12-20","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 : 2025-12-19DOI: 10.1016/j.ejc.2025.104318
Jérémie Bettinelli , Dimitri Korkotashvili
We extend so-called slit-slide-sew bijections to constellations and quasiconstellations, which allow to recover the counting formula for constellations or quasiconstellations with a given face degree distribution.
More precisely, we present an involution on the set of hypermaps given with an orientation, one distinguished corner, and one distinguished edge leading away from the corner while oriented in the given orientation. This involution reverts the orientation, exchanges the distinguished corner with the distinguished edge in some sense, slightly modifying the degrees of the incident faces in passing, while keeping all the other faces intact.
The construction consists in building a canonical path from the distinguished elements, slitting the map along it, and sewing back after sliding by one unit along the path. The involution specializes into a bijection interpreting combinatorial identities linking the numbers of constellations or quasiconstellations with a given face degree distribution, where the degree distributions differ by one and one .
Our bijections yield a “degree-by-degree, face-by-face” growth algorithm that samples a hypermap uniformly distributed among constellations or quasiconstellations with prescribed face degrees. More precisely, it samples at each step uniform constellations or quasiconstellations, whose face degree distributions slightly evolve to the desired distribution.
{"title":"Slit-slide-sew bijections for constellations and quasiconstellations","authors":"Jérémie Bettinelli , Dimitri Korkotashvili","doi":"10.1016/j.ejc.2025.104318","DOIUrl":"10.1016/j.ejc.2025.104318","url":null,"abstract":"<div><div>We extend so-called slit-slide-sew bijections to constellations and quasiconstellations, which allow to recover the counting formula for constellations or quasiconstellations with a given face degree distribution.</div><div>More precisely, we present an involution on the set of hypermaps given with an orientation, one distinguished corner, and one distinguished edge leading away from the corner while oriented in the given orientation. This involution reverts the orientation, exchanges the distinguished corner with the distinguished edge in some sense, slightly modifying the degrees of the incident faces in passing, while keeping all the other faces intact.</div><div>The construction consists in building a canonical path from the distinguished elements, slitting the map along it, and sewing back after sliding by one unit along the path. The involution specializes into a bijection interpreting combinatorial identities linking the numbers of constellations or quasiconstellations with a given face degree distribution, where the degree distributions differ by one <span><math><mrow><mo>+</mo><mn>1</mn></mrow></math></span> and one <span><math><mrow><mo>−</mo><mn>1</mn></mrow></math></span>.</div><div>Our bijections yield a “degree-by-degree, face-by-face” growth algorithm that samples a hypermap uniformly distributed among constellations or quasiconstellations with prescribed face degrees. More precisely, it samples at each step uniform constellations or quasiconstellations, whose face degree distributions slightly evolve to the desired distribution.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"133 ","pages":"Article 104318"},"PeriodicalIF":0.9,"publicationDate":"2025-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145791234","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-18DOI: 10.1016/j.ejc.2025.104319
Jarosław Grytczuk , Andrzej P. Kisielewicz , Krzysztof Przesławski
Two axis-aligned boxes in are -neighborly if their intersection has dimension at least and at most . The maximum number of pairwise -neighborly boxes in is denoted by . It is known that , for fixed , but exact formulas are known only in three cases: , , and . In particular, the formula is equivalent to the famous theorem of Graham and Pollak on bipartite partitions of cliques.
In this paper we are dealing with the case . We give a new construction of -neighborly codes giving better lower bounds on . The construction is recursive in nature and uses a kind of “algebra” on lists of ternary strings, which encode neighborly boxes in a familiar way. Moreover, we conjecture that our construction is optimal and gives an explicit formula for . This supposition is supported by some numerical experiments and some partial results on related open problems which are recalled.
{"title":"Neighborly boxes and bipartite coverings; constructions and conjectures","authors":"Jarosław Grytczuk , Andrzej P. Kisielewicz , Krzysztof Przesławski","doi":"10.1016/j.ejc.2025.104319","DOIUrl":"10.1016/j.ejc.2025.104319","url":null,"abstract":"<div><div>Two axis-aligned boxes in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span> are <span><math><mi>k</mi></math></span>-<em>neighborly</em> if their intersection has dimension at least <span><math><mrow><mi>d</mi><mo>−</mo><mi>k</mi></mrow></math></span> and at most <span><math><mrow><mi>d</mi><mo>−</mo><mn>1</mn></mrow></math></span>. The maximum number of pairwise <span><math><mi>k</mi></math></span>-neighborly boxes in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span> is denoted by <span><math><mrow><mi>n</mi><mrow><mo>(</mo><mi>k</mi><mo>,</mo><mi>d</mi><mo>)</mo></mrow></mrow></math></span>. It is known that <span><math><mrow><mi>n</mi><mrow><mo>(</mo><mi>k</mi><mo>,</mo><mi>d</mi><mo>)</mo></mrow><mo>=</mo><mi>Θ</mi><mrow><mo>(</mo><msup><mrow><mi>d</mi></mrow><mrow><mi>k</mi></mrow></msup><mo>)</mo></mrow></mrow></math></span>, for fixed <span><math><mrow><mn>1</mn><mo>⩽</mo><mi>k</mi><mo>⩽</mo><mi>d</mi></mrow></math></span>, but exact formulas are known only in three cases: <span><math><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow></math></span>, <span><math><mrow><mi>k</mi><mo>=</mo><mi>d</mi><mo>−</mo><mn>1</mn></mrow></math></span>, and <span><math><mrow><mi>k</mi><mo>=</mo><mi>d</mi></mrow></math></span>. In particular, the formula <span><math><mrow><mi>n</mi><mrow><mo>(</mo><mn>1</mn><mo>,</mo><mi>d</mi><mo>)</mo></mrow><mo>=</mo><mi>d</mi><mo>+</mo><mn>1</mn></mrow></math></span> is equivalent to the famous theorem of Graham and Pollak on bipartite partitions of cliques.</div><div>In this paper we are dealing with the case <span><math><mrow><mi>k</mi><mo>=</mo><mn>2</mn></mrow></math></span>. We give a new construction of <span><math><mi>k</mi></math></span>-neighborly <em>codes</em> giving better lower bounds on <span><math><mrow><mi>n</mi><mrow><mo>(</mo><mn>2</mn><mo>,</mo><mi>d</mi><mo>)</mo></mrow></mrow></math></span>. The construction is recursive in nature and uses a kind of “algebra” on <em>lists</em> of ternary strings, which encode neighborly boxes in a familiar way. Moreover, we conjecture that our construction is optimal and gives an explicit formula for <span><math><mrow><mi>n</mi><mrow><mo>(</mo><mn>2</mn><mo>,</mo><mi>d</mi><mo>)</mo></mrow></mrow></math></span>. This supposition is supported by some numerical experiments and some partial results on related open problems which are recalled.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"133 ","pages":"Article 104319"},"PeriodicalIF":0.9,"publicationDate":"2025-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145791233","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}