permutation ↗ reference
4849 papers tagged with this keyword
Combinatorics of rectangulations: Old and new bijections
A rectangulation is a decomposition of a rectangle into finitely many rectangles. Via natural equivalence relations, rectangulations can be seen as combinatorial objects with a rich structure, with links to lattice congruences, flip graphs, polytopes, lattice paths, Hopf algebras, etc. In this paper, we first revisit the structure of the respective equivalence classes: weak rectangulations that preserve rectangle-segment adjacencies, and strong rectangulations that preserve rectangle-rectangle adjacencies. We thoroughly investigate posets defined by adjacency in rectangulations of both kinds, and unify and simplify known bijections between rectangulations and permutation classes. This yields a uniform treatment of mappings between permutations and rectangulations that unifies the results from earlier contributions, and emphasizes parallelism and differences between the weak and the strong cases. Then, we consider the special case of guillotine rectangulations, and prove that they can be characterized - under all known mappings between permutations and rectangulations - by avoidance of two mesh patterns that correspond to "windmills" in rectangulations. This yields new permutation classes in bijection with weak guillotine rectangulations, and the first known permutation class in bijection with strong guillotine rectangulations. Finally, we address enumerative issues and prove asymptotic bounds for several families of strong rectangulations.
Constructing rotatable permutations of $\mathbb{F}_{2^m}^3$ with $3$-homogeneous functions
In the literature, there are many results about permutation polynomials over finite fields. However, very few permutations of vector spaces are constructed although it has been shown that permutations of vector spaces have many applications in cryptography, especially in constructing permutations with low differential and boomerang uniformities.
In this paper, motivated by the butterfly structure \cite{perrin2016cryptanalysis} and the work of Qu and Li \cite{qu2023}, we investigate rotatable permutations from $\gf_{2^m}^3$ to itself with $d$-homogenous functions.
Based on the theory of equations of low degree, the resultant of polynomials, and some skills of exponential sums, we construct five infinite classes of $3$-homogeneous rotatable permutations from $\gf_{2^m}^3$ to itself, where $m$ is odd. Moreover, we demonstrate that the corresponding permutation polynomials of $\gf_{2^{3m}}$ of our newly constructed permutations of $\gf_{2^m}^3$ are QM-inequivalent to the known ones.
Entropy and curvature: beyond the Peres-Tetali conjecture
We study Markov chains with non-negative sectional curvature on finite metric spaces. Neither reversibility, nor the restriction to a particular combinatorial distance are imposed. In this level of generality, we prove that a 1-step contraction in the Wasserstein distance implies a 1-step contraction in relative entropy, by the same amount. Our result substantially strengthens a recent breakthrough of the second author, and has the advantage of being applicable to arbitrary scales. This leads to a time-varying refinement of the standard Modified Log-Sobolev Inequality (MLSI), which allows us to leverage the well-acknowledged fact that curvature improves at large scales. We illustrate this principle with several applications, including birth and death chains, colored exclusion processes, permutation walks, Gibbs samplers for high-temperature spin systems, and attractive zero-range dynamics. In particular, we prove a MLSI with constant equal to the minimal rate increment for the mean-field zero-range process, thereby answering a long-standing question.
Explicit Good Codes Approaching Distance 1 in Ulam Metric
The Ulam distance of two permutations on $[n]$ is $n$ minus the length of their longest common subsequence. In this paper, we show that for every $\varepsilon>0$, there exists some $α>0$, and an infinite set $Γ\subseteq \mathbb{N}$, such that for all $n\inΓ$, there is an explicit set $C_n$ of $(n!)^α$ many permutations on $[n]$, such that every pair of permutations in $C_n$ has pairwise Ulam distance at least $(1-\varepsilon)\cdot n$. Moreover, we can compute the $i^{\text{th}}$ permutation in $C_n$ in poly$(n)$ time and can also decode in poly$(n)$ time, a permutation $π$ on $[n]$ to its closest permutation $π^*$ in $C_n$, if the Ulam distance of $π$ and $π^*$ is less than $ \frac{(1-\varepsilon)\cdot n}{4} $.
Previously, it was implicitly known by combining works of Goldreich and Wigderson [Israel Journal of Mathematics'23] and Farnoud, Skachek, and Milenkovic [IEEE Transactions on Information Theory'13] in a black-box manner, that it is possible to explicitly construct $(n!)^{Ω(1)}$ many permutations on $[n]$, such that every pair of them have pairwise Ulam distance at least $\frac{n}{6}\cdot (1-\varepsilon)$, for any $\varepsilon>0$, and the bound on the distance can be improved to $\frac{n}{4}\cdot (1-\varepsilon)$ if the construction of Goldreich and Wigderson is directly analyzed in the Ulam metric.
On Maximum Chains in the Bruhat Order of A(n,2)
Published in Linear Algebra and its Applications, Volume 446, 1 April 2014, Pages 377-387
• View Publication
• BIB
Let $\mathcal{A}(R,S)$ denote the class of all matrices of zeros and ones with row sum vector $R$ and column sum vector~$S$. We introduce the notion of an inversion in a $(0,1)$--matrix. This definition extends the standard notion of an inversion of a permutation, in the sense that both notions agree on the class of permutation matrices. We prove that the number of inversions in a $(0,1)$--matrix is monotonic with respect to the secondary Bruhat order of the class $\mathcal{A}(R,S)$. We apply this result in establishing the maximum length of a chain in the Bruhat order of the class $\mathcal{A}(n,2)$ of $(0,1)$--matrices of order $n$ in which every row and every column has a sum of~$2$. We give algorithmic constructions of chains of maximum length in the Bruhat order of $\mathcal{A}(n,2)$.
A Solomon Mackey formula for graded bialgebras
Given a graded bialgebra $H$, we let $Δ^{\left[ k\right] }:H\rightarrow H^{\otimes k}$ and $m^{\left[ k\right] }:H^{\otimes k}\rightarrow H$ be its iterated (co)multiplications for all $k\in\mathbb{N}$. For any $k$-tuple $α=\left(
α_{1},α_{2},\ldots,α_{k}\right) \in\mathbb{N}^{k}$ of nonnegative integers, and any permutation $σ$ of $\left\{ 1,2,\ldots,k\right\} $, we consider the map $p_{α,σ}:=m^{\left[ k\right] }\circ P_α\circσ^{-1}\circΔ^{\left[ k\right] }:H\rightarrow H$, where $P_α$ denotes the projection of $H^{\otimes k}$ onto its multigraded component $H_{α_{1}}\otimes H_{α_{2}}\otimes\cdots\otimes H_{α_{k}}$, and where $σ^{-1}:H\rightarrow H$ permutes the tensor factors.
We prove formulas for the composition $p_{α,σ}\circ p_{β,τ}$ and the convolution $p_{α,σ}\star p_{β,τ}$ of two such maps. When $H$ is cocommutative, these generalize Patras's 1994 results (which, in turn, generalize Solomon's Mackey formula).
We also construct a combinatorial Hopf algebra $\operatorname*{PNSym}$ ("permuted noncommutative symmetric functions") that governs the maps $p_{α,σ}$ for arbitrary connected graded bialgebras $H$ in the same way as the well-known $\operatorname*{NSym}$ governs them in the cocommutative case. We end by outlining an application to checking identities for connected graded Hopf algebras.
A new perspective from hypertournaments to tournaments
A $k$-tournament $H$ on $n$ vertices is a pair $(V, A)$ for $2\leq k\leq n$, where $V(H)$ is a set of vertices, and $A(H)$ is a set of all possible $k$-tuples of vertices, such that for any $k$-subset $S$ of $V$, $A(H)$ contains exactly one of the $k!$ possible permutations of $S$. In this paper, we investigate the relationship between a hyperdigraph and its corresponding normal digraph. Particularly, drawing on a result from Gutin and Yeo, we establish an intrinsic relationship between a strong $k$-tournament and a strong tournament, which enables us to provide an alternative (more straightforward and concise) proof for some previously known results and get some new results.
Hamilton cycles for involutions of classical types
Let ${\mathcal W}_n$ denote any of the three families of classical Weyl groups: the symmetric groups ${\mathcal S}_n$, the hyperoctahedral groups (signed permutation groups) ${\mathcal S}^B_n$, or the even-signed permutation groups ${\mathcal S}^D_n$. In this paper we give an uniform construction of a Hamilton cycle for the restriction to involutions on these three families of groups with respect to a inverse-closed connecting set of involutions. This Hamilton cycle is optimal with respect to the Hamming distance only for the symmetric group ${\mathcal S}_n$.
We also recall an optimal algorithm for a Gray code for type $B$ involutions. A modification of this algorithm would provide a Gray Code for type $D$ involutions with Hamming distance two, which would be optimal. We give such a construction for ${\mathcal S}^D_4$ and ${\mathcal S}^D_5$.
Metrics on permutations with the same peak set
Let $S_n$ be the symmetric group on the set $\{1,2,\ldots,n\}$. Given a permutation $σ=σ_1σ_2 \cdots σ_n \in S_n$, we say it has a peak at index $i$ if $σ_{i-1}<σ_i>σ_{i+1}$. Let $\text{Peak}(σ)$ be the set of all peaks of $σ$ and define $P(S;n)=\{σ\in S_n\, | \,\text{Peak}(σ)=S\}$. In this paper we study the Hamming metric, $\ell_\infty$-metric, and Kendall-Tau metric on the sets $P(S;n)$ for all possible $S$, and determine the minimum and maximum possible values that these metrics can attain in these subsets of $S_n$.
Simplicial cell decompositions of $\mathbb{CP}^{\hspace{.3mm}n}$
According to a well-known result in geometric topology, we have \linebreak $\left (\mathbb{S}^2 \right)^{n}\!\!/\operatorname{Sym}(n) = \mathbb{CP}^{n}$, where $\operatorname{Sym}(n)$ acts on $\left (\mathbb{S}^2 \right)^{n}$ by coordinate permutation. We use this fact to explicitly construct a regular simplicial cell decomposition of $\mathbb{CP}^{n}$ for each $n \geq 2$. In more detail, we start with the standard two triangle crystallisation $S^2_3$ of the $2$-sphere $\mathbb{S}^2$, in its $n$-fold Cartesian product. We then construct a simplicial subdivision of this product and prove that the $\operatorname{Sym}(n)$ quotient of this subdivision yields a simplicial cell decomposition of $\mathbb{CP}^n$. The first derived subdivision of this cell complex is a simplicial triangulation of $\mathbb{CP}^n$. To the best of our knowledge, this is the first explicit description of triangulations of $\mathbb{CP}^n$ for $n \geq 4$.
Pattern-avoiding modified ascent sequences
We initiate an in-depth study of pattern avoidance on modified ascent sequences. Our main technique consists in using Stanley's standardization to obtain a transport theorem between primitive modified ascent sequences and permutations avoiding a bivincular pattern of length three. We enumerate some patterns via bijections with other combinatorial structures such as Fishburn permutations, lattice paths and set partitions. We settle the last remaining case of a conjecture by Duncan and Steingrímsson by proving that modified ascent sequences avoiding 2321 are counted by the Bell numbers.
Weakly Consecutive Sequences
A weakly consecutive sequence (WCS) is a permutation $σ$ of $\{1, \ldots, k\}$ such that if an integer $d$ divides $σ(i)$, then $d$ also divides $σ(i \pm d)$ insofar as these are defined. The structure of weakly consecutive sequences is surprisingly rich, and it is difficult to find a formula for the number $N(k)$ of WCS's of length $k$. However, for a given $k$ we describe four starting sequences, to each of which we can apply three \emph{rules} or operations to generate new WCS's. We conjecture that any WCS can be constructed by applying these rules, which depend in an intricate way on the primality of $k$ and surrounding integers. We find bounds for $N(k)$ by analyzing these rules.
Canonical reduced words and signed descent length enumeration in Coxeter groups
Reifegerste and independently, Petersen and Tenner studied a statistic $\mathrm{drops}()$ on permutations in $\mathfrak{S}_n$. Two other studied statistics on $\mathfrak{S}_n$ are $\mathrm{depth}$ and $\mathrm{exc}$. Using descents in ${\it canonical\ reduced\ words}$ of elements in $\mathfrak{S}_n$, we give an involution $f_A: \mathfrak{S}_n \mapsto \mathfrak{S}_n$ that leads to a neat formula for the signed trivariate enumerator of $\mathrm{drops},\mathrm{depth}, \mathrm{exc}$ in $\mathfrak{S}_n$. This gives a simple formula for the signed univariate drops enumerator in $\mathfrak{S}_n$. For the type-B Coxeter group $\mathfrak{B}_n$ as well, using similar techniques, we show analogous results. For the type D Coxeter group, we again get analogous results, but our proof is inductive.
Under the famous Foata-Zeilberger bijection $φ_{FZ}$ which takes permutations to restricted Laguerre histories, we show that permutations $π$ and $f_A(π)$ map to the same Motzkin path, but have different history components. Using the Foata-Zeilberger bijection, we also get a continued fraction for the generating function enumerating the pair of statistics $\mathrm{drops}$ and $\mathrm{MAD}$. Graham and Diaconis determined the mean and the variance of the Spearman metric of disarray $D(π)$ when one samples $π$ from $\mathfrak{S}_n$ at random. As an application of our results, we get the mean and variance of the statistic $\mathrm{drops}(π)$ when we sample $π$ from $\mathcal{A}_n$ at random.
Combinatorics of q,r-analogues of Stirling numbers of type B
Stirling number of the first and the second kinds have seen many generalizations and applications in various areas of mathematics. We introduce some combinatorial parameters which realize $q$-analogues and Broder's $r$-variants of Stirling numbers of type $B$ of both kinds, which count signed set partitions and signed permutations respectively. Applications to orthogonality relations and power sums are given.
Viennot shadows and graded module structure in colored permutation groups
Let $\mathbf{x}_{n \times n}$ be a matrix of $n \times n$ variables, and let $\mathbb{C}[\mathbf{x}_{n \times n}]$ be the polynomial ring on these variables. Let $\mathfrak{S}_{n,r}$ be the group of colored permutations, consisting of $n \times n$ complex matrices with exactly one nonzero entry in each row and column, where each nonzero entry is an $r$-th root of unity. We associate an ideal $I_{\mathfrak{S}_{n,r}} \subseteq \mathbb{C}[\mathbf{x}_{n \times n}]$ with the group $\mathfrak{S}_{n,r}$, and use orbit harmonics to give an ideal-theoretic extension of the Viennot shadow line construction to $\mathfrak{S}_{n,r}$. This extension gives a standard monomial basis of $\mathbb{C}[\mathbf{x}_{n \times n}]/I_{\mathfrak{S}_{n,r}}$, and introduces an analogous definition of ``longest increasing subsequence'' to the group $\mathfrak{S}_{n,r}$. We examine the extension of Chen's conjecture to this analogy. We also study the structure of $\mathbb{C}[\mathbf{x}_{n \times n}]/I_{\mathfrak{S}_{n,r}}$ as a graded $\mathfrak{S}_{n,r} \times \mathfrak{S}_{n,r}$ module, which subsequently induces a graded $\mathfrak{S}_{n,r} \times \mathfrak{S}_{n,r}$ module structure on the $\mathbb{C}$-algebra $\mathbb{C}[\mathfrak{S}_{n,r}]$.
Permutation representations and automorphisms of evolution algebras
We prove that the natural permutation representation of highly transitive finite groups cannot be realized as the full automorphism group of an idempotent, finite-dimensional evolution algebra acting on the set of lines spanned by its natural elements. Specifically, for any sufficiently large integer $n$ and $k \geq 4$, there does not exist an idempotent evolution algebra $X$ of dimension $n$ such that $\operatorname{Aut}(X)$ is isomorphic to a proper $k$-transitive subgroup of $S_n$.
Nevertheless, we show that for any finite group $G$, any permutation representation $ξ\colon G \to S_n$, and any field $\Bbbk$, there exists an idempotent, finite-dimensional evolution $\Bbbk$-algebra $X$ such that $\operatorname{Aut}(X) \cong G$, and the induced representation of $\operatorname{Aut}(X)$ on the natural idempotents of $X$ is equivalent to $ξ$.
From geometry to generating functions: rectangulations and permutations
We enumerate several classes of pattern-avoiding rectangulations. We establish new bijective links with pattern-avoiding permutations, prove that their generating functions are algebraic, and confirm several conjectures by Merino and Mütze. We also analyze a new class of rectangulations, called whirls, using a generating tree.
A generalization of perfect codes in the presence of star multiset transpositions
Let $0<\ell\in\mathbb{Z}$. The notion of an efficient dominating set or perfect code $S$ of a graph $G$ is generalized to that of an efficient dominating$\,^\ell$-set or perfect$^\ell$code, of the graph $G$, meaning that each vertex $v$ of $V(G)\setminus S$ has exactly $\ell$ neighbors in $S$, instead of just one neighbor. Such generalization is applied to star $j$-set transposition graphs based on permutations of multisets with each symbol repeated $j$ times, ($j\in\{\ell,\ell-1\}$). In such vertex-transitive graphs this approach produces total colorings, efficient dominating sets, also called perfect codes, etc.
On the joint distributions of succession and Eulerian statistics
The motivation of this paper is to investigate the joint distribution of succession and Eulerian statistics. We first investigate the enumerators for the joint distribution of descents, big ascents and successions over all permutations in the symmetric group. As an generalization a result of Diaconis-Evans-Graham (Adv. in Appl. Math., 61 (2014), 102-124), we show that two triple set-valued statistics of permutations are equidistributed on symmetric groups. We then introduce the definition of proper left-to-right minimum, and discover that the joint distribution of the succession and proper left-to-right minimum statistics over permutations is a symmetric distribution. In the final part, we discuss the relationship between the fix and cyc (p,q)-Eulerian polynomials and the joint distribution of succession and Eulerian-type statistics. In particular, we give a concise derivation of the generating function for a six-variable Eulerian polynomials.
A Galton-Watson tree approach to local limits of permutations avoiding a pattern of length three
We use local limits of Galton-Watson trees to establish local limit theorems for permutations conditioned to avoid a pattern of length three. In the case of 321-avoiding permutations our results resolve an open problem of Pinsky. In the other cases our results give new descriptions of the limiting objects in terms of size-biased Galton-Watson trees.