5 papers
Quantum Orchestras: a Concrete Semantics for Recursive Hybrid Programs
Alex Rice, Dominik Leichtle, Kim Worrall +1
Many production quantum programming languages represent hybrid quantum computations by extending a classical base language with a quantum effect, where qubits are addressed by refe…
Composing Quantum Instruments
Robert I. Booth, Dominik Leichtle, Alex Rice +1
We study the composition of classically-controlled quantum instruments--the natural quantum analogue of Markov kernels. Classically, Markov kernels compose by integrating one kerne…
Quantitative quantum soundness for all multipartite compiled nonlocal games
Matilde Baroni, Igor Klep, Dominik Leichtle +4
Compiled nonlocal games transfer the power of Bell-type multi-prover tests into a single-device setting by replacing spatial separation with cryptography. Concretely, the KLVY comp…
Composable simultaneous purification: when all communication scenarios reduce to spatial correlations
Matilde Baroni, Dominik Leichtle, Ivan Å upiÄ +2
Bell non-locality is a powerful framework to distinguish classical, quantum and post-quantum resources, which relies on non-communicating players. Under which restriction can we ha…
Bounding the asymptotic quantum value of all multipartite compiled non-local games
Matilde Baroni, Dominik Leichtle, SiniÅ¡a JankoviÄ +1
Non-local games are a powerful tool to distinguish between correlations possible in classical and quantum worlds. Kalai et al. (STOC'23) proposed a compiler that converts multipart…