Some Observations about the "Generalized Abundancy Index"
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912374081978368 |
|---|---|
| author | Starr, Shannon |
| author_facet | Starr, Shannon |
| contents | Let $\mathcal{A}(\ell,n) \subset S_n^{\ell}$ denote the set of all $\ell$-tuples $(π_1,\dots,π_{\ell})$, for $π_1,\dots,π_{\ell} \in S_n$ satisfying: $\forall i<j$ we have $π_iπ_j=π_jπ_i$. Considering the action of $S_n$ on $[n]=\{1,\dots,n\}$, let $κ(π_1,\dots,π_{\ell})$ be equal to the number of orbits of the action of the subgroup $\langle π_1,\dots,π_{\ell} \rangle \subset S_n$. There has been interest in the study of the combinatorial numbers $A(\ell,n,k)$ equal to the cardinalities $|\{(π_1,\dots,π_{\ell}) \in \mathcal{A}(\ell,n)\, :\, κ(π_1,\dotsπ_{\ell})=k\}|$. If one defines $B(\ell,n)=A(\ell,n,1)/(n-1)!$, then it is known that $B(\ell,n) = \sum_{(f_1,\dots,f_{\ell}) \in \mathbb{N}^{\ell}} \mathbf{1}_{\{n\}}(f_1\cdots f_{\ell}) \prod_{r=1}^{\ell-1} f_r^{\ell-r}$. A special case, $\ell=2$, is $B(2,n) = \sum_{d|n} d = σ_1(n)$ the sum-of-divisors function. Then $A(2,n,1)/n!=B(2,n)/n$ is called the abundancy index: $σ_1(n)/n$. We call $B(\ell,n) n^{-\ell+1}$ the ``generalized abundancy index.'' Building on work of Abdesselam, using the probability model, we prove that $\lim_{N \to \infty} N^{-1} \sum_{n=1}^{N} B(\ell,n) n^{-\ell+1}$ equals $ζ(2)\cdots ζ(\ell)$. Motivated by this we state a more precise conjecture for the asymptotics of $-ζ(2) + N^{-1}\sum_{n=1}^{N} (B(2,n)/n)$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_07051 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Some Observations about the "Generalized Abundancy Index" Starr, Shannon Combinatorics Number Theory Probability 11B75, 05A19, 41A60, 60F05 Let $\mathcal{A}(\ell,n) \subset S_n^{\ell}$ denote the set of all $\ell$-tuples $(π_1,\dots,π_{\ell})$, for $π_1,\dots,π_{\ell} \in S_n$ satisfying: $\forall i<j$ we have $π_iπ_j=π_jπ_i$. Considering the action of $S_n$ on $[n]=\{1,\dots,n\}$, let $κ(π_1,\dots,π_{\ell})$ be equal to the number of orbits of the action of the subgroup $\langle π_1,\dots,π_{\ell} \rangle \subset S_n$. There has been interest in the study of the combinatorial numbers $A(\ell,n,k)$ equal to the cardinalities $|\{(π_1,\dots,π_{\ell}) \in \mathcal{A}(\ell,n)\, :\, κ(π_1,\dotsπ_{\ell})=k\}|$. If one defines $B(\ell,n)=A(\ell,n,1)/(n-1)!$, then it is known that $B(\ell,n) = \sum_{(f_1,\dots,f_{\ell}) \in \mathbb{N}^{\ell}} \mathbf{1}_{\{n\}}(f_1\cdots f_{\ell}) \prod_{r=1}^{\ell-1} f_r^{\ell-r}$. A special case, $\ell=2$, is $B(2,n) = \sum_{d|n} d = σ_1(n)$ the sum-of-divisors function. Then $A(2,n,1)/n!=B(2,n)/n$ is called the abundancy index: $σ_1(n)/n$. We call $B(\ell,n) n^{-\ell+1}$ the ``generalized abundancy index.'' Building on work of Abdesselam, using the probability model, we prove that $\lim_{N \to \infty} N^{-1} \sum_{n=1}^{N} B(\ell,n) n^{-\ell+1}$ equals $ζ(2)\cdots ζ(\ell)$. Motivated by this we state a more precise conjecture for the asymptotics of $-ζ(2) + N^{-1}\sum_{n=1}^{N} (B(2,n)/n)$. |
| title | Some Observations about the "Generalized Abundancy Index" |
| topic | Combinatorics Number Theory Probability 11B75, 05A19, 41A60, 60F05 |
| url | https://arxiv.org/abs/2505.07051 |