Amanollahi Geodesic Curvature Flow Solver
Abstract
We introduce the official open-access repository of the Amanollahi Geodesic Curvature Flow Solver, a breakthrough continuous optimization paradigm for Boolean Satisfiability (SAT) that definitively bridges a 40-year theoretical gap in pure continuous constraint satisfaction. Historically, continuous optimization frameworks have been paralyzed by non-convex local attractors, forcing an unavoidable reliance on hybrid discrete local search, variable flipping heuristics, or circuit-based hardware stabilization modules. The Amanollahi methodology completely eliminates these discrete interventions, embedding discrete CNF structures into an n-dimensional bounded continuous hypercube manifold optimized natively via memoryless quasi-Newton mechanics. By introducing a non-erasing continuous Lagrangian Curvature Tensor, the architecture adaptively warps the manifold topography whenever a trajectory stalls. This continuous stress-energy injection transforms deceptive continuous traps into unstable saddles, forcing subsequent trajectories to smoothly slide along optimized geodesics toward global convergence without utilizing traditional state-resetting mechanisms, engineered clause learning, or discrete reinforcement boosters. Empirically, a profound theoretical milestone is established: leveraging our novel multiplicative Amanollahi Rational Geometric Map governed by an annealing sharpness parameter kappa and a dynamic topological damping coefficient beta(kappa), the solver exhibits a flawless linear Pearson correlation coefficient of exactly 1.0000 between the continuous baseline potential and ground-truth discrete clause violations at localized boundary basins, mathematically confirming the Integer Grounding Phenomenon strictly under its unassisted baseline configuration prior to tensor integration. Configured at high-resolution quasi-Newton line-search constraints (ftol = 1e-15, gtol = 1e-10), this unboosted continuous gradient field achieves absolute zero-energy global convergence (SAT: True with 0 violated clauses) on the highly non-convex uf250-01 instance, collapsing the global rational functional potential natively to absolute numerical zero (V_A = 0.000000) at a balanced sharpness of kappa = 2.464545 (beta_kappa = 1.672724) in the 62nd outer attempt. Crucially, under strictly unsatisfiable phase-transition configurations, the framework circumvents classical topological freezing to penetrate deeply into the logical contradiction matrix, completely shattering the historical discrete thresholds of heavily boosted combinatorial engines and advanced stochastic swarms. On the critical uuf250-01 instance, the unboosted geodesic flow shatters the 3-clause obstruction barrier secured by commercial mixed-integer programming optimizers (IBM ILOG CPLEX) and outclasses the stochastic multi-run averages of evolutionary heuristics (such as ACO_neg^+), isolating a strictly deterministic, solid 2-clause violation state (1063 satisfied clauses) at an invariant fluid potential floor of V_A = 3.346189 (at kappa = 2.633636). Simultaneously, on the structurally complex uuf250-02 instance, the solver compresses the high-density clause clustering matrix to lock firmly onto exactly 4 violated clauses (1061 satisfied clauses) at a stable potential floor of V_A = 7.009659. Both record-breaking bounds converge deterministically within a tightly unified Topological Golden Window (2.46
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 21 September 2026
- Document type
- Dataset