Observational Entropy with General Quantum Priors
Ge Bai, Dominik Šafránek, Joseph Schindler, Francesco Buscemi, Valerio Scarani
arXiv:2308.08763
Von Neumann Entropy
arXiv:2308.08763
2
Observer is macroscopic
The entropy should also depend on their coarse-graining
John von Neumann
Microstate�probability
Unitary
Observational Entropy (OE) [Šafránek, Deutsch, Aguirre 2019]
arXiv:2308.08763
3
Observational entropy
State
Statistics
Measurement�POVM
The “volume” of POVM element
The probability of outcome
Observer is macroscopic
The entropy should also depend on their coarse-graining
John von Neumann
Observational Entropy (OE) [Šafránek, Deutsch, Aguirre 2019]
arXiv:2308.08763
4
State
Statistics
(always )
Von Neumann
Observational entropy
Measurement�POVM
Summary
arXiv:2308.08763
5
Observational entropy
Interpretation #1: statistical deficiency
Interpretation #2: irretrodictability
Unification in classical case
Mismatch in quantum case
Observational entropy with general quantum priors
Relative Entropy as Pseudo-Distance
arXiv:2308.08763
6
for states
for distributions
Interpretation 1: OE as Statistical Deficiency
arXiv:2308.08763
7
Interpretation #1: Observational Entropy as Statistical Deficiency
(uniform distribution)
Umegaki relative entropy
Interpretation 1: OE as Statistical Deficiency
arXiv:2308.08763
8
KL divergence
Interpretation #1: Observational Entropy as Statistical Deficiency
(uniform distribution)
Umegaki relative entropy
#1: Statistical Deficiency
uncertainty due to coarse-graining
intrinsic uncertainty
Retrodiction: Inferring the Cause
arXiv:2308.08763
9
Unknown true input,
what we want to know
Known observed output
A stochastic process that we can characterize
Healthy
Sick
Positive
Negative
Input
Output
Retrodiction with Bayes Rule
arXiv:2308.08763
10
Forward stochastic process
Unknown true�input distribution
Retrodiction process
Updated belief of�input distribution
Known transition probabilities
Reference input distribution�A belief of input distribution since the true one is unknown
Reference output distribution
Bayesian Inference
Healthy
Sick
Positive
Negative
Measurement as a Classical Process
arXiv:2308.08763
11
Forward input-output relation
True input distribution
Input-output joint distribution
Born rule
Prepare
Measurement
Retrodiction of Measurement
arXiv:2308.08763
12
12
Reverse input-output relation
from Bayes inference rule
Reference input distribution
Reference output
distribution
Observed output
distribution
Forward input-output relation
Depends on
arXiv:2308.08763
13
13
Interpretation #2: Observational Entropy as Irretrodictability
Reverse input-output relation
from Bayes inference rule
#2: Irretrodictability
Forward input-output relation
Unification and Mismatch
arXiv:2308.08763
14
#2: Irretrodictability
#1: Statistical Deficiency
Unification and Mismatch
arXiv:2308.08763
15
#2: Irretrodictability
#1: Statistical Deficiency
#1: Statistical Deficiency
A Quantum Bayes Rule
arXiv:2308.08763
16
Forward quantum process
Petz map: a quantum Bayes rule
Retrodiction process
Known quantum process
Unknown true�input state
Reference input state
Reference output state
Updated belief of input state
Unification and Mismatch
arXiv:2308.08763
17
#2: Irretrodictability
#1: Statistical Deficiency
#2: Irretrodictability
#1: Statistical Deficiency
arXiv:2308.08763
18
#3: Belavkin-Staszewski Relative Entropy
Observational Entropy with General Quantum Priors
Belavkin-Staszewski relative entropy
Equal to Umegaki relative entropy iff
Statistical deficiency
Irretrodictability
Some definition of “joint distribution” different from previous slide
KL divergence
arXiv:2308.08763
19
Using Umegaki relative entropy, two
interpretations #1, #2 do not match
#1 Statistical Deficiency
#2 Irretrodictablity
#3 BS Relative Entropy
#1 and #3 match if
All equal to von Neumann
entropy when can be
perfectly recovered
Perfectly recovered by Petz recovery
Different values �of
Von Neumann Entropy
Using Umegaki relative entropy
Summary
arXiv:2308.08763
20
Observational entropy
Interpretation #1: statistical deficiency
Interpretation #2: irretrodictability
Unification in classical case
Mismatch in quantum case
Observational entropy with general quantum priors
Discussion
arXiv:2308.08763
21
Statistical deficiency
Irretrodictability
Observational entropy with general quantum priors
Unification?
Measurement
General quantum processes
Q&A
Full paper on arXiv:2308.08763
arXiv:2308.08763
22