6
collaborators
2021–2023
years active
Contributions
QIP QCrypt TQC talk poster presenter award · △program ◇steering ○organizing · filled = chair
1 Talk
| Title | Conference | Type | Co-authors |
|---|---|---|---|
| A Complete Equational Theory for Quantum Circuits | TQC 2023 | regular | Nicolas Heurtel, Shane Mansfield, ▸Simon Perdrix, Benoît Valiron |
We introduce the first complete equational theory for quantum circuits. More precisely, we introduce a set of circuit equations that we prove to be sound and complete: two circuits represent the same quantum evolution if and only if they can be transformed one into the other using the equations. The proof is based on the properties of multi-controlled gates – that are defined using elementary gates – together with an encoding of quantum circuits into linear optical circuits, for which we introduce a complete axiomatisation. This completeness result lays the formal foundation for the development of compiling tasks like circuit optimisation, hardware constraint satisfaction, and circuit verification. |
|||
2 Posters
| Title | Conference | Co-authors |
|---|---|---|
| A Complete Equational Theory for Quantum Circuits | QIP 2023 | Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron |
| Coherent control and distinguishability of quantum channels via PBS-diagrams | TQC 2021 | Cyril Branciard, Mehdi Mhalla, Simon Perdrix |
Collaborators
| Co-author | Joint talks |
|---|---|
| Simon Perdrix | 3 |
| Benoît Valiron | 2 |
| Nicolas Heurtel | 2 |
| Shane Mansfield | 2 |
| Cyril Branciard | 1 |
| Mehdi Mhalla | 1 |