71 citations · 242 across the 12 of their papers we have counts for
14 papers
Retromorphic Testing of Quantum Compiler Passes
Mushahid Khan, Olivia Di Matteo
Quantum compilers play a critical role in transforming high-level quantum programs into optimized, hardware-compatible circuits. However, verifying the correctness of compiler pass…
Why Are We Unrolling? The Importance of Structured Quantum Programs for Compilation
Damian Rovara, Daniel Haag, Mark Koch +8
As quantum software stacks scale up to support future fault-tolerant quantum hardware and algorithms, quantum compilation is becoming an increasingly important component of the sta…
An Abstraction Hierarchy Toward Productive Quantum Programming
Olivia Di Matteo, Santiago Núñez-Corrales, Michał Stęchły +2
Experience from seven decades of classical computing suggests that a sustainable computer industry depends on a community of software engineers writing programs to address a wide v…
On the need for effective tools for debugging quantum programs
Olivia Di Matteo
The ability to incorporate quantum phenomena in computing unlocks a host of new ways to make mistakes. This work surveys existing studies and approaches to debugging quantum progra…
Exploring the Potential of Qutrits for Quantum Optimization of Graph Coloring
Gabriel Bottrill, Mudit Pandey, Olivia Di Matteo
Recent hardware demonstrations and advances in circuit compilation have made quantum computing with higher-dimensional systems (qudits) on near-term devices an attractive possibili…
Prediction of the neutron drip line in oxygen isotopes using quantum computation
Chandan Sarma, Olivia Di Matteo, Abhishek Abhishek +1
In the noisy intermediate-scale quantum era, variational algorithms have become a standard approach to solving quantum many-body problems. Here, we present variational quantum eige…
Quantum computing fidelity susceptibility using automatic differentiation
Olivia Di Matteo, R. M. Woloshyn
Automatic differentiation is an invaluable feature of machine learning and quantum machine learning software libraries. In this work it is shown how quantum automatic differentiati…
Differentiable quantum computational chemistry with PennyLane
Juan Miguel Arrazola, Soran Jahangiri, Alain Delgado +15
This work describes the theoretical foundation for all quantum chemistry functionality in PennyLane, a quantum computing software library specializing in quantum differentiable pro…
Universal quantum circuits for quantum chemistry
Juan Miguel Arrazola, Olivia Di Matteo, Nicolás Quesada +3
Universal gate sets for quantum computing have been known for decades, yet no universal gate set has been proposed for particle-conserving unitaries, which are the operations of in…
Simple factorization of unitary transformations
Hubert de Guise, Olivia Di Matteo, Luis L. Sanchez-Soto
We demonstrate a method for general linear optical networks that allows one to factorize any SU() matrix in terms of two SU( blocks coupled by an SU(2) entangling beam spl…
Parallelizing quantum circuit synthesis
Olivia Di Matteo, Michele Mosca
Quantum circuit synthesis is the process in which an arbitrary unitary operation is decomposed into a sequence of gates from a universal set, typically one which a quantum computer…
Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3
Matthew Amy, Olivia Di Matteo, Vlad Gheorghiu +3
We investigate the cost of Grover's quantum search algorithm when used in the context of pre-image attacks on the SHA-2 and SHA-3 families of hash functions. Our cost model assumes…
Symmetric Hadamard matrices of order 116 and 172 exist
Olivia Di Matteo, Dragomir Z. Djokovic, Ilias S. Kotsireas
We construct new symmetric Hadamard matrices of orders , and . While the existence of those of order was known since 1978, the orders and are new. Our…
Discrete phase-space approach to mutually orthogonal Latin squares
Mario Gaeta, Olivia Di Matteo, Andrei B. Klimov +1
We show there is a natural connection between Latin squares and commutative sets of monomials defining geometric structures in finite phase-space of prime power dimensions. A compl…