Deterministic 3-SAT Resolution via Continuous Physical Dynamics in Inertial Manifold Computing and its Empirical Robustness to Finite Precision Limits
Abstract
Ontological Computing Theory (OCT) introduces a framework for resolving NP-complete complexity through continuous inertial manifold dynamics based on the Blum-Shub-Smale (BSS) model. By mapping 3-SAT instances onto a differentiable energy landscape, the system replaces symbolic search with deterministic physical evolution toward global attractors. The mathematical model utilizes Newton-type second-order dynamics and nonlinear adaptive dissipation to enable ballistic trajectories that bypass local minima, ensuring convergence at the global solution. Practical realization is framed through Log-Sum-Exp (LSE) synthesis, providing a path to implement logic-to-potential mapping via mixed-signal CMOS or integrated photonics. Furthermore, the research provides a topological foundation for UNSAT detection: the lack of fixed points in contradictory formulas creates stable limit cycles, detectable through spectral analysis even under significant noise. Simulations involving N=1000 variables show convergence times consistent with Kibble-Zurek scaling laws, validating polynomial-time performance. This work establishes the engineering parameters for a deterministic analog processor, repositioning NP-complete problems within the domain of continuous dynamical systems.
Fields of Study & Subjects
DNA and Biological Computing
Neural Networks and Applications
Constraint Satisfaction and Optimization
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 10 February 2026
- Language
- EN
- Document type
- Preprint