number-theory / Analytic number theory

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

New theorems, not a formalisation of previously known results. For every base b≥2b\ge2 the Erdős–Kac law is established for the λ\lambda-digit base-bb palindromes and for the base-bb reversals of the λ\lambda-digit primes, for ω\omega and Ω\Omega and for ωS,ΩS\omega_S,\Omega_S with any regular set SS of primes; with normal order log⁡log⁡n\log\log n on both families, and, for ω\omega, all moments of order up to 12(log⁡log⁡bλ)1/3\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(b2−1)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 ≪λ/log⁡λ\ll\lambda/\log\lambda and their λo(1)\lambda^{o(1)} remain far apart.

12Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

number-theoryAug 1, 2026Significance 12/100Registry: lean checked

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

Prior state unknown→proved

New theorems, not a formalisation of previously known results. For every base b≥2b\ge2 the Erdős–Kac law is established for the λ\lambda-digit base-bb palindromes and for the base-bb reversals of the λ\lambda-digit primes, for ω\omega and Ω\Omega and for ωS,ΩS\omega_S,\Omega_S with any regular set SS of primes; with normal order log⁡log⁡n\log\log n on both families, and, for ω\omega, all moments of order up to…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

New theorems, not a formalisation of previously known results. For every base b≥2b\ge2 the Erdős–Kac law is established for the λ\lambda-digit base-bb palindromes and for the base-bb reversals of the λ\lambda-digit primes, for ω\omega and Ω\Omega and for ωS,ΩS\omega_S,\Omega_S with any regular set SS of primes; with normal order log⁡log⁡n\log\log n on both families, and, for ω\omega, all moments of order up to 12(log⁡log⁡bλ)1/3\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(b2−1)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 ≪λ/log⁡λ\ll\lambda/\log\lambda and their λo(1)\lambda^{o(1)} remain far apart.

New theorems, not a formalisation of previously known results. For every base b≥2b\ge2 the Erdős–Kac law is established for the λ\lambda-digit base-bb palindromes and for the base-bb reversals of the λ\lambda-digit primes, for ω\omega and Ω\Omega and for ωS,ΩS\omega_S,\Omega_S with any regular set SS of primes; with normal order log⁡log⁡n\log\log n on both families, and, for ω\omega, all moments of order up to 12(log⁡log⁡bλ)1/3\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(b2−1)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 ≪λ/log⁡λ\ll\lambda/\log\lambda and their λo(1)\lambda^{o(1)} remain far apart.

Recorded attempts

Evidence graph

Connected research record