permutation ↗ reference
4849 papers tagged with this keyword
Longest increasing subsequences and log concavity
Let $π$ be a permutation of $[n]=\{1,\dots,n\}$ and denote by $\ell(π)$ the length of a longest increasing subsequence of $π$. Let $\ell_{n,k}$ be the number of permutations $π$ of $[n]$ with $\ell(π)=k$. Chen conjectured that the sequence $\ell_{n,1},\ell_{n,2},\dots,\ell_{n,n}$ is log concave for every fixed positive integer $n$. We conjecture that the same is true if one is restricted to considering involutions and we show that these two conjectures are closely related. We also prove various analogues of these conjectures concerning permutations whose output tableaux under the Robinson-Schensted algorithm have certain shapes. In addition, we present a proof of Deift that part of the limiting distribution is log concave. Various other conjectures are discussed.
Unlabeled Signed Graph Coloring
Published
• View Publication
• BIB
We extend the work of Hanlon on the chromatic polynomial of an unlabeled graph to define the unlabeled chromatic polynomial of an unlabeled signed graph. Explicit formulas are presented for labeled and unlabeled signed chromatic polynomials as summations over distinguished order-ideals of the signed partition lattice. We also define the quotient of a signed graph by a signed permutation, and show that its signed graphic arrangement is closely related to an induced arrangement on a distinguished subspace. Lastly, a formula for the number of unlabeled acyclic orientations of a signed graph is presented which recalls classical reciprocity theorems of Stanley and Zaslavsky.
Increasing the minimum distance of codes by twisting
Published
• View Publication
• BIB
Twisted permutation codes, introduced recently by the second and third authors, are frequency permutation arrays. They are similar to repetition permutation codes, in that they are obtained by a repetition construction applied to a smaller code. It was previously shown that the minimum distance of a twisted permutation code is at least the minimum distance of a corresponding repetition permutation code, but in some instances can be larger. We construct two new infinite families of twisted permutation codes with minimum distances strictly greater than those for the corresponding repetition permutation codes.
Flexible Toggles and Symmetric Invertible Asynchronous Elementary Cellular Automata
Published
• View Publication
• BIB
A sequential dynamical system (SDS) consists of a graph $G$ with vertices $v_1,v_2,\ldots,v_n$, a state set $A$, a collection of "vertex functions" $\{f_{v_i}\}_{i=1}^n$, and a permutation $π\in S_n$ that specifies how to compose these functions to yield the SDS map $[G,\{f_{v_i}\}_{i=1}^n,π]\colon A^n\to A^n$. In this paper, we study symmetric invertible SDS defined over the cycle graph $C_n$ using the set of states $\mathbb F_2$. These are, in other words, asynchronous elementary cellular automata (ECA) defined using ECA rules 150 and 105. Each of these SDS defines a group action on the set $\mathbb F_2^n$ of $n$-bit binary vectors. Because the SDS maps are products of involutions, this relates to \emph{generalized toggle groups}, which Striker recently defined. In this paper, we further generalize the notion of a generalized toggle group to that of a \emph{flexible toggle group}; the SDS maps we consider are examples of Coxeter elements of flexible toggle groups.
Our main result is the complete classification of the dynamics of symmetric invertible SDS defined over cycle graphs using the set of states $\mathbb F_2$ and the identity update order $π=123\cdots n$. More precisely, if $T$ denotes the SDS map of such an SDS, then we obtain an explicit formula for $|\text{Per}_r(T)|$, the number of periodic points of $T$ of period $r$, for every positive integer $r$. It turns out that if we fix $r$ and vary $n$ and $T$, then $|\text{Per}_r(T)|$ only takes at most three nonzero values.
From Grassmann necklaces to restricted permutations and back again
Published
• View Publication
• BIB
We study the commutative algebras $Z_{JK}$ appearing in Brown and Goodearl's extension of the $\mathcal{H}$-stratification framework, and show that if $A$ is the single parameter quantized coordinate ring of $M_{m,n}$, $GL_n$ or $SL_n$, then the algebras $Z_{JK}$ can always be constructed in terms of centres of localizations. The main purpose of the $Z_{JK}$ is to study the structure of the topological space $spec(A)$, which remains unknown for all but a few low-dimensional examples. We explicitly construct the required denominator sets using two different techniques (restricted permutations and Grassmann necklaces) and show that we obtain the same sets in both cases. As a corollary, we obtain a simple formula for the Grassmann necklace associated to a cell of totally nonnegative real $m\times n$ matrices in terms of its restricted permutation.
Preimages under the Stack-Sorting Algorithm
Published in Graphs Combin., 33 (2017), 103-122
• View Publication
• BIB
We use a method for determining the number of preimages of any permutation under the stack-sorting map in order to obtain recursive upper bounds for the numbers $W_t(n)$ and $W_t(n,k)$ of $t$-stack sortable permutations of length $n$ and $t$-stack sortable permutations of length $n$ with exactly $k$ descents. From these bounds, we are able to significantly improve the best known upper bounds for $\displaystyle{\lim_{n\to\infty}\sqrt[n]{W_t(n)}}$ when $t=3$ and $t=4$.
Enumeration of Corners in Tree-like Tableaux and a Conjectural (a,b)-analogue
In this paper, we confirm a conjecture of Laborde-Zubieta on the enumeration of corners in tree-like tableaux. Our proof is based on Aval, Boussicault and Nadeau's bijection between tree-like tableaux and permutation tableaux, and Corteel and Nadeau's bijection between permutation tableaux and permutations. This last bijection sends a corner in permutation tableaux to an ascent followed by a descent in permutations, this enables us to enumerate the number of corners in permutation tableaux, and thus to completely solve L.-Z.'s conjecture. Moreover, we give a bijection between corners and runs of size 1 in permutations, which gives an alternative proof of the enumeration of corners. Finally, we introduce an ($a$,$b$)-analogue of this enumeration, and explain the implications on the PASEP.
Enumeration of Corners in Tree-like Tableaux
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Combinatorics (December 2, 2016) dmtcs:1408
• View Publication
• BIB
In this paper, we confirm conjectures of Laborde-Zubieta on the enumeration of corners in tree-like tableaux and in symmetric tree-like tableaux. In the process, we also enumerate corners in (type $B$) permutation tableaux and (symmetric) alternative tableaux. The proof is based on Corteel and Nadeau's bijection between permutation tableaux and permutations. It allows us to interpret the number of corners as a statistic over permutations that is easier to count. The type $B$ case uses the bijection of Corteel and Kim between type $B$ permutation tableaux and signed permutations. Moreover, we give a bijection between corners and runs of size 1 in permutations, which gives an alternative proof of the enumeration of corners. Finally, we introduce conjectural polynomial analogues of these enumerations, and explain the implications on the PASEP.
Slicings of parallelogram polyominoes: Catalan, Schröder, Baxter, and other sequences
Published
• View Publication
• BIB
We provide a new succession rule (i.e. generating tree) associated with Schröder numbers, that interpolates between the known succession rules for Catalan and Baxter numbers. We define Schröder and Baxter generalizations of parallelogram polyominoes, called slicings, which grow according to these succession rules. In passing, we also exhibit Schröder subclasses of Baxter classes, namely a Schröder subset of triples of non-intersecting lattice paths, a new Schröder subset of Baxter permutations, and a new Schröder subset of mosaic floorplans. Finally, we define two families of subclasses of Baxter slicings: the $m$-skinny slicings and the $m$-row-restricted slicings, for $m \in \mathbb{N}$. Using functional equations and the kernel method, their generating functions are computed in some special cases, and we conjecture that they are algebraic for any $m$.
Corners in tree-like tableaux
Published
• View Publication
• BIB
In this paper, we study tree--like tableaux, combinatorial objects which exhibit a natural tree structure and are connected to the partially asymmetric simple exclusion process (PASEP). There was a conjecture made on the total number of corners in tree--like tableaux and the total number of corners in symmetric tree--like tableaux. In this paper, we prove the first conjecture leaving the proof of the second conjecture to the full version of this paper. Our proofs are based on the bijection with permutation tableaux or type--B permutation tableaux and consequently, we also prove results for these tableaux.
Constructing Permutation Arrays from Groups
Published
• View Publication
• BIB
Let M(n, d) be the maximum size of a permutation array on n symbols with pairwise Hamming distance at least d. We use various combinatorial, algebraic, and computational methods to improve lower bounds for M(n, d). We compute the Hamming distances of affine semilinear groups and projective semilinear groups, and unions of cosets of AGL(1,q) and PGL(2,q) with Frobenius maps to obtain new, improved lower bounds for M(n,d). We give new randomized algorithms. We give better lower bounds for M(n,d) also using new theorems concerning the contraction operation. For example, we prove a quadratic lower bound for M(n,n-2) for all n=2 (mod 3) such that n+1 is a prime power.
Mod-$φ$ convergence: Approximation of discrete measures and harmonic analysis on the torus
Published in Annales de l'Institut Fourier, Volume 70 (2020) no. 3, pp. 1115-1197
• View Publication
• BIB
In this paper, we relate the framework of mod-$φ$ convergence to the construction of approximation schemes for lattice-distributed random variables. The point of view taken here is that of Fourier analysis in the Wiener algebra, allowing the computation of asymptotic equivalents in the local, Kolmogorov and total variation distances. By using signed measures instead of probability measures, we are able to construct better approximations of discrete lattice distributions than the standard Poisson approximation. This theory applies to various examples arising from combinatorics and number theory: number of cycles in (possibly coloured) permutations, number of prime divisors (possibly within different residue classes) of a random integer, number of irreducible factors of a random polynomial, etc. One advantage of the approach developed in this paper is that it allows us to deal with approximations in higher dimensions as well. In this setting, we can explicitly see the influence of the correlations between the components of the random vectors in our asymptotic formulas.
Computing derangement probabilities of the symmetric group acting on k-sets
Let $i(\infty,k)$ be the limiting proportion, as $n \rightarrow \infty$, of permutations in the symmetric group of degree $n$ that fix a $k$-set. We give an algorithm for computing $i(\infty,k)$ and state the values of $i(\infty,k)$ for $k \le 30$. These values are consistent with a conjecture of Peter Cameron that $i(\infty,k)$ is a decreasing function of $k$.
The CLLC conjecture holds for cyclic outer permutations
Recently, Gross et al. posed the LLC conjecture for the locally log-concavity of the genus distribution of every graph, and provided an equivalent combinatorial version, the CLLC conjecture, on the log-concavity of the generating function counting cycles of some permutation compositions. In this paper, we confirm the CLLC conjecture for cyclic permutations, with the aid of Hultman numbers and by applying the Hermite--Biehler theorem on the generating function of Stirling numbers of the first kind. This leads to a further conjecture that every local genus polynomial is real-rooted.
Between primitive and $2$-transitive: Synchronization and its friends
Published in Europ. Math. Soc. Surveys 4 (2017), 101-184
• View Publication
• BIB
An automaton is said to be synchronizing if there is a word in the transitions which sends all states of the automaton to a single state. Research on this topic has been driven by the Černý conjecture, one of the oldest and most famous problems in automata theory, according to which a synchronizing $n$-state automaton has a reset word of length at most $(n-1)^2$. The transitions of an automaton generate a transformation monoid on the set of states, and so an automaton can be regarded as a transformation monoid with a prescribed set of generators. In this setting, an automaton is synchronizing if the transitions generate a constant map. A permutation group $G$ on a set $Ω$ is said to synchronize a map $f$ if the monoid $\langle G,f\rangle$ generated by $G$ and $f$ is synchronizing in the above sense; we say $G$ is synchronizing if it synchronizes every non-permutation.
The classes of synchronizing groups and friends form an hierarchy of natural and elegant classes of groups lying strictly between the classes of primitive and $2$-homogeneous groups. These classes have been floating around for some years and it is now time to provide a unified reference on them. The study of all these classes has been prompted by the Černý conjecture, but it is of independent interest since it involves a rich mix of group theory, combinatorics, graph endomorphisms, semigroup theory, finite geometry, and representation theory, and has interesting computational aspects as well. So as to make the paper self-contained, we have provided background material on these topics. Our purpose here is to present results that show the connections between the various areas of mathematics mentioned above, we include a new result on the Černý conjecture, some challenges to finite geometers, some thoughts about infinite analogues, and a long list of open problems.
Pattern matching in $(213,231)$-avoiding permutations
Published
• View Publication
• BIB
Given permutations $σ\in S_k$ and $π\in S_n$ with $k<n$, the \emph{pattern matching} problem is to decide whether $π$ matches $σ$ as an order-isomorphic subsequence. We give a linear-time algorithm in case both $π$ and $σ$ avoid the two size-$3$ permutations $213$ and $231$. For the special case where only $σ$ avoids $213$ and $231$, we present a $O(max(kn^2,n^2\log(\log(n)))$ time algorithm. We extend our research to bivincular patterns that avoid $213$ and $231$ and present a $O(kn^4)$ time algorithm. Finally we look at the related problem of the longest subsequence which avoids $213$ and $231$.
Effective Invariant Theory of Permutation Groups using Representation Theory
Published in Volume 9270 of the series Lecture Notes in Computer Science pp 58-69, 2015
• View Publication
• BIB
Using the theory of representations of the symmetric group, we propose an algorithm to compute the invariant ring of a permutation group. Our approach have the goal to reduce the amount of linear algebra computations and exploit a thinner combinatorial description of the invariant ring.
An Erdős--Hajnal analogue for permutation classes
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (March 24, 2016) dmtcs:1328
• View Publication
• BIB
Let $\mathcal{C}$ be a permutation class that does not contain all layered permutations or all colayered permutations. We prove that there is a constant $c$ such that every permutation in $\mathcal{C}$ of length $n$ contains a monotone subsequence of length $cn$.
Number of right ideals and a $q$-analogue of indecomposable permutations
Published
• View Publication
• BIB
We prove that the number of right ideals of codimension $n$ in the algebra of noncommutative Laurent polynomials in two variables over the finite field $\mathbb F\_q$ is equal to $(q-1)^{n+1} q^{\frac{(n+1)(n-2)}{2}}\sum\_θq^{inv(θ)}$, where the sum is over all indecomposable permutations in $S\_{n+1}$ and where $inv(θ)$stands for the number of inversions of $θ$.
$2\times 2$ monotone grid classes are finitely based
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (February 11, 2016) dmtcs:1325
• View Publication
• BIB
In this note, we prove that all $2 \times 2$ monotone grid classes are finitely based, i.e., defined by a finite collection of minimal forbidden permutations. This follows from a slightly more general result about certain $2 \times 2$ (generalized) grid classes having two monotone cells in the same row.