permutation ↗ reference
4945 papers tagged with this keyword
The Banach-Butterfly Invariant: Influence-Adaptive Walsh Geometry for Ternary Polynomial Threshold Functions
We introduce the Banach-Butterfly Invariant (BBT), an influence-adaptive Banach geometry on the Walsh-Hadamard butterfly factorization. For a Boolean function $f:\{-1,+1\}^n\to\{-1,+1\}$ with coordinate influences $\mathrm{Inf}_\ell(f)$, BBT assigns exponent $p_\ell = 1+\mathrm{Inf}_\ell(f)$ to butterfly layer $\ell$, yielding the contraction invariant $μ(f)=\prod_\ell 2^{-\mathrm{Inf}_\ell/(1+\mathrm{Inf}_\ell)}$. We prove a Jensen lower bound $\log_2μ(f) \ge -I(f)/(1+I(f)/n)$ and that $μ$ is strictly Schur-convex in the influence vector (modulo permutation), giving scaling classes $μ\sim 2^{-n/2}$ (parity), $2^{-Θ(\sqrt{n})}$ (majority), $2^{-1/2}$ (dictators). $\log_2μ$ is rational but not polynomial in the Fourier coefficients while $μ$ is algebraic, and $μ$ separates functions with identical total influence (122 pairs at $n=3$).
Using the certified $n \le 4$ ternary Walsh-threshold universe from a companion synthesis manuscript as a finite testbed, we compute exact MILP minimum-support certificates for all 65,536 Boolean functions at $n=4$ (mean 6.42, max 9, all-odd by a parity argument) and on 10,000 of the 616,126 NPN-canonical representatives we enumerate at $n=5$ (matching OEIS A000370). Conditional Spearman $ρ(μ,|\mathrm{supp}|)$ at fixed total influence is $+0.571$ in the largest stratum at $n=4$ but reverses to $-0.38$ at $n=5$ under both function-uniform and NPN-canonical sampling: $μ$ is a valid Schur-convex concentration invariant, not a universal monotone predictor of minimum support across $n$.
A companion application paper validates a real-valued WHT activation-energy proxy inspired by this theory on five pretrained LLMs at W2A16, cutting wikitext-2 perplexity by 15-58% versus vanilla auto-round; the transfer from Boolean theory to the real-valued proxy is qualitative, not formal.
Explicit marginal distributions for permutations with prescribed Robinson-Schensted shape
Given a permutation $σ$, the Robinson-Schensted correspondence determines a certain partition called the shape of $σ$. Famously, the shape measures the longest unions of increasing and decreasing subsequences, thus giving global information about $σ$. In this paper, by contrast, we ask how prescribing a shape collectively controls local behavior: namely, if $σ$ is a random permutation of shape $λ$, then what is $P^λ_{ij} :=$ the probability that $σ(i) = j$? Our main results, obtained by tableau-theoretic methods, are explicit formulas for $P^λ_{ij}$ when $λ$ is a hook, two-row, or rectangular shape. We use these formulas to depict and analyze the intricate diffraction-like patterns in the matrices $(P^λ_{ij})$. As a surprising application, we show that for both hook and two-row shapes, as the largest part of $λ$ tends to infinity with the remaining parts fixed (summing to $m$), the expected proportion of fixed points in $σ$ approaches the Wallis integral $\int_0^{π/2} \sin^{2m+1} x \: dx = (2m)!! / (2m+1)!!$.
Families of Shape-Wilf-Equivalent Claw-Shaped Partially Ordered Patterns
Partially ordered patterns (POPs) generalize classical permutation patterns and have been extensively studied in the contexts of permutations, words, compositions, and partitions. Burstein, Han, Kitaev, and Zhang established the shape-Wilf-equivalence for individual claw-shaped POPs. In this paper, we extend their result by proving that certain families of claw-shaped POPs are shape-Wilf-equivalent and enumerate the number of permutations avoiding that set of claw-shaped POPs. Our approach is based on a new encoding process, which is entirely different from the method used in their work.
The proportion of permutations fixing a $k$-set
Denote by $p(k)$ the limit, as $n \rightarrow \infty$, of the probability that a random permutation on a set of size $n$ has an invariant set of size $k$. We give an asymptotic formula for $p(k)$, showing that it is asymptotically $f(\{\log_2 k\}) k^{-δ} (\log k)^{-3/2}$ where $δ= 1 - \frac{1 + \log \log 2}{\log 2} \approx 0.086$ and $f$ is a smooth, positive, function on $\mathbb{R}/\mathbb{Z}$, which we will describe explicitly. The function $f$ satisfies $\frac{\max f}{\min f} < 1 + 2 \times 10^{-7}$ and we conjecture that it is not constant.
Estimating $p(k)$ is a model for the more well-known question which asks for an estimation of $M(n)$, the number of distinct elements in the $n$-by-$n$ multiplication table. By elaborating on the techniques in this paper, we will give an asymptotic for $M(n)$ in forthcoming work.
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.
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$
Published
• View Publication
• BIB
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.