permutation ↗ reference
4849 papers tagged with this keyword
The number of occurrences of patterns in a random tree or forest permutation
Published
• View Publication
• BIB
The classes of tree permutations and forest permutations were defined by Acan and Hitczenko (2016). We study random permutations of a given length from these classes, and in particular the number of occurrences of a fixed pattern in one of these random permutations. The main results show that the distributions of these numbers are asymptotically normal.
The proof uses representations of random tree and forest permutations that enable us to express the number of occurrences of a pattern by a type of $U$-statistics; we then use general limit theorems for the latter.
Frames for Graph Signals on the Symmetric Group: A Representation Theoretic Approach
Published
• View Publication
• BIB
An important problem in the field of graph signal processing is developing appropriate overcomplete dictionaries for signals defined on different families of graphs. The Cayley graph of the symmetric group has natural applications in ranked data analysis, as its vertices represent permutations, while the generating set formalizes a notion of distance between rankings. Taking advantage of the rich theory of representations of the symmetric group, we study a particular class of frames, called Frobenius-Schur frames, where every atom belongs to the coefficient space of only one irreducible representation of the symmetric group. We provide a characterization for all Frobenius-Schur frames on the group algebra of the symmetric group which are "compatible" with respect to the generating set. Such frames have been previously studied for the permutahedron, the Cayley graph of the symmetric group with the generating set of adjacent transpositions, and have proved to be capable of producing meaningful interpretation of the ranked data set via the analysis coefficients. Our results generalize frame constructions for the permutahedron to any inverse-closed generating set.
An attack on Zarankiewicz's problem through SAT solving
The Zarankiewicz function gives, for a chosen matrix and minor size, the maximum number of ones in a binary matrix not containing an all-one minor. Tables of this function for small arguments have been compiled, but errors are known in them. We both correct the errors and extend these tables in the case of square minors by expressing the problem of finding the value at a specific point as a series of Boolean satisfiability problems, exploiting permutation symmetries for a significant reduction in the work needed. When the ambient matrix is also square we also give all non-isomorphic examples of matrices attaining the maximum, up to the aforementioned symmetries; it is found that most maximal matrices have some form of symmetry.
Multivariate permutation entropy, a Cartesian graph product approach
Published
• View Publication
• BIB
Entropy metrics are nonlinear measures to quantify the complexity of time series. Among them, permutation entropy is a common metric due to its robustness and fast computation. Multivariate entropy metrics techniques are needed to analyse data consisting of more than one time series. To this end, we present a multivariate permutation entropy, $MPE_G$, using a graph-based approach.
Given a multivariate signal, the algorithm $MPE_G$ involves two main steps: 1) we construct an underlying graph G as the Cartesian product of two graphs G1 and G2, where G1 preserves temporal information of each times series together with G2 that models the relations between different channels, and 2) we consider the multivariate signal as samples defined on the regular graph G and apply the recently introduced permutation entropy for graphs.
Our graph-based approach gives the flexibility to consider diverse types of cross channel relationships and signals, and it overcomes with the limitations of current multivariate permutation entropy.
Permutation rotation-symmetric S-boxes, liftings and affine equivalence
In this paper, we investigate permutation rotation-symmetric (shift-invariant) vectorial Boolean functions on $n$ bits that are liftings from Boolean functions on $k$ bits, for $k\leq n$. These functions generalize the well-known map used in the current Keccak hash function, which is generated via the Boolean function on $3$ variables, $x_1+(x_2+1)x_3$. We provide some general constructions, and also study the affine equivalence between rotation-symmetric S-boxes and describe the corresponding relationship between the Boolean function they are associated with.
MaxCut on Permutation Graphs is NP-complete
Published
• View Publication
• BIB
In this paper, we prove that the MaxCut problem is NP-complete on permutation graphs, settling a long-standing open problem that appeared in the 1985 column of the "Ongoing Guide to NP-completeness" by David S. Johnson.
Alternating runs of permutations and the central factorial numbers
Let R(n,k) be the number of permutations of $\{1,2,\ldots,n\}$ with k alternating runs. In this paper, we establish the relationships between R(n,k) and the central factorial numbers of even indices as well as the number of signed permutations with a given number of alternating runs and the central factorial numbers of odd indices. The explicit formulas of the peak and left peak polynomials for permutations and the derivative polynomials of the tangent and secant functions are also established.
Automorphisms of Set Families and of Families of Cliques in an Interval Graph in FPT Time
We consider the following problem closely related to graph isomorphism. In a simplified version, the task is to compute the automorphism group of a given set family (or a hypergraph), that is, the group of all automorphisms of the given sets which are compatible with some permutation of their elements. In a general setting, the set family in question is a collection of cliques (called marked cliques) of a given interval graph, and the task is to compute the group of all permutations of the cliques which result from some automorpism of the underlying interval graph. This problem is obviously at least as hard as the graph isomorphism (GI-hard) already in the simplified version -- consider the set family of edges of a graph, and we give an FPT-time algorithm parameterized by the maximum number of sets in the family which are incomparable by inclusion (its antichain size). To our best knowledge, the general version of the problem has not been formulated in the literature so far. The problem has been inspired by the research of special cases of the isomorphism problem of chordal graphs; namely, the simplified set-family version is the core of our FPT algorithm for the isomorphism of so-called Sd-graphs [MFCS 2021], and the general version extends and improves a cumbersome technical step in our FPT algorithm for the isomorphism of chordal graphs of bounded leafage [WALCOM 2022]. The new algorithm combines two classical tools -- PQ-trees of interval graphs and Babai's tower-of-groups, in a nontrivial way.
Baxter $d$-permutations and other pattern avoiding classes
Published in Journal of Integer Sequences, Vol. 25: Article 22.8.3, 2022
• Search Publication
A permutation of size $n$ can be identified to its diagram in which there is exactly one point per row and column in the grid $[n]^2$. In this paper we consider multidimensional permutations (or $d$-permutations), which are identified to their diagrams on the grid $[n]^d$ in which there is exactly one point per hyperplane $x_i=j$ for $i\in[d]$ and $j\in[n]$. We first investigate exhaustively all small pattern avoiding classes. We provide some bijection to enumerate some of these classes and we propose some conjectures for others. We then give a generalization of well-studied Baxter permutations into this multidimensional setting. In addition, we provide a vincular pattern avoidance characterization of Baxter $d$-permutations.
Virtual permutations and polymorhisms
There is a natural map from a symmetric group $S_n$ to a smaller symmetric group $S_{n-1}$, we write a decomposition of a permutation into a product of disjoint cycles and remove the element $n$ from this expression. For this reason there exists the inverse limit $\mathfrak{S}$ of sets $S_n$. We equip $S_n$ with the uniform distribution (or more generally with an Ewens distribution) and get a structure of a measure space on $\mathfrak{S}$ (it is called 'virtual permutations' or 'Chinese restaurant process'), a double $S_\infty\times S_\infty $ of an infinite symmetric group acts on $\mathfrak{S}$ by left and right 'multiplications'. We discuss the closure of $S_\infty\times S_\infty $ in the semigroup of polymorphisms (spreading maps with spreaded Radon--Nikodym derivatives) of $\mathfrak{S}$. We get formulas for some polymorphisms, in particular for the center of the closure. Expressions are sums of multiple convolutions of Dirichlet distributions, summation sets are certain collections of dessins d'enfant.
Bounds on Determinantal Complexity of Two Types of Generalized Permanents
Published
• View Publication
• BIB
We define two new families of polynomials that generalize permanents and prove upper and lower bounds on their determinantal complexities comparable to the known bounds for permanents. One of these families is obtained by replacing permutations by signed permutations, and the other by replacing permutations by surjective functions with preimages of prescribed sizes.
New approaches to $\mathfrak{gl}_N$ weight system
Published
• View Publication
• BIB
The present paper has been motivated by an aspiration for understanding the weight system corresponding to the Lie algebra $\mathfrak{gl}_N$. The straightforward approach to computing the values of a Lie algebra weight system on a general chord diagram amounts to elaborating calculations in the noncommutative universal enveloping algebra, in spite of the fact that the result belongs to the center of the latter. The first approach is based on a suggestion due to M. Kazarian to define an invariant of permutations taking values in the center of the universal enveloping algebra of $\mathfrak{gl}_N$. The restriction of this invariant to involutions without fixed points (such an involution determines a chord diagram) coincides with the value of the $\mathfrak{gl}_N$ -weight system on this chord diagram. We describe the recursion allowing one to compute the $\mathfrak{gl}_N$ -invariant of permutations and demonstrate how it works in a number of examples. The second approach is based on the Harish-Chandra isomorphism for the Lie algebras $\mathfrak{gl}_N$. This isomorphism identifies the center of the universal enveloping algebra $\mathfrak{gl}_N$ with the ring $Λ^*(N)$ of shifted symmetric polynomials in $N$ variables. The Harish-Chandra projection can be applied separately for each monomial in the defining polynomial of the weight system; as a result, the main body of computations can be done in a commutative algebra, rather than noncommutative one.
Lattice points in slices of prisms
Published in Can. J. Math.-J. Can. Math. 77 (2025) 1013-1040
• View Publication
• BIB
We conduct a systematic study of the Ehrhart theory of certain slices of rectangular prisms. Our polytopes are generalizations of the hypersimplex and are contained in the larger class of polypositroids introduced by Lam and Postnikov; moreover, they coincide with polymatroids satisfying the strong exchange property up to an affinity. We give a combinatorial formula for all the Ehrhart coefficients in terms of the number of weighted permutations satisfying certain compatibility properties. This result proves that all these polytopes are Ehrhart positive. Additionally, via an extension of a result by Early and Kim, we give a combinatorial interpretation for all the coefficients of the $h^*$-polynomial. All of our results provide a combinatorial understanding of the Hilbert functions and the $h$-vectors of all algebras of Veronese type, a problem that had remained elusive up to this point. A variety of applications are discussed, including expressions for the volumes of these slices of prisms as weighted combinations of Eulerian numbers; some extensions of Laplace's result on the combinatorial interpretation of the volume of the hypersimplex; a multivariate generalization of the flag Eulerian numbers and refinements; and a short proof of the Ehrhart positivity of the independence polytope of all uniform matroids.
Decomposing random permutations into order-isomorphic subpermutations
Published
• View Publication
• BIB
Two permutations $s$ and $t$ are $k$-similar if they can be decomposed into subpermutations $s^1, \ldots, s^k$ and $t^1, \ldots, t^k$ such that $s^i$ is order-isomorphic to $t^i$ for all $i$. Recently, Dudek, Grytczuk and Ruciński posed the problem of determining the minimum $k$ for which two permutations chosen independently and uniformly at random are $k$-similar. We show that two such permutations are $O(n^{1/3}\log^{11/6}(n))$-similar with high probability, which is tight up to a polylogarithmic factor. Our result also generalises to simultaneous decompositions of multiple permutations.
An inverse Grassmannian Littlewood-Richardson rule and extensions
Published
• View Publication
• BIB
Chow rings of flag varieties have bases of Schubert cycles $σ_u$, indexed by permutations. A major problem of algebraic combinatorics is to give a positive combinatorial formula for the structure constants of this basis. The celebrated Littlewood-Richardson rules solve this problem for special products $σ_u \cdot σ_v$ where $u$ and $v$ are $p$-Grassmannian permutations.
Building on work of Wyser, we introduce backstable clans to prove such a rule for the problem of computing the product $σ_u \cdot σ_v$ when $u$ is $p$-inverse Grassmannian and $v$ is $q$-inverse Grassmannian. By establishing several new families of linear relations among structure constants, we further extend this result to obtain a positive combinatorial rule for $σ_u \cdot σ_v$ in the case that $u$ is covered in weak Bruhat order by a $p$-inverse Grassmannian permutation and $v$ is a $q$-inverse Grassmannian permutation.
Notes on finite totally $2$-closed permutation groups
Let $N$ be a normal subgroup of a finite group $G$. For a faithful $N$-set $Δ$, applying the university embedding theorem one can construct a faithful $G$-set $Ω$. In this short note, it is proved that if the $2$-closure of $N$ in $Ω$ is equal to $N$, then the $2$-closure of $N$ in $Δ$ is also equal to $N$; in addition, it is proved that any abelian normal subgroup of a finite totally $2$-closed group is cyclic; finally, it is proved that if a finite nilpotent group is a direct of two nilpotent subgroups where the two factors have coprime orders and both of them are totally 2-closed then G is totally $2$-closed. As corollaries, several well-known results on finite totally 2-closed groups are reproved in more simple ways.
Positivity of Narayana polynomials and Eulerian polynomials
Published
• View Publication
• BIB
Gamma-positivity appears frequently in finite geometries, combinatorics and number theory. Motivated by the recent work of Sagan and Tirrell (Adv. Math., 374 (2020), 107387), we study the relationships between gamma-positivity and alternating gamma-positivity. As applications, we derive several alternatingly gamma-positive polynomials related to Narayana polynomials and Eulerian polynomials. In particular, we show the alternating gamma-positivity and Hurwitz stability of a combination of the modified Narayana polynomials of types A and B. By using colored $2\times n$ Young diagrams, we present a unified combinatorial interpretations of three identities involving Narayana numbers of type B. A general result of this paper is that every gamma-positive polynomial is also alternatingly semi-gamma-positive. At the end of this paper, we pose two conjectures, one concerns the Boros-Moll polynomials and the other concerns the enumerators of permutations by descents and excedances.
Equivariant log-concavity of graph matchings
Published
• View Publication
• BIB
For any graph, we show that the graded permutation representation of the graph automorphism group given by matchings is strongly equivariantly log-concave. The proof gives a family of equivariant injections inspired by a combinatorial map of Kratthenthaler and reduces to the hard Lefschetz theorem.
Non-standard linear recurring sequence subgroups and automorphisms of irreducible cyclic codes
Published
• View Publication
• BIB
Let \(\cU\) be the multiplicative group of order~\(n\) in the splitting field \(\bbF_{q^m}\) of \(x^n-1\) over the finite field \(\bbF_q\). Any map of the form \(x\rightarrow cx^t\) with \(c\in \cU\) and \(t=q^i\), \(0\leq i<m\), is \(\bbF_q\)-linear on~\(\bbF_{q^m}\) and fixes \(\cU\) set-wise; maps of this type will be called {\em standard\/}. Occasionally there are other, {\em non-standard\/} \(\bbF_q\)-linear maps on~\(\bbF_{q^m}\) fixing \(\cU\) set-wise, and in that case we say that the pair \((n, q)\) is {\em non-standard\/}. We show that an irreducible cyclic code of length~\(n\) over \(\bbF_q\) has ``extra'' permutation automorphisms (others than the {\em standard\/} permutations generated by the cyclic shift and the Frobenius mapping that every such code has) precisely when the pair \((n, q)\) is non-standard; we refer to such irreducible cyclic codes as {\em non-standard\/} or {\em NSIC-codes\/}. In addition, we relate these concepts to that of a non-standard linear recurring sequence subgroup as investigated in a sequence of papers by Brison and Nogueira. We present several families of NSIC-codes, and two constructions called ``lifting'' and ``extension'' to create new NSIC-codes from existing ones. We show that all NSIC-codes of dimension two can be obtained in this way, thus completing the classification for this case started by Brison and Nogueira.
Diameter of the commutation classes graph of a permutation
Published in European Journal of Combinatorics, 103 (2022), 103525
• View Publication
• BIB
We define a statistic on the graph of commutation classes of a permutation of the symmetric group which is used to show that these graphs are equipped with a ranked poset structure, with a minimum and maximum. This characterization also allows us to compute the diameter of the commutation graph for any permutation, from which the results for the longest permutation and for fully commutative permutations are recovered.