{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:09:40Z","timestamp":1776305380039,"version":"3.50.1"},"reference-count":36,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T00:00:00Z","timestamp":1656288000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key R&D Program of China","doi-asserted-by":"crossref","award":["2018YFA0306701"],"award-info":[{"award-number":["2018YFA0306701"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"crossref","award":["DP180100691, DP210102449, DP220102059"],"award-info":[{"award-number":["DP180100691, DP210102449, DP220102059"]}],"id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Des. Autom. Electron. Syst."],"published-print":{"date-parts":[[2022,11,30]]},"abstract":"<jats:p>Tensor networks have been successfully applied in simulation of quantum physical systems for decades. Recently, they have also been employed in classical simulation of quantum computing, in particular, random quantum circuits. This article proposes a decision diagram style data structure, called Tensor Decision Diagram (TDD), for more principled and convenient applications of tensor networks. This new data structure provides a compact and canonical representation for quantum circuits. By exploiting circuit partition, the TDD of a quantum circuit can be computed efficiently. Furthermore, we show that the operations of tensor networks essential in their applications (e.g., addition and contraction) can also be implemented efficiently in TDDs. A proof-of-concept implementation of TDDs is presented and its efficiency is evaluated on a set of benchmark quantum circuits. It is expected that TDDs will play an important role in various design automation tasks related to quantum circuits, including but not limited to equivalence checking, error detection, synthesis, simulation, and verification.<\/jats:p>","DOI":"10.1145\/3514355","type":"journal-article","created":{"date-parts":[[2022,2,18]],"date-time":"2022-02-18T19:50:50Z","timestamp":1645213850000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["A Tensor Network based Decision Diagram for Representation of Quantum Circuits"],"prefix":"10.1145","volume":"27","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1879-5011","authenticated-orcid":false,"given":"Xin","family":"Hong","sequence":"first","affiliation":[{"name":"University of Technology Sydney, AUS"}]},{"given":"Xiangzhen","family":"Zhou","sequence":"additional","affiliation":[{"name":"University of Technology Sydney and Southeast University, CN"}]},{"given":"Sanjiang","family":"Li","sequence":"additional","affiliation":[{"name":"University of Technology Sydney, AUS"}]},{"given":"Yuan","family":"Feng","sequence":"additional","affiliation":[{"name":"University of Technology Sydney, AUS"}]},{"given":"Mingsheng","family":"Ying","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences Tsinghua University, CN"}]}],"member":"320","published-online":{"date-parts":[[2022,6,27]]},"reference":[{"key":"e_1_3_3_2_2","doi-asserted-by":"crossref","unstructured":"Frank Arute Kunal Arya Ryan Babbush Dave Bacon Joseph C. Bardin Rami Barends Rupak Biswas Sergio Boixo Fernando G. S. L. Brandao David A. Buell Brian Burkett Yu Chen Zijun Chen Ben Chiaro Roberto Collins William Courtney Andrew Dunsworth Edward Farhi Brooks Foxen Austin Fowler Craig Gidney Marissa Giustina Rob Graff Keith Guerin Steve Habegger Matthew P. Harrigan Michael J. Hartmann Alan Ho Markus Hoffmann Trent Huang Travis S. Humble Sergei V. Isakov Evan Jeffrey Zhang Jiang Dvir Kafri Kostyantyn Kechedzhi Julian Kelly Paul V. Klimov Sergey Knysh Alexander Korotkov Fedor Kostritsa David Landhuis Mike Lindmark Erik Lucero Dmitry Lyakh Salvatore Mandr\u00e0 Jarrod R. McClean Matthew McEwen Anthony Megrant Xiao Mi Kristel Michielsen Masoud Mohseni Josh Mutus Ofer Naaman Matthew Neeley Charles Neill Murphy Yuezhen Niu Eric Ostby Andre Petukhov John C. Platt Chris Quintana Eleanor G. Rieffel Pedram Roushan Nicholas C. Rubin Daniel Sank Kevin J. Satzinger Vadim Smelyanskiy Kevin J. Sung Matthew D. Trevithick Amit Vainsencher Benjamin Villalonga Theodore White Z. Jamie Yao Ping Yeh Adam Zalcman Hartmut Neven and John M. Martinis. 2019. Quantum supremacy using a programmable superconducting processor. Nature 574 7779 (2019) 505\u2013510.","DOI":"10.1038\/s41586-019-1666-5"},{"key":"e_1_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008699807402"},{"key":"e_1_3_3_4_2","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539796300921"},{"key":"e_1_3_3_5_2","unstructured":"Jacob Biamonte. 2019. Lectures on quantum tensor networks. arXiv:1912.10049 . Retrieved from https:\/\/arxiv.org\/abs\/1912.10049."},{"key":"e_1_3_3_6_2","article-title":"Simulation of low-depth quantum circuits as complex undirected graphical models","author":"Boixo Sergio","year":"2017","unstructured":"Sergio Boixo, Sergei V. Isakov, Vadim N. Smelyanskiy, and Hartmut Neven. 2017. Simulation of low-depth quantum circuits as complex undirected graphical models. arXiv:1712.05384. Retrieved from https:\/\/arxiv.org\/abs\/1712.05384.","journal-title":"arXiv:1712.05384"},{"key":"e_1_3_3_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/123186.123222"},{"key":"e_1_3_3_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_3_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217583"},{"key":"e_1_3_3_10_2","article-title":"Advanced equivalence checking for quantum circuits","author":"Burgholzer Lukas","year":"2020","unstructured":"Lukas Burgholzer and Robert Wille. 2020. Advanced equivalence checking for quantum circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 40, 9 (2020), 1810\u20131824.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"e_1_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC47756.2020.9045153"},{"key":"e_1_3_3_12_2","unstructured":"Lukas Burgholzer and Robert Wille. 2021. Towards verification of dynamic quantum circuits. arXiv:2106.01099. Retrieved from https:\/\/arxiv.org\/abs\/2106.01099."},{"key":"e_1_3_3_13_2","article-title":"Classical simulation of intermediate-size quantum circuits","author":"Chen Jianxin","year":"2018","unstructured":"Jianxin Chen, Fang Zhang, Cupjin Huang, Michael Newman, and Yaoyun Shi. 2018. Classical simulation of intermediate-size quantum circuits. arXiv:1805.01450. Retrieved from https:\/\/arxiv.org\/abs\/1805.01450.","journal-title":"arXiv:1805.01450"},{"key":"e_1_3_3_14_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scib.2018.06.007"},{"key":"e_1_3_3_15_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.71.062310"},{"key":"e_1_3_3_16_2","doi-asserted-by":"crossref","unstructured":"Johnnie Gray and Stefanos Kourtis. 2020. Hyper-optimized tensor network contraction. Quantum 5 (2021) 410.","DOI":"10.22331\/q-2021-03-15-410"},{"key":"e_1_3_3_17_2","article-title":"Equivalence checking of dynamic quantum circuits","author":"Hong Xin","year":"2021","unstructured":"Xin Hong, Yuan Feng, Sanjiang Li, and Mingsheng Ying. 2021. Equivalence checking of dynamic quantum circuits. arXiv:2106.01658. Retrieved from https:\/\/arxiv.org\/abs\/2106.01658.","journal-title":"arXiv:2106.01658"},{"key":"e_1_3_3_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586214"},{"key":"e_1_3_3_19_2","article-title":"Classical simulation of quantum supremacy circuits","author":"Huang Cupjin","year":"2020","unstructured":"Cupjin Huang, Fang Zhang, Michael Newman, Junjie Cai, Xun Gao, Zhengxiong Tian, Junyin Wu, Haihong Xu, Huanjun Yu, Bo Yuan, et\u00a0al. 2020. Classical simulation of quantum supremacy circuits. arXiv:2005.06787. Retrieved from https:\/\/arxiv.org\/abs\/2005.06787.","journal-title":"arXiv:2005.06787"},{"key":"e_1_3_3_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2019.2947511"},{"key":"e_1_3_3_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2020.3023247"},{"key":"e_1_3_3_22_2","doi-asserted-by":"publisher","DOI":"10.1137\/050644756"},{"key":"e_1_3_3_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.917562"},{"key":"e_1_3_3_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2006.35"},{"key":"e_1_3_3_25_2","volume-title":"Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods","author":"Molitor Paul","year":"2007","unstructured":"Paul Molitor and Janett Mohnke. 2007. Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods. Springer Science & Business Media."},{"key":"e_1_3_3_26_2","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/aab822"},{"key":"e_1_3_3_27_2","volume-title":"Quantum Computation and Quantum Information (10th Anniversary Edition)","author":"Nielsen Michael A.","year":"2016","unstructured":"Michael A. Nielsen and Isaac L. Chuang. 2016. Quantum Computation and Quantum Information (10th Anniversary Edition). Cambridge University Press. Retrieved from https:\/\/www.cambridge.org\/de\/academic\/subjects\/physics\/quantum-physics-quantum-information-and-quantum-computation\/quantum-computation-and-quantum-information-10th-anniversary-edition?format=HB."},{"key":"e_1_3_3_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2459034"},{"key":"e_1_3_3_29_2","unstructured":"Edwin Pednault John A. Gunnels Giacomo Nannicini Lior Horesh Thomas Magerlein Edgar Solomonik Erik W. Draeger Eric T. Holland and Robert Wisnieff. 2017. Breaking the 49-qubit barrier in the simulation of quantum circuits. Journal of Environmental Sciences (China) English Ed 2017."},{"key":"e_1_3_3_30_2","article-title":"Tensornetwork: A library for physics and machine learning","author":"Roberts Chase","year":"2019","unstructured":"Chase Roberts, Ashley Milsted, Martin Ganahl, Adam Zalcman, Bruce Fontaine, Yijian Zou, Jack Hidary, Guifre Vidal, and Stefan Leichenauer. 2019. Tensornetwork: A library for physics and machine learning. arXiv:1905.01330. Retrieved from https:\/\/arxiv.org\/abs\/1905.01330.","journal-title":"arXiv:1905.01330"},{"key":"e_1_3_3_31_2","unstructured":"Yuan-Hung Tsai Jie-Hong R. Jiang and Chiao-Shan Jhang. 2020. Bit-slicing the hilbert space: Scaling up accurate quantum circuit simulation to a new level. In 58th ACM\/IEEE Design Automation Conference (DAC) . IEEE 2021 439\u2013444."},{"key":"e_1_3_3_32_2","doi-asserted-by":"publisher","DOI":"10.1023\/B:QINP.0000022725.70000.4a"},{"key":"e_1_3_3_33_2","article-title":"LIMDD: A decision diagram for simulation of quantum computing including stabilizer states","author":"Vinkhuijzen Lieuwe","year":"2021","unstructured":"Lieuwe Vinkhuijzen, Tim Coopmans, David Elkouss, Vedran Dunjko, and Alfons Laarman. 2021. LIMDD: A decision diagram for simulation of quantum computing including stabilizer states. arXiv:2108.00931. Retrieved from https:\/\/arxiv.org\/abs\/2108.00931.","journal-title":"arXiv:2108.00931"},{"key":"e_1_3_3_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS45731.2020.9180791"},{"key":"e_1_3_3_35_2","doi-asserted-by":"publisher","DOI":"10.1093\/ietfec\/e91-a.12.3793"},{"key":"e_1_3_3_36_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2846658"},{"key":"e_1_3_3_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2834427"}],"container-title":["ACM Transactions on Design Automation of Electronic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3514355","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3514355","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:20Z","timestamp":1750188620000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3514355"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,27]]},"references-count":36,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2022,11,30]]}},"alternative-id":["10.1145\/3514355"],"URL":"https:\/\/doi.org\/10.1145\/3514355","relation":{},"ISSN":["1084-4309","1557-7309"],"issn-type":[{"value":"1084-4309","type":"print"},{"value":"1557-7309","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,6,27]]},"assertion":[{"value":"2021-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-06-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}