{"id":"https://openalex.org/W4226380280","doi":"https://doi.org/10.1145/3611094","title":"Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits","display_name":"Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits","publication_year":2024,"publication_date":"2024-01-25","ids":{"openalex":"https://openalex.org/W4226380280","doi":"https://doi.org/10.1145/3611094"},"language":"en","primary_location":{"id":"doi:10.1145/3611094","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3611094","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3611094","source":{"id":"https://openalex.org/S103482838","display_name":"Communications of the ACM","issn_l":"0001-0782","issn":["0001-0782","1557-7317"],"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":"Communications 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/3611094","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083072245","display_name":"Nutan Limaye","orcid":"https://orcid.org/0000-0002-0238-1674"},"institutions":[{"id":"https://openalex.org/I162827531","display_name":"Indian Institute of Technology Bombay","ror":"https://ror.org/02qyf5152","country_code":"IN","type":"education","lineage":["https://openalex.org/I162827531"]},{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK","IN"],"is_corresponding":false,"raw_author_name":"Nutan Limaye","raw_affiliation_strings":["ITU Copenhagen, Denmark","Indian Institute of Technology Bombay"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ITU Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]},{"raw_affiliation_string":"Indian Institute of Technology Bombay","institution_ids":["https://openalex.org/I162827531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025305994","display_name":"Srikanth Srinivasan","orcid":"https://orcid.org/0000-0001-6491-124X"},"institutions":[{"id":"https://openalex.org/I162827531","display_name":"Indian Institute of Technology Bombay","ror":"https://ror.org/02qyf5152","country_code":"IN","type":"education","lineage":["https://openalex.org/I162827531"]},{"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","IN"],"is_corresponding":false,"raw_author_name":"Srikanth Srinivasan","raw_affiliation_strings":["Aarhus University, Denmark","Indian Institute of Technology Bombay"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aarhus University, Denmark","institution_ids":["https://openalex.org/I204337017"]},{"raw_affiliation_string":"Indian Institute of Technology Bombay","institution_ids":["https://openalex.org/I162827531"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045926575","display_name":"S\u00e9bastien Tavenas","orcid":"https://orcid.org/0000-0002-0025-0005"},"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/I4210144844","display_name":"Laboratoire d\u2019Analyse et de Math\u00e9matiques Appliqu\u00e9es","ror":"https://ror.org/0581g8849","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I197681013","https://openalex.org/I4210141950","https://openalex.org/I4210144844","https://openalex.org/I4210154111"]},{"id":"https://openalex.org/I70900168","display_name":"Universit\u00e9 Savoie Mont Blanc","ror":"https://ror.org/04gqg1a07","country_code":"FR","type":"education","lineage":["https://openalex.org/I70900168"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"S\u00e9bastien Tavenas","raw_affiliation_strings":["Universit\u00e9 Savoie Mont Blanc, CNRS, LAMA, France","Universit\u00e9 Savoie Mont Blanc"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Savoie Mont Blanc, CNRS, LAMA, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210144844","https://openalex.org/I70900168"]},{"raw_affiliation_string":"Universit\u00e9 Savoie Mont Blanc","institution_ids":["https://openalex.org/I70900168"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00589588,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"67","issue":"2","first_page":"1","last_page":"108"},"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.6078000068664551,"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.6078000068664551,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.18310000002384186,"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/T10237","display_name":"Cryptography and Data Security","score":0.11169999837875366,"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/algebraic-number","display_name":"Algebraic number","score":0.6014472246170044},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.5335161089897156},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.45187658071517944},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.43113693594932556},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3730182945728302},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3553859293460846},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3290010690689087},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.1375504434108734},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1332087516784668},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.0845281183719635}],"concepts":[{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.6014472246170044},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.5335161089897156},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45187658071517944},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43113693594932556},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3730182945728302},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3553859293460846},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3290010690689087},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.1375504434108734},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1332087516784668},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0845281183719635}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/3611094","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3611094","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3611094","source":{"id":"https://openalex.org/S103482838","display_name":"Communications of the ACM","issn_l":"0001-0782","issn":["0001-0782","1557-7317"],"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":"Communications of the ACM","raw_type":"journal-article"},{"id":"doi:10.1145/3734215","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3734215","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3734215","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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/94200750-7252-4311-a62b-38c0b91d13e1","is_oa":true,"landing_page_url":"https://pure.itu.dk/portal/da/publications/94200750-7252-4311-a62b-38c0b91d13e1","pdf_url":null,"source":{"id":"https://openalex.org/S4377196680","display_name":"IT University Of Copenhagen (IT University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83467386","host_organization_name":"IT University of Copenhagen","host_organization_lineage":["https://openalex.org/I83467386"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Limaye, N, Srinivasan, S & Tavenas, S 2025, 'Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits', Journal of the ACM , vol. 72, no. 4, 26, pp. 1-35. https://doi.org/10.1145/3734215","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/13fe7ae6-68d7-4589-86c5-859290accb7a","is_oa":true,"landing_page_url":"https://researchprofiles.ku.dk/da/publications/13fe7ae6-68d7-4589-86c5-859290accb7a","pdf_url":"https://curis.ku.dk/ws/files/523040853/Superpolynomial_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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Limaye , N , Srinivasan , S & Tavenas , S 2025 , ' Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits ' , Journal of the ACM , vol. 72 , no. 4 , 26 . https://doi.org/10.1145/3734215","raw_type":"article"},{"id":"pmh:oai:HAL:hal-03367796v2","is_oa":true,"landing_page_url":"https://hal.science/hal-03367796","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":"Journal of the ACM (JACM), 2025, 72 (4), pp.Article 26. ⟨10.1145/3734215⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3611094","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3611094","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3611094","source":{"id":"https://openalex.org/S103482838","display_name":"Communications of the ACM","issn_l":"0001-0782","issn":["0001-0782","1557-7317"],"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":"Communications of the ACM","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2756940399","display_name":null,"funder_award_id":"MTR/2017/000909","funder_id":"https://openalex.org/F4320334771","funder_display_name":"Science and Engineering Research Board"},{"id":"https://openalex.org/G4422840520","display_name":null,"funder_award_id":"16582","funder_id":"https://openalex.org/F4320310490","funder_display_name":"Villum Fonden"},{"id":"https://openalex.org/G5367877527","display_name":null,"funder_award_id":"54451","funder_id":"https://openalex.org/F4320310490","funder_display_name":"Villum Fonden"}],"funders":[{"id":"https://openalex.org/F4320309928","display_name":"Aarhus Universitet","ror":"https://ror.org/01aj84f44"},{"id":"https://openalex.org/F4320310490","display_name":"Villum Fonden","ror":"https://ror.org/007ww2d15"},{"id":"https://openalex.org/F4320323448","display_name":"Indian Institute of Technology Bombay","ror":"https://ror.org/02qyf5152"},{"id":"https://openalex.org/F4320334771","display_name":"Science and Engineering Research Board","ror":"https://ror.org/03ffdsr55"},{"id":"https://openalex.org/F4320334966","display_name":"Bhabha Atomic Research Centre","ror":"https://ror.org/05w6wfp17"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4226380280.pdf","grobid_xml":"https://content.openalex.org/works/W4226380280.grobid-xml"},"referenced_works_count":59,"referenced_works":["https://openalex.org/W1426742690","https://openalex.org/W1493062898","https://openalex.org/W1539110805","https://openalex.org/W1558278838","https://openalex.org/W1561337879","https://openalex.org/W1566033350","https://openalex.org/W1607367210","https://openalex.org/W1966757974","https://openalex.org/W1968206655","https://openalex.org/W1988738948","https://openalex.org/W1998918799","https://openalex.org/W2000108234","https://openalex.org/W2016576580","https://openalex.org/W2020049924","https://openalex.org/W2021082954","https://openalex.org/W2023541349","https://openalex.org/W2024334120","https://openalex.org/W2026036943","https://openalex.org/W2026944800","https://openalex.org/W2036656440","https://openalex.org/W2039029840","https://openalex.org/W2044399075","https://openalex.org/W2049156754","https://openalex.org/W2060270693","https://openalex.org/W2063302961","https://openalex.org/W2070678975","https://openalex.org/W2071105597","https://openalex.org/W2079910744","https://openalex.org/W2093103267","https://openalex.org/W2102018247","https://openalex.org/W2102023641","https://openalex.org/W2116087731","https://openalex.org/W2128510017","https://openalex.org/W2160909640","https://openalex.org/W2165293955","https://openalex.org/W2170831059","https://openalex.org/W2171403864","https://openalex.org/W2172394696","https://openalex.org/W2295840581","https://openalex.org/W2405068759","https://openalex.org/W2412308914","https://openalex.org/W2467589244","https://openalex.org/W2594331892","https://openalex.org/W2611339529","https://openalex.org/W2730365480","https://openalex.org/W2790350908","https://openalex.org/W2795587066","https://openalex.org/W2807002780","https://openalex.org/W2898993321","https://openalex.org/W2914183794","https://openalex.org/W2917030467","https://openalex.org/W2950714311","https://openalex.org/W2963115702","https://openalex.org/W2964064836","https://openalex.org/W2990282593","https://openalex.org/W2997690783","https://openalex.org/W3022335368","https://openalex.org/W3108210915","https://openalex.org/W3126938812"],"related_works":["https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2317200988","https://openalex.org/W2052122378","https://openalex.org/W2544423928","https://openalex.org/W2053286651","https://openalex.org/W2181743346","https://openalex.org/W2187401768","https://openalex.org/W2181413294","https://openalex.org/W2947381795"],"abstract_inverted_index":{"An":[0],"Algebraic":[1],"Circuit":[2,34],"for":[3,12,40,54,133,143,151],"a":[4,9,24],"multivariate":[5],"polynomial":[6,15],"P":[7,16],"is":[8,23],"computational":[10],"model":[11,26,42],"constructing":[13],"the":[14,32,99,107,137,145,156],"using":[17,155],"only":[18],"additions":[19],"and":[20,36,78,162],"multiplications.":[21],"It":[22],"syntactic":[25],"of":[27,70,115,122],"computation,":[28],"as":[29],"opposed":[30],"to":[31,46,49],"Boolean":[33,55,91],"model,":[35],"hence":[37],"lower":[38,52,64,93,110,131],"bounds":[39,53,65,94,111],"this":[41,103],"are":[43],"widely":[44],"expected":[45],"be":[47],"easier":[48],"prove":[50,106],"than":[51,85],"circuits.":[56],"Despite":[57],"this,":[58],"we":[59,105],"do":[60],"not":[61],"have":[62,95],"superpolynomial":[63,109],"against":[66,112],"general":[67],"algebraic":[68,113,160],"circuits":[69,114,135,154],"depth":[71,79],"3":[72],"(except":[73],"over":[74,119],"constant-sized":[75],"finite":[76],"fields)":[77],"4":[80],"(over":[81],"any":[82],"field":[83],"other":[84],"F":[86],"2":[87],"),":[88],"while":[89],"constant-depth":[90,134],"circuit":[92],"been":[96],"known":[97,157],"since":[98],"early":[100],"1980s.":[101],"In":[102],"paper,":[104],"first":[108,138],"all":[116,120,152],"constant":[117],"depths":[118],"fields":[121],"characteristic":[123],"0.":[124],"We":[125],"also":[126],"observe":[127],"that":[128],"our":[129],"super-polynomial":[130],"bound":[132],"implies":[136],"deterministic":[139],"sub-exponential":[140],"time":[141],"algorithm":[142],"solving":[144],"Polynomial":[146],"Identity":[147],"Testing":[148],"(PIT)":[149],"problem":[150],"small-depth":[153],"connection":[158],"between":[159],"hardness":[161],"randomness.":[163]},"counts_by_year":[],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2022-05-05T00:00:00"}