YoVDO

Automata-Based Approach for Quantum Circuit and Program Verification

Offered By: Simons Institute via YouTube

Tags

Quantum Computing Courses Automata Theory Courses Quantum Gates Courses Quantum States Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore an innovative paradigm for analyzing and detecting bugs in quantum circuits through this 44-minute lecture. Delve into a new approach that represents the problem as a triple {P}C{Q}, questioning whether a set P of quantum states on the input of a circuit C results in an output equal to or included in a set C. Learn about a tree automata-based technique for compact representation of quantum states and the development of transformers to implement quantum gate semantics. Discover how this method computes with an algebraic representation of quantum states, avoiding inaccuracies associated with floating-point numbers. Examine the performance of a prototype tool implementing this approach against various benchmarks, showcasing its scalability in verifying large circuits and detecting bugs. Gain insights into the connection between quantum program verification and automata theory, opening up new possibilities for leveraging automata-based verification in quantum computing.

Syllabus

Automata-based approach for quantum circuit/program verification


Taught by

Simons Institute

Related Courses

Quantum Information and Computing
Indian Institute of Technology Bombay via Swayam
Quantum Computing
Indian Institute of Technology Kanpur via Swayam
Основы квантовой криптографии
National Research Nuclear University MEPhI via edX
Fundamentals of Quantum Information
Delft University of Technology via edX
Quantum Computer Programming With Qiskit
YouTube