Manuscript Hawk05-C@1 · Hawk05-C.tex · section · ba0719f1

A deterministic Petz candidate and its certificate

Access algebras and independently certified recovery › A deterministic Petz candidate and its certificate · lines 1687–1702

Back to manuscript

Petz and universal recovery channels have important uses in entanglement-wedge reconstruction under additional hypotheses ChenPetz,CotlerRecovery. Those geometric conclusions are not imported here.

Let

∣ Φ_{d} ⟩ = \frac{1}{d} i \sum ∣ i ⟩_{Q} ∣ i ⟩_{C}, Φ_{d} = ∣ Φ_{d} ⟩ ⟨ Φ_{d} ∣, J_{n} (Φ) = (id_{Q} \otimes Φ) (Φ_{d}) .

Displayed formulas in this passage

unlabeled · line 1695
$∣ Φ_{d} ⟩ = \frac{1}{d} i \sum ∣ i ⟩_{Q} ∣ i ⟩_{C}, Φ_{d} = ∣ Φ_{d} ⟩ ⟨ Φ_{d} ∣, J_{n} (Φ) = (id_{Q} \otimes Φ) (Φ_{d}) .$

Nearby in this section

section: A deterministic Petz candidate and its certificate
lemma: Lemma: Full-domain Petz completion
lemma: Lemma: Normalized Choi comparison
theorem: Theorem: Independent recovery extrapolation
section: A deterministic Petz candidate and its certificate