The Alladi-like supernormal identity conjecture

Let f(n)f(n) be an arithmetic function, let idx(pn)=n\operatorname{idx}(p_n)=n, let pmin(n)p_{\operatorname{min}}(n) be the prime associated with the least prime factor of nn, and define μ(n)=μ(n)\mu^*(n)=-\mu(n). Assume that

limN1Nk=1Nf(k)=Lf\lim_{N\to\infty}\frac{1}{N}\sum_{k=1}^{N}f(k)=L_f

exists. Alladi-like supernormal identity conjecture. Then

n2μ(n)(fidx)(pmin(n))n=Lf.\sum_{n\geq 2}\frac{\mu^*(n)\left(f\circ\operatorname{idx}\right)\left(p_{\operatorname{min}}(n)\right)}{n}=L_f.

The identity is proposed by transferring a partition-theoretic Abelian formula to natural numbers through the paper’s partition–prime analogies. No proof or resolution of this conjectural identity is given.

Sources & referencesView supporting material

Primary source

Madeline Locus Dawsey, Matthew Just and Robert Schneider, “A "supernormal" partition statistic”, arXiv:2107.14284 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.