1: \begin{abstract}

2: \noindent

3: In this paper we study consensus-based optimization (CBO), which is a multi-agent metaheuristic derivative-free optimization method that can globally minimize nonconvex nonsmooth functions and is amenable to theoretical analysis.

4: Based on an experimentally supported intuition that, {on average,} CBO  performs a gradient descent of the squared Euclidean distance to the global minimizer, we {devise} a novel technique for proving the convergence to the global minimizer in mean-field law for a rich class of objective functions.

5: The result unveils internal mechanisms of CBO that are responsible for the success of the method. In particular, we prove that CBO performs a convexification of a very large class of optimization problems as the number of optimizing agents goes to infinity.

6: Furthermore, we improve prior analyses by requiring minimal assumptions about the initialization of the method and by covering objectives that are merely locally Lipschitz continuous.

7: %As a by-product of the analysis, we establish a quantitative nonasymptotic Laplace principle, which may be of independent interest.

8: As a {core component of this analysis,} we establish a quantitative nonasymptotic Laplace principle, which may be of independent interest.

9: {From the result of CBO convergence in mean-field law, it becomes apparent that the hardness of any global optimization problem is necessarily encoded in the rate of the mean-field approximation, for which we provide a novel probabilistic quantitative estimate.

10: The combination of these results allows to obtain global convergence guarantees of the numerical CBO method with provable polynomial complexity.}

11: \end{abstract}

12: