arXiv++ Combinatorics

We prove here that the polynomial <nabla(C_p(1)), e_a h_b h_c> q, t-enumerates, by the statistics dinv and area, the parking functions whose supporting Dyck path touches the main diagonal according to the composition p of size a + b + c and have a reading word which is a shuffle of one decreasing word and two increasing words of respective sizes a, b, c. Here Cp(1) is a rescaled Hall-Littlewood polynomial and "nabla" is the Macdonald eigenoperator introduced in [1]. This is our latest progress in a continued effort to settle the decade old shuffle conjecture of [14]. It includes as special cases all previous results connected with this conjecture such as the q, t-Catalan [3] and the Schroder and h, h results of Haglund in [12] as well as their compositional refinements recently obtained in [9] and [10]. It also confirms the possibility that the approach adopted in [9] and [10] has the potential to yield a resolution of the shuffle parking function conjecture as well as its compositional refinement more recently proposed by Haglund, Morse and Zabrocki in [15].

This paper deals with the so-called Stanley conjecture, which asks whether they are non-isomorphic trees with the same symmetric function generalization of the chromatic polynomial. By establishing a correspondence between caterpillars trees and integer compositions, we prove that caterpillars in a large class (we call trees in this class proper) have the same symmetric chromatic function generalization of the chromatic polynomial if and only if they are isomorphic.

Zero-difference balanced (ZDB) functions can be employed in many applications, e.g., optimal constant composition codes, optimal and perfect difference systems of sets, optimal frequency hopping sequences, etc. In this paper, two results are summarized to characterize ZDB functions, among which a lower bound is used to achieve optimality in applications and determine the size of preimage sets of ZDB functions. As the main contribution, a generic construction of ZDB functions is presented, and many new classes of ZDB functions can be generated. This construction is then extended to construct a set of ZDB functions, in which any two ZDB functions are related uniformly. Furthermore, some applications of such sets of ZDB functions are also introduced.

We introduce a functorial construction which, from a monoid, produces a set-operad. We obtain new (symmetric or not) operads as suboperads or quotients of the operad obtained from the additive monoid. These involve various familiar combinatorial objects: parking functions, packed words, planar rooted trees, generalized Dyck paths, Schröder trees, Motzkin paths, integer compositions, directed animals, etc. We also retrieve some known operads: the magmatic operad, the commutative associative operad, and the diassociative operad.

In this paper, we propose an algebraic approach to determine whether two non-isomorphic caterpillar trees can have the same symmetric function generalization of the chromatic polynomial. On the set of all composition on integers, we introduce: An operation, which we call composition product; and a combinatorial polynomial, which we call the composition-lattice polynomial or L-polynomial, that mimics the weighted graph polynomial of Noble and Welsh. We prove a unique irreducible factorization theorem and establish a connection between the L-polynomial of a composition and its irreducible factorization, namely that reversing irreducible factors does not change L, and conjecture that is the only way of generating such compositions. Finally, we find a sufficient condition for two caterpillars have a different symmetric function generalization of the chromatic polynomial, and use this condition to show that if our conjecture were to hold, then the symmetric function generalization of the chromatic polynomial distinguishes among a large class of caterpillars.

We define the notion of asymptotically free for locally restricted compositions, which means roughly that large parts can often be replaced by any larger parts. Two well-known examples are Carlitz and alternating compositions. We show that large parts have asymptotically geometric distributions. This leads to asymptotically independent Poisson variables for numbers of various large parts. Based on this we obtain asymptotic formulas for the probability of being gap free and for the expected values of the largest part, number of distinct parts and number of parts of multiplicity k, all accurate to o(1).

The famous Kazhdan-Lusztig Conjecture of the 1970s states that the multiplicity of an irreducible composition factor of a Verma module can be computed by evaluating Kazhdan-Lusztig polynomials at 1. Thus the character of a Verma module is a linear combination of characters of irreducible highest weight modules where the coefficients in the linear combination are Kazhdan-Lusztig polynomials evaluated at 1. Kazhdan-Lusztig showed that inverting and writing the character of an irreducible highest weight module as a linear combination of characters of Verma modules, the coefficients in the linear combination are also Kazhdan-Lusztig polynomials evaluated at 1, up to a sign. In this paper, we show how to prove Kazhdan-Lusztig's character multiplicity inversion formula by induction using coherent continuation functors. Unitary representations may be identified by determining if characters and signature characters are the same. The signature character of a Verma module may be written as a linear combination of signature characters of irreducible highest weight modules where the coefficients in the linear combination are signed Kazhdan-Lusztig polynomials evaluated at 1. An analogous argument by induction using coherent continuation functors proves an analogous multiplicity inversion formula for signature characters: the signature character of an irreducible highest weight module is a linear combination of signature characters of Verma modules where the coefficients, up to a sign, are also signed Kazhdan-Lusztig polynomials evaluated at 1.

A poset can be regarded as a category in which there is at most one morphism between objects, and such that at most one of Hom(c,c') and Hom(c',c) is nonempty for distinct objects c,c'. If we keep in place the latter axiom but allow for more than one morphism between objects, we have a sort of generalized poset in which there are multiplicities attached to covering relations, and possibly nontrivial automorphism groups. We call such a category an "updown category". In this paper we give a precise definition of such categories and develop a theory for them. We also give a detailed account of ten examples, including updown categories of integer partitions, integer compositions, planar rooted trees, and rooted trees.

We find the joint distribution of three simple statistics on lattice paths of n upsteps and n downsteps leading to a triple sum identity for the central binomial coefficient {2n}-choose-{n}. We explain why one of the constituent double sums counts the irreducible pairs of compositions considered by Bender et al., and we evaluate some of the other sums.

In this note, we consider ordered partitions of integers such that each entry is no more than a fixed portion of the sum. We give a method for constructing all such compositions as well as both an explicit formula and a generating function describing the number of $k$-tuples whose entries are bounded in this way and sum to a fixed value $g$.

We show that a recent identity of Beck-Gessel-Lee-Savage on the generating function of symmetrically contrained compositions of integers generalizes naturally to a family of convex polyhedral cones that are invariant under the action of a finite reflection group. We obtain general expressions for the multivariate generating functions of such cones, and work out the specific cases of a symmetry group of type A (previously known) and types B and D (new). We obtain several applications of the special cases in type B, including identities involving permutation statistics and lecture hall partitions.

In a recent paper J. Haglund showed that a certain symmetric function expresion enumerates by t^{area} q^{dinv} of the parking functions whose diagonal word is in the shuffle of 12...j and j+1...j+n with k of the cars j+1,...,j+n in the main diagonal including car j+n in the cell (1,1). In view of some recent conjectures of Haglund-Morse-Zabrocki it is natural to conjecture that replacing E_{n,k} by the modified Hall-Littlewood functions would yield a polynomial that enumerates the same collection of parking functions but now restricted by the requirement that the Dyck path supporting cars j+1,...,j+n hits the diagonal according to the composition p=(p_1,p_2,...,p_k). We prove here this conjecture by deriving a recursion for the symmetric function expression then using this recursion to construct a new dinv statistic we will denote ndinv and show that this polynomial enumerates the latter parking functions by t^{area} q^{ndinv}.

In this paper we find exact formulas for the numbers of partitions and compositions of an element into $m$ parts over a finite field, i.e. we find the number of nonzero solutions of the equation $x_1+x_2+...+x_m=z$ over a finite field when the order does not matter and when it does, respectively. We also give an application of our results in the study of polynomials of prescribed ranges over finite fields.

Multitildes are regular operators that were introduced by Caron et al. in order to increase the number of Glushkov automata. In this paper, we study the family of the multitilde operators from an algebraic point of view using the notion of operad. This leads to a combinatorial description of already known results as well as new results on compositions, actions and enumerations.

Constant composition codes have been proposed as suitable coding schemes to solve the narrow band and impulse noise problems associated with powerline communication. In particular, a certain class of constant composition codes called frequency permutation arrays have been suggested as ideal, in some sense, for these purposes. In this paper we characterise a family of neighbour transitive codes in Hamming graphs in which frequency permutation arrays play a central rode. We also classify all the permutation codes generated by groups in this family.

We present eighteen exact analogs of six well-known fundamental Theorems (due to Dirac, Nash-Williams and Jung) in hamiltonian graph theory providing alternative compositions of graph invariants. In Theorems 1-3 we give three lower bounds for the length of a longest cycle $C$ of a graph $G$ in terms of minimum degree $δ$, connectivity $κ$ and parameters $\bar{p}$, $\bar{c}$ - the lengths of a longest path and longest cycle in $G\backslash C$, respectively. These bounds have no analogs in the area involving $\bar{p}$ and $\bar{c}$ as parameters. In Theorems 11 and 12 we give two Dirac-type results for generalized cycles including a number of fundamental results (concerning Hamilton and dominating cycles) as special cases. Connectivity invariant $κ$ appears as a parameter in some fundamental results and in some their exact analogs (Theorems 3-10) in the following chronological order: 1972 (Chvátal and Erdös), 1981a (Nikoghosyan), 1981b (Nikoghosyan), 1985a (Nikoghosyan), 1985b (Nikoghosyan), 2000 (Nikoghosyan), 2005 (Lu, Liu, Tian), 2009 (Nikoghosyan), 2009a (Yamashita), 2009b (Yamashita), 2011a (Nikoghosyan), 2011b (Nikoghosyan).

This paper introduces and analyzes a particular class of Polya urns: balls are of two colors, can only be added (the urns are said to be additive) and at every step the same constant number of balls is added, thus only the color compositions varies (the urns are said to be balanced). These properties make this class of urns ideally suited for analysis from an "analytic combinatorics" point-of-view, following in the footsteps of Flajolet-Dumas-Puyhaubert, 2006. Through an algebraic generating function to which we apply a multiple coalescing saddle-point method, we are able to give precise asymptotic results for the probability distribution of the composition of the urn, as well as local limit law and large deviation bounds.

We consider the effect on the mixing properties of a piecewise smooth interval map $f$ when its domain is divided into $N$ equal subintervals and $f$ is composed with a permutation of these. The case of the stretch-and-fold map $f(x)=mx \bmod 1$ for integers $m \geq 2$ is examined in detail. We give a combinatorial description of those permutations $σ$ for which $σ\circ f$ is still (topologically) mixing, and show that the proportion of such permutations tends to $1$ as $N \to \infty$. We then investigate the mixing rate of $σ\circ f$ (as measured by the modulus of the second largest eigenvalue of the transfer operator). In contrast to the situation for continuous time diffusive systems, we show that composition with a permutation cannot improve the mixing rate of $f$, but typically makes it worse. Under some mild assumptions on $m$ and $N$, we obtain a precise value for the worst mixing rate as $σ$ ranges through all permutations; this can be made arbitrarily close to $1$ as $N \to \infty$ (with $m$ fixed). We illustrate the geometric distribution of the second largest eigenvalues in the complex plane for small $m$ and $N$, and propose a conjecture concerning their location in general. Finally, we give examples of other interval maps $f$ for which composition with permutations produces different behaviour than that obtained from the stretch-and-fold map.

We describe pairs (p,n) such that n-dimensional affine space is fibered by pairwise skew p-dimensional affine subspaces. The problem is closely related with the theorem of Adams on vector fields on spheres and the Hurwitz-Radon theory of composition of quadratic forms.

If $S$ is a cofinite set of positive integers, an "$S$-restricted composition of $n$" is a sequence of elements of $S$, denoted $\vecλ=(λ_1,λ_2,...)$, whose sum is $n$. For uniform random $S$-restricted compositions, the random variable ${\bf B}(\vecλ)=\prod_i λ_i$ is asymptotically lognormal. The proof is based upon a combinatorial technique for decomposing a composition into a sequence of smaller compositions.