{"id":"https://openalex.org/W4416297946","doi":"https://doi.org/10.1145/3774644","title":"Unambiguous, Randomized, and Symmetric Catalytic Computation","display_name":"Unambiguous, Randomized, and Symmetric Catalytic Computation","publication_year":2025,"publication_date":"2025-11-17","ids":{"openalex":"https://openalex.org/W4416297946","doi":"https://doi.org/10.1145/3774644"},"language":"en","primary_location":{"id":"doi:10.1145/3774644","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3774644","pdf_url":null,"source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computation Theory","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/A5056318386","display_name":"Samir Datta","orcid":"https://orcid.org/0000-0003-2196-2308"},"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":"Samir Datta","raw_affiliation_strings":["Chennai Mathematical Institute","Chennai Mathematical Institute, Chennai, India"],"raw_orcid":"https://orcid.org/0000-0003-2196-2308","affiliations":[{"raw_affiliation_string":"Chennai Mathematical Institute","institution_ids":["https://openalex.org/I19149307"]},{"raw_affiliation_string":"Chennai Mathematical Institute, Chennai, India","institution_ids":["https://openalex.org/I19149307"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001319689","display_name":"Chetan Gupta","orcid":"https://orcid.org/0000-0002-0727-160X"},"institutions":[{"id":"https://openalex.org/I154851008","display_name":"Indian Institute of Technology Roorkee","ror":"https://ror.org/00582g326","country_code":"IN","type":"education","lineage":["https://openalex.org/I154851008"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Chetan Gupta","raw_affiliation_strings":["Indian Institute of Technology Roorkee","Indian Institute of Technology Roorkee, Roorkee India"],"raw_orcid":"https://orcid.org/0000-0002-0727-160X","affiliations":[{"raw_affiliation_string":"Indian Institute of Technology Roorkee","institution_ids":["https://openalex.org/I154851008"]},{"raw_affiliation_string":"Indian Institute of Technology Roorkee, Roorkee India","institution_ids":["https://openalex.org/I154851008"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102874179","display_name":"Rahul Jain","orcid":"https://orcid.org/0000-0002-8567-9475"},"institutions":[{"id":"https://openalex.org/I206895457","display_name":"University of Siegen","ror":"https://ror.org/02azyry73","country_code":"DE","type":"education","lineage":["https://openalex.org/I206895457"]},{"id":"https://openalex.org/I2800742272","display_name":"Folkwang University of the Arts","ror":"https://ror.org/03gf02c22","country_code":"DE","type":"education","lineage":["https://openalex.org/I2800742272"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Rahul Jain","raw_affiliation_strings":["Universit\u00e4t Siegen"],"raw_orcid":"https://orcid.org/0000-0002-8567-9475","affiliations":[{"raw_affiliation_string":"Universit\u00e4t Siegen","institution_ids":["https://openalex.org/I2800742272","https://openalex.org/I206895457"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101142670","display_name":"Vimal Sharma","orcid":"https://orcid.org/0009-0006-6086-5999"},"institutions":[{"id":"https://openalex.org/I154549908","display_name":"Indian Institute of Technology Jodhpur","ror":"https://ror.org/03yacj906","country_code":"IN","type":"education","lineage":["https://openalex.org/I154549908"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Vimal Sharma","raw_affiliation_strings":["Indian Institute of Technology Jodhpur","Indian Institute of Technology Jodhpur, Jodhpur India"],"raw_orcid":"https://orcid.org/0009-0006-6086-5999","affiliations":[{"raw_affiliation_string":"Indian Institute of Technology Jodhpur","institution_ids":["https://openalex.org/I154549908"]},{"raw_affiliation_string":"Indian Institute of Technology Jodhpur, Jodhpur India","institution_ids":["https://openalex.org/I154549908"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102431831","display_name":"Raghunath Tewari","orcid":"https://orcid.org/0000-0003-1522-8561"},"institutions":[{"id":"https://openalex.org/I94234084","display_name":"Indian Institute of Technology Kanpur","ror":"https://ror.org/05pjsgx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I94234084"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Raghunath Tewari","raw_affiliation_strings":["Indian Institute of Technology Kanpur","Indian Institute of Technology Kanpur, Kanpur India"],"raw_orcid":"https://orcid.org/0000-0003-1522-8561","affiliations":[{"raw_affiliation_string":"Indian Institute of Technology Kanpur","institution_ids":["https://openalex.org/I94234084"]},{"raw_affiliation_string":"Indian Institute of Technology Kanpur, Kanpur India","institution_ids":["https://openalex.org/I94234084"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"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.32054537,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"18","issue":"1","first_page":"1","last_page":"21"},"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.1363999992609024,"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.1363999992609024,"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/T12029","display_name":"DNA and Biological Computing","score":0.09629999846220016,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.08529999852180481,"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/turing-machine","display_name":"Turing machine","score":0.8478000164031982},{"id":"https://openalex.org/keywords/description-number","display_name":"Description number","score":0.6791999936103821},{"id":"https://openalex.org/keywords/nspace","display_name":"NSPACE","score":0.6438999772071838},{"id":"https://openalex.org/keywords/time-hierarchy-theorem","display_name":"Time hierarchy theorem","score":0.6262000203132629},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5716000199317932},{"id":"https://openalex.org/keywords/non-deterministic-turing-machine","display_name":"Non-deterministic Turing machine","score":0.5135999917984009},{"id":"https://openalex.org/keywords/dtime","display_name":"DTIME","score":0.5070000290870667},{"id":"https://openalex.org/keywords/universal-turing-machine","display_name":"Universal Turing machine","score":0.47530001401901245}],"concepts":[{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.8478000164031982},{"id":"https://openalex.org/C179061269","wikidata":"https://www.wikidata.org/wiki/Q5263786","display_name":"Description number","level":5,"score":0.6791999936103821},{"id":"https://openalex.org/C201958364","wikidata":"https://www.wikidata.org/wiki/Q1756295","display_name":"NSPACE","level":5,"score":0.6438999772071838},{"id":"https://openalex.org/C48415503","wikidata":"https://www.wikidata.org/wiki/Q5251122","display_name":"Time hierarchy theorem","level":5,"score":0.6262000203132629},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5716000199317932},{"id":"https://openalex.org/C15190523","wikidata":"https://www.wikidata.org/wiki/Q1190223","display_name":"Non-deterministic Turing machine","level":5,"score":0.5135999917984009},{"id":"https://openalex.org/C15547884","wikidata":"https://www.wikidata.org/wiki/Q1155831","display_name":"DTIME","level":5,"score":0.5070000290870667},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48339998722076416},{"id":"https://openalex.org/C131671149","wikidata":"https://www.wikidata.org/wiki/Q2703890","display_name":"Universal Turing machine","level":4,"score":0.47530001401901245},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.44780001044273376},{"id":"https://openalex.org/C144271403","wikidata":"https://www.wikidata.org/wiki/Q1191836","display_name":"Probabilistic Turing machine","level":5,"score":0.44690001010894775},{"id":"https://openalex.org/C31402856","wikidata":"https://www.wikidata.org/wiki/Q5295939","display_name":"Super-recursive algorithm","level":5,"score":0.44339999556541443},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.42719998955726624},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.40720000863075256},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39899998903274536},{"id":"https://openalex.org/C184596265","wikidata":"https://www.wikidata.org/wiki/Q2651576","display_name":"Model of computation","level":3,"score":0.3711000084877014},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.3614000082015991},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3467999994754791},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3384999930858612},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.3375000059604645},{"id":"https://openalex.org/C91331118","wikidata":"https://www.wikidata.org/wiki/Q628036","display_name":"NP","level":4,"score":0.30559998750686646},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.2955999970436096},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2624000012874603},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.2524999976158142}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3774644","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3774644","pdf_url":null,"source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computation Theory","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":16,"referenced_works":["https://openalex.org/W1590283810","https://openalex.org/W1976781283","https://openalex.org/W2039302045","https://openalex.org/W2043360684","https://openalex.org/W2049516232","https://openalex.org/W2064584528","https://openalex.org/W2139236203","https://openalex.org/W2148369462","https://openalex.org/W2626690804","https://openalex.org/W2963213908","https://openalex.org/W3035683643","https://openalex.org/W4225522899","https://openalex.org/W4399521007","https://openalex.org/W4402704345","https://openalex.org/W6929058520","https://openalex.org/W6967003509"],"related_works":[],"abstract_inverted_index":{"A":[0],"catalytic":[1,70,91,109,123,133,164,176,180,185],"Turing":[2,15,71,92,110,124,134,177,181,186],"machine":[3,16,30],"is":[4,10,23,44,112,145],"a":[5,14,80,98],"model":[6],"of":[7,65,69,89,104,118,131,158,163],"computation":[8,165],"that":[9,96,138,188],"created":[11],"by":[12,107,121],"equipping":[13],"with":[17,26,48,73],"an":[18],"additional":[19],"auxiliary":[20,37,54,82],"tape,":[21],"which":[22],"initially":[24,58],"filled":[25],"arbitrary":[27],"content;":[28],"the":[29,36,40,49,53,63,87,102,113,116,129,139,148,156,161,170],"can":[31],"read":[32],"or":[33],"write":[34],"on":[35],"tape":[38,55,78],"during":[39],"computation,":[41],"but":[42],"it":[43,57],"constrained":[45],"to":[46],"halt":[47],"same":[50,114,171],"content":[51],"in":[52,147,160,190],"as":[56,115,173],"had.":[59],"This":[60],"article,":[61],"studies":[62],"power":[64],"some":[66],"natural":[67],"variants":[68],"machines":[72,93,111,135,187],"\\(O(\\log":[74],"n)\\)":[75],"-size":[76],"work":[77],"and":[79,94,136,166,183],"polynomial-size":[81],"tape.":[83],"We":[84,126,153],"first":[85],"define":[86],"notion":[88,130,157],"unambiguous":[90,108],"prove":[95,167],"under":[97,169],"standard":[99],"derandomization":[100],"assumption,":[101],"class":[103,117,142,149],"problems":[105,119],"solved":[106,120],"nondeterministic":[122],"machines.":[125],"then":[127],"introduce":[128],"randomized":[132,175],"show":[137],"resulting":[140],"complexity":[141],"\\(\\mathsf":[143,150],"{CBPL}\\)":[144],"contained":[146],"{ZPP}\\)":[151],".":[152],"also":[154],"explore":[155],"symmetricity":[159],"context":[162],"that,":[168],"assumption":[172],"before,":[174],"machines,":[178,182],"symmetric":[179],"deterministic":[184],"run":[189],"polynomial":[191],"time":[192],"are":[193],"equally":[194],"powerful.":[195]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-11-17T00:00:00"}