Publications

Publications HAL

2024

titre
Quantum Circuit Completeness: Extensions and Simplifications
auteur
Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart
article
International Conference on Computer Science Logic CSL 2024, Feb 2024, Naples, Italy. ⟨10.4230/LIPIcs.CSL.2024.20⟩
DOI
DOI : 10.4230/LIPIcs.CSL.2024.20
Accès au texte intégral et bibtex
https://hal.science/hal-04016498/file/main.pdf BibTex
titre
Minimal Equational Theories for Quantum Circuits
auteur
Alexandre Clément, Noé Delorme, Simon Perdrix
article
2024
Accès au bibtex
https://arxiv.org/pdf/2311.07476 BibTex

2023

titre
A Complete Equational Theory for Quantum Circuits
auteur
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
article
18th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2023), Jul 2023, Aveiro, Portugal
Accès au bibtex
BibTex
titre
A Complete Equational Theory for Quantum Circuits
auteur
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
article
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175801⟩
DOI
DOI : 10.1109/LICS56636.2023.10175801
Accès au texte intégral et bibtex
https://hal.science/hal-03926757/file/2206.10577.pdf BibTex

2022

titre
LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits
auteur
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
article
MFCS 2022 – 47th International Symposium on Mathematical Foundations of Computer Science, Aug 2022, Vienna, Austria. pp.35:1–35:16, ⟨10.4230/LIPIcs.MFCS.2022.35⟩
DOI
DOI : 10.4230/LIPIcs.MFCS.2022.35
Accès au bibtex
https://arxiv.org/pdf/2204.11787 BibTex
titre
Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-Calculus
auteur
Alexandre Clément, Simon Perdrix
article
MFCS 2022 – 47th International Symposium on Mathematical Foundations of Computer Science, Aug 2022, Vienne, Austria. ⟨10.4230/LIPIcs.MFCS.2022.36⟩
DOI
DOI : 10.4230/LIPIcs.MFCS.2022.36
Accès au bibtex
https://arxiv.org/pdf/2202.05260 BibTex

2021

titre
Coherent Control and Distinguishability of Quantum Channels via PBS-Diagrams
auteur
Cyril Branciard, Alexandre Clément, Mehdi Mhalla, Simon Perdrix
article
MFCS 2021 – 46th International Symposium on Mathematical Foundations of Computer Science, Aug 2021, Tallinn, Estonia. pp.22:1-22:20, ⟨10.4230/LIPIcs.MFCS.2021.22⟩
DOI
DOI : 10.4230/LIPIcs.MFCS.2021.22
Accès au bibtex
https://arxiv.org/pdf/2103.02073 BibTex

2020

titre
PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations
auteur
Alexandre Clément, Simon Perdrix
article
45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), Aug 2020, Prague, Czech Republic. pp.24:1-24:14, ⟨10.4230/LIPIcs.MFCS.2020.24⟩
DOI
DOI : 10.4230/LIPIcs.MFCS.2020.24
Accès au bibtex
https://arxiv.org/pdf/2002.09387 BibTex