Pub Date : 2025-12-01Epub Date: 2025-07-09DOI: 10.1016/j.ejc.2025.104222
Lintong Wang, Sherry H.F. Yan
A partially ordered pattern (abbreviated POP) is a partially ordered set (poset) that generalizes the notion of a pattern when we are not concerned with the relative order of some of its letters. The notion of partially ordered patterns provides a convenient language to deal with large sets of permutation patterns. In analogy to the shape-Wilf-equivalence for permutation patterns, Burstein–Han–Kitaev–Zhang initiated the study of the shape-Wilf-equivalence for POPs which would result in the shape-Wilf-equivalence for large sets of permutation patterns. The main objective of this paper is to confirm a recent intriguing conjecture posed by Burstein–Han–Kitaev–Zhang concerning the shape-Wilf-equivalence for POPs of length . This is accomplished by establishing a bijection between two sets of pattern-avoiding transversals of a given Young diagram.
{"title":"Proof of a conjecture on the shape-Wilf-equivalence for partially ordered patterns","authors":"Lintong Wang, Sherry H.F. Yan","doi":"10.1016/j.ejc.2025.104222","DOIUrl":"10.1016/j.ejc.2025.104222","url":null,"abstract":"<div><div>A partially ordered pattern (abbreviated POP) is a partially ordered set (poset) that generalizes the notion of a pattern when we are not concerned with the relative order of some of its letters. The notion of partially ordered patterns provides a convenient language to deal with large sets of permutation patterns. In analogy to the shape-Wilf-equivalence for permutation patterns, Burstein–Han–Kitaev–Zhang initiated the study of the shape-Wilf-equivalence for POPs which would result in the shape-Wilf-equivalence for large sets of permutation patterns. The main objective of this paper is to confirm a recent intriguing conjecture posed by Burstein–Han–Kitaev–Zhang concerning the shape-Wilf-equivalence for POPs of length <span><math><mi>k</mi></math></span>. This is accomplished by establishing a bijection between two sets of pattern-avoiding transversals of a given Young diagram.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"130 ","pages":"Article 104222"},"PeriodicalIF":1.0,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144579676","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-01Epub Date: 2025-07-26DOI: 10.1016/j.ejc.2025.104224
France Gheeraert , Herman Goulet-Ouellet , Julien Leroy , Pierre Stas
Return words are a classical tool for studying shift spaces with low factor complexity. In recent years, their projection inside groups have attracted some attention, for instance in the context of dendric shift spaces, of generation of pseudorandom numbers (through the welldoc property), and of profinite invariants of shift spaces. Aiming at unifying disparate works, we introduce a notion of stability for subgroups generated by return words. Within this framework, we revisit several existing results and generalize some of them. We also study general aspects of stability, such as decidability or closure under certain operations.
{"title":"Stability properties for subgroups generated by return words","authors":"France Gheeraert , Herman Goulet-Ouellet , Julien Leroy , Pierre Stas","doi":"10.1016/j.ejc.2025.104224","DOIUrl":"10.1016/j.ejc.2025.104224","url":null,"abstract":"<div><div>Return words are a classical tool for studying shift spaces with low factor complexity. In recent years, their projection inside groups have attracted some attention, for instance in the context of dendric shift spaces, of generation of pseudorandom numbers (through the welldoc property), and of profinite invariants of shift spaces. Aiming at unifying disparate works, we introduce a notion of stability for subgroups generated by return words. Within this framework, we revisit several existing results and generalize some of them. We also study general aspects of stability, such as decidability or closure under certain operations.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"130 ","pages":"Article 104224"},"PeriodicalIF":1.0,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144711391","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-01Epub Date: 2025-07-01DOI: 10.1016/j.ejc.2025.104201
Michael A. Henning , Anders Yeo
<div><div>The transversal number <span><math><mrow><mi>τ</mi><mrow><mo>(</mo><mi>H</mi><mo>)</mo></mrow></mrow></math></span> of a hypergraph <span><math><mi>H</mi></math></span> is the minimum number of vertices that intersect every edge of <span><math><mi>H</mi></math></span>. A 6-uniform hypergraph has all edges of size 6. On 10 November 2000 Tuza and Vestergaard (2002) conjectured that if <span><math><mi>H</mi></math></span> is a 3-regular 6-uniform hypergraph of order <span><math><mi>n</mi></math></span>, then <span><math><mrow><mi>τ</mi><mrow><mo>(</mo><mi>H</mi><mo>)</mo></mrow><mo>≤</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>4</mn></mrow></mfrac><mi>n</mi></mrow></math></span>. This conjecture was recently proven by the Henning and Yeo (2023) and is now called the Tuza-Vestergaard Theorem. In this paper we extend the Tuza-Vestergaard Theorem by relaxing the 3-regularity constraint and allowing bounded maximum degree 4. We present several applications of the Tuza-Vestergaard Theorem and its extension. We obtain best known upper bounds to date on the transversal number of a (general) 6-uniform hypergraph <span><math><mi>H</mi></math></span> of order <span><math><mi>n</mi></math></span> and size <span><math><mi>m</mi></math></span>. In particular, if <span><math><mi>H</mi></math></span> is a 4-regular 6-uniform hypergraph of order <span><math><mi>n</mi></math></span>, then we show that <span><math><mrow><mi>τ</mi><mrow><mo>(</mo><mi>H</mi><mo>)</mo></mrow><mo>≤</mo><mfrac><mrow><mn>2</mn></mrow><mrow><mn>7</mn></mrow></mfrac><mi>n</mi></mrow></math></span>. The Tuza constant <span><math><msub><mrow><mi>c</mi></mrow><mrow><mn>6</mn></mrow></msub></math></span> is defined by <span><math><mrow><msub><mrow><mi>c</mi></mrow><mrow><mn>6</mn></mrow></msub><mo>=</mo><mo>sup</mo><mfrac><mrow><mi>τ</mi><mrow><mo>(</mo><mi>H</mi><mo>)</mo></mrow></mrow><mrow><mi>n</mi><mrow><mo>(</mo><mi>H</mi><mo>)</mo></mrow><mo>+</mo><mi>m</mi><mrow><mo>(</mo><mi>H</mi><mo>)</mo></mrow></mrow></mfrac></mrow></math></span>, where the supremum is taken over the class of all 6-uniform hypergraphs <span><math><mi>H</mi></math></span>. Since 1990 the exact value of <span><math><msub><mrow><mi>c</mi></mrow><mrow><mn>6</mn></mrow></msub></math></span> has yet to be determined. We show that <span><math><mrow><mfrac><mrow><mn>1</mn></mrow><mrow><mn>6</mn></mrow></mfrac><mo>≤</mo><msub><mrow><mi>c</mi></mrow><mrow><mn>6</mn></mrow></msub><mo>≤</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>6</mn></mrow></mfrac><mo>+</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>210</mn></mrow></mfrac></mrow></math></span>, where <span><math><mrow><msub><mrow><mi>c</mi></mrow><mrow><mn>6</mn></mrow></msub><mo>=</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>6</mn></mrow></mfrac></mrow></math></span> is conjectured to be the correct bound. Moreover we show that if <span><math><mi>G</mi></math></span> is a graph of order <span><math><mi>n</mi></math></span> with <span><math><mrow><mi>δ</mi><mrow><mo>(<
{"title":"Extensions and applications of the Tuza-Vestergaard theorem","authors":"Michael A. Henning , Anders Yeo","doi":"10.1016/j.ejc.2025.104201","DOIUrl":"10.1016/j.ejc.2025.104201","url":null,"abstract":"<div><div>The transversal number <span><math><mrow><mi>τ</mi><mrow><mo>(</mo><mi>H</mi><mo>)</mo></mrow></mrow></math></span> of a hypergraph <span><math><mi>H</mi></math></span> is the minimum number of vertices that intersect every edge of <span><math><mi>H</mi></math></span>. A 6-uniform hypergraph has all edges of size 6. On 10 November 2000 Tuza and Vestergaard (2002) conjectured that if <span><math><mi>H</mi></math></span> is a 3-regular 6-uniform hypergraph of order <span><math><mi>n</mi></math></span>, then <span><math><mrow><mi>τ</mi><mrow><mo>(</mo><mi>H</mi><mo>)</mo></mrow><mo>≤</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>4</mn></mrow></mfrac><mi>n</mi></mrow></math></span>. This conjecture was recently proven by the Henning and Yeo (2023) and is now called the Tuza-Vestergaard Theorem. In this paper we extend the Tuza-Vestergaard Theorem by relaxing the 3-regularity constraint and allowing bounded maximum degree 4. We present several applications of the Tuza-Vestergaard Theorem and its extension. We obtain best known upper bounds to date on the transversal number of a (general) 6-uniform hypergraph <span><math><mi>H</mi></math></span> of order <span><math><mi>n</mi></math></span> and size <span><math><mi>m</mi></math></span>. In particular, if <span><math><mi>H</mi></math></span> is a 4-regular 6-uniform hypergraph of order <span><math><mi>n</mi></math></span>, then we show that <span><math><mrow><mi>τ</mi><mrow><mo>(</mo><mi>H</mi><mo>)</mo></mrow><mo>≤</mo><mfrac><mrow><mn>2</mn></mrow><mrow><mn>7</mn></mrow></mfrac><mi>n</mi></mrow></math></span>. The Tuza constant <span><math><msub><mrow><mi>c</mi></mrow><mrow><mn>6</mn></mrow></msub></math></span> is defined by <span><math><mrow><msub><mrow><mi>c</mi></mrow><mrow><mn>6</mn></mrow></msub><mo>=</mo><mo>sup</mo><mfrac><mrow><mi>τ</mi><mrow><mo>(</mo><mi>H</mi><mo>)</mo></mrow></mrow><mrow><mi>n</mi><mrow><mo>(</mo><mi>H</mi><mo>)</mo></mrow><mo>+</mo><mi>m</mi><mrow><mo>(</mo><mi>H</mi><mo>)</mo></mrow></mrow></mfrac></mrow></math></span>, where the supremum is taken over the class of all 6-uniform hypergraphs <span><math><mi>H</mi></math></span>. Since 1990 the exact value of <span><math><msub><mrow><mi>c</mi></mrow><mrow><mn>6</mn></mrow></msub></math></span> has yet to be determined. We show that <span><math><mrow><mfrac><mrow><mn>1</mn></mrow><mrow><mn>6</mn></mrow></mfrac><mo>≤</mo><msub><mrow><mi>c</mi></mrow><mrow><mn>6</mn></mrow></msub><mo>≤</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>6</mn></mrow></mfrac><mo>+</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>210</mn></mrow></mfrac></mrow></math></span>, where <span><math><mrow><msub><mrow><mi>c</mi></mrow><mrow><mn>6</mn></mrow></msub><mo>=</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>6</mn></mrow></mfrac></mrow></math></span> is conjectured to be the correct bound. Moreover we show that if <span><math><mi>G</mi></math></span> is a graph of order <span><math><mi>n</mi></math></span> with <span><math><mrow><mi>δ</mi><mrow><mo>(<","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"130 ","pages":"Article 104201"},"PeriodicalIF":1.0,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144518192","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-01Epub Date: 2025-07-11DOI: 10.1016/j.ejc.2025.104217
Martin Balko , Anna Brötzner , Fabian Klute , Josef Tkadlec
We initiate the study of extremal problems about faces in convex rectilinear drawings of , that is, drawings where vertices are represented by points in the plane in convex position and edges by line segments between the points representing the end-vertices. We show that if a convex rectilinear drawing of does not contain a common interior point of at least three edges, then there is always a face forming a convex 5-gon while there are such drawings without any face forming a convex -gon with .
A convex rectilinear drawing of is regular if its vertices correspond to vertices of a regular convex -gon. We characterize positive integers for which regular drawings of contain a face forming a convex 5-gon.
To our knowledge, this type of problems has not been considered in the literature before and so we also pose several new natural open problems.
{"title":"Faces in rectilinear drawings of complete graphs","authors":"Martin Balko , Anna Brötzner , Fabian Klute , Josef Tkadlec","doi":"10.1016/j.ejc.2025.104217","DOIUrl":"10.1016/j.ejc.2025.104217","url":null,"abstract":"<div><div>We initiate the study of extremal problems about faces in <em>convex rectilinear drawings</em> of <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>, that is, drawings where vertices are represented by points in the plane in convex position and edges by line segments between the points representing the end-vertices. We show that if a convex rectilinear drawing of <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> does not contain a common interior point of at least three edges, then there is always a face forming a convex 5-gon while there are such drawings without any face forming a convex <span><math><mi>k</mi></math></span>-gon with <span><math><mrow><mi>k</mi><mo>≥</mo><mn>6</mn></mrow></math></span>.</div><div>A convex rectilinear drawing of <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> is <em>regular</em> if its vertices correspond to vertices of a regular convex <span><math><mi>n</mi></math></span>-gon. We characterize positive integers <span><math><mi>n</mi></math></span> for which regular drawings of <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> contain a face forming a convex 5-gon.</div><div>To our knowledge, this type of problems has not been considered in the literature before and so we also pose several new natural open problems.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"130 ","pages":"Article 104217"},"PeriodicalIF":1.0,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144596135","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-01Epub Date: 2025-07-11DOI: 10.1016/j.ejc.2025.104219
Kağan Kurşungöz, Halı̇me Ömrüuzun Seyrek
We introduce the notion of pivot in a chain of skew diagrams in the context of cylindric partitions. Then, we show that cylindric partitions are in one-to-one correspondence with a pair consisting of an ordinary partition and a suitably restricted chain of pivots. Next, we show the general form of the generating function for cylindric partitions into distinct parts and give some examples. We prove part of a conjecture by Corteel, Dousse, and Uncu. The approaches and proofs are elementary and combinatorial.
{"title":"A decomposition of cylindric partitions and cylindric partitions into distinct parts","authors":"Kağan Kurşungöz, Halı̇me Ömrüuzun Seyrek","doi":"10.1016/j.ejc.2025.104219","DOIUrl":"10.1016/j.ejc.2025.104219","url":null,"abstract":"<div><div>We introduce the notion of <em>pivot</em> in a chain of skew diagrams in the context of cylindric partitions. Then, we show that cylindric partitions are in one-to-one correspondence with a pair consisting of an ordinary partition and a suitably restricted chain of pivots. Next, we show the general form of the generating function for cylindric partitions into distinct parts and give some examples. We prove part of a conjecture by Corteel, Dousse, and Uncu. The approaches and proofs are elementary and combinatorial.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"130 ","pages":"Article 104219"},"PeriodicalIF":1.0,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144605306","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-01Epub Date: 2025-06-09DOI: 10.1016/j.ejc.2025.104192
Fabrício Siqueira Benevides , Arthur Lima Quintino , Alexandre Talon
Given an -edge-colouring of the edges of a graph , we say that it can be partitioned into monochromatic cycles when there exists a set of vertex-disjoint monochromatic cycles covering all the vertices of . In the literature of this problem, an edge and a single vertex both count as a cycle.
We show that for every 2-colouring of the edges of a complete balanced bipartite graph, , it can be partitioned into at most 4 monochromatic cycles. This type of question was first studied in 1970 for complete graphs and in 1983, by Gyárfás and Lehel, for . In 2014, Pokrovskiy, showed for all that given any 2-colouring of its edges, can be partitioned into at most three monochromatic paths. It turns out that finding monochromatic cycles instead of paths is a natural question that has also been raised for other graphs. In 2015, Schaudt and Stein showed that 14 cycles are sufficient for sufficiently large 2-edge-coloured .
{"title":"Partitioning 2-edge-coloured bipartite graphs into monochromatic cycles","authors":"Fabrício Siqueira Benevides , Arthur Lima Quintino , Alexandre Talon","doi":"10.1016/j.ejc.2025.104192","DOIUrl":"10.1016/j.ejc.2025.104192","url":null,"abstract":"<div><div>Given an <span><math><mi>r</mi></math></span>-edge-colouring of the edges of a graph <span><math><mi>G</mi></math></span>, we say that it can be partitioned into <span><math><mi>p</mi></math></span> monochromatic cycles when there exists a set of <span><math><mi>p</mi></math></span> vertex-disjoint monochromatic cycles covering all the vertices of <span><math><mi>G</mi></math></span>. In the literature of this problem, an edge and a single vertex both count as a cycle.</div><div>We show that for every 2-colouring of the edges of a complete balanced bipartite graph, <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>n</mi></mrow></msub></math></span>, it can be partitioned into at most 4 monochromatic cycles. This type of question was first studied in 1970 for complete graphs and in 1983, by Gyárfás and Lehel, for <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>n</mi></mrow></msub></math></span>. In 2014, Pokrovskiy, showed for all <span><math><mi>n</mi></math></span> that given any 2-colouring of its edges, <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>n</mi></mrow></msub></math></span> can be partitioned into at most three monochromatic paths. It turns out that finding monochromatic cycles instead of paths is a natural question that has also been raised for other graphs. In 2015, Schaudt and Stein showed that 14 cycles are sufficient for sufficiently large 2-edge-coloured <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>n</mi></mrow></msub></math></span>.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"130 ","pages":"Article 104192"},"PeriodicalIF":1.0,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144241204","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-01Epub Date: 2025-07-12DOI: 10.1016/j.ejc.2025.104215
Gyivan Lopez-Campos , Déborah Oliveros , Jorge L. Ramírez Alfonsín
The Borsuk conjecture and the Vázsonyi problem are two attractive and famous questions in discrete and combinatorial geometry, both based on the notion of diameter of bounded sets. In this paper, we present an equivalence between the critical sets with Borsuk number 4 in and the minimal structures for the Vázsonyi problem by using the well-known Reuleaux polyhedra. The latter leads to a full characterization of all finite sets in with Borsuk number 4.
The proof of such equivalence needs various ingredients, in particular, we proved a conjecture dealing with strongly critical configuration for the Vázsonyi problem and showed that the diameter graph arising from involutive polyhedra is vertex (and edge) 4-critical.
{"title":"Borsuk and Vázsonyi problems through Reuleaux polyhedra","authors":"Gyivan Lopez-Campos , Déborah Oliveros , Jorge L. Ramírez Alfonsín","doi":"10.1016/j.ejc.2025.104215","DOIUrl":"10.1016/j.ejc.2025.104215","url":null,"abstract":"<div><div>The Borsuk conjecture and the Vázsonyi problem are two attractive and famous questions in discrete and combinatorial geometry, both based on the notion of diameter of bounded sets. In this paper, we present an equivalence between the critical sets with Borsuk number 4 in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mn>3</mn></mrow></msup></math></span> and the minimal structures for the Vázsonyi problem by using the well-known Reuleaux polyhedra. The latter leads to a full characterization of all finite sets in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mn>3</mn></mrow></msup></math></span> with Borsuk number 4.</div><div>The proof of such equivalence needs various ingredients, in particular, we proved a conjecture dealing with <em>strongly critical configuration</em> for the Vázsonyi problem and showed that the diameter graph arising from involutive polyhedra is vertex (and edge) 4-critical.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"130 ","pages":"Article 104215"},"PeriodicalIF":1.0,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144605223","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-01Epub Date: 2025-07-09DOI: 10.1016/j.ejc.2025.104221
Zhiyun Cheng
Recently, Chmutov introduced the partial duality of ribbon graphs, which can be regarded as a generalization of the classical Euler-Poincaré duality. The partial-dual genus polynomial is an enumeration of the partial duals of by Euler genus. For an intersection graph derived from a given chord diagram, the partial-dual genus polynomial can be defined by considering the ribbon graph associated to the chord diagram. In this paper, we provide a combinatorial approach to the partial-dual genus polynomial in terms of intersection graphs without referring to chord diagrams. After extending the definition of the partial-dual genus polynomial from intersection graphs to all graphs, we prove that it satisfies the four-term relation of graphs. This provides an answer to a problem proposed by Chmutov (2023).
{"title":"Partial-dual genus polynomial of graphs","authors":"Zhiyun Cheng","doi":"10.1016/j.ejc.2025.104221","DOIUrl":"10.1016/j.ejc.2025.104221","url":null,"abstract":"<div><div>Recently, Chmutov introduced the partial duality of ribbon graphs, which can be regarded as a generalization of the classical Euler-Poincaré duality. The partial-dual genus polynomial <span><math><mrow><msup><mrow></mrow><mrow><mi>∂</mi></mrow></msup><msub><mrow><mi>ɛ</mi></mrow><mrow><mi>G</mi></mrow></msub><mrow><mo>(</mo><mi>z</mi><mo>)</mo></mrow></mrow></math></span> is an enumeration of the partial duals of <span><math><mi>G</mi></math></span> by Euler genus. For an intersection graph derived from a given chord diagram, the partial-dual genus polynomial can be defined by considering the ribbon graph associated to the chord diagram. In this paper, we provide a combinatorial approach to the partial-dual genus polynomial in terms of intersection graphs without referring to chord diagrams. After extending the definition of the partial-dual genus polynomial from intersection graphs to all graphs, we prove that it satisfies the four-term relation of graphs. This provides an answer to a problem proposed by Chmutov (2023).</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"130 ","pages":"Article 104221"},"PeriodicalIF":1.0,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144579677","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-01Epub Date: 2025-08-19DOI: 10.1016/j.ejc.2025.104227
Rongxing Xu , Xuding Zhu
A decomposition of a graph is a family of subgraphs of whose edge sets form a partition of . In this paper, we prove that every triangle-free planar graph can be decomposed into a 2-degenerate graph and a matching. Consequently, every triangle-free planar graph has a matching such that is online 3-DP-colorable. This strengthens an earlier result in Škrekovski (1999) that every triangle-free planar graph is 1-defective 3-choosable.
{"title":"Decomposition of triangle-free planar graphs","authors":"Rongxing Xu , Xuding Zhu","doi":"10.1016/j.ejc.2025.104227","DOIUrl":"10.1016/j.ejc.2025.104227","url":null,"abstract":"<div><div>A decomposition of a graph <span><math><mi>G</mi></math></span> is a family of subgraphs of <span><math><mi>G</mi></math></span> whose edge sets form a partition of <span><math><mrow><mi>E</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>. In this paper, we prove that every triangle-free planar graph <span><math><mi>G</mi></math></span> can be decomposed into a 2-degenerate graph and a matching. Consequently, every triangle-free planar graph <span><math><mi>G</mi></math></span> has a matching <span><math><mi>M</mi></math></span> such that <span><math><mrow><mi>G</mi><mo>−</mo><mi>M</mi></mrow></math></span> is online 3-DP-colorable. This strengthens an earlier result in Škrekovski (1999) that every triangle-free planar graph is 1-defective 3-choosable.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"130 ","pages":"Article 104227"},"PeriodicalIF":0.9,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144865280","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-01Epub Date: 2025-07-16DOI: 10.1016/j.ejc.2025.104216
Michelle Delcourt , Catherine Greenhill , Mikhail Isaev , Bernard Lidický , Luke Postle
We study -star decompositions, that is, partitions of the edge set into disjoint stars with edges, in the uniformly random -regular graph model . Using the small subgraph conditioning method, we prove an existence result for such decompositions for all such that . More generally, we give a sufficient existence condition that can be checked numerically for any given values of and . Complementary negative results are obtained using the independence ratio of random regular graphs. Our results establish an existence threshold for -star decompositions in for all and .
For smaller values of , the connection between -star decompositions and -orientations allows us to apply results of Thomassen (2012) and Lovász et al. (2013). We prove that random -regular graphs satisfy their assumptions with high probability, thus establishing a.a.s. existence of -star decompositions (i) when , and (ii) when is odd and .
{"title":"Decomposing random regular graphs into stars","authors":"Michelle Delcourt , Catherine Greenhill , Mikhail Isaev , Bernard Lidický , Luke Postle","doi":"10.1016/j.ejc.2025.104216","DOIUrl":"10.1016/j.ejc.2025.104216","url":null,"abstract":"<div><div>We study <span><math><mi>k</mi></math></span>-star decompositions, that is, partitions of the edge set into disjoint stars with <span><math><mi>k</mi></math></span> edges, in the uniformly random <span><math><mi>d</mi></math></span>-regular graph model <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>d</mi></mrow></msub></math></span>. Using the small subgraph conditioning method, we prove an existence result for such decompositions for all <span><math><mrow><mi>d</mi><mo>,</mo><mi>k</mi></mrow></math></span> such that <span><math><mrow><mi>d</mi><mo>/</mo><mn>2</mn><mo><</mo><mi>k</mi><mo>≤</mo><mi>d</mi><mo>/</mo><mn>2</mn><mo>+</mo><mo>max</mo><mrow><mo>{</mo><mn>1</mn><mo>,</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>6</mn></mrow></mfrac><mo>log</mo><mi>d</mi><mo>}</mo></mrow></mrow></math></span>. More generally, we give a sufficient existence condition that can be checked numerically for any given values of <span><math><mi>d</mi></math></span> and <span><math><mi>k</mi></math></span>. Complementary negative results are obtained using the independence ratio of random regular graphs. Our results establish an existence threshold for <span><math><mi>k</mi></math></span>-star decompositions in <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>d</mi></mrow></msub></math></span> for all <span><math><mrow><mi>d</mi><mo>≤</mo><mn>100</mn></mrow></math></span> and <span><math><mrow><mi>k</mi><mo>></mo><mi>d</mi><mo>/</mo><mn>2</mn></mrow></math></span>.</div><div>For smaller values of <span><math><mi>k</mi></math></span>, the connection between <span><math><mi>k</mi></math></span>-star decompositions and <span><math><mi>β</mi></math></span>-orientations allows us to apply results of Thomassen (2012) and Lovász et al. (2013). We prove that random <span><math><mi>d</mi></math></span>-regular graphs satisfy their assumptions with high probability, thus establishing a.a.s. existence of <span><math><mi>k</mi></math></span>-star decompositions (i) when <span><math><mrow><mn>2</mn><msup><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>+</mo><mi>k</mi><mo>≤</mo><mi>d</mi></mrow></math></span>, and (ii) when <span><math><mi>k</mi></math></span> is odd and <span><math><mrow><mi>k</mi><mo><</mo><mi>d</mi><mo>/</mo><mn>2</mn></mrow></math></span>.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"130 ","pages":"Article 104216"},"PeriodicalIF":1.0,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144634400","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}