permutation ↗ reference
4945 papers tagged with this keyword
A Hopf Algebraic Theory of the Quantum Magnusian
We develop a Hopf-algebraic theory of the graph coefficients arising in the quantum Magnus expansion. At the classical level, the graph expansion is governed by directed trees, whereas its quantum counterpart involves loop graphs, multiple edges, and different types of edge data. We introduce a contraction Hopf algebra of mixed quivers containing these physical diagrams and closed under contraction.
On the Hopf subalgebra spanned by quivers, we define a character $e$ from normalized linear-extension data and a tadpole prescription, and let $ω$ be its convolution inverse. Our main result is a universal closed formula for the connected function $ω_c$ on every finite quiver. The formula is a finite sum over ordered set partitions of the vertex set and is valid without acyclicity or simplicity assumptions. We also give a local characterization: a two-vertex contraction identity, together with tadpole factorization, vanishing on disconnected graphs, and boundary data, determines $ω_c$ uniquely.
For acyclic quivers, the general formula reduces to a permutation formula whose coefficients depend only on descent numbers. We derive the same formula independently from the quantum Magnus expansion via operator products and Wick contractions, showing that its physical graph coefficients are governed by the convolution structure of the contraction Hopf algebra. As further consequences, we obtain a refined quantum Murua formula and orientation-sum identities related to Tutte and chromatic polynomials.
Maximal Lehmer Codes for Permutations with Classical and Consecutive 321-Avoidance
Let ${S}_n(321)$ and ${S}_n(\underline{321})$ denote the sets of $n$-permutations avoiding the classical pattern $321$ and the consecutive pattern $\underline{321}$, respectively. Permutations are in bijection with Lehmer codes, a type of inversion sequence. Using Lehmer codes, we create the corresponding weighted posets ${L}_n(321)$ and ${L}_n(\underline{321})$, where the weight of a code is the inversion number of its permutation. We show that there are $2^{n-2}$ maximal elements of ${L}_n(321)$, while the maximal elements of ${L}_n(\underline{321})$ are enumerated by the Padovan numbers. We also show that when $n$ is even, each of these posets has a unique maximum weight element, and that when $n$ is odd, there are two maximum weight elements. These maximum weight Lehmer codes correspond to the pattern avoiding permutations with maximum inversion number.
Permutation automorphism groups of cyclic codes I: cyclotomic association schemes
The Berger-Charpin conjecture predicts that the permutation automorphism group of a cyclic code is generally the $q$-affine group, which is generated by the shift and the Frobenius multiplier on the index set. The word {\em generally} is not made precise in the literature, and the goal of this series of papers is to study when the Berger-Charpin conjecture or its variants hold.
In this first part, we establish a natural connection between the theory of cyclic codes and the theory of cyclotomic association schemes (equivalently, Schur rings over cyclic groups). Using it, we show that the $q$-affine group is not the correct group to expect for certain code lengths. We characterize these lengths by an arithmetic condition, and show that they have density zero.
Finite and infinite barrycades
An $n$-barrycade of height $h$ is a set of $h$ permutations of $[n]$ such that all the prefix sums are different. This notion was described in 2020 by Richard Guy, together with the central problem to determine for which values of $n$ there exists a break-free $n$-barrycade, that is, one in which every possible prefix sum from $1$ to $\frac{n(n+1)}{2}-1$ is covered. The height of such barrycade would be $\frac{n+2}{2}$.
We prove that barrycades of linear height exist for infinitely many sizes: there is a constant $c>0$ such that for infinitely many positive integers $n$ there exists an $n$-barrycade of height at least $cn$. We also explore an infinite variant of the problem and propose three constructions -- greedy, grasshopper and precise grasshopper -- that give increasingly more satisfying results. Along the way we encounter new integer sequences and formulate conjectures concerning omitted elements, missing partial sums, and word representations of infinite barrycades, which are firmly supported by computational data.
Degree Power Sums in Extremal Set Systems
For a family $\mathcal F\subseteq\binom{[n]}k$ and $R\in\binom{[n]}r$, let $d_{\mathcal F}(R)=|\{F\in\mathcal F:R\subseteq F\}|$ and $\ell_{r,p}(\mathcal F)=\sum_{R\in\binom{[n]}r}d_{\mathcal F}(R)^p$; write $co_p(\mathcal F)=\ell_{k-1,p}(\mathcal F)$ for the codegree power sum. We introduce a method that uses convexity to extend sharp bounds for degree sums and sums of squared degrees to real powers, while retaining all equality cases. The method bounds $x^p$ by quadratic polynomials or by a continuous function that is linear on each of two intervals. These functions agree with $x^p$ at the degrees of the proposed extremal family, so the argument requires no bounds for sums of higher powers. For families with bounded matching number, we instead use a bound for $\sum_R\max\{d_{\mathcal F}(R)-s,0\}$ together with the degree sum. We give three exact applications. First, a full $t$-star maximizes $co_p$ among $t$-intersecting families for every real $p\geq2$ in the sharp range $n\geq(t+1)(k-t+1)$, with all equality cases determined. This extends the quadratic theorem of Wu and Zhang to real exponents and answers a problem of Zhou and Yuan throughout the sharp Erdős--Ko--Rado range. Second, among intersecting families with $n\geq2k$, a full star maximizes $\ell_{r,p}$ for every $1\leq r\leq k-1$ and real $p\geq2$, again with all equality cases determined. Third, if $ν(\mathcal F)\leq s$ and $n\geq(2s+1)k-s$, then for every real $p\geq1$, $co_p(\mathcal F)$ is uniquely maximized, up to permutation, by all $k$-sets meeting a fixed $s$-set. This removes the integrality restriction on $p$ and replaces previous cubic thresholds or assumptions that $n$ is sufficiently large with an explicit linear range valid for arbitrary $k$.
Extremal Spanning Trees in Product Grid Graphs
We compare spanning-tree counts at a fixed number of vertices for Cartesian products of paths $P_r$, $r\ge1$, or cycles $C_s$, $s\ge3$. With the number $d$ of factors fixed, an equal-volume tuple that is more balanced in the logarithmic majorization order has at least as many spanning trees, with equality only for permutations. This comparison persists after adjoining any fixed finite connected Cartesian factor; equal-sided blocks therefore uniquely maximize the count at admissible block volume $n^d$. We prove the comparison through strict log-convexity of one-dimensional heat traces in logarithmic length. The Hartman--Watson representation expresses the cycle interpolation as a positive mixture of theta functions, and the path case follows from it. The same heat-trace order decreases every positive inverse-power sum of the nonzero Laplacian eigenvalues, and hence the total effective resistance. Cylinders behave differently: square balancing can fail. For $P_r\square C_s$ of area $N=rs$, extending the product formula to real height and optimizing over integer circumferences $3\le s\le N$ yields an optimum on the scale $N^{1/3}$. Along areas having a divisor asymptotic to that optimum, quantitative estimates place every graph-maximizing circumference on the same scale. For two-dimensional tori, balancing remains optimal, but the gain in the logarithmic spanning-tree count admits no positive uniform lower bound proportional to the decrease in the side sum.
Staircase diagrams, pattern avoidance, and smooth permutations
A well known result due to Lakshmibai and Sandhya states that smooth Schubert varieties of type A correspond to permutations that avoid the patterns 3412 and 4231. It was later shown by the second author and Slofstra that staircase diagrams over a simply-laced Dynkin diagram are in bijection with smooth Schubert varieties of the corresponding type. We explore how the poset structure of staircase diagrams is connected with pattern avoidance on smooth permutations. As an application, we enumerate several subclasses of smooth permutations which are characterized by pattern avoidance. These subclasses include the class of polished permutations which were studied by Gaetz and Gao.
The automorphism group of the derangement graph of $\operatorname{PGL}_{2}(q)$ acting on the projective line
Given a finite transitive group $G\leq \operatorname{Sym}(Ω)$, the derangement graph $Γ_G$ is the graph whose vertex set is $G$, and two vertices $g$ and $h$ are adjacent if the ratio $h^{-1}g$ is a fixed-point-free permutation. In this paper, we show that the automorphism group of the derangement graph of the transitive permutation group corresponding to the natural action of $\operatorname{PGL}_{2}(q)$ on the projective line $\operatorname{PG}_{1}(q)$ is \begin{align*}
\operatorname{Aut}(Γ_{\operatorname{PGL}_{2}({q})}) = \left(L_{\operatorname{PGL}_2(q)}\times R_{\operatorname{PGL}_2(q)}\right) \rtimes \left(\langle ψ\rangle \times γ_{\operatorname{Aut}(\mathbb{F}_q)}\right), \end{align*} where $L_{\operatorname{PGL}_2(q)}$ is the left-regular representation of $\operatorname{PGL}_2(q)$, $R_{\operatorname{PGL}_2(q)}$ is the right-regular representation of $\operatorname{PGL}_2(q)$, $γ_{\operatorname{Aut}(\mathbb{F}_q)}$ is the group of conjugation by elements of $\operatorname{Aut}(\mathbb{F}_q)$, and $ψ: \operatorname{PGL}_2(q) \to \operatorname{PGL}_2(q)$ such that $ψ(x) = x^{-1}$.
Intersection Orbital Graphs of Permutation Groups and Reconstruction of Simple Groups
We introduce the \emph{intersection orbital graph} $Γ(G_1, G_2; Ω)$ associated with two permutation groups $G_1, G_2 \leq \mathrm{Sym}(Ω)$ on a finite set $Ω$.
Minimal transitive factorizations supported on quasi-threshold graphs
We study the number of minimal transitive factorizations of the identity permutation in $S_n$ into transpositions supported on a quasi-threshold graph. We show that this number is always divisible by $(2n-2)!/n!$, which is the factorization count for a star graph, as shown by Irving and Rattan. To prove this, we give a combinatorial formula for the number of such factorizations as a weighted sum over a subset of the $n^{n-2}$ factorization trees, which are edge-weighted spanning trees satisfying certain flow constraints.
A component-wise inequality for permutation matches
Motivated by the recent paper [Sharp endpoint extension inequalities for the moment curve on finite fields II: an extremal property of the uniform distribution, arXiv:2609.29882], which proves sharp extension inequalities in finite fields via a two-point symmetrization argument, we prove here a more general component-wise inequality for permutation matches that implies theirs.
Exact counting of unlabeled quartic graphs by permutation-cycle aggregation
The number of unlabeled regular graphs can be expressed as an average of fixed-point counts over vertex permutations, but evaluating each fixed-point count still requires the degree constraints to be enforced. We give an exact recurrence that processes one complete permutation cycle at a time and records the remaining cycles only by their lengths and residual degrees. The recurrence combines internal edge orbits with orbits joining distinct cycles, while binomial and multinomial coefficients retain the multiplicities of choices that lead to the same remaining state. We prove that this state description is sufficient under complete-cycle elimination and derive bounds on the number of states and transitions. For every fixed degree, the resulting algorithm has an $\exp(O(\sqrt n))$ upper bound in the number of vertices, including integer-arithmetic costs. The quartic case requires only four positive residual-degree classes for each cycle length. Small-instance comparisons with a separately implemented, vertex-indexed edge-orbit calculation verify both regular and nonuniform residual-degree inputs. The quartic calculation gives unrestricted and connected counts through order 50, including 22 orders beyond the corresponding reference tables through order 28. Connected counts are recovered by the inverse Euler transform, and all 22 identity-permutation contributions for orders 29--50 agree with the published labeled counts. The nonidentity fixed-point terms at these orders have not been independently recomputed.
Fast factorization in diagram monoids
We give explicit algorithms that factor elements of the standard diagram monoids into their usual generators. These algorithms generalize sorting from permutations to partial matchings and set partitions. In every case the worst-case complexity is $n^2$, which is optimal for algorithms that explicitly list the factors. We also determine the average complexity of our algorithms.
The Lehmer complex of a Bruhat interval
We introduce Lehmer codes for several finite Coxeter groups, including all classical Weyl groups. These codes correspond to embed products of chains in the Bruhat order, which allow us to associate to each lower Bruhat interval of these groups a multicomplex whose $f$-polynomial is the Poincaré polynomial of the interval. Via a general construction, we prove that these polynomials are $h$-polynomials of vertex-decomposable simplicial complexes, which we call Lehmer complexes. Moreover we provide a classification, in terms of unimodal permutations, of Poincaré polynomials of smooth Schubert varieties in flag manifolds.
S-meandric Permutations and Tangency Polynomials
A meander is a configuration of two simple plane curves intersecting transversely. The orders of their intersection points define a permutation that determines the configuration. When tangencies are allowed, however, different configurations can share the same permutation. We study the combinatorial and algebraic structures arising from this non-uniqueness. We give a realization criterion and show that the realizations of each realizable permutation form an affine space over the two-element field. We describe this space using an associated graph, called the component spine. We prove that the component spine of every permutation is a cactus. We also introduce the tangency polynomial, which counts realizations by their number of tangencies, investigate its properties, and prove that it factors over the cycles and bridges of the component spine. We derive a central limit theorem for tangency counts and obtain asymptotic formulas for the number of distinct tangency polynomials.
Arrow-Wilf equivalences and enumerative results for short arrow patterns
Arrow patterns, introduced by Berman and Tenner, provide a unified framework for studying permutation classes where both one-line and cycle structure constraints are present. In this paper, we continue the systematic study of arrow pattern avoidance initiated by Archer and Laudone. We establish several structural results, including a key lemma that translates arrow patterns into vincular patterns under certain conditions, and derive a series of arrow-Wilf equivalences arising from reversal, complementation, and insertion operations. We also resolve the two cases $(12;3\to 3)$ and $(21;3\to 3)$ left open by Archer and Laudone, and enumerate the arrow patterns of the form $(ν; b\to c)$ of size $3$ with $ν\in \{31, 23, 32\}$ and $b,c\in [3]$, providing explicit formulas connecting the results to Bell numbers, Bessel numbers, Catalan numbers, and derangement numbers. Together with earlier work of Archer and Laudone, this leaves only $(32;1\to 3)$ unresolved for $|ν|\le 2$, which we pose as an open problem.
Positive Bidiagonal Factorizations: Combinatorial Structure, Spectral Theory, and Matrix Continued Fractions
Prescribed positive bidiagonal factorizations of semi-infinite banded matrices reveal spectral, approximation, and integrable structures for arbitrary lower and upper bandwidths. Every cyclic permutation of the factors admits a normalized lower--upper positive factorization. Under suitable degree conditions, factor transfers induce matrix Christoffel transformations, linking the cyclic Darboux orbit to mixed-type Favard theory.
Christoffel words determine minimum-height positive refactorizations and the cyclic products that reach them. The associated matrices have two block displacements, reducing to two diagonals for coprime bandwidths. Their finite nonzero spectra lie on a star, and planar networks yield positive radial Stieltjes moment sequences. In the compact radial case star-supported representing measures are characterized by conditions at the origin and negative fractional moments. For coprime bandwidths, a radial moment deformation gives determinant solutions of a sparse Lax hierarchy and synchronizes the cyclic Toda flows.
Retaining the prescribed factor order yields matrix continued fractions with explicit Padé-type contact, denominator factorizations, backward evaluation, and error bounds. For bounded nonnegative factors, the convergents are monotone and converge to the least nonnegative solution in the admissible domain. Under the Favard identification, they approximate the mixed-type Weyl matrix. Unbounded factorizations retain the formal approximation; analytic convergence requires a closed realization and stability hypotheses, with an additional identification for measure-defined Weyl matrices. Piñeiro and Jacobi-like systems give applications, including global positive coefficientwise integrable solutions under the stated positivity and AT hypotheses.
Packing Tails of Reciprocal Rectangles into Squares of Equal Area
The Meir--Moser rectangle-packing problem asks whether all rectangles with side lengths \(1/n\) and \(1/(n+1)\), for \(n\ge1\), can be packed into the unit square with pairwise disjoint interiors. We establish a tail version of this problem. Let \(R_n\) denote the rectangle with these side lengths. We prove that there exists an integer \(m_0\) such that, for every \(m\ge m_0\), the family \(\{R_n:n\ge m\}\) admits a packing, by translations and right-angle rotations, into a square of side length \(m^{-1/2}\), with pairwise disjoint interiors. The area of the square equals the sum of the areas of all the rectangles. The geometric construction recursively decomposes rectangular gaps, while local randomized quotas and random permutations assign subsequent integer indices. We separately control the total area of waiting gaps and the assignment load at each index. The proof is organized in six steps: a finite-prefix reduction, geometric row decompositions, an area bootstrap, a sharp source-load estimate, control of the actual adaptive construction, and a compactness limit. For every finite time horizon, the probability of failure has a bound that is independent of the horizon and can be made arbitrarily small. The adaptive step uses a permanent load ledger, actual fresh height queries, and a one-sided comparison with a frozen source experiment. Compactness then yields an infinite packing. The final packing statements have been checked in Lean 4. A sufficient threshold is \(m_0=10^{1000}\). This result applies only to sufficiently late tails and does not resolve the original Meir--Moser rectangle-packing problem for the full sequence starting at \(n=1\), which remains open.
Distribution of the inversion statistic on run-sorted permutations
Let $π=π_1\cdots π_n$ be a permutation. We say that $π$ is $run$-$sorted$ if $π_1=1$ and the entries immediately following the descent positions of $π$ form an increasing sequence. Let $\mathcal{R}_n$ denote the set of run-sorted permutations of length $n$, which has cardinality given by the Bell number $B_{n-1}$ for all $n \geq 1$. In this paper, we consider the joint distribution $A_n(q,u)$ on $\mathcal{R}_n$ for the parameters tracking the numbers of inversions and runs leading to a new polynomial generalization of the Bell numbers. Among our results, we find a general recurrence for $A_n(q,u)$, from which one may derive explicit formulas for the total numbers of inversions or runs in all the members of $\mathcal{R}_n$ as well as for the sign-balance on $\mathcal{R}_n$ of either parameter. A simple expression for the Eulerian generating function for $A_n(q,1)$ may be found upon making use of Gessel's $q$-exponential formula which can be extended to general $u$. Finally, a formula is found by a direct argument for the maximum number of inversions within a member of $\mathcal{R}_n$.
A parking function analog of the Schröder numbers
Pattern avoidance is a central topic in the study of permutations. Parking functions provide a natural setting in which to ask analogous questions. In this paper, we study parking functions whose parking permutations avoid the patterns $1234$ and $2134$, obtaining an analog of the Schröder numbers for parking functions. To enumerate these objects, we develop an enumeration scheme that runs in polynomial time and adapt the prefix-based framework introduced by Zeilberger in 1998, and later improved by Vatter, by instead using ``suffixes.''