{"id":"https://openalex.org/W2965653594","doi":"https://doi.org/10.1137/20m1347395","title":"Derandomization from Algebraic Hardness","display_name":"Derandomization from Algebraic Hardness","publication_year":2022,"publication_date":"2022-04-01","ids":{"openalex":"https://openalex.org/W2965653594","doi":"https://doi.org/10.1137/20m1347395","mag":"2965653594"},"language":"en","primary_location":{"id":"doi:10.1137/20m1347395","is_oa":false,"landing_page_url":"https://doi.org/10.1137/20m1347395","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","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/A5004777401","display_name":"Zeyu Guo","orcid":"https://orcid.org/0000-0001-7893-4346"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Zeyu Guo","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100713973","display_name":"Mrinal Kumar","orcid":"https://orcid.org/0000-0002-6430-0219"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mrinal Kumar","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070371254","display_name":"Ramprasad Saptharishi","orcid":"https://orcid.org/0000-0002-7485-3220"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ramprasad Saptharishi","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5072170259","display_name":"Noam Solomon","orcid":"https://orcid.org/0000-0002-1802-4145"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Noam Solomon","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5004777401"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1686,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.796763,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"51","issue":"2","first_page":"315","last_page":"335"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9979000091552734,"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/T11567","display_name":"semigroups and automata theory","score":0.996399998664856,"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/algebraic-number","display_name":"Algebraic number","score":0.5477530360221863},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5299692749977112},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5112946033477783},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3855375647544861}],"concepts":[{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5477530360221863},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5299692749977112},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5112946033477783},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3855375647544861},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/20m1347395","is_oa":false,"landing_page_url":"https://doi.org/10.1137/20m1347395","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3383369134","display_name":null,"funder_award_id":"ICTS/wact2019/03","funder_id":"https://openalex.org/F4320317172","funder_display_name":"International Centre for Theoretical Sciences"}],"funders":[{"id":"https://openalex.org/F4320317172","display_name":"International Centre for Theoretical Sciences","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1503731768","https://openalex.org/W1572772224","https://openalex.org/W1599026900","https://openalex.org/W1968245619","https://openalex.org/W1981241857","https://openalex.org/W1998853590","https://openalex.org/W1998918799","https://openalex.org/W2021736779","https://openalex.org/W2026036943","https://openalex.org/W2044413922","https://openalex.org/W2072311401","https://openalex.org/W2080132708","https://openalex.org/W2082560626","https://openalex.org/W2135453633","https://openalex.org/W2493126624","https://openalex.org/W2576114839","https://openalex.org/W2611959999","https://openalex.org/W2740986359","https://openalex.org/W2883642564","https://openalex.org/W2904278047","https://openalex.org/W2911280162","https://openalex.org/W2935851301","https://openalex.org/W2963835463","https://openalex.org/W2990282593","https://openalex.org/W4212956348"],"related_works":["https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2911598644","https://openalex.org/W2042127053"],"abstract_inverted_index":{"A":[0],"hitting-set":[1],"generator":[2],"(HSG)":[3],"is":[4,27,32,84,119,214,291,322,392],"a":[5,39,129,141,228,236,261,347,351,363],"polynomial":[6,52,112,133,263,353],"map":[7],"${{\\mathsf{Gen}}}:{\\mathbb{F}}^k":[8],"\\to":[9],"{\\mathbb{F}}^n$":[10],"such":[11,43,91,151],"that":[12,47,92,127,233,313,339],"for":[13,114,137,247,266,285,303,330,359],"all":[14],"$n$-variate":[15],"polynomials":[16,90,249,308],"$C$":[17,26],"of":[18,42,53,66,88,102,111,132,150,200,224,250,296,306,309,327,333,336,356,365,368],"small":[19,258],"enough":[20],"circuit":[21],"size":[22,103,113,297,317,328,343],"and":[23,72,97,155,168,181,196,217,277,370,374],"degree,":[24],"if":[25,362],"nonzero,":[28],"then":[29],"$C\\circ":[30],"{{\\mathsf{Gen}}}$":[31],"nonzero.":[33],"In":[34],"this":[35],"paper,":[36],"we":[37,48,57,231,270,349],"give":[38,350],"new":[40],"construction":[41,213,355],"an":[44,50,85,292,323],"HSG":[45,122],"assuming":[46],"have":[49],"explicit":[51,86,108,293,324],"sufficient":[54],"hardness.":[55],"Formally,":[56],"prove":[58],"the":[59,115,120,124,147,201,222,240,272,304,331,366],"following":[60],"result":[61],"over":[62],"any":[63],"field":[64],"${\\mathbb{F}}$":[65],"characteristic":[67],"zero:":[68],"Let":[69,274],"$k\\in":[70,275],"{\\mathbb{N}}$":[71,276],"$\\delta":[73,278],">":[74,279],"0$":[75,280],"be":[76,281],"arbitrary":[77,282],"constants.":[78,283],"Suppose":[79,284],"${\\left\\{":[80],"{P_d}":[81],"\\right\\}}_{d\\in":[82],"{\\mathbb{N}}}$":[83],"family":[87],"$k$-variate":[89,307],"$\\deg":[93],"P_d":[94],"=":[95],"d$":[96],"$P_d$":[98],"requires":[99],"algebraic":[100,125,143,216,360],"circuits":[101,139,259],"$d^\\delta$.":[104],"Then,":[105],"there":[106,290,321],"are":[107,255,314,340],"hitting":[109,245,294,325,357],"sets":[110,246,358],"class":[116,305,332],"${\\mathsf{VP}}$.":[117],"This":[118],"first":[121],"in":[123],"setting":[126],"yields":[128],"complete":[130],"derandomization":[131],"identity":[134],"testing":[135],"(PIT)":[136],"general":[138],"from":[140,239],"suitable":[142],"hardness":[144],"assumption.":[145],"Unlike":[146],"prior":[148],"constructions":[149],"maps":[152],"[N.":[153],"Nisan":[154],"A.":[156,197],"Wigderson,":[157],"J.":[158],"Comput.":[159,171],"System":[160],"Sci.,":[161],"49":[162],"(1994),":[163],"pp.":[164,175,190,210,382,390],"149--167;":[165],"V.":[166],"Kabanets":[167],"R.":[169,194],"Impagliazzo,":[170],"Complexity,":[172],"13":[173],"(2004),":[174],"1--46;":[176],"M.":[177,192],"Agrawal,":[178],"S.":[179,375,384],"Ghosh,":[180],"N.Saxena,":[182],"Proc.":[183],"Natl.":[184],"Acad.":[185],"Sci.":[186],"USA,":[187],"116":[188],"(2019),":[189],"8107--8118;":[191],"Kumar,":[193],"Saptharishi,":[195],"Tengse,":[198],"Proceedings":[199],"\\textup30th":[202],"Annual":[203],"ACM-SIAM":[204],"Symposium":[205],"on":[206,221],"Discrete":[207],"Algorithms,":[208],"2019,":[209],"639--646],":[211],"our":[212],"purely":[215],"does":[218],"not":[219],"rely":[220],"notion":[223],"combinatorial":[225],"designs.":[226],"As":[227,346],"direct":[229],"consequence,":[230,348],"show":[232,271],"even":[234],"saving":[235],"single":[237],"point":[238],"\u201ctrivial\u201d":[241],"explicit,":[242],"exponential":[243],"sized":[244],"constant-variate":[248],"low":[251],"individual":[252,310],"degree":[253,311,337],"which":[254],"computable":[256,315,341],"by":[257,316,342],"implies":[260],"deterministic":[262,352],"time":[264,354],"algorithm":[265],"PIT.":[267],"More":[268],"precisely,":[269],"following:":[273],"every":[286],"$s$":[287,312,344],"large":[288],"enough,":[289],"set":[295,326],"at":[298],"most":[299],"$((s+1)^k":[300],"-":[301],"1)$":[302],"$s^\\delta$":[318],"circuits.":[319,345],"Then":[320],"${\\operatorname{poly}}(s)$":[329],"$s$-variate":[334],"polynomials,":[335],"$s$,":[338],"circuits,":[361],"strengthening":[364],"$\\tau$-conjecture":[367],"Shub":[369,373],"Smale":[371],"[M.":[372],"Smale,":[376,385],"Duke":[377],"Math.":[378,386],"J.,":[379],"81":[380],"(1995),":[381],"47--54;":[383],"Intelligencer,":[387],"20":[388],"(1998),":[389],"7--15]":[391],"true.":[393]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}