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

What problem does this paper attempt to address?

This paper attempts to solve the permutation counting problems related to arithmetic constraints. Specifically: 1. **Define specific permutation sets**: - Define two special permutation sets $ S_{\text{lcm}}(n) $ and $ S_{\text{div}}(n) $, where: - $ S_{\text{lcm}}(n) $ refers to all permutations $ \pi $ such that for each $ j\in [n] $, $ \text{lcm}(j,\pi(j))\leq n $. - $ S_{\text{div}}(n) $ refers to all permutations $ \pi $ such that for each $ j\in [n] $, $ j\mid \pi(j) $ or $ \pi(j)\mid j $. 2. **Study the sizes of these sets**: - The main objective of the paper is to provide upper and lower bound estimates for the number of elements in $ S_{\text{lcm}}(n) $ and $ S_{\text{div}}(n) $. Specifically, the author proves that the number of elements in these two sets grows geometrically as $ n $ increases and gives specific upper and lower bound formulas. 3. **Prove a conjecture**: - The author proves a conjecture about "anti - coprime permutations". For a permutation $ \pi $ of $ n $, if for each $ j\in [n] $, except $ j = 1 $, $ \gcd(j,\pi(j))> 1 $, then the lower bound of the number of such permutations is $ \frac{n!}{(\log n)^{\alpha+o(1)}} $, where $ \alpha = e^{-\gamma} $, and $ \gamma $ is the Euler constant. 4. **Compare $ S_{\text{div}}(n) $ and $ S_{\text{lcm}}(n) $**: - The author also studies the relative sizes of $ S_{\text{lcm}}(n) $ and $ S_{\text{div}}(n) $ and proves that $ \frac{\#S_{\text{lcm}}(n)}{\#S_{\text{div}}(n)} $ grows geometrically as $ n $ increases. 5. **Derivation of upper and lower bounds**: - The paper elaborately derives the upper and lower bounds of $ S_{\text{lcm}}(n) $ and gives specific estimated values through complex combinatorial analysis and number - theoretic tools. In summary, this paper mainly focuses on the permutation counting problems with arithmetic constraints, especially the study of the number of elements in $ S_{\text{lcm}}(n) $ and $ S_{\text{div}}(n) $ and their properties. Through strict mathematical derivations, the author not only provides upper and lower bound estimates for these sets but also proves some important conjectures.

Permutations with arithmetic constraints

Coprime permutations

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

Congruences Involving Permutation

Forbidden arithmetic progressions in permutations of subsets of the integers

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

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

Connections between numbers counting certain permutations

Composable Constraint Models for Permutation Enumeration

Parity statistics on restricted permutations and the Catalan--Schett polynomials

On A Permutation Problem for Finite Abelian Groups

Permutations that separate close elements, and rectangle packings in the torus

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

Combinatorial Congruences Modulo Prime Powers

Permutations Containing and Avoiding 123 and 132 Patterns

Improving Behrend's construction: Sets without arithmetic progressions in integers and over finite fields

High order congruences for $M$-ary partitions

Improved Bounds for Geometric Permutations

New Constructions of Permutation Arrays

Sampling Permutations Satisfying Constraints within and beyond the Local Lemma Regime

A logical limit law for $231$-avoiding permutations