permutation ↗ reference
4849 papers tagged with this keyword
The sorting index on colored permutations and even-signed permutations
Published
• View Publication
• BIB
We define a new statistic $\mathsf{sor}$ on the set of colored permutations $\mathsf{G}_{r,n}$ and prove that it has the same distribution as the length function. For the set of restricted colored permutations corresponding to the arrangements of $n$ non-attacking rooks on a fixed Ferrers shape we show that the following two sequences of set-valued statistics are joint equidistributed: $(\ell,\mathsf{Rmil}^0,\mathsf{Rmil}^1,...,\mathsf{Rmil}^{r-1}$, $\mathsf{Lmil}^0,\mathsf{Lmil}^1,...,\mathsf{Lmil}^{r-1}$, $\mathsf{Lmal}^0,\mathsf{Lmal}^1,...,\mathsf{Lmal}^{r-1}$, $\mathsf{Lmap}^0,\mathsf{Lmap}^1,...,\mathsf{Lmap}^{r-1})$ and $(\mathsf{sor},\mathsf{Cyc}^0,\mathsf{Cyc}^{r-1},...,\mathsf{Cyc}^{1}$, $\mathsf{Lmic}^0,\mathsf{Lmic}^{r-1},...,\mathsf{Lmic}^{1}$, $\mathsf{Lmal}^0,\mathsf{Lmal}^1,...,\mathsf{Lmal}^{r-1}$, $\mathsf{Lmap}^0,\mathsf{Lmap}^1,...,\mathsf{Lmap}^{r-1})$. Analogous results are also obtained for Coxeter group of type $D$. Our results extend recent results of Petersen, Chen-Gong-Guo and Poznanović.
The Random Transposition Dynamics on Random Regular Graphs and the Gaussian Free Field
Published
• View Publication
• BIB
A single permutation, seen as union of disjoint cycles, represents a regular graph of degree two. Consider $d$ many independent random permutations and superimpose their graph structures. It is a common model of a random regular (multi-) graph of degree $2d$. We consider the following dynamics. The dimension (i.e. size) of each permutation grows by coupled Chinese Restaurant Processes, while in time each permutation evolves according to the random transposition chain. Asymptotically in the size of the graph one observes a remarkable evolution of short cycles and linear eigenvalue statistics in dimension and time. In dimension, it was shown by Johnson and Pal (2014) that cycle counts are described by a Poisson field of Yule processes. Here, we give a Poisson random surface description in dimension and time of the limiting cycle counts for every $d$. As $d$ grows to infinity, the fluctuation of the limiting cycle counts, across dimension, converges to the Gaussian Free Field. In time this field is preserved by a stationary Gaussian dynamics. The laws of these processes are similar to eigenvalue fluctuations of the minor process of a real symmetric Wigner matrix whose coordinates evolve as i.i.d. stationary stochastic processes.
Near invariance of the hypercube
Published
• View Publication
• BIB
We give an almost-complete description of orthogonal matrices $M$ of order $n$ that "rotate a non-negligible fraction of the Boolean hypercube $C_n=\{-1,1\}^n$ onto itself," in the sense that $$P_{x\in C_n}(Mx\in C_n) \ge n^{-C},\mbox{ for some positive constant } C,$$ where $x$ is sampled uniformly over $C_n$. In particular, we show that such matrices $M$ must be very close to products of permutation and reflection matrices. This result is a step toward characterizing those orthogonal and unitary matrices with large permanents, a question with applications to linear-optical quantum computing.
A Markov growth process for Macdonald's distribution on reduced words
We give an algorithmic-bijective proof of Macdonald's reduced word identity in the theory of Schubert polynomials, in the special case where the permutation is dominant. Our bijection uses a novel application of David Little's generalized bumping algorithm. We also describe a Markov growth process for an associated probability distribution on reduced words. Our growth process can be implemented efficiently on a computer and allows for fast sampling of reduced words. We also discuss various partial generalizations and links to Little's work on the RSK algorithm.
On spectral properties for graph matching and graph isomorphism problems
Published
• View Publication
• BIB
Problems related to graph matching and isomorphisms are very important both from a theoretical and practical perspective, with applications ranging from image and video analysis to biological and biomedical problems. The graph matching problem is challenging from a computational point of view, and therefore different relaxations are commonly used. Although common relaxations techniques tend to work well for matching perfectly isomorphic graphs, it is not yet fully understood under which conditions the relaxed problem is guaranteed to obtain the correct answer.
In this paper we prove that the graph matching problem and its most common convex relaxation, where the matching domain of permutation matrices is substituted with its convex hull of doubly-stochastic matrices, are equivalent for a certain class of graphs, such equivalence being based on spectral properties of the corresponding adjacency matrices. We also derive results about the automorphism group of a graph, and provide fundamental spectral properties of the adjacency matrix.
Positive expressions for skew divided difference operators
Published
• View Publication
• BIB
For permutations $v,w \in \mathfrak S_n$, Macdonald defines the skew divided difference operators $\partial_{w/v}$ as the unique linear operators satisfying $\partial_w(PQ) = \sum_v v(\partial_{w/v}P) \cdot \partial_vQ$ for all polynomials $P$ and $Q$. We prove that $\partial_{w/v}$ has a positive expression in terms of divided difference operators $\partial_{ij}$ for $i<j$. In fact, we prove that the analogous result holds in the Fomin-Kirillov algebra $\mathcal E_n$, which settles a conjecture of Kirillov.
The 1/k-Eulerian polynomials and k-Stirling permutations
Published
• View Publication
• BIB
In this paper, we establish a connection between the 1/k-Eulerian polynomials introduced by Savage and Viswanathan (Electron. J. Combin. 19(2012), P9) and k-Stirling permutations. We also introduce the dual set of Stirling permutations.
Compositional inverses, complete mappings, orthogonal Latin squares and bent functions
We study compositional inverses of permutation polynomials, complete mappings, mutually orthogonal Latin squares, and bent vectorial functions. Recently it was obtained in [33] the compositional inverses of linearized permutation binomials over finite fields. It was also noted in [29] that computing inverses of bijections of subspaces have applications in determining the compositional inverses of certain permutation classes related to linearized polynomials. In this paper we obtain compositional inverses of a class of linearized binomials permuting the kernel of the trace map. As an application of this result, we give the compositional inverse of a class of complete mappings. This complete mapping class improves upon a recent construction given in [34]. We also construct recursively a class of complete mappings involving multi-trace functions. Finally we use these complete mappings to derive a set of mutually orthogonal Latin squares, and to construct a class of $p$-ary bent vectorial functions from the Maiorana-McFarland class.
Signatures of representations of Hecke algebras and rational Cherednik algebras
Published
• View Publication
• BIB
Determining whether an irreducible representation of a group (or $*$-algebra) admits a non-degenerate invariant, positive-definite Hermitian form is an important problem in representation theory. In this paper, we study a related notion: that of signatures. We study representations $S^λ(q)$ of $\mathcal{H}_{n}(q)$, the Hecke algebra of type $A$ ($|q| = 1$), and representations $M_{c}(λ)$ of $\mathbb{H}_{c}$, the rational Cherednik algebra of type $A$ ($c \in \mathbb{R}$), which have unique (up to scaling) invariant Hermitian forms (here $λ$ is a partition of $n$). The signature is the number of elements with positive norm minus the number of elements with negative norm, and we analogously define the signature character in the case that there is a natural grading on the module. We provide formulas for (1) signatures of modules over $\mathcal{H}_{n}(q)$ and (2) signature characters of modules over $\mathbb{H}_{c}$. We study the limit $c \rightarrow -\infty$, in which case the signature character has a simpler form in terms of inversions and descents of permutations in $S(n)$. We provide examples corresponding to some special shapes, and small values of $n$. Finally, when $q = e^{2 πi c}$, we show that the asymptotic signature character of the $\mathbb{H}_{c}$-module $M_{c}(τ)$ is the signature of the $\mathcal{H}_{n}(q)$-module $S^τ(q)$.
Upper bound on the block transposition diameter of the symmetric group
Given a generator set $S$ of the symmetric group ${\rm{Sym}}_n$, every permutation $π\in {\rm{Sym}_n}$ is a word (product of elements) of $S$. A positive integer $d(π)$ is associated with each $π\in{\rm{Sym}_n}$ taking the length of the shortest such word, and the $S$-diameter $d(S)$ is the maximum value of $d(π)$ with $π$ ranging over ${\rm{Sym_n}}$. The distance $d(π,ν)$ of two permutations $π,ν$ defined by $d(ν^{-1}\circπ)$ satisfies the axioms of a metric space. In this paper we consider the case where $S$ consists of all block transpositions of ${\rm{Sym_n}}$ and call $d(π)$ the block transposition distance of $π$. A strong motivation for the study of this special case comes from investigations of large-scale mutations of genome, where determining $d(π)$ is known as sorting the permutation $π$ by block transpositions. In the papers on this subject, toric equivalence classes often play a crucial role since $d(π)=d(ν)$ when $π$ and $ν$ are torically equivalent. A proof of this result can be found in the (unpublished) Hausen's Ph.D Dissertation thesis; see \cite{Ha}. Our main contribution is to obtain a bijective map on ${\rm{Sym}_n}$ from the toric equivalence that leaves the distances invariant. Using the properties of this map, we give an alternative proof of Hausen's result which actually fills a gap in the proof of the upper bound on $d(S)$ due to Eriksson and his coworkers; see \cite{EE}. We also revisit the proof of the key lemma \cite[Lemma 5,1]{EE}, giving more details and filling some gaps.
Sidon Sets, Difference Sets, and Codes in $ A_n $ Lattices
This chapter investigates the properties of (linear) codes in $ A_n $ lattices, the practical motivation for which is found in several communication scenarios, such as asymmetric channels, sticky-insertion channels, bit-shift channels, and permutation channels. In particular, a connection between these codes and notions of difference sets and Sidon sets in Abelian groups is demonstrated. It is shown that the $ A_n $ lattice admits a linear perfect code of radius $ 1 $ if and only if there exists an Abelian planar difference set of cardinality $ n + 1 $. Similarly, a direct link is given between linear codes of radius $ r $ in the $ A_n $ lattice and Sidon sets of order $ 2r $ and cardinality $ n + 1 $. Sidon sets of order $ 2r-1 $ are also represented geometrically in a similar way. Apart from providing geometric intuition about Sidon sets, this interpretation enables simple derivations of bounds on their parameters, which are either equivalent to, or improve upon the known bounds. In connection to the above, more general (non-planar) Abelian difference sets and perfect codes of radius $ r $ are also discussed.
Deflatability of Permutation Classes
A deflatable permutation class is one in which the simple permutations are contained in a proper subclass. Deflatable permutation classes are often easier to describe and enumerate than non-deflatable ones. Some theorems which guarantee non-deflatability are proved and examples of both deflatable and non-deflatable principal classes are given.
Permutation classes
This is a survey on permutation classes for the upcoming book Handbook of Enumerative Combinatorics.
A simple proof of a theorem of Schmerl and Trotter for permutations
Published
• View Publication
• BIB
When specialized to the context of permutations, Schmerl and Trotter's Theorem states that every simple permutation which is not a parallel alternation contains a simple permutation with one fewer entry. We give an elementary proof of this result.
The complexity of counting poset and permutation patterns
We introduce a notion of pattern occurrence that generalizes both classical permutation patterns as well as poset containment. Many questions about pattern statistics and avoidance generalize naturally to this setting, and we focus on functional complexity problems -- particularly those that arise by constraining the order dimensions of the pattern and text posets. We show that counting the number of induced, injective occurrences among dimension 2 posets is #P-hard; enumerating the linear extensions that occur in realizers of dimension 2 posets can be done in polynomial time, while for unconstrained dimension it is GI-complete; counting not necessarily induced, injective occurrences among dimension 2 posets is #P-hard; counting injective or not necessarily injective occurrences of an arbitrary pattern in a dimension 1 text is #P-hard, although it is in FP if the pattern poset is constrained to have bounded intrinsic width; and counting injective occurrences of a dimension 1 pattern in an arbitrary text is #P-hard, while it is in FP for bounded dimension texts. This framework easily leads to a number of open questions, chief among which are (1) is it #P-hard to count the number of occurrences of a dimension 2 pattern in a dimension 1 text, and (2) is it #P-hard to count the number of texts which avoid a given pattern?
The universal homogeneous binary tree
Published
• View Publication
• BIB
A partial order is called semilinear iff the upper bounds of each element are linearly ordered and any two elements have a common upper bound. There exists, up to isomorphism, a unique countable existentially closed semilinear order, which we denote by S2. We study the reducts of S2, that is, the relational structures with the same domain as S2 all of whose relations are first-order definable in S2. Our main result is a classification of the model-complete cores of the reducts of S2. From this, we also obtain a classification of reducts up to first-order interdefinability, which is equivalent to a classification of all closed permutation groups that contain the automorphism group of S2.
The Selberg integral and Young books
Published
• View Publication
• BIB
The Selberg integral is an important integral first evaluated by Selberg in 1944. Stanley found a combinatorial interpretation of the Selberg integral in terms of permutations. In this paper, new combinatorial objects "Young books" are introduced and shown to have a connection with the Selberg integral. This connection gives an enumeration formula for Young books. It is shown that special cases of Young books become standard Young tableaux of various shapes: shifted staircases, squares, certain skew shapes, and certain truncated shapes. As a consequence, product formulas for the number of standard Young tableaux of these shapes are obtained.
Permutation invariant lattices
Published in Discrete Mathematics, vol. 338 no. 8 (2015), pg. 1536--1541
• View Publication
• BIB
We say that a Euclidean lattice in $\mathbb R^n$ is permutation invariant if its automorphism group has non-trivial intersection with the symmetric group $S_n$, i.e., if the lattice is closed under the action of some non-identity elements of $S_n$. Given a fixed element $τ\in S_n$, we study properties of the set of all lattices closed under the action of $τ$: we call such lattices $τ$-invariant. These lattices naturally generalize cyclic lattices introduced by Micciancio, which we studied in a recent paper. Continuing our investigation, we discuss some basic properties of permutation invariant lattices, in particular proving that the subset of well-rounded lattices in the set of all $τ$-invariant lattices in $\mathbb R^n$ has positive co-dimension (and hence comprises zero proportion) for all $τ$ different from an $n$-cycle.
Profile and hereditary classes of ordered relational structures
Let $\mathfrak{C}$ be a class of finite combinatorial structures. The \textit{profile} of $\mathfrak{C}$ is the function $\varphi_{\mathfrak{C}}$ which counts, for every integer $n$, the number $\varphi_{\mathfrak{C}}(n)$ of members of $\mathfrak{C}$ defined on $n$ elements, isomorphic structures been identified. The \textit{generating function of} $\mathfrak{C}$ is $\mathcal {H}_{\mathfrak{C}}(x):=\sum_{n\geqq 0}\varphi_{\mathfrak{C}}(n)x^{n}$. Many results about the behavior of the function $\varphi_{\mathfrak{C}}$ have been obtained. Albert and Atkinson have shown that the generating series of several classes of permutations are algebraic. In this paper, we show how their results extend to classes of ordered binary relational structures; putting emphasis on the notion of hereditary well quasi order, we discuss some of their questions and answer one.
Partial duality of hypermaps
Published
• View Publication
• BIB
We introduce partial duality of hypermaps, which include the classical Euler-Poincaré duality as a particular case. Combinatorially, hypermaps may be described in one of three ways: as three involutions on the set of flags (bi-rotation system or $τ$-model), or as three permutations on the set of half-edges (rotation system or $σ$-model in orientable case), or as edge 3-coloured graphs. We express partial duality in each of these models. We give a formula for the genus change under partial duality.