{"id":"https://openalex.org/W4399522019","doi":"https://doi.org/10.1145/3618260.3649645","title":"PPAD-Membership for Problems with Exact Rational Solutions: A General Approach via Convex Optimization","display_name":"PPAD-Membership for Problems with Exact Rational Solutions: A General Approach via Convex Optimization","publication_year":2024,"publication_date":"2024-06-10","ids":{"openalex":"https://openalex.org/W4399522019","doi":"https://doi.org/10.1145/3618260.3649645"},"language":"en","primary_location":{"id":"doi:10.1145/3618260.3649645","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3618260.3649645","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3618260.3649645","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 56th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3618260.3649645","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065488177","display_name":"Aris Filos-Ratsikas","orcid":"https://orcid.org/0000-0001-7868-8114"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Aris Filos-Ratsikas","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-7868-8114","affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055834958","display_name":"Kristoffer Arnsfelt Hansen","orcid":"https://orcid.org/0000-0002-1155-8072"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Kristoffer Arnsfelt Hansen","raw_affiliation_strings":["Aarhus University, Aarhus, Denmark"],"raw_orcid":"https://orcid.org/0000-0002-1155-8072","affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027445479","display_name":"Kasper H\u00f8gh","orcid":"https://orcid.org/0000-0002-8870-2642"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Kasper H\u00f8gh","raw_affiliation_strings":["Aarhus University, Aarhus, Denmark"],"raw_orcid":"https://orcid.org/0000-0002-8870-2642","affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065826113","display_name":"Alexandros Hollender","orcid":"https://orcid.org/0000-0001-5255-9349"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alexandros Hollender","raw_affiliation_strings":["University of Oxford, Oxford, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-5255-9349","affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.7061,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.90394941,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1204","last_page":"1215"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11031","display_name":"Game Theory and Applications","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11031","display_name":"Game Theory and Applications","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11182","display_name":"Auction Theory and Applications","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12137","display_name":"Economic theories and models","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/regular-polygon","display_name":"Regular polygon","score":0.5200152397155762},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4936726987361908},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4520726501941681},{"id":"https://openalex.org/keywords/convex-optimization","display_name":"Convex optimization","score":0.43725109100341797},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3753097653388977}],"concepts":[{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.5200152397155762},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4936726987361908},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4520726501941681},{"id":"https://openalex.org/C157972887","wikidata":"https://www.wikidata.org/wiki/Q463359","display_name":"Convex optimization","level":3,"score":0.43725109100341797},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3753097653388977},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3618260.3649645","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3618260.3649645","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3618260.3649645","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 56th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:publications/edb45b5b-573b-45a8-a2d8-bc6948b3d2bb","is_oa":true,"landing_page_url":"https://pure.au.dk/portal/en/publications/edb45b5b-573b-45a8-a2d8-bc6948b3d2bb","pdf_url":null,"source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/f67c1908-1b90-4cc0-afea-0b94617043fc","is_oa":true,"landing_page_url":"https://hdl.handle.net/20.500.11820/f67c1908-1b90-4cc0-afea-0b94617043fc","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"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":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pure.ed.ac.uk:publications/f67c1908-1b90-4cc0-afea-0b94617043fc","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/f67c1908-1b90-4cc0-afea-0b94617043fc","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"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":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1145/3618260.3649645","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3618260.3649645","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3618260.3649645","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 56th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6499346877","display_name":null,"funder_award_id":"EP/Y003624/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4399522019.pdf"},"referenced_works_count":70,"referenced_works":["https://openalex.org/W1603248078","https://openalex.org/W1972221945","https://openalex.org/W1980813953","https://openalex.org/W1981973022","https://openalex.org/W1985717133","https://openalex.org/W1991624978","https://openalex.org/W1994908533","https://openalex.org/W1997147068","https://openalex.org/W1997961920","https://openalex.org/W1998191601","https://openalex.org/W1999625879","https://openalex.org/W2000151369","https://openalex.org/W2001209238","https://openalex.org/W2002373723","https://openalex.org/W2004738599","https://openalex.org/W2004936497","https://openalex.org/W2008288183","https://openalex.org/W2021445310","https://openalex.org/W2052419575","https://openalex.org/W2057913812","https://openalex.org/W2060341614","https://openalex.org/W2067050450","https://openalex.org/W2068066892","https://openalex.org/W2084312524","https://openalex.org/W2086386133","https://openalex.org/W2089649903","https://openalex.org/W2096651633","https://openalex.org/W2103981148","https://openalex.org/W2104375208","https://openalex.org/W2107815843","https://openalex.org/W2112794046","https://openalex.org/W2117340018","https://openalex.org/W2119603406","https://openalex.org/W2125772609","https://openalex.org/W2131012922","https://openalex.org/W2151192928","https://openalex.org/W2152122625","https://openalex.org/W2156318555","https://openalex.org/W2164498579","https://openalex.org/W2169359757","https://openalex.org/W2201641266","https://openalex.org/W2210029915","https://openalex.org/W2331171996","https://openalex.org/W2568879229","https://openalex.org/W2625867694","https://openalex.org/W2753029884","https://openalex.org/W2791150045","https://openalex.org/W2809427036","https://openalex.org/W2951836131","https://openalex.org/W2964332609","https://openalex.org/W2966080558","https://openalex.org/W2989527926","https://openalex.org/W3106128496","https://openalex.org/W3118247429","https://openalex.org/W3133818088","https://openalex.org/W3179724818","https://openalex.org/W3181308004","https://openalex.org/W3183209808","https://openalex.org/W3214479042","https://openalex.org/W4205831029","https://openalex.org/W4226391447","https://openalex.org/W4234277722","https://openalex.org/W4236135656","https://openalex.org/W4246447829","https://openalex.org/W4247772422","https://openalex.org/W4297222432","https://openalex.org/W4362549659","https://openalex.org/W4383533284","https://openalex.org/W4385261764","https://openalex.org/W6803357506"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027"],"abstract_inverted_index":{"We":[0],"introduce":[1],"a":[2,35,45,49],"general":[3],"technique":[4],"for":[5,86,124,150],"proving":[6],"membership":[7],"of":[8,18,58,63,102,132],"search":[9,25],"problems":[10,26,151],"with":[11,27],"exact":[12,126],"rational":[13,106],"solutions":[14,103,127],"in":[15,48,81,128,152],"PPAD,":[16],"one":[17],"the":[19,38,59,64,82,100,109,129],"most":[20],"well-known":[21],"classes":[22],"containing":[23],"total":[24],"polynomial-time":[28],"verifiable":[29],"solutions.":[30],"In":[31],"particular,":[32],"we":[33,111],"construct":[34],"\"pseudogate\",":[36],"coined":[37],"linear-OPT-gate,":[39,110],"which":[40,77],"can":[41,68],"be":[42],"used":[43],"as":[44,54,142,144],"\"plug-and-play\"":[46],"component":[47,57],"piecewise-linear":[50],"(PL)":[51],"arithmetic":[52],"circuit,":[53],"an":[55],"integral":[56],"\"Linear-FIXP\"":[60],"equivalent":[61],"definition":[62],"class.":[65],"The":[66],"linear-OPT-gate":[67],"solve":[69],"several":[70],"convex":[71],"optimization":[72],"programs,":[73,76],"including":[74],"quadratic":[75],"often":[78],"appear":[79],"organically":[80],"simplest":[83],"existence":[84,92,101],"proofs":[85,93,123],"these":[87,153],"problems.":[88],"This":[89],"effectively":[90],"transforms":[91],"to":[94,114,145],"PPAD-membership":[95,122,148],"proofs,":[96],"and":[97,117,139],"consequently":[98],"establishes":[99],"described":[104],"by":[105],"numbers.":[107],"Using":[108],"are":[112],"able":[113],"significantly":[115],"simplify":[116],"generalize":[118],"almost":[119],"all":[120],"known":[121],"finding":[125],"application":[130],"domains":[131],"game":[133],"theory,":[134],"competitive":[135],"markets,":[136],"auto-bidding":[137],"auctions,":[138],"fair":[140],"division,":[141],"well":[143],"obtain":[146],"new":[147],"results":[149],"domains.":[154]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}