arXiv++ Combinatorics

For the generation of acyclic biological diagrams, from a graph-theoretical perspective, we introduce the relative diagrams of cyclic permutations with ramphoid and keratoid vertices of degree 2, which correspond to Motzkin and Dyck words/paths. The relation between these two types of diagrams, defines the generation of the first via the permutations of the second, which may be of assistance in the study and treatment of several biological problems.

Let $σ$ and $τ$ be patterns of length three; that is $σ, τ\in \{123,132,213,231,312,321\}$. In this paper, we enumerate the set of cyclic permutations in $\mathcal{S}_n$ that avoid $σ$ in their one-line notation and another pattern $τ$ in their cycle notation.

A permutiple is a natural number that is a nontrivial multiple of a permutation of its digits in some base. Special cases of permutiples include cyclic numbers (multiples of cyclic permutations of their digits) and palintiple numbers (multiples of their digit reversals). While cyclic numbers have a fairly straightforward description, palintiple numbers admit many varieties and cases. A previous paper attempts to get a better handle on the general case by constructing new examples of permutiples with the same set of digits, multiplier, and length as a known example. However, the results are not sufficient for finding all possible examples except when the multiplier divides the base. Using an approach based on the methods of this previous paper, we develop a new method which enables us to find all examples under any conditions.

We consider the action on $\mathbb{F}_2^n$ by cyclic permutations ($\mathbb{Z}/n\mathbb{Z}$). Two elements $x, y\in \mathbb{F}_2^n$ are in the same orbit if they are cyclic shifts of each other. Cryptographic properties of rotation symmetric Boolean functions can be efficiently computed using the square matrix $_n\mathcal{A}$, the construction of which uses orbit representatives of the cyclic shifting action. In 2018, Ciungu and Iovanov proved that $_n\mathcal{A}^2=2^n\cdot I$, the identity matrix of dimension $g_n\times g_n$ where $g_n$ is the number of orbits. In this paper, we answer the open question of the precise number of positive and negative eigenvalues of $_n\mathcal{A}$.

Given a bi-order $\succ$ on the free group $\mathcal{F}$, we show that every non-periodic cyclically reduced word $W\in \mathcal{F}$ admits a maximal ascent that is uniquely positioned. This provides a cyclic permutation of $W'$ that decomposes as $W'=AD$ where $A$ is the maximal ascent and $D$ is either trivial or a descent. We show that if $D$ is not uniquely positioned in $W$, then it must be an internal subword in $A$. Moreover, we show that when $\succ$ is the Magnus ordering, $D=1_\mathcal{F}$ if and only if $W$ is monotonic.

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$.

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.

Kolam is a ritual art form practised by people in South India and consists of rule-bound geometric patterns of dots and lines. Single loop Kolams are mathematical closed loop patterns drawn over a grid of dots and conforming to certain heuristics. In this work, we propose a novel encoding scheme where we map the angular movements of Kolam at lattice points into sequences containing $4$ distinct symbols. This is then used to simulate single loop Kolam procedure via turtle moves in accordance with the desired angular direction at specific points. We thus obtain sequential codes for Kolams, unique up to cyclic permutations. We specify the requirements for the algorithm and indicate the general methodology. We demonstrate a sample of Kolams using our algorithm with a software implementation in Python.

We study a system of intervals $I_1,\ldots,I_k$ on the real line and a continuous map $f$ with $f(I_1 \cup I_2 \cup \ldots \cup I_k)\supseteq I_1 \cup I_2 \cup \ldots \cup I_k$. It's conjectured that there exists a periodic point of period $\le k$ in $I_1\cup \ldots \cup I_k$. In this paper, we prove the conjecture by a discretization method and reduce the initial problem to an interesting combinatorial lemma concerning cyclic permutations. We also obtain a non-concentration property of periodic points of small periods in intervals.

Let $(0, a_1, \ldots, a_{d-1})_n$ denote the function $f_n(x_0, x_1, \ldots, x_{n-1})$ of degree $d$ in $n$ variables generated by the monomial $x_0x_{a_1} \cdots x_{a_{d-1}}$ and having the property that $f_n$ is invariant under cyclic permutations of the variables. Such a function $f_n$ is called monomial rotation symmetric (MRS). Much of this paper extends the work on quadratic MRS functions in a $2020$ paper of the authors to the case of binomial RS functions, that is sums of two quadratic MRS functions. There are also some results for the sum of any number of quadratic MRS functions.

We characterize the class of cycle decompositions that can achieve all Young tableau shapes (except the trivial ones with a single row or a single column) under the Robinson--Schensted--Knuth (RSK) correspondence, a property that we call RSK-completeness. We prove that for even $n$, cyclic permutations comprise the only fixed cycle decomposition that is RSK-complete. For odd $n$, cyclic permutations and almost cyclic permutations which have a cycle of length $n-1$ are the only RSK-complete cycle decompositions.

A permutation statistic $\operatorname{st}$ is said to be shuffle-compatible if the distribution of $\operatorname{st}$ over the set of shuffles of two disjoint permutations $π$ and $σ$ depends only on $\operatorname{st}π$, $\operatorname{st}σ$, and the lengths of $π$ and $σ$. Shuffle-compatibility is implicit in Stanley's early work on $P$-partitions, and was first explicitly studied by Gessel and Zhuang, who developed an algebraic framework for shuffle-compatibility centered around their notion of the shuffle algebra of a shuffle-compatible statistic. For a family of statistics called descent statistics, these shuffle algebras are isomorphic to quotients of the algebra of quasisymmetric functions. Recently, Domagalski, Liang, Minnich, Sagan, Schmidt, and Sietsema defined a version of shuffle-compatibility for statistics on cyclic permutations, and studied cyclic shuffle-compatibility through purely combinatorial means. In this paper, we define the cyclic shuffle algebra of a cyclic shuffle-compatible statistic, and develop an algebraic framework for cyclic shuffle-compatibility in which the role of quasisymmetric functions is replaced by the cyclic quasisymmetric functions recently introduced by Adin, Gessel, Reiner, and Roichman. We use our theory to provide explicit descriptions for the cyclic shuffle algebras of various cyclic permutation statistics, which in turn gives algebraic proofs for their cyclic shuffle-compatibility.

Given a graph, we associate each edge with the transposition which exchanges the endvertices. Fixing a linear order on the edge set, we obtain a permutation of the vertices. Dénes proved that the permutation is a full cyclic permutation for any linear order if and only if the graph is a tree. In this article, we characterize graphs having a linear order such that the associated permutation is a full cyclic permutation in terms of graph embeddings. Moreover, we give a counter example for Eden's question about an edge ordering whose associated permutation is the identity.

For a graph with edge ordering, a linear order on the edge set, we obtain a permutation of vertices by considering the edges as transpositions of endvertices. It is known from Dénes' results that the permutation of a tree is a full cyclic for any edge ordering. As a corollary, Dénes counted up the number of representations of a full cyclic permutation by means of product of the minimal number of transpositions. Moreover, a graph with an edge ordering which the permutation is a full cyclic is characterized by graph embedding. In this article, we consider an analogy of these results for signed graphs and hyperoctahedral groups. We give a necessary and sufficient condition for a signed graph to have an edge ordering such that the permutation is an even (or odd) full cyclic. We show that the edge ordering of the signed tree with some loops always gives an even (or odd) full cyclic permutation and count up the number of representations of an odd full cyclic permutation by means of product of the minimal number of transpositions.

There is a growing interest in studying the distribution of certain labels in products of permutations since the work of Stanley addressing a conjecture of Bóna. This paper is concerned with a problem in that direction. Let $D$ be a permutation on the set $[n]=\{1,2,\ldots, n\}$ and $E\subset [n]$. Suppose the maximum possible number of cycles uncontaminated by the $E$-labels in the product of $D$ and a cyclic permutation on $[n]$ is $θ$ (depending on $D$ and $E$). We prove that for arbitrary $D$ and $E$ with few exceptions, the number of cyclic permutations $γ$ such that $D\circ γ$ has exactly $θ-1$ $E$-label free cycles is at least $1/2$ that of $γ$ for $D\circ γ$ to have $θ$ $E$-label free cycles, where $1/2$ is best possible. An even more general result is also conjectured.

This paper develops the theory of enriched toric $[\vec{D}]$-partitions. Whereas Stembridge's enriched $P$-partitions give rises to the peak algebra which is a subring of the ring of quasi-symmetric functions $\text{QSym}$, our enriched toric $[\vec{D}]$-partitions will generate the cyclic peak algebra which is a subring of cyclic quasi-symmetric functions $\text{cQSym}$. In the same manner as the peak set of linear permutations appears when considering enriched $P$-partitions, the cyclic peak set of cyclic permutations plays an important role in our theory. The associated order polynomial is discussed based on this framework.

Let $S_n$ be the symmetric group of all permutations of $\{1, \cdots, n\}$ with two generators: the transposition switching $1$ with $2$ and the cyclic permutation sending $k$ to $k+1$ for $1\leq k\leq n-1$ and $n$ to $1$ (denoted by $σ$ and $τ$). In this article, we study quantum complexity of permutations in $S_n$ using $\{σ, τ, τ^{-1}\}$ as logic gates. We give an explicit construction of permutations in $S_n$ with quadratic quantum complexity lower bound $\frac{n^2-2n-7}{4}$. We also prove that all permutations in $S_n$ have quadratic quantum complexity upper bound $3(n-1)^2$. Finally, we show that almost all permutations in $S_n$ have quadratic quantum complexity lower bound when $n\rightarrow \infty$.

A rotational set is a finite subset $A$ of the unit circle $\mathbb{T}=\mathbb{R}/ \mathbb{Z}$ such that the angle-multiplying map $σ_{d}:t\mapsto dt$ maps $A$ onto itself by a cyclic permutation of its elements. Each rotational set has a geometric rotation number $p/q$. These sets were introduced by Lisa Goldberg to study the dynamics of complex polynomial maps. In this paper we provide a necessary and sufficient condition for a set to be $σ_{d}$-rotational with rotation number $p/q$. As applications of our condition, we recover two classical results and enumerate $σ_d$-rotational sets with rotation number $p/q$ that consist of a given number of orbits.

We study indecomposable involutive set-theoretic solutions of the Yang-Baxter equation with cyclic permutation groups (cocyclic solutions). In particular, we show that there is no one-to-one correspondence between indecomposable cocyclic solutions and cocyclic braces which contradicts recent results in \cite{Rump21}.

Pattern avoidance for permutations has been extensively studied, and has been generalized to vincular patterns, where certain elements can be required to be adjacent. In addition, cyclic permutations, i.e., permutations written in a circle rather than a line, have been frequently studied, including in the context of pattern avoidance. We investigate vincular pattern avoidance on cyclic permutations. In particular, we enumerate many avoidance classes of sets of vincular patterns of length 3, including a complete enumeration for all single patterns of length 3. Further, several of the avoidance classes corresponding to a single vincular pattern of length 4 are enumerated by the Catalan numbers. We then study more generally whether sets of vincular patterns of an arbitrary length $k$ can be avoided for arbitrarily long cyclic permutations, in particular investigating the boundary cases of minimal unavoidable sets and maximal avoidable sets.