4 papers
Categories of sets with infinite addition
Pablo Andrés-Martínez, Chris Heunen
We consider sets with infinite addition, called -monoids, and contribute to their literature in three ways. First, our definition subsumes those from previous works and allows u…
The Subgraph Isomorphism Problem for Port Graphs and Quantum Circuits
Luca Mondada, Pablo Andrés-Martínez
We study a variant of the subgraph isomorphism problem that is of high interest to the quantum computing community. Our results give an algorithm to perform pattern matching in qua…
Unbounded loops in quantum programs: categories and weak while loops
Pablo Andrés-Martínez
Control flow of quantum programs is often divided into two different classes: classical and quantum. Quantum programs with classical control flow have their conditional branching d…
Automated distribution of quantum circuits via hypergraph partitioning
Pablo Andrés-Martínez, Chris Heunen
Quantum algorithms are usually described as monolithic circuits, becoming large at modest input size. Near-term quantum architectures can only manage a small number of qubits. We d…