Back to search
2101.01485

Global Optimisation in Hilbert Spaces using the Survival of the Fittest Algorithm

Andrew Yu. Morozov, Oleg Kuzenkov, Simran K. Sandhu

wronghigh confidenceCounterexample detected
Category
math.DS
Journal tier
Specialist/Solid
Processed
Sep 28, 2025, 12:55 AM

Audit review

The paper’s SoFA kernel is defined with f(r) = −r^2/(2R^2) and then used directly as a “probability density” via (k+1) f(‖z−z̄‖)/∫(k+1) f(‖z−z̄‖), which is negative off the reference point and therefore cannot be a probability density. This flaw appears verbatim in the algorithm (Section 2.1) and in the proofs, where “probabilities” are computed by integrating this negative kernel . Theorem 2 also introduces Gaussian error-function bounds involving √ln(k+1), which are inconsistent with the stated (polynomial/negative) kernel, suggesting an unmotivated switch to an exponential kernel that was never specified . Thus the convergence proof does not hold as written. The candidate model correctly identifies the kernel/sign error, proposes the natural repair (Boltzmann factor exp((k+1)f(·))), and then gives a counterexample showing the claimed “for every continuous J with a unique maximizer” convergence still fails in general because the variance shrinks too fast, leaving positive probability of never entering a maximizer’s neighborhood. Hence, the paper’s claim is false as stated, while the model’s critique and counterexample are sound.

Referee report (LaTeX)

\textbf{Recommendation:} reject

\textbf{Journal Tier:} specialist/solid

\textbf{Justification:}

The manuscript contains a fundamental definitional error: the sampling “probability density” is negative almost everywhere. The proofs then treat integrals of this negative kernel as probabilities and later import Gaussian error-function bounds that do not follow from the stated kernel. The practical (simplified) algorithm uses a different, positive density, but the general convergence claim is unproven and, in fact, false without additional structure or exploration guarantees. Major rework is required to correct the kernel, revise the analysis, and narrow the claims to regimes where they are actually valid.