activity
20162023
most citedA compositional approach to quantum functions

53 citations · 128 across the 13 of their papers we have counts for

collaborators
Showing quant-phShow all

9 papers · 1 filter

quant-ph2023

Testing quantum satisfiability

Ashley Montanaro, Changpeng Shao, Dominic Verdon

Quantum k-SAT (the problem of determining whether a k-local Hamiltonian is frustration-free) is known to be QMA_1-complete for k >= 3, and hence likely hard for quantum computers t…

quant-ph2022

Entanglement-invertible channels

Dominic Verdon

In a well-known result [Werner2001], Werner classified all tight quantum teleportation and dense coding schemes, showing that they correspond to unitary error bases. Here tightness…

quant-ph2021★ 11 cited

A covariant Stinespring theorem

Dominic Verdon

We prove a finite-dimensional covariant Stinespring theorem for compact quantum groups. Let G be a compact quantum group, and let T:= Rep(G) be the rigid C*-tensor category of fini…

quant-ph2020★ 3 cited

Entanglement-symmetries of covariant channels

Dominic Verdon

Let G and G' be monoidally equivalent compact quantum groups, and let H be a Hopf-Galois object realising a monoidal equivalence between these groups' representation categories. Th…

quant-ph2018

Quantum teleportation with infinite reference frame uncertainty and without prior alignment

Dominic Verdon, Jamie Vicary

We present two new schemes for quantum teleportation between parties whose local reference frames are misaligned by the action of a compact Lie group G. These schemes require no pr…

quant-ph2018★ 36 cited

The Morita theory of quantum graph isomorphisms

Benjamin Musto, David Reutter, Dominic Verdon

We classify instances of quantum pseudo-telepathy in the graph isomorphism game, exploiting the recently discovered connection between quantum information and the theory of quantum…

quant-ph2017★ 53 cited

A compositional approach to quantum functions

Benjamin Musto, David Reutter, Dominic Verdon

We introduce a notion of quantum function, and develop a compositional framework for finite quantum set theory based on a 2-category of quantum sets and quantum functions. We use t…

quant-ph2017★ 7 cited

Perfect tight quantum teleportation without a shared reference frame

Dominic Verdon, Jamie Vicary

We present a new scheme for teleporting a quantum state between two parties whose local reference frames are misaligned by the action of a finite symmetry group. Unlike other propo…

quant-ph2016★ 2 cited

Tight Reference Frame--Independent Quantum Teleportation

Dominic Verdon, Jamie Vicary

We give a tight scheme for teleporting a quantum state between two parties whose reference frames are misaligned by an action of a finite symmetry group. Unlike previously proposed…