Pablo Arrighi

Senior Researcher at Inria
81
Documents

Domaines de recherche

Informatique [cs] Physique [physics]

Compétences

Quantum computation Models of computation Rewriting theory Cellular automata Quantum simulation

Publications

Publications

Fermion Doubling in Quantum Cellular Automata

Dogukan Bakircioglu , Pablo Arnault , Pablo Arrighi

2025

Pré-publication, Document de travail hal-05236492v1

Space-time reversible graph rewriting

Pablo Arrighi , Marin Costes , Luidnel Maignan

2025

Pré-publication, Document de travail hal-05322811v1
Deposit thumbnail

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
Deposit thumbnail

Partitions in quantum theory

Augustin Vanrietvelde , Octave Mestoudjian , Pablo Arrighi

2025

Pré-publication, Document de travail hal-05236379v1

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
Deposit thumbnail

Non-abelian Gauge-Invariant Cellular Automata

Pablo Arrighi , Giuseppe Di Molfetta , Nathanaël Eon

2024

Pré-publication, Document de travail hal-02303064v1
Deposit thumbnail

Reversibility vs local creation/destruction

Pablo Arrighi , Nicolas Durbec , Aurélien Emmanuel

2018

Pré-publication, Document de travail hal-01800661v1
Deposit thumbnail

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
Deposit thumbnail

Quantum walking in curved spacetime

Pablo Arrighi , Stefano Facchini , Marcelo Forets

2023

Pré-publication, Document de travail hal-01467254v1
Deposit thumbnail

What is the Planck constant the magnitude of?

Pablo Arrighi , Gilles Dowek

2016

Pré-publication, Document de travail hal-04063098v2
Deposit thumbnail

Stochastic Cellular Automata: Correlations, Decidability and Simulations

Pablo Arrighi , Nicolas Schabanel , Guillaume Theyssier

2013

Pré-publication, Document de travail hal-00818306v2
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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

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

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

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

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

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

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

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

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
Deposit thumbnail

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

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Dirac quantum walk on tetrahedra

Ugo Nzongani , Nathanaël Eon , Iván Márquez-Martín , Armando Pérez , Giuseppe Di Molfetta et al.

Physical Review Applied, 2024, 110, pp.042418. ⟨10.1103/PhysRevA.110.042418⟩

Article dans une revue hal-04727049v1
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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-Canelles et al.

Journal of Physics A: Mathematical and Theoretical, 2020, 53 (20), pp.205303. ⟨10.1088/1751-8121/ab8245⟩

Article dans une revue hal-02423717v1
Deposit thumbnail

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
Deposit thumbnail

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

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Lineal: A linear-algebraic lambda-calculus

Pablo Arrighi , Gilles Dowek

Logical Methods in Computer Science, 2013

Article dans une revue hal-00919625v1

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

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

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

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

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

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

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
Deposit thumbnail

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

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