5 papers
A Lumpability-Driven Taxonomy of Strong and Weak Stochastic Bisimilarities with Their Congruence Properties
Riccardo Romanello, Andrea Esposito, Marco Bernardo +2
We study the relationships among the stochastic bisimulation-style equivalences over PEPA - Performance Evaluation Process Algebra definable according to the well known notions of…
AlphaClifford: Efficient Clifford Synthesis and Transpilation with Model-based RL
Daniele Lizzio Bosco, Jacopo Cossio, Carla Piazza +1
Clifford circuits play a foundational role in quantum computing, particularly due to their importance in quantum error correction and fault-tolerant logical synthesis. While these…
AlphaCNOT: Learning CNOT Minimization with Model-Based Planning
Jacopo Cossio, Daniele Lizzio Bosco, Riccardo Romanello +2
Quantum circuit optimization is a central task in quantum computing, as current NISQ devices suffer from error propagation that often scales with the number of operations. Among qu…
CNOT Minimal Circuit Synthesis: A Reinforcement Learning Approach
Riccardo Romanello, Daniele Lizzio Bosco, Jacopo Cossio +4
CNOT gates are fundamental to quantum computing, as they facilitate entanglement, a crucial resource for quantum algorithms. Certain classes of quantum circuits are constructed exc…
Exact Persistent Stochastic Non-Interference
Carla Piazza, Riccardo Romanello, Sabina Rossi
Persistent Stochastic Non-Interference (PSNI) was introduced to capture a quantitative security property in stochastic process algebras, ensuring that a high-level process does not…