permutation ↗ reference
4994 papers tagged with this keyword
A Lower Bound on the Expected Number of Distinct Patterns in a Random Permutation
Let $π_n$ be a uniformly chosen random permutation on $[n]$. The authors of [2] showed that the expected number of distinct consecutive patterns of all lengths $k\in\{1,2,\ldots,n\}$ in $π_n$ was $\frac{n^2}{2}(1-o(1))$ as $n\to\infty$, exhibiting the fact that random permutations pack consecutive patterns near-perfectly. A conjecture was made in [11] that the same is true for non-consecutive patterns, i.e., that there are $2^n(1-o(1))$ distinct non-consecutive patterns expected in a random permutation. This conjecture is false, but, in this paper, we prove that a random permutation contains an expected number of at least $2^{n-1}(1+o(1))$ distinct permutations; this number is half of the range of the number of distinct permutations.
Distinct permutation dot products
We show that for any two sets of reals numbers $A=\{a_1,\dots,a_n\}$ and $B=\{b_1,\dots,b_n\}$, the sums of the form $\sum_{i=1}^n a_i\,b_{π(i)}$ always take on $Ω(n^{3})$ distinct values, as we range over all permutations $π\in S_n$.
An important ingredient is a ``supportive'' version of Halász's anticoncentration theorem from Littlewood-Offord theory, which may be of independent interest.
Conjugating full cycles by adjacent transpositions: diameter and sorting time
We establish upper and lower bounds on the maximal number of steps needed to transform a cyclic permutation to the canonical cyclic permutation using conjugation by adjacent transpositions, and on the diameter of the underlying Schreier graph.
An Eventown Result for Permutations
Published
• View Publication
• BIB
A family of permutations $\mathcal{F} \subseteq S_n$ is even-cycle-intersecting if $σπ^{-1}$ has an even cycle for all $σ,π\in \mathcal{F}$. We show that if $\mathcal{F} \subseteq S_n$ is an even-cycle-intersecting family of permutations, then $|\mathcal{F}| \leq 2^{n-1}$, and that equality holds when $n$ is a power of 2 and $\mathcal{F}$ is a double-translate of a Sylow 2-subgroup of $S_n$. This result can be seen as an analogue of the classical eventown problem for subsets and it confirms a conjecture of János Körner on maximum reversing families of the symmetric group. Along the way, we show that the canonically intersecting families of $S_n$ are also the extremal odd-cycle-intersecting families of $S_n$ for all even $n$. While the latter result has less combinatorial significance, its proof uses an interesting new character-theoretic identity that might be of independent interest in algebraic combinatorics.
Maximum number of one-element commutation classes of a permutation
Published
• View Publication
• BIB
In this paper, we provide an upper bound for the number of one-element commutation classes of a permutation, that is, the number of reduced words in which no commutation can be applied. Using this upper bound, we prove a conjecture that relates the number of reduced words with the number of commutation classes of a permutation.
Exact number of flips required to sort a burnt stack of pancakes
For the buffet, the waiter of a restaurant gets a large stack of pancakes from the overworked cook. As usual, one side is burnt, and as the level of batter decreases, the pancakes became smaller and smaller. Hence, the waiter ends up with a stack of one-sided burnt pancakes sorted by size, with the larger at the bottom and burnt side up. However, the waiter cannot serve them this way. He needs to turn all the burnt sides down, without changing the order. Having only a spatula, he can only perform flips to the top of the stack. How can he perform this transformation in a minimum number of flips? Having n pancakes, this problem can be modeled in the burnt pancake graph, having 2^n*n! vertices, where each possible stack of pancakes corresponds to a vertex expressed by a permutation of size n, where the pancakes are ordered by size, and the pancake numbers are multiplied by -1, if the corresponding pancake has the burnt side side up. An edge exists in this graph, if the corresponding stacks can be reached from each other by one flip. Let T(n) be the minimum number of flips to sort the stack of n pancakes (-1,...,-n). General burnt pancake sorting has been introduced by Bill Gates and Papadimitriou. The instance (-1,...,-n) has strong relevance because of its easy structure and as it has been shown to be a worst-case instance for several small n. Heydari and Sudborough gave the currently best upper bound of T(n), namely (3n+3)/2 for n = 3 mod 4, which later has been shown to be exact by a work of Cibulka. Except these two works, no progress regarding lower and upper bounds has been made until now. In our work, we present that (3n+3)/2 is also an upper bound of T(n) for n = 1 mod 4, which again matches the lower bound of Cibulka and thus is exact. The case of even n keeps an open problem, where two possible values for T(n) are possible, namely (3/2)n + 1 or (3/2)n + 2.
Kostant cuspidal permutations
In relation to Kostant's problem for simple highest weight modules over the general linear Lie algebra, we prove a persistence result for Kostant negative consecutive patterns. Inspired by it, we introduce the notion of a Kostant cuspidal permutation as a minimal Kostant negative consecutive pattern. It is shown that Kostant cuspidality is an invariant of a Kazhdan-Lusztig left cell. We describe four infinite families of Kostant cuspidal involutions, including a complete classification of Kostant cuspidal fully commutative involutions. In particular, we show that the number of new Kostant cuspidal elements can be arbitrarily large, when the rank grows. This provides some potential explanation why Kostant's problem is hard.
Asymptotic distribution of the Betti numbers of $\overline{\mathcal{M}}_{0,n}$
Published
• View Publication
• BIB
Asymptotic normality is frequently observed in large combinatorial structures, rigorously established for many quantities such as cycles or inversions in random permutations, the number of prime factors of random integers, and various parameters of random graphs. In this paper, we investigate whether this normal limit behavior extends to the topological invariants of geometric spaces. We show that the Betti numbers of the moduli space of rational curves with $n$ marked points $\overline{\mathcal{M}}_{0,n}$ and the Fulton-MacPherson configuration space $\mathbb{P}^1[n]$ are asymptotically normally distributed. Based on numerical evidence and established log-concavity, we conjecture that the Betti numbers of the quotients of these spaces by the symmetric group $\mathbb{S}_n$ are also asymptotically normally distributed. In contrast, we provide examples of geometric spaces that do not follow this Gaussian law.
Locally dihedral block designs and primitive groups with dihedral point stabilizers
Let $\mathcal{D}$ be a block design admitting a locally transitive automorphism group $G$. We say $\mathcal{D}$ is $G$-point-locally dihedral if the induced local action $G_x^{\mathcal{D}(x)}$ is dihedral for each point $x$, and say $\mathcal{D}$ is $G$-block-locally dihedral if the induced local action $G_B^B$ is dihedral for each block $B$. The design $\mathcal{D}$ is called $G$-locally dihedral if both conditions hold. We give a classification of primitive permutation groups with dihedral point stabilizers, and apply it to classify point-locally dihedral block designs. For symmetric designs with a dihedral local action, we show that $G_x$ and $G_B$ are conjugate in $G$. Moreover, both local actions are faithful, and $G$ acts imprimitively on both points and blocks.
On symmetric pattern avoidance sets
For a set of permutations $S\subseteq S_n$, consider the quasisymmetric generating function
$$Q(S): = \sum_{w\in S}F_{n, \mathrm{Des}(w)},$$
where $\mathrm{Des}(w) := \{i\mid w(i)> w(i+1)\}$ is the descent set of $w$ and $F_{n, \mathrm{Des}(w)}$ is Gessel's fundamental quasisymmetric function. A set of permutations is said to be symmetric (respectively, Schur-positive) if its quasisymmetric generating function is symmetric (respectively, Schur-positive). Given a set $Π$ of permutations, let $S_n(Π)$ denote the set of permutations in $S_n$ that avoid all patterns in $Π.$ A set $Π$ is said to be symmetrically avoided (respectively, Schur-positively avoided) if $S_n(Π)$ is symmetric (respectively, Schur-positive) for all $n.$
Marmor proved in 2025 that for $n\ge 5$, a symmetric set $S\subseteq S_n$ has size at least $n-1$ unless $S\subseteq \{12\cdots n, n\cdots 21\}$ and asked for a general classification of the possible sizes of symmetric sets not containing the monotone elements $12\cdots n $ and $n\cdots 21$. We give a complete answer to this question for $n\ge 52.$ We also give a classification of symmetric sets of size at most $n-1$, thereby showing that they are actually Schur-positive, resolving a conjecture of Marmor. Finally, we give a classification of symmetrically avoided sets of size at most $n-1$, thereby showing that they are actually Schur-positively avoided.
Enumeration of weighted plane trees by a permutation model
This work addresses an enumeration problem on weighted bi-colored plane trees with prescribed vertex data, with all vertices labeled distinctly. We give a bijection proof of the enumeration formula originally due to Kochetkov, hence affirmatively answer a question of Adrianov-Pakovich-Zvonkin. The argument is purely combinatorial and totally constructive, remaining valid for real-valued edge weights. A central process is a geometric construction that directly encodes each tree as a permutation. We also exhibit algebraic relationships between the enumeration problem, the partial order on partitions of vertices and the Stirling numbers of the second kind. Some computation examples are presented as appendices.
Unimodular Equivalence of Integral Simplices
Published
• View Publication
• BIB
Testing the unimodular equivalence of two full-dimensional integral simplices can be reduced to testing unimodular permutation (UP) equivalence of two nonsingular matrices. We conduct a systematic study of UP-equivalence, which leads to the first average-case quasi-polynomial time algorithm, called \texttt{HEM}, for deciding the unimodular equivalence of $d$-dimensional integral simplices, as well as achieving a polynomial-time complexity with a failure probability less than $2.5 \times 10^{-7}$. A key ingredient is the introduction of the \emph{permuted Hermite normal form} and its associated \emph{pattern group}, which streamlines the UP-equivalence test by comparing canonical forms derived from induced coset representatives. We also present an acceleration strategy based on Smith normal forms. As a theoretical by-product, we prove that two full-dimensional integral simplices are unimodularly equivalent if and only if their $n$-dimensional pyramids are unimodularly equivalent. This resolves an open question posed by Abney-McPeek et al.
Repetition in Permutation Wordle
Published
• View Publication
• BIB
In a game of permutation wordle, a player attempts to guess a secret permutation in the fewest number of guesses possible. Previously, Samuel Kutin and Lawren Smithline (arXiv:2408.00903) introduced this game and proposed a strategy called cyclic shift, which they conjecture performs optimally. We continue our investigation of this conjecture by considering how information is obtained and, at times, repeated during a game of permutation wordle using an arbitrary strategy. This analysis includes several algorithms to construct a secret permutation which prompts inefficient repetition according to the player's strategy, as well as proofs of their efficacy.
A Halász-type theorem for permutation anticoncentration
Given a set $A=\{a_1,\ldots,a_n\}$ of real numbers and real coefficients $b_1,\ldots,b_n$, consider the distribution of the sum obtained by pairing the $a_i$'s with the $b_i$'s according to a uniformly random permutation. A recent theorem of Pawlowski shows that as soon as the coefficients are not all equal, this distribution is always spread out at scale $n^{-1}$: no single value can occur with probability larger than $\frac{1}{2\lceil n/2\rceil + 1}$, and this bound is sharp in general.
We show that stronger anticoncentration holds when the coefficients have additional diversity. We quantify the structure of the coefficient multiset by a simple statistic depending on its multiplicity profile, and prove that the maximum point mass of the permuted sum decays polynomially faster as this statistic grows. In particular, when the coefficients are all distinct we obtain a bound of $n^{-5/2+o(1)}$, which can be regarded as an analogue of a classical theorem of Erdős and Moser.
Pattern expansions of permutation statistics
We study the expansions of permutation statistics in the basis of functions counting occurrences of a fixed pattern in a permutation. We show the finiteness of these pattern expansions for a class of permutation statistics including the higher moment statistics, generalizing a result of Berman and Tenner. We also give a combinatorial criterion for the positivity of pattern expansions. Using this criterion, we show that the pattern expansion of the number of reduced words of a permutation is positive and give an enumerative interpretation for the coefficients.
The Littlewood-Richardson rule for Schur multiple zeta functions
The Schur multiple zeta function was defined as a multivariable function by Nakasuji-Phuksuwan-Yamasaki. Inspired by the product formula of Schur functions, the products of Schur multiple zeta functions have been studied. While the product of two Schur functions expands as a linear combination of Schur functions, it is known that a similar expansion for the product of Schur multiple zeta functions can be obtained by symmetrizing, i.e., by taking the summation over all permutations of the variables. In this paper, we present a more refined formula by restricting the summation from the full symmetric group to its specific subgroup.
Exact Bounds for Forbidden Configurations and the Extremal Matrices
Let $F$ be a $k\times \ell$ (0,1)-matrix. A matrix is simple if it is a (0,1)-matrix with no repeated columns. A (0,1)-matrix $A$ is said to have a $F$ as a 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 trace.
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)$. The $2\times (p+1)$ (0,1)-matrix $F(0,p,1,0)$ consists of a row of $p$ 1's and a row of one 1 in the remaining column. The paper determines $\mathrm{forb}(m,F(0,p,1,0))$ for $1\le p\le 9$ and the extremal matrices are characterized. A construction may be extremal for all $p$.
Anti-concentration with respect to random permutations
Classical anti-concentration results focus on the random sum $S := \sum _{i=1}^n ξ_i v_i$, where $ξ_i$ are independent random variables and $v_i$ are real numbers. In this paper, we prove new concentration results concerning the random sum $S := \sum_{i=1}^n w_{π_i } v_i $, where $w_i , v_i$ are real numbers and $π$ is a random permutation.
Antidiagonal Initial Complexes of Infinite Matrix Schubert Varieties are Cohen-Macaulay
We show that, under certain constraints, the Stanley-Reisner ring of an infinite simplicial complex is Cohen-Macaulay in the sense of ideals and weak Bourbaki unmixed. We apply this result to prove the wanted claim -- that initial complexes of matrix Schubert varieties corresponding to infinite permutations in $S_{\infty}$ with respect to an antidiagonal term order are Cohen-Macaulay (in the same sense), giving rise to new examples of non-Noetherian Cohen-Macaulay rings.
The Sequence Reconstruction of Permutations under Hamming Metric with Small Errors
Published
• View Publication
• BIB
The sequence reconstruction problem asks for the recovery of a sequence from multiple noisy copies, where each copy may contain up to $r$ errors. In the case of permutations on \(n\) letters under the Hamming metric, this problem is closely related to the parameter $N(n,r)$, the maximum intersection size of two Hamming balls of radius $r$. While previous work has resolved \(N(n,r)\) for small radii (\(r \leq 4\)) and established asymptotic bounds for larger \(r\), we present new exact formulas for \(r \in \{5,6,7\}\) using group action techniques. In addition, we develop a formula for \(N(n,r)\) based on the irreducible characters of the symmetric group \(S_n\), along with an algorithm that enables computation of \(N(n,r)\) for larger parameters, including cases such as \(N(43,8)\) and \(N(24,14)\).