15 citations · 15 across the 5 of their papers we have counts for
6 papers
HUGR: A Quantum-Classical Intermediate Representation
Mark Koch, Agustín Borgna, Seyon Sivarajah +7
We introduce the Hierarchical Unified Graph Representation (HUGR): a novel graph based intermediate representation for mixed quantum-classical programs. HUGR's design features high…
Scalable Pattern Matching in Computation Graphs
Luca Mondada, Pablo Andrés-Martínez
Graph rewriting is a popular tool for the optimisation and modification of graph expressions in domains such as compilers, machine learning and quantum computing. The underlying da…
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…
Quantum Circuits in Additive Hilbert Space
Luca Mondada
Representations of quantum computations are almost always based on a tensor product -structure. This coincides with what we are able to execute in our experiments, as well…
Introduction to UniversalQCompiler
Raban Iten, Oliver Reardon-Smith, Emanuel Malvetti +5
We introduce an open source software package UniversalQCompiler written in Mathematica that allows the decomposition of arbitrary quantum operations into a sequence of single-qubit…
Exact Recovery for a Family of Community-Detection Generative Models
Luca Corinzia, Paolo Penna, Luca Mondada +1
Generative models for networks with communities have been studied extensively for being a fertile ground to establish information-theoretic and computational thresholds. In this pa…