arXiv++ Combinatorics

Let $f(t)\in\mathbb{Z}[t]$ be a nonconstant polynomial with nonzero discriminant and let $k\ge2$ be an integer. For every sufficiently large prime $p\equiv1\pmod{k}$, by applying mixed exponential sums over finite fields, discrete Fourier analysis and the spectral graph theory, we establish a threshold $c(p,k,f)$ such that any subset $A\subseteq\mathbb F_p$ with $\#A\ge c(p,k,f)$ admits a permutation $a_1, a_2,\cdots, a_{\#A}$ of $A$ satisfying $f(a_i+a_{i+1})\in\{x^k: x\in\mathbb{F}_p^*\}$ for any $1\le i \le \#A$, where $a_{\#A+1}=a_1$. Also, we give lower and upper bounds for the least possible threshold.

The symmetric group $S_n$ is generated by transpositions, and problems of sorting permutations using transpositions are well studied. In recent work, Adin, Alon, and Roichman studied the related problem of sorting $n$ points on a circle, and gave a formula for the maximum number of adjacent swaps required. This is equivalent to the number of adjacent transpositions required to transform any permutation into a power of the cyclic permutation $(1,2,\ldots, n)$. The focus of this work is an analogous question in the alternating group $A_n$, which is generated by $3$-cycles. That is, using 3-cycles instead of transpositions, what is the maximum number of steps required to transform an even permutation into a power of $(1,2,\ldots, n)$ in the alternating group? We determine this number exactly for even $n$ and $n \equiv 1 \pmod{4}$. For $n \equiv 3 \pmod{4}$, we show that the sorting number can take one of two possible values and give explicit constructions demonstrating that the larger value occurs infinitely often.

We construct a new reduction process which takes a $(132,213)$-avoiding permutation to a shorter one that is cyclic if and only if the original was. Iterating it determines whether a given $(132,213)$-avoiding permutation is cyclic. Reversing it gives four moves that build every cyclic $(132,213)$-avoiding permutation, uniquely, from $1$ if $n$ is odd, and $21$ if $n$ is even. Our main application is the first non-trivial lower bound for the growth rate of $\mathcal{C}_n(132,213)$, the cyclic permutations of length $n$ avoiding $132$ and $213$. We also give several other consequences of the reduction, including a bijection between the odd and even size classes and an exact enumeration for those permutations with a restricted number of layers.

In a 2021 survey on Katona's circle method, Frankl conjectured that every family $\mathcal{F}\subseteq 2^{[n]}$ in which any two members intersect and no two members cover $[n]$ satisfies the sharp Lubell-type bound $ \sum_{F\in \mathcal{F}}\binom{n}{|F|}^{-1}\le \frac{n+1}{6}. $ This improves the earlier estimate $\frac{n}{4}$ obtained by the circle method. In this paper, we prove Frankl's conjecture and determine all extremal families. Our proof replaces the cyclic permutation argument with a $p$-biased measure framework on the Boolean lattice, and then integrates the resulting estimates over the full probability range. This continuous integration recovers the optimal coefficient $\frac{1}{6}$, whereas the discrete averaging inherent in the circle method yields only $\frac{n}{4}$.

It is well known that every regular Cayley map $M = \CM(G,X,p)$ on a finite group $G$ with respect to an inverse-closed generating set $X$ of $G$ and a specified cyclic permutation $p$ on $X$ corresponds to a skew morphism $\varphi$ on $G$ such that the restriction of $\varphi$ to $X$ is $p$. The skew-type of the map $M$ is defined as the index $[G:\Ker \varphi]$, which equals the number of distinct values in $\mathbb{Z}_{|\varphi|}$ taken by the associated power function $π$ of the skew morphism $\varphi$. In this paper, we develop a covering theory of skew morphisms and as an application we provide a classification of regular Cayley maps of skew-type three on the semidihedral groups.

A cyclic meander is an embedded oriented loop in the plane intersecting a fixed infinite line, or circle, transversely in a linearly ordered set of $2n$ points. By keeping track of the order in which the loop visits these points, the cyclic meander induces a cyclic permutation on these marked points. Correspondingly, given a permutation on $n$ letters, one can ask whether or not a cyclic meander induces the permutation in this manner, and if not, what is the most efficient way of doing so if we allow more points of intersection? This process gives a way of associating to a permutation on $n$ letters a measurement of complexity of the permutation in question. The principal result of this work shows that the maximum of this quantity, the \emph{meander number}, over all cyclic permutations on $n$ letters, is bounded above and below quadratically in $n$. This result resolves a conjecture of Schwartz~\cite{richtpss} in relation to his work on the topological salesman problem. We conclude this work by constructing families of cyclic permutations on $n$ letters whose meander numbers realize a continuum of growth rates between linear and quadratic.

It is a well known that, for odd $n$, the number of subsets of $\{1,2,\dots,n\}$ the sum of whose elements is divisible by $n$ equals the number of binary necklaces of length $n$. In this paper generalize this result in two directions. On the one hand, we introduce a parameter $r$ so that requiring the subset sums to be congruent to $r$ modulo $n$ translates into imposing some periodicity conditions on the necklaces. On the other hand, we refine these relations by the size $k$ of the subset, showing that it matches the number of ones in the necklace. We describe the precise conditions on $n$, $k$ and $r$ for which the equalities hold. The classical results correspond to the case $r=0$. When $r=1$, our identity is related to a conjecture of Baker et al. connecting subsets the sum of whose elements is congruent to $1$ modulo $n$ and unimodal permutations which consist of one cycle. We prove this conjecture using generating functions. Finding bijective proofs of most of our identities remains an open problem.

Recently, Archer et al.\ studied cyclic permutations that avoid the decreasing pattern $δ_k=k(k-1)\cdots21$ in one-line notation and avoid another pattern $τ$ of length $4$ in all their cycle forms. There are three cases in total to consider, namely, $τ=1324, 1342$ and $1432$. They determined two of them, leaving the case $τ=1432$ as an open question. In this paper, we resolve this case by deriving explicit formulas based on an analysis of the structure of cycle forms and an application of Dilworth's theorem.

Arrow patterns were introduced by Berman and Tenner as a generalization of vincular patterns. They observed that arrow patterns have the potential to bridge the divide between a permutation's cycle notation and its one-line notation; in support of this, they used arrow avoidance to enumerate shallow and cyclic shallow permutations. More recently, $321$-avoiding cyclic permutations were recharacterized entirely in terms of arrow avoidance. Motivated by these results, we initiate a systematic study of arrow avoidance. In this paper, we prove structural results about arrow patterns, including defining arrow-Wilf equivalence, and enumerate several arrow avoidance classes. Finally, we consider the avoidance of pairs of arrow patterns, focusing on cases that prohibit fixed points in the underlying permutation.

We establish upper and lower bounds on the maximal number of steps needed to transform a cyclic permutation to the canonical cyclic permutation using conjugation by adjacent transpositions, and on the diameter of the underlying Schreier graph.

Let $\mathcal{P}_k(n)$ denote the set of partitions of $n$ whose largest part is bounded by $k,$ which are in well-known bijection with $(k+1)$-cores $\mathcal{C}_k$. We study a growth process on $\mathcal{C}_k$, whose stationary distribution is the $k$-Plancherel measure, which is a natural extension of the Plancherel measure in the context of $k$-Schur functions. When $k\to\infty$ it converges to the Plancherel measure for partitions, a limit studied first by Vershik-Kerov. However, when $k$ is fixed and $n\to \infty$, we conjecture that it converges to a shape close to the limit shape from the uniform growth of partitions, as studied by Rost. We show that the limiting behavior, for fixed $k$, is governed by a finite Markov chain with $k!$ states over a subset of the $k$-bounded partitions or equivalently as a TASEP over cyclic permutations of length $k+1$. This paper initiates the study of these processes, state some theorems and several intriguing conjectures found by computations of the finite Markov chain.

There is a natural bijection between standard immaculate tableaux of composition shape $α\vDash n$ and length $\ell(α) = k$ and the $ \left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\} $ set-partitions of $\{ 1, 2, \ldots, n \}$ into $k$ blocks, for the Stirling number $ \left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\} $ of the second kind. We introduce a family of tableaux that we refer to as \emph{lexical tableaux} that generalize immaculate tableaux in such a way that there is a bijection between standard lexical tableaux of shape $α\vDash n$ and length $\ell(α) = k$ and the $ \left[ \begin{smallmatrix} n \\ k \end{smallmatrix} \right] $ permutations on $\{ 1, 2, \ldots, n \}$ with $k$ disjoint cycles. In addition to the entries in the first column strictly increasing, the defining characteristic of lexical tableaux is that the word $w$ formed by the consecutive labels in any row is the lexicographically smallest out of all cyclic permutations of $w$. This includes weakly increasing words, and thus, lexical tableaux provide a natural generalization of immaculate tableaux. Extending this generalization, we introduce a pair of dual bases of the Hopf algebras $\textsf{QSym}$ and $\textsf{NSym}$ defined in terms of lexical tableaux. We present two expansions of these bases, involving the monomial and fundamental bases (or, dually, the ribbon and complete homogeneous bases), using Kostka coefficient analogues and coefficients derived from standard lexical tableaux.

Elizalde constructed a bijection $φ$ from the cyclic permutations $π\in S_{n+1}$ to the symmetric group $S_n$ satisfying $\operatorname{Des}(π)\cap \{1,2,\ldots,n-1\}=\operatorname{Des}(φ(π))$. We give a corresponding result on the signed symmetric group $B_n$ by constructing a function $Φ$ from the cyclic signed permutations $π\in B_{n+1}$ to $B_n$ satisfying $\operatorname{Des}(π)\cap \{0,1,\ldots,n-1\}=\operatorname{Des}(Φ(π))$. Moreover, letting $D_{n+1}\subseteq B_{n+1}$ be the subgroup consisting of signed permutations with an even number of sign changes, we show that the restriction of $Φ$ to the cyclic signed permutations in $D_{n+1}$ or its complement is a bijection. Our function $Φ$ reduces to Elizalde's original bijection $φ$ under the natural identification of the symmetric groups as subgroups of the signed symmetric groups. One application of our results is asymptotic normality of the descent and flag major index statistics on the cyclic signed permutations in $B_{n}$ and $D_n$.

We show that cyclic permutations avoiding $321$ are precisely those permutations whose image under the fundamental bijection avoid a set of vincular patterns. We do this by using pattern functions and arrow patterns, in combination with the characterization of $321$ avoidance in terms of equality of the upper bound of the Daiconis-Graham inequalities. We then explore some consequences of this result, including upper and lower bound results on the growth rate of $321$ avoiding cycles.

Suppose $c_n(σ)$ denotes the number of cyclic permutations in $\mathcal{S}_n$ that avoid a pattern $σ$. In this paper, we define partial groupoid structures on cyclic pattern-avoiding permutations that allow us to build larger cyclic pattern-avoiding permutations from smaller ones. We use this structure to find recursive lower bounds on $c_n(σ)$. These bounds imply that $c_n(σ)$ has a growth rate of at least 3 for $σ\in\{231,312,321\}$ and a growth rate of at least 2.6 for $σ\in\{123,132,213\}$. In the process, we prove (and sometimes improve) a conjecture of Bóna and Cory that $c_n(σ)\geq 2 c_{n-1}(σ)$ for all $σ\in\mathcal{S}_3\setminus\{123\}$ and $n\geq 2.$

Let $π$ be a cyclic permutation that can be expressed in its one-line form as $π= π_1π_2 \cdot\cdot\cdot π_n$ and in its standard cycle form as $π= (c_1,c_2, ..., c_n)$ where $c_1=1$. Archer et al. introduced the notion of pattern avoidance of one-line and the standard cycle form for a cyclic permutation $π$, defined as both $π_1π_2 \cdot\cdot\cdot π_n$ and its standard cycle form $c_1c_2\cdot\cdot\cdot c_{n}$ avoiding a given pattern. Let $\mathcal{A}_n(σ_1,...,σ_k; τ)$ denote the set of cyclic permutations in the symmetric group $S_n$ that avoid each pattern of $\{σ_1,...,σ_k\}$ in their one-line forms and avoid $τ$ in their standard cycle forms. In this paper, we obtain some results about the cyclic permutations avoiding patterns in both one-line and cycle forms. In particular, we resolve two conjectures of Archer et al.

We show that the dihedral group $ Z_2\times D_3$ of order twelve acts faithfully on the set LR, either consisting of Littlewood-Richardson tableaux, or their companion tableaux, or Knutson-Tao hives or Knutson-Tao-Woodward puzzles,via involutions which simultaneously conjugate or shuffle a Littlewood-Richardson triple of partitions. The action of $ Z_2\times D_3$ carries a linear time index two subgroup $H\simeq D_3$ action, where an involution which goes from $H$ into the other coset of H is difficult in the sense that it is not manifest neither exhibited by simple means. Pak and Vallejo have earlier made this observation with respect to the subgroup of index two in the symmetric group $ S_3$ consisting of cyclic permutations which H extends. The other half LR symmetries, not in the range of the H-action, are hidden and consist of commutativity and conjugation symmetries. Their exhibition is reduced to the action of a remaining generator of $ Z_2\times D_3$, which belongs to the other coset of H, and enables to reduce in linear time all known LR commuters and transposers to each other, and to the Luzstig- Schützenberger involution. A hive is specified by superimposing the companion tableau pair of an LR tableau, and its $Z_2\times D_3$-symmetries are exhibited via the corresponding LR companion tableau pair. The action of $ Z_2\times D_3$ on puzzles, naturally in bijection with Purbhoo mosaics, is consistent with the migration map on mosaics which translates to jeu de taquin slides or tableau-switching on LR tableaux. Their H-symmetries are reduced to simple procedures on a puzzle via label swapping together with simple reflections of an equilateral triangle, that is, puzzle dualities, and rotations on an equilateral triangle.

Natural numbers which are nontrivial multiples of some permutation of their base-$b$ digit representations are called permutiples. Specific cases include numbers which are multiples of cyclic permutations (cyclic numbers) and reversals of their digits (palintiples). Previous efforts have produced methods which construct new examples of permutiples with the same set of digits as a known example. Using simple graph-theoretical and finite-state machine constructions, we advance previous work by describing two methods for finding permutiples of a known base and multiplier with no need for known examples or prior knowledge of digits.

Let $π$ be a cycle permutation that can be expressed as one-line $π= π_1π_2 \cdot\cdot\cdot π_n$ and a cycle form $π= (c_1,c_2, ..., c_n)$. Archer et al. introduced the notion of pattern avoidance of one-line and all cycle forms for a cycle permutation $π$, defined as $π_1π_2 \cdot\cdot\cdot π_n$ and its arbitrary cycle form $c_ic_{i+1}\cdot\cdot\cdot c_nc_1c_2\cdot\cdot\cdot c_{i-1}$ avoid a given pattern. Let $\mathcal{A}^\circ_n(σ; τ)$ denote the set of cyclic permutations in the symmetric group $S_n$ that avoid $σ$ in their one-line form and avoid $τ$ in their all cycle forms. In this note, we prove that $|\mathcal{A}^\circ_n(2431; 1324)|$ is the $(n-1)^{\rm{st}}$ Pell number for any positive integer $n$. Thereby, we give a positive answer to a conjecture of Archer et al.

In this paper, we consider cyclic permutations that avoid the monotone decreasing permutation $k(k-1)\ldots 21$, whose cycle also demonstrates some pattern avoidance. If the cycle is written in standard form with 1 appearing at the beginning of the cycle and the standard form avoids a pattern of length 3, we find answers in terms of continued fraction generating functions. We also consider the case that every cyclic rotation of the cycle form of the permutation avoids a pattern of length 4 and enumerate two such cases.