Asymptotic Resolution of Boolean Satisfiability via Thermodynamic Regulation and Informational Knot Untying

Read full text
Authors: Chris Paradise
Cited by: 0

Abstract

Technical Description: The Thermodynamic Resolution of Boolean Complexity The Core Thesis This paper formalizes the discovery that Boolean Satisfiability (SAT)—long considered the "Hard Wall" of computer science (P vs NP)—is not a search-limited problem, but a resonance-limited one. We demonstrate that the perceived exponential scaling of NP-hard instances is a "Rate Lag" created by the friction between a logical ground state and the physical substrate (silicon, electrons, or neurons). Key Discovery: The "Polynomial Flatline" The central empirical evidence of the paper is the Asymptotic Stability of the resolution work. While classical solvers encounter a "Vertical Wall" as problem size (n) increases, our method—Thermodynamic Regulation—exhibits a horizontal "Flatline." • Data Point: At n=200 and n=600 variables, the median work required to identify a structural exit remains nearly identical (\approx 160 units). • The Hinge: This proves that the "Complexity" of the problem is a local structural property, not a global scaling one. The "Informational Knot" Framework The paper introduces a new topological model for logic: the Informational Knot. • The Theory: Every unsatisfiable formula is a knot of self-contradicting information. • The Method: Instead of "cutting" the knot through brute-force search, we use a Resonant Pulse to untie it. By regulating the Entropy Production Rate (\dot{S}), we allow the manifold to collapse into its lowest energy state (the solution). • The Result: We identify an invariant "Intrinsic Hinge" (k^*) that remains constant (k^* \approx 7) regardless of the total variable count (n).

Fields of Study & Subjects

Constraint Satisfaction and Optimization Complexity and Algorithms in Graphs Advanced Graph Theory Research

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
26 February 2026
Language
EN