Publications

My publications generated with HAL. You can also have a look at DBLP and Google Scholar.

Preprints can be found here.

 

Publications HAL de simon perdrix

2019

titre
Completeness of Graphical Languages for Mixed States Quantum Mechanics
auteur
Titouan Carette, Simon Perdrix, Renaud Vilmart, Emmanuel Jeandel
article
2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02025720/file/discard.pdf BibTex

2018

titre
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
auteur
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
article
The 33rd Annual Symposium on Logic in Computer Science, 2018, Jul 2018, Oxford, United Kingdom. pp.559–568, ⟨10.1145/3209108.3209131⟩
DOI
DOI : 10.1145/3209108.3209131
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01529623/file/pi_4-completeness-arxiv-v2.pdf BibTex
titre
Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics
auteur
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
article
The 33rd Annual Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.569–578, ⟨10.1145/3209108.3209139⟩
DOI
DOI : 10.1145/3209108.3209139
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01716501/file/beyond_clifford%2BT-arxiv.pdf BibTex
titre
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness
auteur
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
article
2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01791791/file/normal-forms-NF.pdf BibTex

2017

titre
A complete characterisation of All-versus-Nothing arguments for stabiliser states
auteur
Samson Abramsky, Rui Soares Barbosa, Giovanni Carù, Simon Perdrix
article
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Royal Society, The, 2017, Second quantum revolution: foundational questions, 375 (2106), ⟨10.1098/rsta.2016.0385⟩
DOI
DOI : 10.1098/rsta.2016.0385
Accès au bibtex
https://arxiv.org/pdf/1705.08459 BibTex
titre
Towards a Minimal Stabilizer ZX-calculus
auteur
Miriam Backens, Simon Perdrix, Quanlong Wang
article
2017
Accès au bibtex
https://arxiv.org/pdf/1709.08903 BibTex
titre
ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics
auteur
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang
article
MFCS 2017 – 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01445707/file/Cyclotomic-Supplementarity-with-appendix.pdf BibTex
titre
Determinism and Computational Power of Real Measurement-based Quantum Computation
auteur
Simon Perdrix, Luc Sanselme
article
FCT’17- 21st International Symposium on Fundamentals of Computation Theory, Sep 2017, Bordeaux, France. ⟨10.1007/978-3-662-55751-8_31⟩
DOI
DOI : 10.1007/978-3-662-55751-8_31
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01377339/file/PauliFlow-final-pre-print.pdf BibTex
titre
Contextuality in multipartie pseudo-telepathy graph games
auteur
Anurag Anshu, Peter Hoyer, Mehdi Mhalla, Simon Perdrix
article
FCT’17- 21st International Symposium on Fundamentals of Computation Theory, Sep 2017, Bordeaux, France. pp.41-55, ⟨10.1007/978-3-662-55751-8_5⟩
DOI
DOI : 10.1007/978-3-662-55751-8_5
Accès au bibtex
https://arxiv.org/pdf/1609.09689 BibTex
titre
Y-Calculus: A language for real Matrices derived from the ZX-Calculus
auteur
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
article
International Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01445948/file/Y-Calculus.pdf BibTex
titre
A complete characterisation of All-versus-Nothing arguments for stabiliser states
auteur
Sansom Abramski, Rui Soares Barbosa, Giovanni Carù, Simon Perdrix
article
14th International Conference on Quantum Physics and Logic (QPL), Jul 2017, Nijmegen, Netherlands
Accès au bibtex
BibTex

2016

titre
Modèles de calcul quantiques
auteur
Pablo Arrighi, Simon Perdrix
article
Étienne BAUDRIER Lo\ »ic MAZO. Informatique Mathématique – une photographie en 2016, CNRS Editions, 2016
Accès au bibtex
BibTex
titre
A Simplified Stabilizer ZX-calculus
auteur
Miriam Backens, Simon Perdrix, Quanlong Wang
article
13th International Conference on Quantum Physics and Logic , Jun 2016, Glasgow, United Kingdom
Accès au bibtex
https://arxiv.org/pdf/1602.04744 BibTex
titre
Reversible Causal Graph Dynamics
auteur
Pablo Arrighi, Simon Martiel, Simon Perdrix
article
Reversible Computation, Jul 2016, Bologna, Italy. pp.73-88, ⟨10.1007/978-3-319-40578-0_5⟩
DOI
DOI : 10.1007/978-3-319-40578-0_5
Accès au bibtex
https://arxiv.org/pdf/1502.04368v2 BibTex
titre
Supplementarity is Necessary for Quantum Diagram Reasoning *
auteur
Simon Perdrix, Quanlong Wang
article
41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), Aug 2016, Krakow, Poland. pp.76:1–76:14, ⟨10.4230/LIPIcs.MFCS.2016.76⟩
DOI
DOI : 10.4230/LIPIcs.MFCS.2016.76
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01361419/file/LIPIcs-MFCS-2016-76.pdf BibTex

2015

titre
Minimum Degree up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms
auteur
David Cattanéo, Simon Perdrix
article
26th International Symposium on Algorithms and Computation (ISAAC 2015), Dec 2015, Nagoya, Japan. pp.12, ⟨10.1007/978-3-662-48971-0_23⟩
DOI
DOI : 10.1007/978-3-662-48971-0_23
Accès au bibtex
https://arxiv.org/pdf/1503.04702 BibTex
titre
On weak odd domination and graph-based quantum secret sharing
auteur
Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
article
Theoretical Computer Science, Elsevier, 2015, 598, ⟨10.1016/j.tcs.2015.05.038⟩
DOI
DOI : 10.1016/j.tcs.2015.05.038
Accès au bibtex
BibTex
titre
Block Representation of Reversible Causal Graph Dynamics
auteur
Pablo Arrighi, Simon Martiel, Simon Perdrix
article
20th International Symposium on Fundamentals of Computation Theory, Aug 2015, Gdańsk, Poland. pp.14, ⟨10.1007/978-3-319-22177-9_27⟩
DOI
DOI : 10.1007/978-3-319-22177-9_27
Accès au bibtex
BibTex
titre
Reversibility in Extended Measurement-based Quantum Computation
auteur
Nidhal Hamrit, Simon Perdrix
article
7th Conference on Reversible Computation, Jul 2015, Grenoble, France. pp.10, ⟨10.1007/978-3-319-20860-2_8⟩
DOI
DOI : 10.1007/978-3-319-20860-2_8
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01132861/file/1503.03008v1.pdf BibTex
titre
L’ordinateur quantique pour simuler… la physique quantique
auteur
Pablo Arrighi, Simon Perdrix
article
La Recherche : l’actualité des sciences, société d’éditions scientifiques, 2015
Accès au bibtex
BibTex
titre
The ZX Calculus is incomplete for Clifford+T quantum mechanics
auteur
Simon Perdrix, Quanlong Wang
article
Quantum Theory: from foundations to technologies – QTFT, Jun 2015, Vaxjo, Sweden
Accès au bibtex
https://arxiv.org/pdf/1506.03055 BibTex
titre
Quantum Circuits for the Unitary Permutation Problem
auteur
Stefano Facchini, Simon Perdrix
article
TAMC 2015, May 2015, Singapore, Singapore. pp.324-331, ⟨10.1007/978-3-319-17142-5_28⟩
DOI
DOI : 10.1007/978-3-319-17142-5_28
Accès au bibtex
https://arxiv.org/pdf/1405.5205 BibTex
titre
On weak odd domination and graph-based quantum secret sharing
auteur
Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
article
Theoretical Computer Science, Elsevier, 2015
Accès au bibtex
BibTex

2014

titre
Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus
auteur
Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10:4 (8), pp.40. ⟨10.2168/LMCS-10(4:8)2014⟩
DOI
DOI : 10.2168/LMCS-10(4:8)2014
Accès au bibtex
https://arxiv.org/pdf/1005.2897 BibTex
titre
The Parameterized Complexity of Domination-type Problems and Application to Linear Codes
auteur
David Cattanéo, Simon Perdrix
article
Theory and Applications of Models of Computation, Apr 2014, Chennai, India. pp.86-103, ⟨10.1007/978-3-319-06089-7_7⟩
DOI
DOI : 10.1007/978-3-319-06089-7_7
Accès au bibtex
https://arxiv.org/pdf/1209.5267 BibTex

2013

titre
Parameterized Complexity of Weak Odd Domination Problems
auteur
David Cattanéo, Simon Perdrix
article
19th International Symposium on Fundamentals of Computation Theory, Aug 2013, Liverpool, United Kingdom. pp.107-120, ⟨10.1007/978-3-642-40164-0_13⟩
DOI
DOI : 10.1007/978-3-642-40164-0_13
Accès au bibtex
https://arxiv.org/pdf/1206.4081 BibTex
titre
Pivoting Makes the ZX-Calculus Complete for Real Stabilizers
auteur
Ross Duncan, Simon Perdrix
article
QPL 2013 – 10th Workshop on Quantum Physics and Logic, Jul 2013, Castelldefels, Barcelona, Spain
Accès au bibtex
https://arxiv.org/pdf/1307.7048 BibTex
titre
Access Structure in Graphs in High Dimension and Application to Secret Sharing
auteur
Anne Marin, Damian Markham, Simon Perdrix
article
TQC 2013 – 8th Conference on the Theory of Quantum Computation, Communication and Cryptography, May 2013, Guelph, Canada. pp.308-324, ⟨10.4230/LIPIcs.TQC.2013.308⟩
DOI
DOI : 10.4230/LIPIcs.TQC.2013.308
Accès au bibtex
https://arxiv.org/pdf/1304.7105 BibTex
titre
Graph States, Pivot Minor, and Universality of (X,Z)-measurements
auteur
Mehdi Mhalla, Simon Perdrix
article
International Journal of Unconventional Computing, Old City Publishing, 2013, 9 (1-2), pp.153-171
Accès au bibtex
https://arxiv.org/pdf/1202.6551 BibTex

2012

titre
Quantum Secret Sharing with Graph States
auteur
Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
article
MEMICS 2012 – International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Oct 2012, Znojmo, Czech Republic. pp.15-31, ⟨10.1007/978-3-642-36046-6_3⟩
DOI
DOI : 10.1007/978-3-642-36046-6_3
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00933722/file/Gravier-Javelle-Mhalla-Perdrix_MEMICS2012.pdf BibTex
titre
On the Minimum Degree up to Local Complementation: Bounds and Complexity
auteur
Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
article
WG 2012 – International Workshop on Graph-Theoretic Concepts in Computer Science, Jun 2012, Jerusalem, Israel. pp.138-147, ⟨10.1007/978-3-642-34611-8_16⟩
DOI
DOI : 10.1007/978-3-642-34611-8_16
Accès au bibtex
https://arxiv.org/pdf/1204.4564 BibTex
titre
On Weak Odd Domination and Graph-based Quantum Secret Sharing
auteur
Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
article
2012
Accès au bibtex
https://arxiv.org/pdf/1112.2495 BibTex
titre
New Protocols and Lower Bounds for Quantum Secret Sharing with Graph States
auteur
Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
article
TQC 2012 – 7th Conference on Theory of Quantum Computation, Communication, and Cryptography, May 2012, Tokyo, Japan. pp.1-12, ⟨10.1007/978-3-642-35656-8_1⟩
DOI
DOI : 10.1007/978-3-642-35656-8_1
Accès au bibtex
https://arxiv.org/pdf/1109.1487 BibTex

2011

titre
Optimal accessing and non-accessing structures for graph protocols
auteur
Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
article
2011
Accès au bibtex
https://arxiv.org/pdf/1109.6181 BibTex
titre
Completeness of algebraic CPS simulations
auteur
Ali Assaf, Simon Perdrix
article
DCM 2011 – International Workshop on Developments of Computational Methods (satellite event of ICALP 2011), Jul 2011, Zurich, Switzerland. pp.16-27, ⟨10.4204/EPTCS.88.2⟩
DOI
DOI : 10.4204/EPTCS.88.2
Accès au bibtex
https://arxiv.org/pdf/1207.7146 BibTex
titre
Which graph states are useful for quantum information processing?
auteur
Mehdi Mhalla, Mio Murao, Simon Perdrix, Masato Someya, Peter S. Turner
article
TQC 2011 – Conference on the Theory of Quantum Computation, Communication and Cryptography, May 2011, Madrid, Spain. 13 p
Accès au bibtex
https://arxiv.org/pdf/1006.2616 BibTex
titre
Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition
auteur
Simon Perdrix
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2011, 270 (1), pp.99-111. ⟨10.1016/j.entcs.2011.01.009⟩
DOI
DOI : 10.1016/j.entcs.2011.01.009
Accès au bibtex
BibTex
titre
Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition
auteur
Simon Perdrix
article
Joint 5th QPL and 4th DCM 2008, 2008, Oxford, United Kingdom. pp.99 – 111, ⟨10.1016/j.entcs.2011.01.009⟩
DOI
DOI : 10.1016/j.entcs.2011.01.009
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01378693/file/weakerQTM.pdf BibTex
titre
Towards Observable Quantum Turing Machines: Fundamentals, Computational Power, and Universality
auteur
Simon Perdrix
article
International Journal of Unconventional Computing, Old City Publishing, 2011, 7 (4), pp.291-311
Accès au bibtex
BibTex

2010

titre
Equivalence of algebraic λ-calculi
auteur
Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron
article
HOR – 5th International Workshop on Higher-Order Rewriting – 2010, Eduardo Bonelli, Jul 2010, Edinburgh, United Kingdom. pp.6-11
Accès au bibtex
https://arxiv.org/pdf/1005.2897 BibTex
titre
Computational Depth Complexity of Measurement-Based Quantum Computation
auteur
Dan E. Browne, Elham Kashefi, Simon Perdrix
article
TQC 2010 – 5th Conference on Theory of Quantum Computation, Communication, and Cryptography, Apr 2010, Leeds, United Kingdom. pp.35-46, ⟨10.1007/978-3-642-18073-6_4⟩
DOI
DOI : 10.1007/978-3-642-18073-6_4
Accès au bibtex
https://arxiv.org/pdf/0909.4673 BibTex
titre
Décidabilité et Complexité
auteur
Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, Sophie Tison
article
Pierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00549416/file/Chapitre_DecidabiliteComplexite.pdf BibTex
titre
Décidabilité et Complexité
auteur
Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, Sophie Tison
article
IA Handbook, Cépaduès, pp.1-63, 2010
Accès au bibtex
BibTex
titre
Environment and classical channels in categorical quantum mechanics
auteur
Bob Coecke, Simon Perdrix
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2010, 8 (4), pp.230–244
Accès au bibtex
BibTex
titre
Environment and Classical Channels in Categorical Quantum Mechanics
auteur
Bob Coecke, Simon Perdrix
article
CSL, 2010, Czech Republic. pp.230-244
Accès au bibtex
BibTex
titre
Rewriting Measurement-Based Quantum Computations with Generalised Flow
auteur
Ross Duncan, Simon Perdrix
article
ICALP, 2010, Bordeaux, France. pp.285-296
Accès au bibtex
BibTex
titre
Abstract interpretation techniques in quantum computation
auteur
Philippe Jorrand, Simon Perdrix
article
Simon Gay and Ian Mackie. Semantic Techniques in Quantum Computation, Cambridge University Press, pp.206, 2010
Accès au bibtex
BibTex

2009

titre
Extended Measurement Calculus
auteur
Vincent Danos, Elham Kashefi, Prakash Panangaden, Simon Perdrix
article
Semantic Techniques in Quantum Computation, Cambridge University Press, pp.235, 2009
Accès au bibtex
BibTex
titre
Graph States and the Necessity of Euler Decomposition
auteur
Ross Duncan, Simon Perdrix
article
5th Conference on Computability in Europe, 2009, Heidelberg, Germany. pp.167-177
Accès au bibtex
BibTex
titre
Information Flow in Secret Sharing Protocols
auteur
Elham Kashefi, Damian Markham, Mehdi Mhalla, Simon Perdrix
article
DCM, 2009, Rhodes, Greece. pp.87-97
Accès au bibtex
BibTex

2006

titre
Modèles formels du calcul quantique : ressources, machines abstraites et calcul par mesure
auteur
Simon Perdrix
article
Informatique [cs]. Institut National Polytechnique de Grenoble – INPG, 2006. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00275323/file/perdrix-THESE.pdf BibTex
titre
Classically controlled quantum computation
auteur
Simon Perdrix, Philippe Jorrand
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2006, 16 (04), ⟨10.1017/S096012950600538X⟩
DOI
DOI : 10.1017/S096012950600538X
Accès au bibtex
BibTex
titre
Classically-Controlled Quantum Computation
auteur
Simon Perdrix, Philippe Jorrand
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2006, 16, pp.601-620
Accès au bibtex
https://arxiv.org/pdf/quant-ph/0407008 BibTex
titre
Resources Required for Preparing Graph States
auteur
Peter Høyer, Mehdi Mhalla, Simon Perdrix
article
17th International Symposium on Algorithms and Computation (ISAAC 2006), Dec 2006, Kolkata, India. pp.638 – 649, ⟨10.1007/11940128_64⟩
DOI
DOI : 10.1007/11940128_64
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01378771/file/HMP.pdf BibTex

2005

titre
Classically-controlled Quantum Computation
auteur
Simon Perdrix, Philippe Jorrand
article
DCM’05, 2005, Lisbon, Portugal. pp.119 – 128, ⟨10.1016/j.entcs.2005.09.026⟩
DOI
DOI : 10.1016/j.entcs.2005.09.026
Accès au bibtex
BibTex

2004

titre
Unifying Quantum Computation with Projective Measurements only and One-Way Quantum Computation
auteur
Philippe Jorrand, Simon Perdrix
article
Quantum Informatics 2004, Jan 2004, Moscow, Russia. ⟨10.1117/12.620302⟩
DOI
DOI : 10.1117/12.620302
Accès au bibtex
https://arxiv.org/pdf/quant-ph/0404125 BibTex
titre
Measurement-Based Quantum Turing Machines and their Universality
auteur
Simon Perdrix, Philippe Jorrand
article
2004
Accès au bibtex
https://arxiv.org/pdf/quant-ph/0404146 BibTex
titre
Measurement-Based Quantum Turing Machines and Questions of Universalities
auteur
Simon Perdrix, Philippe Jorrand
article
2004
Accès au bibtex
https://arxiv.org/pdf/quant-ph/0402156 BibTex
titre
Complexity of Graph State Preparation
auteur
Mehdi Mhalla, Simon Perdrix
article
2004
Accès au bibtex
https://arxiv.org/pdf/quant-ph/0412071 BibTex