Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Zero-Uncertainty States Relative to Observable Algebras

Jiayu Ran

Abstract

We study zero-uncertainty states with quantum memory from an operator-algebraic perspective, which naturally accommodates degenerate projective-valued measurements. In the equal-dimension setting, we prove a rigidity theorem for purity and maximal entanglement. We then analyze two mechanisms by which this rigidity can fail: one arising from proper observable subalgebras, and the other from allowing larger memory dimensions. In these cases, we give corresponding algebraic decomposition and representation-theoretic descriptions, and compare their mathematical structure with their physical interpretation. Finally, we present an example from quantum steering to illustrate how our framework helps resolve a concrete physical question in a specific setting.

Zero-Uncertainty States Relative to Observable Algebras

Abstract

We study zero-uncertainty states with quantum memory from an operator-algebraic perspective, which naturally accommodates degenerate projective-valued measurements. In the equal-dimension setting, we prove a rigidity theorem for purity and maximal entanglement. We then analyze two mechanisms by which this rigidity can fail: one arising from proper observable subalgebras, and the other from allowing larger memory dimensions. In these cases, we give corresponding algebraic decomposition and representation-theoretic descriptions, and compare their mathematical structure with their physical interpretation. Finally, we present an example from quantum steering to illustrate how our framework helps resolve a concrete physical question in a specific setting.
Paper Structure (17 sections, 11 theorems, 218 equations)

This paper contains 17 sections, 11 theorems, 218 equations.

Table of Contents

  1. Introduction
  2. Definition of ZUS
  3. Rigidity theorem in the equal-dimension setting
  4. Rigidity on purity
  5. Preparation
  6. Proof that $\Lambda$ has Kraus rank one
  7. Purity from the Choi--Jamiołkowski operator
  8. Rigidity on entanglement
  9. Proper subalgebras always admit non-maximally entangled pure ZUS
  10. Classification relative to $\mathcal{A}$
  11. Larger memory dimension
  12. An operator-algebraic characterization of perfect coarse-grained steering
  13. Conclusion and outlook
  14. Acknowledgments
  15. A standard proof for the multiplicative domain
  16. ...and 2 more sections

Key Result

Theorem 3.1

Let $H_A$ be a finite-dimensional Hilbert space, let $\rho$ be a density operator on $H_A\otimes H_B$, and let $\mathcal{K}=\{K_1, \dots, K_n\}$ be a family of PVMs. Assume: Then $\rho$ is pure.

Theorems & Definitions (26)

  • Remark
  • Theorem 3.1
  • Proposition 3.2
  • proof
  • Lemma 3.3
  • proof
  • Lemma 3.4
  • proof
  • proof
  • Theorem 3.5
  • ...and 16 more