{"title":"Factorisation of the Complete Bipartite Graph into Spanning Semiregular Factors","authors":"Mahdieh Hasheminezhad, Brendan D. McKay","doi":"10.1007/s00026-023-00635-5","DOIUrl":"10.1007/s00026-023-00635-5","url":null,"abstract":"<div><p>We enumerate factorisations of the complete bipartite graph into spanning semiregular graphs in several cases, including when the degrees of all the factors except one or two are small. The resulting asymptotic behavior is seen to generalize the number of semiregular graphs in an elegant way. This leads us to conjecture a general formula when the number of factors is vanishing compared to the number of vertices. As a corollary, we find the average number of ways to partition the edges of a random semiregular bipartite graph into spanning semiregular subgraphs in several cases. Our proof of one case uses a switching argument to find the probability that a set of sufficiently sparse semiregular bipartite graphs are edge-disjoint when randomly labeled.</p></div>","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-01-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46975540","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Extremal (varvec{{ p, q }})-Animals","authors":"Greg Malen, Érika Roldán, Rosemberg Toalá-Enríquez","doi":"10.1007/s00026-022-00631-1","DOIUrl":"10.1007/s00026-022-00631-1","url":null,"abstract":"<div><p>An animal is a planar shape formed by attaching congruent regular polygons along their edges. Usually, these polygons are a finite subset of tiles of a regular planar tessellation. These tessellations can be parameterized using the Schläfli symbol <span>({p,q})</span>, where <i>p</i> denotes the number of sides of the regular polygon forming the tessellation and <i>q</i> is the number of edges or tiles meeting at each vertex. If <span>((p-2)(q-2)> 4)</span>, <span>(=4)</span>, or <span>(<4)</span>, then the tessellation corresponds to the geometry of the hyperbolic plane, the Euclidean plane, or the sphere, respectively. In 1976, Harary and Harborth studied animals defined on regular tessellations of the Euclidean plane, finding extremal values for their vertices, edges, and tiles, when any one of these parameters is fixed. They named animals attaining these extremal values as <i>extremal animals</i>. Here, we study hyperbolic extremal animals. For each <span>({p,q})</span> corresponding to a hyperbolic tessellation, we exhibit a sequence of spiral animals and prove that they attain the minimum numbers of edges and vertices within the class of animals with <i>n</i> tiles. We also give the first results on enumeration of extremal hyperbolic animals by finding special sequences of extremal animals that are <i>unique</i> extremal animals, in the sense that any animal with the same number of tiles which is distinct up to isometries cannot be extremal.</p></div>","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-01-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00026-022-00631-1.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50455893","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Lagrangian-Perfect Hypergraphs","authors":"Zilong Yan, Yuejian Peng","doi":"10.1007/s00026-022-00634-y","DOIUrl":"10.1007/s00026-022-00634-y","url":null,"abstract":"<div><p>Hypergraph Lagrangian function has been a helpful tool in several celebrated results in extremal combinatorics. Let <i>G</i> be an <i>r</i>-uniform graph on [<i>n</i>] and let <span>({textbf{x}}=(x_1,ldots ,x_n) in [0,infty )^n.)</span> The graph Lagrangian function is defined to be <span>(lambda (G,{textbf{x}})=sum _{e in E(G)}prod _{iin e}x_{i}.)</span> The graph Lagrangian is defined as <span>(lambda (G)=max {lambda (G, {textbf{x}}): {textbf{x}} in Delta },)</span> where <span>(Delta ={{textbf{x}}=(x_1,x_2,ldots ,x_n) in [0, 1]^{n}: x_1+x_2+dots +x_n =1 }.)</span> The Lagrangian density <span>(pi _{lambda }(F))</span> of an <i>r</i>-graph <i>F</i> is defined to be <span>(pi _{lambda }(F)=sup {r! lambda (G): G text { does not contain }F }.)</span> Sidorenko (Combinatorica 9:207–215, 1989) showed that the Lagrangian density of an <i>r</i>-uniform hypergraph <i>F</i> is the same as the Turán density of the extension of <i>F</i>. Therefore, determining the Lagrangian density of a hypergraph will add a result to the very few known results on Turán densities of hypergraphs. For an <i>r</i>-uniform graph <i>H</i> with <i>t</i> vertices, <span>(pi _{lambda }(H)ge r!lambda {(K_{t-1}^r)})</span> since <span>(K_{t-1}^r)</span> (the complete <i>r</i>-uniform graph with <span>(t-1)</span> vertices) does not contain a copy of <i>H</i>. We say that an <i>r</i>-uniform hypergraph <i>H</i> with <i>t</i> vertices is <span>(lambda )</span>-perfect if the equality <span>(pi _{lambda }(H)= r!lambda {(K_{t-1}^r)})</span> holds. A fundamental theorem of Motzkin and Straus implies that all 2-uniform graphs are <span>(lambda )</span>-perfect. It is interesting to understand the <span>(lambda )</span>-perfect property for <span>(rge 3.)</span> Our first result is to show that the disjoint union of a <span>(lambda )</span>-perfect 3-graph and <span>(S_{2,t}={123,124,125,126,ldots ,12(t+2)})</span> is <span>(lambda )</span>-perfect, this result implies several previous results: Taking <i>H</i> to be the 3-graph spanned by one edge and <span>(t=1,)</span> we obtain the result by Hefetz and Keevash (J Comb Theory Ser A 120:2020–2038, 2013) that a 3-uniform matching of size 2 is <span>(lambda )</span>-perfect. Doing it repeatedly, we obtain the result in Jiang et al. (Eur J Comb 73:20–36, 2018) that any 3-uniform matching is <span>(lambda )</span>-perfect. Taking <i>H</i> to be the 3-uniform linear path of length 2 or 3 and <span>(t=1)</span> repeatedly, we obtain the results in Hu et al. (J Comb Des 28:207–223, 2020). Earlier results indicate that <span>(K_4^{3-}={123, 124, 134})</span> and <span>(F_5={123, 124, 345})</span> are not <span>(lambda )</span>-perfect, we show that the disjoint union of <span>(K_4^{3-})</span> (or <span>(F_5)</span>) and <span>(S_{2,t})</span> are <span>(lambda )</span>-perfect. Furthermore, we show the disjoint union of a 3-uniform hypergraph <i>H</i> and <span>(S_{2,t})</span> is <span>(lambda )</span>-perfect if <i>t</i> is large. We","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-01-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44578496","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On Antipodes of Immaculate Functions","authors":"John Maxwell Campbell","doi":"10.1007/s00026-022-00632-0","DOIUrl":"10.1007/s00026-022-00632-0","url":null,"abstract":"<div><p>The immaculate basis of the Hopf algebra <span>(textsf {NSym})</span> of noncommutative symmetric functions is a Schur-like basis of <span>(textsf {NSym})</span> that has been applied in many areas in the field of algebraic combinatorics. The problem of determining a cancellation-free formula for the antipode of <span>(textsf {NSym})</span> evaluated at an arbitrary immaculate function <span>( {mathfrak {S}}_{alpha } )</span> remains open, letting <span>(alpha )</span> denote an integer composition. However, for the cases whereby we let <span>(alpha )</span> be a hook or consist of at most two rows, Benedetti and Sagan (J Combin Theory Ser A 148:275–315, 2017) have determined cancellation-free formulas for expanding <span>(S({mathfrak {S}}_{alpha }))</span> in the <span>({mathfrak {S}})</span>-basis. According to a Jacobi–Trudi-like formula for expanding immaculate functions in the ribbon basis that we had previously proved bijectively (Discrete Math 340(7):1716–1726, 2017), by applying the antipode <i>S</i> of <span>(textsf {NSym})</span> to both sides of this formula, we obtain a cancellation-free formula for expressing <span>(S({mathfrak {S}}_{(m^{n})}))</span> in the <i>R</i>-basis, for an arbitrary rectangle <span>((m^{n}))</span>. We explore the idea of using this <i>R</i>-expansion, together with sign-reversing involutions, to determine combinatorial interpretations of the <span>({mathfrak {S}})</span>-coefficients of antipodes of rectangular immaculate functions. We then determine cancellation-free formulas for antipodes of immaculate functions much more generally, using a Jacobi–Trudi-like formula recently introduced by Allen and Mason that generalizes Campbell’s formulas for expanding <span>({mathfrak {S}})</span>-elements into the <i>R</i>-basis, and we further explore how new families of composition tableaux may be used to obtain combinatorial interpretations for expanding <span>(S({mathfrak {S}}_{alpha }))</span> into the <span>({mathfrak {S}})</span>-basis.</p></div>","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2022-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43111702","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Boolean Complexes of Involutions","authors":"Axel Hultman, Vincent Umutabazi","doi":"10.1007/s00026-022-00629-9","DOIUrl":"10.1007/s00026-022-00629-9","url":null,"abstract":"<div><p>Let (<i>W</i>, <i>S</i>) be a Coxeter system. We introduce the boolean complex of involutions of <i>W</i> which is an analogue of the boolean complex of <i>W</i> studied by Ragnarsson and Tenner. By applying discrete Morse theory, we determine the homotopy type of the boolean complex of involutions for a large class of (<i>W</i>, <i>S</i>), including all finite Coxeter groups, finding that the homotopy type is that of a wedge of spheres of dimension <span>(vert Svert -1)</span>. In addition, we find simple recurrence formulas for the number of spheres in the wedge.</p></div>","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2022-12-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00026-022-00629-9.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41326138","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Quadratic Coefficients of Goulden–Rattan Character Polynomials","authors":"Mikołaj Marciniak","doi":"10.1007/s00026-022-00611-5","DOIUrl":"10.1007/s00026-022-00611-5","url":null,"abstract":"<div><p>Goulden–Rattan polynomials give the exact value of the subdominant part of the normalized characters of the symmetric groups in terms of certain quantities <span>((C_i))</span> which describe the macroscopic shape of the Young diagram. The Goulden–Rattan positivity conjecture states that the coefficients of these polynomials are positive rational numbers with small denominators. We prove a special case of this conjecture for the coefficient of the quadratic term <span>(C_2^2)</span> by applying certain bijections involving maps (i.e., graphs drawn on surfaces).</p></div>","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2022-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00026-022-00611-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47729766","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Equivariant Euler Characteristics of Subgroup Complexes of Symmetric Groups","authors":"Zhipeng Duan","doi":"10.1007/s00026-022-00630-2","DOIUrl":"10.1007/s00026-022-00630-2","url":null,"abstract":"<div><p>Equivariant Euler characteristics are important numerical homotopy invariants for objects with group actions. They have deep connections with many other areas like modular representation theory and chromatic homotopy theory. They are also computable, especially for combinatorial objects like partition posets, buildings associated with finite groups of Lie types, etc. In this article, we make new contributions to concrete computations by determining the equivariant Euler characteristics for all subgroup complexes of symmetric groups <span>(varSigma _n)</span> when n is prime, twice a prime, or a power of two and several variants. There are two basic approaches to calculating equivariant Euler characteristics. One is based on a recursion formula and generating functions, and another on analyzing the fixed points of abelian subgroups. In this article, we adopt the second approach since the fixed points of abelian subgroups are simple in this case.</p></div>","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2022-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48647046","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Defining Binary Phylogenetic Trees Using Parsimony","authors":"Mareike Fischer","doi":"10.1007/s00026-022-00627-x","DOIUrl":"10.1007/s00026-022-00627-x","url":null,"abstract":"<div><p>Phylogenetic (i.e., leaf-labeled) trees play a fundamental role in evolutionary research. A typical problem is to reconstruct such trees from data like DNA alignments (whose columns are often referred to as characters), and a simple optimization criterion for such reconstructions is maximum parsimony. It is generally assumed that this criterion works well for data in which state changes are rare. In the present manuscript, we prove that each binary phylogenetic tree <i>T</i> with <span>(nge 20 k)</span> leaves is uniquely defined by the set <span>(A_k(T))</span>, which consists of all characters with parsimony score <i>k</i> on <i>T</i>. This can be considered as a promising first step toward showing that maximum parsimony as a tree reconstruction criterion is justified when the number of changes in the data is relatively small.</p></div>","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2022-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00026-022-00627-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43287985","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Extensions of the Art Gallery Theorem","authors":"Peter Borg, Pawaton Kaemawichanurat","doi":"10.1007/s00026-022-00620-4","DOIUrl":"10.1007/s00026-022-00620-4","url":null,"abstract":"<div><p>Several domination results have been obtained for maximal outerplanar graphs (mops). The classical domination problem is to minimize the size of a set <i>S</i> of vertices of an <i>n</i>-vertex graph <i>G</i> such that <span>(G - N[S])</span>, the graph obtained by deleting the closed neighborhood of <i>S</i>, contains no vertices. In the proof of the Art Gallery Theorem, Chvátal showed that the minimum size, called the domination number of <i>G</i> and denoted by <span>(gamma (G))</span>, is at most <i>n</i>/3 if <i>G</i> is a mop. Here we consider a modification by allowing <span>(G - N[S])</span> to have a maximum degree of at most <i>k</i>. Let <span>(iota _k(G))</span> denote the size of a smallest set <i>S</i> for which this is achieved. If <span>(n le 2k+3)</span>, then trivially <span>(iota _k(G) le 1)</span>. Let <i>G</i> be a mop on <span>(n ge max {5,2k+3})</span> vertices, <span>(n_2)</span> of which are of degree 2. Upper bounds on <span>(iota _k(G))</span> have been obtained for <span>(k = 0)</span> and <span>(k = 1)</span>, namely <span>(iota _{0}(G) le min {frac{n}{4},frac{n+n_2}{5},frac{n-n_2}{3}})</span> and <span>(iota _1(G) le min {frac{n}{5},frac{n+n_2}{6},frac{n-n_2}{3}})</span>. We prove that <span>(iota _{k}(G) le min {frac{n}{k+4},frac{n+n_2}{k+5},frac{n-n_2}{k+2}})</span> for any <span>(k ge 0)</span>. For the original setting of the Art Gallery Theorem, the argument presented yields that if an art gallery has exactly <i>n</i> corners and at least one of every <span>(k + 2)</span> consecutive corners must be visible to at least one guard, then the number of guards needed is at most <span>(n/(k+4))</span>. We also prove that <span>(gamma (G) le frac{n - n_2}{2})</span> unless <span>(n = 2n_2)</span>, <span>(n_2)</span> is odd, and <span>(gamma (G) = frac{n - n_2 + 1}{2})</span>. Together with the inequality <span>(gamma (G) le frac{n+n_2}{4})</span>, obtained by Campos and Wakabayashi and independently by Tokunaga, this improves Chvátal’s bound. The bounds are sharp.</p></div>","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2022-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46186467","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
