Pub Date : 2025-11-18DOI: 10.1016/j.ejc.2025.104289
Tomasz Przybyłowski
We construct a simple acyclic directed graph for which the Bunkbed Conjecture is false, thereby resolving conjectures posed by Leander and by Hollom.
我们构造了一个简单的无环有向图,它的铺床猜想是假的,从而解决了Leander和Hollom的猜想。
{"title":"The acyclic directed bunkbed conjecture is false","authors":"Tomasz Przybyłowski","doi":"10.1016/j.ejc.2025.104289","DOIUrl":"10.1016/j.ejc.2025.104289","url":null,"abstract":"<div><div>We construct a simple acyclic directed graph for which the Bunkbed Conjecture is false, thereby resolving conjectures posed by Leander and by Hollom.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"132 ","pages":"Article 104289"},"PeriodicalIF":0.9,"publicationDate":"2025-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145579011","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-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":"2025-11-13","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 : 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":"2025-11-10","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}
Pub Date : 2025-11-10DOI: 10.1016/j.ejc.2025.104284
Yi Wang , Hai-Jian Cui , Sebastian M. Cioabă
In this paper, we study the Laplacian matching polynomial of a graph and the effect of adding edges to a graph on the roots (called Laplacian matching roots) of this polynomial. In particular, we investigate the conditions under which the Laplacian matching roots change by integer values. We prove that the Laplacian matching root integral variation in one place is impossible and the Laplacian matching root integral variation in two places is also impossible under some constraints.
{"title":"On integral variations for roots of the Laplacian matching polynomial of graphs","authors":"Yi Wang , Hai-Jian Cui , Sebastian M. Cioabă","doi":"10.1016/j.ejc.2025.104284","DOIUrl":"10.1016/j.ejc.2025.104284","url":null,"abstract":"<div><div>In this paper, we study the Laplacian matching polynomial of a graph and the effect of adding edges to a graph on the roots (called Laplacian matching roots) of this polynomial. In particular, we investigate the conditions under which the Laplacian matching roots change by integer values. We prove that the Laplacian matching root integral variation in one place is impossible and the Laplacian matching root integral variation in two places is also impossible under some constraints.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"132 ","pages":"Article 104284"},"PeriodicalIF":0.9,"publicationDate":"2025-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145528892","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-09DOI: 10.1016/j.ejc.2025.104281
Deepak Bal , Patrick Bennett , Emily Heath , Shira Zerbib
Given a -uniform hypergraph and a set of -uniform hypergraphs , the generalized Ramsey number is the minimum number of colors needed to edge-color so that every copy of every hypergraph in receives at least different colors. In this note we obtain bounds, some asymptotically sharp, on several generalized Ramsey numbers, when or and is a set of cycles or paths, and when and contains a clique on vertices or a tight cycle.
{"title":"Generalized Ramsey numbers of cycles, paths, and hypergraphs","authors":"Deepak Bal , Patrick Bennett , Emily Heath , Shira Zerbib","doi":"10.1016/j.ejc.2025.104281","DOIUrl":"10.1016/j.ejc.2025.104281","url":null,"abstract":"<div><div>Given a <span><math><mi>k</mi></math></span>-uniform hypergraph <span><math><mi>G</mi></math></span> and a set of <span><math><mi>k</mi></math></span>-uniform hypergraphs <span><math><mi>H</mi></math></span>, the generalized Ramsey number <span><math><mrow><mi>f</mi><mrow><mo>(</mo><mi>G</mi><mo>,</mo><mi>H</mi><mo>,</mo><mi>q</mi><mo>)</mo></mrow></mrow></math></span> is the minimum number of colors needed to edge-color <span><math><mi>G</mi></math></span> so that every copy of every hypergraph <span><math><mrow><mi>H</mi><mo>∈</mo><mi>H</mi></mrow></math></span> in <span><math><mi>G</mi></math></span> receives at least <span><math><mi>q</mi></math></span> different colors. In this note we obtain bounds, some asymptotically sharp, on several generalized Ramsey numbers, when <span><math><mrow><mi>G</mi><mo>=</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>n</mi></mrow></msub></mrow></math></span> or <span><math><mrow><mi>G</mi><mo>=</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>n</mi></mrow></msub></mrow></math></span> and <span><math><mi>H</mi></math></span> is a set of cycles or paths, and when <span><math><mrow><mi>G</mi><mo>=</mo><msubsup><mrow><mi>K</mi></mrow><mrow><mi>n</mi></mrow><mrow><mi>k</mi></mrow></msubsup></mrow></math></span> and <span><math><mi>H</mi></math></span> contains a clique on <span><math><mrow><mi>k</mi><mo>+</mo><mn>2</mn></mrow></math></span> vertices or a tight cycle.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"132 ","pages":"Article 104281"},"PeriodicalIF":0.9,"publicationDate":"2025-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145528893","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-08DOI: 10.1016/j.ejc.2025.104282
Elżbieta Krawczyk
We study automatic sequences and automatic systems generated by general constant length (nonprimitive) substitutions. While an automatic system is typically uncountable, the set of automatic sequences is countable, implying that most sequences within an automatic system are not themselves automatic. We provide a complete and succinct classification of automatic sequences that lie in a given automatic system in terms of the quasi-fixed points of the substitution defining the system. Our result extends to factor maps between automatic systems and highlights arithmetic properties underpinning these systems. We conjecture that a similar statement holds for general nonconstant length substitutions.
{"title":"Quasi-fixed points of substitutive systems","authors":"Elżbieta Krawczyk","doi":"10.1016/j.ejc.2025.104282","DOIUrl":"10.1016/j.ejc.2025.104282","url":null,"abstract":"<div><div>We study automatic sequences and automatic systems generated by general constant length (nonprimitive) substitutions. While an automatic system is typically uncountable, the set of automatic sequences is countable, implying that most sequences within an automatic system are not themselves automatic. We provide a complete and succinct classification of automatic sequences that lie in a given automatic system in terms of the quasi-fixed points of the substitution defining the system. Our result extends to factor maps between automatic systems and highlights arithmetic properties underpinning these systems. We conjecture that a similar statement holds for general nonconstant length substitutions.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"132 ","pages":"Article 104282"},"PeriodicalIF":0.9,"publicationDate":"2025-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145467314","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-04DOI: 10.1016/j.ejc.2025.104279
Norbert Hegyvári , Máté Pálfy , Erfei Yue
A given subset of natural numbers is said to be complete if every sufficiently large integer of is the sum of distinct terms taken from . In higher dimension the definition is similar: for any let We say that a set is complete respect to the region if holds. A set is a thin complete set of if the counting function for some and . We construct ‘thin’ complete set provided the domain does not contain half-lines parallel to the axis. Furthermore we investigate the distribution of the subset sum of ‘splitable’ sets too.
{"title":"On the structures of subset sums in higher dimension","authors":"Norbert Hegyvári , Máté Pálfy , Erfei Yue","doi":"10.1016/j.ejc.2025.104279","DOIUrl":"10.1016/j.ejc.2025.104279","url":null,"abstract":"<div><div>A given subset <span><math><mi>A</mi></math></span> of natural numbers is said to be complete if every sufficiently large integer of <span><math><mi>N</mi></math></span> is the sum of distinct terms taken from <span><math><mi>A</mi></math></span>. In higher dimension the definition is similar: for any <span><math><mrow><mi>X</mi><mo>=</mo><mrow><mo>{</mo><msub><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>}</mo></mrow><mo>⊆</mo><msup><mrow><mi>N</mi></mrow><mrow><mi>k</mi></mrow></msup></mrow></math></span> let <span><span><span><math><mrow><mi>F</mi><mi>S</mi><mrow><mo>(</mo><mi>X</mi><mo>)</mo></mrow><mo>≔</mo><mrow><mo>{</mo><munderover><mrow><mo>∑</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>∞</mi></mrow></munderover><msub><mrow><mi>ɛ</mi></mrow><mrow><mi>i</mi></mrow></msub><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>:</mo><mspace></mspace><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>∈</mo><mi>X</mi><mo>,</mo><mspace></mspace><msub><mrow><mi>ɛ</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>∈</mo><mrow><mo>{</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>}</mo></mrow><mo>,</mo><mspace></mspace><munderover><mrow><mo>∑</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>∞</mi></mrow></munderover><msub><mrow><mi>ɛ</mi></mrow><mrow><mi>i</mi></mrow></msub><mo><</mo><mi>∞</mi><mo>}</mo></mrow><mo>.</mo></mrow></math></span></span></span>We say that a set <span><math><mi>X</mi></math></span> is <em>complete respect to the region</em> <span><math><mrow><mi>R</mi><mo>⊆</mo><msup><mrow><mi>N</mi></mrow><mrow><mi>k</mi></mrow></msup></mrow></math></span> if <span><math><mrow><mi>R</mi><mo>⊆</mo><mi>F</mi><mi>S</mi><mrow><mo>(</mo><mi>X</mi><mo>)</mo></mrow></mrow></math></span> holds. A set <span><math><mi>X</mi></math></span> is a <em>thin complete set</em> of <span><math><mi>R</mi></math></span> if the counting function <span><math><mrow><mi>X</mi><mrow><mo>(</mo><mi>N</mi><mo>)</mo></mrow><mo>≤</mo><mi>k</mi><msub><mrow><mo>log</mo></mrow><mrow><mn>2</mn></mrow></msub><mi>R</mi><mrow><mo>(</mo><mi>N</mi><mo>)</mo></mrow><mo>+</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>X</mi></mrow></msub></mrow></math></span> for some <span><math><msub><mrow><mi>t</mi></mrow><mrow><mi>X</mi></mrow></msub></math></span> and <span><math><mrow><mi>F</mi><mi>S</mi><mrow><mo>(</mo><mi>X</mi><mo>)</mo></mrow><mo>⊇</mo><mi>R</mi></mrow></math></span>. We construct ‘thin’ complete set provided the domain <span><math><mi>R</mi></math></span> does not contain half-lines parallel to the axis. Furthermore we investigate the distribution of the subset sum of ‘splitable’ sets too.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"132 ","pages":"Article 104279"},"PeriodicalIF":0.9,"publicationDate":"2025-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145467313","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-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":"2025-10-30","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 : 2025-10-27DOI: 10.1016/j.ejc.2025.104269
Yuhang Bai , Kristóf Bérczi , Gergely Csáji , Tamás Schwarcz
In the Properly Colored Spanning Tree problem, we are given an edge-colored undirected graph and the goal is to find a properly colored spanning tree, i.e., a spanning tree in which any two adjacent edges have distinct colors. The problem is interesting not only from a graph coloring point of view, but is also closely related to the Degree Bounded Spanning Tree and -Traveling Salesman problems, two classical questions that have attracted considerable interest in combinatorial optimization and approximation theory. Previous work on properly colored spanning trees has mainly focused on determining the existence of such a tree and hence has not considered the question from an algorithmic perspective. We propose an optimization version called Maximum-size Properly Colored Forest problem, which aims to find a properly colored forest with as many edges as possible. We consider the problem in different graph classes and for different numbers of colors, and present polynomial-time approximation algorithms as well as inapproximability results for these settings. Our proof technique relies on the sum of matching matroids defined by the color classes, a connection that might be of independent combinatorial interest. We also consider the Maximum-size Properly Colored Tree problem asking for the maximum size of a properly colored tree not necessarily spanning all the vertices. We show that the optimum is significantly more difficult to approximate than in the forest case, and provide an approximation algorithm for complete multigraphs.
{"title":"Approximating maximum-size properly colored forests","authors":"Yuhang Bai , Kristóf Bérczi , Gergely Csáji , Tamás Schwarcz","doi":"10.1016/j.ejc.2025.104269","DOIUrl":"10.1016/j.ejc.2025.104269","url":null,"abstract":"<div><div>In the <em>Properly Colored Spanning Tree</em> problem, we are given an edge-colored undirected graph and the goal is to find a properly colored spanning tree, i.e., a spanning tree in which any two adjacent edges have distinct colors. The problem is interesting not only from a graph coloring point of view, but is also closely related to the <em>Degree Bounded Spanning Tree</em> and <span><math><mrow><mo>(</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>)</mo></mrow></math></span>-<em>Traveling Salesman</em> problems, two classical questions that have attracted considerable interest in combinatorial optimization and approximation theory. Previous work on properly colored spanning trees has mainly focused on determining the existence of such a tree and hence has not considered the question from an algorithmic perspective. We propose an optimization version called <em>Maximum-size Properly Colored Forest</em> problem, which aims to find a properly colored forest with as many edges as possible. We consider the problem in different graph classes and for different numbers of colors, and present polynomial-time approximation algorithms as well as inapproximability results for these settings. Our proof technique relies on the sum of matching matroids defined by the color classes, a connection that might be of independent combinatorial interest. We also consider the <em>Maximum-size Properly Colored Tree</em> problem asking for the maximum size of a properly colored tree not necessarily spanning all the vertices. We show that the optimum is significantly more difficult to approximate than in the forest case, and provide an approximation algorithm for complete multigraphs.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"132 ","pages":"Article 104269"},"PeriodicalIF":0.9,"publicationDate":"2025-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145418555","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-10-27DOI: 10.1016/j.ejc.2025.104266
Pierre Simon
We establish new results on the possible growth rates for the sequence counting the number of orbits of a given oligomorphic group on unordered sets of size . Macpherson showed that for primitive actions, the growth is at least exponential (if the sequence is not constant equal to 1). The best lower bound previously known for the base of the exponential was obtained by Merola. We establishing the optimal value of 2 in the case where the structure is unstable. This allows us to improve on Merola’s bound and also obtain the optimal value for structures homogeneous in a finite relational language. Finally, we show that the study of sequences of sub-exponential growth reduces to the -stable case.
{"title":"On ω-categorical structures with few finite substructures","authors":"Pierre Simon","doi":"10.1016/j.ejc.2025.104266","DOIUrl":"10.1016/j.ejc.2025.104266","url":null,"abstract":"<div><div>We establish new results on the possible growth rates for the sequence <span><math><mrow><mo>(</mo><msub><mrow><mi>f</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo></mrow></math></span> counting the number of orbits of a given oligomorphic group on unordered sets of size <span><math><mi>n</mi></math></span>. Macpherson showed that for primitive actions, the growth is at least exponential (if the sequence is not constant equal to 1). The best lower bound previously known for the base of the exponential was obtained by Merola. We establishing the optimal value of 2 in the case where the structure is unstable. This allows us to improve on Merola’s bound and also obtain the optimal value for structures homogeneous in a finite relational language. Finally, we show that the study of sequences <span><math><mrow><mo>(</mo><msub><mrow><mi>f</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo></mrow></math></span> of sub-exponential growth reduces to the <span><math><mi>ω</mi></math></span>-stable case.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"132 ","pages":"Article 104266"},"PeriodicalIF":0.9,"publicationDate":"2025-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145624163","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}