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

2017

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
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01377339/file/PauliFlow-final-pre-print.pdf 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
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
auteur
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01529623/file/pi_4-completeness-arxiv.pdf BibTex
titre
A complete characterisation of All-versus-Nothing arguments for stabiliser states
auteur
Samson Abramsky, Rui Soares Barbosa, Giovanni Carù, Simon Perdrix
article
2017
Accès au bibtex
https://arxiv.org/pdf/1705.08459 BibTex
titre
Y-Calculus: A language for real Matrices derived from the ZX-Calculus
auteur
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01445948/file/Y-Calculus.pdf BibTex

2016

titre
Contextuality in multipartie pseudo-telepathy graph games
auteur
Peter Hoyer, Mehdi Mhalla, Simon Perdrix
article
2016
Accès au bibtex
https://arxiv.org/pdf/1609.09689 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. 58, pp.76:1–76:14, 2, Leibniz International Proceedings in Informatics (LIPIcs). <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
titre
Reversible Causal Graph Dynamics
auteur
Pablo Arrighi, Simon Martiel, Simon Perdrix
article
Reversible Computation, Jul 2016, Bologna, Italy. 9720, pp.73-88, 2016, Lecture Notes in Computer Science. <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
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. 2016, <http://qpl2016.cis.strath.ac.uk/>
Accès au bibtex
https://arxiv.org/pdf/1602.04744 BibTex
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

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. 9472, pp.12, 2015, Algorithms and Computation (ISAAC’2015). <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
Journal of Theoretical Computer Science (TCS), 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. 9210, pp.14, 2015, Fundamentals of Computation Theory. <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. 9138, pp.10, 2015, Reversible Computation. <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. 9076, pp.324-331, 2015, Theory and Applications of Models of Computation. <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

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. <http://lmcs-online.org/ojs/viewarticle.php?id=1567>. <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. 8402, pp.86-103, Lecture Notes in Computer Science. <http://link.springer.com/chapter/10.1007%2F978-3-319-06089-7_7>. <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. 8070, pp.107-120, 2013, Lecture Notes in Computer Science. <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. 2013
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
Simone Severini and Fernando Brandao. TQC 2013 – 8th Conference on the Theory of Quantum Computation, Communication and Cryptography, May 2013, Guelph, Canada. Schloss Dagstuhl, 22, pp.308-324, 2013, Leibniz International Proceedings in Informatics (LIPIcs). <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
Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš. MEMICS 2012 – International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Oct 2012, Znojmo, Czech Republic. Springer, 7721, pp.15-31, 2013, Lecture Notes in Computer Science (LNCS). <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
Martin Charles Golumbic, Michal Stern, Avivit Levy, Gila Morgenstern. WG 2012 – International Workshop on Graph-Theoretic Concepts in Computer Science, Jun 2012, Jerusalem, Israel. Springer, 7551, pp.138-147, 2012, Lecture Notes in Computer Science (LNCS). <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
IF_PREPUB. Subsumes arXiv:1109.6181: Optimal accessing and non-accessing structures for graph protocols. 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
Kazuo Iwama, Yasuhito Kawano, Mio Murao. TQC 2012 – 7th Conference on Theory of Quantum Computation, Communication, and Cryptography, May 2012, Tokyo, Japan. Springer, 7582, pp.1-12, 2013, Lecture Notes in Computer Science (LNCS). <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
IF_PREPUB. 2011
Accès au bibtex
https://arxiv.org/pdf/1109.6181 BibTex
titre
Completeness of algebraic CPS simulations
auteur
Ali Assaf, Simon Perdrix
article
Elham Kashefi, Jean Krivine, Femke van Raamsdonk. DCM 2011 – International Workshop on Developments of Computational Methods (satellite event of ICALP 2011), Jul 2011, Zurich, Switzerland. 88, pp.16-27, 2012, Electronic Proceedings in Theoretical Computer Science (EPTCS). <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., 2011
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
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, Jul 2010, Edinburgh, United Kingdom. pp.6-11, 2010
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
Wim van Dam, Vivien M. Kendon, Simone Severini. TQC 2010 – 5th Conference on Theory of Quantum Computation, Communication, and Cryptography, Apr 2010, Leeds, United Kingdom. Springer, 6519, pp.35-46, 2011, Lecture Notes in Computer Science (LNCS). <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
Rewriting Measurement-Based Quantum Computations with Generalised Flow
auteur
Ross Duncan, Simon Perdrix
article
Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide and Paul G. Spirakis. ICALP, 2010, Bordeaux, France. Springer Berlin Heidelberg, 6199, pp.285-296, 2010, Lecture Notes in Computer Science
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
titre
Environment and Classical Channels in Categorical Quantum Mechanics
auteur
Bob Coecke, Simon Perdrix
article
Dawar, Anuj and Veith, Helmut. CSL, 2010, Czech Republic. Springer Berlin Heidelberg, 6247, pp.230-244, 2010, Lecture Notes in Computer Science
Accès au bibtex
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

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
Information Flow in Secret Sharing Protocols
auteur
Elham Kashefi, Damian Markham, Mehdi Mhalla, Simon Perdrix
article
S. Barry Cooper and Vincent Danos. DCM, 2009, Rhodes, Greece. pp.87-97, 2009, EPTCS
Accès au bibtex
BibTex
titre
Graph States and the Necessity of Euler Decomposition
auteur
Ross Duncan, Simon Perdrix
article
Ambos-Spies, Klaus and Löwe, Benedikt and Merkle, Wolfgang. 5th Conference on Computability in Europe, 2009, Heidelberg, Germany. Springer Berlin Heidelberg, 5635, pp.167-177, 2009, Lecture Notes in Computer Science
Accès au bibtex
BibTex

2008

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. Electronic Notes in Theoretical Computer Science, 270, pp.99 – 111, 2011, <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

2006

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. Algorithms and Computation 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006. Proceedings, 4288, pp.638 – 649, 2006, Lecture Notes in Computer Science. <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
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

2005

titre
Classically-controlled Quantum Computation
auteur
Simon Perdrix, Philippe Jorrand
article
DCM’05, 2005, Lisbon, Portugal. 135 (3), pp.119 – 128, Electronic Notes in Theoretical Computer Science. <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. 2004, <10.1117/12.620302>
DOI
DOI : 10.1117/12.620302
Accès au bibtex
https://arxiv.org/pdf/quant-ph/0404125 BibTex
titre
Complexity of Graph State Preparation
auteur
Mehdi Mhalla, Simon Perdrix
article
17 pages. 2004
Accès au bibtex
https://arxiv.org/pdf/quant-ph/0412071 BibTex
titre
Measurement-Based Quantum Turing Machines and Questions of Universalities
auteur
Simon Perdrix, Philippe Jorrand
article
12 pages, 9 figures. 2004
Accès au bibtex
https://arxiv.org/pdf/quant-ph/0402156 BibTex
titre
Measurement-Based Quantum Turing Machines and their Universality
auteur
Simon Perdrix, Philippe Jorrand
article
13 pages, based upon quant-ph/0402156 with significant improvements. 2004
Accès au bibtex
https://arxiv.org/pdf/quant-ph/0404146 BibTex