Publications

2018

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

titre

Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics

auteur

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

article

2018

Accès au texte intégral et bibtex

titre

A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics

auteur

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

article

2018

Accès au texte intégral et 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

titre

Towards a Minimal Stabilizer ZX-calculus

auteur

Miriam Backens, Simon Perdrix, Quanlong Wang

article

13+15 pages. 2017

Accès au 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. 10472, pp.41-55, 2017, Lecture Notes in Computer Science. 〈10.1007/978-3-662-55751-8_5〉

DOI

DOI : 10.1007/978-3-662-55751-8_5

Accès au 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. 2017, 〈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

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

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. 2017

Accès au 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. 2017

Accès au texte intégral et bibtex

2016

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2009

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

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

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

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

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

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

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

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

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

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

titre

Complexity of Graph State Preparation

auteur

Mehdi Mhalla, Simon Perdrix

article

17 pages. 2004

Accès au 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

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