{"id":"https://openalex.org/W7133333862","doi":"https://doi.org/10.48550/arxiv.2603.00027","title":"Bilevel Optimization with Lower-Level Uniform Convexity: Theory and Algorithm","display_name":"Bilevel Optimization with Lower-Level Uniform Convexity: Theory and Algorithm","publication_year":2026,"publication_date":"2026-02-04","ids":{"openalex":"https://openalex.org/W7133333862","doi":"https://doi.org/10.48550/arxiv.2603.00027"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.00027","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.00027","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.00027","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103874447","display_name":"Wu Y","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wu, Yuman","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112933249","display_name":"Xiaochuan Gong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gong, Xiaochuan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5127995202","display_name":"Jie Hao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hao, Jie","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5127900093","display_name":"Mingrui Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Mingrui","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11612","display_name":"Stochastic Gradient Optimization Techniques","score":0.9358999729156494,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11612","display_name":"Stochastic Gradient Optimization Techniques","score":0.9358999729156494,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10500","display_name":"Sparse and Compressive Sensing Techniques","score":0.02019999921321869,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10545","display_name":"Optimization and Variational Analysis","score":0.009999999776482582,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/bilevel-optimization","display_name":"Bilevel optimization","score":0.7261999845504761},{"id":"https://openalex.org/keywords/convexity","display_name":"Convexity","score":0.6899999976158142},{"id":"https://openalex.org/keywords/smoothness","display_name":"Smoothness","score":0.6248999834060669},{"id":"https://openalex.org/keywords/optimization-problem","display_name":"Optimization problem","score":0.49619999527931213},{"id":"https://openalex.org/keywords/convex-optimization","display_name":"Convex optimization","score":0.4629000127315521},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.4433000087738037},{"id":"https://openalex.org/keywords/lipschitz-continuity","display_name":"Lipschitz continuity","score":0.421099990606308},{"id":"https://openalex.org/keywords/convex-function","display_name":"Convex function","score":0.4097999930381775},{"id":"https://openalex.org/keywords/convergence","display_name":"Convergence (economics)","score":0.39959999918937683}],"concepts":[{"id":"https://openalex.org/C3309286","wikidata":"https://www.wikidata.org/wiki/Q4907693","display_name":"Bilevel optimization","level":3,"score":0.7261999845504761},{"id":"https://openalex.org/C72134830","wikidata":"https://www.wikidata.org/wiki/Q5166524","display_name":"Convexity","level":2,"score":0.6899999976158142},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.6536999940872192},{"id":"https://openalex.org/C102634674","wikidata":"https://www.wikidata.org/wiki/Q868473","display_name":"Smoothness","level":2,"score":0.6248999834060669},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5414999723434448},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.49619999527931213},{"id":"https://openalex.org/C157972887","wikidata":"https://www.wikidata.org/wiki/Q463359","display_name":"Convex optimization","level":3,"score":0.4629000127315521},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.4433000087738037},{"id":"https://openalex.org/C22324862","wikidata":"https://www.wikidata.org/wiki/Q652707","display_name":"Lipschitz continuity","level":2,"score":0.421099990606308},{"id":"https://openalex.org/C145446738","wikidata":"https://www.wikidata.org/wiki/Q319913","display_name":"Convex function","level":3,"score":0.4097999930381775},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.39959999918937683},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.38769999146461487},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.3571000099182129},{"id":"https://openalex.org/C194387892","wikidata":"https://www.wikidata.org/wiki/Q1747770","display_name":"Stochastic optimization","level":2,"score":0.35510000586509705},{"id":"https://openalex.org/C8642999","wikidata":"https://www.wikidata.org/wiki/Q4171168","display_name":"Hyperparameter","level":2,"score":0.3547999858856201},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.35109999775886536},{"id":"https://openalex.org/C79187972","wikidata":"https://www.wikidata.org/wiki/Q2654791","display_name":"Conic optimization","level":5,"score":0.32839998602867126},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3158000111579895},{"id":"https://openalex.org/C39927690","wikidata":"https://www.wikidata.org/wiki/Q11197","display_name":"Logarithm","level":2,"score":0.3133000135421753},{"id":"https://openalex.org/C12108790","wikidata":"https://www.wikidata.org/wiki/Q2234833","display_name":"Convex analysis","level":4,"score":0.3111000061035156},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.2896000146865845},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.2754000127315521},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.2745000123977661},{"id":"https://openalex.org/C153258448","wikidata":"https://www.wikidata.org/wiki/Q1199743","display_name":"Gradient descent","level":3,"score":0.26820001006126404},{"id":"https://openalex.org/C206688291","wikidata":"https://www.wikidata.org/wiki/Q7617819","display_name":"Stochastic gradient descent","level":3,"score":0.2651999890804291},{"id":"https://openalex.org/C57869625","wikidata":"https://www.wikidata.org/wiki/Q1783502","display_name":"Rate of convergence","level":3,"score":0.25850000977516174}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.00027","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.00027","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.00027","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.00027","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Bilevel":[0],"optimization":[1,9,29,68,94],"is":[2,11,69],"a":[3,14,48,89,120,135],"hierarchical":[4],"framework":[5],"where":[6],"an":[7,147],"upper-level":[8],"problem":[10],"constrained":[12],"by":[13],"lower-level":[15,41,75,99,112,189],"problem,":[16],"commonly":[17],"used":[18],"in":[19,59,180],"machine":[20],"learning":[21],"applications":[22],"such":[23],"as":[24],"hyperparameter":[25],"optimization.":[26],"Existing":[27],"bilevel":[28,67,93,159],"methods":[30],"typically":[31],"assume":[32],"strong":[33,100],"convexity":[34,101,104],"or":[35],"Polyak-\u0141ojasiewicz":[36],"(PL)":[37],"conditions":[38],"for":[39,72,157,168,186],"the":[40,78,126,158,177,183,210],"function":[42],"to":[43,47,193],"establish":[44,119],"non-asymptotic":[45],"convergence":[46,143],"solution":[49],"with":[50,77,114,141],"small":[51,82],"hypergradient.":[52],"However,":[53],"these":[54],"assumptions":[55],"may":[56],"not":[57],"hold":[58],"practice,":[60],"and":[61,102,153,206],"recent":[62],"work~\\citep{chen2024finding}":[63],"has":[64],"shown":[65],"that":[66,96,149],"inherently":[70],"intractable":[71],"general":[73,103],"convex":[74,111,188],"functions":[76,113,190],"goal":[79],"of":[80,92,182,212],"finding":[81,169],"hypergradients.":[83],"In":[84],"this":[85],"paper,":[86],"we":[87,118,133],"identify":[88],"tractable":[90],"class":[91],"problems":[95],"interpolates":[97],"between":[98],"via":[105],"\\emph{lower-level":[106],"uniform":[107],"convexity}.":[108],"For":[109],"uniformly":[110],"exponent":[115],"$p\\geq":[116],"2$,":[117],"novel":[121],"implicit":[122],"differentiation":[123],"theorem":[124],"characterizing":[125],"hyperobjective's":[127],"smoothness":[128],"property.":[129],"Building":[130],"on":[131,146,203],"this,":[132],"design":[134],"new":[136],"stochastic":[137,151],"algorithm,":[138],"termed":[139],"UniBiO,":[140],"provable":[142],"guarantees,":[144],"based":[145],"oracle":[148,165],"provides":[150],"gradient":[152],"Hessian-vector":[154],"product":[155],"information":[156],"problems.":[160],"Our":[161,196],"algorithm":[162],"achieves":[163],"$\\widetilde{O}(\u03b5^{-5p+6})$":[164],"complexity":[166,174],"bound":[167],"$\u03b5$-stationary":[170],"points.":[171],"Notably,":[172],"our":[173,213],"bounds":[175],"match":[176],"optimal":[178],"rates":[179],"terms":[181],"$\u03b5$":[184],"dependency":[185],"strongly":[187],"($p=2$),":[191],"up":[192],"logarithmic":[194],"factors.":[195],"theoretical":[197],"findings":[198],"are":[199],"validated":[200],"through":[201],"experiments":[202],"synthetic":[204],"tasks":[205],"data":[207],"hyper-cleaning,":[208],"demonstrating":[209],"effectiveness":[211],"proposed":[214],"algorithm.":[215]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-03-04T00:00:00"}