permutation ↗ reference
4847 papers tagged with this keyword
Stretched Schubert coefficients are eventually quasi-polynomial
For a permutation $u\in S_n$, let $N\ast u\in S_{Nn}$ be the permutation with scaled Lehmer code. For given $u,v,w\in S_n$ and integer $N$, the stretched Schubert coefficients are defined as $f_{u,v,w}(N):=c_{N*u,N*v}^{N*w}$. Our main result is that the function $f_{u,v,w}(N)$ is eventually quasi-polynomial. This proves Kirillov's conjecture (2004), that the generating function for the sequence $\{f_{u,v,w}(N)\}$ is rational.
For the proof, we use combinatorics of pipe dreams to show that Schubert coefficients are given as an alternating sum of the numbers of integer points in certain polytopes. These polytopes behave nicely under stretching, and we use Ehrhart theory to obtain the result. As a consequence of the proof, we also present new counterexamples to the saturation conjecture for Schubert coefficients, and give computational applications.
Partition division maps, symmetric functions and positivity
We introduce a linear map on symmetric functions that 'divides' a partition by a positive integer $k$, sending a Schur function indexed by a partition of $kn$ to a symmetric function indexed by partitions of $n$. We prove that the image of this map is always Schur-positive, meaning it expands in the Schur basis with nonnegative integer coefficients. These coefficients are enumerated by a new family of combinatorial objects, called $k$-Yamanouchi tableaux, which generalize the classical ballot (Yamanouchi) tableaux appearing in the Littlewood-Richardson rule. We also obtain expansions in the power-sum basis and establish power-sum positivity.
A further application establishes a connection to work of Tewodros Amdeberhan, John Shareshian, and Richard Stanley on alternating permutations and Euler numbers.
Subword enumeration up to stack-sorting equivalence
Defant and Kravitz introduced generalizations of West's stack-sorting map $s$ from permutations to finite words. This raises questions as to how such generalizations could be applied in the field of combinatorics on words. The Defant-Kravitz generalizations of $s$ depend on how repeated occurrences of the same character within a word may be repositioned, according to their $\textsf{tortoise}$ and $\textsf{hare}$ operations. As demonstrated in this paper, these operations provide a natural way of extending abelian complexity functions for infinite sequences, in a way that gives light to structural properties associated with infinite words. We apply these new ideas to two famous infinite words: the paperfolding word and the Thue-Morse word. In the case of the Thue-Morse word, we discover an interesting connection to the previous work of several authors, such as de Luca and Varricchio, on the ``special'' factors of the Thue-Morse word. This may be seen as providing a basis for a new and interdisciplinary area linking the combinatorics about the stack-sorting of permutations with the field of combinatorics on words.
Permutations that strongly avoid 132
A permutation $π$ strongly avoids the pattern $τ$ if both $π$ and $π^2$ avoid $τ$. In this paper, we enumerate permutations of size $n$ that strongly avoid the pattern 132. This enumeration allows us to prove a conjecture that the growth rate of such permutations is 2.
Commutation classes of reduced words and higher Bruhat orders for affine permutations
The higher Bruhat orders are partial orders that generalize the weak order on the symmetric group $S_n$, and the second higher Bruhat order is a poset on commutation classes of reduced words for the longest element in $S_n$, where covering relations correspond to braid relations. Constructing analogs in other settings is an area of recent interest, and we present an analog that generalizes any interval $[id,w]$ in the weak order of both the symmetric group and the affine symmetric group. Paralleling the classical case, we show that the second higher Bruhat order is a poset on commutation classes of reduced words for any affine permutation. For the symmetric group, we also establish results for all higher Bruhat orders that are direct analogs of those in the classical case.
Large deviation principles for pattern-avoiding permutations, and limit shapes for constrained Mallows permutations
We study Mallows random permutations conditioned to avoid a given pattern $α$ of length~$3$. When the bias parameter is of the form $e^{β/n}$, we prove that these permutations converge to a non-trivial explicit deterministic permuton that depends on the pattern $α$ and on the parameter $β$. Along the way, we provide parametrizations for $α$-avoiding permutons, and establish a large deviation principle for uniform $α$-avoiding permutations. As a byproduct of the proof, we also obtain asymptotic estimates of two versions of $q$-Catalan numbers in the regime $q=e^{β/n}$.
Recursive Record Filtering and Longest Decreasing Subsequences
We consider a recursive record-filtering procedure, which we informally call Disappear-Sort. Let $D_n$ denote the random variable giving the required number of passes in Disappear-Sort to eliminate a sequence of length $n$ sampled as i.i.d. copies of a continuous random variable $X$, where each pass retains the left-to-right records and discards all remaining entries. We show that this procedure admits two natural probabilistic interpretations. For the resampling variant we prove that $d_n=\mathbb{E}[D_n]$ satisfies an exact recurrence involving the unsigned Stirling numbers of the first kind. For the non-resampling variant, we associate to a permutation $p_n\in S_n$ a natural poset and prove that the recursive Disappear-Sort layers form an antichain decomposition of this poset. We deduce that the total number of passes equals $L(p_n)$, where $L(p_n)$ is the length of the longest decreasing subsequence of $p_n$. We then show that for a uniform random permutation of size $n$, the expectation $\mathbb{E}[D_n]$ of this second variant coincides with the expected first-column length of a Plancherel-random Young diagram. Using the Robinson--Schensted correspondence, we obtain an exact formula for this expectation in terms of partitions and standard Young tableaux, and classical Plancherel asymptotics then yield $\mathbb{E}[D_n]\sim 2\sqrt{n}$, with fluctuations on the $n^{1/6}$ scale governed by the Tracy--Widom law derived by Baik, Deift and Johansson. We conclude with an $O(n\log n)$ implementation.
On 132-Avoiding Permutations with an Adjacency Constraint
We study permutations in $S_n$ that simultaneously avoid the pattern $132$ and satisfy the adjacency bound $|π_{i+1} - π_i| \leq m$ for all $i$, denoting their number by $A_n^{(m)}$. This combination of a global pattern restriction and a local bounded-difference condition produces a strong structural collapse: whereas unrestricted $132$-avoiding permutations are counted by the Catalan numbers with exponential growth rate $4$, the adjacency constraint forces the maximum element $n$ to occupy only positions in $\{1, 2, \ldots, m\} \cup \{n\}$. We give a complete solution for $m = 2$ by partitioning the class according to the position of the maximum element. This yields explicit recurrences and a rational generating function, from which we derive asymptotic growth of the form $A_n^{(2)} \sim C α^n$ with $α\approx 1.4656$. We conjecture that for each fixed $m$, the class admits a finite-state structural decomposition leading to linear recurrences with constant coefficients and rational generating functions, with growth constants increasing to $4$.
Mahonian statistics on words with fixed weak right-to-left minima and on permutations with a fixed descent set
Our first main result shows that, for words with a fixed multiset of weak right-to-left minima, the statistics within each of the following three classes are equidistributed:
1. Mahonian statistics: $\textsf{inv}$, $\textsf{maj}$, $\textsf{den}$, $\textsf{mak}$, $\textsf{mad}$, $\textsf{inv}_{r}$, $r\textsf{maj}$, and $r\textsf{den}$;
2. Euler--Mahonian statistics: $(\textsf{des},\textsf{maj})$, $(\textsf{exc},\textsf{den})$, and $(\textsf{des},\textsf{mak})$;
3. $r$-Euler--Mahonian statistics: $(r\textsf{des},r\textsf{maj})$ and $(r\textsf{exc},r\textsf{den})$.
Our second main result shows that, for permutations with a fixed descent set, the statistics within each of the following two classes are equidistributed:
1. Mahonian statistics: $\textsf{inv}$, $\textsf{imaj}$, $\textsf{imak}$, $\textsf{iinv}_{r}$, and $\textsf{istat}$;
2. Mahonian--Stirling-type statistics: $(\textsf{inv},\textsf{lrmax})$, $(\textsf{imaj},\textsf{lrmax})$, $(\textsf{imak},\textsf{lrmax})$, and $(\textsf{iinv}_{r},\textsf{lrmax})$.
Moreover, we apply these results to set partitions, 221-avoiding words, alternating permutations, and permutations with $k$ alternating runs, thereby obtaining several families of equidistributed Mahonian-type statistics on these combinatorial structures.
Greedy Routing in a Sequentially Grown One-Dimensional Random Graph
We analyze greedy routing in a random graph G_n constructed on the vertex set V = {1, 2, ..., n} embedded in Z. Vertices are inserted according to a uniform random permutation pi, and each newly inserted vertex connects to its nearest already-inserted neighbors on the left and right (if they exist). This work addresses a conjecture originating from empirical studies (Ponomarenko et al., 2011; Malkov et al., 2012), which observed through simulations that greedy search in sequentially grown graphs exhibits logarithmic routing complexity across various dimensions. While the original claim was based on experiments and geometric intuition, a rigorous mathematical foundation remained open. Here, we formalize and resolve this conjecture for the one-dimensional case. For a greedy walk GW starting at vertex 1 targeting vertex n -- which at each step moves to the neighbor closest to n -- we prove that the number of steps S_n required to reach n satisfies S_n = Theta(log n) with high probability. Precisely, S_n = L_n + R_n - 2, where L_n and R_n are the numbers of left-to-right and right-to-left minima in the insertion-time permutation. Consequently, E[S_n] = 2H_n - 2 ~ 2 log n and P(S_n >= (2+c) log n) <= n^(-h(c/2) + o(1)) for any constant c > 0, with an analogous lower tail bound for 0 < c < 2, where h(u) = (1+u) ln(1+u) - u is the Bennett rate function. Furthermore, we establish that this logarithmic scaling is robust: for arbitrary or uniformly random start-target pairs, the expected routing complexity remains E[S_{s,t}] = 2 log n + O(1), closely mirroring decentralized routing scenarios in real-world networks where endpoints are chosen dynamically rather than fixed a priori.
The inversion number statistic for inversion sequences
Inversion sequences, also known as subexcedant sequences, form a fundamental class of objects in enumerative combinatorics. In this paper, we study the joint distribution of five statistics on inversion sequences. While several statistics on inversion sequences have been extensively investigated, our contribution is to introduce the inversion number statistic, originally defined for permutations, into the context of inversion sequences. As special cases, we recover classical permutation statistics, including the Stirling, Mahonian and Eulerian distributions, as well as the Catalan and Narayana numbers. Somewhat unexpectedly, our specializations also include the number of involutions in the symmetric group.
Our study arises from a $q$-analog of Comtet's expansion formula obtained by substituting the classical derivative operator $D$ with the $q$-derivative operator $D_q$.
The general position number of digraphs
The general position number for graphs ask for largest vertex subsets $S$ such that no three vertices are contained on a common shortest path. We examine this problem in the setting of directed graphs. We provide bounds for the general position number of digraphs, show that the problem is NP-complete for oriented graphs, investigate the problem for some important families of digraphs such as circulant digraphs, Kautz digraphs and permutation digraphs, and study the general position numbers obtained from all orientations of an undirected graph.
Some remarks on the orbit dimension of transitive groups and on the metric dimension of Johnson graphs
The orbit dimension $σ(G)$ (also called the separation number or rigidity index) of a permutation group $G$ with domain $Ω$ is the minimum cardinality of a subset $S \subseteq Ω$ such that, for any two distinct elements $ω,ω'\in Ω$, there exists $α\in S$ for which $ω$ and $ω'$ lie in distinct orbits of the stabilizer $G_α$.
In this paper, we first observe that if $G$ is transitive, then $σ(G)\le |Ω|-r+1$, where $r$ is the rank of $G$, and we obtain strong structural information on the groups for which equality holds.
Next, we investigate the orbit dimension in the case where $G$ is the symmetric group of degree $n$, acting on the set of $k$-subsets of $\{1,\ldots,n\}$. In this case, this invariant equals the metric dimension of Johnson graphs.
Tiles from projections of the root and weight lattices of $A_n$
Main purpose of this work is to introduce a general technique of projection of the Voronoi tessellation of the weight lattice $A_n^\ast$ and apply it for the lattice $A_4^\ast$. The projection of the Voronoi tessellation of the weight lattice $A_4^\ast$ produces a totally different tiling scheme than the tiling obtained from the Voronoi cell projection of the lattice $A_4$. The 2D faces of the Voronoi cell of the lattice $A_4^\ast$ are of two types: regular hexagons and squares in 4-dimensions but project into two types of hexagons and two types of rhombuses with edges of two lengths in proportion to golden ratio. The mathematical technique employed is also useful for the projections of the root lattice $A_n$. A convenient set of linearly dependent and non-orthogonal $\left(n+1\right)$ vectors $k_i$ is introduced. The simple roots and the fundamental weights are defined as $α_i=k_i-k_{i+1},\left(i=1,2,\ldots,n\right) ,ω_i=k_1+k_2+\ldots+k_i$, respectively. When the vectors $k_i$ are defined in an orthogonal basis, the first two components of $k_i$ determine the Coxeter plane. Projection of the Delone cells of $A_n$ and $A_n^\ast$ on the Coxeter plane displays the same type of tiles and tilings but the Voronoi cell projection of these lattices yields different tiles and tilings. Vertices of the Voronoi cell $V(0)$ of $A_n$ is the union of the orbits of the weight vectors $W(a_n){(ω}_1)\cup W\left(a_n\right)(ω_2)\cup\ldots\cup W\left(a_n\right)(ω_n)$ and the 2D faces are the rhombuses. The Voronoi cell ${V(0)}^\ast$ of $A_n^\ast$ is the permutohedron of order $(n+1)$ and its vertices are the permutations of the vectors ${k}_i$ of the vertex $\frac{1}{n+1}[\left(n+1\right)k_1+nk_2+\ldots+k_{n+1}]$. It has regular hexagons and squares as 2D faces in $n$-dimensions.
Polynomial Time Enumeration of t-Stack-Sortable Permutations Ending in Their Least Entry
We study the behavior of West's stack-sorting map $s$ on permutations whose last entry is also their least. Let $S_{n}':=\{\pi0\mid π\in S_n\}$ where $\pi0$ denotes the concatenation of $π$ and $0$. For each permutation $π\in S_n'$, we introduce a new combinatorial object known as the stack-sorting tableau $T_π$, which ultimately serves as the key ingredient in the first polynomial time algorithm for counting the number of $t$-stack-sortable permutations in $S_n'$. We then establish a precise relationship between the behavior of $s$ on $S_{n}'$ and on $S_{n}$.
More Vertices of the Tristochastic Polytope
The $n\times n$ doubly stochastic matrices constitute a polytope in $\mathbb{R}^{n^2}$, and by Birkhoff's theorem, its vertex set coincides with the set of order-$n$ permutation matrices.\\ A tristochastic array is an $n \times n\times n$ array of nonnegative reals, where each row, column, and shaft sums to one. These arrays constitute a polytope $Δ_n$ in $\mathbb{R}^{n^3}$. In analogy, it is easy to see that each of the $L_n$ order-$n$ Latin squares is a vertex of $Δ_n$, but in contrast to Birkhoff's theorem, Latin squares form a vanishingly small subset of $Δ_n$'s vertex set. We show here that $Δ_n$ has at least $L_n^{2-o(1)}$ vertices.
Random permutations from $q$-Demazure products
We study the $q$-deformation of the Demazure product model from arXiv:2407.21653. Consider the longest element $w_0$ in $S_n$ written as a reduced word in simple transpositions. Independently delete each transposition with probability $1-p$ and apply the $q$-Demazure product to the remaining ones. We show that the law of the resulting permutation converges as $n \to \infty$ to a deterministic permuton, which coincides with the $q=0$ case studied in arXiv:2407.21653 for adjusted probability $p'=p(1-q)/(1-qp)$. This resolves Conjecture 1.13 from arXiv:2407.21653 and identifies the limiting permuton explicitly.
Improved Space-Time Tradeoffs for Permutation Problems via Extremal Combinatorics
We provide improved space-time tradeoffs for permutation problems over additively idempotent semi-rings. In particular, there is an algorithm for the Traveling Salesperson Problem that solves $N$-vertex instances using space $S$ and time $T$ where $S\cdot T \leq 3.7493^{N}$. This improves a previous work by Koivisto and Parviainen [SODA'10] where $S\cdot T \leq 3.9271^N$, and overcomes a barrier they identified, as their bound was shown to be optimal within their framework.
To get our results, we introduce a new parameter of a set system that we call the chain efficiency. This relates the number of maximal chains contained in the set system with the cardinality of the system. We show that set systems of high efficiency imply efficient space-time tradeoffs for permutation problems, and give constructions of set systems with high chain efficiency, disproving a conjecture by Johnson, Leader and Russel [Comb. Probab. Comput.'15].
Improved space-time tradeoff for TSP via extremal set systems
The traveling salesman problem (TSP) is a cornerstone of combinatorial optimization and has deeply influenced the development of algorithmic techniques in both exact and approximate settings. Yet, improving on the decades-old bounds for solving TSP exactly remains elusive: the dynamic program of Bellman, Held, and Karp from 1962 uses $2^{n+O(\log{n})}$ time and space, and the divide-and-conquer approach of Gurevich and Shelah from 1987 uses $4^{n + O(\log^2{n})}$ time and polynomial space. A straightforward combination of the two algorithms trades off $T^{n+o(n)}$ time and $S^{n+o(n)}$ space at various points of the curve $ST = 4$. An improvement to this tradeoff when $2 < T < 2\sqrt{2}$ was found by Koivisto and Parviainen (SODA 2010), yielding a minimum of $ST \approx 3.93$. Koivisto and Parviainen show their method to be optimal among a broad class of partial-order-based approaches, and to date, no improvement or alternative method has been found.
In this paper we give a tradeoff that strictly improves all previous ones for all $2 < T < 4$, achieving a minimum of $ST < 3.572$. A key ingredient is the construction of sparse set systems (hypergraphs) that admit a large number of maximal chains. The existence of such objects is of independent interest in extremal combinatorics, likely to see further applications. Along the way we disprove a combinatorial conjecture of Johnson, Leader, and Russell from 2013, relating it with the optimality of the previous tradeoff schemes for TSP. Our techniques extend to a broad class of permutation problems over arbitrary semirings, yielding improved space-time tradeoffs in these settings as well.
Sample entropy for graph signals: An approach to nonlinear dynamic analysis of data on networks
The recent extension of permutation entropy and its derivatives to graph signals has opened up new horizons for the analysis of complex, high-dimensional systems evolving on networks. However, these measures are all fundamentally rooted in Shannon entropy and symbol dynamics. In this paper, we explore, for the first time, whether and how a popular conditional-entropy based measure --Sample Entropy (SampEn)-- can be effectively defined for graph signals and used to characterise the nonlinear dynamics of data on complex networks.
We introduce sample entropy for graph signals (SampEnG), a unified framework that generalises classical sample entropy from uni- and bi-dimensional signals, including time series and images, by building on topology-aware embeddings using multi-hop neighbourhoods and computing finite scale of correlation sums in the continuous embedding state space. Experiments on synthetic and real-world datasets, including weather station, wireless sensor monitoring, and traffic systems, verify that SampEnG recovers known nonlinear dynamical features on paths and grids. In the traffic-flow analysis, SampEnG on a directed topology (encoding causal flow constraint) is particularly sensitive to phase transitions between free-flow and congestion, offering information that is complementary to existing Shannon-entropy based approaches. We expect SampEnG to open up new ways to analyse graph signals, generalising sample entropy and the concept of conditional entropy to extending nonlinear analysis to a wide variety of network data.