permutation ↗ reference
4847 papers tagged with this keyword
Explicit Matrices over $\mathbb Z_2$ with CNOT and Row Complexity $4n-\mathrm{o}(n)$ and Local Logic Gates
In this article, we present an explicit family of invertible $n\times n$ matrices over $\mathbb Z_2$ whose CNOT and row complexity is at least $4n-\text{o}(n)$; equivalently, reducing these matrices to the identity requires at least $4n-\text{o}(n)$ elementary row operations. Moreover, the same complexity lower bound holds in the stronger computational model where the CNOT gates are replaced by arbitrary local linear logic gates, namely arbitrary invertible linear transformations acting on pairs of coordinates.
Let $G_n$ denote the permutation group generated by local logic gates acting on the set of binary strings of length $n$. We prove that $G_n$ is naturally isomorphic to the group of all invertible affine transformations of the vector space $\mathbb Z_2^n$, thus reducing the problem of estimating the quantum complexity of permutations in $G_n$ to the row reduction complexity of invertible matrices over $\mathbb Z_2$. As an application, we show that the permutations associated with our explicit matrices have quantum complexity at least $4n-\text{o}(n)$.
Classical and vincular patterns of length three in generalized alternating permutations
Let k be an integer at least 2, and let D_{N,k} be the set of permutations of {1,...,N} whose descent set is exactly {k, 2k, ..., k*floor((N-1)/k)}. We enumerate the elements of D_{N,k} avoiding each classical and each vincular pattern of length three.
For classical patterns, we give recursive bijections from the 132- and 231-avoiding classes to ordered forests of complete k-ary trees, obtaining the Raney number. The 213- and 312-avoiding classes are obtained from these forest bijections by completing the last block and applying reverse-complement symmetry. The remaining classical case 321 is expressed by RSK.
For vincular patterns, we enumerate the six fully consecutive patterns and the twelve patterns with exactly one adjacency. The closed-form results are accompanied by bijective models: the Catalan, Raney, Fuss-Catalan, and RSK cases are natural k-ary or fixed-descent extensions of classical bijections, while the product and poset cases arise from block-insertion and record/tree-poset encodings forced by the adjacency conditions.
The Sixth Moment of Random Determinants for Arbitrarily Distributed Random Entries
Via the method of marked permutation tables presented in this paper, we generalize the formula for the sixth moment of a random determinant to account for entries with arbitrary distribution. That is, let $f_6(n) = \mathbb{E}(\det A)^6$, where $A$ is an $n$ by $n$ random matrix with independent and identically distributed entries. We show that the exponential generating function $F_6(t) = \sum_{n=0}^\infty f_6(n)t^n/(n!)^2$ is D-finite and we present it in a closed form. Our method relies on carefully decomposing marked permutation tables into a shell, a core, and a floating component, each of which has a separate contribution to $F_6(t)$. After this decomposition, it is sufficient to enumerate over a finite number of possible shells, which we did using a highly intricate computer program. We verified our result up to $n = 7$ in the general case and up to $n = 9$ for random matrices whose entries only take two values by using a different method for computing $f_6(n)$ for these cases.
Lehmer Codes and the Reverse-Complement Mapping from (32-1)-Avoiding Permutations to (3-21)-Avoiding Permutations
Let $S_n(32\text{-}1)$ and $S_n(3\text{-}21)$ denote the sets of $n$-permutations avoiding the vincular patterns $32\text{-}1$ and $3\text{-}21$, respectively. Using Lehmer codes, we realize these families as weighted posets $L_n(32\text{-}1)$ and $L_n(3\text{-}21)$, where the weight of a code is the inversion number of its permutation. We show that the maximal elements of each of these posets, $\operatorname{Max} L_n(32\text{-}1)$ and $\operatorname{Max} L_n(3\text{-}21)$, are enumerated by the Fibonacci numbers. We demonstrate that the classical reverse-complement map on permutations restricts to a natural bijection between these two sets of maximal elements, revealing a deep symmetry between their underlying poset structures.
Reselection in the game of best choice
We investigate a remarkable probability distribution on the symmetric group, due to Steck from the early 1970's, arising from a natural process that intertwines continuous and discrete selections for the values and positions, respectively, of a permutation. Steck used a matrix determinant to express his distribution, whereas we contribute new combinatorial formulas for it in terms of "bottom-to-top maxima" (that are simply the left-to-right maxima of the inverse) permutation statistics. These formulas specialize, in the case of the identity permutation, to a result of Pitman--Stanley from the late 1990's.
We then use the Steck distribution to define a game of best choice (secretary problem variation) that incorporates a filtering process for the pool of candidates over time. We solve the model for the case where there is a single filtering step. It turns out that the probability of winning the game under optimal play is similar to the classical model ($1/e$, asymptotically), but that the interviewer must employ a different (non-positional) strategy in order to attain it. The optimal strategy depends on the relationship between interview position and the next bottom-to-top maximum value after the filtering step. Among other results, we prove that the optimal strategy always transitions from rejection to acceptance between positions $(1/e)$ and $(1/e) + (1 - 1/e)y$ as a proportion of the total candidates considered, where $y$ is the proportion of unfiltered candidates.
An infinite family of counterexamples to the Polycirculant Conjecture
We disprove the Polycirculant Conjecture, which states that every transitive 2-closed permutation group is non-elusive, i.e. contains a derangement of prime order. In fact, we prove a stronger result, answering a long-standing question of Marušič and Jordan: there exists a vertex-transitive graph admitting no semiregular automorphism. To do so, we employ recently developed methods of Chen et al. for constructing elusive groups via non-split extensions, allowing us to construct an elusive group $7^6.\mathrm{PSU}_3(3)$ of degree 16,464. We show that this group is the full automorphism group of seven of its orbital graphs and hence is 2-closed. Our example extends to infinitely many counterexamples of the Polycirculant Conjecture, and infinitely many vertex-transitive graphs admitting no semiregular automorphism.
Elementary Symmetric Polynomial Inequalities for Centered Vectors and Matrices
We prove new inequalities for elementary symmetric polynomials (ESPs) for vectors that sum to zero, and for square matrices with zero row and column sums. We apply these results to obtain a unified upper bound on the mean-field approximation guarantee for permutation mixtures, as well as a sharp $χ^2$ version of the de Finetti theorem for finite sequences over a small alphabet. The main proof ideas were developed by the GPT-5.5 Pro model.
Frucht's theorem and other set-theoretic principles below the axiom of choice and the axiom of foundation
We take the first step toward the study of set-theoretic principles below the axiom of choice $\mathsf{AC}$ and the axiom of foundation $\mathsf{AF}$ by studying Frucht's theorem, an ordinary mathematical theorem which is provable with either $\mathsf{AC}$ or $\mathsf{AF}$ but not provable without both, and its variants. Specifically, we propose a number of such principles, study the relations between these principles and the standard axioms, and prove provability and unprovability results using (infinite) graph-theoretic constructions and permutation models, which draw a preliminary map of this new area of set theory.
A Hopf algebra on permutations with a coupling product
We define a coupling product and a draw coproduct on permutations and show that they define a graded, connected, cocommutative, free Hopf algebra $\mathbb{KS}$. In characteristic zero,
this implies that $\mathbb{KS}$ is isomorphic to a certain cocommutative Hopf algebra associated with the dual of the coradical filtration of the Malvenuto--Reutenauer Hopf algebra on permutations.
The coupling product and draw coproduct are permutation analogues of the product and coproduct on the monomial basis of symmetric functions;
therefore, we can say that our presentation is a monomial basis for $\mathbb{KS}$.
A lower bound on the growth rate of $(132,213)$-avoiding cyclic permutations
We construct a new reduction process which takes a $(132,213)$-avoiding permutation to a shorter one that is cyclic if and only if the original was. Iterating it determines whether a given $(132,213)$-avoiding permutation is cyclic. Reversing it gives four moves that build every cyclic $(132,213)$-avoiding permutation, uniquely, from $1$ if $n$ is odd, and $21$ if $n$ is even. Our main application is the first non-trivial lower bound for the growth rate of $\mathcal{C}_n(132,213)$, the cyclic permutations of length $n$ avoiding $132$ and $213$. We also give several other consequences of the reduction, including a bijection between the odd and even size classes and an exact enumeration for those permutations with a restricted number of layers.
A new recursive construction for large sets of Kirkman triple systems
We give a recursive construction of an LKTS(7q + 2) from an LKTS(q + 2) and an auxiliary permutation structure on an abelian group of order q, which we call a cubic orthomorphism. We prove that cubic orthomorphisms exist whenever q is a product of prime powers congruent to 1 modulo 6. The construction yields, in particular, LKTSs of orders 93, 177, 219, 261, and 303.
Pattern avoidance in permutations and their rotations
A rotation of a permutation is a new permutation obtained by moving the first several terms of the permutation to the end of the permutation. A circular permutation is the set of all rotations of a permutation. The enumerations of permutations and circular permutations avoiding patterns of length three and four are well studied. In this paper, we provide exact formulas for the number of permutations whose first $k\geq 2$ rotations all avoid a given pattern of length three, as well as the number of permutations whose first three rotations respectively avoid the rotations of a given pattern of length three. In contrast to permutations and circular permutations avoiding patterns of length three, the Wilf-equivalence classes under study are entirely determined by complements and reverses. We also classify and enumerate permutations whose first two rotations avoid different patterns of length three.
Generalised flip order on the faces of nestohedra
Classical shuffle products on permutations and binary planar rooted trees (i.e., on the vertices of permutohedra and associahedra) admit descriptions in terms of intervals in the weak Bruhat order and the Tamari order, respectively. Palacios and Ronco extended these products as well as their interval description to surjections and planar rooted trees (i.e. on all faces of permutohedra and associahedra). In this article, we present a broad generalisation of this phenomenon. We show that the shuffle product on faces of certain families of nestohedra admits an interval description with respect to the generalised flip order, a partial order defined on the faces of nestohedra through elementary splitting and fusion operations on the tree-like combinatorial objects encoding them. The generalised flip order extends the flip order of Barnard and McConville from vertices to all faces of nesthedra. We further compare it with the facial weak order of Dermenjian-Hohlweg-Pilaud and the generalised Tamari order of Ronco, and we provide its characterisation in terms of (generalised) inversions.
New lower bounds for binary constant-weight codes: $A(23,6,10)\geq 2979$ and $A(24,6,10)\geq 4214$
Let $A(n,d,w)$ denote the maximum size of a binary constant-weight code of length $n$, minimum distance $d$, and weight $w$. We construct explicit codes proving $A(23,6,10)\ge 2979$ and $A(24,6,10)\ge 4214$. These improve the best surviving explicit codes of sizes 2969 and 4174 and surpass the corresponding 1990 bounds 2970 and 4200 of Brouwer, Shearer, Sloane and Smith, whose code listings were lost. We also obtain $A(23,6,11)\ge 3539$ and $A(24,6,8)\ge 1855$. All four bounds are now listed in Brouwer's online table. The constructions use a coordinate decomposition in which one half is fixed to a known code and the complementary half is selected from its full cross-compatible pool using CHILS for maximum-weight independent set. For the 2969-word $A(23,6,10)$ incumbent, exact computations with two solver families prove insertion maximality and exclude every improving exchange deleting at most three codewords. We also analyze codes invariant under prime-order permutations: several cycle types are excluded exactly, the $5+1^{18}$ type has upper bound 499, and reproducible heuristic saturation evidence is reported for the remaining types, with $13+1^{10}$ left open. Code files, an independent validator, model descriptions, and computational logs are released.
On the possible values of the Rearrangement Number
The rearrangement number $\mathfrak{rr}$ is the least cardinality of a collection of permutations of $ω$ such that every conditionally convergent real series is disrupted by some permutation in the collection. Blass, Brendle, Brian, Hamkins, Hardy, and Larson proved that $\max\{\operatorname{cov}(\mathcal N),\mathfrak b\}\leq\mathfrak{rr}\leq\operatorname{non}(\mathcal M)$ and asked whether $\mathfrak{rr}<\mathrm{non}(\mathcal M)$ is consistent.
We prove that $\mathfrak{rr}<\operatorname{non}(\mathcal M)$ is consistent with ZFC. We also prove, in a different forcing extension, that $\max\{\operatorname{cov}(\mathcal N),\mathfrak b\}<\mathfrak{rr}$. We further derive consequences for the subseries number $\mathfrak{s}_{\mathrm{sub}}$ and the splitting number $\mathfrak s$.
Stretched exponential asymptotics for bases of triangular bootstrap percolation
In this paper, we study a bootstrap percolation process on the finite triangular grid $\mathfrak{T}_n$ of side length $n$. We say that a subset $η$ of points in $\mathfrak{T}_n$ percolates if the final configuration, starting from $η$, is the whole grid $\mathfrak{T}_n$. A basis of size $n$ is then a subset of points of $\mathfrak{T}_n$ of minimum cardinality which percolates. In this paper, we first prove that the generating function counting bases satisfies an algebraic differential equation. Then, by analysing a modified version of this equation, we prove that the number $t_n$ of bases of size $n$ exhibits a stretched exponential asymptotic behaviour. More precisely, we show that $t_n \sim c n!e^{\sqrt{12n}}n^{5/12}$, for some constant $c>0$. These bases were recently shown by the second author to be in bijection with $3$-permutations avoiding the patterns $(12, 12)$ and $(231, 312)$, so this represents to our knowledge the first proven example of an asymptotic stretched exponential appearing in the study of pattern avoiding permutations.
Permutations with Verma Multiplicities $[M(p):L(q)] \geq 2$
We consider permutations $q$ in the symmetric group $S_n$ whose Verma multiplicities in the principal block of $\mathcal{O}(\mathfrak{sl}_n)$ satisfy $[M(p):L(q)] \geq 2$. We present a construction along with a diagrammatic visualization, showing how permutations in $S_n$ with this property generate a family of permutations in $S_{n+1}$ that share the same multiplicity property. While the method does not recover all such permutations in $S_{n+1}$, it systematically generates many new examples. In addition, we present all permutations in $S_5$ with $[M(\mathrm{id}):L(q)] \geq 2$ in a Bruhat diagram and describe all permutations in $S_6$ and $S_7$ with non-simple Verma multiplicities.
(32-1)-Avoiding Permutations with Maximum Inversion Number
A permutation $π\in S_n$ is (32-1)-avoiding when there do not exist $1 \leq i < i+1 < j \leq n$ such that $π_i > π_{i+1} > π_j$. We determine the maximum inversion number for (32-1)-avoiding permutations and count the number of permutations that achieve this maximum. We then provide a direct construction that enumerates these permutations.
0-Cyclic Equalizability of Binary Words Characterized by Hamming Weight
The random cut is one of the most fundamental shuffles in card-based cryptography: it rotates a sequence of face-down cards by a secret amount. Under this shuffle, two sequences of cards are indistinguishable if and only if they are cyclic shifts of each other. This motivates the question of whether, given two sequences of cards, inserting cards at matching positions can make them indistinguishable. A previous study shows that such an insertion is always possible when any cards may be inserted, as long as the two words are permutations of each other. This paper considers a stronger restriction: if the cards are binary, carrying only 0 or 1, can we insert only 0s to make the sequences indistinguishable? We call two words 0-cyclically equalizable if one can insert 0s into both sequences at matching positions so that the resulting words are cyclic shifts of each other. Our main result is that two binary words of equal length are 0-cyclically equalizable if and only if they have equal Hamming weight, that is, the same number of 1-bits. Since equal Hamming weight is clearly necessary, the content of the paper is to show that it is also sufficient. Our proof is constructive: we encode a pair of binary words as a single word over the four-letter alphabet {A, B, X, O}, reduce equalizability to a simpler condition in this encoding, and build the required insertion explicitly.
Equivariant Schubert Calculus for Inverse Grassmannian Permutations
We give a Graham-positive expansion for the product of two double Schubert polynomials indexed by two inverse Grassmannian permutations. Surprisingly, the nonzero structure constants are double Schubert polynomials in two disjoint sets of equivariant variables. We also give a positive expansion for the product of two single Schubert polynomials indexed by a $321$-avoiding permutation (e.g., a Grassmannian permutation) and an inverse Grassmannian permutation. Unexpectedly, the nonzero structure constants are Edelman--Greene coefficients.