activity
20142026
most citedClassical Control, Quantum Circuits and Linear Logic in Enriched Category Theory

18 citations · 71 across the 11 of their papers we have counts for

collaborators
Showing quant-phShow all

6 papers · 1 filter

quant-ph2026

Design rules for fault-tolerant multi-gate teleportation

Mathys Rennela

Multi-gate teleportation (MGT) packages remote gates into a single ebit via a 1-ebit fan-out quantum circuit, saving entangled pairs relative to sequential gate telepor…

quant-ph2026

Quasilinear Equivalence Checking for Detector Error Models

Mathys Rennela

A Detector Error Model (DEM) is a structured representation of error mechanisms in quantum circuits, which has gained popularity in quantum compilation pipelines for its ability to…

quant-ph2025

Efficient Gate Reordering for Distributed Quantum Compiling in Data Centers

Riccardo Mengoni, Walter Nadalin, Mathys Rennela +5

Just as classical computing relies on distributed systems, the quantum computing era requires new kinds of infrastructure and software tools. Quantum networks will become the backb…

quant-ph2024★ 1 cited

Low bit-flip rate probabilistic error cancellation

Mathys Rennela, Harold Ollivier

Noise remains one of the most significant challenges in the development of reliable and scalable quantum processors. While quantum error correction and mitigation techniques offer…

quant-ph2020★ 9 cited

Hybrid divide-and-conquer approach for tree search algorithms

Mathys Rennela, Sebastiaan Brand, Alfons Laarman +1

One of the challenges of quantum computers in the near- and mid- term is the limited number of qubits we can use for computations. Finding methods that achieve useful quantum impro…

quant-ph2014★ 8 cited

Privacy in Quantum Communication Complexity

Iordanis Kerenidis, Mathieu Laurière, François Le Gall +1

In two-party quantum communication complexity, Alice and Bob receive some classical inputs and wish to compute some function that depends on both these inputs, while minimizing the…