Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing (tool paper)
This program is tentative and subject to change.
As physical realizations of quantum computers move closer towards practical applications, the need for tools to analyze and verify quantum algorithms grows. Among the algorithms and data structures used to tackle such problems, decision diagrams (DDs) have shown much success. However, an obstacle with DDs is their efficient parallelization, and while parallel speedups have been obtained for DDs used in classical applications, attempts to parallelize operations for quantum-specific DDs have yielded only limited success. In this work, we present an efficient implementation of parallel edge-valued DDs, which makes use of fine-grained task parallelism and lock-free hash tables. Additionally, we use these DDs to implement two use cases: simulation and equivalence checking of quantum circuits. In our empirical evaluation we find that our tool, Q-Sylvan, shows a single-core performance that is competitive with the state-of-the-art quantum DD tool MQT DDSIM on large instances, and moreover achieves parallel speedups of up to x18 on 64 cores.
This program is tentative and subject to change.
Thu 30 OctDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
14:00 - 15:00 | |||
14:00 30mPaper | Towards Unified Probabilistic Verification and Validation of Vision based Autonomy ATVA Papers Jordan Peper University of Florida, USA, Yan Miao University of Illinois Urbana-Champaign, Sayan Mitra University of Illinois at Urbana-Champaign, Ivan Ruchkin University of Florida | ||
14:30 15mPaper | PolyQEnt: A Polynomial Quantified Entailment Solver (tool paper)Distinguished Tool Paper ATVA Papers Krishnendu Chatterjee IST Austria, Amir Kafshdar Goharshady University of Oxford, Ehsan Kafshdar Goharshady , Mehrdad Karrabi , Milad Saadat Sharif University of Technology, Iran, Maximilian Seeliger Vienna University of Technology, Austria, Đorđe Žikelić Singapore Management University, Singapore | ||
14:45 15mPaper | Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing (tool paper) ATVA Papers | ||