permutation ↗ reference
4847 papers tagged with this keyword
Orbits and self-twuality in set systems and delta-matroids
We introduce a new group action on set systems, constructed as a semidirect product of a permutation group and a group generated by twist and loop complementation operations on a single element. This action extends the ribbon group framework of Abrams and Ellis-Monaghan from ribbon graphs to set systems, facilitating a systematic investigation of self-twuality. We prove that different forms of self-twuality propagate through orbits under the group action and establish a characterization of the orbit of a vf-safe delta-matroid via multimatroids. As an application, we analyze orbits of ribbon-graphic delta-matroids. Our work answers a question posed by Abrams and Ellis-Monaghan and provides a unified algebraic framework for studying self-twuality in combinatorial structures.
Stem-Symmetry, Comb Products, and their Relation to Amoeba Graphs
Local and global amoebas are families of labeled graphs that satisfy interpolation properties on a fixed vertex set. A labeled graph $G$ on $n$ vertices is a local amoeba (resp. global amoeba) if there exists a sequence of feasible edge-replacements between any two labelled embeddings of $G$ into $K_n$ (resp. $K_{n+1}$). Here, a feasible edge-replacement removes an edge and reinserts it so that the resulting graph is isomorphic to $G$; the induced relabeling yields a class of permutations of the label set. Motivated by classical group theoretic ideas, we introduce the hang group, a new invariant that can encode how local amoebas embed into larger ones. Using this framework, we identify necessary and sufficient conditions connecting stem-symmetric and hang-symmetric graphs with local and global amoebas. In particular, we show how hang-symmetry and stem-symmetry conditions propagate under the addition of leaves and isolated vertices, in turn yielding constructive criteria for both local and global amoebas. Finally, via wreath products, we provide four sets of sufficient conditions, one for each property, guaranteeing when the comb product is a local amoeba, a global amoeba, stem-symmetric, or hang-symmetric. These results strengthen and generalize existing constructions of local and global amoebas.
Asymptotics of the Longest Increasing Subsequence in Random Permutations
In this paper, we examine the asymptotic behavior of the longest increasing subsequence (LIS) in a uniformly random permutation of $n$ elements. We rely on the Robinson--Schensted--Knuth correspondence, Young tableaux, and key classical results -- including the Erdős--Szekeres theorem and the Hook Length Formula -- to demonstrate that the expected LIS length grows as $2\sqrt{n}$. We review the essential variational principles of Logan--Shepp and Vershik--Kerov, which determine the limiting shape of the associated random Young diagrams, and summarize the Baik--Deift--Johansson theorem that links fluctuations of the LIS length to the Tracy--Widom distribution. Our approach focuses on providing conceptual and intuitive explanations of these results, unifying classical proofs into a single narrative and supplying fresh visual examples, while referring the reader to the original literature for detailed proofs and rigorous arguments.
Parity patterns meet Genocchi numbers, I: four labelings and three bijections
Hetyei introduced in 2019 the homogenized Linial arrangement and showed that its regions are counted by the median Genocchi numbers. In the course of devising a different proof of Hetyei's result, Lazar and Wachs considered another hyperplane arrangement that is associated with certain bipartite graph called Ferrers graph. We bijectively label the regions of this latter arrangement with permutations whose ascents are subject to a parity restriction. This labeling not only establishes the equivalence between two enumerative results due to Hetyei and Lazar-Wachs, repectively, but also motivates us to derive and investigate a Seidel-like triangle that interweaves Genocchi numbers of both kinds.
Applying similar ideas, we introduce three more variants of permutations with analogous parity restrictions. We provide labelings for regions of the aforementioned arrangement using these three sets of restricted permutations as well. Furthermore, bijections from our first permutation model to two previously known permutation models are established.
Combinatorial equivalence of separable elements in types $A$ and $B$
We study the combinatorial equivalence of separable elements in types $A$ and $B$. A bijection is constructed from the set of separable permutations in the symmetric group $S_{n+1}$ to the set of separable signed permutations in the hyperoctahedral group $B_n$. This bijection preserves descent statistics and induces a poset isomorphism under the left weak order. As a consequence, separable signed permutations are enumerated by the large Schröder numbers, and their descent polynomials are shown to be $γ$-positive. Building on a recursive characterization of separable signed permutations via direct sum and skew sum operations, we derive explicit product formulas for the rank generating functions of the principal upper and lower ideals of separable signed permutations under the left weak order.
The most probable order of a random permutation
Given positive integers $n$ and $m$, let $p_n(m)$ be the probability that a uniform random permutation of $[n]$ has order exactly $m$. We show that, as $n \to \infty$, the maximum of $p_n(m)$ over all $m$ is asymptotic to $1/n$, the probability of an $n$-cycle. Furthermore, for sufficiently large $n$, we show that the maximum is attained precisely if $m$ is the least positive integer divisible by all positive integers less than or equal to $n-m$. This answers a question of Acan, Burnette, Eberhard, Schmutz and Thomas, originally attributed to work of Erdős and Turán from 1968.
Enumeration and Distribution of Permutation Rows and Columns in Equi-$n$-Squares
We introduce consecutive equi-$n$-squares, a variant of equi-$n$-squares in which at least one row or column forms a fixed permutation of $\{1,\dots,n\}$, taken for concreteness to be $(1,\dots,n)$. More generally, the enumeration and probabilistic arguments presented here extend to the occurrence of any prescribed permutation as a row or column of an equi-$n$-square. We derive exact and asymptotic formulas for the number of consecutive equi-$n$-squares, showing precisely how their proportion among all equi-$n$-squares rapidly approaches zero as $n\to\infty$.
We also analyze the distribution of consecutive equi-$n$-squares under uniform random sampling and explore connections to algebraic structures, interpreting equi-$n$-squares and consecutive equi-$n$-squares as Cayley tables. Finally, we supplement our theoretical results with Monte Carlo simulations for small values of $n$.
On the Walsh spectra of quadratic APN functions
APN functions play a central role as building blocks in the design of many block ciphers, serving as optimal functions to resist differential attacks. One of the most important properties of APN functions is their linearity, which is directly related to the Walsh spectrum of the function. In this paper, we establish two novel connections that allow us to derive strong conditions on the Walsh spectra of quadratic APN functions. We prove that the Walsh transform of a quadratic APN function $F$ operating on $n=2k$ bits is uniquely associated with a vector space partition of $\mathbb{F}_2^n$ and a specific blocking set in the corresponding projective space $PG(n-1,2)$. These connections allow us to prove a variety of results on the Walsh spectrum of $F$. We prove for instance that $F$ can have at most one component function of amplitude larger than $2^{3n/4}$. We also find the first nontrivial upper bound on the number of bent component functions of a quadratic APN function, and provide conditions for a function to be CCZ-equivalent to a permutation based on its number of bent components.
An algebraic approach to Latin squares of prime power order by local permutation polynomials
Every Latin square of prime power order $q$ is uniquely described by a local permutation polynomial (LPP) in the polynomial ring $\mathbb{F}_q[x,y]$. Despite this equivalence, one may find in the literature only some preliminary results on the relationship among Latin squares and LPPs. This paper delves into this topic by showing how the coefficients of any LPP are identified with the zeros of an algebraic set over $\mathbb{F}_q$. This allows for an algebraic description of all Latin squares of order $q$ by means of a unique polynomial in $\mathbb{F}_q[x,y]$, whose coefficients satisfy the constraints defined by the algebraic set under consideration. In order to make much easier the construction of this polynomial, we also deal with the natural translation to LPPs of both notions of reduced and isotopic Latin squares. Our algebraic approach is readily adapted to identify both types of Latin squares. All of the above is constructively illustrated for $q\in\{4,5\}$. We finish our study with the natural translation to LPPs of both notions of complete mappings and orthomorphisms of quasigroups, showing their relationship with transversals and isotopisms of Latin squares.
Promotion permutations and the Robinson--Schensted correspondence
Promotion permutations have recently been associated to each rectangular standard Young tableau by Gaetz--Pechenik--Pfannerer--Striker--Swanson. Here we relate promotion permutations to the Robinson--Schensted (RS) correspondence. More precisely, we show that taking a pair of standard Young tableaux of the same rectangular shape, stacking them, and computing the middle promotion permutation yields the RS permutation of the pair up to simple twists. Moreover, the full list of promotion permutations in this special case encodes Viennot's geometric shadow line construction. As a consequence, we characterize a subset of the collection of possible promotion permutations in terms of crossing and nesting numbers.
Rearrangements of distributions on integers that minimize variance
Which permutations of a probability distribution on integers minimize variance?
Let $X$ be a random variable on a set of integers $\{x_1, \dots, x_N\}$ such that $\mathbb{P}(X_i = x_i) = p_i$, $i \in \{1,\dots,N\}$. Let $(p^{(1)}, \dots, p^{(N)})$ be the sequence $(p_1, \dots, p_N)$ ordered non-increasingly. Let $X^+$ be the random variable defined by $\mathbb{P}(X^+=0)=p^{(1)}$, $\mathbb{P}(X^+=1) = p^{(2)}$, $\mathbb{P}(X^+=-1)=p^{(3)}, \dots, \mathbb{P}(X^+=(-1)^N \lfloor \frac {N} 2 \rfloor)=p^{(N)}$. In this short note we generalize and prove the inequality $\mathrm{Var}\, X^+ \le \mathrm{Var}\, X$.
Permutations in competing growth processes and balls-in-bins
Consider a model of $N$ independent, increasing $\mathbb{N}_0$-valued processes, with random, independent waiting times between jumps. It is known that there is either an emergent `leader', in which a single process possesses the maximal value for all sufficiently large times, or every pair of processes alternates leadership infinitely often. We show that in the latter regime, almost surely, one sees every possible permutation of rankings of processes infinitely often. In the case that the waiting times are exponentially distributed, this proves a conjecture from Spencer (appearing in a paper from Oliveira) on the `balls-in-bins' process with feedback [Conjecture 1, Combin. Probab. Comput. 17(1):87-110, (2008)].
Results on long twins in random words and permutations
We study long $r$-twins in random words and permutations. Motivated by questions posed in works of Dudek-Grytczuk-Ruciński, we obtain the following. For a uniform word in $[k]^n$ we prove sharp one-sided tail bounds showing that the maximum $r$-power length (the longest contiguous block that can be partitioned into $r$ identical subblocks) is concentrated around $\frac{\log n}{(r-1)\log k}$. For random permutations, we prove that for fixed $k$ and $r\to\infty$, a uniform permutation of $[rk]$ a.a.s. contains $r$ disjoint increasing subsequences of length $k$, generalizing a previous result that proves this for $k=2$. Finally, we use a computer-aided pattern count to improve the best known lower bound on the length of alternating twins in a random permutation to $α_n \ge \left(\tfrac{1}{3}+0.0989-o(1)\right)n$, strengthening the previous constant.
Pinnacles for Complex Reflection Groups
We study, characterize, and enumerate the admissible pinnacle sets of nonexceptional complex reflection groups $G(m,p,n)$, which include all generalized symmetric groups $\mathbb{Z}_m \wr S_n$ as special cases. This generalizes the work of Davis--Nelson--Petersen--Tenner for symmetric groups $S_n$ and González--Harris--Rojas Kirby--Smit Vega Garcia--Tenner for signed symmetric groups $\mathbb{Z}_2 \wr S_n$. As a consequence, we prove a conjecture of González--Harris--Rojas Kirby--Smit Vega Garcia--Tenner for pinnacles of signed permutations.
A note on the distribution of the sum of lengths of the initial longest increasing sequences in cycles of random permutations
Let $S_n$ be the set of all permutations of $\{1,2,\ldots,n\}$ and let $σ=(σ_1,σ_2,\ldots,σ_n)\in S_n$. The {\it initial longest increasing sequence} (ILIS) in $σ$ has length $m$ if, for $1\le m\le n-1$, $σ_1<σ_2<\ldots<σ_m, σ_m>σ_{m+1}$, and has length $n$ if $σ=(1,2,\ldots,n)$. Let $l(σ)$ be the length of the ILIS in $σ$. We assume that $σ$ is represented in cycle notation, so that the first number in each cycle is the minimum number of this cycle. We also assume that $σ$ is chosen uniformly at random from $S_n$, i.e., with probability $1/n!$. Let $C_n(σ)$ be the set of all cycles of $σ$. In [9], T. Mansour investigated enumerative properties related to lengths of the ILIS in random permutations represented by the cycle notation. In particular, he studied the sum of the ILIS' lengths defined by $s_n=\sum_{c\in C_n(σ)} l(c)$ and derived exact and asymptotic expressions for its expectation and variance. In this note, we supplement Mansour's results on $s_n$ with a limit theorem. We show that $s_n$, appropriately normalized, converges weakly to a standard normal random variable as $n\to\infty$.
Torus Actions on Matrix Schubert and Kazhdan-Lusztig Varieties, and their Links to Statistical Models
We investigate the toric geometry of two families of generalised determinantal varieties arising from permutations: Matrix Schubert varieties ($\overline{X_w}$) and Kazhdan-Lusztig varieties ($\mathcal{N}_{v,w}$). Matrix Schubert varieties can be written as $\overline{X_w} = Y_w \times \mathbb C^d$, where $d$ is maximal. We are especially interested in the structure and complexity of these varieties $Y_w$ and $\mathcal{N}_{v,w}$ under the so-called usual torus actions. In the case when $Y_w$ is toric, we provide a full characterisation of the simple reflections $s_i$ that render ${Y_{w \cdot s_i}}$ toric, as well as the corresponding changes to the weight cone. For Kazhdan-Lusztig varieties, we consider how moving one of the two permutations $v,w$ along a chain in the Bruhat poset affects their complexity. Additionally, we study the complexity of these varieties, for permutations $v$ and $w$ of a specific structure. Finally, we consider the links between these determinantal varieties and two classes of statistical models; namely conditional independence and quasi-independence models.
A family of non-uniform distributions on the set of parking functions generated by random permutations
We introduce a rather natural family of non-uniform distributions on $PF_n$, $n\in\mathbb{N}$, the set of parking functions of length $n$. One of the motivations for this comes from a similar situation in the context of integer partitions. For a permutation $σ\in S_n$ and for $j\in[n]$, let $I_{n,<j}(σ)$ denote the number of inversions in $σ$ that involve the number $j$ and a number less than $j$. Let $\tilde I_{n,<j}(σ)=I_{n,<j}(σ)+1$. The map $(σ,τ)\to\left(\tilde I_{n,<τ_1}(σ),\cdots, \tilde I_{n,< τ_n}(σ)\right)$ maps $S_n\times S_n$ onto $PF_n$. Consider the family of distributions $P_n^{(q)}\times P_n$, $q\in(0,\infty)$, on $S_n\times S_n$, where $P_n$ is the uniform distribution on $S_n$ and $P_n^{(q)}$ is the Mallows distribution with parameter $q$ on $S_n$. The Mallows distributions are defined by exponential tilting via the inversion statistic. For each $q>0$, the above map along with the distribution $P_n^{(q)}\times P_n$ induces an exchangeable distribution $\mathcal{P}_n^{(q)}$ on $PF_n$. We study the asymptotic behavior of two fundamental statistics of parking functions under the family of distributions $\mathcal{P}_n^{(q)}$.
There are siblings of $χ$ which are permutations for $n$ even
Let $1$ be the all-one vector and $\odot$ denote the component-wise multiplication of two vectors in $\mathbb F_2^n$. We study the vector space $Γ_n$ over $\mathbb F_2$ generated by the functions $γ_{2k}:\mathbb F_2^n \to \mathbb F_2^n, k\geq 0$, where $$ γ_{2k} = S^{2k}\odot(1+S^{2k-1})\odot(1+S^{2k-3})\odot\ldots\odot(1+S) $$ and $S:\mathbb F_2^n\to\mathbb F_2^n$ is the cyclic left shift function. The functions in $Γ_n$ are shift-invariant and the well known $χ$ function used in several cryptographic primitives is contained in $Γ_n$. For even $n$, we show that the permutations from $Γ_n$ with respect to composition form an Abelian group, which is isomorphic to the unit group of the residue ring $\mathbb F_2[X]/(X^n +X^{n/2})$. This isomorphism yields an efficient theoretic and algorithmic method for constructing and studying a rich family of shift-invariant permutations on $\mathbb F_2^n$ which are natural generalizations of $χ$. To demonstrate it, we apply the obtained results to investigate the function $γ_0 +γ_2+γ_4$ on $\mathbb F_2^n$.
Diameter Bounds for Friends-and-Strangers Graphs
Consider two $n$-vertex graphs $X$ and $Y$, where we interpret $X$ as a social network with edges representing friendships and $Y$ as a movement graph with edges representing adjacent positions. The friends-and-strangers graph $\mathsf{FS}(X,Y)$ is a graph on the $n!$ permutations $V(X)\to V(Y)$, where two configurations are adjacent if and only if one can be obtained from the other by swapping two friends located on adjacent positions. Friends-and-strangers graphs were first introduced by Defant and Kravitz, and generalize sliding puzzles as well as token swapping problems. Previous work has largely focused on their connectivity properties.
In this paper, we study the diameter of the connected components of $\mathsf{FS}(X, Y)$. We extend the result of Kornhauser, Miller, and Spirakis on sliding puzzles to general graphs in two ways. First, we show that the diameter of $\mathsf{FS}(X, Y)$ is polynomially bounded when both the friendship and the movement graphs have large minimum degree. Second, when both the underlying graphs $X$ and $Y$ are Erdős-Rényi random graphs, we show that the distance between any pair of configurations is almost always polynomially bounded under certain conditions on the edge probabilities.
Generating functions of $q$-chromatic polynomials
Given a graph $G=(V,E)$ and a linear form $λ\in \mathbb{Z}_{ > 0 }^V$, Bajo et al. (2025) introduced the $q$-chromatic polynomial $χ_G^λ(q,n) := \sum q^{\sum_{v \in V} λ_v c(v)}$ where the sum is over all proper colorings $c: V \to [n] := \{ 1, 2, \dots, n \}$; they showed that $χ_G^λ(q,n)$ is a polynomial in $[n]_q := 1 + q + \dots + q^{ n-1 } $ with coefficients in $\mathbb{Z}(q)$. For $d \in \mathbb{Z}_{>0}$ and the linear form given by $(d,d^2,\ldots,d^d)$, we show that the $q$-chromatic polynomial distinguishes labeled graphs with vertex set $[d]$. Using permutation statistics introduced by Chung--Graham (1995), called $G$-statistics, and polyhedral geometry, we give the multivariate integer point transform for the region of proper colorings of a given graph $G$. This integer point transform allows us to find the generating function for the $q$-chromatic polynomial with respect to any linear form. We further specialize these results to the linear form $(1, 1, \dots, 1)$, which allows us to write the $q$-chromatic polynomial in the $q$-binomial basis, clarifying expressions found by Bajo et al. Moreover, we show that $G$-statistics are compatible with the theory of order polytopes used by Bajo et al. and Chow (1999). This yields further properties for the generating function of $q$-chromatic polynomial with linear form $(1, 1, \dots, 1)$, where certain coefficients of the numerator polynomial are palindromic polynomials in $q$.