1: \begin{abstract}
2: We present a rigorous convergence analysis of a new method for density-based topology optimization: \underline{Si}gmoidal \underline{M}irror descent with a \underline{P}rojected \underline{L}atent variable.
3: SiMPL provides point-wise bound preserving design updates and faster convergence than other popular first-order topology optimization methods.
4: Due to its strong bound preservation, the method is exceptionally robust, as demonstrated in numerous examples here and in a companion article \cite{simplapp}.
5: Furthermore, it is easy to implement with clear structure and analytical expressions for the updates. Our analysis covers two versions of the method, characterized by the employed line search strategies.
6: We consider a modified Armijo backtracking line search and a Bregman backtracking line search.
7: Regardless of the line search algorithm, SiMPL
8: delivers a strict monotone decrease in the objective function and further intuitive convergence properties, e.g., strong and pointwise convergence of the density variables on the active sets, norm
9: convergence to zero of the increments, and more.
10: In addition, the numerical experiments demonstrate apparent mesh-independent convergence of the algorithm and superior performance over the two most popular first-order methods in topology optimization: OC and MMA.
11: \end{abstract}
12: