permutation ↗ reference
4849 papers tagged with this keyword
Forbidden patterns of graphs 12-representable by pattern-avoiding words
A graph $G = (\{1, 2, \ldots, n\}, E)$ is $12$-representable if there is a word $w$ over $\{1, 2, \ldots, n\}$ such that two vertices $i$ and $j$ with $i < j$ are adjacent if and only if every $j$ occurs before every $i$ in $w$. These graphs have been shown to be equivalent to the complements of simple-triangle graphs. This equivalence provides a characterization in terms of forbidden patterns in vertex orderings as well as a polynomial-time recognition algorithm. The class of $12$-representable graphs was introduced by Jones et al. (2015) as a variant of word-representable graphs. A general research direction for word-representable graphs suggested by Kitaev and Lozin (2015) is to study graphs representable by some specific types of words. For instance, Gao, Kitaev, and Zhang (2017) and Mandelshtam (2019) investigated word-representable graphs represented by pattern-avoiding words. Following this research direction, this paper studies $12$-representable graphs represented by words that avoid a pattern $p$. Such graphs are trivial when $p$ is of length $2$. When $p = 111$, $121$, $231$, and $321$, the classes of such graphs are equivalent to well-known classes, such as trivially perfect graphs and bipartite permutation graphs. For the cases where $p = 123$, $132$, and $211$, this paper provides forbidden pattern characterizations.
Asymptotics of Some Plancherel Averages via Polynomiality Results
Published in La Matematica 2 (2023), 668-691
• View Publication
• BIB
Consider Young diagrams of $n$ boxes distributed according to the Plancherel measure. So those diagrams could be the output of the RSK algorithm, when applied to random permutations of the set $\{1,\ldots,n\}$. Here we are interested in asymptotics, as $n\to \infty$, of expectations of certain functions of random Young diagrams, such as the number of bumping steps of the RSK algorithm that leads to that diagram, the side length of its Durfee square, or the logarithm of its probability. We can express these functions in terms of hook lengths or contents of the boxes of the diagram, which opens the door for application of known polynomiality results for Plancherel averages. We thus obtain representations of expectations as binomial convolutions, that can be further analyzed with the help of Rice's integral or Poisson generating functions. Among our results is a very explicit expression for the constant appearing in the almost equipartition property of the Plancherel measure.
Expected Number of Dice Rolls Until an Increasing Run of Three
A closed form is found for the expected number of rolls of a fair n-sided die until three consecutive increasing values are seen. The answer is rational, and the greatest common divisor of the numerator and denominator is given in terms of n.
As n goes to infinity, the probability generating function is found for the limiting case, which is also the exponential generating function for permutations ending in a double rise and without other double rises. Thus exact values are found for the limiting expectation and variance, which are approximately 7.92437 and 27.98133 respectively.
On $Z$-monodromies in embedded graphs
We characterize all permutations which realize as the $z$-monodromies of faces in connected simple finite graphs embedded in surfaces whose duals are also simple.
Variations on shuffle squares
We study decompositions of words into subwords that are in some sense similar, which means that one subword may be obtained from the other by a relatively simple transformation. Our main inspiration are shuffle squares, an intriguing class of words arising in various contexts, from purely combinatorial to more applied, like modeling concurrent processes or DNA sequencing. These words can be split into two parts that are just identical. For example, $ACTACATAGG$ is a shuffle square consisting of two copies of the word $ACTAG$. Of course, each letter must appear any even number of times in each shuffle square. We call words with that property even.
We mainly discuss new problems concerning generalized shuffle squares. We propose a number of conjectures and provide some initial results towards them. We prove that every binary word is a cyclic shuffle square, meaning that it splits into two subwords, one of which is a~cyclic permutation of the other. The same statement is no longer true over larger alphabets, but it seems plausible that a similar property should hold with slightly less restricted permutation classes. For instance, we conjecture that every even ternary word is a dihedral shuffle square, which means that it splits into two subwords, one of which can be obtained from the other by a permutation corresponding to the~symmetry of a~regular polygon. We propose a general conjecture stating that a linear number of permutations is sufficient to express all even $k$-ary words as generalized shuffle squares.
Our discussion is complemented by some enumerative and computational experiments. In particular, we disprove our former conjecture stating that every even binary word can be turned into a shuffle square by a cyclic permutation. The smallest counterexample has length $24$. We call words of this type shuffle anti-squares. We determined all of them up to the length $28$.
Cellular diagonals of permutahedra
We provide a systematic enumerative and combinatorial study of geometric cellular diagonals on the permutahedra.
In the first part of the paper, we study the combinatorics of certain hyperplane arrangements obtained as the union of $\ell$ generically translated copies of the classical braid arrangement. Based on Zaslavsky's theory, we derive enumerative results on the faces of these arrangements involving combinatorial objects named partition forests and rainbow forests. This yields in particular nice formulas for the number of regions and bounded regions in terms of exponentials of generating functions of Fuss-Catalan numbers. By duality, the specialization of these results to the case $\ell = 2$ gives the enumeration of any geometric diagonal of the permutahedron.
In the second part of the paper, we study diagonals which respect the operadic structure on the family of permutahedra. We show that there are exactly two such diagonals, which are moreover isomorphic. We describe their facets by a simple rule on paths in partition trees, and their vertices as pattern-avoiding pairs of permutations. We show that one of these diagonals is a topological enhancement of the Sanbeblidze-Umble diagonal, and unravel a natural lattice structure on their sets of facets.
In the third part of the paper, we use the preceding results to show that there are precisely two isomorphic topological cellular operadic structures on the families of operahedra and multiplihedra, and exactly two infinity-isomorphic geometric universal tensor products of homotopy operads and A-infinity morphisms.
Cyclic Orderings of Paving Matroids
A matroid M is cyclically orderable if there is a cyclic permutation of the elements of M such that any r consecutive elements form a basis in M. An old conjecture of Kajitani, Miyano, and Ueno states that a matroid M is cyclically orderable if and only if for all nonempty subsets X in E(M), |X|/r(M) is less than or equal to |E(M)|/r(M). In this paper, we verify this conjecture for all paving matroids.
Concatenation trees: A framework for efficient universal cycle and de Bruijn sequence constructions
Classic cycle-joining techniques have found widespread application in creating universal cycles for a diverse range of combinatorial objects, such as shorthand permutations, weak orders, orientable sequences, and various subsets of $k$-ary strings, including de Bruijn sequences. In the most favorable scenarios, these algorithms operate with a space complexity of $O(n)$ and require $O(n)$ time to generate each symbol in the sequences. In contrast, concatenation-based methods have been developed for a limited selection of universal cycles. In each of these instances, the universal cycles can be generated far more efficiently, with an amortized time complexity of $O(1)$ per symbol, while still using $O(n)$ space.
This paper introduces $\mathit{concatenation~trees}$, which serve as the fundamental structures needed to bridge the gap between cycle-joining constructions based on the pure cycle register and corresponding concatenation-based approaches. They immediately demystify the relationship between the classic Lyndon word concatenation construction of de Bruijn sequences and a corresponding cycle-joining based construction. To underscore their significance, concatenation trees are applied to construct universal cycles for shorthand permutations and weak orders in $O(1)$-amortized time per symbol. Moreover, we provide insights as to how similar results can be obtained for other universal cycles including cut-down de Bruijn sequences and orientable sequences.
Upper bounds of dual flagged Weyl characters
For a subset $D$ of boxes in an $n\times n$ square grid, let $χ_{D}(x)$ denote the dual character of the flagged Weyl module associated to $D$. It is known that $χ_{D}(x)$ specifies to a Schubert polynomial (resp., a key polynomial) in the case when $D$ is the Rothe diagram of a permutation (resp., the skyline diagram of a composition). One can naturally define a lower and an upper bound of $χ_{D}(x)$. M{é}sz{á}ros, St. Dizier and Tanjaya conjectured that $χ_{D}(x)$ attains the upper bound if and only if $D$ avoids a certain subdiagram. We provide a proof of this conjecture.
Degenerate crossing number and signed reversal distance
Given a graph drawn in the plane, the degenerate crossing number of the drawing is the number of points in the plane which are contained in the relative interior of at least two edges, where each edge is required to be drawn as a simple arc. The degenerate crossing number of a graph is the minimum degenerate crossing number among all its drawings.
Given a drawing, cutting a neighborhood of the surface around each crossing and pasting a Möbius band gives a non-orientable surface, on which the drawing of the graph can be extended to an embedding. From this observation, Mohar derived that the degenerate crossing number of a graph is at most its non-orientable genus, and conjectured that these quantities are equal for every graph. He also made a stronger conjecture for loopless pseudo-triangulations with a fixed embedding scheme.
In this paper, we prove a structure theorem that allows to understand when the degenerate crossing number and non-orientable genus coincide in a large class of loopless bipartite embedding schemes. In particular, we provide a counterexample to Mohar's stronger conjecture, but show that in the vast majority of the 2-vertex cases, as well as for many bipartite graphs, Mohar's conjecture is satisfied.
The reversal distance between two signed permutations is the minimum number of reversals that transform one permutation to the other one. If we represent the trajectory of each element of a signed permutation under successive reversals by a simple arc, we obtain a drawing of a 2-vertex embedding scheme with degenerate crossings. Our main result is proved by leveraging this connection and a classical result in genome rearrangement (the Hannenhalli--Pevzner algorithm) and can also be understood as an extension of this algorithm when the reversals do not necessarily happen in a monotone order.
Computational complexity of counting coincidences
Published in Theoret. Comput. Sci. 1015 (2024) 114776
• View Publication
• BIB
Can you decide if there is a coincidence in the numbers counting two different combinatorial objects? For example, can you decide if two regions in $\mathbb{R}^3$ have the same number of domino tilings? There are two versions of the problem, with $2\times 1 \times 1$ and $2\times 2 \times 1$ boxes. We prove that in both cases the coincidence problem is not in the polynomial hierarchy unless the polynomial hierarchy collapses to a finite level. While the conclusions are the same, the proofs are notably different and generalize in different directions.
We proceed to explore the coincidence problem for counting independent sets and matchings in graphs, matroid bases, order ideals and linear extensions in posets, permutation patterns, and the Kronecker coefficients. We also make a number of conjectures for counting other combinatorial objects such as plane triangulations, contingency tables, standard Young tableaux, reduced factorizations and the Littlewood--Richardson coefficients.
Small Representations of Permutation Groups by Embedding the Domain in an Ordered Set
We present a representation for permutation groups as the automorphism group of an ordered set $U$ such that the automorphism group's action on a subset $T\subseteq U$ is the permutation group itself. For many imprimitive permutation groups, the representation uses fewer points than the smallest representations to date.
On a conjecture on pattern-avoiding machines
Let $s$ be West's stack-sorting map, and let $s_{T}$ be the generalized stack-sorting map, where instead of being required to increase, the stack avoids subpermutations that are order-isomorphic to any permutation in the set $T$. In 2020, Cerbai, Claesson, and Ferrari introduced the $σ$-machine $s \circ s_σ$ as a generalization of West's $2$-stack-sorting-map $s \circ s$. As a further generalization, in 2021, Baril, Cerbai, Khalil, and Vajnovski introduced the $(σ, τ)$-machine $s \circ s_{σ, τ}$ and enumerated $|\Sort_{n}(σ,τ)|$ -- the number of permutations in $S_n$ that are mapped to the identity by the $(σ, τ)$-machine -- for six pairs of length $3$ permutations $(σ, τ)$. In this work, we settle a conjecture by Baril, Cerbai, Khalil, and Vajnovski on the only remaining pair of length $3$ patterns $(σ, τ) = (132, 321)$ for which $|\Sort_{n}(σ, τ)|$ appears in the OEIS. In addition, we enumerate $|\Sort_n(123, 321)|$, which does not appear in the OEIS, but has a simple closed form.
On the Existence of Elementwise Invariant Vectors in Representations of Symmetric Groups
We determine when a permutation with cycle type $μ$ admits a non-zero invariant vector in the irreducible representation $V_λ$ of the symmetric group. We find that a majority of pairs $(λ,μ)$ have this property, with only a few simple exceptions.
Cameron-Liebler sets in permutation groups
Consider a group $G$ acting on a set $Ω$, the vector $v_{a,b}$ is a vector with the entries indexed by the elements of $G$, and the $g$-entry is 1 if $g$ maps $a$ to $b$, and zero otherwise. A $(G,Ω)$-Cameron-Liebler set is a subset of $G$, whose indicator function is a linear combination of elements in $\{v_{a, b}\ :\ a, b \in Ω\}$. We investigate Cameron-Liebler sets in permutation groups, with a focus on constructions of Cameron-Liebler sets for 2-transitive groups.
Towards studying the structure of triple Hurwitz numbers
Going beyond the studies of single and double Hurwitz numbers, we report some progress towards studying Hurwitz numbers which correspond to ramified coverings of the Riemann sphere involving three nonsimple branch points. We first prove a recursion which implies a fundamental identity of Frobenius enumerating factorizations of a permutation in group algebra theory. We next apply the recursion to study Hurwitz numbers involving three nonsimple branch points (besides simple ones),two of them having deterministic ramification profiles while the remaining one having a prescribed number of preimages. The recursion allows us to obtain recurrences as well as explicit formulas for these numbers which also generalize a number of existing results on single and double Hurwitz numbers. The case where one of the nonsimple branch points with deterministic profile has a unique preimage (one-part quasi-triple Hurwitz numbers {or $(1,m)$-part triple Hurwitz numbers}) is particularly studied in detail. We prove an attractive dimension-reduction formula from which any one-part quasi-triple Hurwitz number can be reduced to quasi-triple Hurwitz numbers where both with deterministic profiles are fully ramified. We also obtain the polynomiality of one-part quasi-triple Hurwitz numbers analogous to that implied by the remarkable ELSV formula for single Hurwitz numbers, and discuss the potential connection to intersection theory.
Reconstructing a bijection on the level of Le diagrams
Lukowiski, Parisi, and Williams formulated the T-duality map of string theory at a purely combinatorial level as a map on decorated permutations. We combinatorially describe this map at the level of Le diagrams. This perspective makes the dimension shift under the map more transparent.
Periodic Points of Consecutive-Pattern-Avoiding Stack-Sorting Maps
West's stack-sorting map involves a stack which avoids the permutation $21$ consecutively. Defant and Zheng extended this to a consecutive-pattern-avoiding stack-sorting map $SC_σ$, where the stack must always avoid a given permutation $σ$ consecutively. We address one of the main conjectures raised by Defant and Zheng in their dynamical approach to $SC_σ$. Specifically, we show that the periodic points of $SC_σ$ are precisely the permutations that consecutively avoid $σ$ and its reverse.
Integration on complex Grassmannians, deformed monotone Hurwitz numbers, and interlacing phenomena
Published
• View Publication
• BIB
We introduce a family of polynomials, which arise in three distinct ways: in the large $N$ expansion of a matrix integral, as a weighted enumeration of factorisations of permutations, and via the topological recursion. More explicitly, we interpret the complex Grassmannian $\mathrm{Gr}(M,N)$ as the space of $N \times N$ idempotent Hermitian matrices of rank $M$ and develop a Weingarten calculus to integrate products of matrix elements over it. In the regime of large $N$ and fixed ratio $\frac{M}{N}$, such integrals have expansions whose coefficients count factorisations of permutations into monotone sequences of transpositions, with each sequence weighted by a monomial in $t = 1 - \frac{N}{M}$. This gives rise to the desired polynomials, which specialise to the monotone Hurwitz numbers when $t = 1$.
These so-called deformed monotone Hurwitz numbers satisfy a cut-and-join recursion, a one-point recursion, and the topological recursion. Furthermore, we conjecture on the basis of overwhelming empirical evidence that the deformed monotone Hurwitz numbers are real-rooted polynomials whose roots satisfy remarkable interlacing phenomena.
An outcome of our work is the viewpoint that the topological recursion can be used to "topologise" sequences of polynomials, and we claim that the resulting families of polynomials may possess interesting properties. As a further case study, we consider a weighted enumeration of dessins d'enfant and conjecture that the resulting polynomials are also real-rooted and satisfy analogous interlacing properties.
Decidability in geometric grid classes of permutations
Published in Proc. Amer. Math. Soc. 153 (2025), no. 3, 987-1000
• View Publication
• BIB
We prove that the basis and the generating function of a geometric grid class of permutations Geom$(M)$ are computable from the matrix $M$, as well as some variations on this result. Our main tool is monadic second-order logic on permutations and words.