A simple formulation of no-cloning and no-hiding that admits efficient and robust verification

Abstract

Incompatibility is a feature of quantum theory that sets it apart from classical theory, and the inability to clone an unknown quantum state is one of the most fundamental instances. The no-hiding theorem is another such instance that arises in the context of the black-hole information paradox, and can be viewed as being dual to no-cloning. Here, we formulate both of these fundamental features of quantum theory in a single form that is amenable to efficient verification, and that is robust to errors arising in state preparation and measurements. We extend the notion of unitarity - an average figure of merit that for quantum theory captures the coherence of a quantum channel - to general physical theories. Then, we introduce the notion of compatible unitarity pair (CUP) sets, that correspond to the allowed values of unitarities for compatible channels in the theory. We show that a CUP-set constitutes a simple 'fingerprint' of a physical theory, and that incompatibility can be studied through them. We derive information-disturbance constraints on quantum CUP-sets that encode both the no-cloning/broadcasting and no-hiding theorems of quantum theory. We then develop randomised benchmarking protocols that efficiently estimate quantum CUP-sets and provide simulations using IBMQ of the simplest instance. Finally, we discuss ways in which CUP-sets and quantum no-go theorems could provide additional information to benchmark quantum devices.

27 pages, 11 figures; comments welcome!

References in corpus (14)

• Randomized Benchmarking of Quantum Gates
• The randomized measurement toolbox
• A generalized no-broadcasting theorem
• Quantum information cannot be completely hidden in correlations: implications for the black-hole information paradox
• Quantum error mitigation as a universal error-minimization technique: applications from NISQ to FTQC eras
• Theory of quantum system certification: a tutorial
• General probabilistic theories: An introduction
• Hiding and masking quantum information in complex and real quantum mechanics
• Incompatibility of quantum channels
• Jordan products of quantum channels and their compatibility
• Incompatibility in general probabilistic theories, generalized spectrahedra, and tensor norms
• Estimation of correlations and non-separability in quantum channels via unitarity benchmarking
• A Fisher information-based incompatibility criterion for quantum channels
• Partial randomized benchmarking