{"id":"https://openalex.org/W2140994271","doi":"https://doi.org/10.1145/1374376.1374479","title":"Elusive functions and lower bounds for arithmetic circuits","display_name":"Elusive functions and lower bounds for arithmetic circuits","publication_year":2008,"publication_date":"2008-05-17","ids":{"openalex":"https://openalex.org/W2140994271","doi":"https://doi.org/10.1145/1374376.1374479","mag":"2140994271"},"language":"en","primary_location":{"id":"doi:10.1145/1374376.1374479","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1374376.1374479","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the fortieth annual ACM symposium on Theory of computing","raw_type":"proceedings-article"},"type":"conference-paper","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/A5041545934","display_name":"Ran Raz","orcid":"https://orcid.org/0009-0008-1656-2258"},"institutions":[{"id":"https://openalex.org/I53964585","display_name":"Weizmann Institute of Science","ror":"https://ror.org/0316ej306","country_code":"IL","type":"education","lineage":["https://openalex.org/I53964585"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Ran Raz","raw_affiliation_strings":["Weizmann Institute, Rehovot, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Weizmann Institute, Rehovot, Israel","institution_ids":["https://openalex.org/I53964585"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5041545934"],"corresponding_institution_ids":["https://openalex.org/I53964585"],"apc_list":null,"apc_paid":null,"fwci":3.1422,"has_fulltext":false,"cited_by_count":35,"citation_normalized_percentile":{"value":0.92707971,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"711","last_page":"720"},"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.9998000264167786,"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.9998000264167786,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9986000061035156,"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/T12541","display_name":"Graph Labeling and Dimension Problems","score":0.995199978351593,"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/arithmetic","display_name":"Arithmetic","score":0.7696344256401062},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.5328735709190369},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5221312642097473},{"id":"https://openalex.org/keywords/saturation-arithmetic","display_name":"Saturation arithmetic","score":0.5061001181602478},{"id":"https://openalex.org/keywords/arithmetic-circuit-complexity","display_name":"Arithmetic circuit complexity","score":0.5032598376274109},{"id":"https://openalex.org/keywords/arbitrary-precision-arithmetic","display_name":"Arbitrary-precision arithmetic","score":0.35661250352859497},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3531894087791443},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.32016295194625854},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.09679877758026123},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0852213203907013}],"concepts":[{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.7696344256401062},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.5328735709190369},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5221312642097473},{"id":"https://openalex.org/C182775192","wikidata":"https://www.wikidata.org/wiki/Q913725","display_name":"Saturation arithmetic","level":3,"score":0.5061001181602478},{"id":"https://openalex.org/C155920423","wikidata":"https://www.wikidata.org/wiki/Q4791120","display_name":"Arithmetic circuit complexity","level":3,"score":0.5032598376274109},{"id":"https://openalex.org/C83581934","wikidata":"https://www.wikidata.org/wiki/Q527381","display_name":"Arbitrary-precision arithmetic","level":2,"score":0.35661250352859497},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3531894087791443},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.32016295194625854},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.09679877758026123},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0852213203907013}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1374376.1374479","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1374376.1374479","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the fortieth annual ACM symposium on Theory of computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W64890674","https://openalex.org/W1518031539","https://openalex.org/W1561337879","https://openalex.org/W1563012911","https://openalex.org/W1576854535","https://openalex.org/W1590864168","https://openalex.org/W1697105205","https://openalex.org/W1968408352","https://openalex.org/W1970905701","https://openalex.org/W1973342538","https://openalex.org/W1978055063","https://openalex.org/W1979337672","https://openalex.org/W1979809284","https://openalex.org/W1981241857","https://openalex.org/W1986051835","https://openalex.org/W1996146326","https://openalex.org/W2007707374","https://openalex.org/W2023541349","https://openalex.org/W2026036943","https://openalex.org/W2027044307","https://openalex.org/W2036656440","https://openalex.org/W2045924252","https://openalex.org/W2046919433","https://openalex.org/W2050358029","https://openalex.org/W2055425281","https://openalex.org/W2060270693","https://openalex.org/W2064224503","https://openalex.org/W2070661348","https://openalex.org/W2070678975","https://openalex.org/W2080295594","https://openalex.org/W2081256023","https://openalex.org/W2102023641","https://openalex.org/W2110206454","https://openalex.org/W2128510017","https://openalex.org/W2165292791","https://openalex.org/W2165293955","https://openalex.org/W2166026605","https://openalex.org/W2170831059","https://openalex.org/W2173866771","https://openalex.org/W2914183794","https://openalex.org/W4233220581","https://openalex.org/W6633363489"],"related_works":["https://openalex.org/W2073476805","https://openalex.org/W1656092346","https://openalex.org/W2181927644","https://openalex.org/W2087454352","https://openalex.org/W2389973593","https://openalex.org/W2078971842","https://openalex.org/W2158464203","https://openalex.org/W2187273623","https://openalex.org/W1977231030","https://openalex.org/W2587234873"],"abstract_inverted_index":{"A":[0],"basic":[1],"fact":[2],"in":[3,20,38,76,233],"linear":[4],"algebra":[5],"is":[6,17,35,73,144,207,247,274],"that":[7,93,138,161,206],"the":[8,11,31,39,69,77,106,120,131,166,284],"image":[9,32,40,70,78],"of":[10,26,33,41,47,71,79,85,95,108,123,153,165,171,203,228,248,275,283,316],"curve":[12,63],"f(x)=(x1,x2,x3,...,xm),":[13],"say":[14,137],"over":[15],"C,":[16],"not":[18,36,74],"contained":[19,37,75],"any":[21,42,80,114,219,236,245,255,266],"m-1":[22],"dimensional":[23],"affine":[24,52],"subspace":[25],"Cm.":[27],"In":[28,88,252],"other":[29],"words,":[30],"f":[34,72,116],"polynomial-mapping":[43,81,140,149,199],"\u0393:Cm-1":[44,82],"\u2192":[45,65,83,142,151,201],"Cm":[46,84],"degree~1":[48],"(that":[49],"is,":[50],"an":[51,57,194,221,225],"mapping).":[53],"Can":[54],"one":[55],"give":[56,193],"explicit":[58,115,169,195,222],"example":[59,196,223],"for":[60,105,129,147,162,181,186,197,209,218,224,241,254,271,310,314],"a":[61,139,198,260],"polynomial":[62,227,243,273],"f:C":[64],"Cm,":[66],"such":[67,264],"that,":[68,235,265],"degree":[86,154,204,262],"2?":[87],"this":[89,96,215,242,258,272],"paper,":[90],"we":[91,136,192],"show":[92,160],"problems":[94],"type":[97,285],"are":[98,293],"closely":[99],"related":[100],"to":[101,177,216],"proving":[102],"lower":[103,127,179,281],"bounds":[104,128,180,282],"size":[107,249,276],"general":[109,182],"arithmetic":[110,183,239,269,312],"circuits.":[111,184],"For":[112],"example,":[113],"as":[117],"above":[118],"(with":[119],"right":[121],"notion":[122],"explicitness":[124],"implies":[125],"super-polynomial":[126],"computing":[130],"permanent":[132],"over~C.":[133],"More":[134],"generally,":[135],"f:Fn":[141,200],"Fm":[143,152],"(s,r)-elusive,":[145],"if":[146],"every":[148,187],"\u0393:Fs":[150],"r,":[155,220,257],"Im(f)":[156],"\u2284":[157],"Im(\u0393).":[158],"We":[159,213],"many":[163],"settings":[164],"parameters":[167],"n,m,s,r,":[168],"constructions":[170],"elusive":[172],"polynomial-mappings":[173],"imply":[174],"strong":[175],"(up":[176],"exponential)":[178],"Finally,":[185],"r":[188,238,268],"<":[189],"log":[190,301],"n,":[191,302],"Fn2,":[202],"O(r),":[205,230],"(s,r)-elusive":[208],"s":[210],"=":[211,300,305],"n1+\u03a9(1/r).":[212,251],"use":[214],"construct":[217],"n-variate":[226],"total-degree":[229],"with":[231],"coefficients":[232],"{0,1,}such":[234],"depth":[237,267],"circuit":[240,270],"(over":[244],"field)":[246],"\u2265":[250,277],"particular,":[253],"constant":[256,261,317],"gives":[259],"polynomial,":[263],"n1+\u03a9(1).":[278],"Previously,":[279],"only":[280],"\u03a9(n":[286],"\u2022":[287],"\u03bbr":[288,291],"(n)),":[289],"where":[290],"(n)":[292],"extremely":[294],"slowly":[295],"growing":[296],"functions":[297],"(e.g.,":[298],"\u03bb5(n)":[299],"and":[303],"\u03bb7(n)":[304],"log*":[306],"log*n),":[307],"were":[308],"known":[309],"constant-depth":[311],"circuits":[313],"polynomials":[315],"degree.":[318]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":5},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}