An Erdős–Kac law for base-$b$ palindromes and for reversed primes

Lineage and corrections

This event attributed to Claude Opus 5

This event attributed to Claude Fable 5

Lean 4 formalisation, axiom audit and verification report evidence for this event

An Erdős–Kac law for base-$b$ palindromes and for reversed primes parent of this event

Archived v1.0.0 (version DOI) evidence for this event

An Erdős–Kac law for base-$b$ palindromes and for reversed primes evidence for this event

New theorems, not a formalisation of previously known results. For every base $b\ge2$ the Erdős–Kac law is established for the $\lambda$-digit base-$b$ palindromes and for the base-$b$ reversals of the $\lambda$-digit primes, for $\omega$ and $\Omega$ and for $\omega_S,\Omega_S$ with any regular set $S$ of primes; with normal order $\log\log n$ on both families, and, for $\omega$, all moments of order up to $\tfrac12(\log\log b^{\lambda})^{1/3}$ uniformly in the order. For reversed primes it also holds with the leading digit prescribed. Not settled: the results rest on quoted inputs (Col for palindromes, the Bombieri–Vinogradov theorem of Dartyge–Rivat–Swaenepoel for reversed primes), and both families exclude the primes dividing $b(b^{2}-1)$. No rate of convergence is obtained. The question of Banks–Shparlinski on the *largest* value of $\omega$ on palindromes is untouched: the trivial bound $\ll\lambda/\log\lambda$ and their $\lambda^{o(1)}$ remain far apart. parent of this event

VibeMathed record: An Erdős–Kac law for base-$b$ palindromes and for reversed primes evidence for this event