Annals of Combinatorics最新文献

We revisit the twisted multiplicativity property of Voiculescu’s S-transform in the operator-valued setting, using a specific bijection between planar binary trees and noncrossing partitions.

A complete dessin is an orientable map with underlying graph being a complete bipartite graph, which is said to be regular if its group of color- and orientation-preserving automorphisms acts regularly on the edges. This paper presents a classification and enumeration of complete regular dessins that have exactly two faces, which is not only a generalization of uniface regular dessins (see Fan et al. in J Algebr Comb 49:125–134, 2019) and planar two-face maps (see Bousquet et al. in Discrete Math 222:1–25, 2000), but also a special case of the classification of complete regular dessins proposed by Jones.

Let (G otimes _f H) denote the Sierpiński product of graphs G and H with respect to the function f. The Sierpiński general position number (textrm{gp}{_{textrm{S}}}(G,H)) is introduced as the cardinality of a largest general position set in (G otimes _f H) over all possible functions f. Similarly, the lower Sierpiński general position number (underline{textrm{gp}}{_{textrm{S}}}(G,H)) is the corresponding smallest cardinality. The concept of vertex-colinear sets is introduced. Bounds for the general position number in terms of extremal vertex-colinear sets, and bounds for the (lower) Sierpiński general position number are proved. The extremal graphs are investigated. Formulas for the (lower) Sierpiński general position number of the Sierpiński products with (K_2) as the first factor are deduced. It is proved that if (m,nge 2), then (textrm{gp}{_{textrm{S}}}(K_m,K_n) = m(n-1)), and that if (nge 2,m-2), then (underline{textrm{gp}}{_{textrm{S}}}(K_m,K_n) = m(n-m+1)).

Plane partitions in the totally symmetric self-complementary symmetry class (TSSCPPs) are known to be equinumerous with (ntimes n) alternating sign matrices, but no explicit bijection is known. In this paper, we give a bijection from these plane partitions to ({0,1,-1})-matrices we call magog matrices, some of which are alternating sign matrices. We explore enumerative properties of these matrices related to natural statistics such as inversion number and number of negative ones. We then investigate the polytope defined as their convex hull. We show that all the magog matrices are extreme and give a partial inequality description. Finally, we define another TSSCPP polytope as the convex hull of TSSCPP boolean triangles and determine its dimension, inequalities, vertices, and facets.

Let (e_k(x_1,ldots ,x_ell )) be an elementary symmetric polynomial and let (lambda =(lambda _1,ldots ,lambda _ell )) be an integer partition. Define ({{,textrm{pre},}}_k(lambda )) to be the partition whose parts are the summands in the evaluation (e_k(lambda _1,ldots ,lambda _ell )). The study of such partitions was initiated by Ballantine, Beck, and Merca who showed (among other things) that ({{,textrm{pre},}}_2) is injective as a map on binary partitions of n. In the present work, we derive a host of identities involving the sequences which count the number of parts of a given value in the image of ({{,textrm{pre},}}_2). These include generating functions, explicit expressions, and formulas for forward differences. We generalize some of these to d-ary partitions and explore connections with color partitions. Our techniques include the use of generating functions and bijections on rooted partitions. We end with a list of conjectures and a direction for future research.

We define a far-reaching generalization of Schnyder woods which encompasses many classical combinatorial structures on planar graphs. Schnyder woods are defined for planar triangulations as certain triples of spanning trees covering the triangulation and crossing each other in an orderly fashion. They are of theoretical and practical importance, as they are central to the proof that the order dimension of any planar graph is at most 3, and they are also underlying an elegant drawing algorithm. In this article, we extend the concept of Schnyder wood well beyond its original setting: for any integer (dge 3), we define a “grand-Schnyder” structure for (embedded) planar graphs which have faces of degree at most d and non-facial cycles of length at least d. We prove the existence of grand-Schnyder structures, provide a linear construction algorithm, describe 4 different incarnations (in terms of tuples of trees, corner labelings, weighted orientations, and marked orientations), and define a lattice for the set of grand-Schnyder structures of a given planar graph. We show that the grand-Schnyder framework unifies and extends several classical constructions: Schnyder woods and Schnyder decompositions, regular edge-labelings (a.k.a. transversal structures), and Felsner woods.

Estimating phylogenetic trees, which depict the relationships between different species, from aligned sequence data (such as DNA, RNA, or proteins) is one of the main aims of evolutionary biology. However, tree reconstruction criteria like maximum parsimony do not necessarily lead to unique trees and in some cases even fail to recognize the “correct” tree (i.e., the tree on which the data was generated). On the other hand, a recent study has shown that for an alignment containing precisely those binary characters (sites) which require up to two substitutions on a given tree, this tree will be the unique maximum parsimony tree. It is the aim of the present paper to generalize this recent result in the following sense: We show that for a tree T with n leaves, as long as (k<frac{n}{8}+frac{11}{9}-frac{1}{18}sqrt{9cdot left( frac{n}{4}right) ^2+16}) (or, equivalently, (n>9k-11+sqrt{9k^2-22k+17}), which in particular holds for all (nge 12k)), the maximum parsimony tree for the alignment containing all binary characters which require (up to or precisely) k substitutions on T will be unique in the NNI neighborhood of T and it will coincide with T, too. In other words, within the NNI neighborhood of T, T is the unique most parsimonious tree for the said alignment. This partially answers a recently published conjecture affirmatively. Additionally, we show that for (nge 8) and for k being in the order of (frac{n}{2}), there is always a pair of phylogenetic trees T and (T') which are NNI neighbors, but for which the alignment of characters requiring precisely k substitutions each on T in total requires fewer substitutions on (T').

Let A(p, n, k) be the number of p-tuples of commuting permutations of n elements whose permutation action results in exactly k orbits or connected components. We formulate the conjecture that, for every fixed p and n, the A(p, n, k) form a log-concave sequence with respect to k. For (p=1) this is a well-known property of unsigned Stirling numbers of the first kind. As the (p=2) case, our conjecture includes a previous one by Heim and Neuhauser, which strengthens a unimodality conjecture for the Nekrasov–Okounkov hook length polynomials. In this article, we prove the (p=infty ) case of our conjecture. We start from an expression for the A(p, n, k),  which follows from an identity by Bryan and Fulman, obtained in the their study of orbifold higher equivariant Euler characteristics. We then derive the (prightarrow infty ) asymptotics. The last step essentially amounts to the log-concavity in k of a generalized Turán number, namely, the maximum product of k positive integers whose sum is n.

It is known that the plane partition function of n denoted (textrm{PL}(n)) obeys Benford’s law in any integer base (bge 2). We give an upper bound for the smallest positive integer n such that (textrm{PL}(n)) starts with a prescribed string f of digits in base b.

Let (Delta ) be a ((d-1))-dimensional simplicial complex and (h^ Delta = (h_0^ Delta ,ldots , h_d^ Delta )) its h-vector. For a face uniform subdivision operation ({mathcal {F}}), we write (Delta _{mathcal {F}}) for the subdivided complex and (H_{mathcal {F}}) for the matrix, such that (h^ {Delta _{mathcal {F}}} = H_{mathcal {F}}h^ Delta ). In connection with the real rootedness of symmetric decompositions, Athanasiadis and Tzanaki studied for strictly positive h-vectors the inequalities (frac{h_0^ Delta }{h_1^ Delta } le frac{h_1^Delta }{h_{d-1}^ Delta } le cdots le frac{h_d^ Delta }{h_0^Delta }) and (frac{h_1^Delta }{h_{d-1}^Delta } ge cdots ge frac{h_{d-2}^Delta }{h_2^Delta } ge frac{h_{d-1}^Delta }{h_1^Delta }). In this paper, we show that if the inequalities holds for a simplicial complex (Delta ) and (H_{mathcal {F}}) is (hbox {TP}_2) (all entries and two minors are non-negative), then the inequalities hold for (Delta _{mathcal {F}}). We prove that if ({mathcal {F}}) is the barycentric subdivision, then (H_{mathcal {F}}) is (hbox {TP}_2). If ({mathcal {F}}) is the rth-edgewise subdivision, then work of Diaconis and Fulman shows (H_{mathcal {F}}) is (hbox {TP}_2). Indeed, in this case by work of Mao and Wang, (H_{mathcal {F}}) is even TP.