permutation ↗ reference
4945 papers tagged with this keyword
On cycles in monotone grid classes of permutations
Published
• View Publication
• BIB
We undertake a detailed investigation into the structure of permutations in monotone grid classes whose row-column graphs do not contain components with more than one cycle. Central to this investigation is a new decomposition, called the $M$-sum, which generalises the well-known notions of direct sum and skew sum, and enables a deeper understanding of the structure of permutations in these grid classes. Permutations which are indecomposable with respect to the $M$-sum play a crucial role in the structure of a grid class and of its subclasses, and this leads us to identify coils, a certain kind of permutation which corresponds to repeatedly traversing a chosen cycle in a particular manner.
Harnessing this analysis, we give a precise characterisation for when a subclass of such a grid class is labelled well quasi-ordered, and we extend this to characterise (unlabelled) well quasi-ordering in certain cases. We prove that a large general family of these grid classes are finitely based, but we also exhibit other examples that are not, thereby disproving a conjecture from 2006 due to Huczynska and Vatter.
Linear dependencies, polynomial factors in the Duke--Erd\H os forbidden sunflower problem
We call a family of $s$ sets $\{F_1, \ldots, F_s\}$ a \textit{sunflower with $s$ petals} if, for any distinct $i, j \in [s]$, one has $F_i \cap F_j = \cap_{u = 1}^s F_u$. The set $C = \cap_{u = 1}^s F_u$ is called the {\it core} of the sunflower. It is a classical result of Erd\H os and Rado that there is a function $φ(s,k)$ such that any family of $k$-element sets contains a sunflower with $s$ petals. In 1977, Duke and Erd\H os asked for the size of the largest family $\mathcal{F}\subset{[n]\choose k}$ that contains no sunflower with $s$ petals and core of size $t-1$. In 1987, Frankl and F\" uredi asymptotically solved this problem for $k\ge 2t+1$ and $n>n_0(s,k)$. This paper is one of the pinnacles of the so-called Delta-system method.
In this paper, we extend the result of Frankl and Füredi to a much broader range of parameters: $n>f_0(s,t) k$ with $f_0(s,t)$ polynomial in $s$ and $t$. We also extend this result to other domains, such as $[n]^k$ and ${n\choose k/w}^w$ and obtain even stronger and more general results for forbidden sunflowers with core at most $t-1$ (including results for families of permutations and subfamilies of the $k$-th layer in a simplicial complex).
The methods of the paper, among other things, combine the spread approximation technique, introduced by Zakharov and the first author, with the Delta-system approach of Frankl and Füredi and the hypercontractivity approach for global functions, developed by Keller, Lifshitz and coauthors. Previous works in extremal set theory relied on at most one of these methods. Creating such a unified approach was one of the goals for the paper.
Set-Valued Catalan Combinatorics
Published
• View Publication
• BIB
Set-valued standard Young tableaux are a generalization of standard Young tableaux due to Buch (2002) with applications in algebraic geometry. The enumeration of set-valued SYT is significantly more complicated than in the ordinary case, although product formulas are known in certain special cases. In this work we study the case of two-rowed set-valued SYT with a fixed number of entries. These tableaux are a new combinatorial model for the Catalan, Narayana, and Kreweras numbers, and can be shown to be in correspondence with both 321-avoiding permutations and a certain class of bicolored Motzkin paths. We also introduce a generalization of the set-valued comajor index studied by Hopkins, Lazar, and Linusson (2023), and use this statistic to find seemingly new q-analogs of the Catalan and Narayana numbers.
Asymptotic normality arising in Baxter permutations
Baxter permutations arose in the study of fixed points of the composite of commuting functions by Glen Baxter in 1964. This type of permutations are counted by Baxter numbers $B_n$. It turns out that $B_n$ enumerate a lot of discrete objects such as the bases for subalgebras of the Malvenuto-Reutenauer Hopf algebra, the pairs of twin binary trees on $n$ nodes, or the diagonal rectangulations of an $n\times n$ grid. The refined Baxter number $D_{n,k}$ also count many interesting objects including the Baxter permutations of $n$ with $k-1$ descents and $n-k$ rises, twin pairs of binary trees with $k$ left leaves and $n-k+1$ right leaves, or plane bipolar orientations with $k+1$ faces and $n-k+2$ vertices. In this paper, we obtain the asymptotic normality of the refined Baxter number $D_{n,k}$ by using a sufficient condition due to Bender. In the course of our proof, the computation involving $B_n$ and some related numbers is crucial, while $B_n$ has no closed form which make the computation untractable. To address this problem, we employ the method of asymptotics of the solutions of linear recurrence equations. Our proof is semi-automatic. All the asymptotic expansions and recurrence relations are proved by utilizing symbolic computation packages.
Fine multidegrees, universal Grobner bases, and matrix Schubert varieties
Published
• View Publication
• BIB
We give a criterion for a collection of polynomials to be a universal Gröbner basis for an ideal in terms of the multidegree of the closure of the corresponding affine variety in $(\mathbb{P}^1)^N$. This criterion can be used to give simple proofs of several existing results on universal Gröbner bases. We introduce fine Schubert polynomials, which record the multidegrees of the closures of matrix Schubert varieties in $(\mathbb{P}^1)^{n^2}$. We compute the fine Schubert polynomials of permutations $w$ where the coefficients of the Schubert polynomials of $w$ and $w^{-1}$ are all either 0 or 1, and we use this to give a universal Gröbner basis for the ideal of the matrix Schubert variety of such a permutation.
Additive word complexity and Walnut
In combinatorics on words, a classical topic of study is the number of specific patterns appearing in infinite sequences. For instance, many works have been dedicated to studying the so-called factor complexity of infinite sequences, which gives the number of different factors (contiguous subblocks of their symbols), as well as abelian complexity, which counts factors up to a permutation of letters. In this paper, we consider the relatively unexplored concept of additive complexity, which counts the number of factors up to additive equivalence. We say that two words are additively equivalent if they have the same length and the total weight of their letters is equal. Our contribution is to expand the general knowledge of additive complexity from a theoretical point of view and consider various famous examples. We show a particular case of an analog of the long-standing conjecture on the regularity of the abelian complexity of an automatic sequence. In particular, we use the formalism of logic, and the software Walnut, to decide related properties of automatic sequences. We compare the behaviors of additive and abelian complexities, and we also consider the notion of abelian and additive powers. Along the way, we present some open questions and conjectures for future work.
Conditional Non-Soficity of p-adic Deligne Extensions: on a Theorem of Gohla and Thom
A long standing problem asks whether every group is sofic, i.e., can be separated by almost-homomorphisms to the symmetric group $Sym(n)$. Similar problems have been asked with respect to almost-homomorphisms to the unitary group $U(n)$, equipped with various norms. One of these problems has been solved for the first time in [De Chiffre, Gelbsky, Lubotzky, Thom, 2020]: some central extensions $\widetildeΓ$ of arithmetic lattices $Γ$ of $Sp(2g,\mathbb{Q}_p)$ were shown to be non-Frobenius approximated by almost homomorphisms to $U(n)$. Right after, it was shown that similar results hold with respect to the $p$-Schatten norms in [Lubotzky, Oppenheim, 2020]. It is natural, and has already been suggested in [Chapman, Lubotzky, 2024] and [Gohla, Thom, 2024], to check whether the $\widetildeΓ$ are also non-sofic. In order to show that they are (also) non-sofic, it suffices:
(a) To prove that the permutation Cheeger constant of the simplicial complex underlying $Γ$ is positive, generalizing [Evra, Kaufman, 2016]. This would imply that $Γ$ is stable.
(b) To prove that the (flexible) stability of $Γ$ implies the non-soficity of $\widetildeΓ$.
Clause (b) was proved by Gohla and Thom. Here we offer a more algebraic/combinatorial treatment to their theorem.
The Ehrhart $h^*$-polynomials of positroid polytopes
Published
• View Publication
• BIB
A positroid is a matroid realized by a matrix such that all maximal minors are non-negative. Positroid polytopes are matroid polytopes of positroids. In particular, they are lattice polytopes. The Ehrhart polynomial of a lattice polytope counts the number of integer points in the dilation of that polytope. The Ehrhart series is the generating function of the Ehrhart polynomial, a rational function with a numerator called the $h^*$-polynomial. We give explicit formulas for the $h^*$-polynomials of an arbitrary positroid polytope regarding permutation descents. Our result generalizes that of Early, Kim, and Li for hypersimplices.
Free cumulants and freeness for unitarily invariant random tensors
We address the question of the asymptotic description of random tensors that are local-unitary invariant, that is, invariant by conjugation by tensor products of independent unitary matrices. We consider both the mixed case of a tensor with $D$ inputs and $D$ outputs, and the case where there is a factorization between the inputs and outputs, called pure, which includes the random tensor models extensively studied in the physics literature.
The finite size and asymptotic moments are defined using correlations of certain invariant polynomials encoded by $D$-tuples of permutations, up to relabeling equivalence. Finite size free cumulants associated to the expectations of these invariants are defined through invertible finite size moment-cumulants formulas.
Two important cases are considered asymptotically: pure random tensors that scale like a complex Gaussian, and mixed random tensors that scale like a Wishart tensor. In both cases, we derive a notion of tensorial free cumulants associated to first order invariants, through moment-cumulant formulas involving summations over non-crossing permutations. The pure and mixed cases involve the same combinatorics, but differ by the invariants that define the distribution at first order. In both cases, the tensorial free-cumulants of a sum of two independent tensors are shown to be additive. A preliminary discussion of higher orders is provided.
Tensor freeness is then defined as the vanishing of mixed first order tensorial free cumulants. The equivalent formulation at the level of asymptotic moments is derived in the pure and mixed cases, and we provide an algebraic construction of tensorial probability spaces, which generalize non-commutative probability spaces: random tensors converge in distribution to elements of these spaces, and tensor freeness of random variables corresponds to tensor freeness of the subspaces they generate.
Schubert Calculus and the Heisenberg Algebra
We show that the Hilbert space with basis indexed by infinite permutations and the cohomology ring of the infinite flag variety can be seen as representations of the Heisenberg algebra, which are isomorphic using the back-stable Schubert polynomials. We give a model for infinite permutations as certain two dimensional fermions, generalizing the Maya diagram construction for partitions. Under this framework, the pipedream model for Schubert polynomials can be viewed as the Hamiltonian time evolution of the 2D fermions.
Transitivity in wreath products with symmetric groups
It is known that the notion of a transitive subgroup of a permutation group $P$ extends naturally to the subsets of $P$. We study transitive subsets of the wreath product $G \wr S_n$, where $G$ is a finite abelian group. This includes the hyperoctahedral group for $G=C_2$. We give structural characterisations of transitive subsets using the character theory of $G \wr S_n$ and interpret such subsets as designs in the conjugacy class association scheme of $G \wr S_n$. In particular, we prove a generalisation of the Livingstone-Wagner theorem and give explicit constructions of transitive sets. Moreover, we establish connections to orthogonal polynomials, namely the Charlier polynomials, and use them to study codes and designs in $C_r \wr S_n$. Many of our results extend results about the symmetric group $S_n$.
Combinatorics of a dissimilarity measure for pairs of draws from discrete probability vectors on finite sets of objects
Motivated by a problem in population genetics, we examine the combinatorics of dissimilarity for pairs of random unordered draws of multiple objects, with replacement, from a collection of distinct objects. Consider two draws of size $K$ taken with replacement from a set of $I$ objects, where the two draws represent samples from potentially distinct probability distributions over the set of $I$ objects. We define the set of \emph{identity states} for pairs of draws via a series of actions by permutation groups, describing the enumeration of all such states for a given $K \geq 2$ and $I \geq 2$. Given two probability vectors for the $I$ objects, we compute the probability of each identity state. From the set of all such probabilities, we obtain the expectation for a dissimilarity measure, finding that it has a simple form that generalizes a result previously obtained for the case of $K=2$. We determine when the expected dissimilarity between two draws from the same probability distribution exceeds that of two draws taken from different probability distributions. We interpret the results in the setting of the genetics of polyploid organisms, those whose genetic material contains many copies of the genome ($K > 2$).
Desarrangements revisited: statistics and pattern avoidance
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:1, Permutation Patterns 2024, Special issues (November 7, 2025) dmtcs:14375
• View Publication
• BIB
A desarrangement is a permutation whose first ascent is even. Desarrangements were introduced in the 1980s by Jacques Désarménien, who proved that they are in bijection with derangements. We revisit the study of desarrangements, focusing on two themes: the refined enumeration of desarrangements with respect to permutation statistics, and pattern avoidance in desarrangements. Our main results include generating function formulas for counting desarrangements by the number of descents, peaks, valleys, double ascents, and double descents, as well as a complete enumeration of desarrangements avoiding a prescribed set of length 3 patterns. We find new interpretations of the Catalan, Fine, Jacobsthal, and Fibonacci numbers in terms of pattern-avoiding desarrangements.
On a conjecture about pattern avoidance of cycle permutations
Published
• View Publication
• BIB
Let $π$ be a cycle permutation that can be expressed as one-line $π= π_1π_2 \cdot\cdot\cdot π_n$ and a cycle form $π= (c_1,c_2, ..., c_n)$. Archer et al. introduced the notion of pattern avoidance of one-line and all cycle forms for a cycle permutation $π$, defined as $π_1π_2 \cdot\cdot\cdot π_n$ and its arbitrary cycle form $c_ic_{i+1}\cdot\cdot\cdot c_nc_1c_2\cdot\cdot\cdot c_{i-1}$ avoid a given pattern. Let $\mathcal{A}^\circ_n(σ; τ)$ denote the set of cyclic permutations in the symmetric group $S_n$ that avoid $σ$ in their one-line form and avoid $τ$ in their all cycle forms. In this note, we prove that $|\mathcal{A}^\circ_n(2431; 1324)|$ is the $(n-1)^{\rm{st}}$ Pell number for any positive integer $n$. Thereby, we give a positive answer to a conjecture of Archer et al.
Flag complex face structures and decompositions
One of the most common and effective methods of obtaining structural information on simplicial complexes is to use tools from algebraic geometry/commutative algebra (often motivated by properties of toric varieties). However, there is no general algebro-geometric description of components of the gamma vector holding for arbitary flag simplicial spheres. This invariant occurs in many different contexts including permutation statistics, signatures of toric varieties, and Euler characteristics of nonpositively curved piecewise Euclidean manifolds. Combinatorial methods resulting from an explicit inverted Chebyshev expansion give rise to new positivity properties and cell complex structures that are of interest in their own right. Note that the focus is on the $f$-vector rather than the $h$-vector in ``algebraic'' settings. For flag simplicial spheres $Δ$, the fact that $h(Δ) = f(Γ)$ and compatibility between Chebyshev expansions and a modification of the $f$-polynomial by work of Hetyei are the key inputs. In the main formula implying new positivity results, local structures of $CAT(0)$ complexes and cubical analogues of barycentric subdivisions give deeper connections with cubical complex structures complementing earlier work related to the top gamma vector component. Afterwards, we return to the motivating example of barycentric subdivisions and consider how $f$-vectors of Cohen--Macaulay and vertex decomposable flag complexes in geometric settings decompose and interact with geometric transformations. This includes subdivisions of simplicial complexes and recursive properties they share with vertex decomposable flag complexes.
Generalized Numerical semigroups up to isomorphism
Published in Communications in Algebra, 2025
• View Publication
• BIB
A generalized numerical semigroup is a submonoid $S$ of $\mathbb{N}^d$ with finite complement in it. We characterize isomorphisms between these monoids in terms of permutation of coordinates. Considering the equivalence relation that identifies the monoids obtained by the action of a permutation and establishing a criterion to select a representative from each equivalence class, we define some procedures for generating the set of all generalized numerical semigroups of given genus up to isomorphism. Finally, we present computational data and explore properties related to the number of generalized numerical semigroups of a given genus up to isomorphism.
A character theoretic formula for base size
Published
• View Publication
• BIB
A base for a permutation group $G$ acting on a set $Ω$ is a sequence $\mathcal{B}$ of points of $Ω$ such that the pointwise stabiliser $G_{\mathcal{B}}$ is trivial. The base size of $G$ is the size of a smallest base for $G$. We derive a character theoretic formula for the base size of a class of groups admitting a certain kind of irreducible character. Moreover, we prove a formula for enumerating the non-equivalent bases for $G$ of size $l\in\mathbb{N}$. As a consequence of our results, we present a very short, entirely algebraic proof of the formula of Mecenero and Spiga~\cite{MeSp} for the base size of the symmetric group $\mathrm{S}_n$ acting on the $k$-element subsets of $\{1,2,3,\dots,n\}$. Our methods also provide a formula for the base size of many product-type permutation groups.
Reconstructing SLE-decorated Liouville quantum gravity surfaces from random permutons
Permutons constructed from a Liouville quantum gravity surface and a pair of space-filling Schramm-Loewner evolutions (SLEs) have been shown -- or are conjectured -- to describe the scaling limit of various natural models of random constrained permutations. We prove that, in two distinct and natural settings, these permutons uniquely determine, modulo rotation, scaling, translation and reflection, both the Liouville quantum gravity surface and the pair of space-filling SLEs used in their construction. In other words, the Liouville quantum gravity surface and the pair of space-filling SLEs can be deterministically reconstructed from the permuton.
Our results cover the cases of the skew Brownian permutons, the universal limits of pattern-avoiding permutations, and the meandric permuton, which is the conjectural permuton limit of permutations obtained from uniform meanders.
In the course of the proof, we give a detailed description of how the support of the permuton relates to the multiple points of the two space-filling SLEs.
Centraliser algebras of monomial representations and applications in combinatorics
Published
• View Publication
• BIB
Centraliser algebras of monomial representations of finite groups may be constructed and studied using methods similar to those employed in the study of permutation groups. Guided by results of D. G. Higman and others, we give an explicit construction for a basis of the centraliser algebra of a monomial representation. The character table of this algebra is then constructed via character sums over double cosets. We locate the theory of group-developed and cocyclic-developed Hadamard matrices within this framework. We apply Gröbner bases to produce a new classification of highly symmetric complex Hadamard matrices.
Maximal chains in lattices from graph associahedra: Tamari to the weak order
In this paper, we study the maximal chains of lattices which generalizes both the weak order and the Tamari lattice: certain lattices of maximal tubings. A maximal tubing poset $\mathfrak{L}(G)$ is defined for any graph $G$, but for the graphs we consider in this paper, the poset is a lattice. Just as the weak order is an orientation of the $1$-skeleton of the permutahedron and the Tamari of the associahedron, each tubing lattice is an orientation of the $1$-skeleton of a graph associahedron. The partial order on $\mathfrak{L}(G)$ is given by a projection from $\mathfrak{S}_n$ to $\mathfrak{L}(G)$. In particular, when the graph is the complete graph, the graph associahedron is the the permutahedron, and when it is the path graph, it is the Stasheff associahedron.
Our main results are for lollipop graphs, graphs that ``interpolate'' between the path and the complete graphs. For lollipop graphs, the lattices consist of permutations which satisfy a generalization of $312$-avoiding. The maximum length chains correspond to partially shiftable tableaux under the Edelman-Greene's Coxeter-Knuth bijection. We also consider functions defined analogously to Stanley's symmetric function for the maximum length chains and find their expansion in terms of Young quasisymmetric Schur functions.