Equivalence Checking of Quantum Circuits via Tensor Decision Diagrams and Machine Learning

This PhD project, financed by DeiC, investigates new algorithms to check equivalence of quantum circuits. This is an important problem in quantum computing, specifically when using sophisticated compilation strategies. The project employs a novel data structure called tensor decision diagrams and uses advanced machine-learning techniques to obtain efficient contraction heuristics.

This PhD project, financed by DeiC, investigates new algorithms to check equivalence of quantum circuits. Checking equivalence is an important problem in quantum computing.