Showing quant-phShow all
3 papers · 1 filter
quant-ph2024
High-level quantum algorithm programming using Silq
Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani +1
Quantum computing, with its vast potential, is fundamentally shaped by the intricacies of quantum mechanics, which both empower and constrain its capabilities. The development of a…
quant-ph2024
Verification of Quantum Circuits through Discrete-Time Barrier Certificates
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
Current methods for verifying quantum computers are predominately based on interactive or automatic theorem provers. Considering that quantum computers are dynamical in nature, thi…
quant-ph2022
Matrix Representation of Arbitrarily Controlled Quantum Gates
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
Controlled operations allow for the entanglement of quantum registers. In particular, a controlled- gate allows an operation, , to be applied to the target register and entan…