{"id":"https://openalex.org/W4409574852","doi":"https://doi.org/10.1007/s00446-025-00480-0","title":"A speedup theorem for asynchronous computation with applications to consensus and approximate agreement","display_name":"A speedup theorem for asynchronous computation with applications to consensus and approximate agreement","publication_year":2025,"publication_date":"2025-04-18","ids":{"openalex":"https://openalex.org/W4409574852","doi":"https://doi.org/10.1007/s00446-025-00480-0"},"language":"en","primary_location":{"id":"doi:10.1007/s00446-025-00480-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00446-025-00480-0","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00446-025-00480-0.pdf","source":{"id":"https://openalex.org/S139349430","display_name":"Distributed Computing","issn_l":"0178-2770","issn":["0178-2770","1432-0452"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Distributed Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00446-025-00480-0.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071967017","display_name":"Pierre Fraigniaud","orcid":"https://orcid.org/0000-0003-4534-4803"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Pierre Fraigniaud","raw_affiliation_strings":["IRIF, CNRS and Universit\u00e9 Paris Cit\u00e9, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRIF, CNRS and Universit\u00e9 Paris Cit\u00e9, Paris, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025101185","display_name":"Ami Paz","orcid":"https://orcid.org/0000-0002-6629-8335"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Ami Paz","raw_affiliation_strings":["LISN, CNRS and Universit\u00e9 Paris-Saclay, Gif-sur-Yvette, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LISN, CNRS and Universit\u00e9 Paris-Saclay, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I277688954","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005997085","display_name":"Sergio Rajsbaum","orcid":"https://orcid.org/0000-0002-0009-5287"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sergio Rajsbaum","raw_affiliation_strings":["Instituto de Matem\u00e1ticas, UNAM, Mexico City, Mexico"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto de Matem\u00e1ticas, UNAM, Mexico City, Mexico","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5071967017"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I204730241"],"apc_list":{"value":2490,"currency":"EUR","value_usd":3090},"apc_paid":{"value":2490,"currency":"EUR","value_usd":3090},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06888776,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"38","issue":"3","first_page":"163","last_page":"183"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12288","display_name":"Optimization and Search Problems","score":0.9799000024795532,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T13553","display_name":"Age of Information Optimization","score":0.9789000153541565,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/speedup","display_name":"Speedup","score":0.6740047931671143},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6260603070259094},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5611889362335205},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.43953847885131836},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.0686507523059845}],"concepts":[{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.6740047931671143},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6260603070259094},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5611889362335205},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.43953847885131836},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.0686507523059845},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s00446-025-00480-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00446-025-00480-0","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00446-025-00480-0.pdf","source":{"id":"https://openalex.org/S139349430","display_name":"Distributed Computing","issn_l":"0178-2770","issn":["0178-2770","1432-0452"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Distributed Computing","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-05114147v1","is_oa":true,"landing_page_url":"https://u-paris.hal.science/hal-05114147","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"https://link.springer.com/article/10.1007/s00446-025-00480-0","raw_type":"Journal articles"}],"best_oa_location":{"id":"doi:10.1007/s00446-025-00480-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00446-025-00480-0","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00446-025-00480-0.pdf","source":{"id":"https://openalex.org/S139349430","display_name":"Distributed Computing","issn_l":"0178-2770","issn":["0178-2770","1432-0452"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Distributed Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320324252","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4409574852.pdf","grobid_xml":"https://content.openalex.org/works/W4409574852.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W1495396855","https://openalex.org/W1498481277","https://openalex.org/W1562297815","https://openalex.org/W1980364588","https://openalex.org/W1988336888","https://openalex.org/W2016108929","https://openalex.org/W2024624176","https://openalex.org/W2035362408","https://openalex.org/W2036712892","https://openalex.org/W2038924034","https://openalex.org/W2039591212","https://openalex.org/W2057077472","https://openalex.org/W2083306187","https://openalex.org/W2084316739","https://openalex.org/W2085407655","https://openalex.org/W2126906505","https://openalex.org/W2149907923","https://openalex.org/W2204883335","https://openalex.org/W2277873734","https://openalex.org/W2609404927","https://openalex.org/W2791631471","https://openalex.org/W2810585748","https://openalex.org/W2900684180","https://openalex.org/W2908176613","https://openalex.org/W2912462864","https://openalex.org/W2954841372","https://openalex.org/W2963052734","https://openalex.org/W2963158181","https://openalex.org/W2963930234","https://openalex.org/W2964145385","https://openalex.org/W2965463489","https://openalex.org/W3209320798","https://openalex.org/W4243552805","https://openalex.org/W4247568241","https://openalex.org/W4251986490","https://openalex.org/W4299514705","https://openalex.org/W6884312442"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2058965144","https://openalex.org/W2164382479","https://openalex.org/W2146343568","https://openalex.org/W4246549241","https://openalex.org/W2168758875","https://openalex.org/W2410733619","https://openalex.org/W2963483475"],"abstract_inverted_index":{"Abstract":[0],"We":[1,125,140],"study":[2,216],"two":[3,246],"fundamental":[4],"problems":[5],"of":[6,60,144,154,158,167,171,202,217,220,239,244],"distributed":[7],"computing,":[8],"consensus":[9,159,173,203,209],"and":[10,22,45,163,176,225],"approximate":[11,231,240,274],"agreement":[12,232,241,275],",":[13,51,103],"through":[14],"a":[15,34,46,54,79,151,164],"novel":[16],"approach":[17],"for":[18,129,179,228],"proving":[19],"lower":[20],"bounds":[21],"impossibility":[23,157,170],"results,":[24],"that":[25,77,250],"we":[26,52,248],"call":[27],"the":[28,58,135,142,155,168,200,205,215,218,237,245,261],"asynchronous":[29,73,146],"speedup":[30,74,147],"theorem":[31,75,128,148],".":[32,71,124,189,234],"For":[33],"given":[35,47],"n":[36],"-process":[37],"task":[38,80],"$$\\Pi":[39,61,81],"$$":[40,62,82],"<mml:math":[41,63,83,92,113,181],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[42,64,84,93,114,182],"<mml:mi>\u03a0</mml:mi>":[43,65,85],"</mml:math>":[44,66,86,99,120,188],"computational":[48],"model":[49,136],"M":[50,70,102,108,123],"define":[53],"new":[55,152,165],"task,":[56],"called":[57],"closure":[59,106,201,238],"with":[67],"respect":[68],"to":[69],"The":[72,190],"states":[76],"if":[78],"is":[87,109,192,208,214,277],"solvable":[88,110],"in":[89,101,111,122,197],"$$t\\ge":[90],"1$$":[91],"<mml:mrow>":[94,115,183],"<mml:mi>t</mml:mi>":[95,116],"<mml:mo>\u2265</mml:mo>":[96],"<mml:mn>1</mml:mn>":[97,118],"</mml:mrow>":[98,119,187],"rounds":[100,121],"then":[104],"its":[105],"w.r.t.":[107,242],"$$t-1$$":[112],"<mml:mo>-</mml:mo>":[117],"prove":[126],"this":[127],"iterated":[130],"models,":[131,247],"as":[132,134,269,271],"long":[133],"allows":[137],"solo":[138],"executions.":[139],"illustrate":[141],"power":[143,219],"our":[145],"by":[149,194],"providing":[150],"proof":[153,166,191],"wait-free":[156,169,229],"using":[160,174],"read/write":[161,258],"registers,":[162],"solving":[172,230,273],"registers":[175,259],"test&amp;set":[177,224],"objects":[178,253],"$$n&gt;2$$":[180],"<mml:mi>n</mml:mi>":[184],"<mml:mo>&gt;</mml:mo>":[185],"<mml:mn>2</mml:mn>":[186],"merely":[193],"showing":[195],"that,":[196],"each":[198,243],"case,":[199],"(w.r.t.":[204],"corresponding":[206],"model)":[207],"itself.":[210],"Our":[211],"main":[212],"application":[213],"additional":[221],"objects,":[222],"namely":[223],"binary":[226],"consensus,":[227],"faster":[233,276],"By":[235],"analyzing":[236],"show":[249],"while":[251],"these":[252],"are":[254,265],"more":[255,267],"powerful":[256,268],"than":[257],"from":[260],"computability":[262],"perspective,":[263],"they":[264],"not":[266],"far":[270],"helping":[272],"concerned.":[278]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}