Cover Image

Prime Density in Permutation Families with Fixed Digital Root Across Numeral Bases: An Empirical Study with a Conditional Hardy–Littlewood Framework and Machine-Verified Algebraic Results

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Ferraiuolo, Giovanni
Format:	Recurso digital
Language:	English
Published:	Zenodo 2026
Subjects:	number theory prime distribution digital root permutation families Hardy-Littlewood conjecture singular series equidistribution formal verification Lean 4 Mathlib reproducible research computational number theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Fractal Geometric Analysis of the Goldbach Comet via the Fractal Correction Engine
by: McEvoy, Adam L
Published: (2026)

The Crossover Phenomenon in Hardy-Littlewood Goldbach Formula - Computational Evidence Across Five Orders of Magnitude
by: Chen, Ruqing
Published: (2026)

Statistical Morphology and Geodesic Rigidity of Prime Constellations in Q(n) = n⁴⁷ − (n−1)⁴⁷: A Complete Census of the First 2 Billion Cases
by: Chen, Ruqing
Published: (2026)

On the non-existence of non-trivial Collatz cycles: a conditional formal proof in Lean 4 with documented structural obstructions
by: Merle, Eric
Published: (2026)

Hana's conjecture
by: Elgamala, Hana Abdelrahman
Published: (2025)

Polynomial Constellations in Deep Arithmetic Space: Data, Code, and Figures for Q(n) = n⁴⁷ − (n−1)⁴⁷ Prime k-Tuple Analysis
by: Chen, Ruqing
Published: (2026)

Abstract Zeta–Möbius Inversion: A Minimal Monoid-Based Schema for Formal Verification
by: Jefferson, Bob
Published: (2026)

The Source Code: The Golden Divisor — Every Prime Has a Fibonacci Address
by: BERTRAND, Miguel
Published: (2026)

Carry Mixing and Spectral Gap Analysis of the Collatz Conjecture: 202 Lean4 Theorems and the Fibonacci Firewall
by: Fujimoto, Nobuki, et al.
Published: (2026)

Prime Constellations of nᵏ − (n−1)ᵏ: Algebraic Obstructions, Bateman–Horn Verification, and the Non-Monotonicity of Maximum Constellation Lengths
by: Chen, Ruqing
Published: (2026)

The φ-Field Structure of the Prime Numbers,
by: Angell, Harald
Published: (2025)

Exploring the Properties and Applications of Prime Numbers in Modern Number Theory
by: Nitesh Chavan
Published: (2025)

Three Axioms for the Motive: Constructive Reverse Mathematics Meets Grothendieck's Universal Cohomology (Paper 50, Lean 4 Formalization)
by: Lee, Paul Chun-Kit
Published: (2026)

LeanC2: Lean 4 formalization for the C2
by: Motta, Thiago F.
Published: (2026)

Dyadic Geometry of the Zeta Function — Formal Lean Verification
by: Motta, Thiago F.
Published: (2026)

Lean Aps Recursion Uniformization (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Observer Non Exhaustability (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Observer Non Exhaustability (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Representational Incompleteness (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Representational Incompleteness (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Reflexive Closure (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Reflexive Architecture Nonexhaustibility (Lean formalization)
by: Spivack, Nova
Published: (2026)

UGP/GTE Lean formalization
by: Spivack, Nova
Published: (2026)

A Compact Closed-Form Approximation for the n-th Prime in Digital Root Classes Modulo 9: Implementation and Benchmark
by: Ferraiuolo, Giovanni
Published: (2026)

Lean Nems (Lean formalization)
by: Spivack, Nova
Published: (2026)

The $\Lambda$VSC One-Parameter Cosmological Model: A Unified Analysis of the Cosmological Constant, Singularities, Ultraviolet Divergence, and Hubble Tension with Lean 4 Verification
by: Huang, Tongbing
Published: (2026)

Primes as a Field on a Discrete Torus: Primorial Field Dynamics, Gap Composition Profiles, and an Information-Theoretic Reformulation -- PrimSpace v3.0
by: Tatai, László
Published: (2026)

Primes as a Field on a Discrete Torus
by: Tatai, László
Published: (2026)

The Tusk Series: First Differences of the Sum-of-Prime-Factors Function
by: Sutton, Adrian - Tusk
Published: (2026)

Pillai's Conjecture
by: Keen, Joseph
Published: (2026)

Newman's Conjecture
by: Keen, Joseph
Published: (2026)

Quantitative Integral Comparison for Monotone Series IV: The Harmonic Sum via Weak Euler–Maclaurin Comparison
by: Jefferson, Bob
Published: (2026)

From Five-Class Blocks to the Riemann Hypothesis
by: Miño Arnoso, Samuel Victor
Published: (2026)

PERMUTABLE PRIME NUMBERS and CIRCULAR PRIME NUMBERS DECOMPOSITIONS FOR MERSENNES EXPONENTS
by: Martin, Doina
Published: (2026)

Quantitative Predictions for Prime Values of the Titan Polynomial: The Bateman--Horn Constant and Asymptotic Density
by: Chen, Ruqing
Published: (2026)

A Signed Large–Sieve Inequality for the Prime–Power Log Lattice: Cancellation as the Only Surviving Mechanism in Strip–RKHS
by: Esposito, Giovanni
Published: (2026)

erdos-ant-verification: An Executable Verification Artifact for the Sawin et al. Lower Bound on the Erdős Unit-Distance Exponent
by: Yun, Kwansub, et al.
Published: (2026)

erdos-ant-verification: An Executable Reproduction Artifact for Equation (2.2) of the Erdős Unit-Distance Disproof Remarks Paper
by: Yun, Kwansub, et al.
Published: (2026)

erdos-ant-verification: An Executable Verification Artifact for the Sawin et al. Lower Bound on the Erdős Unit-Distance Exponent
by: Flamehaven Labs
Published: (2026)

(Technical Note) What the Ceiling Means: Constructive Schools, Physical Actualisation, and the Fine Structure of BISH+LPO (Paper 43, Constructive Reverse Mathematics Series)
by: Lee, Paul Chun-Kit
Published: (2026)