Nicholas J. A. Harvey, Christopher Liaw, Sikander Randhawa
{"title":"Tight analyses for subgradient descent I: Lower bounds","authors":"Nicholas J. A. Harvey, Christopher Liaw, Sikander Randhawa","doi":"10.5802/ojmo.31","DOIUrl":null,"url":null,"abstract":"Consider the problem of minimizing functions that are Lipschitz and convex, but not necessarily differentiable. We construct a function from this class for which the T th iterate of subgradient descent has error Ω(log( T ) / √ T ) . This matches a known upper bound of O (log( T ) / √ T ) . We prove analogous results for functions that are additionally strongly convex. There exists such a function for which the error of the T th iterate of subgradient descent has error Ω(log( T ) /T ) , matching a known upper bound of O (log( T ) /T ) . These results resolve a question posed by Shamir (2012)","PeriodicalId":477184,"journal":{"name":"Open journal of mathematical optimization","volume":"119 3","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Open journal of mathematical optimization","FirstCategoryId":"0","ListUrlMain":"https://doi.org/10.5802/ojmo.31","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Consider the problem of minimizing functions that are Lipschitz and convex, but not necessarily differentiable. We construct a function from this class for which the T th iterate of subgradient descent has error Ω(log( T ) / √ T ) . This matches a known upper bound of O (log( T ) / √ T ) . We prove analogous results for functions that are additionally strongly convex. There exists such a function for which the error of the T th iterate of subgradient descent has error Ω(log( T ) /T ) , matching a known upper bound of O (log( T ) /T ) . These results resolve a question posed by Shamir (2012)
考虑最小化函数的问题,这些函数具有 Lipschitz 特性和凸性,但不一定可微。我们从这类函数中构造出一个函数,对于这个函数,子梯度下降的第 T 次迭代误差为 Ω(log( T ) / √ T ) 。这与已知的 O (log( T ) / √ T ) 上限相吻合。我们将证明强凸函数的类似结果。存在这样一个函数,它的子梯度下降的第 T 次迭代的误差为 Ω(log( T ) /T ) ,与已知的上界 O (log( T ) /T ) 匹配。这些结果解决了沙米尔(2012)提出的一个问题