permutation ↗ reference
4981 papers tagged with this keyword
The record statistic and forward stability of Schubert products
We initiate a probabilistic study of forward stability for products of Schubert polynomials through the record statistic (left-to-right maxima) of permutations. Building on the explicit record formula for forward stability obtained by Hardt and Wallach, we study random pairs of permutations drawn from three natural families: uniform permutations, Grassmannian permutations, and Boolean permutations. For each family, we determine record probabilities and use them to analyze the asymptotic behavior of forward stability. For uniform and Grassmannian permutations, we obtain asymptotics for the mean together with limiting distribution results. For Boolean permutations, we prove linear-order growth of the mean, and our analysis also produces an explicit time-inhomogeneous Markov chain that yields an exact linear-time uniform sampler. Beyond these cases, we prove that the record-set statistic is equidistributed on the avoidance classes of $132$ and $231$, and consequently the corresponding forward stability distributions coincide. We conclude with conjectures for numerous further permutation classes and a conjectural recursive criterion for when two avoidance classes have the same record-set distribution.
Hypercube Richardson varieties from magic words
Inspired by the recent preprint of Ellenberg, Libedinsky, Plaza, Simental, and Williamson, we study the geometry of Richardson varieties whose associated Bruhat intervals are boolean posets. We define magic words for a Bruhat interval and prove that for intervals with magic words the associated Richardson variety is a tower of $\mathbb{P}^1$-s. We also prove that the Bruhat intervals consisting of the dyadically well-distributed permutations all have magic words. This gives a new proof that they form a boolean poset.
A family of algebras that connects positroids, the Theta conjecture, the Delta conjecture, and Eulerian quasisymmetric functions
We define a family of algebras $\mathbb{Q}[\mathbf{x}_n]/I_{n,a,b}$ whose Hilbert series, when $n\le a+b\le n+2$, $a>0$, and $0<b<n$, enumerate certain positroid cells by codimension. Equivalently, these series enumerate certain affine permutations by length. We determine the graded $\mathfrak{S}_n$-module structure of these algebras by using exact sequences to derive an invertible recursion for their graded Frobenius characteristics when $a+b\ge n$ and then passing to the limit $a\rightarrow\infty$. In particular, the graded Frobenius characteristic $\mathrm{grFrob}(\mathbb{Q}[\mathbf{x}_{a+b-1}]/I_{a+b-1,a,b};q)=\operatorname{rev}_q(ω((Θ_{e_{a-1}}Θ_{e_{b-1}}\nabla e_1)\mid_{t=0}))$, where $\operatorname{rev}_q$ reverses the $q$-coefficients and the specialization $(Θ_{e_{a-1}}Θ_{e_{b-1}}\nabla e_1)\mid_{t=0}$ appears in the Theta conjecture. For $a,b\ge1$, we also show that $e_a^\perp\mathrm{grFrob}(\mathbb{Q}[\mathbf{x}_{a+b}]/I_{a+b,a,b};q)=q^{\binom{a}{2}}\operatorname{rev}_q(ω((Δ_{e_{a-1}}^\prime e_b)\mid_{t=0}))$, where $Δ_{e_{k-1}}^\prime e_n$ occurs in the Delta conjecture. In the three cases $a+b-n=0,1,2$, the ungraded Frobenius characteristics agree with three families of Eulerian quasisymmetric functions, respectively. We also construct an open subvariety of $(\mathbb{P}^{k-1})^n$ whose rational Chow ring is isomorphic to $\mathbb{Q}[\mathbf{x}_n]/I_{n,k,n-k}$. This variety admits a stratification induced by certain positroids. Its strata need not be affine, and their codimension generating function equals $\mathrm{Hilb}(\mathbb{Q}[\mathbf{x}_n]/I_{n,k,n-k};q)$.
An Eventown Result for Multisets
We study an extension of the Eventown problem of sets to multisets on $[n] = \{1,2,...,n\}$. A multiset is called $m$-bounded if each element has multiplicity at most $m$. The intersection of two multisets is defined as the multiset in which each element has multiplicity equal to the minimum of its multiplicities in the two original multisets. A family of $m$-bounded multisets is called an Eventown family if every member and the intersection of every pair of distinct members has even cardinality, with cardinalities counted with multiplicities. We determine the maximum size $E_m(n)$ of such a family for every $m$ and $n$. We show that $
E_{2q}(n)=(q+1)^n, $ and $ E_{2q+1}(n)=(q+1)^{n-2k}\bigl((q+1)^2+1\bigr)^k,$ where $k=\lfloor n/2\rfloor$. In particular, the case $m=1$ recovers the classical Eventown theorem for sets. We also characterize all extremal families for $m\ge2$. For even $m$, the unique extremal family consists of all multisets in which every element has even multiplicity. For odd $m\ge3$, every extremal family has a product structure arising from two explicit families on pairs of coordinates, together with an additional coordinate restricted to even multiplicities when $n$ is odd. Consequently, there are exactly $k+1$ extremal types up to permutations of the ground set.
Star-Ordered Rotor Loops in Clifford Algebras
Published
• View Publication
• BIB
We consider, in a real Clifford algebra, a family of unit bivectors $B_i = C S_i$ formed from $k+1$ pairwise anticommuting generators $C, S_1, \ldots, S_k$ with square $-1$; we call this a \emph{star family} with \emph{central generator} $C$ and \emph{leaf generators} $S_i$. For the associated rotors $U_i(θ_i) = \cos\frac{θ_i}{2} + B_i \sin\frac{θ_i}{2}$ we study two objects: the ordered chain $P_k = U_1 \cdots U_k$ and the \emph{star-ordered rotor loop} $Θ_k = P_k \, Q_k$ with the \emph{same-order reversion product} $Q_k = \widetilde U_1 \cdots \widetilde U_k$, as opposed to the trivially reversed order, for which $U_1 \cdots U_k \widetilde U_k \cdots \widetilde U_1 = 1$. The scalar part of $Θ_k$ measures the \emph{order defect} of the family. We prove two theorems. First, the scalar part of the chain factorises, $\langle P_k \rangle_0 = \prod_{i=1}^k \cos\frac{θ_i}{2}$; this requires the star structure, and we give a counterexample. Second, we derive a closed expression for $\langle Θ_k \rangle_0$, valid for every $k$, whose coefficients obey a \emph{period-four sign law} $η(m) = (-1)^{\lfloor m/2 \rfloor}$ and which admits the compact form $\langle Θ_k \rangle_0 = \operatorname{Re}\!\big[(1-\mathrm{i}) \prod_i (\cos^2\frac{θ_i}{2} + \mathrm{i}\sin^2\frac{θ_i}{2})\big]$, holding for every pairwise anticommuting unit family without further hypothesis. From the compact form we obtain a polar form, a complete zero criterion, a lacunary coefficient rule, and a proof of non-separability for $k \geq 2$. Two supplementary theorems extend the result to arbitrary permutations of the index order and to families with mixed squares $B_i^2 \in \{-1, +1\}$. All proofs use only anticommutation, reversion and the symmetry of the scalar form; no physical interpretation is assumed or claimed.
Coefficient lifting for skew divided differences and triple Schubert coefficients
Skew divided difference operators \(\partial_{w/v}\), introduced by Macdonald, play an important role in the study of Schubert polynomials and their structure constants. For permutations \(u,v,w\in S_n\), we show that the coefficient of each monomial \(\xx^α\) in \(\partial_{w/v}\SSch_u(\xx;\yy)\), where \(\SSch_u(\xx;\yy)\) is the double Schubert polynomial, is a single triple Schubert coefficient evaluated at \(\tb=0\), whose indices form an explicit lift of \((u,v,w)\) to \(S_{n+\absα}\). As an application, we show that every coefficient of \(\partial_{w/v}\SSch_u(\xx)\) is a single Schubert structure constant. This gives a new proof of Kirillov's conjecture that these coefficients are nonnegative.
Avoiding a partial Latin square with an isotope of a given Latin square
For all sufficiently large $n$, we prove that every Latin square of order $n$ can be made to avoid any prescribed partial Latin square of order $n$ by permuting only its rows and columns. The proof combines Hall's theorem with elementary estimates for a random permutation.
Bicolored Eulerian quasisymmetric functions, affine lengths, and Theta operators
We introduce a $q$-analogue of the bicolored Eulerian quasisymmetric functions by incorporating an additional grading arising from affine length, obtained by interpreting bicolored permutations as affine permutations. We also provide an intrinsic description of this refinement in terms of bicolored permutations by introducing notions of alignments and crossings, together with an explicit bijection identifying these statistics with the alignments and crossings in the existing literature. Finally, we prove that our refinement is symmetric by expressing it in terms of the Theta operators appearing in the Theta coinvariant Conjecture and the modified Macdonald symmetric functions. Assuming the Theta coinvariant conjecture implies the Schur-positivity of our refinement.
The Symmetric Hit Problem in Four Variables: Relative Cohits and Stabilizer-Fixed Preimages
In this work, we study the symmetric hit problem in four variables by analyzing the relative cohit space, defined as the kernel of the inclusion-induced map from symmetric to ordinary cohits. Theoretically, we establish that this relative space is isomorphic to a kernel in the first group cohomology of the permutation group and, equivalently, to an $\operatorname{Ext}^1$ kernel for the general linear group, equipped with a canonical action of the normalizer quotient. Furthermore, bypassing conditional descent hypotheses, we utilize explicit Lucas--Cartan identities to construct unconditional fixed Steenrod preimages for nontrivial stabilizers, resolving infinite families of monomials strictly above the minimal-spike weight. Using the ordinary and symmetric Kameko isomorphisms, we reduce the determination of complete bases in two generic degree families to exact calculations in degrees one, three, six, ten, and sixteen. We discover that universal relative vanishing fails: the relative space is non-trivially one-dimensional in degree fifteen and forms an indecomposable two-dimensional normalizer module in degree eighteen. In the family $5\cdot2^t-4$, the symmetric cohit dimension stabilizes at six and the relative dimension at one for $t\geq2$; in the family $7\cdot2^t-4$, they are four and zero for $t\geq1$. We give complete bases by explicit exponent formulas and prove Janfada's monomial implication in every degree of both families. A general numerical threshold determines the finite initial degree from which Kameko isomorphisms apply, and a direct-sum formula transports the entire symmetric hit basis.
Permutations with a fixed number of occurrences of a monotone pattern
We bound the number of permutations with a fixed number $r$ of $321 \ominus p_0$ patterns by a constant times the number of permutations which avoid $321 \ominus p_0$. We use this new upper bound to show that the ordinary generating function for permutations with $r$ copies of $k(k-1)...1$ is not rational for odd $k \geq 3$ and not algebraic for even $k \geq 3$.
Metric geometry for ranking-based voting: Tools for learning electoral structure
In this paper, we develop the metric geometry of ranking statistics, proving that the two major permutation distances in the statistics literature -- Kendall tau and Spearman footrule -- extend naturally to incomplete rankings with both coordinate embeddings and graph realizations. This gives us a unifying framework that allows us to connect popular topics in computational social choice: metric preferences (and metric distortion), polarization, and proportionality.
As an important application, the metric structure enables efficient identification of blocs of voters and slates of their preferred candidates. Since the definitions work for partial ballots, we can execute the methods not only on synthetic elections, but on a suite of real-world elections. This gives us robust clustering methods that often produce an identical grouping of voters -- even though one family of methods is based on a Condorcet-consistent ranking rule while the other is not.
On Chen's conjecture for the log-concavity of the longest increasing subsequence distribution
Let $P_{n,k}$ count permutations of $[n]=\{1,\ldots,n\}$ whose longest increasing subsequence has length $k$. Chen conjectured that $(P_{n,k})_{k=1}^n$ is log-concave for every positive integer $n$. In this paper, we prove that Chen's conjecture is true when $n\ge 10^{10^{65}}$. The proof combines Gessel's determinantal formula with quantitative coefficient extraction, Tracy--Widom density estimates, and exact inequalities for the extreme lengths.
Complete mappings stabilizing Sylow $2$-subgroups in central quotients of special linear groups
A complete mapping of a finite group $G$ is a permutation $θ$ of $G$ such that $x\mapsto xθ(x)$ is also a permutation of $G$. Complete mappings have applications in cryptography, particularly in the design of round functions for cryptographic systems. The study of their parity has led to the question of which finite groups admit complete mappings of both parities. A useful approach to this question is to construct complete mappings stabilizing suitable subgroups, in particular Sylow $2$-subgroups. We show that, for every $n\geq2$, every prime power $q$, and every $Z\leq Z(\mathrm{SL}_n(q))$, the group $\mathrm{SL}_n(q)/Z$ admits a complete mapping stabilizing a Sylow $2$-subgroup if and only if $(n,q)\neq(2,2)$.
Sensitivity of Rotation Symmetric Boolean Functions via Binary Necklaces
Rotation symmetric Boolean functions are Boolean functions invariant under cyclic permutation of their variables and can be represented by binary necklaces. We express local sensitivity as a weighted bichromatic degree in the necklace quotient and derive an exact formula for the multiplicities between neighboring necklaces. For an odd prime number of variables, we obtain explicit sensitivity formulas and show that multiplicity corrections occur only on an asymptotically negligible family of necklaces. For monomial rotation symmetric Boolean functions, we prove that every odd-degree function has maximum sensitivity, determine the sensitivity of every quadratic function, and determine the sensitivity of the consecutive quartic family. We also determine exactly the sensitivity of cyclic run-threshold functions for arbitrary length and threshold.
Finite noncommutative coinvariant algebras
We study quotients of free associative algebras by the two-sided ideals generated by positive-degree symmetric, quasisymmetric, or free quasisymmetric polynomials. Free quasisymmetric functions give a word realization of the Malvenuto-Reutenauer Hopf algebra of permutations. For quotients on $n$ variables, finiteness in the symmetric and quasisymmetric cases follows from a theorem of Bergman--Isaacs when $n!$ is invertible in the field. Our main result is a nilpotence criterion for families of relations compatible with restriction to subalphabets. The criterion proves finiteness over every field for quasisymmetric, $r$-quasisymmetric, and free quasisymmetric coinvariants, with explicit degree bounds exponential in $n$ for fixed $r$. In the quasisymmetric and $r$-quasisymmetric cases, these improve the bounds inherited from Bergman--Isaacs. A principal application is to the free quasisymmetric case, where, for $n\geq3$, the group-invariant argument used for the symmetric case does not apply.
For the symmetric quotient $C_n$, we prove that invertibility of $n!$ is also necessary for finiteness. In characteristic zero, an auxiliary presentation and the Golod--Shafarevich inequality give $\log\dim C_n\geq(1-o(1))n^5(\log n)^2$ as $n\to\infty$. The same inequality shows that quasisymmetric and free quasisymmetric coinvariant dimensions grow faster than every fixed power of $n!$. For all three families on several freely noncommuting alphabets, we determine all multigraded Hilbert series and, for symmetric coinvariants in characteristic zero, Frobenius characteristics from one-alphabet data. In characteristic zero, projection gives stable Schur multiplicities for compatible quotients in mixed commuting, anticommuting, and free alphabets.
The weak cylinder conjecture for polynomial graphs of bounded degree
Ball's weak cylinder conjecture asserts that a set of $p^2$ points in $\mathrm{AG}(3,p)$ with at least $p$ non-determined directions is a union of $p$ parallel lines. We prove the conjecture for sets admitting a polynomial graph representation of total degree at most $D$, provided that $p>D^{9/2}$. More precisely, a non-cylindrical graph of degree $D\ge3$ satisfies $|\mathcal{N}_S|\le p+1-\lceil p/(D-1)\rceil$ under the same hypothesis. This bound is attained when $p\equiv1\pmod{D-1}$. The proof relates non-determined directions to permutation polynomials on parallel affine lines. A rigidity lemma for moving line restrictions, together with a reconstruction of their compositional components, bounds the number of contributing directions uniformly in $p$. Directions with affine restrictions are treated separately; all other contributions are bounded using geometric indecomposability and the Weil bound for plane curves.
Dot actions and Hessenberg spaces for dihedral groups
Splines on Weyl groups model the equivariant cohomology of regular semisimple Hessenberg varieties, and the natural group action on them encodes the monodromy action. The resulting representations are of great interest in algebraic combinatorics for their connections to Hecke algebra characters, LLT polynomials, and chromatic symmetric functions. We study the analogous construction for dihedral groups, which in general have no underlying geometry. Using purely algebraic methods, we show that these spline modules are free, construct explicit bases, and compute their Hilbert series, recovering the familiar properties of the geometric setting. We also determine the associated dihedral group representations completely. Unlike what is conjectured for the symmetric group case, these need not be permutation representations.
Resolving Pisanski's Conjecture
We prove Pisanski's conjecture on quadrilateral embeddings of regular bipartite graphs. For integers $m\geq d\geq4$ with $4\mid md$, we construct both a connected simple $d$-regular bipartite graph $G$ with $m$ vertices in each bipartition class and an orientable quadrangulation. This graph's genus is \[ \ga(G)=1+\frac{m(d-4)}4. \] These quadrangulations attain the lower bound on the genus from Euler's formula. We give dihedral constructions for even $m$ and a cyclic construction for every $m\geq d$ with $4\mid d$. In each case, two cyclic permutations of a connection set of size $d$ determine all of the local rotations.
Face $S_3$-colorings and Petrie monochromatic circuits for efficient total arc colorings of cubic maps of girth 4
Let $G=(V(G),E(G))$ be a finite connected simple cubic graph. A total coloring $μ:V(G)\cup E(G)\rightarrow\{0,1,2,3\} $ is efficient if each color yields an efficient dominating set, where the efficient dominating condition applies to the restriction of each color class to $V(G)$. If the girth of $G$ is 4 and $μ$ uses 4 colors both on vertices and edges of each 4-cycle, then $μ$ is an ETGC. Maps $M(G)$ of such $G$ are considered on the orientable surfaces. We show that a necessary condition for ETGCs to exist on $M(G)$ is that they have only face lengths divisible by 4. When such ETGCs exist, for which 7 constructive tools are provided, the faces of the maps $M(G)$ possessing them are shown to be colorable by the group $S_3$ of 3-permutations whenever the ETGCs are periodic. For the vertex coloring of each ETGC, there are two orthogonal edge colorings: directed and reversed. There are two injections into the set of face $S_3$-colorings: one from the set of periodic directed ETGCs, the other from that of periodic reversed ETGCs. We take each edge of $G$ as a pair of opposite arcs. Let $A^\leftrightarrow$ be the set of such arcs and let $G^\leftrightarrow$ be the digraph with vertex set $V(G)$ and arc set $A^\leftrightarrow$. A ditotal coloring $μ^\leftrightarrow$ of $G^\leftrightarrow$ is given by having bijections via $μ^\leftrightarrow$ from the sets formed by: {\bf(a)} each vertex and the arcs arriving to it; {\bf(b)} each vertex and the arcs departing from it; {\bf(c)} each vertex and its neighbors; {\bf(d)} each pair of oppositely oriented arcs of an edge and its end-vertices. Then, each ETGC of an $M(G)$ has a ditotal coloring. The Petrie dual of the resulting map $M(G^\leftrightarrow)$ is formed by monochromatic directed cycles.
Combinatorial Reduction of Set Functions and Matroid Permutations through Minor Product Assignment
Published
• View Publication
• BIB
We introduce an algebraic model, based on the determinantal expansion of the product of two matrices, to test combinatorial reductions of set functions. Each term of the determinantal expansion is deformed through a monomial factor in d indeterminates, whose exponents define a $\mathbb{Z}^{d}$-valued set function. By combining the Grassmann-Plücker relations for the two matrices, we derive a family of sparse polynomials, whose factorisation properties in a Laurent polynomial ring are studied and related to information-theoretic notions. Under a given genericity condition, we prove the equivalence between combinatorial reductions and determinantal expansions with invertible minor products; specifically, a deformation returns a determinantal expansion if and only if it is induced by a diagonal matrix of units in $\mathbb{C}(\mathbf{t})$ acting as a kernel in the original determinant expression. This characterisation supports the definition of a new method for checking and recovering combinatorial reductions for matroid permutations.