{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T20:07:38Z","timestamp":1784146058788,"version":"3.55.0"},"reference-count":33,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T00:00:00Z","timestamp":1783555200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001665","name":"French National Research Agency","doi-asserted-by":"publisher","award":["IZES-ANR-22-CE40-0011"],"award-info":[{"award-number":["IZES-ANR-22-CE40-0011"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000925","name":"John Templeton Foundation","doi-asserted-by":"publisher","award":["61466"],"award-info":[{"award-number":["61466"]}],"id":[{"id":"10.13039\/100000925","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004794","name":"National Centre for Scientific Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004794","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2026,9]]},"DOI":"10.1016\/j.tcs.2026.116159","type":"journal-article","created":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T06:50:33Z","timestamp":1783407033000},"page":"116159","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Aperiodicity in quantum Wang tilings"],"prefix":"10.1016","volume":"1082","author":[{"given":"Titouan","family":"Carette","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2073-4709","authenticated-orcid":false,"given":"Etienne","family":"Moutot","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.tcs.2026.116159_bib0001","doi-asserted-by":"crossref","DOI":"10.1090\/memo\/0066","article-title":"The Undecidability of the Domino Problem","author":"Berger","year":"1966"},{"issue":"3","key":"10.1016\/j.tcs.2026.116159_bib0002","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1137\/0221036","article-title":"The nilpotency problem of one-dimensional cellular automata","volume":"21","author":"Kari","year":"1992","journal-title":"SIAM J. Comput."},{"issue":"1","key":"10.1016\/j.tcs.2026.116159_bib0003","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/S0022-0000(05)80025-X","article-title":"Reversibility and surjectivity problems of cellular automata","volume":"48","author":"Kari","year":"1994","journal-title":"J. Comput. Syst. Sci."},{"key":"10.1016\/j.tcs.2026.116159_bib0004","series-title":"Mathematical Foundations of Computer Science 2008","first-page":"419","article-title":"Periodicity and immortality in reversible computing","author":"Kari","year":"2008"},{"issue":"6","key":"10.1016\/j.tcs.2026.116159_bib0005","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/BF02650179","article-title":"Simulating physics with computers","volume":"21","author":"Feynman","year":"1982","journal-title":"Int. J. Theor. Phys."},{"key":"10.1016\/j.tcs.2026.116159_bib0006","series-title":"Proceedings of IEEE 36th Annual Foundations of Computer Science","first-page":"528","article-title":"On one-dimensional quantum cellular automata","author":"Watrous","year":"1995"},{"key":"10.1016\/j.tcs.2026.116159_bib0007","unstructured":"B. Schumacher, R.F. Werner, Reversible quantum cellular automata, arXiv preprint quant-ph\/0405174(2004)."},{"issue":"2","key":"10.1016\/j.tcs.2026.116159_bib0008","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1016\/j.jcss.2010.05.004","article-title":"Unitarity plus causality implies localizability","volume":"77","author":"Arrighi","year":"2011","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"10.1016\/j.tcs.2026.116159_bib0009","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/s11128-019-2555-4","article-title":"A quantum cellular automaton for one-dimensional QED","volume":"19","author":"Arrighi","year":"2020","journal-title":"Quantum Inf. Process."},{"key":"10.1016\/j.tcs.2026.116159_bib0010","unstructured":"T. Farrelly, J. Streich, Discretizing quantum field theories for quantum simulation (2020). 10.48550\/ARXIV.2002.02643."},{"key":"10.1016\/j.tcs.2026.116159_bib0011","doi-asserted-by":"crossref","DOI":"10.1103\/PhysRevLett.125.210504","article-title":"Projected entangled pair states: fundamental analytical and numerical limitations","volume":"125","author":"Scarpa","year":"2020","journal-title":"Phys. Rev. Lett."},{"key":"10.1016\/j.tcs.2026.116159_bib0012","doi-asserted-by":"crossref","unstructured":"A. Acuaviva, V. Makam, H. Nieuwboer, D. P\u00e9rez-Garc\u00eda, F. Sittner, M. Walter, F. Witteveen, The minimal canonical form of a tensor network, 2022, 10.48550\/ARXIV.2209.14358.","DOI":"10.1109\/FOCS57990.2023.00027"},{"key":"10.1016\/j.tcs.2026.116159_bib0013","first-page":"221","article-title":"Applications of negative dimensional tensors","volume":"1","author":"Penrose","year":"1971","journal-title":"Comb. Math. Appl."},{"key":"10.1016\/j.tcs.2026.116159_bib0014","series-title":"New Structures for Physics","first-page":"289","article-title":"A survey of graphical languages for monoidal categories","author":"Selinger","year":"2010"},{"key":"10.1016\/j.tcs.2026.116159_bib0015","series-title":"An Introduction to Symbolic Dynamics and Coding","author":"Lind","year":"1995"},{"key":"10.1016\/j.tcs.2026.116159_bib0016","series-title":"Algebra","volume":"vol. 211","author":"Lang","year":"2012"},{"key":"10.1016\/j.tcs.2026.116159_bib0017","series-title":"Quantum Computation and Quantum Information: 10th Anniversary Edition","author":"Nielsen","year":"2010"},{"key":"10.1016\/j.tcs.2026.116159_bib0018","article-title":"A survey of graphical languages for monoidal categories","volume":"813","author":"Selinger","year":"2009","journal-title":"Lect. Not. Phys."},{"issue":"12","key":"10.1016\/j.tcs.2026.116159_bib0019","doi-asserted-by":"crossref","first-page":"1209","DOI":"10.1016\/0031-8914(61)90063-5","article-title":"The statistics of dimers on a lattice: I. The number of dimer arrangements on a quadratic lattice","volume":"27","author":"Kasteleyn","year":"1961","journal-title":"Physica"},{"issue":"68","key":"10.1016\/j.tcs.2026.116159_bib0020","first-page":"1061","article-title":"Dimer problem in statistical mechanics-an exact result","volume":"6","author":"Temperley","year":"1961","journal-title":"Philos. Mag. J. Theor. Exp. Appl. Phys."},{"key":"10.1016\/j.tcs.2026.116159_bib0021","series-title":"Computer Science \u2013 Theory and Applications","first-page":"104","article-title":"Planar dimer tilings","author":"Bodini","year":"2006"},{"key":"10.1016\/j.tcs.2026.116159_bib0022","series-title":"50th International Colloquium on Automata, Languages, and Programming (ICALP 2023)","first-page":"120:1","article-title":"Compositionality of planar perfect matchings: a universal and complete fragment of ZW-calculus","volume":"vol. 261","author":"Carette","year":"2023"},{"issue":"1\u20133","key":"10.1016\/j.tcs.2026.116159_bib0023","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0012-365X(95)00120-L","article-title":"A small aperiodic set of Wang tiles","volume":"160","author":"Kari","year":"1996","journal-title":"Discrete Math."},{"key":"10.1016\/j.tcs.2026.116159_bib0024","article-title":"An aperiodic set of 11\u202fWang tiles","author":"Jeandel","year":"2021","journal-title":"Adv. Comb."},{"issue":"1","key":"10.1016\/j.tcs.2026.116159_bib0025","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/s11047-011-9277-6","article-title":"Partitioned quantum cellular automata are intrinsically universal","volume":"11","author":"Arrighi","year":"2012","journal-title":"Nat. Comput."},{"issue":"12","key":"10.1016\/j.tcs.2026.116159_bib0026","doi-asserted-by":"crossref","first-page":"1209","DOI":"10.1016\/0031-8914(61)90063-5","article-title":"The statistics of dimers on a lattice: I. The number of dimer arrangements on a quadratic lattice","volume":"27","author":"Kasteleyn","year":"1961","journal-title":"Physica"},{"key":"10.1016\/j.tcs.2026.116159_bib0027","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/j.aop.2014.06.013","article-title":"A practical introduction to tensor networks: matrix product states and projected entangled pair states","volume":"349","author":"Or\u00fas","year":"2014","journal-title":"Ann. Phys."},{"key":"10.1016\/j.tcs.2026.116159_bib0028","series-title":"International Colloquium on Automata, Languages, and Programming","first-page":"298","article-title":"Interacting quantum observables","author":"Coecke","year":"2008"},{"key":"10.1016\/j.tcs.2026.116159_bib0029","series-title":"International Colloquium on Automata, Languages, and Programming","first-page":"297","article-title":"The compositional structure of multipartite quantum entanglement","author":"Coecke","year":"2010"},{"key":"10.1016\/j.tcs.2026.116159_bib0030","doi-asserted-by":"crossref","unstructured":"M. Backens, A. Kissinger, ZH: a complete graphical calculus for quantum computations involving classical non-linearity, arXiv preprint arXiv: 1805.02175(2018).","DOI":"10.4204\/EPTCS.287.2"},{"key":"10.1016\/j.tcs.2026.116159_bib0031","unstructured":"N. de Beaudrap, A. Kissinger, K. Meichanetzidis, Tensor network rewriting strategies for satisfiability and counting, arXiv preprint arXiv: 2004.06455(2020)."},{"key":"10.1016\/j.tcs.2026.116159_bib0032","series-title":"Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning","author":"Coecke","year":"2017"},{"key":"10.1016\/j.tcs.2026.116159_bib0033","series-title":"Reachability Problems","first-page":"21","article-title":"Decision problems for linear recurrence sequences","author":"Ouaknine","year":"2012"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397526003889?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397526003889?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T19:55:51Z","timestamp":1784145351000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397526003889"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,9]]},"references-count":33,"alternative-id":["S0304397526003889"],"URL":"https:\/\/doi.org\/10.1016\/j.tcs.2026.116159","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2026,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Aperiodicity in quantum Wang tilings","name":"articletitle","label":"Article Title"},{"value":"Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.tcs.2026.116159","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Authors. Published by Elsevier B.V.","name":"copyright","label":"Copyright"}],"article-number":"116159"}}