Affiliation:
1. University of Technology Sydney, AUS
2. University of Technology Sydney and Southeast University, CN
3. Institute of Software, Chinese Academy of Sciences Tsinghua University, CN
Abstract
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.
Funder
National Key R&D Program of China
Australian Research Council
Publisher
Association for Computing Machinery (ACM)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Computer Science Applications
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Decision Diagrams for Symbolic Verification of Quantum Circuits;2023 IEEE International Conference on Quantum Computing and Engineering (QCE);2023-09-17
2. LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States;Quantum;2023-09-11
3. A Quantum Classifier Based on Tree Structure;Proceedings of the 2023 15th International Conference on Machine Learning and Computing;2023-02-17
4. Equivalence Checking of Dynamic Quantum Circuits;Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design;2022-10-30
5. Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective;IEEE Journal on Emerging and Selected Topics in Circuits and Systems;2022-09