{"id":"https://openalex.org/W4392736606","doi":"https://doi.org/10.48550/arxiv.2403.05711","title":"A Compositional Framework for First-Order Optimization","display_name":"A Compositional Framework for First-Order Optimization","publication_year":2024,"publication_date":"2024-03-08","ids":{"openalex":"https://openalex.org/W4392736606","doi":"https://doi.org/10.48550/arxiv.2403.05711"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2403.05711","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2403.05711","pdf_url":"https://arxiv.org/pdf/2403.05711","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2403.05711","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040897601","display_name":"Tyler Hanks","orcid":"https://orcid.org/0009-0005-4416-0166","observed_orcids":["https://orcid.org/0009-0005-4416-0166"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hanks, Tyler","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040747459","display_name":"Matthew Klawonn","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Klawonn, Matthew","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006534234","display_name":"Evan Patterson","orcid":"https://orcid.org/0000-0002-8600-949X","observed_orcids":["https://orcid.org/0000-0002-8600-949X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Patterson, Evan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022644062","display_name":"Matthew Hale","orcid":"https://orcid.org/0000-0003-3991-1680","observed_orcids":["https://orcid.org/0000-0003-3991-1680"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hale, Matthew","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5064964159","display_name":"James Fairbanks","orcid":"https://orcid.org/0000-0002-1778-3350","observed_orcids":["https://orcid.org/0000-0002-1778-3350"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fairbanks, James","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":true,"cited_by_count":4,"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/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.2888000011444092,"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"}},"topics":[{"id":"https://openalex.org/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.2888000011444092,"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"}},{"id":"https://openalex.org/T10545","display_name":"Optimization and Variational Analysis","score":0.26930001378059387,"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/T10249","display_name":"Distributed Control Multi-Agent Systems","score":0.1826000064611435,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/composition-optimization","display_name":"composition optimization","score":0.8709999918937683},{"id":"https://openalex.org/keywords/hypergraphs","display_name":"hypergraphs","score":0.550000011920929},{"id":"https://openalex.org/keywords/operads","display_name":"operads","score":0.9419999718666077},{"id":"https://openalex.org/keywords/distributed-optimization-algorithms","display_name":"distributed optimization algorithms","score":0.8259999752044678},{"id":"https://openalex.org/keywords/hierarchical-decomposition","display_name":"hierarchical decomposition","score":0.6190000176429749},{"id":"https://openalex.org/keywords/primal-decomposition","display_name":"primal decomposition","score":0.6079999804496765},{"id":"https://openalex.org/keywords/dual-decomposition","display_name":"dual decomposition","score":0.9959999918937683},{"id":"https://openalex.org/keywords/gradient-descent","display_name":"gradient descent","score":0.9340000152587891},{"id":"https://openalex.org/keywords/subgradient-method","display_name":"subgradient method","score":0.9419999718666077},{"id":"https://openalex.org/keywords/minimum-cost-flow","display_name":"minimum cost flow","score":0.8970000147819519}],"concepts":[{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.6033059358596802},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4222063422203064},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.21537715196609497},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2403.05711","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2403.05711","pdf_url":"https://arxiv.org/pdf/2403.05711","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2403.05711","doi":"https://doi.org/10.48550/arxiv.2403.05711","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2403.05711","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2403.05711","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2403.05711","pdf_url":"https://arxiv.org/pdf/2403.05711","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G1523888516","display_name":null,"funder_award_id":"FA9550-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G3556901272","display_name":null,"funder_award_id":"FA9550-23-1-0120","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G6022559588","display_name":null,"funder_award_id":"HR00112220038","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G6998920399","display_name":"Graduate Research Fellowship Program (GRFP)","funder_award_id":"1842473","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4392736606.pdf","grobid_xml":"https://content.openalex.org/works/W4392736606.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W1857886188","https://openalex.org/W2482888308","https://openalex.org/W2523361026","https://openalex.org/W2606902047","https://openalex.org/W2809155339","https://openalex.org/W3021844877","https://openalex.org/W3064312520","https://openalex.org/W3122987924","https://openalex.org/W3165596857","https://openalex.org/W4391791062"],"related_works":["https://openalex.org/W4252333911","https://openalex.org/W1584134701","https://openalex.org/W2589884493","https://openalex.org/W4399868707","https://openalex.org/W7097688428","https://openalex.org/W2165968359","https://openalex.org/W7027562498","https://openalex.org/W2956128415","https://openalex.org/W7106336687","https://openalex.org/W4399158158"],"abstract_inverted_index":{"Optimization":[0],"decomposition":[1,144,181,204,239,243],"methods":[2,145],"are":[3,61,146],"a":[4,110,165,171,180,201,224],"fundamental":[5],"tool":[6],"to":[7,84,90,136,153,198,233],"develop":[8],"distributed":[9,46,92],"solution":[10,47,114],"algorithms":[11,48,93],"for":[12,35,169,206],"large":[13],"scale":[14],"optimization":[15,38,88,104],"problems":[16,39,89,105],"arising":[17],"in":[18,223],"fields":[19],"such":[20],"as":[21],"machine":[22],"learning":[23],"and":[24,43,65,74,109,125,142,220,229],"optimal":[25],"control.":[26],"In":[27],"this":[28,160,193],"paper,":[29],"we":[30,98,162],"present":[31],"an":[32],"algebraic":[33],"framework":[34,60],"hierarchically":[36],"composing":[37],"defined":[40,173],"on":[41,211,244],"hypergraphs":[42],"automatically":[44,199],"generating":[45],"that":[49,94,100,185,236],"respect":[50],"the":[51,91,186],"given":[52],"hierarchical":[53,202,237,250],"structure.":[54,251],"The":[55],"central":[56],"abstractions":[57,81],"of":[58,71,103,112,138,156,246],"our":[59,217,231],"operads,":[62,218],"operad":[63,107],"algebras,":[64,108,219],"algebra":[66,130,221],"morphisms,":[67],"which":[68],"formalize":[69],"notions":[70],"syntax,":[72],"semantics,":[73],"structure":[75],"preserving":[76],"semantic":[77],"transformations":[78],"respectively.":[79],"These":[80],"allow":[82],"us":[83,197],"formally":[85],"relate":[86],"composite":[87,157,212],"solve":[95],"them.":[96],"Specifically,":[97],"show":[99,184],"certain":[101,154],"classes":[102,155,245],"form":[106],"collection":[111],"first-order":[113],"methods,":[115],"namely":[116],"gradient":[117,123],"descent,":[118],"Uzawa's":[119],"algorithm":[120,205],"(also":[121],"called":[122,227],"ascent-descent),":[124],"their":[126],"subgradient":[127],"variants,":[128],"yield":[129],"morphisms":[131,152,222],"from":[132],"these":[133,151],"problem":[134,172,191],"algebras":[135,137],"dynamical":[139],"systems.":[140],"Primal":[141],"dual":[143,203,238,242],"then":[147],"recovered":[148],"by":[149,174,179],"applying":[150],"problems.":[158],"Using":[159],"framework,":[161],"also":[163],"derive":[164,200],"novel":[166],"sufficient":[167],"condition":[168],"when":[170],"compositional":[175],"data":[176],"is":[177],"solvable":[178],"method.":[182],"We":[183,215],"minimum":[187,208],"cost":[188,209],"network":[189],"flow":[190,213,247],"satisfies":[192],"condition,":[194],"thereby":[195],"allowing":[196],"finding":[207],"flows":[210],"networks.":[214],"implement":[216],"Julia":[225],"package":[226],"AlgebraicOptimization.jl":[228],"use":[230],"implementation":[232],"empirically":[234],"demonstrate":[235],"outperforms":[240],"standard":[241],"networks":[248],"with":[249]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2024-03-13T00:00:00"}