{"id":"https://openalex.org/W4414588848","doi":"https://doi.org/10.4230/lipics.disc.2025.18","title":"Complexity Landscape for Local Certification","display_name":"Complexity Landscape for Local Certification","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4414588848","doi":"https://doi.org/10.4230/lipics.disc.2025.18"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2505.20915","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2505.20915","pdf_url":"https://arxiv.org/pdf/2505.20915","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2505.20915","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044190443","display_name":"Nicol\u00e1s Bousquet","orcid":"https://orcid.org/0000-0003-0170-0503"},"institutions":[{"id":"https://openalex.org/I4210137744","display_name":"LabEx PERSYVAL-Lab","ror":"https://ror.org/03eqm6y13","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2738703131","https://openalex.org/I4210137744","https://openalex.org/I4210139971","https://openalex.org/I4210150872","https://openalex.org/I899635006","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Bousquet, Nicolas","raw_affiliation_strings":["CNRS, INSA Lyon, UCBL, LIRIS, UMR5205, F-69622 Villeurbanne, France","GOAL - Graphes, AlgOrithmes et AppLications (France)"],"affiliations":[{"raw_affiliation_string":"CNRS, INSA Lyon, UCBL, LIRIS, UMR5205, F-69622 Villeurbanne, France","institution_ids":[]},{"raw_affiliation_string":"GOAL - Graphes, AlgOrithmes et AppLications (France)","institution_ids":["https://openalex.org/I4210137744"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080881555","display_name":"Laurent Feuilloley","orcid":"https://orcid.org/0000-0002-3994-0898"},"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/I4210137744","display_name":"LabEx PERSYVAL-Lab","ror":"https://ror.org/03eqm6y13","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2738703131","https://openalex.org/I4210137744","https://openalex.org/I4210139971","https://openalex.org/I4210150872","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4210155607","display_name":"Laboratoire d'Informatique en Images et Syst\u00e8mes d'Information","ror":"https://ror.org/04dv4he91","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I112936343","https://openalex.org/I1294671590","https://openalex.org/I188626449","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210155607","https://openalex.org/I48430043"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Feuilloley, Laurent","raw_affiliation_strings":["CNRS, INSA Lyon, UCBL, LIRIS, UMR5205, F-69622 Villeurbanne, France","CNRS - Centre National de la Recherche Scientifique (France)","GOAL - Graphes, AlgOrithmes et AppLications (France)","LIRIS - Laboratoire d'InfoRmatique en Image et Syst\u00e8mes d'information (B\u00e2timent Blaise Pascal - 20, avenue Albert Einstein - 69621 Villeurbanne cedex - France)"],"affiliations":[{"raw_affiliation_string":"CNRS, INSA Lyon, UCBL, LIRIS, UMR5205, F-69622 Villeurbanne, France","institution_ids":[]},{"raw_affiliation_string":"CNRS - Centre National de la Recherche Scientifique (France)","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"GOAL - Graphes, AlgOrithmes et AppLications (France)","institution_ids":["https://openalex.org/I4210137744"]},{"raw_affiliation_string":"LIRIS - Laboratoire d'InfoRmatique en Image et Syst\u00e8mes d'information (B\u00e2timent Blaise Pascal - 20, avenue Albert Einstein - 69621 Villeurbanne cedex - France)","institution_ids":["https://openalex.org/I4210155607"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5093887447","display_name":"S\u00e9bastien Zeitoun","orcid":"https://orcid.org/0009-0003-2675-8581"},"institutions":[{"id":"https://openalex.org/I4210137744","display_name":"LabEx PERSYVAL-Lab","ror":"https://ror.org/03eqm6y13","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2738703131","https://openalex.org/I4210137744","https://openalex.org/I4210139971","https://openalex.org/I4210150872","https://openalex.org/I899635006","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Zeitoun, S\u00e9bastien","raw_affiliation_strings":["CNRS, INSA Lyon, UCBL, LIRIS, UMR5205, F-69622 Villeurbanne, France","GOAL - Graphes, AlgOrithmes et AppLications (France)"],"affiliations":[{"raw_affiliation_string":"CNRS, INSA Lyon, UCBL, LIRIS, UMR5205, F-69622 Villeurbanne, France","institution_ids":[]},{"raw_affiliation_string":"GOAL - Graphes, AlgOrithmes et AppLications (France)","institution_ids":["https://openalex.org/I4210137744"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5044190443"],"corresponding_institution_ids":["https://openalex.org/I4210137744"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.38095547,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T10003","display_name":"Innovation and Knowledge Management","score":0.5554999709129333,"subfield":{"id":"https://openalex.org/subfields/1408","display_name":"Strategy and Management"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10003","display_name":"Innovation and Knowledge Management","score":0.5554999709129333,"subfield":{"id":"https://openalex.org/subfields/1408","display_name":"Strategy and Management"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.45989999175071716},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4449000060558319},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.4311999976634979},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.42829999327659607},{"id":"https://openalex.org/keywords/complexity-class","display_name":"Complexity class","score":0.42320001125335693},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.40450000762939453},{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.3887999951839447},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.36230000853538513}],"concepts":[{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5799999833106995},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.45989999175071716},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4503999948501587},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4449000060558319},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.4311999976634979},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.42829999327659607},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.42320001125335693},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4165000021457672},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.40450000762939453},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.3887999951839447},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.36230000853538513},{"id":"https://openalex.org/C96563100","wikidata":"https://www.wikidata.org/wiki/Q8037118","display_name":"Worst-case complexity","level":3,"score":0.3483000099658966},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.3357999920845032},{"id":"https://openalex.org/C2778478883","wikidata":"https://www.wikidata.org/wiki/Q7825025","display_name":"Topological complexity","level":2,"score":0.31060001254081726},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.30880001187324524},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.30799999833106995},{"id":"https://openalex.org/C189352744","wikidata":"https://www.wikidata.org/wiki/Q1971461","display_name":"Social choice theory","level":2,"score":0.28850001096725464},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.2854999899864197},{"id":"https://openalex.org/C198352243","wikidata":"https://www.wikidata.org/wiki/Q37105","display_name":"Line (geometry)","level":2,"score":0.28130000829696655},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.27950000762939453},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.2761000096797943},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.26969999074935913},{"id":"https://openalex.org/C56049555","wikidata":"https://www.wikidata.org/wiki/Q1276570","display_name":"EXPTIME","level":4,"score":0.25360000133514404}],"mesh":[],"locations_count":5,"locations":[{"id":"pmh:oai:arXiv.org:2505.20915","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2505.20915","pdf_url":"https://arxiv.org/pdf/2505.20915","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:drops-oai.dagstuhl.de:24835","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2025.18","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol356-disc2025/LIPIcs.DISC.2025.18/LIPIcs.DISC.2025.18.pdf","source":{"id":"https://openalex.org/S4306402524","display_name":"Leibniz-Zentrum f\u00fcr Informatik (Schloss Dagstuhl)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"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":"publishedVersion"},{"id":"pmh:oai:HAL:hal-05369384v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05369384","pdf_url":null,"source":{"id":"https://openalex.org/S4406922398","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"39th International Symposium on Distributed Computing, Oct 2025, Berlin, Germany. ⟨10.4230/LIPICS.DISC.2025.18⟩","raw_type":"Conference papers"},{"id":"doi:10.48550/arxiv.2505.20915","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2505.20915","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":"article"},{"id":"doi:10.4230/lipics.disc.2025.18","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.disc.2025.18","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2505.20915","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2505.20915","pdf_url":"https://arxiv.org/pdf/2505.20915","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1760951437","display_name":null,"funder_award_id":"24-CE48-7768","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G3137491763","display_name":null,"funder_award_id":"ANR-24-CE48-7768","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4414588848.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"An":[0],"impressive":[1],"recent":[2],"line":[3],"of":[4,11,52,58,92,187,236,243],"work":[5],"has":[6,19,135],"charted":[7],"the":[8,31,50,53,67,84,90,93,122,185,209],"complexity":[9,57,86,112,136,160,198],"landscape":[10,54],"distributed":[12,59],"graph":[13,60],"algorithms.":[14,61],"For":[15],"many":[16],"settings,":[17],"it":[18],"been":[20],"determined":[21],"which":[22,27,241],"time":[23],"complexities":[24],"exist,":[25],"and":[26,82,99,114,162,200,239],"do":[28],"not":[29,146],"(in":[30],"sense":[32],"that":[33,43,134,144,170,192],"no":[34,219],"local":[35,68,127],"problem":[36],"could":[37],"have":[38],"an":[39],"optimal":[40],"algorithm":[41],"with":[42],"complexity).":[44],"In":[45],"this":[46],"paper,":[47],"we":[48,64,101,190,227],"initiate":[49],"study":[51],"for":[55,96,150,175,182],"space":[56,85],"More":[62],"precisely,":[63],"focus":[65],"on":[66,233],"certification":[69],"setting,":[70],"where":[71,83,206,216],"a":[72,80,103,109,132,142,151,157,168,195,229],"prover":[73],"assigns":[74],"certificates":[75],"to":[76,78,148,184],"nodes":[77],"certify":[79],"property,":[81],"is":[87,108,121,156,171,194,208,242],"measured":[88],"by":[89],"size":[91],"certificates.":[94],"Already":[95],"anonymous":[97],"paths":[98,183],"cycles,":[100,166],"unveil":[102],"surprising":[104],"landscape:":[105],"-":[106,129,154],"There":[107,130,155],"gap":[110,124,158,169,196],"between":[111,159,197],"$O(1)$":[113,161,199],"$\u0398(\\log":[115,137,163,201],"\\log":[116,138,202],"n)$":[117,139,164],"in":[118,126,140,165,204],"paths.":[119,176],"This":[120],"first":[123],"established":[125],"certification.":[128],"exists":[131],"property":[133],"paths,":[141],"regime":[143],"was":[145],"known":[147],"exist":[149],"natural":[152],"property.":[153],"hence":[167],"exponentially":[172],"larger":[173],"than":[174],"We":[177,211],"then":[178],"generalize":[179],"our":[180,225],"result":[181],"class":[186],"trees.":[188],"Namely,":[189],"show":[191],"there":[193,217],"d)$":[203],"trees,":[205],"$d$":[207],"diameter.":[210],"finally":[212],"describe":[213],"some":[214],"settings":[215],"are":[218],"gaps":[220],"at":[221],"all.":[222],"To":[223],"prove":[224],"results":[226,235],"develop":[228],"new":[230],"toolkit,":[231],"based":[232],"various":[234],"automata":[237],"theory":[238],"arithmetic,":[240],"independent":[244],"interest.":[245]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-09-29T00:00:00"}