{"id":"https://openalex.org/W7161745808","doi":"https://doi.org/10.48550/arxiv.2605.17540","title":"One-Shot Klein Cutting Planes for Lipschitz Geodesically Convex Optimization in Hyperbolic Space","display_name":"One-Shot Klein Cutting Planes for Lipschitz Geodesically Convex Optimization in Hyperbolic Space","publication_year":2026,"publication_date":"2026-05-17","ids":{"openalex":"https://openalex.org/W7161745808","doi":"https://doi.org/10.48550/arxiv.2605.17540"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.17540","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.17540","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.2605.17540","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5125564153","display_name":"Yutong Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Yutong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136464897","display_name":"Yaoran Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang, Yaoran","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136498352","display_name":"Yifan Zhu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhu, Yifan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5136476567","display_name":"Wentao Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Wentao","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/T10545","display_name":"Optimization and Variational Analysis","score":0.7993000149726868,"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"}},"topics":[{"id":"https://openalex.org/T10545","display_name":"Optimization and Variational Analysis","score":0.7993000149726868,"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"}},{"id":"https://openalex.org/T11612","display_name":"Stochastic Gradient Optimization Techniques","score":0.04360000044107437,"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/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.028699999675154686,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/lipschitz-continuity","display_name":"Lipschitz continuity","score":0.6593999862670898},{"id":"https://openalex.org/keywords/regular-polygon","display_name":"Regular polygon","score":0.5386999845504761},{"id":"https://openalex.org/keywords/convex-body","display_name":"Convex body","score":0.4674000144004822},{"id":"https://openalex.org/keywords/subgradient-method","display_name":"Subgradient method","score":0.4602000117301941},{"id":"https://openalex.org/keywords/tangent","display_name":"Tangent","score":0.42649999260902405},{"id":"https://openalex.org/keywords/euclidean-space","display_name":"Euclidean space","score":0.4212000072002411},{"id":"https://openalex.org/keywords/hyperbolic-space","display_name":"Hyperbolic space","score":0.4124000072479248},{"id":"https://openalex.org/keywords/curvature","display_name":"Curvature","score":0.39320001006126404},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.38749998807907104},{"id":"https://openalex.org/keywords/ellipsoid","display_name":"Ellipsoid","score":0.37529999017715454}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7803000211715698},{"id":"https://openalex.org/C22324862","wikidata":"https://www.wikidata.org/wiki/Q652707","display_name":"Lipschitz continuity","level":2,"score":0.6593999862670898},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.5386999845504761},{"id":"https://openalex.org/C134912446","wikidata":"https://www.wikidata.org/wiki/Q5166516","display_name":"Convex body","level":4,"score":0.4674000144004822},{"id":"https://openalex.org/C158968445","wikidata":"https://www.wikidata.org/wiki/Q7631150","display_name":"Subgradient method","level":2,"score":0.4602000117301941},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.43810001015663147},{"id":"https://openalex.org/C138187205","wikidata":"https://www.wikidata.org/wiki/Q131251","display_name":"Tangent","level":2,"score":0.42649999260902405},{"id":"https://openalex.org/C186450821","wikidata":"https://www.wikidata.org/wiki/Q17295","display_name":"Euclidean space","level":2,"score":0.4212000072002411},{"id":"https://openalex.org/C83677898","wikidata":"https://www.wikidata.org/wiki/Q1878538","display_name":"Hyperbolic space","level":2,"score":0.4124000072479248},{"id":"https://openalex.org/C195065555","wikidata":"https://www.wikidata.org/wiki/Q214881","display_name":"Curvature","level":2,"score":0.39320001006126404},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.38749998807907104},{"id":"https://openalex.org/C57489055","wikidata":"https://www.wikidata.org/wiki/Q190046","display_name":"Ellipsoid","level":2,"score":0.37529999017715454},{"id":"https://openalex.org/C108598597","wikidata":"https://www.wikidata.org/wiki/Q124255","display_name":"Conic section","level":2,"score":0.37070000171661377},{"id":"https://openalex.org/C129782007","wikidata":"https://www.wikidata.org/wiki/Q162886","display_name":"Euclidean geometry","level":2,"score":0.3422999978065491},{"id":"https://openalex.org/C157972887","wikidata":"https://www.wikidata.org/wiki/Q463359","display_name":"Convex optimization","level":3,"score":0.33889999985694885},{"id":"https://openalex.org/C49870271","wikidata":"https://www.wikidata.org/wiki/Q193657","display_name":"Convex set","level":4,"score":0.32919999957084656},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.320499986410141},{"id":"https://openalex.org/C206352148","wikidata":"https://www.wikidata.org/wiki/Q209306","display_name":"Hyperbolic geometry","level":3,"score":0.30869999527931213},{"id":"https://openalex.org/C145446738","wikidata":"https://www.wikidata.org/wiki/Q319913","display_name":"Convex function","level":3,"score":0.30480000376701355},{"id":"https://openalex.org/C192939610","wikidata":"https://www.wikidata.org/wiki/Q188444","display_name":"Differential geometry","level":2,"score":0.29750001430511475},{"id":"https://openalex.org/C42448751","wikidata":"https://www.wikidata.org/wiki/Q855622","display_name":"Sectional curvature","level":4,"score":0.296999990940094},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2955000102519989},{"id":"https://openalex.org/C126780896","wikidata":"https://www.wikidata.org/wiki/Q899871","display_name":"Distortion (music)","level":4,"score":0.290800005197525},{"id":"https://openalex.org/C79187972","wikidata":"https://www.wikidata.org/wiki/Q2654791","display_name":"Conic optimization","level":5,"score":0.2874999940395355},{"id":"https://openalex.org/C12108790","wikidata":"https://www.wikidata.org/wiki/Q2234833","display_name":"Convex analysis","level":4,"score":0.2858000099658966},{"id":"https://openalex.org/C82673646","wikidata":"https://www.wikidata.org/wiki/Q2246553","display_name":"Hyperbolic triangle","level":4,"score":0.2854999899864197},{"id":"https://openalex.org/C80278974","wikidata":"https://www.wikidata.org/wiki/Q1126412","display_name":"Quasiconvex function","level":5,"score":0.2849000096321106},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.2824000120162964},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.28040000796318054},{"id":"https://openalex.org/C47890412","wikidata":"https://www.wikidata.org/wiki/Q1179296","display_name":"Tangent vector","level":3,"score":0.27559998631477356},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.2630000114440918},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.2522999942302704},{"id":"https://openalex.org/C201829737","wikidata":"https://www.wikidata.org/wiki/Q2022760","display_name":"Linear matrix inequality","level":2,"score":0.250900000333786}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.17540","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.17540","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.2605.17540","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.17540","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Motivated":[0],"by":[1,124],"the":[2,96,111,116,135,179],"COLT":[3,117],"2023":[4],"open":[5],"problem":[6,196],"of":[7,134],"Criscitiello,":[8],"Mart\u00ednez-Rubio,":[9],"and":[10,160,182],"Boumal":[11],"on":[12,21,132],"deterministic":[13],"first-order":[14],"methods":[15],"for":[16,90,154],"Lipschitz":[17],"geodesically":[18,37],"convex":[19,38],"optimization":[20],"Hadamard":[22],"manifolds,":[23],"we":[24,47],"study":[25],"hyperbolic":[26,180],"space":[27],"\\[":[28,41,62,72,101,156,167,187],"\\HH^d_{-\\kappaC^2}":[29],"=\\{X\\in\\R^{d+1}:\\ipL{X}{X}=-1,\\":[30],"X_0>0\\},":[31],"\\qquad":[32,104],"\\ip{U}{V}_X=\\kappaC^{-2}\\ipL{U}{V}.":[33],"\\]":[34,46,68,78,108,159,172,192],"For":[35,81],"every":[36,144],"$M$-Lipschitz":[39],"function":[40],"f:\\bar":[42],"B_{\\HH}(x_0,r)\\to\\R,\\qquad":[43],"s=\\kappaC":[44],"r,":[45],"give":[48],"a":[49,55],"one-shot":[50],"Klein":[51,136],"cutting-plane":[52],"method":[53],"returning":[54],"queried":[56],"point":[57],"$\\hat":[58],"x$":[59],"such":[60],"that":[61],"f(\\hat":[63],"x)-\\min_{\\bar":[64],"B_{\\HH}(x_0,r)}f\\le":[65],"\\eps":[66],"Mr":[67],"after":[69],"at":[70,162],"most":[71],"\\left\\lceil":[73],"2d(d+1)\\log\\!\\left(\\frac{16\\sinh":[74],"s\\cosh":[75,189],"s}{s\\eps}\\right)":[76,190],"\\right\\rceil":[77],"oracle":[79,98],"calls.":[80],"$d\\ge2$,":[82],"each":[83],"localization":[84],"step":[85],"costs":[86],"$O(d^2)$":[87],"arithmetic":[88],"operations;":[89],"$d=1$,":[91],"an":[92,149],"interval":[93],"variant":[94],"gives":[95],"same":[97],"bound.":[99],"Hence":[100],"N=O\\bigl(d^2(s+\\log(e/\\eps))\\bigr)":[102],"=O\\bigl(d^2\u03b6_s\\log(e/\\eps)\\bigr),":[103],"\u03b6_s=s/\\tanh":[105],"s":[106],".":[107],"Compared":[109],"with":[110,115],"constant-curvature":[112],"construction":[113],"associated":[114],"problem,":[118],"this":[119],"replaces":[120],"chained":[121],"curvature--accuracy":[122],"dependence":[123],"additive":[125],"dependence.":[126],"The":[127,193],"proof":[128],"does":[129],"not":[130],"rely":[131],"convexity":[133],"pullback,":[137],"which":[138],"is":[139],"generally":[140],"only":[141,185],"quasiconvex.":[142],"Instead,":[143],"Riemannian":[145],"subgradient":[146],"halfspace":[147],"becomes":[148],"exact":[150],"Euclidean":[151,176],"central":[152],"cut:":[153],"$\u03b8=\\kappaC\\dist(X,Y)$,":[155],"\\ip{g}{\\log_XY}_X":[157],"=\\frac\u03b8{\\kappaC^2\\sinh\u03b8}\\ipL{g}{Y},":[158],"tangency":[161],"$X$":[163],"converts":[164],"$\\ipL{g}{Y}\\le0$":[165],"into":[166],"\\gbar^{\\mathsf":[168],"T}(u-c)\\le0,\\qquad":[169],"u=\u03a6(Y),\\":[170],"c=\u03a6(X).":[171],"Thus":[173],"one":[174],"fixed":[175],"ellipsoid":[177],"localizes":[178],"ball,":[181],"curvature":[183],"enters":[184],"through":[186],"\\log\\!\\left(\\frac{\\sinh":[188],"=\\log(1/\\eps)+2s-\\log(4s)+O(e^{-4s}).":[191],"general":[194],"Hadamard-manifold":[195],"remains":[197],"open.":[198]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-20T00:00:00"}