Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

FiniteKrausReversibility

Abstract

Scalar error products construct a normalized finite Kraus left inverse. Spectral zero weights are eliminated explicitly. The reverse implication and canonical channel interface are treated in neighboring modules.

Theorem 1.1 (scalar products construct left inverse).

Lean statement: D5/S3/Quantum/Recovery/FiniteKrausReversibility.scalar_products_construct_left_inverse

Proof. Machine-checked in Lean as D5/S3/Quantum/Recovery/FiniteKrausReversibility.scalar_products_construct_left_inverse (✓ std3). ∎

Citation. Ashwin Nayak and Pranab Sen (2007). Invertible Quantum Operations and Perfect Encryption of Quantum States. DOI: 10.26421/QIC7.1-2-6.

Commentary.

Scalar error products construct a normalized finite Kraus left inverse. Spectral zero weights are eliminated explicitly. The reverse implication and canonical channel interface are treated in neighboring modules.

References