permutation ↗ reference
4945 papers tagged with this keyword
Rainbow cycles in flip graphs
Published
• View Publication
• BIB
The flip graph of triangulations has as vertices all triangulations of a convex $n$-gon, and an edge between any two triangulations that differ in exactly one edge. An $r$-rainbow cycle in this graph is a cycle in which every inner edge of the triangulation appears exactly $r$ times. This notion of a rainbow cycle extends in a natural way to other flip graphs. In this paper we investigate the existence of $r$-rainbow cycles for three different flip graphs on classes of geometric objects: the aforementioned flip graph of triangulations of a convex $n$-gon, the flip graph of plane trees on an arbitrary set of $n$ points, and the flip graph of non-crossing perfect matchings on a set of $n$ points in convex position. In addition, we consider two flip graphs on classes of non-geometric objects: the flip graph of permutations of $\{1,2,\dots,n\}$ and the flip graph of $k$-element subsets of $\{1,2,\dots,n\}$. In each of the five settings, we prove the existence and non-existence of rainbow cycles for different values of $r$, $n$ and~$k$.
Convex and weakly convex domination in prism graphs
Published
• View Publication
• BIB
For a given graph $G=(V,E)$ and permutation $π:V\mapsto V$ the prism $πG$ of $G$ is defined as follows: $V(πG)=V(G)\cup V(G')$, where $G'$ is a copy of $G$, and $E(πG)=E(G)\cup E(G')\cup M_π$, where $M_π=\{uv': u\in V(G), v=π(u)\}$ and $v'$ denotes the copy of $v$ in $G'$.
We study and compare the properties of convex and weakly convex dominating sets in prism graphs. In particular, we characterize prism $γ_{con}$-fixers and -doublers. We also show that the differences $γ_{wcon}(G)-γ_{wcon}(πG)$ and $γ_{wcon}(πG) - 2γ_{wcon}(G)$ can be arbitrarily large, and that the convex domination number of $πG$ cannot be bounded in terms of $γ_{con}(G).$
Transversals of Longest Paths
Published
• View Publication
• BIB
Let $\lpt(G)$ be the minimum cardinality of a set of vertices that intersects all longest paths in a graph $G$. Let $ω(G)$ be the size of a maximum clique in $G$, and $\tw(G)$ be the treewidth of $G$. We prove that $ \lpt(G) \leq \max\{1,ω(G)-2\}$ when $G$ is a connected chordal graph; that $\lpt(G) =1$ when $G$ is a connected bipartite permutation graph or a connected full substar graph; and that $\lpt(G) \leq \tw(G)$ for any connected graph $G$.
Cyclotomic shuffles
Published
• View Publication
• BIB
Analogues of 1-shuffle elements for complex reflection groups of type $G(m,1,n)$ are introduced. A geometric interpretation for $G(m,1,n)$ in terms of rotational permutations of polygonal cards is given. We compute the eigenvalues, and their multiplicities, of the 1-shuffle element in the algebra of the group $G(m,1,n)$. Considering shuffling as a random walk on the group $G(m,1,n)$, we estimate the rate of convergence to randomness of the corresponding Markov chain. We report on the spectrum of the 1-shuffle analogue in the cyclotomic Hecke algebra $H(m,1,n)$ for $m=2$ and small $n$.
Permutation Modules associated to the Hyperoctahedron and Group Actions
We investigate the permutation modules associated to the set of $k$-dimensional faces of the hyperoctahedron in dimension $n$, denoted $H^{n}.$ For any $k\leq n$ such a module can be defined over an arbitrary field $F$, it is called a face module of $H^{n}$ over $F.$ We describe a spectral decomposition of such face modules into submodules and show that these submodules are irreducible under the hyperoctahedral group $B_{n}.$ The same method can be used to describe the exact relationship between the face modules in any two dimensions $0\leq t\leq k\leq n.$ Applications of this technique include a rank formula for the rank of the incidence matrix of $t$-dimensional versus $k$-dimensional faces of $H^{n}$ and a characterization of $(t,k,\ell)$-designs on $H^{n}.$ We also prove an orbit theorem for subgroups of the hyperoctahedral group on the set of faces of $H^{n}.$ The decomposition method is elementary, mostly characteristic free and does not involve the representation theory of automorphism groups. It is therefore quite general and can be used to decompose permutation modules associated to other geometries.
Permuted composition tableaux, 0-Hecke algebra and labeled binary trees
Published in J. Combin. Theory Ser. A 161: 420--452 (2019)
• View Publication
• BIB
We introduce a generalization of semistandard composition tableaux called permuted composition tableaux. These tableaux are intimately related to permuted basement semistandard augmented fillings studied by Haglund, Mason and Remmel. Our primary motivation for studying permuted composition tableaux is to enumerate all possible ordered pairs of permutations $(σ_1,σ_2)$ that can be obtained by standardizing the entries in two adjacent columns of an arbitrary composition tableau. We refer to such pairs as compatible pairs. To study compatible pairs in depth, we define a $0$-Hecke action on permuted composition tableaux. This action naturally defines an equivalence relation on these tableaux. Certain distinguished representatives of the resulting equivalence classes in the special case of two-columned tableaux are in bijection with compatible pairs. We provide a bijection between two-columned tableaux and labeled binary trees. This bijection maps a quadruple of descent statistics for 2-columned tableaux to left and right ascent-descent statistics on labeled binary trees introduced by Gessel, and we use it to prove that the number of compatible pairs is $(n+1)^{n-1}$.
On the Saxl graph of a permutation group
Published in Math. Proc. Camb. Phil. Soc. 168 (2020) 219-248
• View Publication
• BIB
Let $G$ be a permutation group on a set $Ω$. A subset of $Ω$ is a base for $G$ if its pointwise stabiliser in $G$ is trivial. In this paper we introduce and study an associated graph $Σ(G)$, which we call the Saxl graph of $G$. The vertices of $Σ(G)$ are the points of $Ω$, and two vertices are adjacent if they form a base for $G$. This graph encodes some interesting properties of the permutation group. We investigate the connectivity of $Σ(G)$ for a finite transitive group $G$, as well as its diameter, Hamiltonicity, clique and independence numbers, and we present several open problems. For instance, we conjecture that if $G$ is a primitive group with a base of size $2$, then the diameter of $Σ(G)$ is at most $2$. Using a probabilistic approach, we establish the conjecture for some families of almost simple groups. For example, the conjecture holds when $G=S_n$ or $A_n$ (with $n>12$) and the point stabiliser of $G$ is a primitive subgroup. In contrast, we can construct imprimitive groups whose Saxl graph is disconnected with arbitrarily many connected components, or connected with arbitrarily large diameter.
Operads in algebraic combinatorics
The main ideas developed in this habilitation thesis consist in endowing combinatorial objects (words, permutations, trees, Young tableaux, etc.) with operations in order to construct algebraic structures. This process allows, by studying algebraically the structures thus obtained (changes of bases, generating sets, presentations, morphisms, representations), to collect combinatorial information about the underlying objects. The algebraic structures the most encountered here are magmas, posets, associative algebras, dendriform algebras, Hopf bialgebras, operads, and pros. This work explores the aforementioned research direction and provides many constructions having the particularity to build algebraic structures on combinatorial objects. We develop for instance a functor from nonsymmetric colored operads to nonsymmetric operads, from monoids to operads, from unitary magmas to nonsymmetric operads, from finite posets to nonsymmetric operads, from stiff pros to Hopf bialgebras, and from precompositions to nonsymmetric operads. These constructions bring alternative ways to describe already known structures and provide new ones, as for instance, some of the deformations of the noncommutative Faà di Bruno Hopf bialgebra of Foissy and a generalization of the dendriform operad of Loday. We also use algebraic structures to obtain enumerative results. In particular, nonsymmetric colored operads are promising devices to define formal series generalizing the usual ones. These series come with several products (for instance a pre-Lie product, an associative product, and their Kleene stars) enriching the usual ones on classical power series. This provides a framework and a toolbox to strike combinatorial questions in an original way. The first two chapters pose the elementary notions of combinatorics and algebraic combinatorics used here. The last ten chapters contain our original research.
Symmetric, Hankel-symmetric, and Centrosymmetric Doubly Stochastic Matrices
Published
• View Publication
• BIB
We investigate convex polytopes of doubly stochastic matrices having special structures: symmetric, Hankel symmetric, centrosymmetric, and both symmetric and Hankel symmetric. We determine dimensions of these polytopes and classify their extreme points. We also determine a basis of the real vector spaces generated by permutation matrices with these special structures.
On permutation characters and Sylow $p$-subgroups of $\mathfrak{S}_n$
Published
• View Publication
• BIB
Let $p$ be an odd prime and let $n$ be a natural number. In this article we determine the irreducible constituents of the permutation module induced by the action of the symmetric group $\mathfrak{S}_n$ on the cosets of a Sylow $p$-subgroup $P_n$. As a consequence, we determine the number of irreducible representations of the corresponding Hecke algebra $\mathcal{H}(\mathfrak{S}_n, P_n, 1_{P_n})$.
Median inverse problem and approximating the number of $k$-median inverses of a permutation
We introduce the "Median Inverse Problem" for metric spaces. In particular, having a permutation $π$ in the symmetric group $S_n$ (endowed with the breakpoint distance), we study the set of all $k$-subsets $\{x_1,...,x_k\}\subset S_n$ for which $π$ is a breakpoint median. The set of all $k$-tuples $(x_1,...,x_k)$ with this property is called the $k$-median inverse of $π$. Finding an upper bound for the cardinality of this set, we provide an asymptotic upper bound for the probability that $π$ is a breakpoint median of $k$ permutations $ξ_1^{(n)},...,ξ_k^{(n)}$ chosen uniformly and independently at random from $S_n$.
Nonlocal Games and Quantum Permutation Groups
Published
• View Publication
• BIB
We present a strong connection between quantum information and quantum permutation groups. Specifically, we define a notion of quantum isomorphisms of graphs based on quantum automorphisms from the theory of quantum groups, and then show that this is equivalent to the previously defined notion of quantum isomorphism corresponding to perfect quantum strategies to the isomorphism game. Moreover, we show that two connected graphs $X$ and $Y$ are quantum isomorphic if and only if there exists $x \in V(X)$ and $y \in V(Y)$ that are in the same orbit of the quantum automorphism group of the disjoint union of $X$ and $Y$. This connection links quantum groups to the more concrete notion of nonlocal games and physically observable quantum behaviours. We exploit this link by using ideas and results from quantum information in order to prove new results about quantum automorphism groups, and about quantum permutation groups more generally. In particular, we show that asymptotically almost surely all graphs have trivial quantum automorphism group. Furthermore, we use examples of quantum isomorphic graphs from previous work to construct an infinite family of graphs which are quantum vertex transitive but fail to be vertex transitive, answering a question from the quantum group literature.
Our main tool for proving these results is the introduction of orbits and orbitals (orbits on ordered pairs) of quantum permutation groups. We show that the orbitals of a quantum permutation group form a coherent configuration/algebra, a notion from the field of algebraic graph theory. We then prove that the elements of this quantum orbital algebra are exactly the matrices that commute with the magic unitary defining the quantum group. We furthermore show that quantum isomorphic graphs admit an isomorphism of their quantum orbital algebras which maps the adjacency matrix of one graph to that of the other.
Combinatorial interpretations of the Kreweras triangle in terms of subset tuples
Published
• View Publication
• BIB
We show how the combinatorial interpretation of the normalized median Genocchi numbers in terms of multiset tuples, defined by Hetyei in his study of the alternation acyclic tournaments, is bijectively equivalent to previous models like the normalized Dumont permutations or the Dellac configurations, and we extend the interpretation to the Kreweras triangle.
A Polyhedral Proof of a Wreath Product Identity
Published
• View Publication
• BIB
In 2013, Beck and Braun proved and generalized multiple identities involving permutation statistics via discrete geometry. Namely, they recognized the identities as specializations of integer point transform identities for certain polyhedral cones. They extended many of their proof techniques to obtain identities involving wreath products, but some identities were resistant to their proof attempts. In this article, we provide a geometric justification of one of these wreath product identities, which was first established by Biagioli and Zeng.
Generalizing Gale's theorem on backward induction and domination of strategies
In 1953 Gale noticed that for every n-person game in extensive form with perfect information modeled by a rooted treesome special Nash equilibrium in pure strategies can be found by an algorithm of successive elimination of leaves, which is now called backward induction. He also noticed the same procedure, performed for the normal form of this game, turns into successive elimination of dominated strategies of the players that results in a single strategy profile (x_1,..., x_n), which is called a domination equilibrium (DE) and appears to be a Nash-equilibrium (NE) too. In other words, the game in normal form obtained from a positional game with perfect information is dominance-solvable (DS) and also Nash-solvable (NS). Yet, an arbitrary game in normal form may be not DS. We strengthen Gale's results as follows. Consider several successive eliminations of dominated strategies that begins with X = X_1 x ... x X_n and ends in X' = X'_1 x ... x X'_n. We will call X' a D-box of X. Our main (but obvious) lemma claims that for any i =1,..., n} and for any strategy x_i in X_i its projection to a D-box X' is dominated by a strategy x'_i in X'_i. It follows that any DE is an NE and, hence, DS implies NS. It is enough to apply the lemma in case when X' consists of a single strategy profile. The same lemma implies that the domination procedure is well-defined. A D-box X' is called terminal if it is domination-free, that is, it contains no pair of strategies such that one of them is dominated by the other. Any two terminal D-boxes X' and X" of X are equal. More precisely, there exist $n$ permutations π= (π_1, ..., π_n)$, with π_i : X_i to X_i for i in I, that transform X' into X", that is, π(X') = X" and the payoffs are respected. We also recall some published results on dominance-solvable game forms.
A Note on 3-free Permutations
Published in Electronic Journal of Combinatorial Number Theory, volume 17, #A55, 2017
• Search Publication
Let $θ(n)$ denote the number of permutations of $\{1,2,\ldots,n\}$ that do not contain a 3-term arithmetic progression as a subsequence. Such permutations are known as 3-free permutations. We present a dynamic programming algorithm to count all 3-free permutations of $\{1,2,\ldots,n\}$. We use the output to extend and correct enumerative results in the literature for $θ(n)$ from $n=20$ out to $n=90$ and use the new values to inductively improve existing bounds on $θ(n)$.
On a Greedy Algorithm to Construct Universal Cycles for Permutations
Published
• View Publication
• BIB
A universal cycle for permutations of length $n$ is a cyclic word or permutation, any factor of which is order-isomorphic to exactly one permutation of length $n$, and containing all permutations of length $n$ as factors. It is well known that universal cycles for permutations of length $n$ exist. However, all known ways to construct such cycles are rather complicated. For example, in the original paper establishing the existence of the universal cycles, constructing such a cycle involves finding an Eulerian cycle in a certain graph and then dealing with partially ordered sets.
In this paper, we offer a simple way to generate a universal cycle for permutations of length $n$, which is based on applying a greedy algorithm to a permutation of length $n-1$. We prove that this approach gives a unique universal cycle $Π_n$ for permutations, and we study properties of $Π_n$.
Restricted lonesum matrices
Lonesum matrices are matrices that are uniquely reconstructible from their row and column sum vectors. These matrices are enumerated by the poly-Bernoulli numbers that are related to the multiple zeta values and have a rich literature in number theory. Combinatorially, lonesum matrices are in bijection with many other combinatorial objects: several permutation classes, other matrix classes, acyclic orientations in graphs etc. Motivated of these facts, we study in this paper lonesum matrices with restriction on the number of columns and rows of the same type.
A structural characterisation of Av(1324) and new bounds on its growth rate
Published
• View Publication
• BIB
We establish an improved lower bound of 10.271 for the exponential growth rate of the class of permutations avoiding the pattern 1324, and an improved upper bound of 13.5. These results depend on a new exact structural characterisation of 1324-avoiders as a subclass of an infinite staircase grid class, together with precise asymptotics of a small domino subclass whose enumeration we relate to West-two-stack-sortable permutations and planar maps. The bounds are established by carefully combining copies of the dominoes in particular ways consistent with the structural characterisation. The lower bound depends on concentration results concerning the substructure of a typical domino, the determination of exactly when dominoes can be combined in the fewest distinct ways, and technical analysis of the resulting generating function.
On the Brownian separable permuton
Published in Combinatorics, Probability and Computing 29(2), 241-266 (2020)
• View Publication
• BIB
The Brownian separable permuton is a random probability measure on the unit square, which was introduced by Bassino, Bouvel, Féray, Gerin, Pierrot (2016) as the scaling limit of the diagram of the uniform separable permutation as size grows to infinity. We show that, almost surely, the permuton is the pushforward of the Lebesgue measure on the graph of a random measure-preserving function associated to a Brownian excursion whose strict local minima are decorated with i.i.d. signs. As a consequence, its support is almost surely totally disconnected, has Hausdorff dimension one, and enjoys self-similarity properties inherited from those of the Brownian excursion. The density function of the averaged permuton is computed and a connection with the shuffling of the Brownian continuum random tree is explored.