permutation ↗ reference
4849 papers tagged with this keyword
A product for permutation groups and topological groups
Published in Duke Math. J. 166, no. 15 (2017), 2965-2999
• View Publication
• BIB
We introduce a new product for permutation groups. It takes as input two permutation groups, M and N, and produces an infinite group M [X] N which carries many of the permutational properties of M. Under mild conditions on M and N the group M [X] N is simple.
As a permutational product, its most significant property is the following: M [X] N is primitive if and only if M is primitive but not regular, and N is transitive. Despite this remarkable similarity with the wreath product in product action, M [X] N and M Wr N are thoroughly dissimilar. The product provides a general way to build exotic examples of non-discrete, simple, totally disconnected, locally compact, compactly generated topological groups from discrete groups.
We use this to solve a well-known open problem from topological group theory, by obtaining the first construction of uncountably many pairwise non-isomorphic simple topological groups that are totally disconnected, locally compact, compactly generated and non-discrete. The groups we construct all contain the same compact open subgroup.
To build the product, we describe a group U(M,N) that acts on an edge-transitive biregular tree T. This group has a natural universal property and is analogous to the iconic universal group construction of M. Burger and S. Mozes for locally finite regular trees.
Graph structure of commuting functions
The problem of finding graph structure of functions commuting with a given function in terms of their functional graphs is considered. Structure of functional graphs of commuting functions is described. The problem is reduced to describing graph homomorphisms of weakly connected components of functional graphs. Four subcases with finite sets are considered: permutations commuting with permutation, permutations commuting with a function, functions commuting with a permutation and functions commuting with a function. For finite sets the number of functions commuting with a given one and functions with extremal properties are found. Results for finite sets are generalized to the case of arbitrary sets where there are additional types of functional graph components.
On the expected number of commutations in reduced words
We compute the expected number of commutations appearing in a reduced word for the longest element in the symmetric group. The asymptotic behavior of this value is analyzed and shown to approach the length of the permutation, meaning that nearly all positions in the reduced word are expected to support commutations. Finally, we calculate the asymptotic frequencies of commutations, consecutive noncommuting pairs, and long braid moves.
Permutations generated by a depth 2 and infinite stack in series are algebraic
Published
• View Publication
• BIB
We prove that the class of permutations generated by passing an ordered sequence $12\dots n$ through a stack of depth 2 and an infinite stack in series is in bijection with an unambiguous context-free language, where a permutation of length $n$ is encoded by a string of length $3n$. It follows that the sequence counting the number of permutations of each length has an algebraic generating function. We use the explicit context-free language to compute the generating function: \begin{align*} \sum_{n\geq 0} c_n t^n &= \frac{(1+q)\left(1+5q-q^2-q^3-(1-q)\sqrt{(1-q^2)(1-4q-q^2)}\right)}{8q} \end{align*} where $c_n$ is the number of permutations of length $n$ that can be generated, and $q \equiv q(t) = \frac{1-2t-\sqrt{1-4t}}{2t}$ is a simple variant of the Catalan generating function. This in turn implies that $c_n^{1/n} \to 2+2\sqrt{5}$.
Symmetric 1-Dependent Colorings of the Integers
Published
• View Publication
• BIB
In a recent paper by the same authors, we constructed a stationary 1-dependent 4-coloring of the integers that is invariant under permutations of the colors. This was the first stationary k-dependent q-coloring for any k and q. When the analogous construction is carried out for q>4 colors, the resulting process is not k-dependent for any k. We construct here a process that is symmetric in the colors and 1-dependent for every q>=4. The construction uses a recursion involving Chebyshev polynomials evaluated at $\sqrt{q}/2$.
Combinatorial Realization of the Hopf Algebra of Sashes
Published
• View Publication
• BIB
A general lattice theoretic construction of Reading constructs Hopf subalgebras of the Malvenuto-Reutenauer Hopf algebra (MR) of permutations. The products and coproducts of these Hopf subalgebras are defined extrinsically in terms of the embedding in MR. The goal of this paper is to find an intrinsic combinatorial description of a particular one of these Hopf subalgebras. This Hopf algebra has a natural basis given by permutations that we call Pell permutations. The Pell permutations are in bijection with combinatorial objects that we call sashes, that is, tilings of a 1 by n rectangle with three types of tiles: black 1 by 1 squares, white 1 by 1 squares, and white 1 by 2 rectangles. The bijection induces a Hopf algebra structure on sashes. We describe the product and coproduct in terms of sashes, and the natural partial order on sashes. We also describe the dual coproduct and dual product of the dual Hopf algebra of sashes.
Automorphism Groups of Geometrically Represented Graphs
We describe a technique to determine the automorphism group of a geometrically represented graph, by understanding the structure of the induced action on all geometric representations. Using this, we characterize automorphism groups of interval, permutation and circle graphs. We combine techniques from group theory (products, homomorphisms, actions) with data structures from computer science (PQ-trees, split trees, modular trees) that encode all geometric representations.
We prove that interval graphs have the same automorphism groups as trees, and for a given interval graph, we construct a tree with the same automorphism group which answers a question of Hanlon [Trans. Amer. Math. Soc 272(2), 1982]. For permutation and circle graphs, we give an inductive characterization by semidirect and wreath products. We also prove that every abstract group can be realized by the automorphism group of a comparability graph/poset of the dimension at most four.
The permutation classes Av(1234,2341) and Av(1243,2314)
Published in Australasian J. Combin., 64(1):3-20, 2016
• Search Publication
We investigate the structure of the two permutation classes defined by the sets of forbidden patterns {1234,2341} and {1243,2314}. By considering how the Hasse graphs of permutations in these classes can be built from a sequence of rooted source graphs, we determine their algebraic generating functions. Our approach is similar to that of "adding a slice", used previously to enumerate various classes of polyominoes and other combinatorial structures. To solve the relevant functional equations, we make extensive use of the kernel method.
Heaps and Two Exponential Structures
Published
• View Publication
• BIB
Take ${\sf Q}=({\sf Q}_1,{\sf Q}_2,\ldots)$ to be an exponential structure and $M(n)$ to be the number of minimal elements of ${\sf Q}_n$ where $M(0)=1$. Then a sequence of numbers $\{r_n({\sf Q}_n)\}_{n\ge 1}$ is defined by the equation \begin{eqnarray*} \sum_{n\ge 1}r_n({\sf Q}_n)\frac{z^n}{n!\,M(n)}=-\log(\sum_{n\ge 0}(-1)^n\frac{z^n}{n!\,M(n)}). \end{eqnarray*} Let $\bar{\sf Q}_n$ denote the poset ${\sf Q}_n$ with a $\hat{0}$ adjoined and let $\hat{1}$ denote the unique maximal element in the poset ${\sf Q}_n$. Furthermore, let $μ_{{\sf Q}_n}$ be the Möbius function on the poset $\bar{\sf Q}_n$. Stanley proved that $r_n({\sf Q}_n)=(-1)^nμ_{{\sf Q}_n}(\hat{0},\hat{1})$. This implies that the numbers $r_n({\sf Q}_n)$ are integers. In this paper, we study the cases ${\sf Q}_n=Π_n^{(r)}$ and ${\sf Q}_n={\sf Q}_n^{(r)}$ where $Π_n^{(r)}$ and ${\sf Q}_n^{(r)}$ are posets, respectively, of set partitions of $[rn]$ whose block sizes are divisible by $r$ and of $r$-partitions of $[n]$. In both cases we prove that $r_n(Π_n^{(r)})$ and $r_n({\sf Q}_n^{(r)})$ enumerate the pyramids by applying the Cartier-Foata monoid identity and further prove that $r_n(Π_n^{(r)})$ is the generalized Euler number $E_{rn-1}$ and that $r_n({\sf Q}_n^{(2)})$ is the number of complete non-ambiguous trees of size $2n-1$ by bijections. This gives a new proof of Welker's theorem that $r_n(Π_n^{(r)})=E_{rn-1}$ and implies the construction of $r$-dimensional complete non-ambiguous trees. As a bonus of applying the theory of heaps, we establish a bijection between the set of complete non-ambiguous forests and the set of pairs of permutations with no common rise. This answers an open question raised by Aval {\it et al.}.
On tight bounds for binary frameproof codes
Published
• View Publication
• BIB
In this paper, we study $w$-frameproof codes, which are equivalent to $\{1,w\}$-separating hash families. Our main results concern binary codes, which are defined over an alphabet of two symbols. For all $w \geq 3$, and for $w+1 \leq N \leq 3w$, we show that an $SHF(N; n,2, \{1,w \})$ exists only if $n \leq N$, and an $SHF(N; N,2, \{1,w \})$ must be a permutation matrix of degree $N$.
Mixed volumes of hypersimplices
Published
• View Publication
• BIB
In this paper we consider mixed volumes of combinations of hypersimplices. These numbers, called "mixed Eulerian numbers", were first considered by A. Postnikov and were shown to satisfy many properties related to Eulerian numbers, Catalan numbers, binomial coefficients, etc. We give a general combinatorial interpretation for mixed Eulerian numbers and prove the above properties combinatorially. In particular, we show that each mixed Eulerian number enumerates a certain set of permutations in $S_n$. We also prove several new properties of mixed Eulerian numbers using our methods. Finally, we consider a type $B$ analogue of mixed Eulerian numbers and give an analogous combinatorial interpretation for these numbers.
Pattern-avoiding permutations and Brownian excursion Part I: Shapes and fluctuations
Published
• View Publication
• BIB
Permutations that avoid given patterns are among the most classical objects in combinatorics and have strong connections to many fields of mathematics, computer science and biology. In this paper we study the scaling limits of a random permutation avoiding a pattern of length 3 and their relations to Brownian excursion. Exploring this connection to Brownian excursion allows us to strengthen the recent results of Madras and Pehlivan, and Miner and Pak as well as to understand many of the interesting phenomena that had previously gone unexplained.
Bruhat Interval Polytopes
Published
• View Publication
• BIB
Let u and v be permutations on n letters, with u <= v in Bruhat order. A Bruhat interval polytope Q_{u,v} is the convex hull of all permutation vectors z = (z(1), z(2),...,z(n)) with u <= z <= v. Note that when u=e and v=w_0 are the shortest and longest elements of the symmetric group, Q_{e,w_0} is the classical permutohedron. Bruhat interval polytopes were studied recently by Kodama and the second author, in the context of the Toda lattice and the moment map on the flag variety.
In this paper we study combinatorial aspects of Bruhat interval polytopes. For example, we give an inequality description and a dimension formula for Bruhat interval polytopes, and prove that every face of a Bruhat interval polytope is a Bruhat interval polytope. A key tool in the proof of the latter statement is a generalization of the well-known lifting property for Coxeter groups. Motivated by the relationship between the lifting property and R-polynomials, we also give a generalization of the standard recurrence for R-polynomials. Finally, we define a more general class of polytopes called Bruhat interval polytopes for G/P, which are moment map images of (closures of) totally positive cells in the non-negative part of G/P, and are a special class of Coxeter matroid polytopes. Using tools from total positivity and the Gelfand-Serganova stratification, we show that the face of any Bruhat interval polytope for G/P is again a Bruhat interval polytope for G/P.
On the longest k-alternating subsequence
Published
• View Publication
• BIB
We show that the longest k-alternating substring of a random permutation has length asymptotic to 2 (n-k) / 3.
On the geometry of cyclic lattices
Published in Discrete and Computational Geometry, vol. 52 no. 2 (2014), pg. 240--259
• View Publication
• BIB
Cyclic lattices are sublattices of $\mathbb Z^N$ that are preserved under the rotational shift operator. Cyclic lattices were introduced by D.~Micciancio and their properties were studied in the recent years by several authors due to their importance in cryptography. In particular, Peikert and Rosen showed that on cyclic lattices in prime dimensions, the shortest independent vectors problem SIVP reduces to the shortest vector problem SVP with a particularly small loss in approximation factor, as compared to general lattices. In this paper, we further investigate geometric properties of cyclic lattices. Our main result is a counting estimate for the number of well-rounded cyclic lattices, indicating that well-rounded lattices are more common among cyclic lattices than generically. We also show that SVP is equivalent to SIVP on a positive proportion of Minkowskian well-rounded cyclic lattices in every dimension. As an example, we demonstrate an explicit construction of a family of such lattices on which this equivalence holds. To conclude, we introduce a class of sublattices of $\mathbb Z^N$ closed under the action of subgroups of the permutation group $S_N$, which are a natural generalization of cyclic lattices, and show that our results extend to all such lattices closed under the action of any $N$-cycle.
On random trees obtained from permutation graphs
Published
• View Publication
• BIB
A permutation $\boldsymbol w$ gives rise to a graph $G_{\boldsymbol w}$; the vertices of $G_{\boldsymbol w}$ are the letters in the permutation and the edges of $G_{\boldsymbol w}$ are the inversions of $\boldsymbol w$. We find that the number of trees among permutation graphs with $n$ vertices is $2^{n-2}$ for $n\ge 2$. We then study $T_n$, a uniformly random tree from this set of trees. In particular, we study the number of vertices of a given degree in $T_n$, the maximum degree in $T_n$, the diameter of $T_n$, and the domination number of $T_n$. Denoting the number of degree-$k$ vertices in $T_n$ by $D_k$, we find that $(D_1,\dots,D_m)$ converges to a normal distribution for any fixed $m$ as $n\to \infty$. The vertex domination number of $T_n$ is also asymptotically normally distributed as $n\to \infty$. The diameter of $T_n$ shifted by $-2$ is binomially distributed with parameters $n-3$ and $1/2$. Finally, we find the asymptotic distribution of the maximum degree in $T_n$, which is concentrated around $\log_2n$.
Ascent sequences avoiding pairs of patterns
Published
• View Publication
• BIB
Ascent sequences were introduced by Bousquet-Melou et al. in connection with (2+2)-avoiding posets and their pattern avoidance properties were first considered by Duncan and Steingrimsson. In this paper, we consider ascent sequences of length $n$ avoiding two patterns of length 3, and we determine an exact enumeration for 16 different pairs of patterns. Methods include simple recurrences, bijections to other combinatorial objects (including Dyck paths and pattern-avoiding permutations), and generating trees. We also provide an analogue of the Erdos-Szekeres Theorem to prove that any sufficiently long ascent sequence contains either many copies of the same number or a long increasing subsequence, with a precise bound.
Hadwiger number of graphs with small chordality
Published
• View Publication
• BIB
The Hadwiger number of a graph G is the largest integer h such that G has the complete graph K_h as a minor. We show that the problem of determining the Hadwiger number of a graph is NP-hard on co-bipartite graphs, but can be solved in polynomial time on cographs and on bipartite permutation graphs. We also consider a natural generalization of this problem that asks for the largest integer h such that G has a minor with h vertices and diameter at most $s$. We show that this problem can be solved in polynomial time on AT-free graphs when s>=2, but is NP-hard on chordal graphs for every fixed s>=2.
Permutations avoiding 1324 and patterns in Łukasiewicz paths
Published in J. London Math. Soc., 92(1):105-122, 2015
• View Publication
• BIB
The class Av(1324), of permutations avoiding the pattern 1324, is one of the simplest sets of combinatorial objects to define that has, thus far, failed to reveal its enumerative secrets. By considering certain large subsets of the class, which consist of permutations with a particularly regular structure, we prove that the growth rate of the class exceeds 9.81. This improves on a previous lower bound of 9.47. Central to our proof is an examination of the asymptotic distributions of certain substructures in the Hasse graphs of the permutations. In this context, we consider occurrences of patterns in Łukasiewicz paths and prove that in the limit they exhibit a concentrated Gaussian distribution.
Integer sequences and k-commuting permutations
Published in Integers 15, paper No. A46, (2015), 22 pp
• Search Publication
Let $β$ be any permutation on $n$ symbols and let $c(k, β)$ be the number of permutations that $k$-commute with $β$. The cycle type of a permutation $β$ is a vector $(c_1, \dots, c_n)$ such that $β$ has exactly $c_i$ cycles of length $i$ in its disjoint cycle factorization. In this article we obtain formulas for $c(k, β)$, for some cycle types. We also express these formulas in terms of integer sequences as given in "The On-line Encyclopedia of Integer Sequences" (OEIS). For some of these sequences we obtain either new interpretations or relationships with sequences in the OEIS database.