permutation ↗ reference
4945 papers tagged with this keyword
Number of orbits of $k$-subsets of permutations
Published
• View Publication
• BIB
Let $S_n$ denote the symmetric group of order $n$. Say that two subsets $x, y\subseteq S_n$ are \emph{equivalent} if there exist permutations $g_1, g_2\in S_n$ such that $g_1xg_2=y$, where multiplication is understood elementwise. Recently, [Tripathi, 2024] and [Kushwaha and Triathi, 2025] asked for the asymptotics of $T(n,k)$, the number of subsets of $S_n$ of size $k$ up to this equivalence. It is easy to see that $T(n,0)=T(n, 1)=1$ and $T(n, 2)=p(n)-1$, where $p(n)$ is the number of integer partitions of $n$. In this work, we show that $T(n,k) = Λ_n(k)(1+o_n(1))$ for $3\leq k\leq n!-3$, where $Λ_n(k)=\frac{1}{n!^2}\binom{n!}{k}$. Furthermore, we prove that $$\frac{1}{Λ_n(n!/2)}T\!\left(n,\left[\sqrt{\tfrac{n!}{4}}x+\tfrac{n!}{2}\right]\right) ~\xrightarrow{n\to\infty}~ \exp\!\left(-\tfrac{x^2}{2}\right),$$ uniformly over $\mathbb{R}$.
On $P$-crucial square-free permutations
Published
• View Publication
• BIB
A permutation is square-free if it does not contain two consecutive factors of length two or more that are order-isomorphic. A square-free permutation of length $n$ is $P$-crucial, where $P$ is a subset of $\{0,1,\ldots,n\}$, if any of its extensions in any position from the set $P$ contains a square. In 2015, Gent, Kitaev, Konovalov, Linton and Nightingale initiated the study of $P$-crucial square-free permutations. In particular, they showed that $\{0,1,n-1,n\}$-crucial square-free permutations of length $n$, where $n\leq 22$, exist if and only if $n=17$ or $n=21$. In this work, we prove that for any $m\geq 2$ there exists a $\{0,1,8m+4,8m+5\}$-crucial square-free permutation of length $8m+5$.
Millions of inequivalent quadratic APN functions in eight variables
The only known example of an almost perfect nonlinear (APN) permutation in even dimension was obtained by applying CCZ-equivalence to a specific quadratic APN function. Motivated by this result, there have been numerous recent attempts to construct new quadratic APN functions. Currently, 32,892 quadratic APN functions in dimension 8 are known and two recent conjectures address their possible total number. The first, proposed by Y. Yu and L. Perrin (Cryptogr. Commun. 14(6): 1359-1369, 2022), suggests that there are more than 50,000 such functions. The second, by A. Polujan and A. Pott (Proc. 7th Int. Workshop on Boolean Functions and Their Applications, 2022), argues that their number exceeds that of inequivalent quadratic (8,4)-bent functions, which is 92,515. We computationally construct 3,775,599 inequivalent quadratic APN functions in dimension 8 and estimate the total number to be about 6 million.
Bootstrap Percolation, Indecomposable Permutations, and the n-Kings problem
Published
• View Publication
• BIB
We study the process of bootstrap percolation on n x n permutation matrices, inspired by the work of Shapiro and Stephens [5]. In this percolation model, cells mutate (from 0 to 1) if at least two of their cardinal neighbors contain a 1, and thereafter remain unchanged; the process continues until no further mutations are possible. After carefully analyzing this process, we consider how it interacts with the notion of (in)decomposable permutations. We prove that the number of indecomposable permutations whose matrices "fill up'' to contain all 1's (or are "full") is half of the total number of full permutations. This leads to a new proof of a key result in [5], that the number of full n x n permutations is the (n-1)st large Schroeder number. Finally, after rigorously justifying a heuristic argument in [5], we find a new formula for the number of n x n "no growth" permutations, and hence a new solution to the well-known n-kings problem.
Descent sets of cyclic permutations in types B and D
Elizalde constructed a bijection $φ$ from the cyclic permutations $π\in S_{n+1}$ to the symmetric group $S_n$ satisfying $\operatorname{Des}(π)\cap \{1,2,\ldots,n-1\}=\operatorname{Des}(φ(π))$. We give a corresponding result on the signed symmetric group $B_n$ by constructing a function $Φ$ from the cyclic signed permutations $π\in B_{n+1}$ to $B_n$ satisfying $\operatorname{Des}(π)\cap \{0,1,\ldots,n-1\}=\operatorname{Des}(Φ(π))$. Moreover, letting $D_{n+1}\subseteq B_{n+1}$ be the subgroup consisting of signed permutations with an even number of sign changes, we show that the restriction of $Φ$ to the cyclic signed permutations in $D_{n+1}$ or its complement is a bijection. Our function $Φ$ reduces to Elizalde's original bijection $φ$ under the natural identification of the symmetric groups as subgroups of the signed symmetric groups. One application of our results is asymptotic normality of the descent and flag major index statistics on the cyclic signed permutations in $B_{n}$ and $D_n$.
Permutation--invariant Niven numbers
Published
• View Publication
• BIB
This paper introduces permutation-invariant Niven numbers--a novel class of Niven numbers where all digit permutations (with leading zeros automatically ignored) must retain the Niven property. We demonstrate that there exist infinitely many such numbers and that their magnitude is unbounded. Furthermore, we present an exhaustive search method for identifying permutation--invariant Niven numbers.
Determination of Some Types of Permutations over $\mathbb{F}_q^2$ with Low-Degree
The characterization of permutations over finite fields is an important topic in number theory with a long-standing history. This paper presents a systematic investigation of low-degree bivariate polynomial systems $F=(f_1(x,y),f_2(x,y))$ defined over $\mathbb{F}_{q}^2$. Specifically, we employ Hermite's Criterion to completely classify bivariate quadratic permutation polynomial systems, while utilizing the theory of permutation rational functions to give a full classification of bivariate 3-homogeneous permutation polynomial systems. Furthermore, as an application of our findings, we provide an explicit characterization of the permutation binomials of the form $x^3+ax^{2q+1}$ over $\mathbb{F}_{q^2}$ with characteristic $p\neq3$, thereby resolving a significant special case within this classical research domain.
On the geometry of stack-sorting simplices
Published
• View Publication
• BIB
We show that all stack-sorting polytopes are simplices. Furthermore, we show that the stack-sorting polytopes generated from $Ln1$ permutations have relative volume 1. We establish an upper bound for the number of lattice points in a stack-sorting polytope. In particular, stack-sorting polytopes generated from $2Ln1$ permutations have no interior points.
Rook sums in the symmetric group algebra
Let $\mathcal{A}$ be the group algebra $\mathbf{k}[S_n]$ of the $n$-th symmetric group $S_n$ over a commutative ring $\mathbf{k}$. For any two subsets $A$ and $B$ of $[n]$, we define the elements \[ \nabla_{B,A}:=\sum_{\substack{w\in S_n;\\w\left( A\right) =B}} w \qquad \text{and} \qquad \widetilde{\nabla}_{B,A}:=\sum_{\substack{w\in S_n;\\w\left( A\right) \subseteq B}}w \] of $\mathcal{A}$. We study these elements, showing in particular that their minimal polynomials factor into linear factors (with integer coefficients). We express the product $\nabla_{D,C}\nabla_{B,A}$ as a $\mathbb{Z}$-linear combination of $\nabla_{U,V}$'s.
More generally, for any two set compositions (i.e., ordered set partitions) $\mathbf{A}$ and $\mathbf{B}$ of $\left\{ 1,2,\ldots,n\right\} $, we define $\nabla_{\mathbf{B},\mathbf{A}}\in\mathcal{A}$ to be the sum of all permutations $w\in S_n$ that send each block of $\mathbf{A}$ to the corresponding block of $\mathbf{B}$. This generalizes $\nabla_{B,A}$. The factorization property of minimal polynomials does not extend to the $\nabla_{\mathbf{B},\mathbf{A}}$, but we describe the ideal spanned by the $\nabla_{\mathbf{B},\mathbf{A}}$ and a further ideal complementary to it. These two ideals have a "mutually annihilative" relationship, are free as $\mathbf{k}$-modules, and appear as annihilators of tensor product $S_n$-representations; they are also closely related to Murphy's cellular bases, Specht modules, pattern-avoiding permutations and even some algebras appearing in quantum information theory.
A note on multiplicative-inverse chaining in finite fields
We consider chaining multiplicative-inverse operations in finite fields under alternating polynomial bases. When using two distinct polynomial bases to alternate the inverse operation we obtain a partition of $\mathbb F_{p^n}\setminus \mathbb F_p$ into disjoint cycles of even length. This allows a natural interpretation of the cycles as permutation cycles. Finally, we explore chaining under more than two polynomial bases.
Some calculations of centralizer rings of a complex reflection group
Let H1 be the complex reflection group of order 96. For the tensor products of faithful transitive permutation representations of H1, we determine the structures of the centralizer rings. This complements the work of Imamura-Kosuda-Oura.
An introduction to the symmetric group algebra
This is an introduction to the group algebras of the symmetric groups, written for a quarter-long graduate course. After recalling the definition of group algebras (and monoid algebras) in general, as well as basic properties of permutations, we introduce several families of elements in the symmetric group algebras $\mathbf{k}[S_n]$ such as the Young--Jucys--Murphy elements, the (sign-)integrals and the conjugacy class sums. Then comes a chapter on group actions and representations in general, followed by the core of this text: a study of the representations of symmetric groups (i.e., of left $\mathbf{k}[S_n]$-modules), including the classical theory of Young tableaux and Young symmetrizers. We prove in detail the main facts including the characterization of irreducible representations (in characteristic $0$), the Garnir relations, the standard basis theorem, the description of duals of Specht modules, and the hook length formula, as well as a number of less known results. Finally, we describe several bases of $\mathbf{k}[S_n]$ that arise from the study of Specht modules, including the Murphy cellular bases.
The methods used are elementary and computational. We aim to assume as little as possible of the base ring $\mathbf{k}$, and to use as little as possible from representation theory (nothing more advanced than Maschke and Jordan--Hölder).
Over 100 exercises (without solutions) are scattered through the text.
Second order free cumulants: product, commutator, and anti-commutator
Given two second order free random variables $a$ and $b$, we study the second order free cumulants of their product $ab$, their commutator $ab-ba$, and their anti-commutator $ab+ba$. Let $(κ_n^a)_{n\geq 1}$ and $(κ_{n,m}^a)_{n,m\geq 1}$ denote the sequence of free cumulants of first and second order, respectively, of a random variable $a$ in a second order non-commutative probability space $(\mathcal{A},\varphi,\varphi^2)$. Given $a$ and $b$ two second order freely independent random variables, we provide formulas to compute each of the cumulants $(κ_{n,m}^{ab})_{n,m\geq 1}$, $(κ_{n,m}^{ab-ba})_{n,m\geq 1}$, and $(κ_{n,m}^{ab+ba})_{n,m\geq 1}$ in terms of the individual cumulants $(κ_{n}^{a})_{n\geq 1}$, $(κ_{n,m}^{a})_{n,m\geq 1}$, $(κ_{n}^{b})_{n\geq 1}$, and $(κ_{n,m}^{b})_{n,m\geq 1}$. For $n=m=1$ our formulas read: \begin{align*} κ_{1,1}^{ab} &= κ_{2}^{a}κ_{2}^{b} +κ_{1,1}^{a}(κ_{1}^{b})^2+κ_{1,1}^{b}(κ_{1}^{a})^2,\\ κ_{1,1}^{ab-ba} &= 2κ_{2}^{a}κ_{2}^{b},\\ κ_{1,1}^{ab+ba} &= 2κ_{2}^{a}κ_{2}^{b} +4κ_{1,1}^{a}(κ_{1}^{b})^2+4κ_{1,1}^{b}(κ_{1}^{a})^2. \end{align*}
In general, our formulas express the cumulants $κ_{n,m}^{ab}$, $κ_{n,m}^{ab-ba}$, and $κ_{n,m}^{ab+ba}$ as sums indexed by special subsets of non-crossing partitioned permutations. The formulas for the commutator and anti-commutator where not studied before, while the formula for the product was only known in the case the where the individual second order free cumulants vanish. As an application, we compute explicitly the cumulants of the anti-commutator and product of two second order free semicircular variables.
Type R $λ$-Permutation Approach to Velleman's Open Problem
Previously, mathematicians Steven Krantz and Jeffery McNeal studied a type of positive numbers permutation called $λ$-permutation. This type of permutation, when applied to the index of terms of a series, is defined to be both convergence-preserving and "fixing" at least one divergent series, that is, rearranging the terms of any convergent series will result in a convergent series, while rearranging the terms of some divergent series will result in a convergent series. In general, if a divergent series can be fixed to converge in some way (it does not need to be by $λ$-permutation), it is called a "conditionally divergent series". In 2006, another mathematician Daniel Velleman raised an open problem related to $λ$-permutation: for a conditionally divergent series $\sum_{n=0}^{\infty}a_n,n\in \mathbb{N},a_n\in \mathbb{R}$, let $S=\{L \in \mathbb{R} \colon L = \sum_{n=0}^{\infty}{a_{σ\left(n\right)}}$ $\text{for some } λ\text{-permutation } σ\}$, can $S$ ever be something between $\emptyset$ and $\mathbb{R}$? This paper is devoted to partially answering this open problem by considering a subset of $λ$-permutation constraint by how we can permute, named type R $λ$-permutation. Then we answer the analogous question about a subset of S with respect to type R $λ$-permutation, named $Z_{R}=\{L \in \mathbb{R} \colon L = \sum_{n=0}^{\infty}{a_{σ\left(n\right)}}$ $\text{for some type R } λ\text{-permutation } σ\}$. We show that $Z_R$ is either $\emptyset$, a singleton or $\mathbb{R}$. We also provide sufficient conditions on the conditionally divergent series $\sum_{n=0}^{\infty}a_n$ for $Z_R$ to be a singleton or $\mathbb{R}$, by introducing a "substantial property" on the series.
Roux schemes which carry association schemes locally
Published
• View Publication
• BIB
A roux scheme is an association scheme formed from a special "roux" matrix and the regular permutation representation of an associated group. They were introduced by Iverson and Mixon for their connection to equiangular tight frames and doubly transitive lines. We show how roux matrices can be produced from association schemes and characterise roux schemes for which the neighbourhood of a vertex induces an association scheme possessing the same number of relations as the thin radical. An important example arises from the $64$ equiangular lines in $\mathbb{C}^8$ constructed by Hoggar which we prove is unique (determined by its parameters up to isomorphism). We also characterise roux schemes by their eigenmatrices and provide new families of roux schemes using our construction.
Forbidden Configurations and Boundary Cases
Let $F$ be a $k\times \ell$ (0,1)-matrix. Define a (0,1)-matrix $A$ to have a $F$ as a \emph{configuration} if there is a submatrix of $A$ which is a row and column permutation of $F$. In the language of sets, a configuration is a \emph{trace}. Define a matrix to be {\it simple} if it is a (0,1)-matrix with no repeated columns. Let $\mathrm{Avoid}(m,F)$ be all simple $m$-rowed matrices $A$ with no configuration $F$. Define $\mathrm{forb}(m,F)$ as the maximum number of columns of any matrix in $\mathrm{Avoid}(m,F)$. Determining $\mathrm{forb}(m,F)$ requires determining bounds and constructions of matrices in $\mathrm{Avoid}(m,F)$. The paper considers some column maximal $k$-rowed simple $F$ that have the bound $Θ(m^{k-2})$ and yet adding a column increases bound to $Ω(m^{k-1})$. By a construction, $\mathrm{forb(m,F)}$ is determined exactly.
Rowmotion and Echelonmotion
Given a linear extension $σ$ of a finite poset $R$, we consider the permutation matrix indexing the Schubert cell containing the Cartan matrix of $R$ with respect to $σ$. This yields a bijection $\mathrm{Ech}_σ\colon R\to R$ that we call echelonmotion; it is the inverse of the Coxeter permutation studied by Klász, Marczinzik, and Thomas. Those authors proved that echelonmotion agrees with rowmotion when $R$ is a distributive lattice. We generalize this result to semidistributive lattices. In addition, we prove that every trim lattice has a linear extension with respect to which echelonmotion agrees with rowmotion. We also show that echelonmotion on an Eulerian poset (with respect to any linear extension) is an involution. Finally, we initiate the study of echelon-independent posets, which are posets for which echelonmotion is independent of the chosen linear extension. We prove that a lattice is echelon-independent if and only if it is semidistributive. Moreover, we show that echelon-independent connected posets are bounded and have semidistributive MacNeille completions.
Cuntz algebra automorphisms: transpositions
Permutative automorphisms of the Cuntz algebras $\mathcal{O}_n$ are in bijection with the stable permutations of $[n]^t$. They are also the elements of the reduced Weyl group of $Aut(\mathcal{O}_n)$. In this paper, we characterize the stability of transpositions in $S([n]^3)$, and thus providing a new family (with $6$ degrees of freedom) of automorphisms of the Cuntz algebras $\mathcal{O}_n$ for any $n>1$.
Unitary actions and equivariant volumes of symmetric edge polytopes
The symmetric edge polytope ($\mathrm{SEP}$) of a finite simple graph $G$ is a centrally symmetric lattice polytope whose vertices are defined by the edges of the graph. Among the information encoded by these polytopes are the symmetries of the graph, which appear as symmetries of the polytope. We describe the rigid symmetries of these polytopes, and show that $\mathrm{SEP}$s are unitarily equivalent exactly when their associated graphs are isomorphic. We then find an explicit relationship between the relative volumes of the subsets of the symmetric edge polytope $\mathrm{SEP}$ fixed by the natural action of symmetric group elements and the symmetric edge polytopes of smaller graphs to which the subsets are linearly equivalent. We also provide a vertex description of the fixed polytopes and find a description of the symmetric edge polytopes to which they are equivalent, in terms of contractions of the graph $G$ induced by the cycle decompositions of the permutations under which the subsets are fixed. Specializations of our results provide equivalence and volume relationships for fixed polytopes of symmetric edge polytopes of complete graphs (equivalently, for fixed polytopes of root polytopes of type $A_n$), and describe the symmetry group of this family of polytopes.
Clustering, order conditions, and languages of interval exchanges
For any interval exchange transformation $T$ (standard or generalized), if we define a morphism $φ$ from the set of letters to the
set of the return words of a word in the natural coding, respecting the lexicographical order, the word $φv$ clusters (for the Burrows-Wheeler transform) for the permutation of $T$ if and only if the word $v$ clusters for the permutation of the induced map of $T$
on the cylinder $[w]$. When $T$ is symmetrical, all such natural codings are rich languages, and this implies that the two orders above are the same if $w$ is a palindrome. Finally, we generalize the result, proved by using the clustering of a word $w$,
that $ww$ is produced by a generalized interval exchange transformation if and only if $ww$ is produced by a standard interval exchange transformation, to non-clustering $w$: in the symmetric case, $w$ is produced by a
generalized interval exchange transformation if and only if $w$ is produced by a standard interval exchange transformation.