{"id":"https://openalex.org/W2512075523","doi":"https://doi.org/10.1145/3195257","title":"Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler\u2013Leman Refinement Steps","display_name":"Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler\u2013Leman Refinement Steps","publication_year":2023,"publication_date":"2023-07-20","ids":{"openalex":"https://openalex.org/W2512075523","doi":"https://doi.org/10.1145/3195257","mag":"2512075523"},"language":"en","primary_location":{"id":"doi:10.1145/3195257","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3195257","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3195257","source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3195257","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037918017","display_name":"Christoph Berkholz","orcid":"https://orcid.org/0000-0002-3554-517X"},"institutions":[{"id":"https://openalex.org/I39343248","display_name":"Humboldt-Universit\u00e4t zu Berlin","ror":"https://ror.org/01hcx6992","country_code":"DE","type":"education","lineage":["https://openalex.org/I39343248"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Christoph Berkholz","raw_affiliation_strings":["Humboldt-Universit\u00e4t zu Berlin, Germany"],"affiliations":[{"raw_affiliation_string":"Humboldt-Universit\u00e4t zu Berlin, Germany","institution_ids":["https://openalex.org/I39343248"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003633660","display_name":"Jakob Nordstr\u0094\u00f6m","orcid":"https://orcid.org/0000-0002-2700-4285"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]},{"id":"https://openalex.org/I187531555","display_name":"Lund University","ror":"https://ror.org/012a77v79","country_code":"SE","type":"education","lineage":["https://openalex.org/I187531555"]}],"countries":["DK","SE"],"is_corresponding":false,"raw_author_name":"Jakob Nordstr\u00f6m","raw_affiliation_strings":["University of Copenhagen, Denmark and Lund University, Sweden"],"affiliations":[{"raw_affiliation_string":"University of Copenhagen, Denmark and Lund University, Sweden","institution_ids":["https://openalex.org/I124055696","https://openalex.org/I187531555"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5037918017"],"corresponding_institution_ids":["https://openalex.org/I39343248"],"apc_list":null,"apc_paid":null,"fwci":2.9923,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.93291343,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"70","issue":"5","first_page":"1","last_page":"32"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.9921000003814697,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.9921000003814697,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9908999800682068,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9905999898910522,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/quantifier","display_name":"Quantifier (linguistics)","score":0.6533167958259583},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5433548092842102},{"id":"https://openalex.org/keywords/quantifier-elimination","display_name":"Quantifier elimination","score":0.503598153591156},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3972782790660858},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.38139283657073975},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2426477074623108},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1666645109653473}],"concepts":[{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.6533167958259583},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5433548092842102},{"id":"https://openalex.org/C32278780","wikidata":"https://www.wikidata.org/wiki/Q1849020","display_name":"Quantifier elimination","level":2,"score":0.503598153591156},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3972782790660858},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38139283657073975},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2426477074623108},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1666645109653473}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3195257","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3195257","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3195257","source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/b0dee9df-e687-4945-a910-011a797e9c60","is_oa":true,"landing_page_url":"https://researchprofiles.ku.dk/da/publications/b0dee9df-e687-4945-a910-011a797e9c60","pdf_url":"https://curis.ku.dk/ws/files/372610181/Near_optimal_Lower.pdf","source":{"id":"https://openalex.org/S4306401983","display_name":"Research at the University of Copenhagen (University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124055696","host_organization_name":"University of Copenhagen","host_organization_lineage":["https://openalex.org/I124055696"],"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":"Berkholz , C & Nordstr\u00f6m , J 2023 , ' Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps ' , Journal of the ACM , vol. 70 , no. 5 , 32 , pp. 1-32 . https://doi.org/10.1145/3195257","raw_type":"article"},{"id":"pmh:oai:lup.lub.lu.se:40b4192f-a8bf-49c3-8113-67478d591b97","is_oa":false,"landing_page_url":"https://lup.lub.lu.se/record/40b4192f-a8bf-49c3-8113-67478d591b97","pdf_url":null,"source":{"id":"https://openalex.org/S4306400536","display_name":"Lund University Publications (Lund University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I187531555","host_organization_name":"Lund University","host_organization_lineage":["https://openalex.org/I187531555"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 0004-5411","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/3195257","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3195257","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3195257","source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2109279595","display_name":null,"funder_award_id":"FP7/2007-2013","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G2374386402","display_name":null,"funder_award_id":"27961","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2443758508","display_name":null,"funder_award_id":"279611","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2808292460","display_name":null,"funder_award_id":"Postdoc-Program","funder_id":"https://openalex.org/F4320320875","funder_display_name":"Deutscher Akademischer Austauschdienst"},{"id":"https://openalex.org/G3696053436","display_name":null,"funder_award_id":"FP7/2007-2013","funder_id":"https://openalex.org/F4320320875","funder_display_name":"Deutscher Akademischer Austauschdienst"},{"id":"https://openalex.org/G3768028705","display_name":null,"funder_award_id":"621-2010-4797","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G3829048491","display_name":null,"funder_award_id":"FP7/2007-2013","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3981126665","display_name":null,"funder_award_id":"Seventh Framework Programme","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4109256727","display_name":null,"funder_award_id":"621-2012-5645","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G5593277320","display_name":null,"funder_award_id":"2007-2013","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5702163051","display_name":null,"funder_award_id":"FP7/2007","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6336396887","display_name":null,"funder_award_id":"2016-00782","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G8080935424","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G8210722520","display_name":null,"funder_award_id":"2016-0078","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G8659990481","display_name":null,"funder_award_id":"621-2010-4797, 621-2012-5645, and 2016-00782","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320875","display_name":"Deutscher Akademischer Austauschdienst","ror":"https://ror.org/039djdh30"},{"id":"https://openalex.org/F4320322509","display_name":"Kungliga Tekniska H\u00f6gskolan","ror":"https://ror.org/026vcq606"},{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2512075523.pdf","grobid_xml":"https://content.openalex.org/works/W2512075523.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W59373101","https://openalex.org/W1505776303","https://openalex.org/W1517098132","https://openalex.org/W1518031539","https://openalex.org/W1522668611","https://openalex.org/W1646890620","https://openalex.org/W1680398520","https://openalex.org/W1984581643","https://openalex.org/W1997338813","https://openalex.org/W2009700100","https://openalex.org/W2015878287","https://openalex.org/W2022749269","https://openalex.org/W2031641275","https://openalex.org/W2043507528","https://openalex.org/W2045027298","https://openalex.org/W2061739322","https://openalex.org/W2064995417","https://openalex.org/W2075906306","https://openalex.org/W2084384424","https://openalex.org/W2098022011","https://openalex.org/W2098642112","https://openalex.org/W2107052785","https://openalex.org/W2111302825","https://openalex.org/W2122782108","https://openalex.org/W2129413084","https://openalex.org/W2132541147","https://openalex.org/W2134253979","https://openalex.org/W2152035036","https://openalex.org/W2164319662","https://openalex.org/W2164809404","https://openalex.org/W2173290940","https://openalex.org/W2181072414","https://openalex.org/W2322748670","https://openalex.org/W2359371306","https://openalex.org/W2946898954","https://openalex.org/W2950949012","https://openalex.org/W2964195552","https://openalex.org/W3005509650","https://openalex.org/W3101351575","https://openalex.org/W3105030258","https://openalex.org/W4211118908","https://openalex.org/W4312092243","https://openalex.org/W4318902953"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W4214737172","https://openalex.org/W3012938552","https://openalex.org/W2324712051","https://openalex.org/W2798639752","https://openalex.org/W1550311267","https://openalex.org/W4287825236","https://openalex.org/W1524103539","https://openalex.org/W1239946963","https://openalex.org/W1973527399"],"abstract_inverted_index":{"We":[0,102],"prove":[1],"near-optimal":[2,73],"tradeoffs":[3,54],"for":[4],"quantifier":[5,9,41,118],"depth":[6,42,119],"(also":[7],"called":[8],"rank)":[10],"versus":[11],"number":[12,78],"of":[13,21,79,99,111],"variables":[14],"in":[15,85,96,124],"first-order":[16,33,58],"logic":[17,60],"by":[18,29,62,94],"exhibiting":[19],"pairs":[20],"n":[22,45],"-element":[23],"structures":[24,113],"that":[25],"can":[26],"be":[27],"distinguished":[28],"a":[30],"k":[31,48,50,68],"-variable":[32],"sentence":[34,39],"but":[35],"where":[36],"every":[37],"such":[38],"requires":[40],"at":[43],"least":[44],"\u03a9":[46],"(":[47],"/log":[49],")":[51],".":[52],"Our":[53],"also":[55],"apply":[56,103],"to":[57,66,106,121],"counting":[59],"and,":[61],"the":[63,67,77,89,97,108,116],"known":[64],"connection":[65],"-dimensional":[69],"Weisfeiler\u2013Leman":[70],"algorithm,":[71],"imply":[72],"lower":[74],"bounds":[75],"on":[76],"refinement":[80],"iterations.":[81],"A":[82],"key":[83],"component":[84],"our":[86],"proof":[87,100],"is":[88],"hardness":[90],"condensation":[91],"technique":[92],"introduced":[93],"Razborov":[95],"context":[98],"complexity.":[101],"this":[104],"method":[105],"reduce":[107],"domain":[109],"size":[110],"relational":[112],"while":[114],"maintaining":[115],"minimal":[117],"needed":[120],"distinguish":[122],"them":[123],"finite":[125],"variable":[126],"logics.":[127]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-15T08:11:43.952461","created_date":"2025-10-10T00:00:00"}