{"id":"https://openalex.org/W2406826636","doi":"https://doi.org/10.1145/3369928","title":"Separation Between Read-once Oblivious Algebraic Branching Programs (ROABPs) and Multilinear Depth-three Circuits","display_name":"Separation Between Read-once Oblivious Algebraic Branching Programs (ROABPs) and Multilinear Depth-three Circuits","publication_year":2020,"publication_date":"2020-02-11","ids":{"openalex":"https://openalex.org/W2406826636","doi":"https://doi.org/10.1145/3369928","mag":"2406826636"},"language":"en","primary_location":{"id":"doi:10.1145/3369928","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3369928","pdf_url":null,"source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"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":"ACM Transactions on Computation Theory","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079701530","display_name":"Neeraj Kayal","orcid":null},"institutions":[{"id":"https://openalex.org/I4210124949","display_name":"Microsoft Research (India)","ror":"https://ror.org/02w7f3w92","country_code":"IN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Neeraj Kayal","raw_affiliation_strings":["Microsoft Research, Bengaluru, Karnataka, India","Microsoft Research, Bengaluru, Karnataka, India#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Research, Bengaluru, Karnataka, India","institution_ids":["https://openalex.org/I4210124949"]},{"raw_affiliation_string":"Microsoft Research, Bengaluru, Karnataka, India#TAB#","institution_ids":["https://openalex.org/I4210124949"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067928892","display_name":"Vineet Nair","orcid":"https://orcid.org/0009-0004-1335-5473"},"institutions":[{"id":"https://openalex.org/I59270414","display_name":"Indian Institute of Science Bangalore","ror":"https://ror.org/04dese585","country_code":"IN","type":"education","lineage":["https://openalex.org/I59270414"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Vineet Nair","raw_affiliation_strings":["Indian Institute of Science, Bengaluru, Karnataka, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Science, Bengaluru, Karnataka, India","institution_ids":["https://openalex.org/I59270414"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101655060","display_name":"Chandan Saha","orcid":"https://orcid.org/0009-0003-7496-7396"},"institutions":[{"id":"https://openalex.org/I59270414","display_name":"Indian Institute of Science Bangalore","ror":"https://ror.org/04dese585","country_code":"IN","type":"education","lineage":["https://openalex.org/I59270414"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Chandan Saha","raw_affiliation_strings":["Indian Institute of Science, Bengaluru, Karnataka, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Science, Bengaluru, Karnataka, India","institution_ids":["https://openalex.org/I59270414"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.00569143,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"12","issue":"1","first_page":"1","last_page":"27"},"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.9990000128746033,"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.9990000128746033,"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/T12069","display_name":"Commutative Algebra and Its Applications","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9968000054359436,"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/multilinear-map","display_name":"Multilinear map","score":0.9269624948501587},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6284038424491882},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.6162504553794861},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.49348556995391846},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4708169102668762},{"id":"https://openalex.org/keywords/dimension","display_name":"Dimension (graph theory)","score":0.42890065908432007},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.33375149965286255},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.21750140190124512},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.09116539359092712}],"concepts":[{"id":"https://openalex.org/C84392682","wikidata":"https://www.wikidata.org/wiki/Q1952404","display_name":"Multilinear map","level":2,"score":0.9269624948501587},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6284038424491882},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.6162504553794861},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.49348556995391846},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4708169102668762},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.42890065908432007},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.33375149965286255},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.21750140190124512},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.09116539359092712}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3369928","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3369928","pdf_url":null,"source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"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":"ACM Transactions on Computation Theory","raw_type":"journal-article"},{"id":"pmh:oai:eprints.iisc.ac.in:64877","is_oa":false,"landing_page_url":"http://eprints.iisc.ac.in/64877/1/acm_tra_com_the_12-01_2020.pdf","pdf_url":"http://eprints.iisc.ac.in/64877/1/acm_tra_com_the_12-01_2020.pdf","source":{"id":"https://openalex.org/S4377196309","display_name":"NOT FOUND REPOSITORY (Indian Institute of Science Bangalore)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I59270414","host_organization_name":"Indian Institute of Science Bangalore","host_organization_lineage":["https://openalex.org/I59270414"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"},{"id":"mag:2406826636","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/journals/eccc/eccc22.html#KayalNS15","pdf_url":null,"source":{"id":"https://openalex.org/S11189987","display_name":"Electronic colloquium on computational complexity","issn_l":"1433-8092","issn":["1433-8092"],"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":null,"is_accepted":false,"is_published":null,"raw_source_name":"Electronic colloquium on computational complexity","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1503731768","https://openalex.org/W1599026900","https://openalex.org/W1760203663","https://openalex.org/W1883887292","https://openalex.org/W1968245619","https://openalex.org/W1984806876","https://openalex.org/W1985061810","https://openalex.org/W1987315863","https://openalex.org/W1988938797","https://openalex.org/W1993111701","https://openalex.org/W1998853590","https://openalex.org/W1998918799","https://openalex.org/W2018047324","https://openalex.org/W2023541349","https://openalex.org/W2026036943","https://openalex.org/W2026944800","https://openalex.org/W2038098381","https://openalex.org/W2063292248","https://openalex.org/W2064885856","https://openalex.org/W2071105597","https://openalex.org/W2080132708","https://openalex.org/W2084050956","https://openalex.org/W2095780687","https://openalex.org/W2110206454","https://openalex.org/W2136589970","https://openalex.org/W2170831059","https://openalex.org/W2171403864","https://openalex.org/W2172394696","https://openalex.org/W2490952112","https://openalex.org/W3021486028","https://openalex.org/W4293765205"],"related_works":["https://openalex.org/W3016384946","https://openalex.org/W2172394696","https://openalex.org/W1549453853","https://openalex.org/W2405717268","https://openalex.org/W2887782098","https://openalex.org/W2017779408","https://openalex.org/W2970940591","https://openalex.org/W2404747556","https://openalex.org/W2767623943","https://openalex.org/W1569126348","https://openalex.org/W2954939498","https://openalex.org/W2109995168","https://openalex.org/W2400353023","https://openalex.org/W245150611","https://openalex.org/W3171741784","https://openalex.org/W2508387244","https://openalex.org/W2951580623","https://openalex.org/W3022243219","https://openalex.org/W2137147213","https://openalex.org/W2963873487"],"abstract_inverted_index":{"We":[0],"show":[1,26],"an":[2,32,109,121],"exponential":[3,110],"separation":[4,111,156],"between":[5,112,160],"two":[6,46,162],"well-studied":[7],"models":[8],"of":[9,106,157,175,197,200,205],"algebraic":[10,15],"computation,":[11],"namely,":[12],"read-once":[13],"oblivious":[14],"branching":[16],"programs":[17],"(ROABPs)":[18],"and":[19,115],"multilinear":[20,41,62,113,116,135,141],"depth-three":[21,42,63,117,142],"circuits.":[22],"In":[23],"particular,":[24],"we":[25],"the":[27,104,154,181,198,201],"following:":[28],"(1)":[29,168],"There":[30,119],"exists":[31],"explicit":[33,122],"n":[34,78,80,84,123,132,148],"-variate":[35],"polynomial":[36,72,127,166],"computable":[37,128],"by":[38,74,95,129],"linear":[39],"sized":[40,100,134],"circuits":[43],"(with":[44],"only":[45],"product":[47],"gates)":[48],"such":[49,138],"that":[50,139],"every":[51],"ROABP":[52],"computing":[53,65,144],"it":[54,145],"requires":[55],"2":[56],"\u03a9":[57],"(n)":[58],"size.":[59,88],"(2)":[60,107,190],"Any":[61],"circuit":[64,137,143],"IMM":[66,89],"n,d":[67,90,98],"(the":[68],"iterated":[69],"matrix":[70],"multiplication":[71],"formed":[73],"multiplying":[75],"d":[76,86,126],",":[77],"\u00d7":[79],"symbolic":[81],"matrices)":[82],"has":[83,146],"\u03a9(":[85],")":[87,99,133],"can":[91],"be":[92],"easily":[93],"computed":[94],"a":[96,130,172,194],"poly(":[97,131],"ROABP.":[101],"(3)":[102],"Further,":[103],"proof":[105],"yields":[108],"depth-four":[114,136],"circuits:":[118],"is":[120,169,191],"-variate,":[124],"degree":[125],"any":[140,213],"size":[147],"\u03a9(d)":[149],".":[150],"This":[151],"improves":[152],"upon":[153],"quasi-polynomial":[155],"Reference":[158,206],"[36]":[159],"these":[161],"models.":[163],"The":[164],"hard":[165],"in":[167,178],"constructed":[170],"using":[171],"novel":[173],"application":[174],"expander":[176],"graphs":[177],"conjunction":[179],"with":[180],"evaluation":[182],"dimension":[183,199],"measure":[184,204],"[15,":[185],"33,":[186],"34,":[187],"36],":[188],"while":[189],"proved":[192],"via":[193],"new":[195],"adaptation":[196],"partial":[202],"derivatives":[203],"[32].":[207],"Our":[208],"lower":[209],"bounds":[210],"hold":[211],"over":[212],"field.":[214]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3}],"updated_date":"2026-08-11T07:18:39.950985","created_date":"2025-10-10T00:00:00"}