| Time: Dec. 24th, 10:00 – 11:00 (Taipei Time) |
| Speaker: Xin Hong (University of Technology Sydney) |
| Title: A Tensor Network based Decision Diagram for Representation of Quantum Circuits |
|
| Tensor networks have been successfully applied in the simulation of quantum physical systems for decades. Recently, they have also been employed in classical simulation of quantum computing, in particular, random quantum circuits. In this presentation, I will introduce a decision-diagram style data structure, called TDD (Tensor Decision Diagram), 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. 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. The presented work is available at https://arxiv.org/abs/2009.02618. |
|
| For further references, you can also refer to https://arxiv.org/abs/2103.11595 and https://arxiv.org/abs/2106.01658. |
|
| Personal information: |
| Xin Hong, received the BE degree from the College of Mathematics and Statistics, Wuhan University, in 2019. Currently, he is a PhD student at the Centre for Quantum Software and Information, University of Technology Sydney. His research interests include simulation and verification of quantum circuits. |
|
| Video: https://www.youtube.com/watch?v=efFlr_vbXQ4 |
