QSI Seminar: Xin Hong, QSI, University of Technology Sydney

A Tensor Network based Decision Diagram for Representation of Quantum Circuits

TOPIC: Equivalence checking of quantum circuits

SPEAKER: Xin Hong

AFFILIATION: Centre for Quantum Software and Information, University of Technology Sydney

ABSTRACT: 
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 talk, 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 techniques for tensor networks, 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 TDD.  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. As an example, I will also introduce the use of TDD in the approximate equivalence checking of noisy quantum circuits.

PAPER: https://arxiv.org/abs/2009.02618

HOSTED BY: Professor Yuan Feng, Centre for Quantum Software and Information, University of Technology Sydney