Publications

The Born Ultimatum: Conditions for Classical Surrogation of Quantum Generative Models with Correlators

Mario Herrero-Gonzalez, Brian Coyle, Kieran McDowall, Ross Grassie, Sjoerd Beentjes, Ava Khamseh, Elham Kashefi

Verifiable blind observable estimation: A composably secure protocol for near-term quantum advantage tasks

Bo Yang, Elham Kashefi, Harold Ollivier

Role of Coherence for Quantum Computational Advantage

Hugo Thomas, Pierre-Emmanuel Emeriau, Rawad Mezher, Elham Kashefi, Harold Ollivier, Ulysse Chabaud

On estimating the quantum distance

Yupan Liu, Qisheng Wang

Localized statistics decoding for quantum low-density parity-check codes

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

Logical accreditation: a framework for efficient certification of fault-tolerant computations

James Mills, Adithya Sireesh, Dominik Leichtle, Joschka Roffe, Elham Kashefi

String diagrams for defect-based surface code computing

M. Kupper, C. Heunen, N. de Beaudrap, D. Horsman

Colour Codes Reach Surface Code Performance using Vibe Decoding

Stergios Koutsioumpas, Tamas Noszko, Hasan Sayginel, Mark Webster, Joschka Roffe

Variational quantum cloning machine on an integrated photonic interferometer

Francesco Hoch, Giovanni Rodari, Eugenio Caruccio, Beatrice Polacchi, Gonzalo Carvacho, Taira Giordani, Mina Doosti, Sebastià Nicolau, Ciro Pentangelo, Simone Piacentini, Andrea Crespi, Francesco Ceccarelli, Roberto Osellame, Ernesto F. Galvão, Nicolò Spagnolo, and Fabio Sciarrino

Toward quantum advantage with photonic state injection

Léo Monbroussou, Eliott Z. Mamon, Hugo Thomas, Verena Yacoub, Ulysse Chabaud, Elham Kashefi

Benincasa-Dowker causal set actions by quantum counting

Sean A. Adamson, Petros Wallden

Experimental Verifiable Multiclient Blind Quantum Computing on a Qline Architecture

B Polacchi, D Leichtle, G Carvacho, G Milani, N Spagnolo, M Kaplan

Hadamard-Π: Equational Quantum Programming

W. Fang, C. Heunen, R. Kaarsgaard

Engineering CSS surgery: compiling any CNOT in any code

Clément Poirson, Joschka Roffe, Robert I. Booth

Simultaneous Estimation of Nonlinear Functionals of a Quantum State

K Chen, Q Wang, Z Yu, Z Zhang

Learning Quantum Processes with Quantum Statistical Queries

Wadhwa, Chirag, and Mina Doosti

Hardware-tailored logical Clifford circuits for stabilizer codes

Eric J. Kuehnke, Kyano Levi, Joschka Roffe, Jens Eisert, Daniel Miller

Quantum Hamiltonian Certification

M Gao, Z Ji, Q Wang, W Yu, Q Zhao

Quantum differential privacy in the local model

A Angrisani, E Kashefi

Introducing Quantum Computing to High-School Curricula: A Global Perspective

María Gragera Garcés, Luis Gómez Orzechowski, Juan Francisco Rodríguez Hernández

Hybrid Authentication Protocols for Advanced Quantum Networks

S Goswami, M Doosti, E Kashefi

A note on quantum divide and conquer for minimal string rotation

Q Wang

Quantum Lifting for Invertible Permutations and Ideal Cipher

Alexandru Cojocaru, Juan Garay, Qipeng Liu, Fang Song

Language Model for Large-Text Transmission in Noisy Quantum Communications

Yuqi Li, Zhouhang Shi, Haitao Ma, Li Shen, Jinge Bao, Yunlong Xiao

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

L Colisson, F Grosshans, E Kashefi

Verifiable End-to-End Delegated Variational Quantum Algorithms

Matteo Inajetovic, Petros Wallden, Anna Pappa

Quantum Lifting for Invertible Permutations and Ideal Ciphers

Alexandru Cojocaru, Minki Hhan, Qipeng Liu, Takashi Yamakawa, Aaram Yun

Photonic Quantum Convolutional Neural Networks with Adaptive State Injection

Léo Monbroussou, Beatrice Polacchi, Verena Yacoub, Eugenio Caruccio, Giovanni Rodari, Francesco Hoch, Gonzalo Carvacho, Nicolò Spagnolo, Taira Giordani, Mattia Bossi, Abhiram Rajan, Niki Di Giano, Riccardo Albiero, Francesco Ceccarelli, Roberto Osellame, Elham Kashefi, Fabio Sciarrino

qiskit-community: mps-to-circuit

DA Millar, GW Pennington, NTM Siow, SJ Thomson

Subspace preserving quantum convolutional neural network architectures

L Monbroussou, J Landman, L Wang, AB Grilo, E Kashefi

Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits

Mingyu Huang, Ji Guan, Wang Fang, Mingsheng Ying

Breaking absolute separability with quantum switch

Sravani Yanamandra, P. V. Srinidhi, Samyadeb Bhattacharya, Indranil Chakrabarty & Suchetana Goswami

Local quench spectroscopy on a digital quantum computer

D Millar, N Siow, G Pennington, D Galvin, A Green, S Thomson

A Practically Scalable Approach to the Closest Vector Problem for Sieving via QAOA with Fixed Angles

Ben Priestley, Petros Wallden

Efficient Formal Verification of Quantum Error Correcting Programs

Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying

Synthesis of quantum simulators by compilation

M Tarabkhah, M Delavar, M Doosti, A Shaikhha

Adiabatic quantum unstructured search in parallel

Sean A. Adamson, Petros Wallden

Improved Accreditation of Analogue Quantum Simulation and Establishing Quantum Advantage

Andrew Jackson, Animesh Datta

A Review and Collection of Metrics and Benchmarks for Quantum Computers: definitions, methodologies and software

Deep Lall, Abhishek Agarwal, Weixi Zhang, Lachlan Lindoy, Tobias Lindström, Stephanie Webster, Simon Hall, Nicholas Chancellor, Petros Wallden, Raul Garcia-Patron, Elham Kashefi, Viv Kendon, Jonathan Pritchard, Alessandro Rossi, Animesh Datta, Theodoros Kapourniotis, Konstantinos Georgopoulos, Ivan Rungger

Error mitigation of BQP computations using measurement-based verification

J Harris, E Kashefi

Quantum algorithms and lower bounds for eccentricity, radius, and diameter in undirected graphs

Adam Wesołowski, Jinge Bao

Heuristic Time Complexity of NISQ Shortest-Vector-Problem Solvers

Milos Prokop, Petros Wallden

Asymmetric secure multi-party quantum computation with weak clients against dishonest majority

T Kapourniotis, E Kashefi, D Leichtle, L Music, H Ollivier

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

Accelerating quantum imaginary-time evolution with random measurements

Kolotouros I, Joseph D, Narayanan AK

Programming tools for Analogue Quantum Computing in the High-Performance Computing Context - A Review

M Meller, V Szeremi, O T Brown

Parallel remote state preparation for fully device-independent verifiable blind quantum computation

Sean A. Adamson

Non-Markovian noise limits for sustaining entanglement in multiparty quantum states

Suchetana Goswami, Ujjwal Sen

Verifying Fault-Tolerance of Quantum Error Correction Codes

Kean Chen, Yuhao Liu, Wang Fang, Jennifer Paykin, Xin-Chuan Wu, Albert Schmitz, Steve Zdancewic, Gushu Li

Entropy Benchmarking of Near-Term Quantum Devices

Marine Demarty, James Mills and Raul Garcia-Patron Sanchez

Quantum cryptography beyond key distribution: theory and experiment

Mathieu Bozzio, Claude Crépeau, Petros Wallden, Philip Walther

Random natural gradient

Ioannis Kolotouros, Petros Wallden

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

Incomplete quantum oblivious transfer with perfect one-sided security

David Reichmuth, Ittoop Vergheese Puthoor, Petros Wallden, Erika Andersson

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

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