Published January 11, 2026 | Version v1

P ≠ NP under the Davis Information-Geometric Axioms: Geometric Separation of Energy Landscapes

Description

We prove P ≠ NP within the Davis Information-Geometric Framework, conditional on two physically-motivated axioms. The geometric structure of the energy landscape—exponentially many Ω(1)-separated metastable basins—is established rigorously via Kac-Rice theory. The axioms provide the interpretive bridge connecting this geometry to computational complexity.

The Two Axioms:
1. Davis Law: C = τ/K(A,B) — information flow across a barrier is inversely proportional to curvature
2. Tolerance Intensivity: τ = Θ(1) — the tolerance budget does not grow with problem size

Proven Results:
- Glassy Phase: Random 3-SAT has 2^Ω(n) metastable basins (Kac-Rice formula, five supporting lemmas complete)
- Barrier Structure: Distinct basins are separated by Ω(1) curvature barriers
- Solution Basin Sparsity: Derived from entropy deficit in the frozen regime
- Shattered Structure: No partition variable exists (derived from frozen phase properties)

The proof technique is non-relativizing, non-natural, and non-algebrizing, thereby avoiding the classical barriers to P vs NP proofs. Curvature scales as K ~ k(k-1)/2 for k-SAT, yielding a 3× separation between 2-SAT (in P) and 3-SAT (NP-complete).

Keywords: P vs NP, computational complexity, energy landscapes, Kac-Rice formula, curvature barriers, satisfiability, geometric complexity theory, Davis Field Equations

MSC 2020: 68Q15 (Complexity classes), 68Q17 (Computational difficulty of problems), 53B20 (Local Riemannian geometry), 90C27 (Combinatorial optimization)




Related:

Davis, B. R. (2025). The Field Equations of Semantic Coherence: A Geometric Theory of Meaning, Curvature, and Reasoning in Transformer Architectures. Zenodo. https://doi.org/10.5281/zenodo.17771796

Davis, B. R. (2025). The Davis Manifold: Geometry-First Detection with Compositional Error Budgets. Zenodo. https://doi.org/10.5281/zenodo.17642038

Davis, B. R. (2025). The Geometry of Sameness: An ε-Equivalence of Translation and Distance. Zenodo. https://doi.org/10.5281/zenodo.17642422

Geometry of Intelligence Series:

 

Files

p_neq_np_geometric_separation.pdf

Files (1.4 MB)

Name Size
md5:fa38bc54fb86546a5b39b29636cbcec7
218.4 kB Preview Download
md5:9da666a6ca6a75a9108176bf0eb3de1e
43.0 kB Download
md5:e353e26bdfa828b3ec9283eda7c2c61d
275.8 kB Preview Download
md5:24f46d888e331be91c51e68fa584d66f
608.9 kB Preview Download
md5:e74ab98bb0977e73fe071dd6f01209d7
7.5 kB Download
md5:2a39eccb9b27afa4cfa705ce7746e7e5
7.2 kB Download
md5:eaa0d0d93f271b256b125976cdd07f85
7.6 kB Download
md5:7fa2607e3311506fcdf2b5310e8e091c
9.0 kB Download
md5:258e7060625d5f7831421d33704bb025
13.5 kB Download
md5:6e2bf3adce4c0a3b4456533d730fa093
8.4 kB Download
md5:9ab957abc2219b1bd2ab0237ec3894ef
11.0 kB Download
md5:a12cccbd5c766da6bb5c9a5315e7ce95
8.5 kB Download
md5:bed37a0a9246a3dffe06022f33a4da52
9.3 kB Download
md5:39130350b4829430c1d5267b5f3f351c
8.5 kB Download
md5:3d4c5041eae97ef65190b9df012c6688
68.0 kB Download
md5:c983a01e40037117b1eab71de3af732d
32.0 kB Download
md5:680bc6c399d66f6ad9a47316884317fa
12.4 kB Download
md5:4ed0c84f79151b54bf28236d3aad5b05
9.0 kB Download