arXiv++ Combinatorics

Browse math.CO papers from arXiv

permutation ↗ reference

4945 papers tagged with this keyword
Fibonacci-like partitions and their associated piecewise-defined permutations
Published • View Publication • BIB
In this paper we introduce a family of partitions of the set of natural numbers, Fibonacci-like partitions. In particular, we introduce a Fibonacci-like partition in a number of parts corresponding to the Fibonacci numbers, the standard Fibonacci-like partitions of the first kind. That partition refines the well-known partition in two parts associated to the Wythoff sequences. In a similar way, we introduce another family of Fibonacci-like partitions of the natural numbers, with an initial segment removed, in a number of parts which also follows the Fibonacci sequence, the standard Fibonacci-like partitions of the second kind. We study some piecewise-defined permutations over Fibonacci-like partitions, which give both torsion-free and torsion elements in the symmetric group over the set of natural numbers. We give an application of Fibonacci-like partitions to the study of a sequence analyzed by A. Shapovalov and by B.J. Venkatachala. We give also a generalization of the mentioned sequence, involving techniques that are not related to Fibbonaci numbers nor Beatty sequences, obtaining an infinite family of sequences that we conjecture that produce an infinite orthogonal array in which the number of symbols, trials and factors is countable infinite, and having an automorphism group isomorphic to Z acting regularly on the symbol set.
2025-03-24
Geodesics for Discrete manifolds
The geodesic flow on a finite discrete q-manifold with or without boundary is defined as as a permutation of its ordered q-simplices. This allows to define geodesic sheets and a notion of sectional curvature.
2025-03-24
Weingarten calculus for centered random permutation matrices
Published • View Publication • BIB
We introduce and study the Weingarten calculus for centered random permutation matrices in the symmetric group S_N. After presenting a formulation of the Weingarten calculus on the symmetric group, we derive a formula in the centered case, as well as a sign-respecting formula. Our investigations uncover the fact that a building block of this Weingarten calculus is Kummer's confluent hypergeometric function. It allows us to derive multiple algebraic properties of the Weingarten function and uniform estimate. These results shed a conceptual light on phenomena that take place regarding the algebraic and asymptotic behavior of moments of random permutations in the resolution of Bordenave and Bordenave-Collins of strong convergence. We obtain multiple new non-trivial estimates for moments of coefficients in centered moments.
The intersection density of cubic arc-transitive graphs with $2$-arc-regular full automorphism group equal to $\operatorname{PGL}_2(q)$
Published • View Publication • BIB
The \emph{intersection density} of a transitive permutation group $G\leq \operatorname{Sym}(Ω)$ is the ratio between the largest size of a subset of $G$ in which any two agree on at least one element of $Ω$, and the order of a point-stabilizer of $G$. In this paper, we determine the intersection densities of the automorphism group of the arc-transitive graphs admitting a $2$-arc-regular full automorphism group $G^* = \operatorname{PGL}_2(q)$ and an arc-regular subgroup of automorphism $G = \operatorname{PSL}_2(q)$.
2025-03-21
Partial permutations and character evaluations
Let $I = (i_1, \dots, i_k)$ and $J = (j_1, \dots, j_k)$ be two length $k$ sequences drawn from $\{1, \dots, n \}$. We have the group algebra element $[I,J] := \sum_{w(I) = J} w \in \mathbb{C}[\mathfrak{S}_n]$ where the sum is over permutations $w \in \mathfrak{S}_n$ which satisfy $w(i_p) = j_p$ for $p = 1, \dots, k$. We give an algorithm for evaluating irreducible characters $χ^λ: \mathbb{C}[\mathfrak{S}_n] \to \mathbb{C}$ of the symmetric group on the elements $[I,J]$. This algorithm is a hybrid of the classical Murnaghan--Nakayama rule and a new path Murnaghan--Nakayama rule which reflects the decomposition of a partial permutation into paths and cycles. These results first appeared in arXiv:2206.06567, which is no longer intended for publication. We originally used the character theoretic results in this paper to prove asymptotic results on moments of certain permutation statistics restricted to conjugacy classes. A referee generously shared a combinatorial argument which is strong enough to prove these results without recourse to character theory. These results now appear in our companion paper~\cite{HRMoment}. However, the approach in this paper is more explicit, as we demonstrate with several examples.
2025-03-21
Moments of permutation statistics by cycle type
Beginning with work of Zeilberger on classical pattern counts, there are a variety of structural results for moments of permutation statistics applied to random permutations. Using tools from representation theory, Gaetz and Ryba generalized Zeilberger's results to uniformly random permutations of a given cycle type. We introduce regular statistics and characterize their moments for all cycle types, generalizing all results in this literature that we are aware of. Our approach splits into two steps: first characterize such statistics as linear combinations of indicator functions for partial permutations, then identifying the moments of such indicators. As an application, we show that many regular statistics exhibit a law of large numbers depending only on fixed point counts and a similar variance property that depends also on two--cycle counts. These results first appeared in arXiv:2206.06567, which is no longer intended for publication. Our original proof of the moment result for indicators of partial permutations relied on representation theory and symmetric functions. A referee generously shared a combinatorial argument, allowing us to give a self-contained treatment of these results that does not rely on representation theory.
2025-03-20
Smyth's conjecture and a non-deterministic Hasse principle
In a 1986 paper, Smyth proposed a conjecture about which integer-linear relations were possible among Galois-conjugate algebraic numbers. We prove this conjecture. The main tools (as Smyth already anticipated) are combinatorial rather than number-theoretic in nature. For instance, the question can be reinterpreted as a question about the possible eigenvalues of a specified linear combination of permutation matrices. What's more, we reinterpret Smyth's conjecture as a local-to-global principle for a "non-deterministic system of equations" where variables are interpreted as compactly supported K-valued random variables (for K a local or global field) rather than as elements of K.
Type C $K$-Stanley symmetric functions and Kraśkiewicz-Hecke insertion
We study Type C $K$-Stanley symmetric functions, which are $K$-theoretic extensions of the Type C Stanley symmetric functions. They are indexed by signed permutations and can be used to enumerate reduced words via their expansion into Schur $Q$-functions, which are indexed by strict partitions. A combinatorial description of the Schur $Q$- coefficients is given by Kraśkiewicz insertion. Similarly, their $K$-Stanley analogues are conjectured to expand positively into $GQ$'s, which are $K$-theory representatives for the Lagrangian Grassmannian introduced by Ikeda and Naruse also indexed by strict partitions. We introduce a $K$-theoretic analogue of Kraśkiewicz insertion, which can be used to enumerate 0-Hecke expressions for signed permutations and gives a conjectural combinatorial rule for computing this $GQ$ expansion. We show the Type C $K$-Stanleys for certain fully commutative signed permutations are skew $GQ$'s. Combined with a Pfaffian formula of Anderson's, this allows us to prove Lewis and Marberg's conjecture that $GQ$'s of (skew) rectangle shape are $GQ$'s of trapezoid shape. Combined with our previous conjecture, this also gives an explicit combinatorial description of the skew $GQ$ expansion into $GQ$'s. As a consequence, we obtain a conjecture for the product of two $GQ$ functions where one has trapezoid shape.
2025-03-15
Mixed Dimer Models for Euler and Catalan Numbers
We study the enumeration of mixed dimer covers on skew Young diagrams of ribbon shape (also called border strips or snake graphs). For the two extreme cases of straight and zigzag shapes, we show that the number of mixed dimer covers are given by the Euler and Catalan numbers. We also give q-analogs by showing that the rank generating functions of the partial orders on mixed dimer covers agree with certain q-Euler and q-Catalan numbers. These q-analogs are a consequence of an isomorphism between the partial order on mixed dimer covers and the so-called middle order on certain classes of permutations.
2025-03-14 v2
Permutation Equivariant Neural Networks for Symmetric Tensors
Incorporating permutation equivariance into neural networks has proven to be useful in ensuring that models respect symmetries that exist in data. Symmetric tensors, which naturally appear in statistics, machine learning, and graph theory, are essential for many applications in physics, chemistry, and materials science, amongst others. However, existing research on permutation equivariant models has not explored symmetric tensors as inputs, and most prior work on learning from these tensors has focused on equivariance to Euclidean groups. In this paper, we present two different characterisations of all linear permutation equivariant functions between symmetric power spaces of $\mathbb{R}^n$. We show on two tasks that these functions are highly data efficient compared to standard MLPs and have potential to generalise well to symmetric tensors of different sizes.
2025-03-14 v2
Sorting permutations with pile shuffle on queue-like and stack-like piles
Inspired by a common technique for shuffling a deck of cards on a table without riffling, we formalize the pile shuffle and investigate its capabilities as a sorting device. Our study is novel in that we consider pile shuffle in three variations: (1) using queue-like piles, (2) using stack-like piles, and (3) using a heterogeneous mixture of those two pile types, either given or decided during the shuffle by the dealer herself. We first characterize the sortable permutations of one or more sequential rounds of pile shuffle, under constraints on the number and types of piles to be used, and then derive formulas to obtain a sorting shuffle of a given permutation on the minimum number of piles, efficiently, whenever feasible. In the process, we present an interesting mathematical interpretation of any multi-round shuffle on fixed-type piles, as a single-round shuffle on a generally larger number of fixed-type ``virtual piles''; we confirm that repetition augments the power of pile shuffle exponentially, in that $m$ piles over $T$ rounds enjoys the capacity of $m^T$ piles in a single round. Finally, we motivate a forthcoming companion paper in which we prove that dealer choice -- where the dealer is allowed to choose the types of the piles during the shuffle -- makes deciding feasibility of sort NP-Hard for some variants of multi-round pile shuffle; proof is by a novel reduction from Boolean satisfiability (SAT).
2025-03-13 v2
A bijection for descent sets of permutations with only even and only odd cycles
Published • View Publication • BIB
It is known that, when $n$ is even, the number of permutations of $\{1,2,\dots,n\}$ all of whose cycles have odd length equals the number of those all of whose cycles have even length. Adin, Hegedűs and Roichman recently found a surprising refinement of this identity. They showed that, for any fixed set $J$, the equality still holds when restricting to permutations with descent set $J$ on one side, and permutations with ascent set $J$ on the other. Their proof uses generating functions for higher Lie characters, and it also yields a version for odd $n$. Here we give a bijective proof of their result. We first use known bijections, due to Gessel, Reutenauer and others, to restate the identity in terms of multisets of necklaces, which we interpret as words, and then describe a new weight-preserving bijection between words all of whose Lyndon factors have odd length and are distinct, and words all of whose Lyndon factors have even length. We also show that the corresponding equality about Lyndon factorizations has a short proof using generating functions.
2025-03-12 v4
Permutation-based Strategies for Labeled Chip-Firing on $k$-ary Trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 28:2, Combinatorics (January 9, 2026) dmtcs:16108 • View Publication • BIB
Chip-firing is a combinatorial game on a graph, in which chips are placed and dispersed among its vertices until a stable configuration is achieved. We specifically study a chip-firing variant on an infinite, rooted, directed $k$-ary tree where we place $k^n$ chips labeled $0,1,\dots, k^n-1$ on the root for some nonnegative integer $n$, and we say a vertex $v$ can fire if it has at least $k$ chips. When a vertex fires, we select $k$ labeled chips and send the $i$th smallest chip among them to its $i$th leftmost child. A stable configuration is reached when no vertex can fire. In this paper, we focus on stable configurations resulting from specific firing strategies based on permutations of $1, 2, \dots, n$. We then express the stable configuration as a permutation of $0,1, 2, \dots, k^n-1$ and explore its properties, such as the number of inversions and descents.
2025-03-11
Sorting permutations using a pop stack with a bypass
Published • View Publication • BIB
We introduce a new sorting device for permutations which makes use of a pop stack augmented with a bypass operation. This results in a sorting machine, which is more powerful than the usual Popstacksort algorithm and seems to have never been investigated previously. In the present paper, we give a characterization of sortable permutations in terms of forbidden patterns and reinterpret the resulting enumerating sequence using a class of restricted Motzkin paths. Moreover, we describe an algorithm to compute the set of all preimages of a given permutation, thanks to which we characterize permutations having a small number of preimages. Finally, we provide a full description of the preimages of principal classes of permutations, and we discuss the device consisting of two pop stacks in parallel, again with a bypass operation.
2025-03-11
Brewing Fubini-Bruhat Orders
Published in Séminaire Lotharingien de Combinatoire Issue 91B Article [91B.45], 2024 • Search Publication
The Bruhat order on permutations arises out of the study of Schubert varieties in Grassmannians and flag varieties, which have been important for over 100 years. The purpose of this paper is to study variations on this theme related to subvarieties of the spanning line configurations $X_{n,k}$ as defined by Pawlowski and Rhoades. These subvarieties are indexed by Fubini words, or equivalently by ordered set partitions. Three natural partial orders arise in this context; we refer to them as the decaf, medium roast, and espresso orders. The decaf order is a generalization of the weak order on permutations defined by covering relations using simple transpositions. The medium roast order is a generalization of the (strong) Bruhat order defined by the closure relationship on the subvarieties. The espresso order is the transitive closure of a relation based on intersecting subvarieties. Many properties of Schubert varieties and Bruhat order extend to one or more of the three Fubini-Bruhat orders. We examine some of the many possibilities in this work.
2025-03-10
A window to the Bruhat order on the affine symmetric group
Given two affine permutations, some results of Lascoux and Deodhar, and independently Jacon-Lecouvey, allow to decide if they are comparable for the strong Bruhat order. These permutations are associated with tuples of core partitions, and the preceding problem is equivalent to compare the Young diagrams in each components for the inclusion. Using abaci, we give an easy rule to compute these Young diagrams one another. We deduce a procedure to compare, for the Bruhat order, two affine permutations in the window notation.
2025-03-09 v2
Deterministically approximating the volume of a Kostka polytope
Published • View Publication • BIB
Polynomial-time deterministic approximation of volumes of polytopes, up to an approximation factor that grows at most sub-exponentially with the dimension, remains an open problem. Recent work on this question has focused on identifying interesting classes of polytopes for which such approximation algorithms can be obtained. In this paper, we focus on one such class of polytopes: the Kostka polytopes. The volumes of Kostka polytopes appear naturally in questions of random matrix theory, in the context of evaluating the probability density that a random Hermitian matrix with fixed spectrum $λ$ has a given diagonal $μ$ (the so-called randomized Schur-Horn problem): the corresponding Kostka polytope is denoted $\mathrm{GT}(λ, μ)$. We give a polynomial-time deterministic algorithm for approximating the volume of a ($Ω(n^2)$ dimensional) Kostka polytope $\mathrm{GT}(λ, μ)$ to within a multiplicative factor of $\exp(O(n\log n))$, when $λ$ is an integral partition with $n$ parts, with entries bounded above by a polynomial in $n$, and $μ$ is an integer vector lying in the interior of the permutohedron (i.e., convex hull of all permutations) of $λ$. The algorithm thus gives asymptotically correct estimates of the log-volume of Kostka polytopes corresponding to such $(λ, μ)$. Our approach is based on a partition function interpretation of a continuous analogue of Schur polynomials.
2025-03-08
Characterizing optimal monitoring edge-geodetic sets for some structured graph classes
Published • View Publication • BIB
Given a graph $G=(V,E)$, a set $S\subseteq V$ is said to be a monitoring edge-geodetic set if the deletion of any edge in the graph results in a change in the distance between at least one pair of vertices in $S$. The minimum size of such a set in $G$ is called the monitoring edge-geodetic number of $G$ and is denoted by $meg(G)$. In this work, we compute the monitoring edge-geodetic number efficiently for the following graph classes: distance-hereditary graphs, $P_4$-sparse graphs, bipartite permutation graphs, and strongly chordal graphs. The algorithms follow from structural characterizations of the optimal monitoring edge-geodetic sets for these graph classes in terms of \emph{mandatory vertices} (those that need to be in every solution). This extends previous results from the literature for cographs, interval graphs and block graphs.
2025-03-04 v2
Descents and flag major index on conjugacy classes of colored permutation groups without short cycles
Published • View Publication • BIB
We consider the descent and flag major index statistics on the colored permutation groups, which are wreath products of the form $\mathfrak{S}_{n,r}=\mathbb{Z}_r\wr \mathfrak{S}_n$. We show that the $k$-th moments of these statistics on $\mathfrak{S}_{n,r}$ will coincide with the corresponding moments on all conjugacy classes without cycles of lengths $1,2,\ldots,2k$. Using this, we establish the asymptotic normality of the descent and flag major index statistics on conjugacy classes of $\mathfrak{S}_{n,r}$ with sufficiently long cycles. Our results generalize prior work of Fulman involving the descent and major index statistics on the symmetric group $\mathfrak{S}_n$. Our methods involve an intricate extension of Fulman's work on $\mathfrak{S}_n$ combined with the theory of the degree for a colored permutation statistic, as introduced by Campion Loth, Levet, Liu, Sundaram, and Yin.
Towards Graham's rearrangement conjecture via rainbow paths
We study an old question in combinatorial group theory which can be traced back to a conjecture of Graham from 1971. Given a group $Γ$, and some subset $S\subseteq Γ$, is it possible to permute $S$ as $s_1, s_2, \ldots, s_d$ so that the partial products $\prod_{1 \leq i \leq t} s_i$, $t\in [d]$ are all distinct? Most of the progress towards this problem has been in the case when $Γ$ is a cyclic group. We show that for any group $Γ$ and any $S \subseteq Γ$, there is a permutation of $S$ where all but a vanishing proportion of the partial products are distinct, thereby establishing the first asymptotic version of Graham's conjecture under no restrictions on $Γ$ or $S$. To do so, we explore a natural connection between Graham's problem and the following very natural question attributed to Schrijver. Given a $d$-regular graph $G$ properly edge-coloured with $d$ colours, is it always possible to find a rainbow path with $d-1$ edges? We settle this question asymptotically by showing one can find a rainbow path of length $d - o(d)$. While this has immediate applications to Graham's question for example when $Γ= \mathbb{F}_2^k$, our general result above requires a more involved result we obtain for the natural directed analogue of Schrijver's question.