4 papers
Uniformity within Parameterized Circuit Classes
Steef Hegeman, Jan Martens, Alfons Laarman
We study uniformity conditions for parameterized Boolean circuit families. Uniformity conditions require that the infinitely many circuits in a circuit family are in some sense eas…
Numerical Errors in Quantitative System Analysis With Decision Diagrams
Sebastiaan Brand, Arend-Jan Quist, Richard M. K. van Dijk +1
Decision diagrams (DDs) are a powerful data structure that is used to tackle the state-space explosion problem, not only for discrete systems, but for probabilistic and quantum sys…
Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing
Sebastiaan Brand, Alfons Laarman
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 an…
Reducing Quantum Circuit Synthesis to #SAT
Dekel Zak, Jingyi Mei, Jean-Marie Lagniez +1
Quantum circuit synthesis is the task of decomposing a given quantum operator into a sequence of elementary quantum gates. Since the finite target gate set cannot exactly implement…