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

2025

Article dans une revue

titre
The Round Complexity of Proofs in the Bounded Quantum Storage Model
auteur
Alex Grilo, Philippe Lamontagne
article
IACR Communications in Cryptology, 2025, 2 (1), ⟨10.62056/a6n56c0kr⟩
DOI
DOI : 10.62056/a6n56c0kr
Accès au bibtex
https://arxiv.org/pdf/2405.18275 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
ACM Transactions on Quantum Computing, 2025, ⟨10.1145/3718348⟩
DOI
DOI : 10.1145/3718348
Accès au texte intégral et bibtex
https://hal.science/hal-04554614/file/2404.02819.pdf BibTex
titre
Non-Iterative Disentangled Unitary Coupled-Cluster based on Lie-algebraic structure
auteur
Mohammad Haidar, Olivier Adjoua, Siwar Badreddine, Alberto Peruzzo, Jean-Philip Piquemal
article
Quantum Science and Technology, 2025, ⟨10.1088/2058-9565/adb3c5⟩
DOI
DOI : 10.1088/2058-9565/adb3c5
Accès au bibtex
https://arxiv.org/pdf/2408.14289 BibTex
titre
Integration in Cones
auteur
Thomas Ehrhard, Guillaume Geoffroy
article
Logical Methods in Computer Science, 2025, 21 (1)
Accès au texte intégral et bibtex
https://hal.science/hal-03883861/file/cones.pdf BibTex
titre
Testing the Wineland Criterion with Finite Statistics
auteur
E.S Carrera, Y Zhang, J-D Bancal, N Sangouard
article
Phys.Rev.Lett., 2025, 134 (22), pp.220802. ⟨10.1103/5svm-skxk⟩
DOI
DOI : 10.1103/5svm-skxk
Accès au bibtex
https://arxiv.org/pdf/2410.23741 BibTex
titre
Subspace preserving quantum convolutional neural network architectures
auteur
Léo Monbroussou, Jonas Landman, Letao Wang, Alex Grilo, Elham Kashefi
article
Quantum Science and Technology, In press, ⟨10.1088/2058-9565/adbf43⟩
DOI
DOI : 10.1088/2058-9565/adbf43
Accès au bibtex
https://arxiv.org/pdf/2409.18918 BibTex
titre
Coherent Taylor expansion as a bimonad
auteur
Thomas Ehrhard, Aymeric Walch
article
Mathematical Structures in Computer Science, In press
Accès au texte intégral et bibtex
https://hal.science/hal-04225534/file/main.pdf BibTex

Communication dans un congrès

titre
Combining quantum and classical control: syntax, semantics and adequacy
auteur
Kinnari Dave, Louis Lemonnier, Romain Péchoux, Vladimir Zamdzhiev
article
FoSSaCS 2025 - 28th International Conference on Foundations of Software Science and Computation Structures, May 2025, Hamilton, Canada. pp.155-175, ⟨10.1007/978-3-031-90897-2_8⟩
DOI
DOI : 10.1007/978-3-031-90897-2_8
Accès au texte intégral et bibtex
https://hal.science/hal-05093249/file/combining-control-fossacs.pdf BibTex
titre
Local equivalence of stabilizer states: a graphical characterisation
auteur
Nathan Claudet, Simon Perdrix
article
STACS: 42nd International Symposium on Theoretical Aspects of Computer Science, Mar 2025, Jena, Germany
Accès au bibtex
https://arxiv.org/pdf/2409.20183 BibTex
titre
Optimal Fidelity Estimation from Binary Measurements for Discrete and Continuous Variable Systems
auteur
Omar Fawzi, Aadil Oufkir, Robert Salzmann
article
QIP 2025 - 28th International conference on Quantum Information Processing, Feb 2025, Raleigh (NC), United States. pp.1-48
Accès au texte intégral et bibtex
https://hal.science/hal-04840385/file/2409.04189v1.pdf BibTex
titre
A Rewriting Theory for Quantum λ-Calculus
auteur
Claudia Faggian, Gaetan Lopez, Benoît Valiron
article
CSL 2025 - 33rd EACSL Annual Conference on Computer Science Logic, Feb 2025, Amsterdam, Netherlands. pp.47:1--47:22, ⟨10.4230/LIPICS.CSL.2025.47⟩
DOI
DOI : 10.4230/LIPICS.CSL.2025.47
Accès au texte intégral et bibtex
https://hal.science/hal-05006039/file/LIPIcs.CSL.2025.47.pdf BibTex

Proceedings/Recueil des communications

titre
Towards a Computational Quantum Logic
auteur
Alejandro Díaz-Caro
article
21st Conference on Computability in Europe, CiE 2025, Jul 2025, Lisbon, Portugal. Lecture Notes in Computer Science, 15764, Springer Nature Switzerland, pp.34-46, 2025, Lecture Notes in Computer Science, 978-3-031-95907-3. ⟨10.1007/978-3-031-95908-0_3⟩
DOI
DOI : 10.1007/978-3-031-95908-0_3
Accès au bibtex
https://arxiv.org/pdf/2504.07609 BibTex

Pré-publication, Document de travail

titre
A complexity theory for non-local quantum computation
auteur
Andreas Bluhm, Simon Höfer, Alex May, Mikka Stasiuk, Philip Verduyn Lunel, Henry Yuen
article
2025
DOI
DOI : 10.48550/arXiv.2505.23893
Accès au texte intégral et bibtex
https://hal.science/hal-05095776/file/2505.23893v1.pdf BibTex
titre
TensorMixedStates: Une bibliothèque Julia pour simuler des états quantiques purs et mixtes avec des états produits de matrices
auteur
Jérôme Houdayer, Grégoire Misguich
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-04945872/file/article_first_submission_16_05_2025.pdf BibTex
titre
Time-Space Tradeoffs in Searching for a Path in Welded Trees, Classically or Quantumly
auteur
Yvan Le Borgne, Shrinidhi Teganahally Sridhara
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-04685710/file/welded-trees-leborgne-tegally.pdf BibTex
titre
New perspectives on Density-Matrix Embedding Theory
auteur
Alicia Negre, Fabian Faulstich, Raehyun Kim, Thomas Ayral, Lin Lin, Éric Cancès
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-05007829/file/dmet.pdf BibTex
titre
Resolving space-time structures of quantum impurities with a numerically exact few-body algorithm
auteur
Yuriel Núñez-Fernández, Maxime Debertolis, Serge Florens
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-05004383/file/2503.13706v1.pdf BibTex
titre
A classical proof of quantum knowledge for multi-prover interactive proof systems
auteur
Anne Broadbent, Alex B. Grilo, Nagisa Hara, Arthur Mehta
article
2025
Accès au bibtex
https://arxiv.org/pdf/2503.13699 BibTex
titre
Noisy-enhanced quantum search on complex networks
auteur
Ugo Nzongani, Andrea Simonetto, Giuseppe Di Molfetta
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-04980488/file/2503.01762v1.pdf BibTex
titre
The Many-Worlds Calculus
auteur
Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
article
2025
DOI
DOI : 10.48550/arXiv.2206.10234
Accès au texte intégral et bibtex
https://hal.science/hal-03654190/file/MW.pdf BibTex
titre
A Curry-Howard Correspondence for Linear, Reversible Computation
auteur
Kostia Chardonnet, Alexis Saurin, Benoît Valiron
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-03747425/file/CH.pdf BibTex
titre
Quantum function secret sharing
auteur
Alex B. Grilo, Ramis Movassagh
article
2025
Accès au bibtex
https://arxiv.org/pdf/2501.18928 BibTex
titre
The standard no-signalling constraints in Bell scenarios are neither sufficient nor necessary for preventing superluminal signalling with general interventions
auteur
Vilasini Venkatesh, Roger Colbeck
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-04913241/file/2311.18465v2.pdf BibTex

2024

Article dans une revue

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
Communications Chemistry, 2024, 7, pp.269. ⟨10.1038/s42004-024-01348-3⟩
DOI
DOI : 10.1038/s42004-024-01348-3
Accès au texte intégral et bibtex
https://hal.science/hal-04579665/file/s42004-024-01348-3.pdf BibTex
titre
Learning properties of quantum states without the IID assumption
auteur
Omar Fawzi, Richard Kueng, Damian Markham, Aadil Oufkir
article
Nature Communications, 2024, 15 (1), pp.9677. ⟨10.1038/s41467-024-53765-6⟩
DOI
DOI : 10.1038/s41467-024-53765-6
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-04803623/file/s41467-024-53765-6.pdf BibTex
titre
Learning properties of quantum states without the IID assumption
auteur
Omar Fawzi, Richard Kueng, Damian Markham, Aadil Oufkir
article
Nature Communications, 2024, 15 (1), pp.9677. ⟨10.1038/s41467-024-53765-6⟩
DOI
DOI : 10.1038/s41467-024-53765-6
Accès au texte intégral et bibtex
https://hal.science/hal-04824975/file/s41467-024-53765-6.pdf BibTex
titre
Network-Device-Independent Certification of Causal Nonseparability
auteur
Hippolyte Dourdent, Alastair A. Abbott, Ivan Šupić, Cyril Branciard
article
Quantum, 2024, 8, pp.1-24. ⟨10.22331/q-2024-10-30-1514⟩
DOI
DOI : 10.22331/q-2024-10-30-1514
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04193227/file/q-2024-10-30-1514.pdf BibTex
titre
Block Cipher Doubling for a Post-Quantum World
auteur
Ritam Bhaumik, André Chailloux, Paul Frixons, Bart Mennink, María Naya-Plasencia
article
IACR Communications in Cryptology, 2024, 1-3 (4), ⟨10.62056/av4fvua5v⟩
DOI
DOI : 10.62056/av4fvua5v
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04328717/file/2022-1342.pdf BibTex
titre
Leveraging Analog Quantum Computing with Neutral Atoms for Solvent Configuration Prediction in Drug Discovery
auteur
M. D’arcangelo, L.-P. Henry, L Henriet, D. Loco, Nicolaï Gouraud, S. Angebault, J. Sueiro, J. Forêt, P. Monmarché, Jean-Philip J.-P.
article
Physical Review Research, 2024, 6 (4), pp.043020. ⟨10.1103/PhysRevResearch.6.043020⟩
DOI
DOI : 10.1103/PhysRevResearch.6.043020
Accès au texte intégral et bibtex
https://hal.science/hal-04214318/file/PhysRevResearch.6.043020.pdf BibTex
titre
Single-Query Quantum Hidden Shift Attacks
auteur
Xavier Bonnetain, André Schrottenloher
article
IACR Transactions on Symmetric Cryptology, 2024, 2024 (3), pp.266-297. ⟨10.46586/tosc.v2024.i3.266-297⟩
DOI
DOI : 10.46586/tosc.v2024.i3.266-297
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04773920/file/main.pdf BibTex
titre
Embedding cyclic information-theoretic structures in acyclic space-times: No-go results for indefinite causality
auteur
V. Vilasini, Renato Renner
article
Physical Review A, 2024, 110 (2), pp.022227. ⟨10.1103/PhysRevA.110.022227⟩
DOI
DOI : 10.1103/PhysRevA.110.022227
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04720652/file/VV%2BRR_PRA.pdf BibTex
titre
Fundamental Limits for Realizing Quantum Processes in Spacetime
auteur
V. Vilasini, Renato Renner
article
Physical Review Letters, 2024, 133 (8), pp.080201. ⟨10.1103/PhysRevLett.133.080201⟩
DOI
DOI : 10.1103/PhysRevLett.133.080201
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04676775/file/2408.13387v1.pdf BibTex
titre
Quantum query complexity of Boolean functions under indefinite causal order
auteur
Alastair A. Abbott, Mehdi Mhalla, Pierre Pocreau
article
Physical Review Research, 2024, 6 (3), pp.L032020. ⟨10.1103/PhysRevResearch.6.L032020⟩
DOI
DOI : 10.1103/PhysRevResearch.6.L032020
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04672768/file/PhysRevResearch.6.L032020.pdf BibTex
titre
Observing the Quantum Mpemba Effect in Quantum Simulations
auteur
Lata Kh. Joshi, Johannes Franke, Aniket Rath, Filiberto Ares, Sara Murciano, Florian Kranzl, Rainer Blatt, Peter Zoller, Benoît Vermersch, Pasquale Calabrese, Christian Roos, Manoj Joshi
article
Physical Review Letters, 2024, 133 (1), pp.010402. ⟨10.1103/PhysRevLett.133.010402⟩
DOI
DOI : 10.1103/PhysRevLett.133.010402
Accès au bibtex
https://arxiv.org/pdf/2401.04270 BibTex
titre
Reassessing the advantage of indefinite causal orders for quantum metrology
auteur
Raphaël Mothe, Cyril Branciard, Alastair A. Abbott
article
Physical Review A, 2024, 109 (6), pp.062435. ⟨10.1103/PhysRevA.109.062435⟩
DOI
DOI : 10.1103/PhysRevA.109.062435
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04360267/file/2312.12172v3.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
Quantum, 2024, 8, pp.1376. ⟨10.22331/q-2024-06-17-1376⟩
DOI
DOI : 10.22331/q-2024-06-17-1376
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03839608/file/q-2024-06-17-1376.pdf BibTex
titre
New and improved bounds on the contextuality degree of multi-qubit configurations
auteur
Axel Muller, Metod Saniga, Alain Giorgetti, Henri de Boutray, Frédéric Holweck
article
Mathematical Structures in Computer Science, 2024, 34 (4), pp.322 -343. ⟨10.1017/S0960129524000057⟩
DOI
DOI : 10.1017/S0960129524000057
Accès au texte intégral et bibtex
https://hal.science/hal-04755721/file/238657c6-127b-4066-8320-f89f38695db1-author.pdf BibTex
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
A solvable model for graph state decoherence dynamics
auteur
Jérôme Houdayer, Haggai Landa, Grégoire Misguich
article
SciPost Physics Core, 2024, 7 (1), pp.009. ⟨10.48550/arXiv.2305.17231⟩
DOI
DOI : 10.48550/arXiv.2305.17231
Accès au texte intégral et bibtex
https://hal.science/hal-04108514/file/SciPostPhysCore_7_1_009.pdf BibTex
titre
Entanglement phase diagrams from partial transpose moments
auteur
Jose Carrasco, Matteo Votto, Vittorio Vitale, Christian Kokail, Antoine Neven, Peter Zoller, Benoît Vermersch, Barbara Kraus
article
Physical Review A, 2024, 109 (1), pp.012422. ⟨10.1103/PhysRevA.109.012422⟩
DOI
DOI : 10.1103/PhysRevA.109.012422
Accès au bibtex
https://arxiv.org/pdf/2212.10181 BibTex
titre
Exponentially tighter bounds on limitations of quantum error mitigation
auteur
Yihui Quek, Daniel Stilck França, Sumeet Khatri, Johannes Jakob Meyer, Jens Eisert
article
Nature Physics, 2024, ⟨10.1038/s41567-024-02536-7⟩
DOI
DOI : 10.1038/s41567-024-02536-7
Accès au texte intégral et bibtex
https://hal.science/hal-03903322/file/s41567-024-02536-7.pdf 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
Chiral spin liquids with projected Gaussian fermionic entangled pair states
auteur
Sen Niu, Jheng-Wei Li, Ji-Yao Chen, Didier Poilblanc
article
Phys.Rev.B, 2024, 109 (8), pp.L081107. ⟨10.1103/PhysRevB.109.L081107⟩
DOI
DOI : 10.1103/PhysRevB.109.L081107
Accès au bibtex
https://arxiv.org/pdf/2306.10457 BibTex
titre
Many-Body Entropies and Entanglement from Polynomially Many Local Measurements
auteur
Benoît Vermersch, Marko Ljubotina, J. Ignacio Cirac, Peter Zoller, Maksym Serbyn, Lorenzo Piroli
article
Physical Review X, 2024, 14 (3), pp.031035. ⟨10.1103/PhysRevX.14.031035⟩
DOI
DOI : 10.1103/PhysRevX.14.031035
Accès au texte intégral et bibtex
https://hal.science/hal-04918172/file/2311.08108v2.pdf BibTex
titre
Enhanced estimation of quantum properties with common randomized measurements
auteur
Benoît Vermersch, Aniket Rath, Bharathan Sundar, Cyril Branciard, John Preskill, Andreas Elben
article
PRX Quantum, 2024, 5 (1), pp.010352. ⟨10.1103/PRXQuantum.5.010352⟩
DOI
DOI : 10.1103/PRXQuantum.5.010352
Accès au bibtex
https://arxiv.org/pdf/2304.12292 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
titre
Quantum networks theory
auteur
Pablo Arrighi, Amélia Durbec, Matt Wilson
article
Quantum, 2024, 8 (1508), ⟨10.22331/q-2024-10-23-1508⟩
DOI
DOI : 10.22331/q-2024-10-23-1508
Accès au texte intégral et bibtex
https://hal.science/hal-04727044/file/2110.10587v3.pdf BibTex

Communication dans un congrès

titre
Hypergraphs of linear systems over the two-element field and quantum contextuality proofs
auteur
Axel Muller, Alain Giorgetti, Metod Saniga, Colm Kelleher
article
Journées Graphes et Algorithmes, Nov 2024, Dijon, France
Accès au bibtex
BibTex
titre
Probing many-body quantum states in large-scale experiments With an upgraded randomized measurements toolbox
auteur
Benoît Vermersch
article
French-Singaporean Quantum Symposia, Nov 2024, Singapore, Singapore
Accès au bibtex
BibTex
titre
Modeling noise in superconducting qubits: experiments on an IBM quantum processor and numerical simulations
auteur
Grégoire Misguich, Liran Shirizly, Haggai Landa
article
Open Quantum Many-Body Physics 2024 (OpenQMB 2024), Andrea De Luca; Jacopo De Nardis; Zala Lenarcic; Marco Schirò, Oct 2024, Orsay, France
Accès au texte intégral et bibtex
https://hal.science/hal-05006591/file/Misguich%20Open%20QMBP%204-10-2024%20web.pdf BibTex
titre
Probing quantum states in large scale experiments with an upgraded randomized measurements toolbox
auteur
Benoît Vermersch
article
OPENQMBP2024 - Many Body Dynamics of Noisy Quantum Platforms, Oct 2024, Orsay, France
Accès au bibtex
BibTex
titre
Non-deterministic, probabilistic, and quantum effects through the lens of event structures
auteur
Benoît Valiron, Marc de Visme, Vitor Fernandes
article
The 22nd Asian Symposium on Programming Languages and Systems, Oct 2024, Kyoto, Japan
Accès au bibtex
BibTex
titre
The Quantum Decoding Problem
auteur
André Chailloux, Jean-Pierre Tillich
article
Theory of Quantum Computation, Communication and Cryptography (TQC 2024), Sep 2024, Okinawa, Japan. pp.14, ⟨10.4230/LIPIcs.TQC.2024.6⟩
DOI
DOI : 10.4230/LIPIcs.TQC.2024.6
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04277154/file/paper.pdf BibTex
titre
(Quantum) complexity of testing signed graph clusterability
auteur
Kuo-Chin Chen, Simon Apers, Min-Hsiu Hsieh
article
Theory of Quantum Computation, Communication and Cryptography (TQC 2024), Sep 2024, Okinawa, Japan. pp.1-16, ⟨10.4230/LIPIcs.TQC.2024.8⟩
DOI
DOI : 10.4230/LIPIcs.TQC.2024.8
Accès au texte intégral et bibtex
https://hal.science/hal-04516220/file/2311.10480.pdf BibTex
titre
Quantum Lattice Enumeration in Limited Depth
auteur
Nina Bindel, Xavier Bonnetain, Marcel Tiepelt, Fernando Virdia
article
Advances in Cryptology – CRYPTO 2024, Aug 2024, Santa Barbara, United States. pp.72-106, ⟨10.1007/978-3-031-68391-6_3⟩
DOI
DOI : 10.1007/978-3-031-68391-6_3
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04827320/file/2023-1423.pdf BibTex
titre
Improving Generic Attacks Using Exceptional Functions
auteur
Xavier Bonnetain, Rachelle Heim Boissier, Gaëtan Leurent, André Schrottenloher
article
CRYPTO 2024 - 44th Annual International Cryptology Conference, Aug 2024, Santa Barbara, United States. pp.105-138, ⟨10.1007/978-3-031-68385-5_4⟩
DOI
DOI : 10.1007/978-3-031-68385-5_4
Accès au bibtex
BibTex
titre
Semantics for a Turing-Complete Reversible Programming Language with Inductive Types
auteur
Kostia Chardonnet, Louis Lemonnier, Benoît Valiron
article
FSCD 2024 - 9th International Conference on Formal Structures for Computation and Deduction, Jul 2024, Tallinn, Estonia. pp.19:1-19:19, ⟨10.4230/LIPIcs.FSCD.2024.19⟩
DOI
DOI : 10.4230/LIPIcs.FSCD.2024.19
Accès au texte intégral et bibtex
https://hal.science/hal-04636603/file/LIPIcs.FSCD.2024.19.pdf BibTex
titre
A Profunctorial Semantics for Quantum Supermaps
auteur
James Hefford, Matt Wilson
article
LICS 2024 - 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2024, Tallinn, Estonia. pp.43, ⟨10.1145/3661814.3662123⟩
DOI
DOI : 10.1145/3661814.3662123
Accès au texte intégral et bibtex
https://hal.science/hal-04720947/file/2402.02997v2.pdf BibTex
titre
Minimal Equational Theories for Quantum Circuits
auteur
Alexandre Clément, Noé Delorme, Simon Perdrix
article
LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2024, Tallinn, Estonia. pp.1-14, ⟨10.1145/3661814.3662088⟩
DOI
DOI : 10.1145/3661814.3662088
Accès au bibtex
https://arxiv.org/pdf/2311.07476 BibTex
titre
Vertex-Minor Universal Graphs for Generating Entangled Quantum Subsystems
auteur
Maxime Cautrès, Nathan Claudet, Mehdi Mhalla, Simon Perdrix, Valentin Savin, Stéphan Thomassé
article
ICALP 2024 51st EATCS International Colloquium on Automata, Languages and Programming, European Association for Theoretical Computer Science (EATCS), Jul 2024, Tallinn, Estonia. ⟨10.4230/LIPIcs.ICALP.2024.36⟩
DOI
DOI : 10.4230/LIPIcs.ICALP.2024.36
Accès au texte intégral et bibtex
https://hal.science/hal-04632835/file/LIPIcs.ICALP.2024.36.pdf BibTex
titre
Covering a Graph with Minimal Local Sets
auteur
Nathan Claudet, Simon Perdrix
article
WG 2024: 50th International Workshop on Graph-Theoretic Concepts in Computer Science, Jun 2024, Gozd Martuljek, Slovenia
Accès au bibtex
https://arxiv.org/pdf/2402.10678 BibTex
titre
Even-Cycle Detection in the Randomized and Quantum CONGEST Model
auteur
Pierre Fraigniaud, Maël Luce, Frédéric Magniez, Ioan Todinca
article
PODC '24: 43rd ACM Symposium on Principles of Distributed Computing, Jun 2024, Nantes France, France. pp.209-219, ⟨10.1145/3662158.3662767⟩
DOI
DOI : 10.1145/3662158.3662767
Accès au bibtex
https://arxiv.org/pdf/2402.12018 BibTex
titre
On the Hardness of Analyzing Quantum Programs Quantitatively
auteur
Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix
article
ESOP 2024 - 33rd European Symposium on Programming, Apr 2024, Luxembourg, Luxembourg. pp.28, ⟨10.1007/978-3-031-57267-8_2⟩
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
Robust universal quantum processors in spin systems via Walsh pulse sequences
auteur
Benoît Vermersch
article
College de France Workshop: Rydberg Atoms and Quantum Simulation, Apr 2024, Paris, France
Accès au bibtex
BibTex
titre
Many-body entropies and entanglement from polynomially-many local measurements
auteur
Benoît Vermersch
article
Joint ICTP-WE Heraeus School and Conference on Frontiers at the Intersection of Quantum Simulation and Machine Learning, Apr 2024, Trieste (Italy), Italy
Accès au bibtex
BibTex
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

Pré-publication, Document de travail

titre
Experimental Sample-Efficient and Device-Independent GHZ State Certification
auteur
Laura dos Santos Martins, Nicolas Laurent-Puig, Ivan Šupić, Damian Markham, Eleni Diamanti
article
2024
Accès au bibtex
https://arxiv.org/pdf/2407.13529 BibTex
titre
Privacy in networks of quantum sensors
auteur
Majid Hassani, Santiago Scheiner, Matteo G. A. Paris, Damian Markham
article
2024
Accès au bibtex
https://arxiv.org/pdf/2408.01711 BibTex
titre
Private and Robust States for Distributed Quantum Sensing
auteur
Luís Bugalho, Majid Hassani, Yasser Omar, Damian Markham
article
2024
Accès au bibtex
https://arxiv.org/pdf/2407.21701 BibTex
titre
Quantum advantage from soft decoders
auteur
André Chailloux, Jean-Pierre Tillich
article
2024
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04903824/file/2411.12553v1.pdf BibTex
titre
An algebraic interpretation of Pauli flow, leading to faster flow-finding algorithms
auteur
Piotr Mitosek, Miriam Backens
article
2024
Accès au bibtex
https://arxiv.org/pdf/2410.23439 BibTex
titre
Dirac quantum walk on tetrahedra
auteur
Ugo Nzongani, Nathanaël Eon, Iván Márquez-Martín, Armando Pérez, Giuseppe Di Molfetta, Pablo Arrighi
article
2024
DOI
DOI : 10.48550/arXiv.2404.09840
Accès au texte intégral et bibtex
https://hal.science/hal-04727049/file/2404.09840v1.pdf BibTex
titre
The Role of piracy in quantum proofs
auteur
Anne Broadbent, Alex B. Grilo, Supartha Podder, Jamie Sikora
article
2024
Accès au bibtex
https://arxiv.org/pdf/2410.02228 BibTex
titre
Multicopy quantum state teleportation with application to storage and retrieval of quantum programs
auteur
Frédéric Grosshans, Michał Horodecki, Mio Murao, Tomasz Młynik, Marco Túlio Quintino, Michał Studziński, Satoshi Yoshida
article
2024
Accès au bibtex
https://arxiv.org/pdf/2409.10393 BibTex
titre
Directed st-connectivity with few paths is in quantum logspace
auteur
Roman Edenhofer, Simon Apers
article
2024
Accès au bibtex
https://arxiv.org/pdf/2408.12473 BibTex
titre
On computing approximate Lewis weights
auteur
Simon Apers, Sander Gribling, Aaron Sidford
article
2024
Accès au bibtex
https://arxiv.org/pdf/2404.02881 BibTex
titre
Complexity of geometrically local stoquastic Hamiltonians
auteur
Asad Raza, Jens Eisert, Alex B. Grilo
article
2024
Accès au bibtex
https://arxiv.org/pdf/2407.15499 BibTex
titre
Bell Nonlocality from Wigner Negativity in Qudit Systems
auteur
Uta Isabella Meyer, Ivan Šupić, Damian Markham, Frédéric Grosshans
article
2024
Accès au bibtex
https://arxiv.org/pdf/2405.14367 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
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
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
Quantum bounds for compiled XOR games and $d$-outcome CHSH games
auteur
Matilde Baroni, Quoc-Huy Vu, Boris Bourdoncle, Eleni Diamanti, Damian Markham, Ivan Šupić
article
2024
Accès au bibtex
https://arxiv.org/pdf/2403.05502 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
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
titre
Characterizing Signalling: Connections between Causal Inference and Space-time Geometry
auteur
Maarten Grothus, V. Vilasini
article
2024
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04720646/file/2403.00916v2.pdf BibTex
titre
A general quantum circuit framework for Extended Wigner's Friend Scenarios: logically and causally consistent reasoning without absolute measurement events
auteur
V Vilasini, Mischa P Woods
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04837301/file/Wigner%27sFriendCircuits.pdf BibTex

2023

Article dans une revue

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
Experimental cheat-sensitive quantum weak coin flipping
auteur
Simon Neves, Verena Yacoub, Ulysse Chabaud, Mathieu Bozzio, Iordanis Kerenidis, Eleni Diamanti
article
Nature Communications, 2023, pp.1855. ⟨10.1038/s41467-023-37566-x⟩
DOI
DOI : 10.1038/s41467-023-37566-x
Accès au texte intégral et bibtex
https://hal.science/hal-03857630/file/main.pdf 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 texte intégral et bibtex
https://hal.science/hal-03944082/file/q-2023-11-08-1179.pdf 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 texte intégral et bibtex
https://hal.science/hal-03955111/file/s42005-023-01312-y.pdf 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 bibtex
https://arxiv.org/pdf/2205.13567 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 texte intégral et bibtex
https://hal.science/hal-03936367/file/2109.08050v2.pdf BibTex
titre
A coherent differential PCF
auteur
Thomas Ehrhard
article
Logical Methods in Computer Science, 2023, Volume 19, Issue 4, ⟨10.46298/lmcs-19(4:7)2023⟩
DOI
DOI : 10.46298/lmcs-19(4:7)2023
Accès au texte intégral et bibtex
https://hal.science/hal-03661536/file/vcohdiff2.pdf 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, Christophe Vuillot, Simon Perdrix
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
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. ⟨10.3390/e25030446⟩
DOI
DOI : 10.3390/e25030446
Accès au texte intégral et bibtex
https://hal.science/hal-04224779/file/entropy-25-00446.pdf BibTex
titre
Self-testing nonlocality without entanglement
auteur
Ivan Šupić, Nicolas Brunner
article
Physical Review 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
Nonlocal correlations in noisy multiqubit systems simulated using matrix product operators
auteur
Haggai Landa, Grégoire Misguich
article
SciPost Phys.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
A Formalization of the CHSH Inequality and Tsirelson’s Upper-bound in Isabelle/HOL
auteur
Mnacho Echenim, Mehdi Mhalla
article
Journal of Automated Reasoning, 2023, 68 (1), pp.2. ⟨10.1007/s10817-023-09689-9⟩
DOI
DOI : 10.1007/s10817-023-09689-9
Accès au texte intégral et bibtex
https://hal.science/hal-04740770/file/2306.12535v1.pdf BibTex
titre
Gauge-invariance in cellular automata
auteur
Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon
article
Natural Comput., 2023, 22 (3), pp.587-599. ⟨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
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

Communication dans un congrès

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
A Walsh functions toolbox for Hamiltonian and gate engineering in dipolar quantum systems
auteur
Benoît Vermersch
article
CATMIN III: Frontiers in Rydberg Physics-From few-body interactions to many-body quantum simulations, Jul 2023, London, United Kingdom
Accès au bibtex
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
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
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 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
Exponentially tighter bounds on limitations of quantum error mitigation
auteur
Yihui Quek, Daniel Stilck França, Sumeet Khatri, Johannes Jakob Meyer, Jens Eisert
article
QIP 2023, Feb 2023, Ghent, Belgium
Accès au bibtex
https://arxiv.org/pdf/2210.11505 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

Chapitre d'ouvrage

titre
Formal Methods for Quantum Algorithms
auteur
Christophe Chareton, Sébastien Bardin, Dong Ho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu
article
Handbook of Formal Analysis and Verification in Cryptography, 1, CRC Press; Taylor and Francis, pp.319-422, 2023, Prospect in Pure and Applied Mathematics, 9780367546656. ⟨10.1201/9781003090052-7⟩
DOI
DOI : 10.1201/9781003090052-7
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04479879/file/main.pdf BibTex

Proceedings/Recueil des communications

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

Pré-publication, Document de travail

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
Inégalités de Bell pour des expériences réalistes
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
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
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

Article dans une revue

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

Communication dans un congrès

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
Simulation of Linear Optical Interferometers (Extended Abstract)
auteur
Nicolas Heurtel, Shane Mansfield, Jean Senellart, Benoit Valiron
article
2022 IEEE International Conference on Quantum Computing and Engineering (QCE), Sep 2022, Broomfield, Colorado, United States. pp.577-581, ⟨10.1109/QCE53715.2022.00080⟩
DOI
DOI : 10.1109/QCE53715.2022.00080
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
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
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

Pré-publication, Document de travail

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

Article dans une revue

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