permutation ↗ reference
4945 papers tagged with this keyword
The $μ$-permanent, a new graph labeling, and a known integer sequence
Let $A=(a_{ij})$ be an $n$-by-$n$ matrix. For any real number $μ$, we define the polynomial $$P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; ,$$ as the $μ$-permanent of $A$, where $\ell(σ)$ is the number of inversions of the permutation $σ$ in the symmetric group $S_n$. In this note, motivated by this notion, we discuss a new graph labeling for trees whose matrices satisfy certain $μ$-permanental identities. We relate the number of labelings of a path with a known integer sequence. Several examples are provided.
Markov Chains from Descent Operators on Combinatorial Hopf Algebras
We develop a general theory for Markov chains whose transition probabilities are the coefficients of descent operators on combinatorial Hopf algebras. These model the breaking-then-recombining of combinational objects. Examples include the various card-shuffles of Diaconis, Fill and Pitman, Fulman's restriction-then-induction chains on the representations of the symmetric group, and a plethora of new chains on trees, partitions and permutations. The eigenvalues of these chains can be calculated in a uniform manner using Hopf algebra structure theory, and there is a simple expression for their stationary distributions. For an important subclass of chains analogous to the top-to-random shuffle, we derive a full right eigenbasis, from which follow exact expressions for expectations of certain statistics of interest. This greatly generalises the coproduct-then-product chains previously studied in joint work with Persi Diaconis and Arun Ram.
Subalgebras of Solomon's descent algebra based on alternating runs
Published in Journal of Combinatorial Theory, Series A, 158(2018), 36-65
• View Publication
• BIB
The number of alternating runs is a natural permutation statistic. We show it can be used to define some commutative subalgebras of the symmetric group algebra, and more precisely of the descent algebra. The Eulerian peak algebras naturally appear as subalgebras of our run algebras. We also calculate the orthogonal idempotents for run algebras in terms of noncommutative symmetric functions.
Permutation Polynomials of the form ${\tt X}^r(a+{\tt X}^{2(q-1)})$ --- A Nonexistence Result
Let $f={\tt X}^r(a+{\tt X}^{2(q-1)})\in{\Bbb F}_{q^2}[{\tt X}]$, where $a\in{\Bbb F}_{q^2}^*$ and $r\ge 1$. The parameters $(q,r,a)$ for which $f$ is a permutation polynomial (PP) of ${\Bbb F}_{q^2}$ have been determined in the following cases: (i) $a^{q+1}=1$; (ii) $r=1$; (iii) $r=3$. These parameters together form three infinite families. For $r>3$ (there is a good reason not to consider $r=2$) and $a^{q+1}\ne 1$, computer search suggested that $f$ is not a PP of ${\Bbb F}_{q^2}$ when $q$ is not too small relative to $r$. In the present paper, we prove that this claim is true. In particular, for each $r>3$, there are only finitely many $(q,a)$, where $a^{q+1}\ne 1$, for which $f$ is a PP of ${\Bbb F}_{q^2}$.
Geometry of Permutation Limits
Published in Combinatorica 39 (2019), 933--960
• View Publication
• BIB
This paper initiates a limit theory of permutation valued processes, building on the recent theory of permutons. We apply this to study the asymptotic behaviour of random sorting networks. We prove that the Archimedean path, the conjectured limit of random sorting networks, is the unique path from the identity to the reverse permuton having minimal energy in an appropriate metric. Together with a recent large deviations result (Kotowski, 2016), it implies the Archimedean limit for the model of relaxed random sorting networks.
Color groups of colorings of $N$-planar modules
Published in J. Phys.: Conf. Ser. 809 (2017) 012029
• View Publication
• BIB
A submodule of a $\mathbb{Z}$-module determines a coloring of the module where each coset of the submodule is associated to a unique color. Given a submodule coloring of a $\mathbb{Z}$-module, the group formed by the symmetries of the module that induces a permutation of colors is referred to as the color group of the coloring. In this contribution, a method to solve for the color groups of colorings of $N$-planar modules where $N=4$ and $N=6$ are given. Examples of colorings of rectangular lattices and of the vertices of the Ammann-Beenker tiling are given to exhibit how these methods may be extended to the general case.
Enumerating cycles in the graph of overlapping permutations
Published
• View Publication
• BIB
The graph of overlapping permutations is a directed graph that is an analogue to the De Bruijn graph. It consists of vertices that are permutations of length $n$ and edges that are permutations of length $n+1$ in which an edge $a_1\cdots a_{n+1}$ would connect the standardization of $a_1\cdots a_n$ to the standardization of $a_2\cdots a_{n+1}$. We examine properties of this graph to determine where directed cycles can exist, to count the number of directed $2$-cycles within the graph, and to enumerate the vertices that are contained within closed walks and directed cycles of more general lengths.
The probability of avoiding consecutive patterns in the Mallows distribution
Published
• View Publication
• BIB
We use various combinatorial and probabilistic techniques to study growth rates for the probability that a random permutation from the Mallows distribution avoids consecutive patterns. The Mallows distribution behaves like a $q$-analogue of the uniform distribution by weighting each permutation $π$ by $q^{inv(π)}$, where $inv(π)$ is the number of inversions in $π$ and $q$ is a positive, real-valued parameter. We prove that the growth rate exists for all patterns and all $q>0$, and we generalize Goulden and Jackson's cluster method to keep track of the number of inversions in permutations avoiding a given consecutive pattern. Using singularity analysis, we approximate the growth rates for length-3 patterns, monotone patterns, and non-overlapping patterns starting with 1, and we compare growth rates between different patterns. We also use Stein's method to show that, under certain assumptions on $q$, the length of $σ$, and $inv(σ)$, the number of occurrences of a given pattern $σ$ is well approximated by the normal distribution.
$q$-log-convexity from linear transformations and polynomials with only real zeros
Published in European Journal of Combinatorics, Volume 73, October 2018, Pages 231-246
• View Publication
• BIB
In this paper, we mainly study the stability of iterated polynomials and linear transformations preserving the strong $q$-log-convexity of polynomials
Let $[T_{n,k}]_{n,k\geq0}$ be an array of nonnegative numbers. We give some criteria for the linear transformation $$y_n(q)=\sum_{k=0}^nT_{n,k}x_k(q)$$ preserving the strong $q$-log-convexity (resp. log-convexity). As applications, we derive that some linear transformations (for instance, the Stirling transformations of two kinds, the Jacobi-Stirling transformations of two kinds, the Legendre-Stirling transformations of two kinds, the central factorial transformations, and so on) preserve the strong $q$-log-convexity (resp. log-convexity) in a unified manner. In particular, we confirm a conjecture of Lin and Zeng, and extend some results of Chen {\it et al.}, and Zhu for strong $q$-log-convexity of polynomials, and some results of Liu and Wang for transformations preserving the log-convexity.
The stability property of iterated polynomials implies the $q$-log-convexity. By applying the method of interlacing of zeros, we also present two criteria for the stability of the iterated Sturm sequences and $q$-log-convexity of polynomials. As consequences, we get the stabilities of iterated Eulerian polynomials of type $A$ and $B$, and their $q$-analogs. In addition, we also prove that the generating functions of alternating runs of type $A$ and $B$, the longest alternating subsequence and up-down runs of permutations form a $q$-log-convex sequence, respectively.
Pattern-Avoiding Polytopes
Published
• View Publication
• BIB
Two well-known polytopes whose vertices are indexed by permutations in the symmetric group $\mathfrak{S}_n$ are the permutohedron $P_n$ and the Birkhoff polytope $B_n$. We consider polytopes $P_n(Π)$ and $B_n(Π)$, whose vertices correspond to the permutations in $\mathfrak{S}_n$ avoiding a set of patterns $Π$. For various choices of $Π$, we explore the Ehrhart polynomials and $h^*$-vectors of these polytopes as well as other aspects of their combinatorial structure.
For $P_n(Π)$, we consider all subsets $Π\subseteq \mathfrak{S}_3$ and are able to provide results in most cases. To illustrate, $P_n(123,132)$ is a Pitman-Stanley polytope, the number of interior lattice points in $P_n(132,312)$ is a derangement number, and the normalized volume of $P_n(123,231,312)$ is the number of trees on $n$ vertices.
The polytopes $B_n(Π)$ seem much more difficult to analyze, so we focus on four particular choices of $Π$. First we show that the $B_n(231,321)$ is exactly the Chan-Robbins-Yuen polytope. Next we prove that for any $Π$ containing $\{123,312\}$ we have $h^*(B_n(Π))=1$. Finally, we study $B_n(132,312)$ and $\widetilde{B}_n(123)$, where the tilde indicates that we choose vertices corresponding to alternating permutations avoiding the pattern $123$. In both cases we use order complexes of posets and techniques from toric algebra to construct regular, unimodular triangulations of the polytopes. The posets involved turn out to be isomorphic to the lattices of Young diagrams contained in a certain shape, and this permits us to give an exact expression for the normalized volumes of the corresponding polytopes via the hook formula. Finally, Stanley's theory of $(P,ω)$-partitions allows us to show that their $h^*$-vectors are symmetric and unimodal.
Various questions and conjectures are presented throughout.
Odd extensions of transitive groups via symmetric graphs
Published
• View Publication
• BIB
When dealing with symmetry properties of mathematical objects, one of the fundamental questions is to determine their full automorphism group. In this paper this question is considered in the context of even/odd permutations dichotomy. More precisely: when is it that existence of automorphisms acting as even permutations on the vertex set of a graph, called {\em even automorphisms}, forces existence of automorphisms that act as odd permutations, called {\em odd automorphisms}. As a first step towards resolving the above question, a complete information on existence of odd automorphisms in cubic symmetric graphs is given.
Prolific permutations and permuted packings: downsets containing many large patterns
Published in J. Combin. Theory A., 153:98-121, 2018
• View Publication
• BIB
A permutation of n letters is k-prolific if each (n-k)-subset of the letters in its one-line notation forms a unique pattern. We present a complete characterization of k-prolific permutations for each k, proving that k-prolific permutations of m letters exist for every m \ge k^2/2+2k+1, and that none exist of smaller size. Key to these results is a natural bijection between k-prolific permutations and certain "permuted" packings of diamonds.
An elementary proof of Bevan's theorem on the growth of grid classes of permutations
Published
• View Publication
• BIB
Bevan established that the growth rate of a monotone grid class of permutations is equal to the square of the spectral radius of a related bipartite graph. We give an elementary and self-contained proof of a generalization of this result using only Stirling's Formula, the method of Lagrange multipliers, and the singular value decomposition of matrices.
On the growth of merges and staircases of permutation classes
Published
• View Publication
• BIB
There is a well-known upper bound on the growth rate of the merge of two permutation classes. Curiously, there is no known merge for which this bound is not achieved. Using staircases of permutation classes, we provide sufficient conditions for this upper bound to be achieved. In particular, our results apply to all merges of principal permutation classes. We end by demonstrating how our techniques can be used to reprove a result of Bóna.
Permutation graphs and unique games
We study the value of unique games as a graph-theoretic parameter. This is obtained by labeling edges with permutations. We describe the classical value of a game as well as give a necessary and sufficient condition for the existence of an optimal assignment based on a generalisation of permutation graphs and graph bundles. In considering some special cases, we relate XOR games to EDGE BIPARTIZATION, and define an edge-labeling with permutations from Latin squares.
Longest monotone subsequences and rare regions of pattern-avoiding permutations
Published in Electronic Journal of Combinatorics, Volume 24 (2017), Issue 4, Paper #P4.13
• View Publication
• BIB
We consider the distributions of the lengths of the longest monotone and alternating subsequences in classes of permutations of size $n$ that avoid a specific pattern or set of patterns, with respect to the uniform distribution on each such class. We obtain exact results for any class that avoids two patterns of length 3, as well as results for some classes that avoid one pattern of length 4 or more. In our results, the longest monotone subsequences have expected length proportional to $n$ for pattern-avoiding classes, in contrast with the $\sqrt n$ behaviour that holds for unrestricted permutations.
In addition, for a pattern $τ$ of length $k$, we scale the plot of a random $τ$-avoiding permutation down to the unit square and study the "rare region," which is the part of the square that is exponentially unlikely to contain any points. We prove that when $τ_1>τ_k$, the complement of the rare region is a closed set that contains the main diagonal of the unit square. For the case $τ_1=k,$ we also show that the lower boundary of the part of the rare region above the main diagonal is a curve that is Lipschitz continuous and strictly increasing on $[0,1]$.
Forbidden Berge Hypergraphs
Published
• View Publication
• BIB
A \emph{simple} matrix is a (0,1)-matrix with no repeated columns. For a (0,1)-matrix $F$, we say that a (0,1)-matrix $A$ has $F$ as a \emph{Berge hypergraph} if there is a submatrix $B$ of $A$ and some row and column permutation of $F$, say $G$, with $G\le B$. Letting $||A||$ denote the number of columns in $A$, we define the extremal function $Bh(m,{ F})=\max\{||A||\,:\, A \hbox{ is }m\hbox{-rowed simple matrix with no Berge hypergraph }F\}$. We determine the asymptotics of $Bh(m,F)$ for all $3$- and $4$-rowed $F$ and most $5$-rowed $F$. For certain $F$, this becomes the problem of determining the maximum number of copies of $K_r$ in a $m$-vertex graph that has no $K_{s,t}$ subgraph, a problem studied by Alon and Shinkleman.
Polytopes of Stochastic Tensors
Published in Ann. Funct. Anal. 7, no. 3 (2016), 386-393
• View Publication
• BIB
Considering $n\times n\times n$ stochastic tensors $(a_{ijk})$ (i.e., nonnegative hypermatrices in which every sum over one index $i$, $j$, or $k$, is 1), we study the polytope ($Ω_{n}$) of all these tensors, the convex set ($L_n$) of all tensors in $Ω_{n}$ with some positive diagonals, and the polytope ($Δ_n$) generated by the permutation tensors. We show that $L_n$ is almost the same as $Ω_{n}$ except for some boundary points. We also present an upper bound for the number of vertices of $Ω_{n}$.
Homotopy type of circle graphs complexes motivated by extreme Khovanov homology
Published
• View Publication
• BIB
It was proven by González-Meneses, Manchón and Silvero that the extreme Khovanov homology of a link diagram is isomorphic to the reduced (co)homology of the independence simplicial complex obtained from a bipartite circle graph constructed from the diagram. In this paper we conjecture that this simplicial complex is always homotopy equivalent to a wedge of spheres. In particular, its homotopy type, if not contractible, would be a link invariant and it would imply that the extreme Khovanov homology of any link diagram does not contain torsion. We prove the conjecture in many special cases and find it convincing to generalize it to every circle graph (intersection graph of chords in a circle). In particular, we prove it for the families of cactus, outerplanar, permutation and non-nested graphs. Conversely, we also give a method for constructing a permutation graph whose independence simplicial complex is homotopy equivalent to any given finite wedge of spheres. We also present some combinatorial results on the homotopy type of finite simplicial complexes and a theorem generalizing previous results by Csorba, Nagel and Reiner, Jonsson and Barmak. We study the implications of our results to Knot Theory; more precisely, we compute the real-extreme Khovanov homology of torus links $T(3,q)$ and obtain examples of $H$-thick knots whose extreme Khovanov homology groups are separated either by one or two gaps as long as desired.
Square-free Discriminants of Matrices and the Generalized Spectral Characterizations of Graphs
Let $S_n(\mathbb{Z})$ and $O_n(\mathbb{Q})$ denote the set of all $n\times n$ symmetric matrices over the ring of integers $\mathbb{Z}$ and the set of all $n\times n$ orthogonal matrices over the field of rational numbers $\mathbb{Q}$, respectively. The paper is mainly concerned with the following problem: Given a matrix $A\in {S_n(\mathbb{Z})}$. How can one find all rational orthogonal matrices $Q\in{O_n(\mathbb{Q})}$ such that $Q^TAQ\in {S_n(\mathbb{Z})}$, and in particular, when does $Q^TAQ\in {S_n(\mathbb{Z})}$ with $Q\in{O_n(\mathbb{Q})}$ imply that $Q$ is \emph{a signed permutation matrix} (i.e., the matrix obtained from a permutation matrix $P$ by replacing each 1 in $P$ with 1 or $-1$)?
A surprisingly simple answer was given in terms of whether the discriminant of the characteristic polynomial of $A$ is odd and square-free, which partially answers the above questions. More precisely, let $Δ_A=\pm \res(φ,φ')$ be \emph{the discriminant of matrix $A$}, where $\res(φ,φ')$ is \emph{the resultant} of the characteristic polynomial $φ$ of $A$ and its derivative $φ'$. We show that if $Δ_A$ is odd and square-free, then $Q^TAQ\in {S_n(\mathbb{Z})}$ with $Q\in{O_n(\mathbb{Q})}$ implies that $Q$ is a signed permutation matrix. As an application, we present a simple and efficient method for testing whether a graph is determined by the generalized spectrum, which significantly extends our previous work.