{"id":"https://openalex.org/W4220805816","doi":"https://doi.org/10.1137/20m1322297","title":"Efficient Construction of Rigid Matrices Using an NP Oracle","display_name":"Efficient Construction of Rigid Matrices Using an NP Oracle","publication_year":2022,"publication_date":"2022-03-07","ids":{"openalex":"https://openalex.org/W4220805816","doi":"https://doi.org/10.1137/20m1322297"},"language":"en","primary_location":{"id":"doi:10.1137/20m1322297","is_oa":false,"landing_page_url":"https://doi.org/10.1137/20m1322297","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/A5006981411","display_name":"Josh Alman","orcid":"https://orcid.org/0009-0002-2204-1359"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Josh Alman","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5100611490","display_name":"Lijie Chen","orcid":"https://orcid.org/0000-0002-6084-4729"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lijie Chen","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5006981411"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8765,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.75473478,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"54","issue":"4","first_page":"FOCS19","last_page":"102"},"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.9997000098228455,"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.9997000098228455,"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.9983000159263611,"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/T12288","display_name":"Optimization and Search Problems","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/combinatorics","display_name":"Combinatorics","score":0.7597509622573853},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5366202592849731},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.48331594467163086},{"id":"https://openalex.org/keywords/omega","display_name":"Omega","score":0.4543527662754059},{"id":"https://openalex.org/keywords/rank","display_name":"Rank (graph theory)","score":0.4540945887565613},{"id":"https://openalex.org/keywords/matrix-multiplication","display_name":"Matrix multiplication","score":0.4249809980392456},{"id":"https://openalex.org/keywords/hamming-distance","display_name":"Hamming distance","score":0.41795873641967773},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3648483157157898},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.30899012088775635},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.0841822624206543}],"concepts":[{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7597509622573853},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5366202592849731},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.48331594467163086},{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.4543527662754059},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.4540945887565613},{"id":"https://openalex.org/C17349429","wikidata":"https://www.wikidata.org/wiki/Q1049914","display_name":"Matrix multiplication","level":3,"score":0.4249809980392456},{"id":"https://openalex.org/C193319292","wikidata":"https://www.wikidata.org/wiki/Q272172","display_name":"Hamming distance","level":2,"score":0.41795873641967773},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3648483157157898},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.30899012088775635},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0841822624206543},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/20m1322297","is_oa":false,"landing_page_url":"https://doi.org/10.1137/20m1322297","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":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W1514412042","https://openalex.org/W1530008367","https://openalex.org/W1563512422","https://openalex.org/W1590864168","https://openalex.org/W1996146326","https://openalex.org/W1998918799","https://openalex.org/W2004130530","https://openalex.org/W2008671178","https://openalex.org/W2026339776","https://openalex.org/W2035532007","https://openalex.org/W2044199052","https://openalex.org/W2048910070","https://openalex.org/W2061133474","https://openalex.org/W2064269488","https://openalex.org/W2083237534","https://openalex.org/W2083820240","https://openalex.org/W2098324348","https://openalex.org/W2107145684","https://openalex.org/W2116794057","https://openalex.org/W2135393523","https://openalex.org/W2136726614","https://openalex.org/W2137442467","https://openalex.org/W2144345645","https://openalex.org/W2158695970","https://openalex.org/W2158747250","https://openalex.org/W2159341052","https://openalex.org/W2175125908","https://openalex.org/W2242452602","https://openalex.org/W2281178725","https://openalex.org/W2413166304","https://openalex.org/W2553219432","https://openalex.org/W2574746104","https://openalex.org/W2612047169","https://openalex.org/W2793039178","https://openalex.org/W2809266875","https://openalex.org/W2912133662","https://openalex.org/W2963271334","https://openalex.org/W2964142086","https://openalex.org/W3119413233","https://openalex.org/W3127217102","https://openalex.org/W3129128072","https://openalex.org/W3165549676","https://openalex.org/W3173129396","https://openalex.org/W3177031611","https://openalex.org/W4242600797"],"related_works":["https://openalex.org/W238609530","https://openalex.org/W2361403716","https://openalex.org/W2904061867","https://openalex.org/W4289115725","https://openalex.org/W2967798957","https://openalex.org/W3144644423","https://openalex.org/W2024384195","https://openalex.org/W2883805925","https://openalex.org/W4200572757","https://openalex.org/W4285148873"],"abstract_inverted_index":{"For":[0,178],"a":[1,5,22,47,73,85,106,118,159,184],"matrix":[2,23,119,140,200],"$H$":[3,20],"over":[4,29,134,235],"field":[6],"$\\mathbb{F}$,":[7],"its":[8],"rank-$r$":[9],"rigidity,":[10],"denoted":[11],"by":[12],"$\\mathscr{R}_{H}(r)$,":[13],"is":[14,38,92,105,158,183],"the":[15],"minimum":[16],"Hamming":[17],"distance":[18],"from":[19],"to":[21,39],"of":[24,43,49,75,152,213,230],"rank":[25],"at":[26],"most":[27],"$r$":[28],"$\\mathbb{F}$.":[30],"A":[31],"central":[32],"open":[33,173],"challenge":[34],"in":[35,78,145],"complexity":[36,146],"theory":[37],"give":[40,72],"explicit":[41,228],"constructions":[42],"rigid":[44,76],"matrices":[45,77,234],"for":[46,99,112,190,226,245],"variety":[48],"parameter":[50],"settings.":[51],"In":[52],"this":[53],"work,":[54],"building":[55],"on":[56],"Williams'":[57],"seminal":[58],"connection":[59],"between":[60,139],"circuit-analysis":[61],"algorithms":[62],"and":[63,142],"lower":[64,224],"bounds":[65],"[J.":[66],"ACM,":[67],"61":[68],"(2014),":[69],"2],":[70],"we":[71,88,148],"construction":[74],"$P}^{NP}}$.":[79],"Letting":[80],"$q":[81],"=":[82],"p^r$":[83],"be":[84],"prime":[86],"power,":[87],"show":[89],"that":[90,156,166],"there":[91,104,157,182],"an":[93,196,227],"absolute":[94],"constant":[95],"$\\delta>0$":[96],"such":[97,110,165,188],"that,":[98,111,189],"all":[100,179],"constants":[101],"$\\varepsilon":[102,180],">0$,":[103,181],"$P}^{NP}}$":[107,185],"machine":[108,186],"$M$":[109,187],"infinitely":[113,191],"many":[114,192],"$N$'s,":[115,193],"$M(1^N)$":[116,194],"outputs":[117,195],"$H_N":[120,201],"\\in":[121,162,202],"\\{0,1\\}^{N":[122,203],"\\times":[123,198,204,232],"N}$":[124,205],"with":[125],"$\\mathscr{R}_{H_N}(2^{(\\log":[126],"N)^{1/4":[127,218],"-":[128,219],"\\varepsilon}})":[129],"\\ge":[130],"\\delta":[131],"\\cdot":[132,216],"N^2$":[133],"$\\mathbb{F}_q$.":[135],"Using":[136],"known":[137],"connections":[138],"rigidity":[141],"other":[143],"topics":[144],"theory,":[147],"derive":[149],"several":[150],"consequences":[151],"our":[153],"constructions,":[154],"including":[155],"function":[160],"$f":[161,167],"TIME}[2^{(\\log":[163],"n)^{\\omega(1)}}]^{NP}}$":[164],"\\notin":[168],"PH}^{cc}}$.":[169,177],"Previously,":[170],"it":[171],"was":[172,237],"whether":[174],"$E}^{NP}}":[175],"\\subset":[176],"$N":[197,231],"N$":[199,233],"whose":[206],"linear":[207],"transformation":[208],"requires":[209],"depth-2":[210],"$\\mathbb{F}_q$-linear":[211],"circuits":[212],"size":[214],"$\\Omega(N":[215,239],"2^{(\\log":[217],"\\varepsilon}})$.":[220],"The":[221],"previous":[222],"best":[223],"bound":[225],"family":[229],"$\\mathbb{F}_q$":[236],"only":[238],"\\log^2":[240],"N":[241],"/":[242],"(\\log\\log":[243],"N)^2)$,":[244],"asymptotically":[246],"good":[247],"error":[248],"correcting":[249],"codes.":[250]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}