arXiv++ Combinatorics

Given a permutation $\sg = \sg_1 \ldots \sg_n$ in the symmetric group $S_n$, we say that $\sg_i$ matches the marked mesh pattern $MMP(a,b,c,d)$ in $\sg$ if there are at least $a$ points to the right of $\sg_i$ in $\sg$ which are greater than $\sg_i$, at least $b$ points to the left of $\sg_i$ in $\sg$ which are greater than $\sg_i$, at least $c$ points to the left of $\sg_i$ in $\sg$ which are smaller than $\sg_i$, and at least $d$ points to the right of $\sg_i$ in $\sg$ which are smaller than $\sg_i$. This paper is continuation of the systematic study of the distribution of quadrant marked mesh patterns in 132-avoiding permutations started in \cite{kitremtie} and \cite{kitremtieII} where we studied the distribution of the number of matches of $MMP(a,b,c,d)$ in 132-avoiding permutations where at most two elements of of $a,b,c,d$ are greater than zero and the remaining elements are zero. In this paper, we study the distribution of the number of matches of $MMP(a,b,c,d)$ in 132-avoiding permutations where at least three of $a,b,c,d$ are greater than zero. We provide explicit recurrence relations to enumerate our objects which can be used to give closed forms for the generating functions associated with such distributions. In many cases, we provide combinatorial explanations of the coefficients that appear in our generating functions.

Spectral sampling is associated with the group of unitary transformations acting on matrices in much the same way that simple random sampling is associated with the symmetric group acting on vectors. This parallel extends to symmetric functions, k-statistics and polykays. We construct spectral k-statistics as unbiased estimators of cumulants of trace powers of a suitable random matrix. Moreover we define normalized spectral polykays in such a way that when the sampling is from an infinite population they return products of free cumulants.

Given a permutation $\sg = \sg_1...\sg_n$ in the symmetric group $S_n$, we say that $\sg_i$ matches the marked mesh pattern $MMP(a,b,c,d)$ in $\sg$ if there are at least $a$ points to the right of $\sg_i$ in $\sg$ which are greater than $\sg_i$, at least $b$ points to the left of $\sg_i$ in $\sg$ which are greater than $\sg_i$, at least $c$ points to the left of $\sg_i$ in $\sg$ which are smaller than $\sg_i$, and at least $d$ points to the right of $\sg_i$ in $\sg$ which are smaller than $\sg_i$. This paper is continuation of the systematic study of the distribution of quadrant marked mesh patterns in 132-avoiding permutations started in \cite{kitremtie} where we mainly studied the distribution of the number of matches of $MMP(a,b,c,d)$ in 132-avoiding permutations where exactly one of $a,b,c,d$ is greater than zero and the remaining elements are zero. In this paper, we study the distribution of the number of matches of $MMP(a,b,c,d)$ in 132-avoiding permutations where exactly two of $a,b,c,d$ are greater than zero and the remaining elements are zero. We provide explicit recurrence relations to enumerate our objects which can be used to give closed forms for the generating functions associated with such distributions. In many cases, we provide combinatorial explanations of the coefficients that appear in our generating functions. The case of quadrant marked mesh patterns $MMP(a,b,c,d)$ where three or more of $a,b,c,d$ are constrained to be greater than 0 will be studied in \cite{kitremtieIII}.

In this paper we present a combinatorial proof of a relation between the generating functions of unicellular and bicellular maps. This relation is a consequence of the Schwinger-Dyson equation of matrix theory. Alternatively it can be proved using representation theory of the symmetric group. Here we give a bijective proof by rewiring unicellular maps of topological genus $(g+1)$ into bicellular maps of genus $g$ and pairs of unicellular maps of lower topological genera. Our result has immediate consequences for the folding of RNA interaction structures, since the time complexity of folding the transformed structure is $O((n+m)^5)$, where $n,m$ are the lengths of the respective backbones, while the folding of the original structure has $O(n^6)$ time complexity, where $n$ is the length of the longer sequence.

We find the spectrum of the Walsh-Hadamard type matrices defined by R.Adin and Y.Roichman in their recent work on character formulas and descent sets for the symmetric group.

En esta serie de tres articulos, damos una exposicion de varios resultados y problemas abiertos en tres areas de la combinatoria algebraica y geometrica: las matrices totalmente no negativas, las representaciones del grupo simetrico, y los arreglos de hiperplanos. Esta primera parte presenta una introduccion a las matrices totalmente no negativas, y su relacion con las funciones simetricas. In this series of three articles, we give an exposition of various results and open problems in three areas of algebraic and geometric combinatorics: totally non-negative matrices, representations of the symmetric group, and hyperplane arrangements. This first part presents an introduction to totally non-negative matrices and their relationship with symmetric functions.

En esta serie de tres articulos, damos una exposicion de varios resultados y problemas abiertos en tres areas de la combinatoria algebraica y geometrica: las matrices totalmente no negativas, las representaciones del grupo simetrico, y los arreglos de hiperplanos. Esta segunda parte trata la coneccion entre las funciones simetricas y la teoria de representaciones. In this series of three articles, we give an exposition of various results and open problems in three areas of algebraic and geometric combinatorics: totally non-negative matrices, representations of the symmetric group, and hyperplane arrangements. This second part treats the connection between symmetric functions and representation theory.

In this series of three articles, we give an exposition of various results and open problems in three areas of algebraic and geometric combinatorics: totally non-negative matrices, representations of the symmetric group, and hyperplane arrangements. This first part is an introduction to hyperplane arrangements from a combinatorial point of view. ----- En esta serie de tres articulos, damos una exposicion de varios resultados y problemas abiertos en tres areas de la combinatoria algebraica y geometrica: las matrices totalmente no negativas, las representaciones del grupo simetrico, y los arreglos de hiperplanos. Esta tercera parte presenta una introduccion a los arreglos de hiperplanos desde un punto de vista combinatorio.

The aim of this note is to study a generalization of theorems by James and Fayers on the modular representations of the symmetric group and its Hecke algebra to the case of the complex reflection groups of type $G(l,1,n)$ and the associated Ariki-Koike algebra.

We obtain explicit formulas for the enumeration of labelled parallelogram polyominoes. These are the polyominoes that are bounded, above and below, by north-east lattice paths going from the origin to a point (k,n). The numbers from 1 and n (the labels) are bijectively attached to the $n$ north steps of the above-bounding path, with the condition that they appear in increasing values along consecutive north steps. We calculate the Frobenius characteristic of the action of the symmetric group S_n on these labels. All these enumeration results are refined to take into account the area of these polyominoes. We make a connection between our enumeration results and the theory of operators for which the intergral Macdonald polynomials are joint eigenfunctions. We also explain how these same polyominoes can be used to explicitly construct a linear basis of a ring of SL_2-invariants.

We calculate the Fourier-Deligne transform of the IC extension to ${\C}^{n+1}$ of the local system ${\mathcal L}_Λ$ on the cone over $\Conf_n(¶^1)$ associated to a representation $Λ$ of $S_n$, where the length $n-k$ of the first row of the Young diagram of $Λ$ is at least $\frac{|Λ|-1}{2}$. The answer is the IC extension to the dual vector space ${\C}^{n+1}$ of the local system ${\mathcal R}_λ$ on the cone over the $k$-th secant variety of the rational normal curve in $¶^n$, where ${\mathcal R}_λ$ corresponds to the representation $λ$ of $S_k$, the Young diagram of which is obtained from the Young diagram of $Λ$ by deleting its first row. We also prove an analogous statement for $S_n$-local systems on fibers of the Abel-Jacobi map. We use our result on the Fourier-Deligne transform to rederive a part of a result of Michel Brion on Kronecker coefficients.

A new family of asymmetric matrices of Walsh-Hadamard type is introduced. We study their properties and, in particular, compute their determinants and discuss their eigenvalues. The invertibility of these matrices implies that certain character formulas are invertible, yielding expressions for the cardinalities of sets of combinatorial objects with prescribed descent sets in terms of character values of the symmetric group.

The Hecke algebra of the pair $(S_{2n},B_n)$, where $B_n$ is the hyperoctahedral subgroup of $S_{2n}$, was introduced by James in 1961. It is a natural analogue of the center of the symmetric group algebra. In this paper, we give a polynomiality property of its structure coefficients. Our main tool is a combinatorial universal algebra which projects on the Hecke algebra of $(S_{2n},B_n)$ for every $n$. To build it, we introduce new objects called partial bijections.

We introduce the quasi-partition algebra $QP_k(n)$ as a centralizer algebra of the symmetric group. This algebra is a subalgebra of the partition algebra and inherits many similar combinatorial properties. We construct a basis for $QP_k(n)$, give a formula for its dimension in terms of the Bell numbers, and describe a set of generators for $QP_k(n)$ as a complex algebra. In addition, we give the dimensions and indexing set of its irreducible representations. We also provide the Bratteli diagram for the tower of quasi-partition algebras (constructed by letting $k$ range over the positive integers).

The derangement polynomial for the symmetric group enumerates derangements by the number of excedances. It can be interpreted as the local $h$-polynomial, in the sense of Stanley, of the barycentric subdivision of the simplex. Motivated by this interpretation, we define a derangement polynomial for the even-signed permutation group. The coefficients of this polynomial are nonnegative, symmetric and unimodal. We show that they enumerate derangements in the even-signed permutation group according to a notion of excedance, which is analogous to the one introduced by Brenti for signed permutations. We also give an explicit formula for the corresponding exponential generating function.

We initiate study of the Terwilliger algebra and related semidefinite programming techniques for the conjugacy scheme of the symmetric group Sym$(n)$. In particular, we compute orbits of ordered pairs on Sym$(n)$ acted upon by conjugation and inversion, explore a block diagonalization of the associated algebra, and obtain improved upper bounds on the size $M(n,d)$ of permutation codes of lengths up to 7. For instance, these techniques detect the nonexistence of the projective plane of order six via $M(6,5)<30$ and yield a new best bound $M(7,4) \le 535$ for a challenging open case. Each of these represents an improvement on earlier Delsarte linear programming results.

Affine Weyl groups and their parabolic quotients are used extensively as indexing sets for objects in combinatorics, representation theory, algebraic geometry, and number theory. Moreover, in the classical Lie types we can conveniently realize the elements of these quotients via intuitive geometric and combinatorial models such as abaci, alcoves, coroot lattice points, core partitions, and bounded partitions. Berg, Jones, and Vazirani described a bijection between n-cores with first part equal to k and (n-1)-cores with first part less than or equal to k, and they interpret this bijection in terms of these other combinatorial models for the quotient of the affine symmetric group by the finite symmetric group. In this paper we discuss how to generalize the bijection of Berg-Jones-Vazirani to parabolic quotients of affine Weyl groups in type C. We develop techniques using the associated affine hyperplane arrangement to interpret this bijection geometrically as a projection of alcoves onto the hyperplane containing their coroot lattice points. We are thereby able to analyze this bijective projection in the language of various additional combinatorial models developed by Hanusa and Jones, such as abaci, core partitions, and canonical reduced expressions in the Coxeter group.

This paper is dedicated to the factorizations of the symmetric group. Introducing a new bijection for partitioned 3-cacti, we derive an el- egant formula for the number of factorizations of a long cycle into a product of three permutations. As the most salient aspect, our construction provides the first purely combinatorial computation of this number.

We present various results on multiplying cycles in the symmetric group. Our first result is a generalisation of the following theorem of Boccara (1980): the number of ways of writing an odd permutation in the symmetric group on $n$ symbols as a product of an $n$-cycle and an $n-1$-cycle is independent of the permutation chosen. We give a number of different approaches of our generalisation. One partial proof uses an inductive method which we also apply to other problems. In particular, we give a formula for the distribution of the number of cycles over all products of cycles of fixed lengths. Another application is related to the recent notion of separation probabilities for permutations introduced by Bernardi, Du, Morales and Stanley (2014).

This paper is devoted to the computation of the number of ordered factorizations of a long cycle in the symmetric group where the number of factors is arbitrary and the cycle structure of the factors is given. Jackson (1988) derived the first closed form expression for the generating series of these numbers using the theory of the irreducible characters of the symmetric group. Thanks to a direct bijection we compute a similar formula and provide the first purely combinatorial evaluation of these generating series.