permutation ↗ reference
4849 papers tagged with this keyword
The distribution of factorization patterns on linear families of polynomials over a finite field
Published
• View Publication
• BIB
We obtain estimates on the number $|\mathcal{A}_{\boldsymbolλ}|$ of elements on a linear family $\mathcal{A}$ of monic polynomials of $\mathbb{F}_q[T]$ of degree $n$ having factorization pattern $\boldsymbolλ:=1^{λ_1}2^{λ_2}\cdots n^{λ_n}$. We show that $|\mathcal{A}_{\boldsymbolλ}|= \mathcal{T}(\boldsymbolλ)\,q^{n-m}+\mathcal{O}(q^{n-m-{1}/{2}})$, where $\mathcal{T}(\boldsymbolλ)$ is the proportion of elements of the symmetric group of $n$ elements with cycle pattern $\boldsymbolλ$ and $m$ is the codimension of $\mathcal{A}$. Furthermore, if the family $\mathcal{A}$ under consideration is "sparse", then $|\mathcal{A}_{\boldsymbolλ}|= \mathcal{T}(\boldsymbolλ)\,q^{n-m}+\mathcal{O}(q^{n-m-{1}})$. Our estimates hold for fields $\mathbb{F}_q$ of characteristic greater than 2. We provide explicit upper bounds for the constants underlying the $\mathcal{O}$--notation in terms of $\boldsymbolλ$ and $\mathcal{A}$ with "good" behavior. Our approach reduces the question to estimate the number of $\mathbb{F}_q$--rational points of certain families of complete intersections defined over $\mathbb{F}_q$. Such complete intersections are defined by polynomials which are invariant under the action of the symmetric group of permutations of the coordinates. This allows us to obtain critical information concerning their singular locus, from which precise estimates on their number of $\mathbb{F}_q$--rational points are established.
Proof of Stasinski and Voll's Hyperoctahedral Group Conjecture
In a recent paper, Stasinski and Voll introduced a length-like statistic on hyperoctahedral groups and conjectured a product formula for this statistic's signed distribution over arbitrary quotients. Stasinski and Voll proved this conjecture for a few special types of quotients. We prove this conjecture in full, showing it holds for all quotients. In the case of signed permutations with at most one descent, this formula gives the Poincare polynomials for the varieties of symmetric matrices of a fixed rank.
An extension of MacMahon's Equidistribution Theorem to ordered set partitions
Published
• View Publication
• BIB
We prove a conjecture of Haglund which can be seen as an extension of the equidistribution of the inversion number and the major index over permutations to ordered set partitions. Haglund's conjecture implicitly defines two statistics on ordered set partitions and states that they are equidistributed. The implied inversion statistic is equivalent to a statistic on ordered set partitions studied by Steingrímsson, Ishikawa, Kasraoui, and Zeng, and is known to have a nice distribution in terms of $q$-Stirling numbers. The resulting major index exhibits a combinatorial relationship between $q$-Stirling numbers and the Euler-Mahonian distribution on the symmetric group, solving a problem posed by Steingrímsson.
Tackling the Minimal Superpermutation Problem
A superpermutation on $n$ symbols is a string that contains each of the $n!$ permutations of the $n$ symbols as a contiguous substring. The shortest superpermutation on $n$ symbols was conjectured to have length $\sum_{i=1}^n i!$. The conjecture had been verified for $n \leq 5$. We disprove it by exhibiting an explicit counterexample for $n=6$. This counterexample was found by encoding the problem as an instance of the (asymmetric) Traveling Salesman Problem, and searching for a solution using a powerful heuristic solver.
On the Real-rootedness of the Descent Polynomials of $(n-2)$-Stack Sortable Permutations
Published in Electron. J. Combin. 22(4) (2015) #P4.12
• View Publication
• BIB
Bóna conjectured that the descent polynomials on $(n-2)$-stack sortable permutations have only real zeros. Brändén proved this conjecture by establishing a more general result. In this paper, we give another proof of Brändén's result by using the theory of $s$-Eulerian polynomials recently developed by Savage and Visontai.
Mahonian STAT on words
In 2000, Babson and Steingrímsson introduced the notion of what is now known as a permutation vincular pattern, and based on it they re-defined known Mahonian statistics and introduced new ones, proving or conjecturing their Mahonity. These conjectures were proved by Foata and Zeilberger in 2001, and by Foata and Randrianarivony in 2006.
In 2010, Burstein refined some of these results by giving a bijection between permutations with a fixed value for the major index and those with the same value for STAT, where STAT is one of the statistics defined and proved to be Mahonian in the 2000 Babson and Steingrímsson's paper. Several other statistics are preserved as well by Burstein's bijection.
At the Formal Power Series and Algebraic Combinatorics Conference (FPSAC) in 2010, Burstein asked whether his bijection has other interesting properties. In this paper, we not only show that Burstein's bijection preserves the Eulerian statistic ides, but also use this fact, along with the bijection itself, to prove Mahonity of the statistic STAT on words we introduce in this paper. The words statistic STAT introduced by us here addresses a natural question on existence of a Mahonian words analogue of STAT on permutations. While proving Mahonity of our STAT on words, we prove a more general joint equidistribution result involving two six-tuples of statistics on (dense) words, where Burstein's bijection plays an important role.
Cohomological consequences of the pattern map
Published
• View Publication
• BIB
Billey and Braden defined maps on flag manifolds that are the geometric counterpart of permutation patterns. A section of their pattern map is an embedding of the flag manifold of a Levi subgroup into the full flag manifold. We give two expressions for the induced map on cohomology. One is in terms of generators and the other is in terms of the Schubert basis. We show that the coefficients in the second expression are naturally Schubert structure constants and therefore positive. These formulas also hold for K-theory, and generalize known formulas in type A for cohomology and K-theory.
Anatomy of the Amplituhedron
Published
• View Publication
• BIB
We initiate a comprehensive investigation of the geometry of the amplituhedron, a recently found geometric object whose volume calculates the integrand of scattering amplitudes in planar N=4 SYM theory. We do so by introducing and studying its stratification, focusing on four-point amplitudes. The new stratification exhibits interesting combinatorial properties and positivity is neatly captured by permutations. As explicit examples, we find all boundaries for the two and three loop amplitudes and related geometries. We recover the stratifications of some of these geometries from the singularities of the corresponding integrands, providing a non-trivial test of the amplituhedron/scattering amplitude correspondence. We finally introduce a deformation of the stratification with remarkably simple topological properties.
Relations between cumulants in noncommutative probability
Published in Adv.Math.282 (2015) 56-92
• View Publication
• BIB
We express classical, free, Boolean and monotone cumulants in terms of each other, using combinatorics of heaps, pyramids, Tutte polynomials and permutations. We completely determine the coefficients of these formulas with the exception of the formula for classical cumulants in terms of monotone cumulants whose coefficients are only partially computed.
Intersecting families of discrete structures are typically trivial
Published
• View Publication
• BIB
The study of intersecting structures is central to extremal combinatorics. A family of permutations $\mathcal{F} \subset S_n$ is \emph{$t$-intersecting} if any two permutations in $\mathcal{F}$ agree on some $t$ indices, and is \emph{trivial} if all permutations in $\mathcal{F}$ agree on the same $t$ indices. A $k$-uniform hypergraph is \emph{$t$-intersecting} if any two of its edges have $t$ vertices in common, and \emph{trivial} if all its edges share the same $t$ vertices.
The fundamental problem is to determine how large an intersecting family can be. Ellis, Friedgut and Pilpel proved that for $n$ sufficiently large with respect to $t$, the largest $t$-intersecting families in $S_n$ are the trivial ones. The classic Erdős--Ko--Rado theorem shows that the largest $t$-intersecting $k$-uniform hypergraphs are also trivial when $n$ is large. We determine the \emph{typical} structure of $t$-intersecting families, extending these results to show that almost all intersecting families are trivial. We also obtain sparse analogues of these extremal results, showing that they hold in random settings.
Our proofs use the Bollobás set-pairs inequality to bound the number of maximal intersecting families, which can then be combined with known stability theorems. We also obtain similar results for vector spaces.
Context-free Grammars for Permutations and Increasing Trees
Published
• View Publication
• BIB
In this paper, we introduce the notion of a grammatical labeling to describe a recursive process of generating combinatorial objects based on a context-free grammar. For example, by labeling the ascents and descents of a Stirling permutation, we obtain a grammar for the second-order Eulerian polynomials. By using the grammar for $0$-$1$-$2$ increasing trees given by Dumont, we obtain a grammatical derivation of the generating function of the André polynomials obtained by Foata and Schützenberger, without solving a differential equation. We also find a grammar for the number $T(n,k)$ of permutations of $[n]=\{1,2,\ldots, n\}$ with $k$ exterior peaks, which was independently discovered by Ma. We demonstrate that Gessel's formula for the generating function of $T(n,k)$ can be deduced from this grammar. Moreover, by using grammars we show that the number of the permutations of $[n]$ with $k$ exterior peaks equals the number of increasing trees on $[n]$ with $2k+1$ vertices of even degree. A combinatorial proof of this fact is also presented.
Counting permutations by alternating descents
Published
• View Publication
• BIB
We find the exponential generating function for permutations with all valleys even and all peaks odd, and use it to determine the asymptotics for its coefficients, answering a question posed by Liviu Nicolaescu. The generating function can be expressed as the reciprocal of a sum involving Euler numbers. We give two proofs of the formula. The first uses a system of differential equations. The second proof derives the generating function directly from general permutation enumeration techniques, using noncommutative symmetric functions. The generating function is an "alternating" analogue of David and Barton's generating function for permutations with no increasing runs of length 3 or more. Our general results give further alternating analogues of permutation enumeration formulas, including results of Chebikin and Remmel.
A Central Limit Theorem for the Length of the Longest Common Subsequences in Random Words
Published in Electronic Journal of Probability 2023, Vol. 28, paper no. 3, 1-24
• View Publication
• BIB
Let $(X_i)_{i \geq 1}$ and $(Y_i)_{i\geq1}$ be two independent sequences of independent identically distributed random variables taking their values in a common finite alphabet and having the same law. Let $LC_n$ be the length of the longest common subsequences of the two random words $X_1\cdots X_n$ and $Y_1\cdots Y_n$. Under a lower bound assumption on the order of its variance, $LC_n$ is shown to satisfy a central limit theorem. This is in contrast to the limiting distribution of the length of the longest common subsequences in two independent uniform random permutations of $\{1, \dots, n\}$, which is shown to be the Tracy-Widom distribution.
Classification of the Z2Z4-linear Hadamard codes and their automorphism groups
Published in IEEE Trans. Inf. Theory 61(2) 2015, 887-894
• View Publication
• BIB
A $Z_2Z_4$-linear Hadamard code of length $α+2β=2^t$ is a binary Hadamard code which is the Gray map image of a $Z_2Z_4$-additive code with $α$ binary coordinates and $β$ quaternary coordinates. It is known that there are exactly $[(t-1)/2]$ and $[t/2]$ nonequivalent $Z_2Z_4$-linear Hadamard codes of length $2^t$, with $α=0$ and $α\not=0$, respectively, for all $t\geq 3$. In this paper, it is shown that each $Z_2Z_4$-linear Hadamard code with $α=0$ is equivalent to a $Z_2Z_4$-linear Hadamard code with $α\not=0$; so there are only $[t/2]$ nonequivalent $Z_2Z_4$-linear Hadamard codes of length $2^t$. Moreover, the order of the monomial automorphism group for the $Z_2Z_4$-additive Hadamard codes and the permutation automorphism group of the corresponding $Z_2Z_4$-linear Hadamard codes are given.
A general theory of Wilf-equivalence for Catalan structures
Published
• View Publication
• BIB
The existence of apparently coincidental equalities (also called Wilf-equivalences) between the enumeration sequences, or generating functions, of various hereditary classes of combinatorial structures has attracted significant interest. We investigate such coincidences among non-crossing matchings and a variety of other Catalan structures including Dyck paths, 231-avoiding permutations and plane forests. In particular we consider principal classes defined by not containing an occurrence of a single given structure. An easily computed equivalence relation among structures is described such that if two structures are equivalent then the associated principal classes have the same enumeration sequence. We give an asymptotic estimate of the number of equivalence classes of this relation among structures of a given size and show that it is exponentially smaller than the corresponding Catalan number. In other words these "coincidental" equalities are in fact very common among principal classes. Our results also allow us to prove, in a unified and bijective manner, several known Wilf-equivalences from the literature.
Locally triangular graphs and rectagraphs with symmetry
Published in J. Combin. Theory, Ser. A. 133 (2015) 1-28
• View Publication
• BIB
Locally triangular graphs are known to be halved graphs of bipartite rectagraphs, which are connected triangle-free graphs in which every $2$-arc lies in a unique quadrangle. A graph $Γ$ is locally rank 3 if there exists $G\leq \mathrm{Aut}(Γ)$ such that for each vertex $u$, the permutation group induced by the vertex stabiliser $G_u$ on the neighbourhood $Γ(u)$ is transitive of rank 3. One natural place to seek locally rank 3 graphs is among the locally triangular graphs, where every induced neighbourhood graph is isomorphic to a triangular graph $T_n$. This is because the graph $T_n$, which has vertex set the $2$-subsets of $\{1,\ldots,n\}$ and edge set the pairs of $2$-subsets intersecting at one point, admits a rank 3 group of automorphisms. In this paper, we classify the locally $4$-homogeneous rectagraphs under some additional structural assumptions. We then use this result to classify the connected locally triangular graphs that are also locally rank 3.
Matrix integrals and generating functions for permutations and one-face rooted hypermaps
Closed-form generating functions for counting one-face rooted hypermaps with a known number of darts by number of vertices and edges is found, using matrix integral expressions relating to the reduced density operator of a bipartite quantum system. A recursion relation for these generating functions is also found. The method for computing similar generating functions for two-face rooted hypermaps by number of vertices and edges is outlined.
Transitive factorizations of permutations and geometry
Published
• View Publication
• BIB
We give an account of our work on transitive factorizations of permutations. The work has had impact upon other areas of mathematics such as the enumeration of graph embeddings, random matrices, branched covers, and the moduli spaces of curves. Aspects of these seemingly unrelated areas are seen to be related in a unifying view from the perspective of algebraic combinatorics. At several points this work has intertwined with Richard Stanley's in significant ways.
Asymptotic Behavior of the Expectation Value of Permanent Products
We would desire to have done the calculations of this paper in the measure on nxn matrices that weights uniformly all 0-1 matrices with row and column sum equal to r, other matrices given weight zero. Instead we work with all matrices that are the sum of r independent uniformly weighted permutation matrices, with the hope that the computations we perform give the same result in this measure. We derive the result for limiting expectations
lim (1/n)ln(E(perm_m(A) perm_m'(A))) =lim (1/n)ln(E(perm_m(A)))+
+lim (1/n)ln(E(perm_m'(A)))
Here the limit is n to infinity, r is fixed, and m and m' are taken as each proportional to n.
A natural generalization of Balanced Tableaux
We introduce the notion of "type" of a tableau, that allows us to define new families of tableaux including both balanced and standard Young tableaux. We use these new objects to describe the set of reduced decompositions of any permutation. We then generalize the work of Fomin \emph{et al.} by giving, among other things, a new proof of the fact that balanced and standard tableaux are equinumerous, and by exhibiting many new families of tableaux having similar combinatorial properties to those of balanced tableaux.