arXiv++ Combinatorics

In the past, empirical evidence has been presented that Hilbert series of symplectic quotients of unitary representations obey a certain universal system of infinitely many constraints. Formal series with this property have been called \emph{symplectic}. Here we show that a formal power series is symplectic if and only if it is a formal composite with the formal power series $x^2/(1-x)$. Hence the set of symplectic power series forms a subalgebra of the algebra of formal power series. The subalgebra property is translated into an identity for the coefficients of the even Euler polynomials, which can be interpreted as a cubic identity for the Bernoulli numbers. Furthermore we show that a rational power series is symplectic if and only if it is invariant under the idempotent Möbius transformation $x\mapsto x/(x-1)$. It follows that the Hilbert series of a graded Cohen-Macaulay algebra $A$ is symplectic if and only if $A$ is Gorenstein with its a-invariant and its Krull dimension adding up to zero. It is shown that this is the case for algebras of regular functions on symplectic quotients of unitary representations of tori.

Composition theory can be used to analyze and enumerate the number of ways a dealer in Blackjack can reach any given point total. The rules of Blackjack provide several restrictions on the number of compositions of a given number. While theory guarantees a specific number of unrestricted compositions of any positive integer, we must subtract the number of compositions not allowed in Blackjack. We present a constructive approach to enumerate the number of possible compositions for any point value by deleting those illegal compositions from the total number of unrestricted compositions. Our results cover all possible cases and also generalize to changes to the rules of Blackjack, such as the point value where the dealer must stand. Using the infinite deck assumption, we also find the approximate probability that the dealer reaches that point total.

We investigate how to find generic and globally rigid realizations of graphs in $\mathbb{R}^d$ based on elementary geometric observations. Our arguments lead to new proofs of a combinatorial characterization of the global rigidity of graphs in $\mathbb{R}^2$ by Jackson and Jordán and that of body-bar graphs in $\mathbb{R}^d$ recently shown by Connelly, Jordán, and Whiteley. We also extend the 1-extension theorem and Connelly's composition theorem, which are main tools for generating globally rigid graphs in $\mathbb{R}^d$. In particular we show that any vertex-redundantly rigid graph in $\mathbb{R}^d$ is globally rigid in $\mathbb{R}^d$, where a graph $G=(V,E)$ is called vertex-redundantly rigid if $G-v$ is rigid for any $v\in V$.

In this article we survey properties of mixed Poisson distributions and probabilistic aspects of the Stirling transform: given a non-negative random variable $X$ with moment sequence $(μ_s)_{s\in\mathbb{N}}$ we determine a discrete random variable $Y$, whose moment sequence is given by the Stirling transform of the sequence $(μ_s)_{s\in\mathbb{N}}$, and identify the distribution as a mixed Poisson distribution. We discuss properties of this family of distributions and present a simple limit theorem based on expansions of factorial moments instead of power moments. Moreover, we present several examples of mixed Poisson distributions in the analysis of random discrete structures, unifying and extending earlier results. We also add several entirely new results: we analyse triangular urn models, where the initial configuration or the dimension of the urn is not fixed, but may depend on the discrete time $n$. We discuss the branching structure of plane recursive trees and its relation to table sizes in the Chinese restaurant process. Furthermore, we discuss root isolation procedures in Cayley-trees, a parameter in parking functions, zero contacts in lattice paths consisting of bridges, and a parameter related to cyclic points and trees in graphs of random mappings, all leading to mixed Poisson-Rayleigh distributions. Finally, we indicate how mixed Poisson distributions naturally arise in the critical composition scheme of Analytic Combinatorics.

We begin by deriving an action of the 0-Hecke algebra on standard reverse composition tableaux and use it to discover 0-Hecke modules whose quasisymmetric characteristics are the natural refinements of Schur functions known as quasisymmetric Schur functions. Furthermore, we classify combinatorially which of these 0-Hecke modules are indecomposable. From here, we establish that the natural equivalence relation arising from our 0-Hecke action has equivalence classes that are isomorphic to subintervals of the weak Bruhat order on the symmetric group. Focussing on the equivalence classes containing a canonical tableau we discover a new basis for the Hopf algebra of quasisymmetric functions, and use the cardinality of these equivalence classes to establish new enumerative results on truncated shifted reverse tableau studied by Panova and Adin-King-Roichman. Generalizing our 0-Hecke action to one on skew standard reverse composition tableaux, we derive 0-Hecke modules whose quasisymmetric characteristics are the skew quasisymmetric Schur functions of Bessenrodt et al. This enables us to prove a restriction rule that reflects the coproduct formula for quasisymmetric Schur functions, which in turn yields a quasisymmetric branching rule analogous to the classical branching rule for Schur functions.

A \Def{composition} of a positive integer $n$ is a $k$-tuple $(ł_1, ł_2, \dots, ł_k) \in \Z_{> 0}^k$ such that $n = ł_1 + ł_2 + \dots + ł_k$. Our goal is to enumerate those compositions whose parts $ł_1, ł_2, \dots, ł_k$ avoid a fixed arithmetic sequence. When this sequence is given by the even integers (i.e., all parts of the compositions must be odd), it is well known that the number of compositions is given by the Fibonacci sequence. A much more recent theorem says that when the parts are required to avoid all multiples of a given integer $k$, the resulting compositions are counted by a sequence given by a Fibonacci-type recursion of depth $k$. We extend this result to arbitrary arithmetic sequences. Our main tool is a lemma on generating functions which is no secret among experts but deserves to be more widely known.

We give yet another proof for Faà di Bruno's formula for higher derivatives of composite functions. Our proof technique relies on reinterpreting the composition of two power series as the generating function for weighted integer compositions, for which a Faà di Bruno-like formula is quite naturally established.

We prove a Murnaghan-Nakayama rule for the noncommutative Schur functions introduced by Bessenrodt, Luoto and van Willigenburg. In other words, we give an explicit combinatorial formula for expanding the product of a noncommutative power sum symmetric function and a noncommutative Schur function in terms of noncommutative Schur functions. In direct analogy to the classical Murnaghan-Nakayama rule, the summands are computed using a noncommutative analogue of border strips, and have coefficients equal to 1 or -1 determined by the height of these border strips. The rule is proved by interpreting the noncommutative Pieri rules for noncommutative Schur functions in terms of box-adding operators on compositions.

In these lectures we present five interpretations of the Fa' di Bruno formula which computes the n-th derivative of the composition of two functions of one variable: in terms of groups, Lie algebras and Hopf algebras, in combinatorics and within operads.

Bell polynomials appear in several combinatorial constructions throughout mathematics. Perhaps most naturally in the combinatorics of set partitions, but also when studying compositions of diffeomorphisms on vector spaces and manifolds, and in the study of cumulants and moments in probability theory. We construct commutative and noncommutative Bell polynomials and explain how they give rise to Faà di Bruno Hopf algebras. We use the language of incidence Hopf algebras, and along the way provide a new description of antipodes in noncommutative incidence Hopf algebras, involving quasideterminants. We also discuss Möbius inversion in certain Hopf algebras built from Bell polynomials.

The Danish composer Per Noergaard defined the "infinity series" s = (s(n))_n>=0 by the rules s(0) = 0, s(2n) = -s(n) for n >= 1, and s(2n + 1) = s(n) + 1 for n >= 0; it figures prominently in many of his compositions. Here we give several new results about this sequence: first, the set of binary representations of the positions of each note forms a context-free language that is not regular; second, a complete characterization of exactly which note-pairs appear; third, that consecutive occurrences of identical phrases are widely separated. We also consider to what extent the infinity series is unique.

We show that the distribution of the major index over the set of involutions in S_n that avoid the pattern 321 is given by the q-analogue of the n-th central binomial coefficient. The proof consists of a composition of three non-trivial bijections, one being the Robinson-Schensted correspondence, ultimately mapping those involutions with major index m into partitions of m whose Young diagram fits inside an n/2 by n/2 box. We also obtain a refinement that keeps track of the descent set, and we deduce an analogous result for the comajor index of 123-avoiding involutions.

We generalize the construction of multitildes in the aim to provide multitilde operators for regular languages. We show that the underliying algebraic structure involves the action of some operads. An operad is an algebraic structure that mimics the composition of the functions. The involved operads are described in terms of combinatorial objects. These operads are obtained from more primitive objects, namely precompositions, whose algebraic counter-parts are investigated. One of these operads acts faithfully on languages in the sense that two different operators act in two different ways.

Important decisions are likely made by groups of agents. Thus group decision making is very common in practice. Very transparent group aggregating rules are given by weighted voting, where each agent is assigned a weight. Here a proposal is accepted if the sum of the weights of the supporting agents meets or exceeds a given quota. We study a more general class of binary voting systems -- complete simple games -- and propose an algorithm to determine which sub classes, parameterized by the agent's type composition, are weighted.

For each composition $\vec{c}$ we show that the order complex of the poset of pointed set partitions $Π^{\bullet}_{\vec{c}}$ is a wedge of spheres of the same dimension with the multiplicity given by the number of permutations with descent composition $\vec{c}$. Furthermore, the action of the symmetric group on the top homology is isomorphic to the Specht module $S^{B}$ where $B$ is a border strip associated to the composition. We also study the filter of pointed set partitions generated by a knapsack integer partition and show the analogous results on homotopy type and action on the top homology.

A bijective proof is given for the following theorem: the number of compositions of n into odd parts equals the number of compositions of n + 1 into parts greater than one. Some commentary about the history of partitions and compositions is provided.

A family f_1,...,f_n of operators on a complete metric space X is called contractive if there exists lambda < 1 such that for any x,y in X we have d(f_i(x),f_i(y)) leq lambda d(x,y) for some i. Stein conjectured that for any contractive family there is some composition of the operators f_i that has a fixed point. Austin gave a counterexample to this, and asked if Stein's conjecture is true if we restrict to compact spaces. Our aim in this paper is to show that, even for compact spaces, Stein's conjecture is false.

The primary goal of this paper is to abstract notions, results and constructions from the theory of categories to the broader setting of plots. Loosely speaking, a plot can be thought of as a non-associative non-unital category with a "relaxed" composition law: Besides categories, this includes as a special case graphs and neocategories in the sense of Ehresmann, Gabriel's quivers, Mitchell's semicategories, and composition graphs, precategories and semicategories in the sense of Schröder. Among other things, we formulate an "identity-free" definition of isomorphisms, equivalences, and limits, for which we introduce regular representations, punctors, $\mathcal M$-connections, and $\mathcal M$-factorizations. Part of the material will be used in subsequent work to lay the foundation for an abstract theory of "normed structures" serving as a unifying framework for the development of fundamental aspects of the theory of normed spaces, normed groups, etc., on the one hand, and measure spaces, perhaps surprisingly, on the other.

Let $\mathbb N_0$ be the set of non-negative integers, and let $P(n,l)$ denote the set of all weak compositions of $n$ with $l$ parts, i.e., $P(n,l)=\{ (x_1,x_2,\dots, x_l)\in\mathbb N_0^l\ :\ x_1+x_2+\cdots+x_l=n\}$. For any element $\mathbf u=(u_1,u_2,\dots, u_l)\in P(n,l)$, denote its $i$th-coordinate by $\mathbf u(i)$, i.e., $\mathbf u(i)=u_i$. A family $\mathcal A\subseteq P(n,l)$ is said to be $t$-intersecting if $\vert \{ i \ :\ \mathbf u(i)=\mathbf v(i)\} \vert\geq t$ for all $\mathbf u,\mathbf v\in \mathcal A$. A family $\mathcal A\subseteq P(n,l)$ is said to be trivially $t$-intersecting if there is a $t$-set $T$ of $\{1,2,\dots,l\}$ and elements $y_s\in \mathbb N_0$ ($s\in T$) such that $\mathcal{A}= \{\mathbf u\in P(n,l)\ :\ \mathbf u(j)=y_j\ {\rm for all}\ j\in T\}$. We prove that given any positive integers $l,t$ with $l\geq 2t+3$, there exists a constant $n_0(l,t)$ depending only on $l$ and $t$, such that for all $n\geq n_0(l,t)$, if $\mathcal{A} \subseteq P(n,l)$ is non-trivially $t$-intersecting then \begin{equation} \vert \mathcal{A} \vert\leq {n+l-t-1 \choose l-t-1}-{n-1 \choose l-t-1}+t.\notag \end{equation} Moreover, equality holds if and only if there is a $t$-set $T$ of $\{1,2,\dots,l\}$ such that \begin{equation} \mathcal A=\bigcup_{s\in \{1,2,\dots, l\}\setminus T} \mathcal A_s\cup \left\{ \mathbf q_i\ :\ i\in T \right\},\notag \end{equation} where \begin{align} \mathcal{A}_s & =\{\mathbf u\in P(n,l)\ :\ \mathbf u(j)=0\ {\rm for all}\ j\in T\ {\rm and}\ \mathbf u(s)=0\}\notag \end{align} and $\mathbf q_i\in P(n,l)$ with $\mathbf q_i(j)=0$ for all $j\in \{1,2,\dots, l\}\setminus \{i\}$ and $\mathbf q_i(i)=n$.

Let $\mathbb N_0$ be the set of non-negative integers, and let $P(n,l)$ denote the set of all weak compositions of $n$ with $l$ parts, i.e., $P(n,l)=\{ (x_1,x_2,\dots, x_l)\in\mathbb N_0^l\ :\ x_1+x_2+\cdots+x_l=n\}$. For any element $\mathbf u=(u_1,u_2,\dots, u_l)\in P(n,l)$, denote its $i$th-coordinate by $\mathbf u(i)$, i.e., $\mathbf u(i)=u_i$. Let $l=\min(l_1,l_2,\dots, l_r)$. Families $\mathcal A_j\subseteq P(n_j,l_j)$ ($j=1,2,\dots, r$) are said to be $r$-cross $t$-intersecting if $\vert \{ i\in [l] \ :\ \mathbf u_1(i)=\mathbf u_2(i)=\cdots=\mathbf u_r(i)\} \vert\geq t$ for all $\mathbf u_j\in \mathcal A_j$. Suppose that $l\geq t+2$. We prove that there exists a constant $n_0=n_0(l_1,l_2,\dots,l_r,t)$ depending only on $l_j$'s and $t$, such that for all $n_j\geq n_0$, if the families $\mathcal A_j\subseteq P(n_j,l_j)$ ($j=1,2,\dots, r$) are $r$-cross $t$-intersecting, then \begin{equation} \prod_{j=1}^r \vert \mathcal{A}_j \vert\leq \prod_{j=1}^r {n_j+l_j-t-1 \choose l_j-t-1}.\notag \end{equation} Moreover, equality holds if and only if there is a $t$-set $T$ of $\{1,2,\dots,l\}$ such that $\mathcal{A}_j=\{\mathbf u\in P(n_j,l_j)\ :\ \mathbf u(i)=0\ {\rm for\ all}\ i\in T\}$ for $j=1,2,\dots, r$.