permutation ↗ reference
4847 papers tagged with this keyword
Representation number of word-representable co-bipartite graph
A graph $G = (V, E)$ is said to be word-representable if there exists a word $w$ over the alphabet $V$ such that, for any two distinct letters $x, y \in V$, the letters $x$ and $y$ alternate in $w$ if and only if $xy \in E$. A graph is co-bipartite if its complement is bipartite. Therefore, the vertex set of a co-bipartite graph can be partitioned into two disjoint subsets $X$ and $Y$ such that the subgraphs induced by $X$ and $Y$ are cliques.
The concept of word-representability for graph classes has gained significant attention in recent years. The book Words and Graphs by Sergey Kitaev and Vadim Lozin presents examples of co-bipartite graphs that are not word-representable. It is known that a graph is word-representable if and only if it admits a semi-transitive orientation. Although the necessary and sufficient conditions for the existence of a semi-transitive orientation in co-bipartite graphs have been established, the characterization based on vertex ordering remains open. In this paper, we present necessary and sufficient conditions for a co-bipartite graph to be word-representable in terms of its vertex ordering. Furthermore, based on this vertex ordering, we provide an algorithm to construct a $3$-uniform word-representation for any word-representable co-bipartite graph. Using this result, we prove that except for the permutation graphs, the representation number of all other word-representable co-bipartite graphs is $3$.
A bi-Stirling-Euler-Mahonian polynomial
Motivated by recent work on (re)mixed Eulerian numbers, we provide a combinatorial interpretation of a subfamily of the remixed Eulerian numbers introduced by Nadeau and Tewari. More specifically, we show that these numbers can be realized as the generating polynomials of permutations with respect to the statistics of left-to-right minima, right-to-left minima, descents, and the mixed major index. Our results generalize both the bi-Stirling-Eulerian polynomials of Carlitz-Scoville and the Stirling-Euler-Mahonian polynomials of Butler.
Affine Equivalence of Subsets of $\mathbb{F}_2^n$ via Venn Diagrams and Applications to Sidon Sets
Two subsets $S$ and $T$ of $\mathbb{F}_2^n$ are \textit{affinely equivalent} if there is an affine automorphism of $\mathbb{F}_2^n$ taking $S$ to $T$. Given a basis of the affine span of $S$, we can construct a Venn diagram whose regions partition $S$. We prove that any two bases of $\operatorname{aff}(S)$ will have the same Venn diagram up to a linear permutation of the Venn regions. Moreover, we prove that two sets are affinely equivalent if and only if there is a cardinality-preserving linear permutation from the Venn regions of $S$ to the Venn regions of $T$. We use these results to classify certain Sidon sets up to affine equivalence.
Three Generalizations of Erdős Szekeres: $k$-Modal Subsequences
Erdős and Szekeres showed that given a permutation $p$ of $[n]$, and the sequence defined by \newline $(p(1), p(2), \ldots, p(n))$, there exists either a decreasing or increasing subsequence, not necessarily contiguous, of length at least $\sqrt{n}$. Fan Chung considered subsequences that can have at most one change of direction, i.e. an increasing and then decreasing subsequence, or a decreasing and then increasing subsequence. She called these unimodal subsequences, and showed there exists a unimodal subsequence of length at least $\sqrt{3n}$, up to some constants \cite{chung}. She conjectured that a permutation of $n$ contains a $k$-modal (at most $k$ changes in direction) subsequence of length at least $\sqrt{(2k+1)n}$ up to some constants. Zijian Xu proved this conjecture in 2024 \cite{xu}, and we will provide another substantially different proof using "sophisticated labeling arguments" instead of "underlying poset structures behind k-modal subsequences." We also show that there exists an increasing first $k$-modal subsequence of length at least $\sqrt{2kn}$.
Normal 6-edge-colorings of cubic graphs with oddness 2
A normal edge-coloring of a cubic graph is a proper edge-coloring, in which every edge is adjacent to edges colored with four distinct colors or to edges colored with two distinct colors. It is conjectured that $5$ colors suffice for a normal edge-coloring of any bridgeless cubic graph and this statement is equivalent to the Petersen Coloring Conjecture.
In this paper, we extend the result of Mazzuoccolo and Mkrtchyan (Normal 6-edge-colorings of some bridgeless cubic graphs, Discrete Appl. Math. 277 (2020), 252--262), who proved that every cycle permutation graph admits a normal edge-coloring with at most $6$ colors. In particular, we show that every cubic graph with oddness $2$ admits a normal edge-coloring with at most $6$ colors.
Separating subsets from their images
Let $G$ be a transitive permutation group acting on $Ω$. In this paper, we introduce and study the parameter ${\bf m}(G)$, which denotes the size of the smallest set of points $A$ such that, for every permutation $g\in G$, $A \cap A^g$ is nonempty. In particular, we focus on deriving general bounds for arbitrary transitive groups, and on the asymptotic behaviour of certain families of primitive groups. We also provide a classification of transitive groups with ${\bf m}(G)$ largest possible, namely with ${\bf m}(G)=\lceil (|Ω|+1) / 2 \rceil$.
Relatively closed subgroups of permutation groups with a cyclic regular normal subgroup
Motivated by some known problems concerning combinatorial structures associated with finite one-dimensional affine permutation groups, we study subgroups which are closed in $\operatorname{Γ{L}}_1(q)$. This brings us to a description of the relatively closed subgroups of permutation groups with a cyclic regular normal subgroup. Our results, in particular, provide a classification of the minimal nontrivial one-dimensional affine association schemes which generalizes the recent Muzychuk classification of the one-dimensional affine rank 3 graphs.
An analogue of the Erd{\H o}s Matching Conjecture for permutations with fixed number of cycles
Let $S_{n}$ denote the set of permutations of $[n]=\{1,2,\dots, n\}$. For each integer $k\geq 1$, let $S_{n,k}$ be the set of all permutations of $[n]$ with exactly $k$ disjoint cycles.
A subset $H\subseteq S_{n,k}$ is to be a matching if $π_1$ and $π_2$ do not have any common cycles for all distinct $π_1,π_2\in H$. The matching number of a family $\mathcal A\subseteq S_{n,k}$ is denoted by $ν_{p}(\mathcal A)$ and is defined to be the size of the largest matching in $\mathcal A$. In this paper, we determine the maximum size of a family $\mathcal A\subseteq S_{n,k}$ subject to the condition $ν_p(\mathcal A)\leq s$.
Exhaustive Generation of Pattern-Avoiding s-Words
The most well-known Gray code of permutations is plain changes. It was discovered in the 1600s by bell-ringers who wished to order the permutations of [n] by swaps (e.g., 123, 132, 312, 321, 231, 213 for n = 3). In other words, plain changes traces a Hamilton path in the permutohedron. In 2013 it was shown that plain changes can be generated by a greedy algorithm: swap the largest value. Algorithm J replaces the swap operation with the jump operation (which moves a larger digit past one or more smaller digits) and forms the basis of the wildly successful Combinatorial Generation via Permutation Languages series of papers.
Here we further generalize this line of research to languages of s-words (i.e., multiset permutations). We generalize jumps to bumps, which moves a sequential run of the same larger digit past one or more smaller digits. Algorithm B greedily applies minimum-length bumps prioritized by largest value, then largest index, then rightward before leftward (e.g. 1122, 1221, 1212, 2112, 2121, 2211 for s = (2, 2)).
We show that the algorithm works for s-word languages avoiding a wide variety of tame patterns. Specific applications include efficient algorithm for generating s-Stirling words (which avoid 121) and new Gray codes for various s-Catalan objects (which avoid 132 and 121). The former result leads to Hamilton paths in every s-permutahedron.
Metrics on Signed Permutations with the Same Peak Set
Let $S^B_n$ be the Coxeter group of type B. We denote the set of indices where $σ\in S^B_n$ has a peak as $Peak(σ)$ and let $P^{B}(S;n)=\{σ\in S^{B}_n~|~ Peak(σ)=S\}$. In \cite{metrics}, Diaz-Lopez, Haymaker, Keough, Park and White considered metrics for unsigned permutations with the same peak set. In this paper, we generalize their result by studying Hamming, $l_{\infty}$, and the word metrics on $P^{B}(S;n)$ for all $S$. We also determine the minimum and maximum possible values that these metrics can achieve in these subsets of $S^B_n$.
Cyclic sieving phenomena via combinatorics of continued fractions
We will exhibit several instances of the cyclic sieving phenomenon involving statistics and involutions on the following combinatorial families of objects: permutations, set partitions, perfect matchings, D-permutations (and its subclasses). Our results will be based on continued fraction identities enumerating these objects. Our instances of cyclic sieving phenomenon for permutations involve the Corteel involution; this was first studied by Adams, Elder, Lafrenière, McNicholas, Striker and Welch (arxiv~2024). We will reprove several of their results using our setting of continued fractions; we will also prove two of their conjectures. Our study of set partitions and perfect matchings will involve the Kasraoui-Zeng involution and the Chen-Deng-Du-Stanley-Yan (CDDSY) involution. Finally, for D-permutations, we will construct a new involution which we call the Genocchi-Corteel involution. The common feature of all of these involutions, other than the CDDSY involution, is that they are constructed via bijections to weighted lattice paths, and that they exchange crossings and nestings on their respective objects.
Permutations satisfying $(P_1)$ and $(P_2)$ properties and $\ell$-optimal bent functions
An important classification of permutations over $\mathbb{F}_2^m$, suitable for constructing Maiorana-McFarland bent functions on $\mathbb{F}_2^m \times \mathbb{F}_2^m$ with the unique $M$-subspace of maximal dimension, was recently considered in Pasalic et al. (IEEE Trans. Inf. Theory 70(6): 4464-4477, 2024). More precisely, two properties called $(P_1)$ and $(P_2)$ were introduced and a generic method of constructing permutations having the property $(P_1)$ was presented, whereas no such results were provided related to the $(P_2)$ property. In this article, we provide a deeper insight on these properties, their mutual relationship, and specify some explicit classes of permutations having these properties. Such permutations are then employed to generate a large variety of bent functions outside the completed Maiorana-McFarland class $M^\#$. We also introduce $\ell$-optimal bent functions as bent functions with the lowest possible linearity index; such functions can be considered as opposite to Maiorana-McFarland bent functions. We give explicit constructions of $\ell$-optimal bent functions within the $D_0$ class, which in turn can be employed in certain secondary constructions of bent functions for providing even more classes of bent functions that are provably outside $M^\#$. Moreover, we demonstrate that a certain subclass of $D_0$ has an additional property of having only 5-valued spectra decompositions. Finally, we generalize the so-called "swapping variables" method which then allows us to specify large families of bent functions outside $M^\#$. In this way, we give a better explanation of the origin of bent functions in dimension eight, since the vast majority of them is outside ${M}^\#$.
On transitive permutation groups with exponential graph growth
Let $Γ$ be a finite connected graph and $G$ a vertex-transitive group of its automorphisms. The pair $(Γ, G)$ is said to be locally-$L$ if the permutation group induced by the action of the vertex-stabiliser $G_v$ on the set of neighbours of a vertex $v$ in $Γ$ is permutation isomorphic to $L$. The maximum growth of $|G_v|$ as a function of $|VΓ|$ for locally-$L$ pairs $(Γ,G)$ is called the graph growth of $L$. We prove that if $L$ is a transitive permutation group on a set $Ω$ admitting a nontrivial block $B$ such that the pointwise stabiliser of $Ω\setminus B$ in $L$ is nontrivial, then the graph growth of $L$ is exponential. This generalises several results in the literature on transitive permutation groups with exponential graph growth.
Edge pancyclic Cayley graphs on symmetric group
We study the derangement graph $Γ_n$ whose vertex set consists of all permutations of $\{1,\ldots,n\}$, where two vertices are adjacent if and only if their corresponding permutations differ at every position. It is well-known that $Γ_n$ is a Cayley graph, Hamiltonian and Hamilton-connected. In this paper, we prove that for $n \geq 4$, the derangement graph $Γ_n$ is edge pancyclic. Moreover, we extend this result to two broader classes of Cayley graphs defined on symmetric group.
New $r$-Euler--Mahonian statistics involving Denert's statistic
Recently, we proved the equidistribution of the pairs of permutation statistics $(r\textsf{des},r\textsf{maj})$ and $(r\textsf{exc},r\textsf{den})$. Any pair of permutation statistics that is equidistributed with these pairs is said to be $r$-Euler--Mahonian. Several classes of $r$-Euler--Mahonian statistics were established by Huang--Lin--Yan and Huang--Yan. Inspired by their bijections, we provide a new bijective proof of the classical result that $(\textsf{exc},\textsf{den})$ is Euler--Mahonian. Using this bijection, we further show that $(\textsf{exc}_{r},\textsf{den})$ is $r$-Euler--Mahonian, where $\textsf{exc}_{r}$ denotes the number of $r$-level excedances (i.e., excedances at least $r$). Furthermore, by extending our bijection, we establish a more general result that encompasses all the aforementioned results.
Necklaces, permutations, and periodic critical orbits for quadratic polynomials
Let $G_n$ denote the $n^{\rm th}$ Gleason polynomial, whose roots correspond to parameters $c$ such that the critical point $0$ is periodic of exact period $n$ under iteration of $z^2 + c$, and let $\bar{G}_n$ denote the reduction of $G_n$ modulo $2$. Buff, Floyd, Koch, and Parry made the surprising observation that the number of real roots of $G_n$ is equal to the number of irreducible factors of $\bar{G}_n$ for all $n$. We provide a bijective proof for this result by first providing explicit bijections between (a) the set of real roots of $G_n$ and the set $\bar{N}(n)$ of equivalence classes of primitive binary necklaces of length $n$ under the inversion map swapping $0$ and $1$; and (b) the set of irreducible factors of $G_n$ modulo 2 and the set $\tilde{N}^+(n)$ of binary necklaces which are either primitive of length $n$ with an even number of $1$'s or primitive of length $n/2$ with an odd number of $1$'s. We then provide an explicit bijection, closely related to Milnor and Thurston's kneading theory, between $\bar{N}(n)$ and $\tilde{N}^+(n)$. In addition, we provide explicit bijections between $\bar{N}(n)$, the set ${\rm CUP}(n)$ of cyclic unimodal permutations of $\{ 1,\ldots,n \}$, and the set $N^-(n)$ of primitive binary necklaces of length $n$ with an odd number of $1$'s.
Derivatives of padded Schubert polynomials through pipe dreams
In recent work, Hamaker, Pechenik, Speyer, and Weigandt showed that a certain differential operator $\nabla$ expands positively in the basis of Schubert polynomials. For $π$ a dominant permutation, Gaetz and Tung showed an analogous positivity result holds for a dual differential operator $Δ$ acting on $π$-padded Schubert polynomials. In this paper, we provide a new proof of the result of Gaetz and Tung using the combinatorics of pipe dreams.
Promotion digraphs
Work of Gaetz, Pechenik, Pfannerer, Striker, and Swanson (2024) introduced promotion permutations for a rectangular standard Young tableau $T$. These promotion permutations encode important features of $T$ and its orbit under Schützenberger's promotion operator. Indeed, the promotion permutations uniquely determine the tableau $T$.
We introduce more general promotion digraphs for both standard and increasing tableaux of arbitrary shape. For rectangular standard tableaux, this construction recovers the functional digraphs of the promotion permutations. Among other facts, we show that promotion digraphs uniquely determine $T$ when $T$ is standard of arbitrary shape or increasing of rectangular shape, but not when $T$ is increasing and general shape. We completely characterize the promotion digraphs for two-row rectangular increasing tableaux. We use promotion digraphs for three-row rectangular increasing tableaux to conjecture a connection between their dynamics and the flamingo webs recently introduced by Kim to give a diagrammatic basis of the Specht module $S^{(k^3,1^{n-3k})}$.
The characteristic quasi-polynomials of hyperplane arrangements with actions of finite groups
In this paper, we introduce an equivariant version of the characteristic quasi-polynomials as the permutation characters on the complement of mod $q$ hyperplane arrangements. We prove that the permutation character is a quasi-polynomial in $q$, and show that it can be expressed by the sum of the induced characters of an equivariant version of the Ehrhart quasi-polynomials. Furthermore, we consider the case of the Coxeter arrangements, and compute in detail for type $A_\ell$.
Newton polytopes of fireworks Grothendieck polynomials
We show that the support of the Grothendieck polynomial $\mathfrak G_w$ of any fireworks permutation is as large as possible: a monomial appears in $\mathfrak G_w$ if and only if it divides $\mathbf x^{\mathrm{wt}(\overline{D(w)})}$ and is divisible by some monomial appearing in the Schubert polynomial $\mathfrak S_w$. Our formula implies that the homogenization of $\mathfrak G_w$ has M-convex support. We also show that for any fireworks permutation $w\in S_n$, there exists a layered permutation $π(w)\in S_n$ so that $\mathrm{supp}(\mathfrak G_{π(w)})\supseteq \mathrm{supp}(\mathfrak G_w)$.