2 papers
quant-ph2025
Optimization and Synthesis of Quantum Circuits with Global Gates
Alejandro Villoria, Henning Basold, Alfons Laarman
Compiling quantum circuits to account for hardware restrictions is an essential part of the quantum computing stack. Circuit compilation allows us to adapt algorithm descriptions i…
cs.LO2023
Enriching Diagrams with Algebraic Operations
Alejandro Villoria, Henning Basold, Alfons Laarman
In this paper, we extend diagrammatic reasoning in monoidal categories with algebraic operations and equations. We achieve this by considering monoidal categories that are enriched…