Sep 2026· Zenodo (CERN European Organization for Nuclear Research)
Benford’s Law and Fraud Detection
Abstract
The folding of polypeptide chains into biologically active tertiary structures and the Collatz (3n+1) conjecture represent two notoriously difficult open problems characterized by extreme initial trajectory chaos collapsing into inevitable, deterministic attractors. In macromolecular biophysics, Levinthal's paradox illustrates that an unbiased conformational search across 3^{2N} dihedral states would exceed the age of the universe (requiring \sim 10^{75} years for N = 100 residues), yet proteins fold within milliseconds (10^{-3} s) into a singular, lowest-free-energy topological manifold. In arithmetic dynamics, the Collatz map f(n) exhibits wild, pseudo-random orbit expansions, yet every orbit invariably collapses into the periodic attractor cycle \mathcal{A} = \{4, 2, 1\}. In this paper, we establish the profound mathematical isomorphism between these two phenomena. Analyzing Terence Tao's 2019 breakthrough---which mapped the discrete Collatz problem into continuous Partial Differential Equations (PDEs)---we construct the philosophical and mathematical foundation for the H3QM Discrete Duality Theory. H3QM executes the exact inverse mapping: abandoning computationally intractable continuous differential calculus (\square^2 \phi = 0) in molecular dynamics, replacing them with a discrete Markov Decision Process (MDP) operating on topological gear networks. By tracking discrete tension gradients (\Delta T = T_{target} - T_{current}) rather than femtosecond atomic paths, H3QM bypasses Levinthal's paradox, proving that macroscopic attractors render micro-trajectory calculations obsolete. We formalize this duality within Categorical Cybernetics as a Lawful Lens (\mathbf{Lens}, \otimes) and verify it via a standalone Computer-Assisted Proof (CAP) suite. The subgradient flow converges in 8 steps, saturating Cosmo Chou's landmark machine epsilon bound (2^{-3})^8 = 2^{-24} = \epsilon_{float32} with Exact 0 residual over discrete integer metric spaces (\mathcal{D}_{CAP}=1.00, Grade A+, SHA-256 certificate 514e16a7875ba86d191ad0d0336a29b3d25ee29cdd770df0b46f01f7bd842a8b).
The comparison of adopter and non-adopter sample reveals three potential adoption inhibitor, security, data privacy, and portability, which underlines the importance of the technical and security perspectives for research investigating the adoption of technology.
Nattakarn Phaphoom, Xiaofeng Wang, S. Samuel et al.· Journal of Systems and Softw...· 111 citations· ⚡8
This study investigates how Lean internal startup facilitates software product innovation in large companies and identifies its enablers and inhibitors, and shows the potential of the method-in-action framework to investigate the Lean startup approach in non-startup context.
Henry Edison, Nina M. Smørsgård, Xiaofeng Wang et al.· Journal of Systems and Softw...· 78 citations· ⚡6
This paper highlights the challenges to conduct proper affect-related studies with psychology, provides a comprehensive literature review in affect theory, and proposes guidelines for conducting psychoempirical software engineering.
D. Graziotin, Xiaofeng Wang, P. Abrahamsson· SSE@SIGSOFT FSE· 56 citations· ⚡4
This study conducts a multiple case study on twenty European software startups and proposes a prototype-centric learning model in early stage software startups, and identifies factors that occur as barriers but also facilitators for prototyping in earlystage software startups.
Anh Nguyen-Duc, Xiaofeng Wang, P. Abrahamsson· International Conference on...· 44 citations· ⚡5
It is demonstrated that linker-free PROTACs can outperform traditional designs, marking a paradigm shift in PROTAC development for targeted protein degradation.
Pinal, a 16-billion-parameter foundation model that produces protein candidates from natural-language functional descriptions, supports natural language as a high-level interface for candidate generation in protein design, enabling programmable exploration with reduced reliance on manually specified structural or seque...
A new machine-learning framework aims to improve the success rate of computational protein design while moving away from results that reproduce sequences found in nature.