permutation ↗ reference
4849 papers tagged with this keyword
The Archimedean limit of random sorting networks
Published
• View Publication
• BIB
A sorting network (also known as a reduced decomposition of the reverse permutation), is a shortest path from $12 \cdots n$ to $n \cdots 21$ in the Cayley graph of the symmetric group $S_n$ generated by adjacent transpositions. We prove that in a uniform random $n$-element sorting network $σ^n$, all particle trajectories are close to sine curves with high probability. We also find the weak limit of the time-$t$ permutation matrix measures of $σ^n$. As a corollary of these results, we show that if $S_n$ is embedded into $\mathbb{R}^n$ via the map $τ\mapsto (τ(1), τ(2), \dots τ(n))$, then with high probability, the path $σ^n$ is close to a great circle on a particular $(n-2)$-dimensional sphere in $\mathbb{R}^n$. These results prove conjectures of Angel, Holroyd, Romik, and Virag.
Hypergeometry inspired by irrationality questions
Published in Kyushu J. Math. 73:1 (2019) 189-203
• View Publication
• BIB
We report new hypergeometric constructions of rational approximations to Catalan's constant, $\log2$, and $π^2$, their connection with already known ones, and underlying "permutation group" structures. Our principal arithmetic achievement is a new partial irrationality result for the values of Riemann's zeta function at odd integers.
The Poset of Mesh Patterns
Published
• View Publication
• BIB
We introduce the poset of mesh patterns, which generalises the permutation pattern poset. We fully classify the mesh patterns for which the interval [1^\emptyset,m] is non-pure, where 1^\emptyset is the unshaded singleton mesh pattern. We present some results on the Möbius function of the poset, and show that μ(1^\emptyset,m) is almost always zero. Finally, we introduce a class of disconnected and non-shellable intervals by generalising the direct product operation from permutations to mesh patterns.
Cambrian acyclic domains: counting $c$-singletons
We study the size of certain acyclic domains that arise from geometric and combinatorial constructions. These acyclic domains consist of all permutations visited by commuting equivalence classes of maximal reduced decompositions if we consider the symmetric group and, more generally, of all c-singletons of a Cambrian lattice associated to the weak order of a finite Coxeter group. For this reason, we call these sets Cambrian acyclic domains. Extending a closed formula of Galambos--Reiner for a particular acyclic domain called Fishburn's alternating scheme, we provide explicit formulae for the size of any Cambrian acyclic domain and characterize the Cambrian acyclic domains of minimum or maximum size.
Structure and Supersaturation for Intersecting Families
Published in Electronic Journal of Combinatorics 26(2) (2019), P2.34
• View Publication
• BIB
The extremal problems regarding the maximum possible size of intersecting families of various combinatorial objects have been extensively studied. In this paper, we investigate supersaturation extensions, which in this context ask for the minimum number of disjoint pairs that must appear in families larger than the extremal threshold. We study the minimum number of disjoint pairs in families of permutations and in $k$-uniform set families, and determine the structure of the optimal families. Our main tool is a removal lemma for disjoint pairs. We also determine the typical structure of $k$-uniform set families without matchings of size $s$ when $n \ge 2sk + 38s^4$, and show that almost all $k$-uniform intersecting families on vertex set $[n]$ are trivial when $n\ge (2+o(1))k$.
On the automorphism groups of distance-regular graphs and rank-4 primitive coherent configurations
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$. In 2014 Babai proved that the automorphism group of a strongly regular graph with $n$ vertices has minimal degree $\geq c n$, with known exceptions. Strongly regular graphs correspond to primitive coherent configurations of rank 3. We extend Babai's result to primitive coherent configurations of rank 4. We also show that the result extends to non-geometric distance-regular graphs of bounded diameter. The proofs combine structural and spectral methods.
When are permutation invariants Cohen-Macaulay over all fields?
Published in Alg. Number Th. 12 (2018) 1787-1821
• View Publication
• BIB
We prove that the polynomial invariants of a permutation group are Cohen-Macaulay for any choice of coefficient field if and only if the group is generated by transpositions, double transpositions, and 3-cycles. This unites and generalizes several previously known results. The "if" direction of the argument uses Stanley-Reisner theory and a recent result of Christian Lange in orbifold theory. The "only-if" direction uses a local-global result based on a theorem of Raynaud to reduce the problem to an analysis of inertia groups, and a combinatorial argument to identify inertia groups that obstruct Cohen-Macaulayness.
Resolving Two Conjectures on Staircase Encodings and Boundary Grids of $132$ and $123$-avoiding permutations
Published
• View Publication
• BIB
This paper analyzes relations between pattern avoidance of certain permutations and graphs on staircase grids and boundary grids, and proves two conjectures posed by Bean, Tannock, and Ulfarsson (2015). More specifically, this paper enumerates a certain family of staircase encodings and proves that the downcore graph, a certain graph established on the boundary grid, is pure if and only if the permutation corresponding to the boundary grid avoids the classical patterns 123 and 2143.
The existence of designs II
We generalise the existence of combinatorial designs to the setting of subset sums in lattices with coordinates indexed by labelled faces of simplicial complexes. This general framework includes the problem of decomposing hypergraphs with extra edge data, such as colours and orders, and so incorporates a wide range of variations on the basic design problem, notably Baranyai-type generalisations, such as resolvable hypergraph designs, large sets of hypergraph designs and decompositions of designs by designs. Our method also gives approximate counting results, which is new for many structures whose existence was previously known, such as high dimensional permutations or Sudoku squares.
Perfect shuffling by lazy swaps
Published
• View Publication
• BIB
We characterize the minimum-length sequences of independent lazy simple transpositions whose composition is a uniformly random permutation. For every reduced word of the reverse permutation there is exactly one valid way to assign probabilities to the transpositions. It is an open problem to determine the minimum length of such a sequence when the simplicity condition is dropped.
Permutation polynomials over $\mathbb{F}_{q^2}$ from rational functions
Let $μ_{q+1}$ denote the set of $(q+1)$-th roots of unity in $\mathbb{F}_{q^2 }$. We construct permutation polynomials over $\mathbb{F}_{q^2}$ by using rational functions of any degree that induce bijections either on $μ_{q+1}$ or between $μ_{q+1}$ and $\mathbb{F}_q \cup \{\infty\}$. In particular, we generalize results from Zieve.
Bases of the quantum matrix bialgebra and induced sign characters of the Hecke algebra
Published
• View Publication
• BIB
We combinatorially describe entries of the transition matrices which relate monomial bases of the zero-weight space of the quantum matrix bialgebra. This description leads to a combinatorial rule for evaluating induced sign characters of the type $A$ Hecke algebra $H_n(q)$ at all elements of the form $(1 + T_{s_{i_1}}) \cdots (1 + T_{s_{i_m}})$, including the Kazhdan-Lusztig basis elements indexed by $321$-hexagon-avoiding permutations. This result is the first subtraction-free rule for evaluating all elements of a basis of the $H_n(q)$-trace space at all elements of a basis of $H_n(q)$.
Permutation monoids and MB-homogeneity for graphs and relational structures
Published
• View Publication
• BIB
In this paper, we investigate the connection between infinite permutation monoids and bimorphism monoids of first-order structures. Taking our lead from the study of automorphism groups of structures as infinite permutation groups and the more recent developments in the field of homomorphism-homogeneous structures, we establish a series of results that underline this connection. Of particular interest is the idea of MB-homogeneity; a relational structure $\mathcal{M}$ is MB-homogeneous if every monomorphism between finite substructures of $\mathcal{M}$ extends to a bimorphism of $\mathcal{M}$. The results in question include a characterisation of closed permutation monoids, a Fraïssé-like theorem for MB-homogeneous structures, and the construction of $2^{\aleph_0}$ pairwise non-isomorphic countable MB-homogeneous graphs. We prove that any finite group arises as the automorphism group of some MB-homogeneous graph and use this to construct oligomorphic permutation monoids with any given finite group of units. We also consider MB-homogeneity for various well-known examples of homogeneous structures and in particular give a complete classification of countable homogeneous undirected graphs that are also MB-homogeneous.
Chow Rings of Vector Space Matroids
Published
• View Publication
• BIB
The Chow ring of a matroid (or more generally, atomic latice) is an invariant whose importance was demonstrated by Adiprasito, Huh and Katz, who used it to resolve the long-standing Heron-Rota-Welsh conjecture. Here, we make a detailed study of the Chow rings of uniform matroids and of matroids of finite vector spaces. In particular, we express the Hilbert series of such matroids in terms of permutation statistics; in the full rank case, our formula yields the maj-exc $q$-Eulerian polynomials of Shareshian and Wachs. We also provide a formula for the Charney-Davis quantities of such matroids, which can be expressed in terms of either determinants or $q$-secant numbers.
On a transformation of Riordan moment sequences
We define a transformation that associates certain exponential moment sequences with ordinary moment sequences in a natural way. The ingredients of this transformation are series reversion, the Sumudu transform (a variant of the Laplace transform), and the inverting of generating functions. This transformation also has a simple interpretation in terms of continued fractions. It associates lattice path objects with permutation objects, and in particular it associates the Narayana triangle with the Eulerian triangle.
Gamma-positivity and partial gamma-positivity of descent-type polynomials
Published
• View Publication
• BIB
In this paper, we study gamma-positivity of descent-type polynomials by introducing the change of context-free grammars method. We first present grammatical proofs of the gamma-positivity of the Eulerian polynomials, type B Eulerian polynomials, derangement polynomials, Narayana polynomials and type B Narayana polynomials. We then provide partial gamma-positive expansions for several multivariate polynomials associated to Stirling permutations, Legendre-Stirling permutations, Jacobi-Stirling permutations and type B derangements, and the recurrences for the partial gamma-coefficients of these expansions are also obtained. Moreover, we define variants of the Foata-Strehl group action which are used to give combinatorial interpretations for the coefficients of most of these partial gamma-positive expansions.
Fixing monotone Boolean networks asynchronously
Published
• View Publication
• BIB
The asynchronous automaton associated with a Boolean network $f:\{0,1\}^n\to\{0,1\}^n$ is considered in many applications. It is the finite deterministic automaton with set of states $\{0,1\}^n$, alphabet $\{1,\dots,n\}$, where the action of letter $i$ on a state $x$ consists in either switching the $i$th component if $f_i(x)\neq x_i$ or doing nothing otherwise. This action is extended to words in the natural way. We then say that a word $w$ fixes $f$ if, for all states $x$, the result of the action of $w$ on $x$ is a fixed point of $f$. In this paper, we ask for the existence of fixing words, and their minimal length. Firstly, our main results concern the minimal length of words that fix monotone networks. We prove that, for $n$ sufficiently large, there exists a monotone network $f$ with $n$ components such that any word fixing $f$ has length $Ω(n^2)$. For this first result we prove, using Baranyai's theorem, a property about shortest supersequences that could be of independent interest: there exists a set of permutations of $\{1,\dots,n\}$ of size $2^{o(n)}$, such that any sequence containing all these permutations as subsequences is of length $Ω(n^2)$. Conversely, we construct a word of length $O(n^3)$ that fixes all monotone networks with $n$ components. Secondly, we refine and extend our results to different classes of fixable networks, including networks with an acyclic interaction graph, increasing networks, conjunctive networks, monotone networks whose interaction graphs are contained in a given graph, and balanced networks.
Flip Graphs, Yoke Graphs and Diameter
Published in Séminaire Lotharingien de Combinatoire 79 (2020): B79f
• Search Publication
In this paper we introduce Yoke graphs, a family of flip graphs that generalizes several previously studied families of graphs: colored triangle free triangulations, arc permutations and caterpillars. Our main result is the computation of the diameter of an arbitrary Yoke graph.
Twists and Twistability
Published
• View Publication
• BIB
Metrically homogeneous graphs are connected graphs which, when endowed with the path metric, are homogeneous as metric spaces. In this paper we introduce the concept of twisted automorphisms, a notion of isomorphism up to a permutation of the language. We find all permutations of the language which are associated with twisted automorphisms of metrically homogeneous graphs. For each non-trivial permutation of this type we also characterize the class of metrically homogeneous graphs which allow a twisted isomorphism associated with that permutation. The permutations we find are, remarkably, precisely those found by Bannai and Bannai in an analogous result in the context of finite association schemes.
Completing the Structural Analysis of the 2x4 Permutation Classes
We study the structure and enumeration of the final two 2x4 permutation classes, completing a research program that has spanned almost two decades. For both classes, careful structural analysis produces a complicated functional equation. One of these equations is solved with the guess-and-check paradigm, while the other is solved with kernel method-like techniques and Gröbner basis calculations.