Publications

A Dynamic Intermediate Representation for Hybrid Quantum-Classical Programs

A Rice, C Heunen, T Grosser

Spectrum Estimation is Almost as Hard as Tomography

Marco Fanizza, Ryan O’Donnell, Chirag Wadhwa

Quench Spectroscopy of Magnetic Excitations on a Superconducting
Quantum Processor

D. A. Millar ,G. W. Pennington , N. T. M. Siow, S. Brandhofer, J. Crain ,F. H. L. Essler ,A. G. Green ,and S. J. Thomson

Routing Anonymity and Identifiability of Noisy Quantum Hardware

Ben Priestley, Mina Doosti

Verifiable blind probabilistic error cancellation

Bo Yang, Elham Kashefi, and Harold Ollivier

Classical simulation and model concentration in passive linear optics

Léo Monbroussou, Hugo Thomas, Hela Mhiri, Zoë Holmes,and Elham Kashefi

Efficiently simulable quantum circuits with large entanglement, magic, and non-Gaussianity via code-compiled tensor networks

Aydin Deger, Stergios Koutsioumpas, Mark Webster, Hasan Sayginel, Joschka Roffe, and Dan E. Browne

Spectral Gap Informed Ramp QAOA

Kieran McDowall, Konstantinos Georgopoulos, Petros Wallden

Scalable Message-Passing Quantum Graph Neural Networks in the Weisfeiler–Leman Hierarchy

Snehal Raj, Brian Coyle, Leo Monbroussou, Andr´e J.
Ferreira-Martins, Renato M. S. Farias, and Elham Kashef

Authentication in Quantum Networks

Christopher Battarbee, Suchetana Goswami, Elham Kashefi, and Mina Doost

Proactive Secret Sharing without Erasures

Alexandru Cojocaru, Aggelos Kiayias, Yu Shen, Petros Wallden

Adaptive directional gradients for parameterised quantum circuits

Brian Coyle, Snehal Raj, Virag Umathe, Amine Cherrat, and Elham Kashefi

Nearest-neighbour gates are all you need: High-rate quantum low-density parity-check codes on a planar grid

B Gu, T Noszko, V Steffan, JN Eberhardt, J Roffe, J Eisert, S Koutsioumpas

Sheaf-Theoretic Preparation Contextuality

Tom Williams, Mina Doosti, Farid Shahandeh

One rig to control them all

Chris Heunen, Robin Kaarsgaard, Louis Lemonnier

Unconditional Authentication in Quantum Key Distribution via Hybrid Entangled Physical Unclonable Functions

Nicolas Laurent-Puig, Mina Doosti, Adriano Innocenzi, Eleni Diamanti

Distributed quantum property testing with communication constraints

Mina Doosti, Ryan Sweke, Chirag Wadhwa

Circuit Harmonic Matrices: A Spectral Framework for Quantum Machine Learning

Kyle James Stuart Campbell, Luigi Del Debbio, Petros Wallden

Boson sampling beyond the dilute regime: second moments and anti-concentration

Hela Mhiri,Hugo Thomas, Léo Monbroussou,Ulysse Chabaud, Zoë Holmes, and Elham Kashefi

QGPU: Parallel logic in quantum LDPC codes

B Gu, AZ Liu, AO Quintavalle, Q Xu, J Eisert, J Roffe

Laplace expansions and tree decompositions: A faster polytime algorithm for shallow nearest-neighbor boson sampling

S Novák, R García-Patrón

Quantum phase estimation without controlled unitaries

L Clinton, TS Cubitt, R Garcia-Patron, A Montanaro, S Stanisic, M Stroeks

Quantum Phaselift

D Patel, L Clinton, ST Flammia, R García-Patrón

Free quantum computing

Jacques Carettea, Chris Heunenb, Robin Kaarsgaardc, Neil J. Rossd, and Amr Sabry

Have Your CKAKE and Eat it, Too: Efficient, Composable KEM-Authenticated Key Exchange

Myrto Arapinis, Christopher Battarbee, Mina Doosti

Information-Theoretic Limits of Quantum Learning via Data Compression

A Angrisani, B Coyle, E Kashefi

Methods for non-variational heuristic quantum optimisation

Stuart Ferguson, Petros Wallden

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

Adamantia Zampeli, Georgios E. Pavlou, Petros Wallden

Quantum Elastic Network Models and their Application to Graphene

Ioannis Kolotouros, Adithya Sireesh, Stuart Ferguson, Sean Thrasher, Petros Wallden, Julien Michel

Quantum Data Structure for Range Minimum Query

Qisheng Wang, Zhean Xu, Zhicheng Zhang

Quantum circuits are just a phase

Chris Heunen, Louis Lemonnier, Christopher McNally, Alex Rice

Agnostic process tomography

C Wadhwa, L Lewis, E Kashefi, M Doosti

A unified linear algebraic framework for physical models and generalized contextuality

Farid Shahandeh, Theodoros Yianni, Mina Doosti

Adiabatic-Inspired Hybrid Quantum-Classical Methods for Molecular Ground State Preparation

Sean Thrasher, Ioannis Kolotouros, Julien Michel, Petros Wallden

The born ultimatum: Conditions for classical surrogation of quantum generative models with correlators

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

A fast and frugal Gaussian Boson Sampling emulator

T Dodd, J Martínez-Cifuentes, OT Brown, N Quesada, R García-Patrón

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

Boundaries for quantum advantage with single photons and loop-based time-bin interferometers

S Novák, DD Roberts, A Makarovskiy, R García-Patrón, WR Clements

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

Low-Level and NUMA-Aware Optimization for High-Performance Quantum Simulation

A Rezaei, L Jaulmes, M Bahna, OT Brown, A Barbalace

On estimating the quantum distance

Yupan Liu, Qisheng Wang

Probing quantum advantage for solving the Fermi-Hubbard model with entropy benchmarking

P Besserve, R García-Patrón

Causal Coverage in Ordered Locales and Spacetimes

C Heunen, N van der Schaaf

On-chip verified quantum computation with an ion-trap quantum processing unit

C Gustiani, D Leichtle, J Miller, R Grassie, D Mills, E Kashefi

Distributed Quantum Computing Across Heterogeneous Hardware with Hybrid Dependency Hypergraphs

Maria Gragera Garces, Chris Heunen, Mahesh Marina

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

Towards Categorical Quantum Concurrency Theory

C Heunen

Dagger categories of relations: the equivalence of dilatory dagger categories and epi-regular independence categories

Matthew Di Meglio, Chris Heunen, Jean-Simon Pacaud Lemay, Paolo Perrone, Dario Stein

Introducing CQ: A C-like API for Quantum Accelerated HPC

OT Brown, M Meller, J Richings

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

Dynamics of discrete spacetimes with Quantum-enhanced Markov Chain Monte Carlo

Stuart Ferguson, Arad Nasiri, Petros Wallden

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

Quantum-enhanced Markov chain Monte Carlo for systems larger than a quantum computer

Stuart Ferguson, Petros Wallden

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

Hilbert ∗-categories: Where limits in analysis and category theory meet

Matthew Di Meglio, Chris Heunen

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

Improved Sample Upper and Lower Bounds for Trace Estimation of Quantum State Powers

K Chen, Q Wang

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

Selectively Blind Quantum Computation

A Poshtvan, O Lapiha, M Doosti, D Leichtle, L Music, E Kashefi

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

Tensor-Parallel Emulation of Quantum Circuits with Block-Cyclic Distributed Matrix Product States

J Adamski, OT Brown

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

Quantum advantage for learning shallow neural networks with natural data distributions

Laura Lewis, Dar Gilboa, Jarrod R. McClean

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

Disentangling quantum autoencoder

Adithya Sireesh, Abdulla Alhajri, M.S. Kim, Tobias Haug

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

Optimized circuits for windowed modular arithmetic with applications to quantum attacks against RSA

Alessandro Luongo, Varun Narasimhachar, Adithya Sireesh

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