Pablo Arrighi

80
Documents

Domaines de recherche

Informatique [cs] Physique [physics]

Compétences

Quantum computation Models of computation Rewriting theory Cellular automata Quantum simulation

Publications

Publications

Space-time reversible graph rewriting

Pablo Arrighi , Marin Costes , Luidnel Maignan
2025
Pré-publication, Document de travail hal-05322811 v1
Image document

Causal decompositions of one-dimensional quantum cellular automata

Augustin Vanrietvelde , Octave Mestoudjian , Pablo Arrighi
2025
Pré-publication, Document de travail hal-05236387 v1

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-05322804 v1
Image document

Partitions in quantum theory

Augustin Vanrietvelde , Octave Mestoudjian , Pablo Arrighi
2025
Pré-publication, Document de travail hal-05236379 v1

Fermion Doubling in Quantum Cellular Automata

Dogukan Bakircioglu , Pablo Arnault , Pablo Arrighi
2025
Pré-publication, Document de travail hal-05236492 v1

A typology of quantum algorithms

Pablo Arnault , Pablo Arrighi , Steven Herbert , Evi Kasnetsi , Tianyi Li
2025
Pré-publication, Document de travail (preprint/prepublication) hal-05322802 v1

On quantum superpositions of graphs, no-signalling and covariance

Pablo Arrighi , Marios Christodoulou , Amélia Durbec
2020
Pré-publication, Document de travail hal-02999569 v1
Image document

Non-abelian Gauge-Invariant Cellular Automata

Pablo Arrighi , Giuseppe Di Molfetta , Nathanaël Eon
2024
Pré-publication, Document de travail hal-02303064 v1
Image document

Reversibility vs local creation/destruction

Pablo Arrighi , Nicolas Durbec , Aurélien Emmanuel
2018
Pré-publication, Document de travail hal-01800661 v1
Image document

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-03594743 v1
Image document

Quantum walking in curved spacetime

Pablo Arrighi , Stefano Facchini , Marcelo Forets
2023
Pré-publication, Document de travail hal-01467254 v1
Image document

What is the Planck constant the magnitude of?

Pablo Arrighi , Gilles Dowek
2016
Pré-publication, Document de travail hal-04063098 v2
Image document

Stochastic Cellular Automata: Correlations, Decidability and Simulations

Pablo Arrighi , Nicolas Schabanel , Guillaume Theyssier
2013
Pré-publication, Document de travail hal-00818306 v2
Image document

The principle of a finite density of information

Pablo Arrighi , Gilles Dowek
2012
Pré-publication, Document de travail hal-04070184 v1

Causal graph dynamics

Pablo Arrighi , Gilles Dowek
2012
Pré-publication, Document de travail hal-00944505 v1

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-00944542 v1

On the completeness of quantum computation models

Pablo Arrighi , Gilles Dowek
2010
Pré-publication, Document de travail hal-00940928 v1

A computational definition of the notion of vectorial space

Pablo Arrighi , Gilles Dowek
2009
Pré-publication, Document de travail hal-00940931 v1

Linear-algebraic lambda-calculus

Pablo Arrighi , Gilles Dowek
2005
Pré-publication, Document de travail hal-00010131 v1
Image document

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-04856924 v1
Image document

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-04727049 v1
Image document

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-04727044 v2
Image document

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-03936367 v1

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-02557738 v1
Image document

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-03944082 v1
Image document

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-03594721 v1

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-02423717 v1

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-03594731 v1
Image document

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-02088646 v1
Image document

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-03594726 v2

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-02400095 v1
Image document

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-01965370 v1
Image document

Discrete-time quantum walks as fermions of lattice gauge theory

Pablo Arnault , Armando Pérez , Pablo Arrighi , Terry Farrelly
Phys.Rev.A, 2019, 99 (3), pp.032110. ⟨10.1103/PhysRevA.99.032110⟩
Article dans une revue hal-01861936 v1

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-02144313 v1
Image document

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-01785458 v1
Image document

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-02093395 v1
Image document

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-01785463 v1
Image document

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-01467252 v1
Image document

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-01785464 v1
Image document

Quantum Causal Graph Dynamics

Pablo Arrighi , Simon Martiel
Phys.Rev.D, 2017, 96 (2), pp.024026. ⟨10.1103/PhysRevD.96.024026⟩
Article dans une revue hal-02066350 v1
Image document

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-01421712 v1

L’ordinateur quantique pour simuler... la physique quantique

Pablo Arrighi , Simon Perdrix
La Recherche, 2015
Article dans une revue hal-01260370 v1

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-00944466 v1

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-00944459 v1
Image document

Lineal: A linear-algebraic lambda-calculus

Pablo Arrighi , Gilles Dowek
Logical Methods in Computer Science, 2013
Article dans une revue hal-00919625 v1

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-00944484 v1

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-00924944 v1

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-00944482 v1

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-00944488 v1

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-00944522 v1

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-00944517 v1

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-00589206 v1
Image document

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-00944124 v1
Image document

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-04727052 v1
Image document

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-04310695 v1

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-03937536 v1
Image document

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-03238087 v3
Image document

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-01824869 v1

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-01361427 v1
Image document

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-01252131 v1

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-01249272 v1

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-00924926 v1

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-00944492 v1

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-00944502 v1

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-00944506 v1

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-00944544 v1

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-00944504 v1

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-00924875 v1

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-00924890 v1

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-00944532 v1

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-00945720 v1
Image document

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-00542488 v1

Unitarity plus causality implies localizability

Pablo Arrighi , Vincent Nesme , Reinhard Werner
QIP, 2010, Zurich, Switzerland. Local proceedings
Communication dans un congrès hal-00945710 v1

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-00940923 v1

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-00940936 v1
Image document

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-00542373 v1
Image document

Quantization of cellular automata

Pablo Arrighi , Vincent Nesme
JAC 2008, Apr 2008, Uzès, France. pp.204-215
Communication dans un congrès hal-00274002 v1

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-01467253 v1

The principle of finite density of information

Pablo Arrighi , Gilles Dowek
Hector Zenil. Irreducibility and Computational Equivalence, Springer-Verlag, 2013
Chapitre d'ouvrage hal-01002435 v1