{"id":"https://openalex.org/W4399524098","doi":"https://doi.org/10.1145/3618260.3649693","title":"Black-Box Identity Testing of Noncommutative Rational Formulas in Deterministic Quasipolynomial Time","display_name":"Black-Box Identity Testing of Noncommutative Rational Formulas in Deterministic Quasipolynomial Time","publication_year":2024,"publication_date":"2024-06-10","ids":{"openalex":"https://openalex.org/W4399524098","doi":"https://doi.org/10.1145/3618260.3649693"},"language":"en","primary_location":{"id":"doi:10.1145/3618260.3649693","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3618260.3649693","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3618260.3649693","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 56th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3618260.3649693","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003212467","display_name":"V. Arvind","orcid":"https://orcid.org/0000-0002-1988-7866"},"institutions":[{"id":"https://openalex.org/I19149307","display_name":"Chennai Mathematical Institute","ror":"https://ror.org/04zp24820","country_code":"IN","type":"education","lineage":["https://openalex.org/I19149307"]},{"id":"https://openalex.org/I59611059","display_name":"Institute of Mathematical Sciences","ror":"https://ror.org/05078rg59","country_code":"IN","type":"facility","lineage":["https://openalex.org/I59611059"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"V. Arvind","raw_affiliation_strings":["Institute of Mathematical Sciences, Chennai, India / Chennai Mathematical Institute, Chennai, India"],"raw_orcid":"https://orcid.org/0000-0002-1988-7866","affiliations":[{"raw_affiliation_string":"Institute of Mathematical Sciences, Chennai, India / Chennai Mathematical Institute, Chennai, India","institution_ids":["https://openalex.org/I19149307","https://openalex.org/I59611059"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065561406","display_name":"Abhranil Chatterjee","orcid":"https://orcid.org/0000-0001-7855-7886"},"institutions":[{"id":"https://openalex.org/I6498739","display_name":"Indian Statistical Institute","ror":"https://ror.org/00q2w1j53","country_code":"IN","type":"education","lineage":["https://openalex.org/I6498739"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Abhranil Chatterjee","raw_affiliation_strings":["Indian Statistical Institute, Kolkata, India"],"raw_orcid":"https://orcid.org/0000-0001-7855-7886","affiliations":[{"raw_affiliation_string":"Indian Statistical Institute, Kolkata, India","institution_ids":["https://openalex.org/I6498739"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102818340","display_name":"Partha Mukhopadhyay","orcid":"https://orcid.org/0009-0007-3656-8844"},"institutions":[{"id":"https://openalex.org/I19149307","display_name":"Chennai Mathematical Institute","ror":"https://ror.org/04zp24820","country_code":"IN","type":"education","lineage":["https://openalex.org/I19149307"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Partha Mukhopadhyay","raw_affiliation_strings":["Chennai Mathematical Institute, Chennai, India"],"raw_orcid":"https://orcid.org/0009-0007-3656-8844","affiliations":[{"raw_affiliation_string":"Chennai Mathematical Institute, Chennai, India","institution_ids":["https://openalex.org/I19149307"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06360288,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"106","last_page":"117"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9998000264167786,"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"}},{"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/T11797","display_name":"graph theory and CDMA systems","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6552892327308655},{"id":"https://openalex.org/keywords/noncommutative-geometry","display_name":"Noncommutative geometry","score":0.6447560787200928},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.5535062551498413},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.45711448788642883},{"id":"https://openalex.org/keywords/rational-function","display_name":"Rational function","score":0.4516465365886688},{"id":"https://openalex.org/keywords/skew","display_name":"Skew","score":0.4501504898071289},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.4472641348838806},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.44327443838119507},{"id":"https://openalex.org/keywords/identity","display_name":"Identity (music)","score":0.4144354462623596},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3720599412918091},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3305625915527344},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.21529564261436462},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1842341423034668},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.09501859545707703}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6552892327308655},{"id":"https://openalex.org/C68797384","wikidata":"https://www.wikidata.org/wiki/Q2746792","display_name":"Noncommutative geometry","level":2,"score":0.6447560787200928},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.5535062551498413},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.45711448788642883},{"id":"https://openalex.org/C75190567","wikidata":"https://www.wikidata.org/wiki/Q41237","display_name":"Rational function","level":2,"score":0.4516465365886688},{"id":"https://openalex.org/C43711488","wikidata":"https://www.wikidata.org/wiki/Q7534783","display_name":"Skew","level":2,"score":0.4501504898071289},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4472641348838806},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.44327443838119507},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.4144354462623596},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3720599412918091},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3305625915527344},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.21529564261436462},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1842341423034668},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.09501859545707703},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3618260.3649693","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3618260.3649693","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3618260.3649693","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 56th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3618260.3649693","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3618260.3649693","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3618260.3649693","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 56th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.46000000834465027}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4399524098.pdf"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W181977719","https://openalex.org/W201320490","https://openalex.org/W1599026900","https://openalex.org/W1968245619","https://openalex.org/W2000141173","https://openalex.org/W2026036943","https://openalex.org/W2031254050","https://openalex.org/W2061853206","https://openalex.org/W2074392054","https://openalex.org/W2080132708","https://openalex.org/W2082002555","https://openalex.org/W2082229176","https://openalex.org/W2113097540","https://openalex.org/W2130566259","https://openalex.org/W2142326730","https://openalex.org/W2148231801","https://openalex.org/W2157491291","https://openalex.org/W2396964413","https://openalex.org/W2399980850","https://openalex.org/W2962745033","https://openalex.org/W2962817959","https://openalex.org/W2963767274","https://openalex.org/W2964051254","https://openalex.org/W2971476396","https://openalex.org/W2971879701","https://openalex.org/W2977904960","https://openalex.org/W3109156225","https://openalex.org/W3188012373","https://openalex.org/W4234106236","https://openalex.org/W4248604427","https://openalex.org/W4250950881","https://openalex.org/W4381624479","https://openalex.org/W4387158634","https://openalex.org/W6966760155"],"related_works":["https://openalex.org/W3111851529","https://openalex.org/W4210820417","https://openalex.org/W1796994019","https://openalex.org/W3121296545","https://openalex.org/W2796881943","https://openalex.org/W4301932466","https://openalex.org/W1994309665","https://openalex.org/W2799377959","https://openalex.org/W2083214991","https://openalex.org/W1774334694"],"abstract_inverted_index":{"Rational":[0],"Identity":[1],"Testing":[2],"(RIT)":[3],"is":[4,139],"the":[5,20,55,65,77,82,99,115,132,140,166,174,190,199],"decision":[6],"problem":[7,171],"of":[8,61,84,102,117,142,150,169,183],"determining":[9],"whether":[10],"or":[11],"not":[12],"a":[13,26,46,70,143],"noncommutative":[14],"rational":[15,148,181],"formula":[16],"computes":[17],"zero":[18],"in":[19,54,76,108,136,198],"free":[21,66],"skew":[22,67],"field.":[23,68],"It":[24],"admits":[25],"deterministic":[27,92,192],"polynomial-time":[28,48],"white-box":[29,78,200],"algorithm":[30,49,73,94],"[Garg,":[31],"Gurvits,":[32,119],"Oliveira,":[33,120],"and":[34,42,45,51,86,97,121,157,172],"Wigderson":[35,122],"(2016);":[36],"Ivanyos,":[37],"Qiao,":[38],"Subrahmanyam":[39],"(2018);":[40],"Hamada":[41],"Hirai":[43],"(2021)],":[44],"randomized":[47,71],"[Derksen":[50],"Makam":[52,87],"(2017)]":[53],"black-box":[56,93,167],"setting,":[57],"via":[58],"singularity":[59],"testing":[60],"linear":[62],"matrices":[63],"over":[64],"Indeed,":[69],"NC":[72],"for":[74,95,147,179,196],"RIT":[75,96,103,197],"setting":[79],"follows":[80],"from":[81],"result":[83,135],"Derksen":[85],"(2017).":[88],"Designing":[89],"an":[90],"efficient":[91],"understanding":[98],"parallel":[100],"complexity":[101,168],"are":[104],"major":[105],"open":[106,113],"problems":[107],"this":[109,137,161,170],"area.":[110],"Despite":[111],"being":[112],"since":[114],"work":[116],"Garg,":[118],"(2016),":[123],"these":[124],"questions":[125],"have":[126],"seen":[127],"limited":[128],"progress.":[129],"In":[130,160],"fact,":[131],"only":[133,151],"known":[134],"direction":[138],"construction":[141,187],"quasipolynomial-size":[144,176],"hitting":[145,177],"set":[146,178],"formulas":[149,182],"inversion":[152],"height":[153],"two":[154],"[Arvind,":[155],"Chatterjee,":[156],"Mukhopadhyay":[158],"(2022)].":[159],"paper,":[162],"we":[163],"significantly":[164],"improve":[165],"obtain":[173],"first":[175,191],"all":[180],"polynomial":[184],"size.":[185],"Our":[186],"also":[188],"yields":[189],"quasi-NC":[193],"upper":[194],"bound":[195],"setting.":[201]},"counts_by_year":[],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}