Invertible Quantum Operations and Perfect Encryption of Quantum States

Abstract

In this note, we characterize the form of an invertible quantum operation, i.e., a completely positive trace preserving linear transformation (a CPTP map) whose inverse is also a CPTP map. The precise form of such maps becomes important in contexts such as self-testing and encryption. We show that these maps correspond to applying a unitary transformation to the state along with an ancilla initialized to a fixed state, which may be mixed. The characterization of invertible quantum operations implies that one-way schemes for encrypting quantum states using a classical key may be slightly more general than the ``private quantum channels'' studied by Ambainis, Mosca, Tapp and de Wolf (FOCS 2000). Nonetheless, we show that their results, most notably a lower bound of 2n bits of key to encrypt n quantum bits, extend in a straightforward manner to the general case.

9 pages. Version 3 has minor edits, a correction to Theorem 2.2, and a proof sketch.Author affiliation updated.Version 4 has an additional reference. To appear in QIC

Cited by in corpus (10)

• Physical Implementability of Linear Maps and Its Application in Error Mitigation
• Fundamental limits on quantum dynamics based on entropy change
• Approximate Randomization of Quantum States With Fewer Bits of Key
• The Min-entropy as a Resource for One-Shot Private State Transfer, Quantum Masking and State Transition
• Post-processing of quantum instruments
• On the Power of Quantum Encryption Keys
• Quantum Theory from Principles, Quantum Software from Diagrams
• Fluctuation Theorems with Retrodiction rather than Reverse Processes
• Approximate Private Quantum Channels
• A category theoretic approach to asymptotic quantum channel approximation and Birkhoff's Theorem