Continuous-variable approximate unitary 2-design, with applications to unclonable encryption

TL;DR

This paper develops the first approximate unitary 2-design for continuous-variable quantum systems, enabling secure unclonable encryption schemes with proven security based on decoupling principles.

Contribution

It introduces a novel CV approximate unitary 2-design compatible with quadrature structures and applies it to establish secure unclonable encryption.

Findings

First CV approximate unitary 2-design demonstrated.

Encryption scheme achieves unclonable-indistinguishable security.

Parameter ε scales as 1/d^ℓ, with proven security.

Abstract

We introduce an $\varepsilon$-approximate unitary 2-design that is compatible with the structure of p- and q-quadratures in continuous-variable (CV) quantum systems. The design unitaries are defined on a finite-dimensional discretisation of the CV space and can be physically implemented as operations on the full CV space. This establishes the first approximate unitary design for CV systems. The design alternatingly acts with unitaries based on the quadrature operators $\hat q$ and $\hat p$. We prove that the parameter $\varepsilon$ is given by $1/d^\ell$, where $d$ is the dimension of the truncated Hilbert space and $\ell$ is the number of iterations. We propose an Unclonable Encryption scheme in which the encryption operators are given by the unitaries which constitute the approximate unitary design. We prove its security using recent results on decoupling. This establishes unclonable-indistinguishable security for a CV encryption for the first time.