7.7k citations
- Centre National de la Recherche ScientifiqueFR1.2k papers
- Institut Élie Cartan de LorraineFR874 papers
- Institut Jean LamourFR378 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR277 papers
- Institut national de recherche en sciences et technologies du numériqueFR174 papers
- Laboratoire de Physique et Chimie ThéoriquesFR148 papers
- Université Paris-SaclayFR115 papers
- CRANFR110 papers
- Sorbonne UniversitéFR85 papers
- Institut Universitaire de FranceFR61 papers
- Université de StrasbourgFR56 papers
- Laboratoire Énergies & Mécanique Théorique et AppliquéeFR54 papers
96 papers · 1 filter
Simpler Presentations for Many Fragments of Quantum Circuits
Colin Blake
Equational reasoning is central to quantum circuit optimisation and verification: one replaces subcircuits by provably equivalent ones using a fixed set of rewrite rules viewed as…
A Complete Equational Presentation of Qudit Circuits via Polycontrolled PROPs
Colin Blake
High-dimensional quantum computation needs a native circuit-level equational theory for qudits. We give the first finite schematic equational theory that is sound and complete for…
Hamiltonian Benchmark of a Solid-State Spin-Photon Interface for Computation
Tejas Acharya, Loïc Lanco, Olivier Krebs +3
Light-matter interfaces are pivotal for quantum computation and communication. While typically analyzed using single-mode or open-quantum-system approximations, these models often…
Generalised fractional Rabi problem
Alexander Lopez, Sébastien Fumeron, Malte Henkel +2
Fractional quantum dynamics provides a natural framework to capture nonlocal temporal behavior and memory effects in quantum systems. In this work, we analyze the physical conseque…
A Tight Quantum Algorithm for Multiple Collision Search
Xavier Bonnetain, Johanna Loyer, André Schrottenloher +1
Searching for collisions in random functions is a fundamental computational problem, with many applications in symmetric and asymmetric cryptanalysis. When one searches for a singl…
Inserting Planar-Measured Qubits into MBQC Patterns while Preserving Flow
Miriam Backens, Thomas Perez
In the one-way model of measurement-based quantum computation (MBQC), computation proceeds via single-qubit measurements on a resource state. Flow conditions ensure that the overal…