{"id":"https://openalex.org/W2134500169","doi":"https://doi.org/10.1137/s0097539797327702","title":"A Decision Procedure for Unitary Linear Quantum Cellular Automata","display_name":"A Decision Procedure for Unitary Linear Quantum Cellular Automata","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W2134500169","doi":"https://doi.org/10.1137/s0097539797327702","mag":"2134500169"},"language":"en","primary_location":{"id":"doi:10.1137/s0097539797327702","is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0097539797327702","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/A5029270613","display_name":"Christoph D\u00fcrr","orcid":"https://orcid.org/0000-0001-8103-5333"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Christoph D\u00fcrr","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5046562790","display_name":"Mikl\u00f3s S\u00e1ntha","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Miklos Santha","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8453,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.78805478,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"31","issue":"4","first_page":"1076","last_page":"1089"},"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.9998999834060669,"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.9998999834060669,"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9998999834060669,"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/T12162","display_name":"Cellular Automata and Applications","score":0.9994999766349792,"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-cellular-automaton","display_name":"Quantum cellular automaton","score":0.6111977100372314},{"id":"https://openalex.org/keywords/unitary-state","display_name":"Unitary state","score":0.5371243953704834},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.5156406164169312},{"id":"https://openalex.org/keywords/cellular-automaton","display_name":"Cellular automaton","score":0.5112535953521729},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.5111373066902161},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5090541243553162},{"id":"https://openalex.org/keywords/quantum-fourier-transform","display_name":"Quantum Fourier transform","score":0.4513229727745056},{"id":"https://openalex.org/keywords/block-cellular-automaton","display_name":"Block cellular automaton","score":0.43198686838150024},{"id":"https://openalex.org/keywords/unitary-transformation","display_name":"Unitary transformation","score":0.42698997259140015},{"id":"https://openalex.org/keywords/quantum-finite-automata","display_name":"Quantum finite automata","score":0.42674964666366577},{"id":"https://openalex.org/keywords/stochastic-cellular-automaton","display_name":"Stochastic cellular automaton","score":0.41509774327278137},{"id":"https://openalex.org/keywords/quantum-operation","display_name":"Quantum operation","score":0.41094696521759033},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4004427492618561},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3975614905357361},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36190879344940186},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3395830988883972},{"id":"https://openalex.org/keywords/quantum-network","display_name":"Quantum network","score":0.316549152135849},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.30669939517974854},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.2902042865753174},{"id":"https://openalex.org/keywords/mobile-automaton","display_name":"Mobile automaton","score":0.28687620162963867},{"id":"https://openalex.org/keywords/open-quantum-system","display_name":"Open quantum system","score":0.25163406133651733},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.2314642369747162},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.1913279891014099},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.12000814080238342}],"concepts":[{"id":"https://openalex.org/C68576872","wikidata":"https://www.wikidata.org/wiki/Q4893239","display_name":"Quantum cellular automaton","level":3,"score":0.6111977100372314},{"id":"https://openalex.org/C67820243","wikidata":"https://www.wikidata.org/wiki/Q179164","display_name":"Unitary state","level":2,"score":0.5371243953704834},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.5156406164169312},{"id":"https://openalex.org/C35527583","wikidata":"https://www.wikidata.org/wiki/Q189156","display_name":"Cellular automaton","level":2,"score":0.5112535953521729},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.5111373066902161},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5090541243553162},{"id":"https://openalex.org/C59500034","wikidata":"https://www.wikidata.org/wiki/Q1464944","display_name":"Quantum Fourier transform","level":5,"score":0.4513229727745056},{"id":"https://openalex.org/C63497236","wikidata":"https://www.wikidata.org/wiki/Q4927188","display_name":"Block cellular automaton","level":5,"score":0.43198686838150024},{"id":"https://openalex.org/C179371143","wikidata":"https://www.wikidata.org/wiki/Q2495534","display_name":"Unitary transformation","level":3,"score":0.42698997259140015},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.42674964666366577},{"id":"https://openalex.org/C192499940","wikidata":"https://www.wikidata.org/wiki/Q17022326","display_name":"Stochastic cellular automaton","level":3,"score":0.41509774327278137},{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.41094696521759033},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4004427492618561},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3975614905357361},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36190879344940186},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3395830988883972},{"id":"https://openalex.org/C186468114","wikidata":"https://www.wikidata.org/wiki/Q836478","display_name":"Quantum network","level":4,"score":0.316549152135849},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30669939517974854},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.2902042865753174},{"id":"https://openalex.org/C50348692","wikidata":"https://www.wikidata.org/wiki/Q6887056","display_name":"Mobile automaton","level":4,"score":0.28687620162963867},{"id":"https://openalex.org/C190474826","wikidata":"https://www.wikidata.org/wiki/Q2495111","display_name":"Open quantum system","level":3,"score":0.25163406133651733},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.2314642369747162},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.1913279891014099},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.12000814080238342},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/s0097539797327702","is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0097539797327702","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":[{"score":0.7699999809265137,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1965554877","https://openalex.org/W1974875620","https://openalex.org/W1994894686","https://openalex.org/W2000201689","https://openalex.org/W2012206667","https://openalex.org/W2026402424","https://openalex.org/W2033216491","https://openalex.org/W2101088258","https://openalex.org/W2148132004","https://openalex.org/W2179731956"],"related_works":["https://openalex.org/W1513303009","https://openalex.org/W1609371467","https://openalex.org/W2995628022","https://openalex.org/W2952469116","https://openalex.org/W2784055715","https://openalex.org/W4320477852","https://openalex.org/W1986855270","https://openalex.org/W2914656902","https://openalex.org/W2128116057","https://openalex.org/W2953201278"],"abstract_inverted_index":{"Linear":[0],"quantum":[1,13,19,27,59],"cellular":[2,60],"automata":[3],"were":[4],"introduced":[5],"recently":[6],"as":[7],"one":[8],"of":[9,12,18,66,87,95],"the":[10,67,76,81,93,96],"models":[11],"computing.":[14],"A":[15],"basic":[16],"postulate":[17],"mechanics":[20],"imposes":[21],"a":[22,43,57,84],"strong":[23],"constraint":[24],"on":[25],"any":[26],"machine:":[28],"it":[29],"has":[30,40,83],"to":[31,41,54],"be":[32,42],"unitary;":[33],"that":[34],"is,":[35],"its":[36],"time":[37],"evolution":[38],"operator":[39],"unitary":[44],"transformation.":[45],"In":[46],"this":[47],"paper":[48],"we":[49],"give":[50],"an":[51],"efficient":[52],"algorithm":[53,68],"decide":[55],"if":[56,80],"linear":[58],"automaton":[61,82],"is":[62,69,92],"unitary.":[63],"The":[64],"complexity":[65],"O(n(3r-1)/(r+1)":[70],")":[71,74],"=":[72],"O(n3":[73],"in":[75],"algebraic":[77],"computational":[78],"model":[79],"continuous":[85],"neighborhood":[86],"size":[88,94],"r,":[89],"where":[90],"n":[91],"input.":[97]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}