permutation ↗ reference
4849 papers tagged with this keyword
On the number of cycles in commutators of random permutations
Published
• View Publication
• BIB
We present general links between statistics of non-Hermitian random matrices and the distribution of the number of cycles of some specific random permutations. In particular, we derive explicit formulas for the generating functions of the number of cycles in the commutator $[σ,τ] = στσ^{-1} τ^{-1}$ where $σ$ is uniformly distributed, and $τ$ is either one cycle, the product of two cycles of same size, or the product of many transpositions.
Rooted quasi-Stirling permutations of general multisets
Published
• View Publication
• BIB
Given a general multiset $\mathcal{M}=\{1^{m_1},2^{m_2},\ldots,n^{m_n}\}$, where $i$ appears $m_i$ times, a multipermutation $π$ of $\mathcal{M}$ is called {\em quasi-Stirling}, if it contains no subword of the form $abab$ with $a\neq b$. We designate exactly one entry of $π$, say $k\in \mathcal{M}$, which is not the leftmost entry among all entries with the same value, by underlining it in $π$, and we refer to the pair $(π,k)$ as a quasi-Stirling multipermutation of $\mathcal{M}$ rooted at $k$. By introducing certain vertex and edge labeled trees, we give a new bijective proof of an identity due to Yan, Yang, Huang and Zhu, which links the enumerator of rooted quasi-Stirling multipermutations by the numbers of ascents, descents, and plateaus, with the exponential generating function of the {\em bivariate Eulerian polynomials}. This identity can be viewed as a natural extension of Elizalde's result on $k$-quasi-Stirling permutations, and our bijective approach to proving it enables us to: (1) prove bijectively a Carlitz type identity involving quasi-Stirling polynomials on multisets that was first obtained by Yan and Zhu; (2) confirm a recent partial $γ$-positivity conjecture due to Lin, Ma and Zhang, and find a combinatorial interpretation of the $γ$-coefficients in terms of two new statistics defined on quasi-Stirling multipermutations called sibling descents and double sibling descents.
Pattern avoidance of $[4,k]$-pairs in circular permutations
Published in Advances in Applied Mathematics 138 (2022), article 102346
• View Publication
• BIB
The study of pattern avoidance in linear permutations has been an active area of research for almost half a century now, starting with the work of Knuth in 1973. More recently, the question of pattern avoidance in circular permutations has gained significant attention. In 2002-03, Callan and Vella independently characterized circular permutations avoiding a single permutation of size $4$. Building on their results, Domagalski et al. studied circular pattern avoidance for multiple patterns of size $4$. In this article, our main aim is to study circular pattern avoidance of $[4,k]$-pairs, i.e., circular permutations avoiding one pattern of size 4 and another of size $k$. We do this by using well-studied combinatorial objects to represent circular permutations avoiding a single pattern of size $4$. In particular, we obtain upper bounds for the number of Wilf equivalence classes of $[4,k]$-pairs. Moreover, we prove that the obtained bound is tight when the pattern of size $4$ in consideration is $[1342]$. Using ideas from our general results, we also obtain a complete characterization of the avoidance classes for $[4,5]$-pairs.
On Vanishing Properties of Polynomials on Symmetric Sets of the Boolean Cube, in Positive Characteristic
The finite-degree Zariski (Z-) closure is a classical algebraic object, that has found a key place in several applications of the polynomial method in combinatorics. In this work, we characterize the finite-degree Z-closures of a subclass of symmetric sets (subsets that are invariant under permutations of coordinates) of the Boolean cube, in positive characteristic.
Our results subsume multiple statements on finite-degree Z-closures that have found applications in extremal combinatorial problems, for instance, pertaining to set systems (Hegedűs, Stud. Sci. Math. Hung. 2010; Hegedűs, arXiv 2021), and Boolean circuits (Hrǔbes et al., ICALP 2019). Our characterization also establishes that for the subclasses of symmetric sets that we consider, the finite-degree Z-closures have low computational complexity.
A key ingredient in our characterization is a new variant of finite-degree Z-closures, defined using vanishing conditions on only symmetric polynomials satisfying a degree bound.
Enumerating circular permutations avoiding the vincular pattern 23 4 1
In this paper, we find an explicit formula for the generating function that counts the circular permutations of length n avoiding the pattern 23 4 1 whose enumeration was raised as an open problem by Rupert Li. This then completes in all cases the enumeration of circular permutations that avoid a single vincular pattern of length four containing one vinculum. To establish our results, we introduce three auxiliary arrays which when taken together refine the cardinality of the class of permutations in question. Rewriting the recurrences of these arrays in terms of generating functions leads to functional equations which are solved by various means including the kernel method and iteration.
The Gessel Correspondence and the Partial $γ$-Positivity of the Eulerian Polynomials on Multiset Stirling Permutations
Published
• View Publication
• BIB
Pondering upon the grammatical labeling of 0-1-2 increasing plane trees, we come to the realization that the grammatical labels play a role as records of chopped off leaves of
the original increasing binary trees. While such an understanding is purely psychological, it does give rise to an efficient apparatus to tackle the partial $γ$-positivity of the Eulearian polynomials on multiset Stirling permutations, as long as we bear in mind the combinatorial meanings of the labels $x$ and $y$ in the Gessel representation of a $k$-Stirling permutation by means of an increasing $(k+1)$-ary tree. More precisely, we introduce a Foata-Strehl action on the Gessel trees resulting in an interpretation of the partial $γ$-coefficients of the aforementioned Eulerian polynomials, different from the ones found by Lin-Ma-Zhang and Yan-Huang-Yang. In particular, our strategy can be adapted to deal with the partial $γ$-coefficients of the second order Eulerian polynomials, which in turn can be readily converted to the combinatorial formulation due to Ma-Ma-Yeh in connection with certain statistics of Stirling permutations.
No Hilton-Milner type results for linear groups of degree two
A set of permutations $\mathcal{F}$ of a finite transitive permutation group $G\leq \operatorname{Sym}(Ω)$ is \emph{intersecting} if any pair of elements of $\mathcal{F}$ agree on an element of $Ω$. We say that $G$ has the \emph{EKR property} if an intersecting set of $G$ has size at most the order of a point stabilizer. Moreover, $G$ has the \emph{strict-EKR} property whenever $G$ has the EKR property and any intersecting set of maximum size is a coset of a point stabilizer of $G$.
It is known that the permutation group $\operatorname{GL}_2(\mathbb{F}_q)$ acting on $Ω_q := \mathbb{F}_q^2\setminus\{0\}$ has the EKR property, but does not have the strict-EKR property since the stabilizer of a hyperplane is a maximum intersecting set. In this paper, it is proved that the Hilton-Milner type result does not hold for $\operatorname{GL}_2(\mathbb{F}_q)$ acting on $Ω_q$. Precisely, it is shown that a maximal intersecting set of $\operatorname{GL}_2(\mathbb{F}_q)$ is of maximum size. As a result, we prove the Complete Erdős-Ko-Rado theorem for $\operatorname{GL}_2(\mathbb{F}_{q})$.
Automorphisms of graphs corresponding to conjugacy classes of finite-rank self-adjoint operators
Published
• View Publication
• BIB
We consider the graph whose vertex set is a conjugacy class ${\mathcal C}$ consisting of finite-rank self-adjoint operators on a complex Hilbert space $H$. The dimension of $H$ is assumed to be not less than $3$. In the case when operators from ${\mathcal C}$ have two eigenvalues only, we obtain the Grassmann graph formed by $k$-dimensional subspaces of $H$, where $k$ is the smallest dimension of eigenspaces. Classical Chow's theorem describes automorphisms of this graph for $k>1$. Under the assumption that operators from ${\mathcal C}$ have more than two eigenvalues we show that every automorphism of the graph is induced by a unitary or anti-unitary operator up to a permutation of eigenspaces with the same dimensions. In contrast to this result, Chow's theorem states that there are graph automorphisms induced by semilinear automorphisms not preserving orthogonality if ${\mathcal C}$ is formed by operators with precisely two eigenvalues.
An equidistribution involving invisible inversions
Published
• View Publication
• BIB
We provide two explicit bijections demonstrating that, among permutations, the number of invisible inversions is equidistributed with the number of occurrences of the vincular pattern 13-2 after sorting the set of runs.
Weak ascent sequences and related combinatorial structures
In this paper we introduce {\em weak ascent sequences}, a class of number sequences that properly contains ascent sequences. We show how these sequences uniquely encode each of the following objects: permutations avoiding a particular length-4 bivincular pattern; upper-triangular binary matrices that satisfy a column-adjacency rule; factorial posets that are weakly (3+1)-free. We also show how weak ascent sequences are related to a class of pattern avoiding inversion sequences that has been a topic of recent research by Auli and Elizalde. Finally, we consider the problem of enumerating these new sequences and give a closed form expression for the number of weak ascent sequences having a prescribed length and number of weak ascents.
A congruence concerning a convolution involving weighted Bernoulli numbers
Given a prime $p\geq 5$, we reduce modulo p a convolution of order p-1 of powers of two weighted Bernoulli numbers with Bernoulli numbers in terms of harmonic numbers and generalized harmonic numbers. Our proof is based on studying the p-adic expansion of the number of permutations of Sym(p-2) with an even number of ascents, up to the modulus $p^2$.
Totally $2$-closed finite groups with trivial Fitting subgroup
Published
• View Publication
• BIB
A group $G$ is said to be totally $2$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\mathrm{Sym}(Ω)$ which leaves invariant each of the $G$-orbits for the induced action on $Ω\times Ω$. We prove that there are precisely $47$ finite totally $2$-closed groups with trivial Fitting subgroup. Each of these groups is a direct product of pairwise non-isomorphic sporadic simple groups, with the direct factors coming from the Janko groups $\mathrm{J}_1, \mathrm{J}_3$ and $\mathrm{J}_4$, together with $\mathrm{Ly}, \mathrm{Th}$ and the Monster $\mathbb{M}$. These are the first known examples of insoluble totally $2$-closed groups. As a by-product of our methods, we develop several tools for studying $2$-closures of transitive permutation groups -- a vital tool in the study of representations of finite groups as automorphism groups of digraphs. We also prove a dual to a 1939 theorem of Frucht from Algebraic Graph Theory.
Springer Numbers and Arnold Families Revisited
Published
• View Publication
• BIB
For the calculation of Springer numbers (of root systems) of type $B_n$ and $D_n$, Arnold introduced a signed analogue of alternating permutations, called $β_n$-snakes, and derived recurrence relations for enumerating the $β_n$-snakes starting with $k$. The results are presented in the form of double triangular arrays ($v_{n,k}$) of integers, $1\le |k|\le n$. An Arnold family is a sequence of sets of such objects as $β_n$-snakes that are counted by $(v_{n,k})$. As a refinement of Arnold's result, we give analogous arrays of polynomials, defined by recurrence, for the calculation of the polynomials associated with successive derivatives of $\tan x$ and $\sec x$, established by Hoffman. Moreover, we provide some new Arnold families of combinatorial objects that realize the polynomial arrays, which are signed variants of André permutations and Simsun permutations.
Ferrers Graphs, D-Permutations, and Surjective Staircases
Published
• View Publication
• BIB
We introduce a new family of hyperplane arrangements inspired by the homogenized Linial arrangement (which was recently introduced by Hetyei), and show that the intersection lattices of these arrangements are isomorphic to the bond lattices of Ferrers graphs. Using recent work of Lazar and Wachs we are able to give combinatorial interpretations of the characteristic polynomials of these arrangements in terms of permutation enumeration. For certain infinite families of these hyperplane arrangements, we are able to give generating function formulas for their characteristic polynomials. To do so, we develop a generalization of Dumont's surjective staircases, and introduce a polynomial which enumerates these generalized surjective staircases according to several statistics. We prove a recurrence for these polynomials and show that in certain special cases this recurrence can be solved explicitly to yield a generating function. We also prove refined versions of several of these results using the theory of complex hyperplane arrangements.
Semi-magic matrices for dihedral groups
Published
• View Publication
• BIB
After reviewing the group structure and representation theory for the dihedral group $D_{2n},$ we consider an intertwining operator $Φ_ρ$ from the group algebra $\mathbb{C}[D_{2n}]$ into a corresponding space of semi-magic matrices. From this intertwining operator, one obtains the generating function for enumerating the associated semi-magic squares with fixed line sum and an algebra extending the circulant matrices. While this work complements the approach to $D_{2n}$ through permutation polytopes, we use only methods from representation theory.
On the automorphism groups of rank-4 primitive coherent configurations
Published
• View Publication
• BIB
The minimal degree of a permutation group $G$ is the minimum number of points not fixed by non-identity elements of $G$. Lower bounds on the minimal degree have strong structural consequences on $G$. Babai conjectured that if a primitive coherent configuration with $n$ vertices is not a Cameron scheme, then its automorphism group has minimal degree $\geq cn$ for some constant $c>0$. In 2014, Babai proved the desired lower bound on the minimal degree of the automorphism groups of strongly regular graphs, thus confirming the conjecture for primitive coherent configurations of rank 3.
In this paper, we extend Babai's result to primitive coherent configurations of rank 4, confirming the conjecture in this special case. The proofs combine structural and spectral methods.
Products of reflections in smooth Bruhat intervals
Published in Journal of Combinatorics, Volume 14 (2023) Number 2
• View Publication
• BIB
A permutation is called smooth if the corresponding Schubert variety is smooth. Gilboa and Lapid prove that in the symmetric group, multiplying the reflections below a smooth element $w$ in Bruhat order in a compatible order yields back the element $w$. We strengthen this result by showing that such a product in fact determines a saturated chain $e \to w$ in Bruhat order, and that this property characterizes smooth elements.
Pattern-functions, statistics, and shallow permutations
Published
• View Publication
• BIB
We study relationships between permutation statistics and pattern-functions, counting the number of times particular patterns occur in a permutation. This allows us to write several familiar statistics as linear combinations of pattern counts, both in terms of a permutation and in terms of its image under the fundamental bijection. We use these enumerations to resolve the question of characterizing so-called "shallow" permutations, whose depth (equivalently, disarray/displacement) is minimal with respect to length and reflection length. We present this characterization in several ways, including vincular patterns, mesh patterns, and a new object that we call "arrow patterns." Furthermore, we specialize to characterizing and enumerating shallow involutions and shallow cycles, encountering the Motzkin and large Schröder numbers, respectively.
Exact-size Sampling of Enriched Trees in Linear Time
Published
• View Publication
• BIB
Various combinatorial classes such as outerplanar graphs and maps, series-parallel graphs, substitution-closed classes of permutations and many more allow bijective encodings by so-called enriched trees, which are rooted trees with additional structure on the offspring of each node. Using this universal description we develop sampling procedures that uniformly generate objects from this classes with a given size $n$ in expected time $O(n)$.The key ingredient is a representation of enriched trees in terms of decorated Bienaymé--Galton--Watson trees, which allows us to develop a novel combination of Devroye's efficient sampler for trees (Devroye, 2012) with Boltzmann sampling techniques. Additionally, we construct expected linear time samplers for critical Bienaymé--Galton--Watson trees having exactly $n$ (out of $\ge n$ total) nodes with outdegree in some fixed set, enabling uniform generation for many combinatorial classes such as dissections of polygons.
Continuously Increasing Subsequences of Random Multiset Permutations
Published
• View Publication
• BIB
For a word $π$ and integer $i$, we define $L^i(π)$ to be the length of the longest subsequence of the form $i(i+1)\cdots j$, and we let $L(π):=\max_i L^i(π)$. In this paper we estimate the expected values of $L^1(π)$ and $L(π)$ when $π$ is chosen uniformly at random from all words which use each of the first $n$ integers exactly $m$ times. We show that $\mathbb{E}[L^1(π)]\sim m$ if $n$ is sufficiently larger in terms of $m$ as $m$ tends towards infinity, confirming a conjecture of Diaconis, Graham, He, and Spiro. We also show that $\mathbb{E}[L(π)]$ is asymptotic to the inverse gamma function $Γ^{-1}(n)$ if $n$ is sufficiently large in terms of $m$ as $m$ tends towards infinity.