From Nonsmooth Minima to Smooth Branches via Heat Kernel Regularization
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866913009479188480 |
|---|---|
| author | Jo, Hyeontae |
| author_facet | Jo, Hyeontae |
| contents | Many optimization problems in science and engineering involve objective functions that are nonsmooth at their minimizers. A common strategy is to trace a branch of minimizers of a regularized objective as the smoothing scale tends to zero; however, for nonsmooth functions, it is generally unclear whether such a branch can be continued and whether the associated continuation equation remains locally solvable. We study heat-kernel regularization and the resulting continuation equation along a local minimizing branch connected to a minimizer of the original objective. Under a global growth condition and a local leading-order description of the form $|x|^a$ with $1 \le a \le 2$, we first show that the regularized objective admits global minimizers and that any such minimizing branch localizes at the natural heat scale $O(\sqrt{t})$. We then prove that the asymptotic behavior of the regularized Hessian is determined by the local profile of the original objective: it remains uniformly positive definite in the quadratic case $a=2$, while in the subquadratic regime $1 \le a < 2$ its smallest eigenvalue grows at the controlled rate $t^{(a-2)/2}$. Consequently, the regularized Hessian remains asymptotically nondegenerate for all sufficiently small $t>0$, and the continuation equation remains locally solvable, even when the original objective does not admit a classical Hessian at the minimizer. Our results provide a rigorous second-order framework for continuation-based analysis in nonsmooth optimization by showing how heat regularization restores nondegeneracy near singular minimizers. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_05372 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | From Nonsmooth Minima to Smooth Branches via Heat Kernel Regularization Jo, Hyeontae Optimization and Control 49J52, 35K08, 58C15, 65H20, 90C26 Many optimization problems in science and engineering involve objective functions that are nonsmooth at their minimizers. A common strategy is to trace a branch of minimizers of a regularized objective as the smoothing scale tends to zero; however, for nonsmooth functions, it is generally unclear whether such a branch can be continued and whether the associated continuation equation remains locally solvable. We study heat-kernel regularization and the resulting continuation equation along a local minimizing branch connected to a minimizer of the original objective. Under a global growth condition and a local leading-order description of the form $|x|^a$ with $1 \le a \le 2$, we first show that the regularized objective admits global minimizers and that any such minimizing branch localizes at the natural heat scale $O(\sqrt{t})$. We then prove that the asymptotic behavior of the regularized Hessian is determined by the local profile of the original objective: it remains uniformly positive definite in the quadratic case $a=2$, while in the subquadratic regime $1 \le a < 2$ its smallest eigenvalue grows at the controlled rate $t^{(a-2)/2}$. Consequently, the regularized Hessian remains asymptotically nondegenerate for all sufficiently small $t>0$, and the continuation equation remains locally solvable, even when the original objective does not admit a classical Hessian at the minimizer. Our results provide a rigorous second-order framework for continuation-based analysis in nonsmooth optimization by showing how heat regularization restores nondegeneracy near singular minimizers. |
| title | From Nonsmooth Minima to Smooth Branches via Heat Kernel Regularization |
| topic | Optimization and Control 49J52, 35K08, 58C15, 65H20, 90C26 |
| url | https://arxiv.org/abs/2604.05372 |