Details

Unconditional Closure of P versus NP: Fourier–Entropy Obstruction, Spectral Saturation, and Curvature-Guided Descent

Deep Bhattacharjee

Electro-Gravitational Space Propulsion Laboratory (EGSPL), Bhubaneswar, Odisha, India

62-105

Vol: 16, Issue: 2, 2026

Receiving Date: 2026-02-28 Acceptance Date:

2026-03-03

Publication Date:

2026-04-24

Download PDF

http://doi.org/10.37648/ijrst.v16i02.004

Abstract

This manuscript presents a claimed first-principles closure route for P versus NP, organized around a Fourier–geometric obstruction to polynomial-size circuit representation of satisfiability. The argument develops five interlocking layers: Fourier–Walsh analysis of Boolean functions, hypercontractive and random-restriction control of polynomial-size circuits, phase-transition cluster geometry for random satisfiability, a curvature-based saturation index on the Fourier cluster hypergraph, and a curvature-guided spectral descent that compresses low-complexity circuit profiles into negligible saturation regimes. The central comparison is between the high-level Fourier and cluster-saturation profile forced by SAT? and the exponentially small high-level profile available to polynomial-size circuit families. This comparison yields a level-wise Fourier discrepancy between SAT? and any polynomial-size circuit, giving SAT? ? P/poly and hence the claimed separation P ? NP. The revised manuscript tightens the closure by locking every transition to an explicit quantitative output: encoding normalization, Fourier mass transfer, circuit spectral compression, saturation-index comparison, descent monotonicity, and final non-uniform circuit lower bound. The final audit records the dependencies so that the claimed proof route is presented as a single exponent-tight chain from Boolean spectral obstruction to complexity-theoretic separation.

Keywords: P versus NP; Fourier entropy; spectral saturation; circuit lower bounds; curvatureguided descent.

References

  1. S. A. Cook, The complexity of theorem-proving procedures, Proc. 3rd ACM Symp. Theory of Computing (STOC 1971), 151–158.
  2. D. Bhattacharjee, P. Nandi, S. N. Thakur, O. Frederick, and S. Ghosh, Almost Impossible Calabi–Yau Manifolds: Hodge Realization, Full-Measure SYZ Lifting, and Dimensional Saturation, PhilArchive ID: BHAAIC, 2026.
  3. R. M. Karp, Reducibility among combinatorial problems, in R. E. Miller and J. W. Thatcher (eds.), Complexity of Computer Computations, Plenum, 1972, 85–103.
  4. A. Bonami, Étude des coefficients de Fourier des fonctions de L p (G), Ann. Inst. Fourier (Grenoble) 20(2) (1970), 335–402.
  5. D. Bhattacharjee, Higher-Dimensional Calabi–Yau Manifolds and Dimensional Saturation, PhilArchive ID: BHAHCM, 2026.
  6. L. Gross, Logarithmic Sobolev inequalities, Amer. J. Math. 97(4) (1975), 1061–1083.
  7. W. Beckner, Inequalities in Fourier analysis, Ann. of Math. 102(1) (1975), 159–182.
  8. D. Bhattacharjee and O. Frederick, Hopf-Like Fibrations on Calabi–Yau Manifolds, Preprints 2025, DOI: 10.20944/preprints202504.2581.v4.
  9. M. Furst, J. B. Saxe, and M. Sipser, Parity, circuits, and the polynomial-time hierarchy, Math. Systems Theory 17(1) (1984), 13–27.
  10. J. Håstad, Almost optimal lower bounds for small depth circuits, Proc. 18th ACM Symp. Theory of Computing (STOC 1986), 6–20.
  11. D. Bhattacharjee, Homotopy Groups of Spheres, Hopf Fibrations and Villarceau Circles II: Advances in Fiber Bundle Topology and Spherical Homotopy Theory, Preprints 2026, DOI: 10.20944/preprints202602.2038.v1.
  12. A. A. Razborov, Lower bounds for the monotone complexity of some Boolean functions, Soviet Math. Dokl. 31 (1985), 354–357.
  13. A. A. Razborov, Lower bounds for the size of circuits of bounded depth with basis {∧, ⊕}, Math. Notes 41(4) (1987), 333–338.
  14. R. Smolensky, Algebraic methods in the theory of lower bounds for Boolean circuit complexity, Proc. 19th ACM Symp. Theory of Computing (STOC 1987), 77–82.
  15. D. Bhattacharjee and P. Nandi, Constructing Exotic Calabi–Yau 3-Folds via Quantum Inner State Manifolds, Preprints 2025, DOI: 10.20944/preprints202505.0700.v1.
  16. J. Kahn, G. Kalai, and N. Linial, The influence of variables on Boolean functions, Proc. 29th IEEE Symp. Foundations of Computer Science (FOCS 1988), 68–80.
  17. P. Erdős and R. Rado, Intersection theorems for systems of sets, J. London Math. Soc. 35 (1960), 85–90.
  18. N. Linial, Y. Mansour, and N. Nisan, Constant depth circuits, Fourier transform, and learnability, J. ACM 40(3) (1993), 607–620.
  19. D. Bhattacharjee, String Vibrations and Particle Families: A Resonance Classification Framework in String Phenomenology, Preprints 2026, 2026030792, DOI: 10.20944/preprints202603.0792.v1.
  20. A. A. Razborov and S. Rudich, Natural proofs, J. Comput. System Sci. 55(1) (1997), 24–35.
  21. R. M. Karp and R. J. Lipton, Turing machines that take advice, Enseign. Math. (2) 28 (1982), 191–209.
  22. D. Bhattacharjee, Block-Twist Field Geometry for UAP-Class Propulsion: Reconfiguration Metrics and Space-Route Compression Phenomenology, PhilArchive ID: BHABFG, 2026.
  23. T. Baker, J. Gill, and R. Solovay, Relativizations of the P =? NP question, SIAM J. Comput. 4(4) (1975), 431–442.
  24. S. Aaronson and A. Wigderson, Algebrization: a new barrier in complexity theory, ACM Trans. Comput. Theory 1(1) (2009), Article 2.
  25. D. Bhattacharjee, P. Nandi, S. Ghosh, and O. Frederick, Topology Kills the Ghost: Brane-Cluster UV Completion of Quantum Gravity, PhilArchive ID: BHATKT, 2026.
  26. Y. Ollivier, Ricci curvature of Markov chains on metric spaces, J. Funct. Anal. 256(3) (2009), 810–864.
  27. J. Ding, A. Sly, and N. Sun, Proof of the satisfiability conjecture for large k, Proc. 47th ACM Symp. Theory of Computing (STOC 2015), 59–68.
  28. D. Bhattacharjee, P. Nandi, O. Frederick, P. Samal, and S. Bhattacharjee, Higher Topos-Theoretic Closure of the Riemann Hypothesis, PhilArchive ID: BHAHTC, 2026.
  29. D. Achlioptas and A. Coja-Oghlan, Algorithmic barriers from phase transitions, Proc. 49th IEEE Symp. Foundations of Computer Science (FOCS 2008), 793–802.
  30. M. Mézard and A. Montanari, Information, Physics, and Computation, Oxford University Press, 2009.
  31. R. Williams, Non-uniform ACC circuit lower bounds, J. ACM 61(1) (2014), Article 2.
  32. P. Beame, A switching lemma primer, Technical Report UW-CSE-95-07-01, University of Washington, 1994.
  33. L. G. Valiant, Graph-theoretic arguments in low-level complexity, in Proc. 6th Symp. Mathematical Foundations of Computer Science, Lecture Notes in Comput. Sci. 53, Springer, 1977, 162–176.
  34. R. O’Donnell, Analysis of Boolean Functions, Cambridge University Press, 2014.
Back

Disclaimer: Indexing of published papers is subject to the evaluation and acceptance criteria of the respective indexing agencies. While we strive to maintain high academic and editorial standards, International Journal of Research in Science and Technology does not guarantee the indexing of any published paper. Acceptance and inclusion in indexing databases are determined by the quality, originality, and relevance of the paper, and are at the sole discretion of the indexing bodies.