{"id":"https://openalex.org/W2132175835","doi":"https://doi.org/10.1137/110856873","title":"Locality from Circuit Lower Bounds","display_name":"Locality from Circuit Lower Bounds","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W2132175835","doi":"https://doi.org/10.1137/110856873","mag":"2132175835"},"language":"en","primary_location":{"id":"doi:10.1137/110856873","is_oa":false,"landing_page_url":"https://doi.org/10.1137/110856873","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-01160454","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079027478","display_name":"Matthew Anderson","orcid":"https://orcid.org/0000-0001-8747-1187"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Matthew Anderson","raw_affiliation_strings":["CS - Department of Computer Sciences [Madison] (1210 W. Dayton St., Madison, WI 53706-1685 - United States)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CS - Department of Computer Sciences [Madison] (1210 W. Dayton St., Madison, WI 53706-1685 - United States)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111961315","display_name":"Dieter van Melkebeek","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dieter van Melkebeek","raw_affiliation_strings":["CS - Department of Computer Sciences [Madison] (1210 W. Dayton St., Madison, WI 53706-1685 - United States)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CS - Department of Computer Sciences [Madison] (1210 W. Dayton St., Madison, WI 53706-1685 - United States)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019365566","display_name":"Nicole Schweikardt","orcid":"https://orcid.org/0000-0001-5705-1675"},"institutions":[{"id":"https://openalex.org/I4210166048","display_name":"Gesellschaft Fur Mathematik Und Datenverarbeitung","ror":"https://ror.org/02g6d4t03","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210166048"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Nicole Schweikardt","raw_affiliation_strings":["FB Informatik und Mathematik (Robert-Mayer-Strasse 10 - 60325 Frankfurt am Main Germany - Germany)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FB Informatik und Mathematik (Robert-Mayer-Strasse 10 - 60325 Frankfurt am Main Germany - Germany)","institution_ids":["https://openalex.org/I4210166048"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042411667","display_name":"Luc Segoufin","orcid":"https://orcid.org/0000-0002-9564-7581"},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Luc Segoufin","raw_affiliation_strings":["DAHU - Verification in databases (LSV ENS de Cachan 61 avenue du Pr\u00e9sident Wilson 94235 CACHAN Cedex FRANCE - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DAHU - Verification in databases (LSV ENS de Cachan 61 avenue du Pr\u00e9sident Wilson 94235 CACHAN Cedex FRANCE - France)","institution_ids":["https://openalex.org/I11559806"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.02,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.78481911,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"41","issue":"6","first_page":"1481","last_page":"1523"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9997000098228455,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9997000098228455,"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/T11567","display_name":"semigroups and automata theory","score":0.9994999766349792,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9983000159263611,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/locality","display_name":"Locality","score":0.8523786067962646},{"id":"https://openalex.org/keywords/tuple","display_name":"Tuple","score":0.7694715857505798},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.705673098564148},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.5272437930107117},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5201919078826904},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.4906729459762573},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.45372629165649414},{"id":"https://openalex.org/keywords/parity","display_name":"Parity (physics)","score":0.45215508341789246},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.43641397356987},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.40609583258628845},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.19058600068092346}],"concepts":[{"id":"https://openalex.org/C2779808786","wikidata":"https://www.wikidata.org/wiki/Q6664603","display_name":"Locality","level":2,"score":0.8523786067962646},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.7694715857505798},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.705673098564148},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.5272437930107117},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5201919078826904},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.4906729459762573},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.45372629165649414},{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.45215508341789246},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.43641397356987},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.40609583258628845},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.19058600068092346},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C109214941","wikidata":"https://www.wikidata.org/wiki/Q18334","display_name":"Particle physics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1137/110856873","is_oa":false,"landing_page_url":"https://doi.org/10.1137/110856873","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01160454v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01160454","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SIAM Journal on Computing, 2012, 46 (1), pp.43. ⟨10.1137/110856873⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01160454v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01160454","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SIAM Journal on Computing, 2012, 46 (1), pp.43. ⟨10.1137/110856873⟩","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W50958263","https://openalex.org/W80569205","https://openalex.org/W1482193060","https://openalex.org/W1489366126","https://openalex.org/W1504704680","https://openalex.org/W1517150411","https://openalex.org/W1542543925","https://openalex.org/W1558832481","https://openalex.org/W1597502208","https://openalex.org/W1602674136","https://openalex.org/W1608765702","https://openalex.org/W1820094483","https://openalex.org/W1871047615","https://openalex.org/W1970629906","https://openalex.org/W1976218595","https://openalex.org/W1988762827","https://openalex.org/W1988899858","https://openalex.org/W1989783863","https://openalex.org/W1993953362","https://openalex.org/W2012476164","https://openalex.org/W2012552318","https://openalex.org/W2017290750","https://openalex.org/W2019940097","https://openalex.org/W2021552369","https://openalex.org/W2025800967","https://openalex.org/W2036656440","https://openalex.org/W2042194938","https://openalex.org/W2045924252","https://openalex.org/W2054510469","https://openalex.org/W2059820690","https://openalex.org/W2060270693","https://openalex.org/W2088094394","https://openalex.org/W2100006909","https://openalex.org/W2102217818","https://openalex.org/W2132519377","https://openalex.org/W2149269708","https://openalex.org/W2169644995","https://openalex.org/W2169803831","https://openalex.org/W2255083403","https://openalex.org/W2913459036","https://openalex.org/W3032071526"],"related_works":["https://openalex.org/W4245395944","https://openalex.org/W2143551613","https://openalex.org/W1979740464","https://openalex.org/W2143345456","https://openalex.org/W2138823233","https://openalex.org/W1789991335","https://openalex.org/W2562731034","https://openalex.org/W4315705795","https://openalex.org/W2101053337","https://openalex.org/W1870651561"],"abstract_inverted_index":{"We":[0,56,64,147],"study":[1,157],"the":[2,49,53,66,95,106,111,120,130,156,164,171,178],"locality":[3,82],"of":[4,7,20,48,52,70,108,152,158],"an":[5,150],"extension":[6,25],"first-order":[8,27,86,168],"logic":[9],"that":[10,42,93,142],"captures":[11],"graph":[12],"queries":[13],"computable":[14],"in":[15,38,110],"${AC}^0}$,":[16],"i.e.,":[17],"by":[18],"families":[19],"polynomial-size":[21],"constant-depth":[22,185],"circuits.":[23,186],"The":[24],"considers":[26],"formulas":[28,60,169],"over":[29],"relational":[30],"structures":[31],"which":[32],"may":[33],"use":[34],"arbitrary":[35],"numerical":[36,54],"predicates":[37],"such":[39,59],"a":[40,80,116],"way":[41],"their":[43],"truth":[44],"value":[45],"is":[46,115],"independent":[47],"particular":[50],"interpretation":[51],"predicates.":[55],"refer":[57],"to":[58,99,125,155],"as":[61],"Arb-invariant":[62,85],"first-order.":[63],"consider":[65],"two":[67,91],"standard":[68],"notions":[69],"locality,":[71],"Gaifman":[72,81],"and":[73,113,170,175],"Hanf":[74,135],"locality.":[75,136],"Our":[76,161],"main":[77],"result":[78],"gives":[79],"theorem:":[83],"An":[84],"formula":[87],"cannot":[88],"distinguish":[89],"between":[90,167],"tuples":[92],"have":[94],"same":[96,131],"neighborhood":[97],"up":[98],"distance":[100],"$(\\log":[101],"n)^c$,":[102],"where":[103],"$n$":[104],"represents":[105],"number":[107],"elements":[109],"structure":[112],"$c$":[114],"constant":[117],"depending":[118],"on":[119,177,184],"formula.":[121],"When":[122],"restricting":[123],"attention":[124],"string":[126],"structures,":[127],"we":[128,140],"achieve":[129],"quantitative":[132],"strength":[133],"for":[134,182],"In":[137],"both":[138],"cases":[139],"show":[141],"our":[143,153],"bounds":[144,181],"are":[145],"tight.":[146],"also":[148],"present":[149],"application":[151],"results":[154],"regular":[159],"languages.":[160],"proof":[162],"exploits":[163],"close":[165],"connection":[166],"complexity":[172],"class":[173],"${AC}^0}$":[174],"hinges":[176],"tight":[179],"lower":[180],"parity":[183]},"counts_by_year":[{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}