Publications HAL du projet ANR. ANR-22-PETQ-0007

2024

Journal articles

titre
Sparse Quantum State Preparation for Strongly Correlated Systems.
auteur
C. Feniou, O. Adjoua, B. Claudon, J. Zylberman, E. Giner, Jean-Philip Piquemal
article
Journal of Physical Chemistry Letters, 2024, 15 (11), pp.3197-3205. ⟨10.1021/acs.jpclett.3c03159⟩
DOI
DOI : 10.1021/acs.jpclett.3c03159
Accès au bibtex
https://arxiv.org/pdf/2311.03347 BibTex
titre
Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing
auteur
Renaud Vilmart
article
Logical Methods in Computer Science, 2024, 20 (1), ⟨10.46298/LMCS-20(1:20)2024⟩
DOI
DOI : 10.46298/LMCS-20(1:20)2024
Accès au texte intégral et bibtex
https://hal.science/hal-04496100/file/2307.14223.pdf BibTex
titre
Dissipative dynamics of graph-state stabilizers with superconducting qubits
auteur
Liran Shirizly, Grégoire Misguich, Haggai Landa
article
Physical Review Letters, 2024, 132 (1), pp.010601. ⟨10.1103/PhysRevLett.132.010601⟩
DOI
DOI : 10.1103/PhysRevLett.132.010601
Accès au texte intégral et bibtex
https://hal.science/hal-04182241/file/2308.01860v2.pdf BibTex

Conference papers

titre
Quantum Circuit Completeness: Extensions and Simplifications
auteur
Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart
article
International Conference on Computer Science Logic CSL 2024, Feb 2024, Naples, Italy. ⟨10.4230/LIPIcs.CSL.2024.20⟩
DOI
DOI : 10.4230/LIPIcs.CSL.2024.20
Accès au texte intégral et bibtex
https://hal.science/hal-04016498/file/main.pdf BibTex

Preprints, Working Papers, ...

titre
Shortcut to Chemically Accurate Quantum Computing via Density-based Basis-set Correction.
auteur
D. Traore, O. Adjoua, C. Feniou, I.-M. Lygatsika, Y. Maday, E. Posenitskiy, K. Hammernik, A. Peruzzo, J. Toulouse, E. Giner, Jean-Philip Piquemal
article
2024
Accès au bibtex
https://arxiv.org/pdf/2405.11567 BibTex
titre
The power of shallow-depth Toffoli and qudit quantum circuits
auteur
Alex Bredariol Grilo, Elham Kashefi, Damian Markham, Michael de Oliveira
article
2024
Accès au bibtex
https://arxiv.org/pdf/2404.18104 BibTex
titre
Efficient Quantum Circuits for Non-Unitary and Unitary Diagonal Operators with Space-Time-Accuracy trade-offs
auteur
Julien Zylberman, Ugo Nzongani, Andrea Simonetto, Fabrice Debbasch
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04554614/file/2404.02819.pdf BibTex
titre
A Fully Quantum Algorithm for Hydrodynamic Lattice Gas Cellular Automata
auteur
Niccolo Fonio, Giuseppe Di Molfetta, Pierre Sagaut
article
2024
DOI
DOI : 10.48550/arXiv.2310.07362
Accès au texte intégral et bibtex
https://hal.science/hal-04543971/file/2310.07362.pdf BibTex
titre
All graph state verification protocols are composably secure
auteur
Léo Colisson, Damian Markham, Raja Yehia
article
2024
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-04519928/file/2402.01445.pdf BibTex
titre
Quantum speedups for linear programming via interior point methods
auteur
Simon Apers, Sander Gribling
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04292682/file/2311.03215.pdf BibTex
titre
(Quantum) complexity of testing signed graph clusterability
auteur
Kuo-Chin Chen, Simon Apers, Min-Hsiu Hsieh
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04516220/file/2311.10480.pdf BibTex
titre
Non-abelian Gauge-Invariant Cellular Automata
auteur
Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon
article
2024
DOI
DOI : 10.1007/978-3-030-34500-6_15
Accès au texte intégral et bibtex
https://hal.science/hal-02303064/file/1908.01229.pdf BibTex
titre
A feasible and unitary quantum programming language
auteur
Alejandro Díaz-Caro, Emmanuel Hainry, Romain Péchoux, Mário Silva
article
2024
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04266203/file/main.pdf BibTex
titre
Order p quantum Wasserstein distances from couplings
auteur
Emily Beatty, Daniel Stilck França
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04479963/file/2402.16477.pdf BibTex
titre
Quantum walks, the discrete wave equation and Chebyshev polynomials
auteur
Simon Apers, Laurent Miclo
article
2024
DOI
DOI : 10.48550/arXiv.2402.07809
Accès au texte intégral et bibtex
https://hal.science/hal-04455089/file/2402.07809.pdf BibTex
titre
Minimal Equational Theories for Quantum Circuits
auteur
Alexandre Clément, Noé Delorme, Simon Perdrix
article
2024
Accès au bibtex
https://arxiv.org/pdf/2311.07476 BibTex
titre
Adjustable-depth quantum circuit for position-dependent coin operators of discrete-time quantum walks
auteur
Ugo Nzongani, Pablo Arnault
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04396459/file/2304.10460.pdf BibTex
titre
Holey graphs: very large Betti numbers are testable
auteur
Dániel Szabó, Simon Apers
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04516209/file/2401.06109.pdf BibTex

2023

Journal articles

titre
Experimental cheat-sensitive quantum weak coin flipping
auteur
Simon Neves, Verena Yacoub, Ulysse Chabaud, Mathieu Bozzio, Iordanis Kerenidis, Eleni Diamanti
article
Nature Communications, 2023, 14 (1), pp.1855. ⟨10.1038/s41467-023-37566-x⟩
DOI
DOI : 10.1038/s41467-023-37566-x
Accès au bibtex
https://arxiv.org/pdf/2211.03472 BibTex
titre
Quantum reinforcement learning via policy iteration
auteur
El Amine Cherrat, Iordanis Kerenidis, Anupam Prakash
article
Quantum Machine Intelligence, 2023, 5 (2), pp.30. ⟨10.1007/s42484-023-00116-1⟩
DOI
DOI : 10.1007/s42484-023-00116-1
Accès au bibtex
https://arxiv.org/pdf/2203.01889 BibTex
titre
Quantum Deep Hedging
auteur
El Amine Cherrat, Snehal Raj, Iordanis Kerenidis, Abhishek Shekhar, Ben Wood, Jon Dee, Shouvanik Chakrabarti, Richard Chen, Dylan Herman, Shaohan Hu, Pierre Minssen, Ruslan Shaydulin, Yue Sun, Romina Yalovetzky, Marco Pistoia
article
Quantum, 2023, 7, pp.1191. ⟨10.22331/q-2023-11-29-1191⟩
DOI
DOI : 10.22331/q-2023-11-29-1191
Accès au bibtex
https://arxiv.org/pdf/2303.16585 BibTex
titre
A relativistic discrete spacetime formulation of 3+1 QED
auteur
Nathanaël Eon, Giuseppe Di Molfetta, Giuseppe Magnifico, Pablo Arrighi
article
Quantum, 2023, 7, pp.1179. ⟨10.22331/q-2023-11-08-1179⟩
DOI
DOI : 10.22331/q-2023-11-08-1179
Accès au bibtex
https://arxiv.org/pdf/2205.03148 BibTex
titre
Quantum Alphatron: quantum advantage for learning with kernels and noise
auteur
Siyi Yang, Naixu Guo, Miklos Santha, Patrick Rebentrost
article
Quantum, 2023, 7, pp.1174. ⟨10.22331/q-2023-11-08-1174⟩
DOI
DOI : 10.22331/q-2023-11-08-1174
Accès au bibtex
https://arxiv.org/pdf/2108.11670 BibTex
titre
Flow conditions for continuous variable measurement-based quantum computing
auteur
Robert I. Booth, Damian Markham
article
Quantum, 2023, 7, pp.1146. ⟨10.22331/q-2023-10-19-1146⟩
DOI
DOI : 10.22331/q-2023-10-19-1146
Accès au texte intégral et bibtex
https://hal.science/hal-03217062/file/2104.00572.pdf BibTex
titre
Quantum nonlocality in presence of strong measurement dependence
auteur
Ivan Šupić, Jean-Daniel Bancal, Nicolas Brunner
article
Physical Review A, 2023, 108 (4), pp.042207. ⟨10.1103/PhysRevA.108.042207⟩
DOI
DOI : 10.1103/PhysRevA.108.042207
Accès au bibtex
https://arxiv.org/pdf/2209.02337 BibTex
titre
Overlap-ADAPT-VQE: Practical Quantum Chemistry on Quantum Computers via Overlap-Guided Compact Ansätze
auteur
César Feniou, Muhammad Hassan, Diata Traoré, Emmanuel Giner, Yvon Maday, Jean-Philip Piquemal
article
Communications Physics, 2023, 6 (1), pp.192. ⟨10.1038/s42005-023-01312-y⟩
DOI
DOI : 10.1038/s42005-023-01312-y
Accès au bibtex
https://arxiv.org/pdf/2301.10196 BibTex
titre
Observation of universal Hall response in strongly interacting Fermions
auteur
T.-W. Zhou, G. Cappellini, D. Tusi, L. Franchi, J. Parravicini, C. Repellin, S. Greschner, M. Inguscio, T. Giamarchi, M. Filippone, J. Catani, L. Fallani
article
Science, 2023, 381 (6656), pp.427-430. ⟨10.1126/science.add1969⟩
DOI
DOI : 10.1126/science.add1969
Accès au texte intégral et bibtex
https://hal.science/hal-04268521/file/2205.13567.pdf BibTex
titre
Quantum Time–Space Tradeoff for Finding Multiple Collision Pairs
auteur
Yassine Hamoudi, Frédéric Magniez
article
ACM Transactions on Computation Theory, 2023, 15 (1-2), pp.1-22. ⟨10.1145/3589986⟩
DOI
DOI : 10.1145/3589986
Accès au bibtex
https://arxiv.org/pdf/2002.08944 BibTex
titre
Tensor train continuous time solver for quantum impurity models
auteur
A. Erpenbeck, W.-T. Lin, T. Blommel, L. Zhang, S. Iskakov, L. Bernheimer, Y. Núñez-Fernández, G. Cohen, O. Parcollet, X. Waintal, E. Gull
article
Physical Review B, 2023, 107 (24), pp.245135. ⟨10.1103/PhysRevB.107.245135⟩
DOI
DOI : 10.1103/PhysRevB.107.245135
Accès au texte intégral et bibtex
https://hal.science/hal-04145376/file/PhysRevB.107.245135.pdf BibTex
titre
Addressable quantum gates
auteur
Pablo Arrighi, Christopher Cedzich, Marin Costes, Ulysse Rémond, Benoît Valiron
article
ACM Transactions on Quantum Computing, 2023, 4 (3), pp.1-41. ⟨10.1145/3581760⟩
DOI
DOI : 10.1145/3581760
Accès au bibtex
https://arxiv.org/pdf/2109.08050 BibTex
titre
Density-Matrix Renormalization Group Algorithm for Simulating Quantum Circuits with a Finite Fidelity
auteur
Thomas Ayral, Thibaud Louvet, Yiqing Zhou, Cyprien Lambert, E. Miles Stoudenmire, Xavier Waintal
article
PRX Quantum, 2023, 4 (2), pp.020304. ⟨10.1103/PRXQuantum.4.020304⟩
DOI
DOI : 10.1103/PRXQuantum.4.020304
Accès au bibtex
https://arxiv.org/pdf/2207.05612 BibTex
titre
On new PageRank computation methods using quantum computing
auteur
Théodore Chapuis-Chkaiban, Zeno Toffano, Benoît Valiron
article
Quantum Information Processing, 2023, 22 (3), pp.138. ⟨10.1007/s11128-023-03856-y⟩
DOI
DOI : 10.1007/s11128-023-03856-y
Accès au bibtex
BibTex
titre
Outcome determinism in measurement-based quantum computation with qudits
auteur
Robert I. Booth, Aleks Kissinger, Damian Markham, Clément Meignant, Simon Perdrix
article
Journal of Physics A: Mathematical and Theoretical, 2023, 56 (11), pp.115303. ⟨10.1088/1751-8121/acbace⟩
DOI
DOI : 10.1088/1751-8121/acbace
Accès au bibtex
https://arxiv.org/pdf/2109.13810 BibTex
titre
Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing
auteur
Nicolas Heurtel, Andreas Fyrillas, Grégoire De Gliniasty, Raphaël Le Bihan, Sébastien Malherbe, Marceau Pailhas, Eric Bertasi, Boris Bourdoncle, Pierre-Emmanuel Emeriau, Rawad Mezher, Luka Music, Nadia Belabas, Benoît Valiron, Pascale Senellart, Shane Mansfield, Jean Senellart
article
Quantum, 2023, 7, pp.931. ⟨10.22331/q-2023-02-21-931⟩
DOI
DOI : 10.22331/q-2023-02-21-931
Accès au texte intégral et bibtex
https://hal.science/hal-03874624/file/q-2023-02-21-931.pdf BibTex
titre
Optimal Hadamard gate count for Clifford+T synthesis of Pauli rotations sequences
auteur
Vivien Vandaele, Simon Martiel, Simon Perdrix, Christophe Vuillot
article
ACM Transactions on Quantum Computing, 2023, ⟨10.1145/3639062⟩
DOI
DOI : 10.1145/3639062
Accès au texte intégral et bibtex
https://hal.science/hal-03991154/file/main.pdf BibTex
titre
Approximate Pythagoras numbers on ⁎-algebras over C
auteur
Paria Abbasi, Sander Gribling, Andreas Klingler, Tim Netzer
article
Journal of Complexity, 2023, 74, pp.101698. ⟨10.1016/j.jco.2022.101698⟩
DOI
DOI : 10.1016/j.jco.2022.101698
Accès au bibtex
https://arxiv.org/pdf/2109.04772 BibTex
titre
Self-testing nonlocality without entanglement
auteur
Ivan Šupić, Nicolas Brunner
article
Phys.Rev.A, 2023, 107 (6), pp.062220. ⟨10.1103/PhysRevA.107.062220⟩
DOI
DOI : 10.1103/PhysRevA.107.062220
Accès au bibtex
https://arxiv.org/pdf/2203.13171 BibTex
titre
Characterization of a Driven Two-Level Quantum System by Supervised Learning
auteur
Raphael Couturier, Etienne Dionis, Stéphane Guérin, Christophe Guyeux, Dominique Sugny
article
Entropy, 2023, 25 (3), pp.446 (15)
Accès au bibtex
BibTex
titre
Nonlocal correlations in noisy multiqubit systems simulated using matrix product operators
auteur
Haggai Landa, Grégoire Misguich
article
SciPost Physics Core, 2023, 6 (2), pp.037. ⟨10.21468/SciPostPhysCore.6.2.037⟩
DOI
DOI : 10.21468/SciPostPhysCore.6.2.037
Accès au texte intégral et bibtex
https://hal.science/hal-03621347/file/SciPostPhysCore_6_2_037.pdf BibTex
titre
Optimality conditions for spatial search with multiple marked vertices
auteur
Mathieu Roget, Hachem Kadri, Giuseppe Di Molfetta
article
Physical Review Research, 2023, 5 (3), pp.033021. ⟨10.1103/PhysRevResearch.5.033021⟩
DOI
DOI : 10.1103/PhysRevResearch.5.033021
Accès au texte intégral et bibtex
https://hal.science/hal-04523921/file/PhysRevResearch.5.033021.pdf BibTex

Conference papers

titre
zk-SNARKs from Codes with Rank Metrics
auteur
Xuan-Thanh Do, Dang-Truong Mac, Quoc-Huy Vu
article
19th IMA International Conference on Cryptography and Coding, Dec 2023, London, United Kingdom
Accès au texte intégral et bibtex
https://hal.science/hal-04212679/file/main.pdf BibTex
titre
Public-Key Encryption with Quantum Keys
auteur
Khashayar Barooti, Alex Bredariol Grilo, Loïs Huguenin-Dumittan, Giulio Malavolta, Or Sattath, Quoc-Huy Vu, Michael Walter
article
Theory of Cryptography - 21st International Conference, {TCC} 2023, Taipei, Taiwan, November 29 - December 2, 2023, Proceedings, Part {IV}, Nov 2023, Taipei (Taiwan), Taiwan. pp.198-227, ⟨10.1007/978-3-031-48624-1_8⟩
DOI
DOI : 10.1007/978-3-031-48624-1_8
Accès au bibtex
https://arxiv.org/pdf/2306.07698 BibTex
titre
Semi-Quantum Copy-Protection and More
auteur
Céline Chevalier, Paul Hermouet, Quoc-Huy Vu
article
TCC 2023, Nov 2023, Taipei, Taiwan
Accès au texte intégral et bibtex
https://hal.science/hal-04205482/file/main.pdf BibTex
titre
Improving social welfare in non-cooperative games with different types of quantum resources
auteur
Alastair A. Abbott, Mehdi Mhalla, Pierre Pocreau
article
CEQIP 2023 - 18th Central European Quantum Information Processing Workshop, Sep 2023, Smolenice, Slovakia. pp.1-27, ⟨10.48550/arXiv.2211.01687⟩
DOI
DOI : 10.48550/arXiv.2211.01687
Accès au bibtex
https://arxiv.org/pdf/2211.01687 BibTex
titre
Quantum Query Complexity of Boolean Functions under Indefinite Causal Order
auteur
Alastair A. Abbott, Mehdi Mhalla, Pierre Pocreau
article
QPL2023, Jul 2023, Paris, France. ⟨10.48550/arXiv.2307.10285⟩
DOI
DOI : 10.48550/arXiv.2307.10285
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04169582/file/2307.10285.pdf BibTex
titre
Compositionality of planar perfect matchings
auteur
Titouan Carette, Etienne Moutot, Thomas Perez, Renaud Vilmart
article
50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), Jul 2023, Paderborn, Germany. pp.120:1--120:17, ⟨10.4230/LIPIcs.ICALP.2023.120⟩
DOI
DOI : 10.4230/LIPIcs.ICALP.2023.120
Accès au texte intégral et bibtex
https://hal.science/hal-04002282/file/Compositionality%20of%20planar%20perfect%20matchings.pdf BibTex
titre
Optimal Hadamard gate count for Clifford+T synthesis of Pauli rotations sequences
auteur
Vivien Vandaele, Simon Martiel, Simon Perdrix, Christophe Vuillot
article
TQC 2023: 18th Theory of Quantum Computation, Communication and Cryptography, Jul 2023, Aveiro, Portugal
Accès au bibtex
BibTex
titre
The Cartesian Closed Bicategory of Thin Spans of Groupoids
auteur
Pierre Clairambault, Simon Forest
article
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175754⟩
DOI
DOI : 10.1109/LICS56636.2023.10175754
Accès au texte intégral et bibtex
https://hal.science/hal-04244640/file/main.pdf BibTex
titre
A Complete Equational Theory for Quantum Circuits
auteur
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
article
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175801⟩
DOI
DOI : 10.1109/LICS56636.2023.10175801
Accès au texte intégral et bibtex
https://hal.science/hal-03926757/file/2206.10577.pdf BibTex
titre
A note on the computational complexity of the moment-SOS hierarchy for polynomial optimization
auteur
Sander Gribling, Sven Polak, Lucas Slot
article
ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, Jun 2023, Tromsø, Norway. pp.280-288, ⟨10.1145/3597066.3597075⟩
DOI
DOI : 10.1145/3597066.3597075
Accès au bibtex
https://arxiv.org/pdf/2305.14944 BibTex
titre
Disclosing Quantum Contextuality: A Geometric Approach to N-Qubit Configurations
auteur
Axel Muller, Metod Saniga, Alain Giorgetti, Henri de Boutray, Frédéric Holweck
article
Slovenian Conference on Graph Theory, Jun 2023, Kranjska Gora, Slovenia
Accès au bibtex
BibTex
titre
The Communication Complexity of Functions with Large Outputs
auteur
Lila Fontes, Sophie Laplante, Mathieu Laurière, Alexandre Nolin
article
Structural Information and Communication Complexity (SIROCCO 2023), Jun 2023, Alcala de Henares, Spain. pp.427-458, ⟨10.1007/978-3-031-32733-9_19⟩
DOI
DOI : 10.1007/978-3-031-32733-9_19
Accès au bibtex
https://arxiv.org/pdf/2304.00391 BibTex
titre
Décider la contextualité de configurations quantiques avec un solveur SAT
auteur
Axel Muller
article
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2023, Rennes, France
Accès au texte intégral et bibtex
https://hal.science/hal-04390478/file/c23e09eb-87ff-4bba-aec9-83c3b4670535-author.pdf BibTex
titre
On the Power of Threshold-Based Algorithms for Detecting Cycles in the CONGEST Model
auteur
Pierre Fraigniaud, Maël Luce, Ioan Todinca
article
Structural Information and Communication Complexity - 30th International Colloquium, SIROCCO 2023, Jun 2023, Alcalá de Henares, Spain. pp.459-481, ⟨10.1007/978-3-031-32733-9_20⟩
DOI
DOI : 10.1007/978-3-031-32733-9_20
Accès au bibtex
https://arxiv.org/pdf/2304.02360 BibTex
titre
Quantum security of subset cover problems
auteur
Samuel Bouaziz--Ermann, Alex Bredariol Grilo, Damien Vergnaud
article
4th Conference on Information-Theoretic Cryptography (ITC 2023), Jun 2023, Aahrus, Denmark. pp.9:1--9:17, ⟨10.4230/LIPIcs.ITC.2023.9⟩
DOI
DOI : 10.4230/LIPIcs.ITC.2023.9
Accès au bibtex
https://arxiv.org/pdf/2210.15396 BibTex
titre
Complete Graphical Language for Hermiticity-Preserving Superoperators
auteur
Titouan Carette, Timothée Hoffreumon, Émile Larroque, Renaud Vilmart
article
38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2023, Jun 2023, Boston, United States. pp.1-22, ⟨10.1109/LICS56636.2023.10175712⟩
DOI
DOI : 10.1109/LICS56636.2023.10175712
Accès au texte intégral et bibtex
https://hal.science/hal-04001823/file/Complete%20Graphical%20Language%20for%20Hermiticity-Preserving.pdf BibTex
titre
A Strict Constrained Superposition Calculus for Graphs
auteur
Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier
article
FOSSACS 2023: 26th International Conference on Foundations of Software Science and Computation Structures, Apr 2023, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-03978913/file/FOSSACS23_EEMP.pdf BibTex
titre
Finding many Collisions via Reusable Quantum Walks
auteur
Xavier Bonnetain, André Chailloux, André Schrottenloher, Yixin Shen
article
EUROCRYPT 2023 - International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2023, Lyon, France. pp.221-251, ⟨10.1007/978-3-031-30589-4_8⟩
DOI
DOI : 10.1007/978-3-031-30589-4_8
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04261002/file/collision-walk.pdf BibTex
titre
Type-safe Quantum Programming in Idris
auteur
Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev
article
ESOP 2023 - European Symposium on Programming, Apr 2023, Paris, France. pp.507-534, ⟨10.1007/978-3-031-30044-8_19⟩
DOI
DOI : 10.1007/978-3-031-30044-8_19
Accès au bibtex
https://arxiv.org/pdf/2111.10867 BibTex
titre
A programming language characterizing quantum polynomial time
auteur
Emmanuel Hainry, Romain Péchoux, Mário Silva
article
Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27, 2023, Proceedings, Apr 2023, Paris, France. ⟨10.1007/978-3-031-30829-1\_8⟩
DOI
DOI : 10.1007/978-3-031-30829-1\_8
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04190385/file/paper_FBQP_revised.pdf BibTex
titre
A Curry-Howard Correspondence for Linear, Reversible Computation
auteur
Kostia Chardonnet, Alexis Saurin, Benoît Valiron
article
CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic, Bartek Klin and Elaine Pimentel, Feb 2023, Varsovie (Warsaw), Poland. ⟨10.4230/LIPIcs.CSL.2023.13⟩
DOI
DOI : 10.4230/LIPIcs.CSL.2023.13
Accès au texte intégral et bibtex
https://hal.science/hal-04308283/file/main.pdf BibTex
titre
Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic Fragments of Quantum Computation
auteur
Renaud Vilmart
article
CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic, Feb 2023, Warsaw, Poland. pp.36:1--36:17, ⟨10.4230/LIPIcs.CSL.2023.36⟩
DOI
DOI : 10.4230/LIPIcs.CSL.2023.36
Accès au texte intégral et bibtex
https://hal.science/hal-03654438/file/SOP-TH.pdf BibTex
titre
Certificate Games
auteur
Sourav Chakraborty, Anna Gál, Sophie Laplante, Rajat Mittal, Anupa Sunny
article
14th Innovations in Theoretical Computer Science Conference (ITCS 2023), Jan 2023, Cambridge (MA), United States. ⟨10.4230/LIPIcs.ITCS.2023.32⟩
DOI
DOI : 10.4230/LIPIcs.ITCS.2023.32
Accès au bibtex
BibTex

Book sections

titre
Formal Methods for Quantum Algorithms
auteur
Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu
article
Handbook of Formal Analysis and Verification in Cryptography, 1, CRC Press, pp.319-422, 2023, ⟨10.1201/9781003090052-7⟩
DOI
DOI : 10.1201/9781003090052-7
Accès au bibtex
https://arxiv.org/pdf/2109.06493 BibTex

Proceedings

titre
Proceedings 20th International Conference on Quantum Physics and Logic
auteur
Shane Mansfield, Benoît Valiron, Vladimir Zamdzhiev
article
QPL 2023 - Quantum Physics and Logic, Electronic Proceedings in Theoretical Computer Science, 384, 2023, ⟨10.4204/EPTCS.384⟩
DOI
DOI : 10.4204/EPTCS.384
Accès au bibtex
https://arxiv.org/pdf/2308.15489 BibTex

Preprints, Working Papers, ...

titre
Reassessing the advantage of indefinite causal orders for quantum metrology
auteur
Raphaël Mothe, Cyril Branciard, Alastair A. Abbott
article
2023
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04360267/file/2312.12172.pdf BibTex
titre
On the Hardness of Analyzing Quantum Programs Quantitatively
auteur
Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix
article
2023
DOI
DOI : 10.1007/978-3-031-57267-8_2
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04349874/file/synthesis-hal.pdf BibTex
titre
Small k-pairable states
auteur
Nathan Claudet, Mehdi Mhalla, Simon Perdrix
article
2023
Accès au bibtex
https://arxiv.org/pdf/2309.09956 BibTex
titre
Experimental Certification of Quantum Transmission via Bell's Theorem
auteur
Simon Neves, Laura dos Santos Martins, Verena Yacoub, Pascal Lefebvre, Ivan Šupić, Damian Markham, Eleni Diamanti
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04306760/file/2304.09605.pdf BibTex
titre
Corrected Bell and Noncontextuality Inequalities for Realistic Experiments
auteur
Kim Vallée, Pierre-Emmanuel Emeriau, Boris Bourdoncle, Adel Sohbi, Shane Mansfield, Damian Markham
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04271961/file/2310.19383.pdf BibTex
titre
Trainability and Expressivity of Hamming-Weight Preserving Quantum Circuits for Machine Learning
auteur
Léo Monbroussou, Jonas Landman, Alex Bredariol Grilo, Romain Kukla, Elham Kashefi
article
2023
Accès au bibtex
https://arxiv.org/pdf/2309.15547 BibTex
titre
Leveraging Analog Quantum Computing with Neutral Atoms for Solvent Configuration Prediction in Drug Discovery
auteur
M. D’arcangelo, D. Loco, Team Fresnel, Nicolaï Gouraud, S. Angebault, J. Sueiro, P. Monmarché, J. Forêt, L.-P. Henry, L Henriet, Jean-Philip J.-P.
article
2023
DOI
DOI : 10.48550/arXiv.2309.12129
Accès au bibtex
https://arxiv.org/pdf/2309.12129 BibTex
titre
Dirac equation as a quantum walk over the honeycomb and triangular lattices
auteur
Pablo Arrighi, Di Molfetta Giuseppe, Iván Márquez-Martín, Armando Pérez
article
2023
DOI
DOI : 10.1103/PhysRevA.97.062111
Accès au texte intégral et bibtex
https://amu.hal.science/hal-03594743/file/1803.01015.pdf BibTex
titre
Network-Device-Independent Certification of Causal Nonseparability
auteur
Hippolyte Dourdent, Alastair A. Abbott, Ivan Šupić, Cyril Branciard
article
2023
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04193227/file/2308.12760.pdf BibTex
titre
A solvable model for graph state decoherence dynamics
auteur
Jérôme Houdayer, Haggai Landa, Grégoire Misguich
article
2023
DOI
DOI : 10.48550/arXiv.2305.17231
Accès au texte intégral et bibtex
https://hal.science/hal-04108514/file/article.pdf BibTex
titre
Encryption with Quantum Public Keys
auteur
Alex Bredariol Grilo, Or Sattath, Quoc-Huy Vu
article
2023
Accès au bibtex
https://arxiv.org/pdf/2303.05368 BibTex
titre
Quantum circuits for discrete-time quantum walks with position-dependent coin operator
auteur
Ugo Nzongani, Julien Zylberman, Carlo-Elia Doncecchi, Armando Pérez, Fabrice Debbasch, Pablo Arnault
article
2023
Accès au bibtex
https://arxiv.org/pdf/2211.05271 BibTex

2022

Journal articles

titre
A single-particle framework for unitary lattice gauge theory in discrete time
auteur
Pablo Arnault, Christopher Cedzich
article
New Journal of Physics, 2022, 24 (12), pp.123031. ⟨10.1088/1367-2630/acac47⟩
DOI
DOI : 10.1088/1367-2630/acac47
Accès au bibtex
https://arxiv.org/pdf/2208.14997 BibTex
titre
Quantum Spatial Search with Electric Potential: Long-Time Dynamics and Robustness to Noise
auteur
Thibault Fredon, Julien Zylberman, Pablo Arnault, Fabrice Debbasch
article
Entropy, 2022, 24 (12), pp.1778. ⟨10.3390/e24121778⟩
DOI
DOI : 10.3390/e24121778
Accès au texte intégral et bibtex
https://hal.science/hal-03938500/file/entropy-24-01778-v3.pdf BibTex
titre
A discrete relativistic spacetime formalism for 1 + 1-QED with continuum limits
auteur
Kevissen Sellapillay, Pablo Arrighi, Di Molfetta Giuseppe
article
Scientific Reports, 2022, 12 (1), pp.2198. ⟨10.1038/s41598-022-06241-4⟩
DOI
DOI : 10.1038/s41598-022-06241-4
Accès au texte intégral et bibtex
https://amu.hal.science/hal-03594721/file/41598_2022_Article_6241.pdf BibTex
titre
Semantics of quantum programming languages: Classical control, quantum control
auteur
Benoît Valiron
article
Journal of Logical and Algebraic Methods in Programming, 2022, 128, pp.100790. ⟨10.1016/j.jlamp.2022.100790⟩
DOI
DOI : 10.1016/j.jlamp.2022.100790
Accès au bibtex
BibTex
titre
Clifford algebra from quantum automata and unitary Wilson fermions
auteur
Pablo Arnault
article
Physical Review A, 2022, 106, pp.012201. ⟨10.1103/PhysRevA.106.012201⟩
DOI
DOI : 10.1103/PhysRevA.106.012201
Accès au texte intégral et bibtex
https://hal.science/hal-03577279/file/2105.12314.pdf BibTex
titre
Strong Simulation of Linear Optical Processes
auteur
Nicolas Heurtel, Shane Mansfield, Jean Senellart, Benoît Valiron
article
Computer Physics Communications, 2022, 291, pp.108848. ⟨10.1016/j.cpc.2023.108848⟩
DOI
DOI : 10.1016/j.cpc.2023.108848
Accès au bibtex
https://arxiv.org/pdf/2206.10549 BibTex
titre
Three-qubit-embedded split Cayley hexagon is contextuality sensitive
auteur
Frédéric Holweck, Henri de Boutray, Metod Saniga
article
Scientific Reports, 2022, 12 (1), pp.8915. ⟨10.1038/s41598-022-13079-3⟩
DOI
DOI : 10.1038/s41598-022-13079-3
Accès au texte intégral et bibtex
https://hal.science/hal-04275546/file/2202.00726.pdf BibTex
titre
Multi-qubit doilies: Enumeration for all ranks and classification for ranks four and five
auteur
Axel Muller, Metod Saniga, Alain Giorgetti, Henri de Boutray, Frédéric Holweck
article
Journal of computational science, 2022, 64, pp.101853 (18). ⟨10.1016/j.jocs.2022.101853⟩
DOI
DOI : 10.1016/j.jocs.2022.101853
Accès au texte intégral et bibtex
https://hal.science/hal-03874438/file/3df7600c-0e13-44c4-a430-e9f9d251aa58-author.pdf BibTex
titre
Learning Feynman Diagrams with Tensor Trains
auteur
Yuriel Nunez-Fernandez, Matthieu Jeannin, Philipp T. Dumitrescu, Thomas Kloss, Jason Kaye, Olivier Parcollet, Xavier Waintal
article
Physical Review X, 2022, 12 (4), pp.041018. ⟨10.1103/PhysRevX.12.041018⟩
DOI
DOI : 10.1103/PhysRevX.12.041018
Accès au texte intégral et bibtex
https://hal.science/hal-03752036/file/PhysRevX.12.041018.pdf BibTex
titre
Gauge-invariance in cellular automata
auteur
Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon
article
Natural Computing, 2022, ⟨10.1007/s11047-022-09879-1⟩
DOI
DOI : 10.1007/s11047-022-09879-1
Accès au bibtex
https://arxiv.org/pdf/2004.03656 BibTex

Conference papers

titre
Computer-assisted enumeration and classification of multi-qubit doilies
auteur
Axel Muller, Metod Saniga, Alain Giorgetti, Henri de Boutray, Frédéric Holweck
article
Journées Informatique Quantique (JIQ'22), Nov 2022, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-03932840/file/5f6e5254-aef9-4d65-8197-477c327d2009-author%20%281%29.pdf BibTex
titre
Computer-assisted enumeration of finite geometries related to quantum contextuality
auteur
Alain Giorgetti, Axel Muller, Metod Saniga, Henri de Boutray, Frédéric Holweck
article
Journée Mathématiques Appliquées et Sciences Pour l’Ingénieur et du Numérique, Nov 2022, Besançon, France
Accès au bibtex
BibTex
titre
LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits
auteur
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
article
MFCS 2022 - 47th International Symposium on Mathematical Foundations of Computer Science, Aug 2022, Vienna, Austria. pp.35:1--35:16, ⟨10.4230/LIPIcs.MFCS.2022.35⟩
DOI
DOI : 10.4230/LIPIcs.MFCS.2022.35
Accès au bibtex
https://arxiv.org/pdf/2204.11787 BibTex
titre
Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-Calculus
auteur
Alexandre Clément, Simon Perdrix
article
MFCS 2022 - 47th International Symposium on Mathematical Foundations of Computer Science, Aug 2022, Vienne, Austria. ⟨10.4230/LIPIcs.MFCS.2022.36⟩
DOI
DOI : 10.4230/LIPIcs.MFCS.2022.36
Accès au bibtex
https://arxiv.org/pdf/2202.05260 BibTex
titre
Addition and Differentiation of ZX-Diagrams
auteur
Emmanuel Jeandel, Simon Perdrix, Margarita Veshchezerova
article
7th International Conference on Formal Structures for > Computation and Deduction (FSCD 2022), Aug 2022, Haifa (Israël), France. ⟨10.4230/LIPIcs.FSCD.2022.13⟩
DOI
DOI : 10.4230/LIPIcs.FSCD.2022.13
Accès au bibtex
BibTex
titre
Quantum Expectation Transformers for Cost Analysis
auteur
Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix, Vladimir Zamdzhiev
article
Symposium on Logic In Computer Science LICS ’22, Aug 2022, Haifa, Israel
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03540366/file/AVGQ.pdf BibTex

Preprints, Working Papers, ...

titre
Characterising Determinism in MBQCs involving Pauli Measurements
auteur
Mehdi Mhalla, Simon Perdrix, Luc Sanselme
article
2022
DOI
DOI : 10.48550/arXiv.2207.09368
Accès au bibtex
https://arxiv.org/pdf/2207.09368 BibTex

2021

Journal articles

titre
Taxonomy of Polar Subspaces of Multi-Qubit Symplectic Polar Spaces of Small Rank
auteur
Metod Saniga, Henri de Boutray, Frédéric Holweck, Alain Giorgetti
article
Mathematics , 2021, 9 (18), pp.2272 (18). ⟨10.3390/math9182272⟩
DOI
DOI : 10.3390/math9182272
Accès au texte intégral et bibtex
https://hal.science/hal-03551957/file/d3c89e51-c1ea-497d-85f7-1205e94113a1-author.pdf BibTex