permutation ↗ reference
4981 papers tagged with this keyword
Positivity of the basic hypergeometric series and the MacMahon identity
The basic hypergeometric series ${}_{n+1}ϕ_{n}$ whose upper and lower parameters are non-negative integer powers of $q$ satisfying a certain constraint can be, after a normalisation, computed as a positive polynomial. We derive three formulas for this polynomial. The first formula is a generalisation of the MacMahon identity in which an infinite binomial series is identified with a normalised generating function of des and maj statistics of multiset permutations. The second formula is a generating function of multiset permutations for the inversion statistic and a generalisation of the statistic mstc. The third formula is a finite sum containing $2n$ $q$-binomial coefficients.
Distributions of Mesh Patterns of Short Lengths on Separable Permutations
This paper contributes to the long line of research on the distribution of mesh patterns in permutations. We extend these studies to separable permutations and carry out a comprehensive analysis of mesh patterns of length at most~2. For mesh patterns of length~1, we determine the distributions for all six equivalence classes. In addition, we obtain the joint distribution for the patterns in the class containing the well-known permutation statistic known as the strict fixed point.
Furthermore, computer experiments suggest that at most 124 pairs of mesh patterns of type 12 and 21 with identical shading are equidistributed. Using symmetry operations, we partition these pairs into 38 equivalence classes with respect to distribution. By explicitly determining 24 of these distributions (in many cases, in fact, joint equidistributions of the respective pairs), we reduce the number of equivalence classes to~31, which turns out to be the true number of equivalence classes. Enumerating 14 of these classes is left as an open problem.
A flag refinement of the $ h^* $-formula for the hypersimplices
The hypersimplex $Δ_{k,n}$ is the convex hull of all 0/1-vectors of length $ n $ with coordinate sum $ k $. Early conjectured, and Kim proved, a combinatorial formula for the $ h^* $-polynomial of $Δ_{k,n}$ in terms of hypersimplicial decorated ordered set partitions. In this paper, we refine the Early--Kim formula to the flag $h$-numbers of the alcove triangulation of $\hyp$. We also give a representation-theoretic interpretation of its flag $f$-numbers in terms of Young permutation modules.
Complexes of pattern-avoiding injective words
The complex of injective words is a cell complex that arises in a number of different areas. It has applications to proving homological stability and to the study of group cohomology, and it is closely related to the random-to-random Markov chain. This complex was first studied by Farmer, who proved it has the homology of a wedge of top-dimensional spheres. Later, Björner and Wachs established its shellability, and Reiner and Webb uncovered its $S_n$-module structure, observing in the process that the rank of its top homology group is the $n$th derangement number.
We introduce natural subcomplexes of the complex of injective words by fixing a permutation pattern $σ$ and considering only those injective words in the alphabet $\{1,2,\dots,n\} $ that avoid $σ$. We prove that such pattern-avoiding complexes are shellable if $σ$ begins or ends with its largest or smallest letter, and we construct homology bases for the complexes avoiding such patterns. For patterns of length 3, all of which have this property, we show that the rank of the top homology of the resulting complex is a Riordan number. All but four patterns of length 4 also have this property, and for two of the remaining four patterns, we establish shellability using a different method.
We also introduce a technique to use enumerative combinatorics to prove shellability, and we apply it to the complex of separable injective words, thereby deducing shellability in this case. Along the way, we give a combinatorial formula for all of the $h$-numbers in the full complex of injective words as well as for each of the subcomplexes which we prove are shellable. Going in the other direction, we use shellability of complexes of pattern-avoiding injective words to deduce new refined counting formulas for pattern-avoiding permutations.
Symmetric Grassmann Formulas: Monotone Dimension-Defect Hierarchies
We study the dimension defect of finitely many subspaces over an arbitrary field. We derive a symmetric, nonrecursive Grassmann-type formula for the dimension of their sum. The formula expresses the total dimension loss through intersections of a distinguished subspace with partial sums of the remaining subspaces, with coefficients determined by the number of subspaces involved. We also show that the formula admits a Shapley-value interpretation for the associated representable polymatroid. Grouping the correction terms by the number of participating subspaces yields a nonnegative dimension-defect profile. We prove that this profile is monotone and identify its successive gaps with the discrete curvatures of the average-rank profile. These gaps give exact remainders in two-sided defect bounds. Equality in either bound holds precisely when the images of the subspaces in the quotient by their common intersection form an internal direct sum. We also give an exact geometric decomposition of the Kinser slack into nonnegative quotient dimensions and characterize equality. Averaging these slacks over permutations and contractions recovers every defect curvature except the final one; additional representability constraints remain in the individual ordered slacks. Weighted and dual formulas accompany the expansion, and entropy analogues express the defect levels and curvatures as averages of mutual and conditional mutual information, respectively.
A Conjecture on Circular Permutations over Finite Fields
Let \(\mathbb{F}_q\) be a finite field with \(q>7\). Zhi-Wei Sun conjectured that for every \(a_0\in\mathbb{F}_q\), there is a circular permutation \((a_1,\dots,a_{q-1})\) of non-zero elements of \(\mathbb{F}_q\) such that \(a_0+a_i a_{i+1}\) is primitive for \(1\le i\le q-1\), where \(a_q=a_1\). In this paper, we confirm this conjecture for \(q>18\,888\,871\). For \(a_0=0\), the conclusion holds for all \(q>4\). For \(a_0\ne0\), we apply the Chvátal--Erdős theorem to obtain a Hamilton cycle.
On Kolmogorov's rearrangement problem and Garsia's conjecture
We give negative answers to Kolmogorov's rearrangement problem and Garsia's conjecture. We construct a complete uniformly bounded orthonormal system for which every rearrangement admits a square-summable series divergent almost everywhere. The finite construction uses two copies of the trigonometric system in different orderings. The main ingredient is a combinatorial lemma which guarantees a prescribed ordering along an arithmetic progression in at least one of two related permutations. Its proof uses Szemerédi's theorem and a counting argument. A Walsh variant gives $N$-term $\{\pm1\}$-valued systems with $L^2$ maximal norm at least $c\log\log N$ in every ordering, matching Bourgain's upper bound.
Interval Deformations of Coxeter Arrangements
We study integer-interval deformations of Coxeter arrangements of types $A$, $B$, and $D$, assigning an integer interval to each root direction through an integer-valued root function. We introduce a local compatibility condition on this root function. For compatible root functions, subject to additional local bounds in types $B$ and $D$, we derive characteristic-polynomial formulas as binomial sums over cyclic orders in type $A$ and signed permutations in types $B$ and $D$. The proofs use the finite-field method and reduce hyperplane avoidance to consecutive-gap inequalities. These formulas recover, in particular, the classical Catalan and Shi characteristic polynomials.
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.
Twice-Marked Banana Graphs & Brill-Noether Generality
Published
• View Publication
• BIB
We analyze a family of graphs known as banana graphs, with two marked vertices, through the lens of Hurwitz-Brill-Noether theory. As an application, we construct explicit new examples of finite graphs which are Brill-Noether general. These are the first such examples since the analysis of chains of loops by Cools, Draisma, Payne and Robeva. The graphs constructed are chains of loops and "theta graphs," which are banana graphs of genus 2. We also demonstrate that almost all banana graphs of genus at least 3 cannot be used for this purpose, due either to failure of a submodularity condition or to the presence of far too many inversions, in certain permutations associated to divisors called transmission permutations.
Extension properties for partial permutations
Motivated by the EPPA problem for finite tournaments,we consider various extension properties for partial permutations. We show that for any set $Π$ of prime numbers, the $Π$-extension property is equivalent to the $Π$-LERF. As a consequence of known results, the odd-extension property is then equivalent to the EPPA for finite tournaments. To study the $Π$-extension property, we reformate the property using the concepts of EP problems and $Π$-solutions. We then show that the existence of a $Π$-solution for an EP problem depends entirely on its fundamental group. In particular, when the fundamental group is trivial or cyclic, the EP problem has a $Π$-solution for any $Π$. These extend some known results of Huang, Pawliuk, Sabok and Wise [HPSW19]. We give examples of EP problems without nilpotent-solutions; they witness that the $p$-extension property and the $p$-LERF fail for any prime $p$. Then we consider a special kind of EP problems whose fundamental groups have two generators. We show that any 1-weakly wandering problem has a $Π$-solution for any $Π$. For 2-weakly wandering problems, we show that they all have odd-solutions and we completely characterize those without nilpotent-solutions.
Finite-valued invariant metrics and a classification of natural groups
Every group $G$, of arbitrary cardinality, admits a right-invariant metric with at most five values whose isometry group is exactly the group $Ξ(G)$ of permutations preserving every inverse-pair difference. Five is sharp. Writing $N(G)$ for the least number of values, including zero, we obtain $N(G)=1$ for the trivial group, $N(G)=2$ for $C_2$ and $C_3$, $N(G)=3$ for every other group outside an explicitly listed set $\mathcal{E}$ of 24 finite groups, $N(G)=4$ on $\mathcal{E}\setminus\{C_2^3, C_3^2\}$, and $N(C_2^3)=N(C_3^2)=5$. The exact result combines Cayley-graph realization theorems with verified finite certificates and hand proofs of the lower bounds. Separately, a uniform constructive 32-value bound uses subgroup-entry ranks, sign-variation conflict labels, and short-word rigidity, but no Cayley-index input or computation. In Knill's right-translation sense, a right-invariant metric on $G$ is naturalizing when every group law on its underlying set with isometric right translations is isomorphic to $G$; a group is natural when it admits such a metric. We prove that an abelian group $A$ is natural if and only if $2A=A$ or $2A=\{0\}$, and a nonabelian group is natural if and only if it is not generalized dicyclic. Every natural group admits a naturalizing metric with at most five values, and this bound is sharp.
Less is Moore
A Moore graph simultaneously asks for two things that normally pull in opposite directions: every vertex should have many neighbors, while every pair of vertices should remain close. For diameter two and degree $k$, the Moore bound is $k^2+1$, and equality forces a remarkably rigid graph: it is strongly regular with parameters $(k^2+1,k,0,1)$. Hoffman and Singleton showed that such a graph can exist only for $k=2,3,7$, and possibly 57. The degree-57 case on 3,250 vertices remains open.
This paper is not an attempt to settle that open problem. Instead, we ask a more algorithmic question: How efficiently can the defining Moore structure itself be searched exactly? We begin from a human-developed exhaustive search based on the radius-two Moore tree. Leaves fall into $k$ groups of size $k-1$, and the edges between every pair of such groups form a perfect matching - a permutation. For efficiency, a partial construction is abandoned immediately when it creates a triangle or quadrangle.
We then describe a sequence of exact algorithm-engineering improvements developed through a human-guided AI process and accepted only after mathematical checking and controlled regression tests. The main steps are reversible short-cycle forbid counters, bit-parallel domains, minimum-remaining-value branching, singleton propagation, matching-based AllDifferent filtering, balanced replayable parallel frontiers, residual-symmetry orbit pruning, and canonical deduplication of frontier states. On the principal $k=9$ benchmark, stronger symmetry cuts wall time from 47.6 to 17.9 seconds on a six-core laptop setup. Further parallelization speedup is reported separately; on a 16-core/32-thread machine, median wall time is reduced to 5.28 seconds. Degrees 10 and 57 are used as stress tests, and a five-minute degree-57 run uses only 161 MiB peak resident memory, showing that state size is modest.
Torsion of every finite order in the homology of graph braid groups
We determine the torsion subgroup of $H_{m-1}(\mathbb{B}_mK_{m+1,m+r-1};\mathbb{Z})$ for $m\ge2$ and $r\ge0$: top homology with arbitrary coefficients is the kernel of an unsigned subset-inclusion matrix, and its integral diagonal form determines all primary summands. Every finite order occurs, with explicit representatives. Generalized theta classes span an embedded copy of the cokernel of the inclusion matrix, containing all torsion; for $r\ge m$ they generate the torsion, each of order $\operatorname{lcm}(1,\ldots,m)$. For every prime power $q$ and $m\ge q$, the graph $K_{m+1,m+q-1}$ is minimal in the minor order for order-$q$ torsion in $H_{m-1}(\mathbb{B}_m)$. In particular, odd torsion first appears in $H_2(\mathbb{B}_3K_{4,5})\cong\mathbb{Z}^{155}\oplus(\mathbb{Z}/2)^4\oplus\mathbb{Z}/3$, and no proper minor of $K_{4,5}$ has odd torsion in $H_2(\mathbb{B}_3)$. For arbitrary part sizes, we give a multiplicity-free decomposition of $H_m(\mathbb{B}_mK_{a,b};\mathbb{Q})$ under vertex permutations and prove that $H_{m-1}(\mathbb{B}_mK_{a,b};\mathbb{Z})$ has no $p$-primary torsion when $a,b\ge2m-1$ and $p\ge m$ is an odd prime. The explicit order-$q$ class retains its order under every enlargement of the second part of the graph, while for $m=q=p$ an odd prime it is killed by a specified enlargement of the first part.
Twisted Bracelets for Sorting by Transpositions: the Transposition Diameter of $S_{16}$
Sorting By Transpositions (SBT) seeks the minimum number of transpositions required to sort a permutation $π$ on $n$ symbols into the identity $ι$. Let $N=n+1$. A cyclic-target pair $(ω,β)$ consists of an even permutation $ω$ and an $N$-cycle $β$ for which $ρ=ωβ$ is an $N$-cycle. An SBT instance is the special case $(\barι{\barπ}^{-1},\barπ)$, where $\barπ$ and $\barι$ encode $π$ and $ι$, and $\barι{\barπ}^{-1}\barπ=\barι$. For a prescribed fixed-point-free cycle type, fixed-content words encode $ω$, with colors distinguishing cycles and ranks recording their orientations relative to $β$. A word is realizable exactly when $ρ=ωβ$ is an $N$-cycle. Permutations of equal-part colors and shifts of rank origins form auxiliary symmetries that, together with word rotation and position reflection coupled to rank inversion, define a twisted dihedral action. Its orbits are twisted bracelets, and its realizable orbits correspond bijectively to extended-toric equivalence classes of cyclic-target pairs, where reflection is adjoined to classical toric equivalence. The correspondence yields a Burnside identity, and our method generates one encoding word for each such class. The transposition diameter $TD(n)$ is the largest transposition distance in $S_n$. Combining fixed-point contraction and reductions of the ambient instance space based on cycle structure with exhaustive verification of every remaining twisted bracelet, we prove $TD(16)=9$, closing a twenty-five-year gap. This result also yields $TD(19)=11$ and, for every $n\equiv1\pmod{3}$ with $n\geq16$, $TD(n)\leq\left\lfloor(2n-2)/3\right\rfloor-1$, improving the previous general upper bound by one for these $n$.
Counting Hamiltonian Sturm permutations: generating functions and Gaussian distributions
Our combinatorial analysis is motivated by the PDE dynamics \begin{equation} \mathbf{u_t} = \mathbf{u_{xx}} + \mathbf{g}(\mathbf{u}),\qquad 0<\mathbf{x}<1, \end{equation} of solutions $\mathbf{u}=\mathbf{u}(\mathbf{t},\mathbf{x}),\ \mathbf{t}\geq 0$, under Neumann boundary conditions. For dissipative nondegenerate nonlinearities $\mathbf{g}$, the global attractors $\mathcal{A}=\mathcal{A}_\mathbf{g}$ of the PDE can then be classified by the orderings of their $2n+1$ equilibria $\mathbf{v}$ at the boundaries $\mathbf{x}=0,1$. We encode the boundary orders as Hamiltonian Sturm permutations. The name ''Sturm'' refers to nodal properties of PDE solutions $\mathbf{u}(\mathbf{t},\mathbf{x})$. ''Hamiltonian'' refers to the second order pendulum ODE for equilibria $\mathbf{v}(\mathbf{x})$: \begin{equation} 0 = \mathbf{v_{xx}} + \mathbf{g}(\mathbf{v}). \end{equation} We determine the generating function $a(z)=\sum_n a_nz^n$ for the counts $a_n$ of Hamiltonian Sturm permutations. For $n\rightarrow\infty$, this provides explicit asymptotics of $a_n$.
We refine these counts as $a_n=\sum b_{rq}$. Here $b_{rq}$ counts Hamiltonian Sturm permutations with $2r+1$ spatially homogeneous equilibria and $2q$ spatially non-homogeneous equilibria, such that $r+q=n$. We also determine the explicit generating function $b(x,y)=\sum_{r,q} b_{rq}x^ry^q$. This implies asymptotically Gaussian distributions of the probabilities $p_{nr}=b_{rq}/a_n$ with $r+q=n$, asymptotically for large $n$. We derive asymptotics for means and variances, with error estimates of order $1/n$. All asymptotics are based on work by Flajolet and Sedgewick.
We conclude with numerical illustrations and remarks on nonlinearities $\mathbf{g}(\mathbf{u},\mathbf{u_x})$ under periodic boundary conditions $\mathbf{x}\in\mathbb{S}^1=\mathbb{R}/2\mathbb{Z}$, where rotating waves arise.
Endomorphisms of Total Kneser Graphs
Inspired by work of Gaster, Greene, and Vlamis on the chromatic number of curve graphs, we prove that every endomorphism of the total Kneser graph is an automorphism. We also show that the automorphism group of the total Kneser graph is the product of a pair of permutation groups.
Binomial expansions of Jacobi-Stirling numbers and real-rootedness of Jacobi-Stirling descent polynomials
In this paper, we first expand fixed diagonals of the Jacobi-Stirling numbers in a binomial basis. For the second kind, the expansion coefficients are polynomials in $z+1$ with nonnegative integer coefficients. We give a recurrence and a signed-partition interpretation for these coefficients. The same holds for the differences between corresponding unsigned first-kind and second-kind coefficients. We then prove that every nonzero nonnegative linear combination of the descent polynomials over Jacobi-Stirling permutations with a fixed number of deleted barred letters has only simple negative zeros when that number is one, two, or three. The same holds when exactly one or two barred letters are retained. Thus we verify five infinite families in a conjecture of Gessel, Lin and Zeng. Finally, using insertion operators, we find that every descent polynomial over Jacobi-Stirling permutations with a fixed number of deleted barred letters is top heavy and has an increasing left half.
Motzkin Numbers Count 2-Stack-Sortable Permutations Ending in Their Least Entry
We prove the following conjecture of Zhang (arXiv:2604.10779, Conjecture 6.1): for $n \geq 0$, the number of $2$-stack-sortable permutations of $\{0,1,\dots,n\}$ ending in $0$ is the $n$th Motzkin number. By Zhang's result, there is a bijection between $2$-stack-sortable permutations ending in their least element and standard composition tableaux of width at most $2$. We then show bijectively that there are an equal number of these and standard Young tableaux of width at most $3$, which are known to be counted by the Motzkin numbers.
Typical growth of the Füredi-Hajnal and Stanley-Wilf limits
We prove that the Füredi-Hajnal limit and the Stanley-Wilf limit of a uniformly random permutation matrix of order $k$ are at most $\exp\bigl(O(\sqrt{k}(\log k)^{5/2})\bigr)$ with probability tending to one as $k\to\infty$. This improves the bound $\exp\bigl(O(k^{2/3}(\log k)^{7/3}/(\log\log k)^{1/3})\bigr)$ of Cibulka and Kynčl. Together with the lower bound due to Fox, these bounds show that the logarithms of both limits are $k^{1/2+o(1)}$ for almost all permutations.