Publications

Computing Efficiently in QLDPC Codes

Alexander J. Malcolm, Andrew N. Glaudell, Patricio Fuentes, Daryus Chandra, Alexis Schotte, Colby DeLisle, Rafael Haenel, Amir Ebrahimi, Joschka Roffe, Armanda O. Quintavalle, Stefanie J. Beale, Nicholas R. Lee-Hone, Stephanie Simmons

Qurts: Automatic quantum uncomputation by affine types with lifetime

Kengo Hirata, Chris Heunen

Entropy Benchmarking of Near-Term Quantum Devices

Marine Demarty, James Mills and Raul Garcia-Patron Sanchez

An almost-linear time decoding algorithm for quantum LDPC codes under circuit-level noise

Antonio deMarti iOlius, Imanol Etxezarreta Martinez, Joschka Roffe, Josu Etxezarreta Martinez

The domain wall color code

Konstantin Tiurev, Arthur Pesah, Peter-Jan H. S. Derks, Joschka Roffe, Jens Eisert, Markus S. Kesselring, Jan-Michael Reiner

A brief review of quantum machine learning for financial services

M. Doosti, P. Wallden, C. B. Hamill, R. Hankache, O. T. Brown, C. Heunen

High-threshold, low-overhead and single-shot decodable fault-tolerant quantum memory

Thomas R. Scruby, Timo Hillmann, Joschka Roffe

Localized statistics decoding: A parallel decoding algorithm for quantum low-density parity-check codes

Timo Hillmann, Lucas Berent, Armanda O. Quintavalle, Jens Eisert, Robert Wille, Joschka Roffe

Compositional reversible computation

J. Carette, C. Heunen, R. Kaarsgaard, and A. Sabry

A computational test of quantum contextuality, and even simpler proofs of quantumness

A Singh Arora, K Bharti, A Cojocaru, A Coladang

Quantum-enhanced Markov Chain Monte Carlo for systems larger than your Quantum Computer

S Ferguson, P Wallden

Analog Information Decoding of Bosonic Quantum Low-Density Parity-Check Codes

Lucas Berent, Timo Hillmann, Jens Eisert, Robert Wille, Joschka Roffe

Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations

Kapourniotis, Theodoros, Elham Kashefi, Dominik Leichtle, Luka Music, and Harold Ollivier

An error-mitigated photonic quantum circuit Born machine

Alexia Salavrakos, Tigran Sedrakyan, James Mills, Rawad Mezher

Analog information decoding of bosonic quantum LDPC codes

L Berent. T Hillmann. J Eisert. R Wille. J Roffe

Restricted Randomized Benchmarking with Universal Gates of Fixed Sequence Length

M Mehrani, K Masoudi, R Mezher, E Kashefi, D Sadhukhan

Mitigating photon loss in linear optical quantum circuits: classical post-processing methods outperforming postselection

James Mills, Rawad Mezher

Verifiable blind quantum computing with trapped ions and single photons

P Drmota, DP Nadlinger, D Main, BC Nichol, EM Ainley, Dominik Leichtle, A Mantri, Elham Kashefi, R Srinivas, G Araneda, CJ Ballance, DM Lucas

Heuristic-free Verification-inspired Quantum Benchmarking

J Frank, E Kashefi, D Leichtle, M de Oliveira

The power of shallow-depth Toffoli and qudit quantum circuits

AB Grilo, E Kashefi, D Markham, M de Oliveira

Quantum error suppression with subgroup stabilisation projectors, Theory of Quantum Computation

B Yang, E Kashefi, D Leichtle, H Ollivier

Verification of quantum computations without trusted preparations or measurements

E Kashefi, D Leichtle, L Music, H Ollivier

Asymmetric Quantum Secure Multi-Party Computation With Weak Clients Against Dishonest Majority

Kapourniotis, Theodoros, Elham Kashefi, Dominik Leichtle, Luka Music, and Harold Ollivier. Quantum Science and Technology,

Ordered locales

C Heunen, N van der Schaaf

Constrained and Vanishing Expressivity of Quantum Fourier Models

Hela Mhiri, Leo Monbroussou, Mario Herrero-Gonzalez, Slimane Thabet, Elham Kashefi, Jonas Landman

Grover's oracle for the Shortest Vector Problem and its application in hybrid classical-quantum solvers

M Prokop, P Wallden, D Joseph

Big data applications on small quantum computers

Boniface Yogendran, Daniel Charlton, Miriam Beddig, Ioannis Kolotouros, Petros Wallden

Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces and linear contractions

M Di Meglio, C Heunen

With a Few Square Roots, Quantum Computing Is as Easy as Pi

J Carette, C Heunen, R Kaarsgaard, A Sabry

Advances in Algebra and Logic

van Benthem, Johan, Chris Heunen, Helmut Länger, and Davide Emilio Quadrellaro

Simplifying errors by symmetry and randomisation

Mills, James, Debasis Sadhukhan, and Elham Kashefi

Ordered Locales

Heunen, Chris, and Nesta van der Schaaf

With a Few Square Roots, Quantum Computing is as Easy as _

Carette, Jacques, Chris Heunen, Robin Kaarsgaard, and Amr Sabry.

Quantum Multi-Solution Bernoulli Search with Applications to Bitcoin's Post-Quantum Security

Cojocaru, Alexandru, Juan Garay, Aggelos Kiayias, Fang Song, and Petros Wallden

Duoidally enriched Freyd categories

Heunen, Chris, and Jesse Sigal

Compact inverse categories

Cockett, Robin, and Chris Heunen

Establishing shared secret keys on quantum line networks: protocol and security

Doosti, Mina, Lucas Hanouz, Anne Marin, Elham Kashefi, and Marc Kaplan

Quantum cryptography beyond quantum key distribution: variants of quantum oblivious transfer

Andersson, Erika, Lara Stroh, Ittoop V. Puthoor, David Reichmuth, Nikolá Horova, Robert Stárek, Michal Miuda, Miloslav Duek, and Petros Wallden

Trainability and Expressivity of Hamming-Weight Preserving Quantum Circuits for Machine Learning

Monbroussou, Léo, Jonas Landman, Alex B. Grilo, Romain Kukla, and Elham Kashefi

Multi-client distributed blind quantum computation with the Qline architecture

Polacchi, Beatrice, Dominik Leichtle, Leonardo Limongi, Gonzalo Carvacho, Giorgio Milani, Nicolò Spagnolo, Marc Kaplan, Fabio Sciarrino, and Elham Kashefi

A unifying framework for differentially private quantum algorithms

Angrisani, Armando, Mina Doosti, and Elham Kashefi

The Quantum Effect: A Recipe for QuantumPi

Carette, Jacques, Chris Heunen, Robin Kaarsgaard, and Amr Sabry

Categories of sets with infinite addition

Andrés-Martínez, Pablo, and Chris Heunen

Scalable and Exponential Quantum Error Mitigation of BQP Computations using Verification

Harris, Joseph, and Elham Kashefi

Correcting non-independent and non-identically distributed errors with surface codes

K Tiurev. PJHS Derks. J Roffe. J Eisert. JM Reiner

Learning Quantum Processes with Quantum Statistical Queries

Wadhwa, Chirag, and Mina Doosti

Verifiable blind quantum computing with trapped ions and single photons

Drmota, P., D. P. Nadlinger, D. Main, B. C. Nichol, E. M. Ainley, Dominik Leichtle, A. Mantri et al.

Quantum Lock: A Provable Quantum Communication Advantage

Chakraborty, Kaushik, Mina Doosti, Yao Ma, Chirag Wadhwa, Myrto Arapinis, and Elham Kashefi

Sheaf representation of monoidal categories

Barbosa, Rui Soares, and Chris Heunen

Variational quantum solutions to the Shortest Vector Problem

Albrecht, Martin R., Milo Prokop, Yixin Shen, and Petros Wallden

Evolving objective function for improved variational quantum optimization

Kolotouros, Ioannis, and Petros Wallden

Graph neural network initialisation of quantum approximate optimisation

Jain, Nishant, Brian Coyle, Elham Kashefi, and Niraj Kumar

Benchmarking of quantum protocols

Liao, Chin-Te, Sima Bahrani, Francisco Ferreira da Silva, and Elham Kashefi

A game of quantum advantage: linking verification and simulation

França, Daniel Stilck, and Raul Garcia-Patron

A continuous variable Born machine

Cepaite, Ieva, Brian Coyle, and Elham Kashefi

Quadratic speed-up for simulating Gaussian boson sampling

Quesada, Nicolás, Rachel S. Chadwick, Bryn A. Bell, Juan Miguel Arrazola, Trevor Vincent, Haoyu Qi, and Raúl García

Quantum local differential privacy and quantum statistical query model

Angrisani, Armando, and Elham Kashefi

QEnclave-A practical solution for secure quantum cloud computing

Ma, Yao, Elham Kashefi, Myrto Arapinis, Kaushik Chakraborty, and Marc Kaplan

Universal Properties of Partial Quantum Maps

Martinez, Pablo Andres, Chris Heunen, and Robin Kaarsgaard

Quantum information effects

Heunen, Chris, and Robin Kaarsgaard

Progress toward practical quantum cryptanalysis by variational quantum cloning

Coyle, Brian, Mina Doosti, Elham Kashefi, and Niraj Kumar

Dispelling myths on superposition attacks: formal security model and attack analyses

Music, Luka, Céline Chevalier, and Elham Kashefi

On the connection between quantum pseudorandomness and quantum hardware assumptions

Doosti, Mina, Niraj Kumar, Elham Kashefi, and Kaushik Chakraborty

Sheaf representation of monoidal categories

Barbosa, Rui Soares, and Chris Heunen

Axioms for the category of Hilbert spaces

Heunen, Chris, and Andre Kornell

Axioms for the category of Hilbert spaces and linear contractions

Heunen, Chris, Andre Kornell, and Nesta van der Schaaf

Classically Approximating Variational Quantum Machine Learning with Random Fourier Features

Landman, Jonas, Slimane Thabet, Constantin Dalyac, Hela Mhiri, and Elham Kashefi

Adiabatic quantum computing with parameterized quantum circuits

Kolotouros, Ioannis, Ioannis Petrongonas, Milo Prokop, and Petros Wallden

Cryptographic approach to quantum metrology

Shettell, Nathan, Elham Kashefi, and Damian Markham.

Practical parallel self-testing of Bell states via magic rectangles

Adamson, Sean A., and Petros Wallden

Contrary Inferences for Classical Histories within the Consistent Histories Formulation of Quantum Theory

Zampeli, Adamantia, Georgios E. Pavlou, and Petros Wallden

The CBH characterisation theorem beyond algebraic quantum theory

Heunen, Chris, and Aleks Kissinger

Weakly measured while loops: peeking at quantum states

Andrés-Martínez, Pablo, and Chris Heunen

Continuous-variable nonlocality and contextuality

Barbosa, Rui Soares, Tom Douce, Pierre-Emmanuel Emeriau, Elham Kashefi, and Shane Mansfield

Differential Privacy Amplification in Quantum and Quantum-inspired Algorithms

Angrisani, Armando, Mina Doosti, and Elham Kashefi

Mitigating errors by quantum verification and postselection

Mezher, Rawad, James Mills, and Elham Kashefi

Non-Destructive Zero-Knowledge Proofs on Quantum States, and Multi-Party Generation of Authorized Hidden GHZ States

Colisson, Léo, Frédéric Grosshans, and Elham Kashefi

Quantum versus classical generative modelling in finance

Coyle, Brian, Maxwell Henderson, Justin Chan Jin Le, Niraj Kumar, Marco Paini, and Elham Kashefi

Client-server Identification Protocols with Quantum PUF

Doosti, Mina, Niraj Kumar, Mahshid Delavar, and Elham Kashefi

Probably approximately correct quantum source coding

Angrisani, Armando, Brian Coyle, and Elham Kashefi

Verifying bqp computations on noisy devices with minimal overhead

Leichtle, Dominik, Luka Music, Elham Kashefi, and Harold Ollivier

A Unified Framework For Quantum Unforgeability

Doosti, Mina, Mahshid Delavar, Elham Kashefi, and Myrto Arapinis

Secure quantum two-party computation: Impossibility and constructions

Ciampi, Michele, Alexandru Cojocaru, Elham Kashefi, and Atul Mantri

Optimal quantum-programmable projective measurements with coherent states

Kumar, Niraj, Ulysse Chabaud, Elham Kashefi, Damian Markham, and Eleni Diamanti

Quantum Physical Unclonable Functions: Possibilities and Impossibilities

Arapinis, Myrto, Mahshid Delavar, Mina Doosti, and Elham Kashefi

Randomized Benchmarking with Stabilizer Verification and Gate Synthesis

Derbyshire, Ellen, Rawad Mezher, Theodoros Kapourniotis, and Elham Kashefi

Efficient construction of quantum physical unclonable functions with unitary t-designs

Kumar, Niraj, Rawad Mezher, and Elham Kashefi

The Effect of Noise on the Optimality of Variational Algorithms for Quantum Chemistry

Saib, Waheeda Banu, Ismail Akhalwaya, and Petros Wallden

Imperfect 1-out-of-2 quantum oblivious transfer: bounds, a protocol, and its experimental implementation

Amiri, Ryan, Robert Stárek, David Reichmuth, Ittoop V. Puthoor, Michal Miuda, Ladislav Mita Jr, Miloslav Duek, Petros Wallden, and Erika Andersson

Efficient verification of boson sampling

Chabaud, Ulysse, Frédéric Grosshans, Elham Kashefi, and Damian Markham

Boson sampling in low-depth optical systems

van der Meer, R., S. Huber, P. W. H. Pinkse, R. García-Patrón, and J. J. Renema

Definitions and Security of Quantum Electronic Voting

Arapinis, Myrto, Nikolaos Lamprou, Elham Kashefi, and Anna Pappa

Quantum advantage from energy measurements of many-body quantum systems

Novo, Leonardo, Juani Bermejo-Vega, and Raúl García-Patrón

Localisable monads

Constantin, Carmen, Nuiok Dicaire, and Chris Heunen

Topos quantum theory with short posets

Harding, John, and Chris Heunen

Limitations of optimization algorithms on noisy quantum devices

Stilck França, Daniel, and Raul Garcia-Patron

Tensor topology

Heunen, Chris, Pau Enrique Moliner, and Sean Tull

Monoidal characterisation of groupoids and connectors

Gran, Marino, Chris Heunen, and Sean Tull

Randomized benchmarking in the analogue setting

Derbyshire, Ellen, J. Yago Malo, A. J. Daley, Elham Kashefi, and Petros Wallden

Quantum magic rectangles: Characterization and application to certified randomness expansion

Adamson, Sean A., and Petros Wallden