{"id":"https://openalex.org/W4404391279","doi":"https://doi.org/10.4230/lipics.fsttcs.2025.51","title":"Randomized Black-Box PIT for Small Depth +-Regular Non-Commutative Circuits","display_name":"Randomized Black-Box PIT for Small Depth +-Regular Non-Commutative Circuits","publication_year":2024,"publication_date":"2024-11-10","ids":{"openalex":"https://openalex.org/W4404391279","doi":"https://doi.org/10.4230/lipics.fsttcs.2025.51"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2411.06569","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2411.06569","pdf_url":"https://arxiv.org/pdf/2411.06569","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2411.06569","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084157440","display_name":"G. V. Sumukha Bharadwaj","orcid":"https://orcid.org/0000-0001-8404-2432"},"institutions":[{"id":"https://openalex.org/I4210109292","display_name":"Indian Institute of Technology Tirupati","ror":"https://ror.org/01xtkxh20","country_code":"IN","type":"education","lineage":["https://openalex.org/I4210109292"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Sumukha Bharadwaj, G. V.","raw_affiliation_strings":["Department of Computer Science & Engineering, Indian Institute of Technology Tirupati, India"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering, Indian Institute of Technology Tirupati, India","institution_ids":["https://openalex.org/I4210109292"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111746652","display_name":"S. Raja","orcid":null},"institutions":[{"id":"https://openalex.org/I4210109292","display_name":"Indian Institute of Technology Tirupati","ror":"https://ror.org/01xtkxh20","country_code":"IN","type":"education","lineage":["https://openalex.org/I4210109292"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Raja, S.","raw_affiliation_strings":["Department of Computer Science & Engineering, Indian Institute of Technology Tirupati, India"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering, Indian Institute of Technology Tirupati, India","institution_ids":["https://openalex.org/I4210109292"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5084157440"],"corresponding_institution_ids":["https://openalex.org/I4210109292"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18220274,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.996999979019165,"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"}},"topics":[{"id":"https://openalex.org/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.996999979019165,"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"}},{"id":"https://openalex.org/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9958000183105469,"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.9944999814033508,"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/electronic-circuit","display_name":"Electronic circuit","score":0.5409030318260193},{"id":"https://openalex.org/keywords/black-box","display_name":"Black box","score":0.5253404974937439},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3664996027946472},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3147910535335541},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2039167582988739},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.2024761438369751},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07925757765769958}],"concepts":[{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.5409030318260193},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.5253404974937439},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3664996027946472},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3147910535335541},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2039167582988739},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.2024761438369751},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07925757765769958}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:arXiv.org:2411.06569","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2411.06569","pdf_url":"https://arxiv.org/pdf/2411.06569","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2411.06569","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2411.06569","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.4230/lipics.fsttcs.2025.51","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.fsttcs.2025.51","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2411.06569","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2411.06569","pdf_url":"https://arxiv.org/pdf/2411.06569","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320314264","display_name":"Institute of Mathematical Sciences","ror":"https://ror.org/05078rg59"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4404391279.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027"],"abstract_inverted_index":{"In":[0,222],"this":[1,90],"paper,":[2],"we":[3,172,224],"address":[4],"the":[5,52,70,126,129,132,154,179,193,238,258,267,270,275,280,283,289],"black-box":[6,76,104,196],"polynomial":[7,155,162,216,233,255],"identity":[8,217,256],"testing":[9,218],"(PIT)":[10],"problem":[11,71,92],"for":[12,62,78,96,107,219,257,306],"non-commutative":[13,213,232],"polynomials":[14,41,307],"computed":[15,241,308],"by":[16,25,93,242,309],"+-regular":[17,63,98,108,133,245,311],"circuits,":[18],"a":[19,43,102,143,148,157,230,243,254],"class":[20],"of":[21,34,45,65,72,110,131,195,247,269,277,282,291],"homogeneous":[22],"circuits":[23,38,64,109],"introduced":[24],"Arvind,":[26],"Joglekar,":[27],"Mukhopadhyay,":[28],"and":[29,68,123,128,160,181,208,266,303],"Raja":[30],"(STOC":[31],"2017,":[32],"Theory":[33],"Computing":[35],"2019).":[36],"These":[37],"can":[39,295],"compute":[40],"with":[42,165],"number":[44],"monomials":[46],"that":[47,152,186,226],"are":[48],"doubly":[49,209],"exponential":[50,206,210],"in":[51,118,142,192,212,234],"circuit":[53,246],"size.":[54],"They":[55],"gave":[56],"an":[57,74,82,299],"efficient":[58,75],"randomized":[59,103],"PIT":[60,77],"algorithm":[61,106,116],"depth":[66,130],"3":[67],"posed":[69],"developing":[73],"higher":[79],"depths":[80],"as":[81,298],"open":[83,91],"problem.":[84],"Our":[85,136,293],"work":[86],"makes":[87],"progress":[88],"on":[89,274,288],"resolving":[94],"it":[95],"constant-depth":[97],"circuits.":[99,221,312],"We":[100,146],"present":[101],"polynomial-time":[105],"any":[111],"constant":[112],"depth.":[113],"Specifically,":[114],"our":[115],"runs":[117],"s^{O(d\u00b2)}":[119,265],"time,":[120],"where":[121,262],"s":[122],"d":[124],"represent":[125],"size":[127,248,268,281],"circuit,":[134],"respectively.":[135],"approach":[137],"combines":[138],"several":[139],"key":[140],"techniques":[141,200],"novel":[144],"way.":[145],"employ":[147],"nondeterministic":[149],"substitution":[150],"automaton":[151],"transforms":[153],"into":[156],"structured":[158],"form":[159],"utilizes":[161],"sparsification":[163],"along":[164],"commutative":[166],"transformations":[167],"to":[168,203],"maintain":[169],"non-zeroness.":[170],"Additionally,":[171],"introduce":[173],"matrix":[174,259],"composition,":[175],"coefficient":[176],"modification":[177],"via":[178],"automaton,":[180],"multi-entry":[182],"outputs":[183],"-":[184],"methods":[185],"have":[187],"not":[188,286],"previously":[189],"been":[190],"applied":[191],"context":[194],"PIT.":[197],"Together,":[198],"these":[199],"enable":[201],"us":[202],"effectively":[204],"handle":[205],"degrees":[207],"sparsity":[211],"settings,":[214],"enabling":[215],"higher-depth":[220],"particular,":[223],"show":[225],"if":[227],"f":[228,251],"is":[229],"non-zero":[231],"n":[235],"variables":[236],"over":[237],"field":[239,271],"\ud835\udd3d,":[240],"depth-d":[244],"s,":[249],"then":[250],"cannot":[252],"be":[253,296],"algebra":[260],"\ud835\udd44_{N}(\ud835\udd3d),":[261],"N":[263],"=":[264],"\ud835\udd3d":[272],"depends":[273],"degree":[276,290],"f.":[278,292],"Interestingly,":[279],"matrices":[284],"does":[285],"depend":[287],"result":[294,301],"interpreted":[297],"Amitsur-Levitzki-type":[300],"[Amitsur":[302],"Levitzki,":[304],"1950]":[305],"small-depth":[310]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2024-11-15T00:00:00"}