Pablo Arrighi Senior Researcher at Inria

Identifiants chercheurs

IdHAL :

pablo-arrighi

ORCID :

0000-0002-3535-1009

arXiv :

arrighi_p_1

Publications

Pré-publication, Document de travail (19)

Space-time reversible graph rewriting Pablo Arrighi,Marin Costes,Luidnel Maignan 2025 Pré-publication, Document de travail hal-05322811v1
Causal decompositions of one-dimensional quantum cellular automata Augustin Vanrietvelde,Octave Mestoudjian,Pablo Arrighi 2025 Pré-publication, Document de travail hal-05236387v1
A self-contained proof of the Artin-Wedderburn theorem in the case of finite-dimensional Von Neumann algebras Octave Mestoudjian,Pablo Arrighi 2025 Pré-publication, Document de travail (preprint/prepublication) hal-05322804v1
Partitions in quantum theory Augustin Vanrietvelde,Octave Mestoudjian,Pablo Arrighi 2025 Pré-publication, Document de travail hal-05236379v1
Fermion Doubling in Quantum Cellular Automata Dogukan Bakircioglu,Pablo Arnault,Pablo Arrighi 2025 Pré-publication, Document de travail hal-05236492v1
A typology of quantum algorithms Pablo Arnault,Pablo Arrighi,Steven Herbert,Evi Kasnetsi,Tianyi Li 2025 Pré-publication, Document de travail (preprint/prepublication) hal-05322802v1
On quantum superpositions of graphs, no-signalling and covariance Pablo Arrighi,Marios Christodoulou,Amélia Durbec 2020 Pré-publication, Document de travail hal-02999569v1
Non-abelian Gauge-Invariant Cellular Automata Pablo Arrighi,Giuseppe Di Molfetta,Nathanaël Eon 2024 Pré-publication, Document de travail hal-02303064v1
Reversibility vs local creation/destruction Pablo Arrighi,Nicolas Durbec,Aurélien Emmanuel 2018 Pré-publication, Document de travail hal-01800661v1
Dirac equation as a quantum walk over the honeycomb and triangular lattices Pablo Arrighi,Di Molfetta Giuseppe,Iván Márquez-Martín,Armando Pérez 2023 Pré-publication, Document de travail hal-03594743v1
Quantum walking in curved spacetime Pablo Arrighi,Stefano Facchini,Marcelo Forets 2023 Pré-publication, Document de travail hal-01467254v1
What is the Planck constant the magnitude of? Pablo Arrighi,Gilles Dowek 2016 Pré-publication, Document de travail hal-04063098v2
Stochastic Cellular Automata: Correlations, Decidability and Simulations Pablo Arrighi,Nicolas Schabanel,Guillaume Theyssier 2013 Pré-publication, Document de travail hal-00818306v2
The principle of a finite density of information Pablo Arrighi,Gilles Dowek 2012 Pré-publication, Document de travail hal-04070184v1
Causal graph dynamics Pablo Arrighi,Gilles Dowek 2012 Pré-publication, Document de travail hal-00944505v1
Applying causality principles to the axiomatization of probabilistic cellular automata Pablo Arrighi,Renan Fargetton,Vincent Nesme,Eric Thierry 2011 Pré-publication, Document de travail hal-00944542v1
On the completeness of quantum computation models Pablo Arrighi,Gilles Dowek 2010 Pré-publication, Document de travail hal-00940928v1
A computational definition of the notion of vectorial space Pablo Arrighi,Gilles Dowek 2009 Pré-publication, Document de travail hal-00940931v1
Linear-algebraic lambda-calculus Pablo Arrighi,Gilles Dowek 2005 Pré-publication, Document de travail hal-00010131v1

Communication dans un congrès (25)

QUIDS: A Large-Scale Distributed Framework for Quantum Irregular Dynamics Simulations Joseph Touzet,Oguz Kaya,Pablo Arrighi,Amélia Durbec Q-CASA 2025 - IPDPS Workshop on Quantum Computing Algorithms, Systems, and Applications, Jun 2025, Milan, Italy. pp.491-500, ⟨10.1109/IPDPSW66978.2025.00080⟩ Communication dans un congrès hal-05472605v1
A toy model provably featuring an arrow of time without past hypothesis Pablo Arrighi,Gilles Dowek,Amélia Durbec RC 2024 - 16th International Conference on Reversible Computation, Jul 2024, Torun, Poland. pp.50-68, ⟨10.1007/978-3-031-62076-8_4⟩ Communication dans un congrès hal-04727052v1
Graph Subshifts Pablo Arrighi,Amélia Durbec,Pierre Guillon CiE 2023 - 19th Conference on Computability in Europe, Jul 2023, Batumi, Georgia. pp.261-274, ⟨10.1007/978-3-031-36978-0_21⟩ Communication dans un congrès hal-04310695v1
Universal gauge-invariant cellular automata Pablo Arrighi,Marin Costes,Nathanaël Eon 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Aug 2021, Talinn, Estonia. pp.1-14, ⟨10.4230/LIPIcs.MFCS.2021.9⟩ Communication dans un congrès hal-03937536v1
Graph Subshifts Pablo Arrighi,Amélia Durbec,Pierre Guillon 27th International Workshop on Cellular Automata and Discrete Complex Systems, Jul 2021, Marseille, France. ⟨10.48550/arXiv.2302.07249⟩ Communication dans un congrès hal-03238087v3
A Gauge-Invariant Reversible Cellular Automaton Pablo Arrighi,Giuseppe Di Molfetta,Nathanaël Eon 24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.1-12, ⟨10.1007/978-3-319-92675-9_1⟩ Communication dans un congrès hal-01824869v1
Reversible Causal Graph Dynamics Pablo Arrighi,Simon Martiel,Simon Perdrix Reversible Computation, Jul 2016, Bologna, Italy. pp.73-88, ⟨10.1007/978-3-319-40578-0_5⟩ Communication dans un congrès hal-01361427v1
Discrete Geodesics and Cellular Automata Pablo Arrighi,Gilles Dowek Theory and Practice of Natural Computing, Dec 2015, Mieres, Spain. ⟨10.1007/978-3-319-26841-5_11⟩ Communication dans un congrès hal-01252131v1
Block Representation of Reversible Causal Graph Dynamics Pablo Arrighi,Simon Martiel,Simon Perdrix 20th International Symposium on Fundamentals of Computation Theory, Aug 2015, Gdańsk, Poland. pp.14, ⟨10.1007/978-3-319-22177-9_27⟩ Communication dans un congrès hal-01249272v1
A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus Pablo Arrighi,Alejandro Díaz-Caro,Benoît Valiron DCM - 7th International Workshop on Developments of Computational Methods - 2011, Jul 2011, Zurich, Swaziland. pp.1-15, ⟨10.4204/EPTCS.88.1⟩ Communication dans un congrès hal-00924926v1
Causal Graph Dynamics Pablo Arrighi,Gilles Dowek ICALP 2012 - 39th International ColloquiumAutomata, Languages, and Programming, Jul 2012, Warwick, United Kingdom. pp.54-66, ⟨10.1007/978-3-642-31585-5_9⟩ Communication dans un congrès hal-00944492v1
Intrinsic Simulations between Stochastic Cellular Automata Pablo Arrighi,Nicolas Schabanel,Guillaume Theyssier 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium, Journées Automates Cellulaires, 2012, France. pp.208-224 Communication dans un congrès hal-00944502v1
Generalized Cayley Graphs and Cellular Automata over them Pablo Arrighi,Simon Martiel,Vincent Nesme GCM, 2012, Bremen, Germany. Local proceedings Communication dans un congrès hal-00944506v1
The physical Church-Turing thesis and the principles of quantum theory Pablo Arrighi,Gilles Dowek QIPC, 2011, Zurich, Switzerland. Local proceedings Communication dans un congrès hal-00944544v1
A simple block representation of reversible cellular automata with time-symmetry Pablo Arrighi,Vincent Nesme 17th International Workshop on Cellular Automata and Discrete Complex Systems, 2011, Santiago, Chile. Local proceedings Communication dans un congrès hal-00944504v1
Measurements and confluence in quantum lambda calculi with explicit qubits Alejandro Díaz-Caro,Pablo Arrighi,Manuel Gadella,Jonathan Grattage QPL/DCM - Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models - 2008, Jul 2008, Reykjavik, Iceland. pp.59-74, ⟨10.1016/j.entcs.2011.01.006⟩ Communication dans un congrès hal-00924875v1
Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic Pablo Arrighi,Alejandro Díaz-Caro QPL 2009 - International Workshop on Quantum Physics and Logic, Apr 2009, Oxford, United Kingdom. pp.219-229, ⟨10.1016/j.entcs.2011.01.033⟩ Communication dans un congrès hal-00924890v1
Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata Pablo Arrighi,Renan Fargetton,Vincent Nesme,Eric Thierry Models of Computation in Context - 7th Conference on Computability in Europe, 2011, Sofia, Bulgaria. pp.1-10 Communication dans un congrès hal-00944532v1
The block neighbourhood Pablo Arrighi,Vincent Nesme Second Symposium on Cellular Automata "Journées Automates Cellulaires", 2010, Turku, Finland. pp.43-53 Communication dans un congrès hal-00945720v1
The Block Neighborhood Pablo Arrighi,Vincent Nesme Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.43-53 Communication dans un congrès hal-00542488v1
On the Completeness of Quantum Computation Models Pablo Arrighi,Gilles Dowek CiE 2010 - 6th Conference on Computability in Europe, Jun 2010, Ponta Delgada, Azores, Portugal. pp.21-30, ⟨10.1007/978-3-642-13962-8_3⟩ Communication dans un congrès hal-00940923v1
Unitarity plus causality implies localizability Pablo Arrighi,Vincent Nesme,Reinhard Werner QIP, 2010, Zurich, Switzerland. Local proceedings Communication dans un congrès hal-00945710v1
A Quantum Game of Life Pablo Arrighi,Jonathan Grattage Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.31-42 Communication dans un congrès hal-00542373v1
A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton Pablo Arrighi,Jonathan Grattage LATA, 2010, Germany. pp.70-81 Communication dans un congrès hal-00940936v1
Quantization of cellular automata Pablo Arrighi,Vincent Nesme JAC 2008, Apr 2008, Uzès, France. pp.204-215 Communication dans un congrès hal-00274002v1

Article dans une revue (34)

Time arrow without past hypothesis: a toy model explanation Pablo Arrighi,Gilles Dowek,Amélia Durbec New Journal of Physics, 2024, 26 (11), pp.113019. ⟨10.1088/1367-2630/ad93f5⟩ Article dans une revue hal-04856924v1
Dirac quantum walk on tetrahedra Ugo Nzongani,Nathanaël Eon,Iván Márquez-Martín,Armando Pérez,Giuseppe Di Molfettaet al. Physical Review Applied, 2024, 110, pp.042418. ⟨10.1103/PhysRevA.110.042418⟩ Article dans une revue hal-04727049v1
Quantum networks theory Pablo Arrighi,Amélia Durbec,Matt Wilson Quantum, 2024, 8 (1508), ⟨10.22331/q-2024-10-23-1508⟩ Article dans une revue hal-04727044v2
Addressable quantum gates Pablo Arrighi,Christopher Cedzich,Marin Costes,Ulysse Rémond,Benoît Valiron ACM Transactions on Quantum Computing, 2023, 4 (3), pp.1-41. ⟨10.1145/3581760⟩ Article dans une revue hal-03936367v1
Gauge-invariance in cellular automata Pablo Arrighi,Giuseppe Di Molfetta,Nathanaël Eon Natural Computing, 2023, 22 (3), pp.587-599. ⟨10.1007/s11047-022-09879-1⟩ Article dans une revue hal-02557738v1
A relativistic discrete spacetime formulation of 3+1 QED Nathanaël Eon,Giuseppe Di Molfetta,Giuseppe Magnifico,Pablo Arrighi Quantum, 2023, 7, pp.1179. ⟨10.22331/q-2023-11-08-1179⟩ Article dans une revue hal-03944082v1
A discrete relativistic spacetime formalism for 1 + 1-QED with continuum limits Kevissen Sellapillay,Pablo Arrighi,Di Molfetta Giuseppe Scientific Reports, 2022, 12 (1), pp.2198. ⟨10.1038/s41598-022-06241-4⟩ Article dans une revue hal-03594721v1
A quantum cellular automaton for one-dimensional QED Pablo Arrighi,Cédric Bény,Terry Farrelly Quantum Information Processing, 2020, 19 (3), pp.88. ⟨10.1007/s11128-019-2555-4⟩ Article dans une revue hal-02088646v1
A quantum walk with both a continuous-time limit and a continuous-spacetime limit Di Molfetta Giuseppe,Pablo Arrighi Quantum Information Processing, 2020, 19 (2), pp.47. ⟨10.1007/s11128-019-2549-2⟩ Article dans une revue hal-03594731v1
Quantum simulation of quantum relativistic diffusion via quantum walks Pablo Arnault,Adrian Macquet,Andreu Anglés-Castillo,Iván Márquez-Martín,Vicente Pina-Canelleset al. Journal of Physics A: Mathematical and Theoretical, 2020, 53 (20), pp.205303. ⟨10.1088/1751-8121/ab8245⟩ Article dans une revue hal-02423717v1
Grover Search as a Naturally Occurring Phenomenon Mathieu Roget,Stéphane Guillet,Pablo Arrighi,Di Molfetta Giuseppe Physical Review Letters, 2020, 124 (18), pp.180501. ⟨10.1103/PhysRevLett.124.180501⟩ Article dans une revue hal-03594726v2
Reversible causal graph dynamics: invertibility, block representation, vertex-preservation Pablo Arrighi,Simon Martiel,Simon Perdrix Natural Computing, 2019, ⟨10.1007/s11047-019-09768-0⟩ Article dans une revue hal-02400095v1
From curved spacetime to spacetime-dependent local unitaries over the honeycomb and triangular Quantum Walks Pablo Arrighi,Giuseppe Di Molfetta,Iván Márquez-Martín,Armando Pérez Sci.Rep., 2019, 9 (1), pp.10904. ⟨10.1038/s41598-019-47535-4⟩ Article dans une revue hal-01965370v1
Discrete-time quantum walks as fermions of lattice gauge theory Pablo Arnault,Armando Pérez,Pablo Arrighi,Terry Farrelly Physical Review A, 2019, 99 (3), pp.032110. ⟨10.1103/PhysRevA.99.032110⟩ Article dans une revue hal-01861936v1
An overview of Quantum Cellular Automata Pablo Arrighi Natural Computing, 2019, 18 (4), pp.885-899. ⟨10.1007/s11047-019-09762-6⟩ Article dans une revue hal-02144313v1
Cellular automata over generalized Cayley graphs Pablo Arrighi,S. Martiel,V. Nesme Mathematical Structures in Computer Science, 2018, 18, pp.340-383 Article dans une revue hal-01785458v1
Quantum walking in curved spacetime: discrete metric Pablo Arrighi,Giuseppe Di Molfetta,Stefano Facchini Quantum, 2018, 2, pp.84. ⟨10.22331/q-2018-08-22-84⟩ Article dans une revue hal-02093395v1
Bounds on the speedup in quantum signaling Pablo Arrighi,Vincent Nesme,Reinhard F. Werner Physical Review A : Atomic, molecular, and optical physics [1990-2015], 2017, 95 (1), pp.012331. ⟨10.1103/PhysRevA.95.012331⟩ Article dans une revue hal-01467252v1
Quantum walking in curved spacetime: (3+1) dimensions, and beyond Pablo Arrighi,F. Facchini Quantum Information & Computation, 2017, 17 (9-10), pp.0810--0824 Article dans une revue hal-01785463v1
The vectorial λ-calculus Pablo Arrighi,Alejandro Díaz-Caro,Benoît Valiron Information and Computation, 2017, 254 (1), pp.105--139. ⟨10.1016/j.ic.2017.04.001⟩ Article dans une revue hal-01785464v1
Quantum Causal Graph Dynamics Pablo Arrighi,Simon Martiel Physical Review D, 2017, 96 (2), pp.024026. ⟨10.1103/PhysRevD.96.024026⟩ Article dans une revue hal-02066350v1
Free fall and cellular automata Pablo Arrighi,Gilles Dowek Electronic Proceedings in Theoretical Computer Science, 2016, 204, pp.1 - 10. ⟨10.4204/EPTCS.204.1⟩ Article dans une revue hal-01421712v1
L’ordinateur quantique pour simuler... la physique quantique Pablo Arrighi,Simon Perdrix La Recherche, 2015 Article dans une revue hal-01260370v1
Stochastic Cellular Automata: Correlations, Decidability and Simulations Pablo Arrighi,Nicolas Schabanel,Guillaume Theyssier Fundamenta Informaticae, 2013, 126 (2-3), pp.121-156. ⟨10.3233/FI-2013-87⟩ Article dans une revue hal-00944466v1
Causal graph dynamics Pablo Arrighi,Gilles Dowek Information and Computation, 2013, 223, pp.78-93. ⟨10.1016/j.ic.2012.10.019⟩ Article dans une revue hal-00944459v1
Lineal: A linear-algebraic lambda-calculus Pablo Arrighi,Gilles Dowek Logical Methods in Computer Science, 2013 Article dans une revue hal-00919625v1
A System F accounting for scalars Pablo Arrighi,Alejandro Díaz-Caro Logical Methods in Computer Science, 2012, 8 (1), pp.11. ⟨10.2168/LMCS-8(1:11)2012⟩ Article dans une revue hal-00924944v1
The Physical Church-Turing Thesis and the Principles of Quantum Theory Pablo Arrighi,Gilles Dowek International Journal of Foundations of Computer Science, 2012, 23 (5), pp.1131-1146. ⟨10.1142/S0129054112500153⟩ Article dans une revue hal-00944482v1
Partitioned quantum cellular automata are intrinsically universal Pablo Arrighi,Jonathan Grattage Natural Computing, 2012, 11 (1), pp.13-22. ⟨10.1007/s11047-011-9277-6⟩ Article dans une revue hal-00944488v1
Intrinsically universal n-dimensional quantum cellular automata Pablo Arrighi,Jonathan Grattage Journal of Computer and System Sciences, 2012, 78 (6), pp.1883-1898. ⟨10.1016/j.jcss.2011.12.008⟩ Article dans une revue hal-00944484v1
One-Dimensional Quantum Cellular Automata Pablo Arrighi,Vincent Nesme,Reinhard F. Werner International Journal of Unconventional Computing, 2011, 7 (4), pp.223-244 Article dans une revue hal-00944522v1
Unitarity plus causality implies localizability Pablo Arrighi,Vincent Nesme,Reinhard F. Werner Journal of Computer and System Sciences, 2011, 77 (2), pp.372-378. ⟨10.1016/j.jcss.2010.05.004⟩ Article dans une revue hal-00944517v1
Intrinsically Universal One-dimensional Quantum Cellular Automata in Two Flavours Pablo Arrighi,Renan Fargetton,Zizhu Wang Fundamenta Informaticae, 2009, 91 (2), pp.197-230 Article dans une revue hal-00589206v1
The Conal representation of Quantum States and Non Trace-Preserving Quantum Operations Pablo Arrighi,Christophe Patricot Physical Review A : Atomic, molecular, and optical physics [1990-2015], 2003, 68, pp.042310 Article dans une revue hal-00944124v1

Proceedings/Recueil des communications (1)

Proceedings 17th International Conference on Quantum Physics and Logic Benoît Valiron,Shane Mansfield,Pablo Arrighi,Prakash Panangaden Electronic Proceedings in Theoretical Computer Science, 340, 2021, ⟨10.4204/EPTCS.340⟩ Proceedings/Recueil des communications hal-03553539v1

Chapitre d'ouvrage (2)

Modèles de calcul quantiques Pablo Arrighi,Simon Perdrix Étienne BAUDRIER Lo\"ic MAZO. Informatique Mathématique - une photographie en 2016, CNRS Editions, 2016 Chapitre d'ouvrage hal-01467253v1
The principle of finite density of information Pablo Arrighi,Gilles Dowek Hector Zenil. Irreducibility and Computational Equivalence, Springer-Verlag, 2013 Chapitre d'ouvrage hal-01002435v1