permutation ↗ reference
4945 papers tagged with this keyword
2-intersecting permutations
Published
• View Publication
• BIB
In this paper we consider the Erdős-Ko-Rado property for both $2$-pointwise and $2$-setwise intersecting permutations. Two permutations $σ,τ\in Sym(n)$ are $t$-setwise intersecting if there exists a $t$-subset $S$ of $\{1,2,\dots,n\}$ such that $S^σ= S^τ$. If for each $s\in S$, $s^σ= s^τ$, then we say $σ$ and $τ$ are $t$-pointwise intersecting. We say that $Sym(n)$ has the $t$-setwise (resp. $t$-pointwise) intersecting property if for any family $\mathcal{F}$ of $t$-setwise (resp. $t$-pointwise) intersecting permutations, $|\mathcal{F}| \leq (n-t)!t!$ (resp. $|\mathcal{F}| \leq (n-t)!$). Ellis (["Setwise intersecting families of permutation". { Journal of Combinatorial Theory, Series A}, 119(4):825-849, 2012.]), proved that for $n$ sufficiently large relative to $t$, $Sym(n)$ has the $t$-setwise intersecting property. Ellis also conjuctured that this result holds for all $n \geq t$. Ellis, Friedgut and Pilpel [Ellis, David, Ehud Friedgut, and Haran Pilpel. "Intersecting families of permutations." {Journal of the American Mathematical Society} 24(3):649-682, 2011.] also proved that for $n$ sufficiently large relative to $t$, $Sym(n)$ has the $t$-pointwise intersecting property. It is also conjectured that $Sym(n)$ has the $t$-pointwise intersecting propoperty for $n\geq 2t+1$. In this work, we prove these two conjectures for $Sym(n)$ when $t=2$.
Multidimensional permanents of polystochastic matrices
Published in Linear Algebra Appl. 586 (2020), 89-102
• View Publication
• BIB
A $d$-dimensional matrix is called \emph{$1$-polystochastic} if it is non-negative and the sum over each line equals~$1$. Such a matrix that has a single $1$ in each line and zeros elsewhere is called a \emph{$1$-permutation} matrix. A \emph{diagonal} of a $d$-dimensional matrix of order $n$ is a choice of $n$ elements, no two in the same hyperplane. The \emph{permanent} of a $d$-dimensional matrix is the sum over the diagonals of the product of the elements within the diagonal.
For a given order $n$ and dimension $d$, the set of $1$-polystochastic matrices forms a convex polytope that includes the $1$-permutation matrices within its set of vertices. For even $n$ and odd $d$, we give a construction for a class of $1$-permutation matrices with zero permanent. Consequently, we show that the set of $1$-polystochastic matrices with zero permanent contains at least $n^{n^{3/2}(1/2-o(1))}$ $1$-permutation matrices and contains a polytope of dimension at least $cn^{3/2}$ for fixed $c,d$ and even $n\to\infty$. We also provide counterexamples to a conjecture by Taranenko about the location of local extrema of the permanent.
For odd $d$, we give a construction of $1$-permutation matrices that decompose into a convex linear sum of positive diagonals. These combine with a theorem of Taranenko to provide counterexamples to a conjecture by Dow and Gibson generalising van der Waerden's conjecture to higher dimensions.
Diagonalization of Fix-Mahonian Matrices
Consider the regular representation of the sum over all permutations weighted by the sum of their descent, inversion, and fixed point multinomials. We compute the spectrum and the multiplicities of its elements of that matrix. Note that those multinomial statistics allow to apply the result on several permutation statistics like the number of fixed points, of descents, of inversions, and the major index at the same time.
Trimming the permutahedron to extend the parking space
Published
• View Publication
• BIB
Berget and Rhoades asked whether the permutation representation obtained by the action of $S_{n-1}$ on parking functions of length $n-1$ can be extended to a permutation action of $S_{n}$. We answer this question in the affirmative. We realize our module in two different ways. The first description involves binary Lyndon words and the second involves the action of the symmetric group on the lattice points of the trimmed standard permutahedron.
Duality of graded graphs through operads
Published in Annals of Combinatorics, 2021
• View Publication
• BIB
Pairs of graded graphs, together with the Fomin property of graded graph duality, are rich combinatorial structures providing among other a framework for enumeration. The prototypical example is the one of the Young graded graph of integer partitions, allowing us to connect number of standard Young tableaux and numbers of permutations. Here, we use operads, that algebraic devices abstracting the notion of composition of combinatorial objects, to build pairs of graded graphs. For this, we first construct a pair of graded graphs where vertices are syntax trees, the elements of free nonsymmetric operads. This pair of graphs is dual for a new notion of duality called $φ$-diagonal duality, similar to the ones introduced by Fomin. We also provide a general way to build pairs of graded graphs from operads, wherein underlying posets are analogous to the Young lattice. Some examples of operads leading to new pairs of graded graphs involving integer compositions, Motzkin paths, and $m$-trees are considered.
Troupes, Cumulants, and Stack-Sorting
Published
• View Publication
• BIB
Several sequences of free cumulants that count binary plane trees correspond to sequences of classical cumulants that count the decreasing versions of the same trees. Using two new operations on colored binary plane trees that we call insertion and decomposition, we prove that this surprising phenomenon holds for families of trees that we call troupes. We give a simple characterization of troupes, which provide a broad framework for generalizing several of the results known about West's stack-sorting map $s$. Indeed, we give new proofs of some of the main techniques that have been developed for understanding $s$; these new proofs are far more conceptual than the original ones, explain how the objects called valid hook configurations arise naturally, and generalize to troupes. For $t\in\{2,3\}$, we enumerate $t$-stack-sortable alternating permutations of odd length and $t$-stack-sortable permutations whose descents are all peaks.
The unexpected connection between troupes and cumulants provides a powerful new tool for analyzing the stack-sorting map that hinges on free probability theory. We give numerous applications of this method. For example, we show that if $σ\in S_{n-1}$ is chosen uniformly at random, then the expected value of $\text{des}(s(σ))+1$ is \[\left(3-\sum_{j=0}^n\frac{1}{j!}\right)n.\] Furthermore, the variance of $\text{des}(s(σ))+1$ is asymptotically $(2+2e-e^2)n$. We obtain similar results concerning the expected number of descents of postorder readings of decreasing colored binary plane trees. We also obtain improved estimates for $|s(S_n)|$ and an improved lower bound for the degree of noninvertibility of $s$. We give two novel formulas that convert from free to classical cumulants. The first is given by a sum over noncrossing partitions, and the second is given by a sum over $231$-avoiding valid hook configurations. We pose several open problems.
On a cyclic inequality with exponents and permutations, and its Shapiro-type analogue
Published
• View Publication
• BIB
We prove that the cyclic inequality $\sum\limits_{i=1}^{i=n}\left(\frac{x_i}{x_{i+1}}\right)^k\geq\sum\limits_{i=1}^{i=n}\frac{x_i}{x_{σ(i)}}$ holds for $k$ in a specific range dependant on the permutation $σ$. We also show that the same is not true for the Sahpiro-type generalizations.
Complete Edge-Colored Permutation Graphs
Published
• View Publication
• BIB
We introduce the concept of complete edge-colored permutation graphs as complete graphs that are the edge-disjoint union of "classical" permutation graphs. We show that a graph $G=(V,E)$ is a complete edge-colored permutation graph if and only if each monochromatic subgraph of $G$ is a "classical" permutation graph and $G$ does not contain a triangle with~$3$ different colors. Using the modular decomposition as a framework we demonstrate that complete edge-colored permutation graphs are characterized in terms of their strong prime modules, which induce also complete edge-colored permutation graphs. This leads to an $\mathcal{O}(|V|^2)$-time recognition algorithm. We show, moreover, that complete edge-colored permutation graphs form a superclass of so-called symbolic ultrametrics and that the coloring of such graphs is always a Gallai coloring.
On minimal degree of transitive permutation groups with stabiliser being a $2$-group
The minimal degree of a permutation group $G$ is defined as the minimal number of non-fixed points of a non-trivial element of $G$. In this paper we show that if $G$ is a transitive permutation group of degree $n$ having no non-trivial normal $2$-subgroups such that the stabiliser of a point is a $2$-group, then the minimal degree of $G$ is at least $\frac{2}{3}n$. The proof depends on the classification of finite simple groups.
The enumeration of extreme rigid honeycombs
Published
• View Publication
• BIB
Rigid tree honeycombs were introduced by Knutson, Tao, and Woodward and they were shown by Dykema, Collins, Timotin, and the authors to be sums of extreme rigid honeycombs, with uniquely determined summands up to permutations. Two extreme rigid honeycombs are essentially the same if they have proportional exit multiplicities and, up to this identification, there are countably many equivalence classes of such honeycombs. We describe two ways to approach the enumeration of these equivalence classes. The first method produces a (finite) list of all rigid tree honeycombs of fixed weight by looking at the locking patterns that can be obtained from a certain quadratic Diophantine equation. The second method constructs arbitrary rigid tree honeycombs from rigid overlays of two rigid tree honeycombs with strictly smaller weights. This allows, in principle, for an inductive construction of all rigid tree honeycombs starting with those of unit weight. We also show that some rigid overlays of two rigid tree honeycombs give rise to an infinite sequence of rigid tree honeycombs of increasing complexity but with a fixed number of nonzero exit multiplicities. This last result involves a new inflation/deflation construction that also produces other infinite sequences of rigid tree honeycombs.
The Worpitzky identity for the groups of signed and even-signed permutations
Published
• View Publication
• BIB
The well-known Worpitzky identity provides a connection between two bases of $\mathbb{Q}[x]$: The standard basis $(x+1)^n$ and the binomial basis ${{x+n-i} \choose {n}}$, where the Eulerian numbers for the Coxeter group of type $A$ (the symmetric group) serve as the entries of the transformation matrix. Brenti has generalized this identity to the Coxeter groups of types $B$ and $D$ (signed and even-signed permutations groups, respectively) using generating function techniques.
Motivated by Foata-Schützenberger and Rawlings' proof for the Worpitzky identity in the symmetric group, we provide combinatorial proofs of this identity and for their $q-$analogues in the Coxeter groups of types $B$ and $D$.
Lower bounds for superpatterns and universal sequences
Published
• View Publication
• BIB
A permutation $σ\in S_n$ is said to be $k$-universal or a $k$-superpattern if for every $π\in S_k$, there is a subsequence of $σ$ that is order-isomorphic to $π$. A simple counting argument shows that $σ$ can be a $k$-superpattern only if $n\ge (1/e^2+o(1))k^2$, and Arratia conjectured that this lower bound is best-possible. Disproving Arratia's conjecture, we improve the trivial bound by a small constant factor. We accomplish this by designing an efficient encoding scheme for the patterns that appear in $σ$. This approach is quite flexible and is applicable to other universality-type problems; for example, we also improve a bound by Engen and Vatter on a problem concerning $(k+1)$-ary sequences which contain all $k$-permutations.
Card shuffling and $P$-partitions
Published
• View Publication
• BIB
In this expository article, we highlight the direct connection between card shuffling and the functions known as $P$-partitions that come from algebraic combinatorics. While many (but not all) of the results we discuss are known, we give a unified treatment. The key idea is this: the probability of obtaining a permutation $π$ from shelf shuffling is the probability that a random $P$-partition is sorted by $π$, and the probability of obtaining $π$ from riffle shuffling is the probability that a random $P$-partition is sorted by $π^{-1}$.
Catalan and Schröder permutations sortable by two restricted stacks
Published
• View Publication
• BIB
Pattern avoiding machines were introduced recently by Claesson, Cerbai and Ferrari as a particular case of the two-stacks in series sorting device. They consist of two restricted stacks in series, ruled by a right-greedy procedure and the stacks avoid some specified patterns. Some of the obtained results have been further generalized to Cayley permutations by Cerbai, specialized to particular patterns by Defant and Zheng, or considered in the context of functions over the symmetric group by Berlow. In this work we study pattern avoiding machines where the first stack avoids a pair of patterns of length 3 and investigate those pairs for which sortable permutations are counted by the (binomial transform of the) Catalan numbers and the Schröder numbers.
Harmonic bases for generalized coinvariant algebras
Published
• View Publication
• BIB
Let $k \leq n$ be nonnegative integers and let $λ$ be a partition of $k$. S. Griffin recently introduced a quotient $R_{n,λ}$ of the polynomial ring $\mathbb{Q}[x_1, \dots, x_n]$ in $n$ variables which simultaneously generalizes the Delta Conjecture coinvariant rings of Haglund-Rhoades-Shimozono and the cohomology rings of Springer fibers studied by Tanisaki and Garsia-Procesi. We describe the space $V_{n,λ}$ of harmonics attached to $R_{n,λ}$ and produce a harmonic basis of $R_{n,λ}$ indexed by certain ordered set partitions $\mathcal{OP}_{n,λ}$. The combinatorics of this basis is governed by a new extension of the {\em Lehmer code} of a permutation to $\mathcal{OP}_{n, λ}$.
Skew characters and cyclic sieving
Published in Forum of Mathematics, Sigma , Volume 9 , 2021 , e41
• View Publication
• BIB
In 2010, B. Rhoades proved that promotion together with the fake-degree polynomial associated with rectangular standard Young tableaux give an instance of the cyclic sieving phenomenon.
We extend this result to all skew standard Young tableaux where the fake-degree polynomial evaluates to nonnegative integers at roots of unity, albeit without being able to specify an explicit group action. Put differently, we determine in which cases a skew character of the symmetric group carries a permutation representation of the cyclic group.
We use a method proposed by N. Amini and the first author, which amounts to establishing a bound on the number of border-strip tableaux of skew shape.
Finally, we apply our results to the invariant theory of tensor powers of the adjoint representation of the general linear group. In particular, we prove the existence of a bijection between permutations and J. Stembridge's alternating tableaux, which intertwines rotation and promotion.
On subspaces of Kloosterman zeros and permutations of the form $L_1(x^{-1})+L_2(x)$
Permutations of the form $F=L_1(x^{-1})+L_2(x)$ with linear functions $L_1,L_2$ are closely related to several interesting questions regarding CCZ-equivalence and EA-equivalence of the inverse function. In this paper, we show that $F$ cannot be a permutation if the kernel of $L_1$ or $L_2$ is too large. A key step of the proof is a new result on the maximal size of a subspace of $\mathbb{F}_{2^n}$ that contains only Kloosterman zeros, i.e. a subspace $V$ such that $K_n(v)=0$ for all $v \in V$ where $K_n(v)$ denotes the Kloosterman sum of $v$.}
Periodicity of lively quantum walks on cycles with generalized Grover coin
Published
• View Publication
• BIB
In this paper we extend the study of three state lively quantum walks on cycles by considering the coin operator as a linear sum of permutation matrices, which is a generalization of the Grover matrix. First we provide a complete characterization of orthogonal matrices of order $3\times 3$ which are linear sum of permutation matrices. Consequently, we determine several groups of complex, real and rational orthogonal matrices. We establish that an orthogonal matrix of order $3\times 3$ is a linear sum of permutation matrices if and only if it is permutative. Finally we determine period of lively quantum walk on cycles when the coin operator belongs to the group of orthogonal (real) linear sum of permutation matrices.
Scaling and local limits of Baxter permutations through coalescent-walk processes
Published in LIPIcs, Vol. 159, 7:1-7:18, AofA 2020
• View Publication
• BIB
Baxter permutations, plane bipolar orientations, and a specific family of walks in the non-negative quadrant are well-known to be related to each other through several bijections. We introduce a further new family of discrete objects, called coalescent-walk processes, that are fundamental for our results. We relate these new objects with the other previously mentioned families introducing some new bijections. We prove joint Benjamini--Schramm convergence (both in the annealed and quenched sense) for uniform objects in the four families. Furthermore, we explicitly construct a new fractal random measure of the unit square, called the coalescent Baxter permuton and we show that it is the scaling limit (in the permuton sense) of uniform Baxter permutations. To prove the latter result, we study the scaling limit of the associated random coalescent-walk processes. We show that they converge in law to a continuous random coalescent-walk process encoded by a perturbed version of the Tanaka stochastic differential equation. This result has connections (to be explored in future projects) with the results of Gwynne, Holden, Sun (2016) on scaling limits (in the Peanosphere topology) of plane bipolar triangulations. We further prove some results that relate the limiting objects of the four families to each other, both in the local and scaling limit case.
The feasible region for consecutive patterns of permutations is a cycle polytope
Published in Sém. Lothar. Combin. (FPSAC 2020) 84B, Art. 30, 12 pp
• Search Publication
We study proportions of consecutive occurrences of permutations of a given size. Specifically, the feasible limits of such proportions on large permutations form a region, called feasible region. We show that this feasible region is a polytope, more precisely the cycle polytope of a specific graph called overlap graph. This allows us to compute the dimension, vertices and faces of the polytope.
Finally, we prove that the limits of classical occurrences and consecutive occurrences are independent, in some sense made precise in the extended abstract. As a consequence, the scaling limit of a sequence of permutations induces no constraints on the local limit and vice versa.