{"id":"https://openalex.org/W7128626216","doi":"https://doi.org/10.1109/focs63196.2025.00114","title":"Rank Bounds and PIT for depth-4 circuits with top fan-in 3 and constant bottom fan-in via a non-linear Edelstein-Kelly theorem","display_name":"Rank Bounds and PIT for depth-4 circuits with top fan-in 3 and constant bottom fan-in via a non-linear Edelstein-Kelly theorem","publication_year":2025,"publication_date":"2025-12-14","ids":{"openalex":"https://openalex.org/W7128626216","doi":"https://doi.org/10.1109/focs63196.2025.00114"},"language":null,"primary_location":{"id":"doi:10.1109/focs63196.2025.00114","is_oa":false,"landing_page_url":"https://doi.org/10.1109/focs63196.2025.00114","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 66th Annual Symposium on Foundations of Computer Science (FOCS)","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/A5125670478","display_name":"Abhibhav Garg","orcid":null},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Abhibhav Garg","raw_affiliation_strings":["University of Waterloo,Cheriton School of Computer Science,Waterloo,Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo,Cheriton School of Computer Science,Waterloo,Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023855087","display_name":"Rafael S. Oliveira","orcid":"https://orcid.org/0000-0002-6392-2526"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Rafael Oliveira","raw_affiliation_strings":["University of Waterloo,Cheriton School of Computer Science,Waterloo,Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo,Cheriton School of Computer Science,Waterloo,Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008550694","display_name":"Akash Kumar Sengupta","orcid":"https://orcid.org/0000-0002-0459-4411"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Akash Kumar Sengupta","raw_affiliation_strings":["Rutgers University,Department of Computer Science,New Brunswick,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rutgers University,Department of Computer Science,New Brunswick,USA","institution_ids":["https://openalex.org/I102322142"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2143","last_page":"2169"},"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.8442000150680542,"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.8442000150680542,"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.0869000032544136,"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.02019999921321869,"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/constant","display_name":"Constant (computer programming)","score":0.8141000270843506},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.7688999772071838},{"id":"https://openalex.org/keywords/rank","display_name":"Rank (graph theory)","score":0.689300000667572},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5389999747276306},{"id":"https://openalex.org/keywords/quadratic-equation","display_name":"Quadratic equation","score":0.48179998993873596},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.4715999960899353}],"concepts":[{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.8141000270843506},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8113999962806702},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.7688999772071838},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.689300000667572},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6108999848365784},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5389999747276306},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.48179998993873596},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.4715999960899353},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.45879998803138733},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.40459999442100525},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.3880000114440918},{"id":"https://openalex.org/C6077466","wikidata":"https://www.wikidata.org/wiki/Q5156597","display_name":"Complex quadratic polynomial","level":3,"score":0.3352999985218048},{"id":"https://openalex.org/C134121241","wikidata":"https://www.wikidata.org/wiki/Q899301","display_name":"Yield (engineering)","level":2,"score":0.3140000104904175},{"id":"https://openalex.org/C53105687","wikidata":"https://www.wikidata.org/wiki/Q173227","display_name":"Physical constant","level":2,"score":0.2549999952316284}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/focs63196.2025.00114","is_oa":false,"landing_page_url":"https://doi.org/10.1109/focs63196.2025.00114","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 66th Annual Symposium on Foundations of Computer Science (FOCS)","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":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0],"prove":[1],"a":[2,13,43,71],"non-linear":[3],"Edelstein-Kelly":[4],"theorem":[5],"for":[6,53,82,129],"polynomials":[7,35,37],"of":[8,16,27,38,45,74],"constant":[9,40,50,61,84],"degree,":[10],"fully":[11],"settling":[12],"stronger":[14,72],"form":[15,73],"Conjecture":[17,75,93],"30":[18],"in":[19,77,95,112],"Gupta":[20,78],"(2014),":[21],"and":[22,29,60,98,115],"generalizing":[23],"the":[24,66,122],"main":[25],"result":[26],"Peleg":[28],"Shpilka":[30],"(STOC":[31],"2021)":[32],"from":[33],"quadratic":[34],"to":[36],"any":[39,83],"degree.":[41],"As":[42],"consequence":[44],"our":[46],"result,":[47],"we":[48],"obtain":[49],"rank":[51,105],"bounds":[52],"depth-4":[54],"circuits":[55],"with":[56,109],"top":[57],"fanin":[58],"3":[59],"bottom":[62],"fan-in":[63],"which":[64],"compute":[65],"zero":[67],"polynomial.":[68],"This":[69],"settles":[70],"1":[76],"(2014)":[79],"when":[80,107],"$\\mathrm{k}=3$,":[81],"degree":[85],"bound;":[86],"additionally":[87],"this":[88],"also":[89],"makes":[90],"progress":[91],"on":[92],"28":[94],"Beecken,":[96,113],"Mittmann,":[97,114],"Saxena":[99,116],"(Information":[100,117],"&":[101,118],"Computation,":[102,119],"2013).":[103],"Our":[104],"bounds,":[106],"combined":[108],"Theorem":[110],"2":[111],"2013)":[120],"yield":[121],"first":[123],"deterministic,":[124],"polynomial":[125],"time":[126],"PIT":[127],"algorithm":[128],"these":[130],"circuits.":[131]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-02-12T00:00:00"}