{"id":"https://openalex.org/W2160573601","doi":"https://doi.org/10.1007/s11128-008-0091-8","title":"Perfect computational equivalence between quantum Turing machines and finitely generated uniform quantum circuit families","display_name":"Perfect computational equivalence between quantum Turing machines and finitely generated uniform quantum circuit families","publication_year":2009,"publication_date":"2009-01-15","ids":{"openalex":"https://openalex.org/W2160573601","doi":"https://doi.org/10.1007/s11128-008-0091-8","mag":"2160573601"},"language":"en","primary_location":{"id":"doi:10.1007/s11128-008-0091-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11128-008-0091-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11128-008-0091-8.pdf","source":{"id":"https://openalex.org/S92819544","display_name":"Quantum Information Processing","issn_l":"1570-0755","issn":["1570-0755","1573-1332"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum Information Processing","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11128-008-0091-8.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Harumichi Nishimura","orcid":null},"institutions":[{"id":"https://openalex.org/I15807432","display_name":"Osaka Prefecture University","ror":"https://ror.org/02cf1je33","country_code":"JP","type":"education","lineage":["https://openalex.org/I15807432"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Harumichi Nishimura","raw_affiliation_strings":["School of Science, Osaka Prefecture University, Sakai, 599-8531, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Science, Osaka Prefecture University, Sakai, 599-8531, Japan","institution_ids":["https://openalex.org/I15807432"]}]},{"author_position":"last","author":{"id":null,"display_name":"Masanao Ozawa","orcid":null},"institutions":[{"id":"https://openalex.org/I60134161","display_name":"Nagoya University","ror":"https://ror.org/04chrp450","country_code":"JP","type":"education","lineage":["https://openalex.org/I60134161"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Masanao Ozawa","raw_affiliation_strings":["Graduate School of Information Science, Nagoya University, Nagoya, 464-8601, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Information Science, Nagoya University, Nagoya, 464-8601, Japan","institution_ids":["https://openalex.org/I60134161"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2040,"currency":"EUR","value_usd":2690},"apc_paid":{"value":2040,"currency":"EUR","value_usd":2690},"fwci":0.0,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.1495083,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"8","issue":"1","first_page":"13","last_page":"24"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9890000224113464,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9890000224113464,"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.002300000051036477,"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.001500000013038516,"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/quantum-complexity-theory","display_name":"Quantum complexity theory","score":0.7520999908447266},{"id":"https://openalex.org/keywords/complexity-class","display_name":"Complexity class","score":0.6664000153541565},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.599399983882904},{"id":"https://openalex.org/keywords/quantum-turing-machine","display_name":"Quantum Turing machine","score":0.5292999744415283},{"id":"https://openalex.org/keywords/circuit-complexity","display_name":"Circuit complexity","score":0.49399998784065247},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.49050000309944153},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.43880000710487366},{"id":"https://openalex.org/keywords/nspace","display_name":"NSPACE","score":0.43700000643730164},{"id":"https://openalex.org/keywords/turing","display_name":"Turing","score":0.42989999055862427}],"concepts":[{"id":"https://openalex.org/C92043244","wikidata":"https://www.wikidata.org/wiki/Q7269023","display_name":"Quantum complexity theory","level":4,"score":0.7520999908447266},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.6664000153541565},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.599399983882904},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5616999864578247},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5437999963760376},{"id":"https://openalex.org/C192061203","wikidata":"https://www.wikidata.org/wiki/Q765620","display_name":"Quantum Turing machine","level":5,"score":0.5292999744415283},{"id":"https://openalex.org/C90702460","wikidata":"https://www.wikidata.org/wiki/Q1055112","display_name":"Circuit complexity","level":3,"score":0.49399998784065247},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.49050000309944153},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.43880000710487366},{"id":"https://openalex.org/C201958364","wikidata":"https://www.wikidata.org/wiki/Q1756295","display_name":"NSPACE","level":5,"score":0.43700000643730164},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.42989999055862427},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.4153999984264374},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.41440001130104065},{"id":"https://openalex.org/C48415503","wikidata":"https://www.wikidata.org/wiki/Q5251122","display_name":"Time hierarchy theorem","level":5,"score":0.4120999872684479},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4074999988079071},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.39750000834465027},{"id":"https://openalex.org/C122806257","wikidata":"https://www.wikidata.org/wiki/Q1063380","display_name":"PH","level":5,"score":0.39079999923706055},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.38269999623298645},{"id":"https://openalex.org/C2777044963","wikidata":"https://www.wikidata.org/wiki/Q5384707","display_name":"Equivalence class (music)","level":2,"score":0.3727000057697296},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.33329999446868896},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.3253999948501587},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3246000111103058},{"id":"https://openalex.org/C90377204","wikidata":"https://www.wikidata.org/wiki/Q1052594","display_name":"Uniform boundedness","level":3,"score":0.32280001044273376},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.3190000057220459},{"id":"https://openalex.org/C134026603","wikidata":"https://www.wikidata.org/wiki/Q846354","display_name":"P","level":3,"score":0.295199990272522},{"id":"https://openalex.org/C144271403","wikidata":"https://www.wikidata.org/wiki/Q1191836","display_name":"Probabilistic Turing machine","level":5,"score":0.28349998593330383},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.271699994802475},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2624000012874603}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s11128-008-0091-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11128-008-0091-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11128-008-0091-8.pdf","source":{"id":"https://openalex.org/S92819544","display_name":"Quantum Information Processing","issn_l":"1570-0755","issn":["1570-0755","1573-1332"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum Information Processing","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:quant-ph/0511117","is_oa":true,"landing_page_url":"http://arxiv.org/abs/quant-ph/0511117","pdf_url":"https://arxiv.org/pdf/quant-ph/0511117","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1007/s11128-008-0091-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11128-008-0091-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11128-008-0091-8.pdf","source":{"id":"https://openalex.org/S92819544","display_name":"Quantum Information Processing","issn_l":"1570-0755","issn":["1570-0755","1573-1332"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum Information Processing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6718509927","display_name":null,"funder_award_id":"CREST","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G7397348292","display_name":"Mathematical study of quantum information and quantum computing","funder_award_id":"17340021","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"},{"id":"https://openalex.org/F4320338075","display_name":"Core Research for Evolutional Science and Technology","ror":"https://ror.org/00097mb19"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2160573601.pdf","grobid_xml":"https://content.openalex.org/works/W2160573601.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W1545819195","https://openalex.org/W1848471706","https://openalex.org/W1954168420","https://openalex.org/W1963604719","https://openalex.org/W1972659920","https://openalex.org/W1979260239","https://openalex.org/W1989051052","https://openalex.org/W1993688167","https://openalex.org/W2003519998","https://openalex.org/W2006786362","https://openalex.org/W2027501230","https://openalex.org/W2033216491","https://openalex.org/W2065276051","https://openalex.org/W2088141885","https://openalex.org/W2101088258","https://openalex.org/W2101654410","https://openalex.org/W2102008187","https://openalex.org/W2148132004","https://openalex.org/W2167927798","https://openalex.org/W2913788899","https://openalex.org/W3023478445"],"related_works":[],"abstract_inverted_index":{"In":[0,102],"order":[1],"to":[2,44,48,58,95,137],"establish":[3],"the":[4,27,49,66,84,112,127,138,161,166],"computational":[5],"equivalence":[6],"between":[7],"quantum":[8,13,19],"Turing":[9],"machines":[10],"(QTMs)":[11],"and":[12,73,88,124,158],"circuit":[14,20],"families":[15],"(QCFs)":[16],"using":[17],"Yao\u2019s":[18],"simulation":[21],"of":[22,29,37,55,109,121,129,140,165],"QTMs,":[23],"we":[24,105],"previously":[25],"introduced":[26,70],"class":[28,68,128,139],"uniform":[30,81,100,110,115,132,169],"QCFs":[31,133],"based":[32,117],"on":[33,118],"an":[34],"infinite":[35],"set":[36],"elementary":[38,122],"gates,":[39],"which":[40],"has":[41],"been":[42],"shown":[43],"be":[45],"computationally":[46],"equivalent":[47,136],"polynomial-time":[50,141],"QTMs":[51,76,91],"(with":[52],"appropriate":[53],"restriction":[54],"amplitudes)":[56],"up":[57],"bounded":[59],"error":[60],"simulation.":[61],"This":[62,149],"result":[63],"implies":[64,151],"that":[65,126,152],"complexity":[67,85,163],"BQP":[69,153],"by":[71],"Bernstein":[72],"Vazirani":[74],"for":[75,80,90,99],"equals":[77],"its":[78],"counterpart":[79],"QCFs.":[82,101,170],"However,":[83],"classes":[86,164],"ZQP":[87,157],"EQP":[89,159],"do":[92],"not":[93],"appear":[94],"equal":[96,160],"their":[97],"counterparts":[98],"this":[103],"paper,":[104],"introduce":[106],"a":[107],"subclass":[108],"QCFs,":[111,116],"finitely":[113,130,167],"generated":[114,131,168],"finite":[119],"number":[120],"gates":[123],"show":[125],"is":[134],"perfectly":[135],"QTMs;":[142],"they":[143],"can":[144],"exactly":[145],"simulate":[146],"each":[147],"other.":[148],"naturally":[150],"as":[154,156],"well":[155],"corresponding":[162]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2016-06-24T00:00:00"}