Coprime permutations

Carl Pomerance

DOI: https://doi.org/10.48550/arXiv.2203.03085

2022-03-07

Abstract:Let $C(n)$ denote the number of permutations $\sigma$ of $[n]=\{1,2,\dots,n\}$ such that $\gcd(j,\sigma(j))=1$ for each $j\in[n]$. We prove that for $n$ sufficiently large, $n!/3.73^n < C(n) < n!/2.5^n$.

Number Theory

What problem does this paper attempt to address?

Permutations with arithmetic constraints

Carl Pomerance

DOI: https://doi.org/10.48550/arXiv.2206.01699

2022-06-06

Abstract:Let $S_{\rm lcm}(n)$ denote the set of permutations $\pi$ of $[n]=\{1,2,\dots,n\}$ such that ${\rm lcm}[j,\pi(j)]\le n$ for each $j\in[n]$. Further, let $S_{\rm div}(n)$ denote the number of permutations $\pi$ of $[n]$ such that $j\mid\pi(j)$ or $\pi(j)\mid j$ for each $j\in[n]$. Clearly $S_{\rm div}(n)\subset S_{\rm lcm}(n)$. We get upper and lower bounds for the counts of these sets, showing they grow geometrically. We also prove a conjecture from a recent paper on the number of "anti-coprime" permutations of $[n]$, meaning that each $\gcd(j,\pi(j))>1$ except when $j=1$.

Number Theory,Combinatorics
Congruences Involving Permutation

SHEN Zhongyan,CAI Tianxin

DOI: https://doi.org/10.11845/sxjz.2017040b

2018-01-01

Abstract:Let A2(n) ={(i j) |1 ≤ i ＜ j ≤ n,(ij,n) =1},A3(n) ={(i j l),(i l j) | 1 ≤ i ＜ j ＜ 1 ≤ n,(ijl,n) =1},where cycle (x1 x2...xk) denotes a permutation,which maps xi to xi+1 for i ＜ k,and xk to x1,while mapping all other elements to themselves.We show the congruences of Σσ∈A2(n)n Σk=1(k,n)=1 σ(k)/km and Σσ∈A3(n) nΣk=1(k,n)=1 σ(k)/km,=Σi=1where σ denotes the permutation.Meanwhile,letting p ≥ 5 be a prime and H(k) =Σk i=1 1/i,we also show that Σσ∈A2(p) p-1 Σk=1σm(k)H(k) =2Bm (mod p),Σσ∈A3(p) p-1Σ k=1σm(k)H(k) =≡ 5Bm (mod p).
On Restricted Permutations of $\{1,\Ldots,n\}$

Zhi‐Wei Sun

2018-01-01

Abstract:In this paper we study combinatorial aspects of permutations of $\{1,\ldots,n\}$ and related topics. In particular, we show that there is a unique permutation $\pi$ of $\{1,\ldots,n\}$ such that all the numbers $k+\pi(k)$ ($k=1,\ldots,n$) are powers of two. We also prove that $n\mid\text{per}[i^{j-1}]_{1\le i,j\le n}$ for any integer $n>2$. We conjecture that if a group $G$ contains no element of order among $2,\ldots,n+1$ then any $A\subseteq G$ with $|A|=n$ can be written as $\{a_1,\ldots,a_n\}$ with $a_1,a_2^2,\ldots,a_n^n$ pairwise distinct. This conjecture is confirmed when $G$ is a torsion-free abelian group. We also show that for any finite subset $A$ of a torsion-free abelian group $G$ with $|A|=n>3$, there is a numbering $a_1,\ldots,a_n$ of all the elements of $A$ such that all the $n$ sums $$a_1+a_2+a_3, a_2+a_3+a_4, \ldots, a_{n-2}+a_{n-1}+a_n, a_{n-1}+a_n+a_1, a_n+a_1+a_2$$ are pairwise distinct.
On Permutations of {1,…,n} and Related Topics

Sun Zhi-Wei

DOI: https://doi.org/10.1007/s10801-021-01028-8

2021-01-01

Journal of Algebraic Combinatorics

Abstract:In this paper, we study combinatorial aspects of permutations of $$\{1,\ldots ,n\}$$ and related topics. In particular, we prove that there is a unique permutation $$\pi $$ of $$\{1,\ldots ,n\}$$ such that all the numbers $$k+\pi (k)$$ ( $$k=1,\ldots ,n$$ ) are powers of two. We also show that $$n\mid {\mathrm{per}}[i^{j-1}]_{1\leqslant i,j\leqslant n}$$ for any integer $$n>2$$ . We conjecture that if a group G contains no element of order among $$2,\ldots ,n+1$$ then any $$A\subseteq G$$ with $$|A|=n$$ can be written as $$\{a_1,\ldots ,a_n\}$$ with $$a_1,a_2^2,\ldots ,a_n^n$$ pairwise distinct. This conjecture is confirmed when G is a torsion-free abelian group. We also prove that for any finite subset A of a torsion-free abelian group G with $$|A|=n>3$$ , there is a numbering $$a_1,\ldots ,a_n$$ of all the elements of A such that all the n sums $$\begin{aligned}&a_1+a_2+a_3,\quad a_2+a_3+a_4,\ldots , a_{n-2}+a_{n-1}+a_n,\\&\quad a_{n-1}+a_n+a_1,\quad a_n+a_1+a_2 \end{aligned}$$ are pairwise distinct, and conjecture that this remains valid if G is cyclic.
Cyclically consecutive permutation avoidance

Richard Ehrenborg

DOI: https://doi.org/10.48550/arXiv.1312.2051

2013-12-07

Abstract:We give an explicit formula for the number of permutations avoiding cyclically a consecutive pattern in terms of the spectrum of the associated operator of the consecutive pattern. As an example, the number of cyclically consecutive $123$-avoiding permutations in ${\mathfrak S}_{n}$ is given by $n!$ times the convergent series ${\displaystyle \sum_{k=-\infty}^{\infty} \left(\frac{\sqrt{3}}{2\pi(k+1/3)}\right)^{n}}$ for $n \geq 2$.

Combinatorics
Expressing even permutations as commutators

Minh Hieu Tran

DOI: https://doi.org/10.1080/00927872.2024.2418021

2024-10-30

Communications in Algebra

Abstract:We prove that an element of the symmetric group of degree n>3 can be represented as the commutator of two permutations whose supports intersect at exactly p≤n points if and only if it is the product of p cycles of length 3. As an accompanying result, and also as a step of the main result's proof, we give a lower bound for p to express an even permutation as the product of p cycles of length 3, in terms of its decomposition into disjoint cycles.

mathematics
Counting pairs of cycles whose product is a permutation with restricted cycle lengths

Miklos Bona,Boris Pittel

2024-07-17

Abstract:We find exact and asymptotic formulas for the number of pairs $(p,q)$ of $N$-cycles such that the all cycles of the product $p\cdot q$ have lengths from a given integer set. We then apply these results to prove a surprisingly high lower bound for the number of permutations whose block transposition distance from the identity is at least $(n+1)/2$.

Combinatorics
Pattern-restricted permutations of small order

Kassie Archer,Robert P. Laudone

2024-02-24

Abstract:We enumerate 132-avoiding permutations of order 3 in terms of the Catalan and Motzkin generating functions, answering a question of Bóna and Smith from 2019. We also enumerate 231-avoiding permutations that are composed only of 3-cycles, 2-cycles, and fixed points.

Combinatorics
Permutations Containing and Avoiding 123 and 132 Patterns

Aaron Robertson

DOI: https://doi.org/10.48550/arXiv.math/9903169

1999-03-30

Abstract:We prove that the number of permutations which avoid 132-patterns and have exactly one 123-pattern equals (n-2)2^(n-3). We then give a bijection onto the set of permutations which avoid 123-patterns and have exactly one 132-pattern. Finally, we show that the number of permutations which contain exactly one 123-pattern and exactly one 132-pattern is (n-3)(n-4)2^(n-5).

Combinatorics
Connections between Combinations Without Specified Separations and Strongly Restricted Permutations, Compositions, and Bit Strings

Michael A. Allen

2024-09-01

Abstract:Let $S_n$ and $S_{n,k}$ be, respectively, the number of subsets and $k$-subsets of $\mathbb{N}_n=\{1,\ldots,n\}$ such that no two subset elements differ by an element of the set $\mathcal{Q}$. We prove a bijection between such $k$-subsets when $\mathcal{Q}=\{m,2m,\ldots,jm\}$ with $j,m>0$ and permutations $\pi$ of $\mathbb{N}_{n+jm}$ with $k$ excedances satisfying $\pi(i)-i\in\{-m,0,jm\}$ for all $i\in\mathbb{N}_{n+jm}$. We also identify a bijection between another class of restricted permutation and the cases $\mathcal{Q}=\{1,q\}$. This bijection allows us to prove a conjectured recursion relation for the number of such permutations which corresponds to the case $\mathcal{Q}=\{1,4\}$. We also obtain recursion relations for $S_n$ and $S_{n,k}$ in the case $\mathcal{Q}=\{1,5\}$ by first obtaining related recursion relations for the numbers of closed walks of a given length on a particular class of directed pseudograph. We give some classes of $\mathcal{Q}$ for which $S_n$ is also the number of compositions of $n+q$ into a given set of allowed parts, where $q$ is the largest element of $\mathcal{Q}$. A bijection between the $k$-subsets for any $\mathcal{Q}$ and bit strings is also noted. Aided by this, an efficient algorithm for finding $S_n$ and $S_{n,k}$ is given. We also prove a bijection between $k$-subsets for a class of $\mathcal{Q}$ and the set representations of size $k$ of equivalence classes for the occurrence of a given length-($q+1$) subword within bit strings. We then formulate a straightforward procedure for obtaining the generating function for the number of such equivalence classes.

Combinatorics
Connections between numbers counting certain permutations

Piotr Miska,Błażej Żmija

2024-11-29

Abstract:For non-negative integer parameters $r,u,m,n$ define \begin{align*} \cal{D}(r,u,m,n) := \big\{\ \sigma\in \cal{S}_{r+n}\ \big|\ \sigma(x)=y \textrm{ for exactly } u \textrm{ pairs } (x,y) \textrm{ such that } 1\leq x,y\leq r \textrm{ and } \sigma(t)=t \textrm{ for exactly } m \textrm{ elements } r+1\leq t\leq r+n\ \big\} \end{align*} and \begin{align*} \cal{D}_{r,u,m}(n) := \big\{\ \sigma\in \cal{S}_{r+n}\ \big|\ \forall_{1\leq x<y\leq r} \ x \textrm{ and } y \textrm{ are in disjoint cycles of } \sigma \textrm{ and } \sigma(z)=z \textrm{ for exactly } u \textrm{ elements } 1\leq z\leq r, \textrm{ and } \sigma(t)=t \textrm{ for exactly } m \textrm{ elements } r+1\leq t\leq r+n\ \big\}, \end{align*} where $\mathcal{S}_{n}$ denotes the set of all the permutations of $\{1,\ldots ,n\}$. In this paper we study connections between the sets $\mathcal{D}(r,u,m,n)$, $\mathcal{D}_{r,u,m}(n)$, and the sets of (some classes of) $r$-derangements. We rely mostly on counting arguments.

Combinatorics,Number Theory
Counting Permutations in $S_{2n}$ and $S_{2n+1}$

Yuewen Luo

2024-07-10

Abstract:Let $\alpha(n)$ denote the number of perfect square permutations in the symmetric group $S_n$. The conjecture $\alpha(2n+1) = (2n+1) \alpha(2n)$, provided by Stanley[4], was proved by Blum[1] using a generating function. This paper presents a combinatorial proof for this conjecture. At the same time, we demonstrate that all permutations with an even number of even cycles in both $S_{2n}$ and $S_{2n+1}$ can be categorized into three distinct types that correspond to each other.

Combinatorics
Cyclic permutations avoiding patterns in both one-line and cycle forms

Kassie Archer,Ethan Borsh,Jensen Bridges,Christina Graves,Millie Jeske

2024-09-03

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

Combinatorics
On computing the closures of solvable permutation groups

Ilia Ponomarenko,Andrey V. Vasil'ev

DOI: https://doi.org/10.1142/S0218196724500036

2023-04-06

Abstract:Let $m\ge 3$ be an integer. It is proved that the $m$-closure of a given solvable permutation group of degree $n$ can be constructed in time $n^{O(m)}$.

Group Theory
Explicit Good Codes Approaching Distance 1 in Ulam Metric

Elazar Goldenberg,Mursalin Habib,Karthik C. S

2024-05-12

Abstract:The Ulam distance of two permutations on $[n]$ is $n$ minus the length of their longest common subsequence. In this paper, we show that for every $\varepsilon>0$, there exists some $\alpha>0$, and an infinite set $\Gamma\subseteq \mathbb{N}$, such that for all $n\in\Gamma$, there is an explicit set $C_n$ of $(n!)^{\alpha}$ many permutations on $[n]$, such that every pair of permutations in $C_n$ has pairwise Ulam distance at least $(1-\varepsilon)\cdot n$. Moreover, we can compute the $i^{\text{th}}$ permutation in $C_n$ in poly$(n)$ time and can also decode in poly$(n)$ time, a permutation $\pi$ on $[n]$ to its closest permutation $\pi^*$ in $C_n$, if the Ulam distance of $\pi$ and $\pi^*$ is less than $ \frac{(1-\varepsilon)\cdot n}{4} $.

Information Theory,Computational Complexity,Data Structures and Algorithms,Combinatorics
Permutations Restricted by Two Distinct Patterns of Length Three

Aaron Robertson

DOI: https://doi.org/10.48550/arXiv.math/0012029

2000-12-08

Abstract:Define $S_n(R;T)$ to be the number of permutations on $n$ letters which avoid all patterns in the set $R$ and contain each pattern in the multiset $T$ exactly once. In this paper we enumerate $S_n(\{\alpha\};\{\beta\})$ and $S_n(\emptyset;\{\alpha,\beta\})$ for all $\alpha \neq \beta \in S_3$. The results for $S_n(\{\alpha\};\{\beta\})$ follow from two papers by Mansour and Vainshtein.

Combinatorics
Efficient recurrence for the enumeration of permutations with fixed pinnacle set

Wenjie Fang

DOI: https://doi.org/10.46298/dmtcs.8321

2022-03-11

Abstract:Initiated by Davis, Nelson, Petersen and Tenner (2018), the enumerative study of pinnacle sets of permutations has attracted a fair amount of attention recently. In this article, we provide a recurrence that can be used to compute efficiently the number $|\mathfrak{S}_n(P)|$ of permutations of size $n$ with a given pinnacle set $P$, with arithmetic complexity $O(k^4 + k\log n)$ for $P$ of size $k$. A symbolic expression can also be computed in this way for pinnacle sets of fixed size. A weighted sum $q_n(P)$ of $|\mathfrak{S}_n(P)|$ proposed in Davis, Nelson, Petersen and Tenner (2018) seems to have a simple form, and a conjectural form is given recently by Flaque, Novelli and Thibon (2021+). We settle the problem by providing and proving an alternative form of $q_n(P)$, which has a strong combinatorial flavor. We also study admissible orderings of a given pinnacle set, first considered by Rusu (2020) and characterized by Rusu and Tenner (2021), and we give an efficient algorithm for their counting.

mathematics, applied,computer science, software engineering
Forbidden arithmetic progressions in permutations of subsets of the integers

Jesse Geneson

DOI: https://doi.org/10.1016/j.disc.2019.02.004

IF: 0.961

2019-05-01

Discrete Mathematics

Abstract:<h2>Abstract</h2><p>Permutations of the positive integers avoiding arithmetic progressions of length 5 were constructed in Davis et al. (1977), implying the existence of permutations of the integers avoiding arithmetic progressions of length 7. We construct a permutation of the integers avoiding arithmetic progressions of length 6. We also prove a lower bound of <span><math>12</math></span> on the lower density of subsets of positive integers that can be permuted to avoid arithmetic progressions of length 4, sharpening the lower bound of <span><math>13</math></span> from LeSaulnier and Vijay (2011).</p>

mathematics
On A Permutation Problem for Finite Abelian Groups

Fan Ge,Zhi-Wei Sun

DOI: https://doi.org/10.37236/5915

2017-01-01

Abstract:Let $G$ be a finite additive abelian group with exponent $n>1$, and let $a_1,\ldots,a_{n-1}\in G$. We show that there is a permutation $\sigma\in S_{n-1}$ such that all the elements $sa_{\sigma(s)}\ (s=1,\ldots,n-1)$ are nonzero if and only if $$\left|\left\{1\le s<n:\ \frac{n}{d}a_s\ne 0\right\}\right|\ge d-1\ \ \textrm{ for every positive divisor }\ d\ \textrm{ of }\ n.$$ When $G$ is the cyclic group $\mathbb Z/n\mathbb Z$, this confirms a conjecture of Z.-W. Sun.

Coprime permutations

Permutations with arithmetic constraints

Congruences Involving Permutation

On Restricted Permutations of $\{1,\Ldots,n\}$

On Permutations of {1,…,n} and Related Topics

Cyclically consecutive permutation avoidance

Expressing even permutations as commutators

Counting pairs of cycles whose product is a permutation with restricted cycle lengths

Pattern-restricted permutations of small order

Permutations Containing and Avoiding 123 and 132 Patterns

Connections between Combinations Without Specified Separations and Strongly Restricted Permutations, Compositions, and Bit Strings

Connections between numbers counting certain permutations

Counting Permutations in $S_{2n}$ and $S_{2n+1}$

Cyclic permutations avoiding patterns in both one-line and cycle forms

On computing the closures of solvable permutation groups

Explicit Good Codes Approaching Distance 1 in Ulam Metric

Permutations Restricted by Two Distinct Patterns of Length Three

Efficient recurrence for the enumeration of permutations with fixed pinnacle set

Forbidden arithmetic progressions in permutations of subsets of the integers

On A Permutation Problem for Finite Abelian Groups