The Theory of Statistical Comparison - Home Page of Math CM ...

2 downloads 92 Views 679KB Size Report
Aug 28, 2016 - Prerequisites for the first part (general results):. ✓ basics of probability and information theory: ra
The Theory of Statistical Comparison with Applications in Quantum Information Science

Francesco Buscemi (Nagoya University) [email protected]

Tutorial Lecture for AQIS2016 Academia Sinica, Taipei, Taiwan 28 August 2016 these slides are available for download at http://goo.gl/5toR7X

Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

1 / 26

Prerequisites Prerequisites for the first part (general results): 4 basics of probability and information theory: random variables, joint and conditional probabilities, expectation values, etc 4 in particular, noisy channels as probabilistic maps between two sets w : A → B: given input a ∈ A , the probability to have output b ∈ B is given by conditional probability w(b|a) 4 basics of quantum information theory: Hilbert spaces, density operators, ensembles, POVMs, quantum channels ≡ CPTP maps, composite systems and tensor products, etc Prerequisites for the second part (applications): 4 resource theories, in particular, quantum thermodynamics: idea of the general setting and of the problem treated (in particular, some knowledge of majorization theory is helpful) 4 entanglement and quantum nonlocality: general ideas such as Bell inequalities, nonocal games, entangled states, etc 4 open systems dynamics: basic ideas such as reduced dynamics, Markov chains and Markovian evolutions, divisibility, etc (quantum case only sketched, see references)

Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

2 / 26

Part I Statistical Comparison: General Results

Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

3 / 26

Statistical Games (aka Decision Problems) 4 Definition. A statistical game is a triple (Θ, U , `), where Θ = {θ} and U = {u} are finite sets, and ` is a function `(θ, u) ∈ R. 4 Interpretation. We assume that θ is the value of a parameter influencing what we observe, but that cannot be observed “directly.” Now imagine that we have to choose an action u, and that this choice will earn or cost us `(θ, u). For example, θ is a possible medical condition, u is the choice of treatment, and `(θ, u) is the overall “efficacy.” 4 Resource. Before choosing our action, we are allowed “to spy” on θ by performing an experiment (i.e., visiting the patient). Mathematically, an experiment is given as a sample set X = {x} (i.e., observable symptoms) together with a conditional probability w(x|θ) or, equivalently, a family of distributions {wθ (x)}θ∈Θ . 4 Probabilistic decision. The choice of an action can be probabilistic (i.e., patients with the same symptoms are randomly given different therapies). Hence, a decision is mathematically given as a conditional probability d(u|x). Θ

experiment

−→

X

decision

−→

U

−→

x

−→

u

=⇒ `(θ, u) θ

w(x|θ)

d(u|x)

4 Example in information theory. Imagine that θ is the input to a noisy channel, x is the output we receive, and u is the message we decode. Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

4 / 26

How much is an experiment worth?

Θ

experiment

−→

X

decision

−→

U

−→

x

−→

u

=⇒ `(θ, u) θ

w(x|θ)

d(u|x)

4 experiments help us choosing the action “sensibly.” How much would you pay for an experiment? P 1 4 Expected payoff. E` [w] , maxd(u|x) u,x,θ `(θ, u)d(u|x)w(x|θ) |Θ| . (Bayesian assumption for simplicity, but this is not necessary.) 4 consider now a different experiment (but about the same unknown parameter θ) with sample set Y = {y} and conditional probability w0 (y|θ). Which is better between w(x|θ) and w0 (y|θ)? 4 such questions are considered in the theory of statistical comparison: a very deep field of mathematical statistics, pioneered by Blackwell and greatly developed by Le Cam and Torgersen, among others. 4 Today’s tutorial. Basic results of statistical comparison, some quantum generalizations, and finally some applications (quantum thermodynamics, quantum nonlocality, open quantum systems dynamics). Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

5 / 26

Comparison of Experiments: Blackwell’s Theorem (1953) 4 Assumption. We compare experiments about the same unknown parameter θ

Definition (Information Ordering) We say that w(x|θ) is more informative than w0 (y|θ), in formula, w(x|θ)  w0 (y|θ), if and only if E` [w] > E` [w0 ] for all statistical games (Θ, U , `). 4 Remark 1. In the above definition, Θ is fixed, while U and ` vary: the relation E` [w] > E` [w0 ] must hold for all choices of U and `. 4 Remark 2. The ordering  is partial.

Theorem (Blackwell, 1953) w(x|θ)  w0 (y|θ) if and only if there exists a conditional probability ϕ(y|x) such that X w0 (y|θ) = ϕ(y|x)w(x|θ) . x

4 as a diagram: Θ

experiment

−→

X

−→

noise

Y

decision

−→

U

−→

x

−→

y

−→

u

=⇒ `(θ, u) θ

w(x|θ) Francesco Buscemi

ϕ(y|x)

d(u|y)

Quantum Statistical Comparison

28 August 2016

6 / 26

Quantum Decision Problems (Holevo, 1973) classical case • • • • • •

quantum case

statistical game (Θ, U , `) sample set X experiment w = {wθ (x)} probabilistic decision d(u|x) P 1 pc (u, θ) = x d(u|x)w(x|θ) |Θ| P E` [w] = maxd(u|x) `(θ, u)pc (u, θ)

Θ θ

• • • • • •

statistical game (Θ, U , `) Hilbert space HS ensemble E = {ρθS } u POVM (measurement)  θ u  1{PS } pq (u, θ) = Tr ρS PS |Θ| P E` [E] = max{PSu } `(θ, u)pq (u, θ)

experiment

−→

X

decision

−→

U

Θ

−→

x

−→

u

θ

ensemble

−→

HS

POVM

−→

U

−→

ρθS

−→

u

4 Remark. The same statistical game (Θ, U , `) can be played with classical resources (statistical experiments and decisions) or quantum resources (ensembles and POVMs). Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

7 / 26

Comparison of Quantum Ensembles (Vanilla Version) 4 consider now another ensemble E 0 = {σSθ 0 } (different Hilbert space HS 0 , different density operators, but same parameter set Θ)

Definition (Information Ordering) We say that E = {ρθS } is more informative than E 0 = {σSθ 0 }, in formula, E  E 0 , if and only if E` [E] > E` [E 0 ] for all statistical games (Θ, U , `). 4 given ensemble E = {ρθS }, define the linear subspace P θ EC , { θ cθ ρS : cθ ∈ C} ⊆ L(HS )

Theorem (Vanilla Quantum Blackwell’s Theorem) E  E 0 if and only if there exists a linear, hermitian-preserving, trace-preserving map L : L(HS ) → L(HS 0 ) such that: 1

θ for all θ ∈ Θ, L(ρθS ) = σS 0

2

L is positive on EC : if PS ∈ EC is positive semidefinite, i.e., PS > 0, then L(PS ) > 0

4 Side remark. In fact, the map L is somewhat more than just positive on EC : it is a quantum statistical morphism on EC . In general: PTP on L(HS ) =⇒ stat. morph. on EC =⇒ PTP on EC ⇐ 6 =

Francesco Buscemi

Quantum Statistical Comparison

⇐ 6 =

28 August 2016

8 / 26

Quantum Ensembles versus Classical Experiments (Semiclassical Version) 4 Reminder. Any statistical game (Θ, U , `) can be played with classical resources (statistical experiments and decisions) or quantum resources (ensembles and POVMs) 4 we can hence compare a quantum ensemble E = {ρθS } with a classical statistical experiment w = {wθ (x)}

Theorem (Semiquantum Blackwell’s Theorem)   {ρθS }  {wθ (x)} if and only if there exists a POVM {PSx } such that wθ (x) = Tr PSx ρθS , for all θ ∈ Θ and all x ∈ X .

Equivalent reformulation Consider two ensembles E = {ρθS } and E 0 = {σSθ 0 } and assume that the σ’s all commute. Then, E  E 0 if and only if there exists a quantum channel (CPTP map) Φ : L(HS ) → L(HS 0 ) such that Φ(ρθS ) = σSθ 0 , for all θ ∈ Θ. 4 as a diagram: Θ θ Francesco Buscemi

ensemble

−→

HS

quantum noise

−→

HS 0

−→

ρθS

−→

σSθ 0

E

Φ

Quantum Statistical Comparison

POVM

−→

U

−→

u

{Qu 0 } S

28 August 2016

9 / 26

Compositions of Ensembles 4 consider two parameter sets, Θ = {θ} and Ω = {ω}, two Hilbert spaces, HS and ω HR , and two ensembles, E = {ρθS }θ∈Θ and F = {τR }ω∈Ω . Then we denote as ω θ F ⊗ E the ensemble {τR ⊗ ρS }ω∈Ω,θ∈Θ 4 clearly, F ⊗ E is itself an ensemble with parameter set Ω × Θ and Hilbert space HR ⊗ H S 4 with F ⊗ E, we can play extended statistical games (Ω × Θ, U , `) with `(ω, θ; u) ∈ R; the interpretation does not change 4 we have, for example, E` [F ⊗ E] = max u

{PRS }

X

`(ω, θ; u)

u,ω,θ

 ω  u Tr (τR ⊗ ρθS ) PRS |Ω| · |Θ|

4 as a diagram: Ω×Θ (ω, θ)

Francesco Buscemi

ensemble

−→

HR ⊗ HS

POVM

−→

U

−→

ω τR ⊗ ρθS

−→ u

u

F ⊗E

=⇒ `(ω, θ; u) {PRS }

Quantum Statistical Comparison

28 August 2016

10 / 26

Quantum Blackwell’s Theorem (Fully Quantum Version) 4 Extended comparison. Given two ensembles E = {ρθS } and E 0 = {σSθ 0 }, we can ω supplement them both with the same extra ensemble F = {τR } and play statistical games (Ω × Θ, U , `).

Definition (Extended information ordering) We say that E = {ρθS } is completely more informative than E 0 = {σSθ 0 }, in formula, ω E 3 E 0 , if and only if E` [F ⊗ E] > E` [F ⊗ E 0 ] for all extra ensembles F = {τR } and all statistical games (Ω × Θ, U , `).

4 Remark. In the classical case, 3 ⇐⇒ . In the quantum case, in general, only 3 =⇒  holds (analogously to “positivity” versus “complete positivity”)

Theorem (Fully Quantum Blackwell’s Theorem) E 3 E 0 if and only if there exists a quantum channel (CPTP map) Φ : L(HS ) → L(HS 0 ) such that σSθ 0 = Φ(ρθS ) for all θ ∈ Θ.

Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

11 / 26

Intermediate Summary

4 Original. Experiment w(x|θ) is more informative than experiment w0 (y|θ), i.e., w(x|θ)  w0 (y|θ), if and only Pif there exists a noisy channel (conditional probability) ϕ(y|x) such that w0 (y|θ) = x ϕ(y|x)w(x|θ) 4 Quantum vanilla. Ensemble E = {ρθS } is more informative than ensemble E 0 = {σSθ 0 }, i.e., E  E 0 , if and only if there exists a quantum statistical morphism L on EC such that L(ρθS ) = σSθ 0 for all θ ∈ Θ 4 Semiquantum. Ensemble E = {ρθS } is more informative than commuting ensemble E 0 = {σSθ 0 }, i.e., E  E 0 , if and only if there exists a quantum channel (CPTP map) Φ such that Φ(ρθS ) = σSθ 0 for all θ ∈ Θ 4 Fully quantum. Ensemble E = {ρθS } is completely more informative than ensemble E 0 = {σSθ 0 }, i.e., E 3 E 0 , if and only if there exists a quantum channel (CPTP map) Φ such that Φ(ρθS ) = σSθ 0 for all θ ∈ Θ

Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

12 / 26

Part II Applications to Quantum Information Science

Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

13 / 26

Section 1 Quantum Thermodynamics

Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

14 / 26

The Binary Case, i.e. Θ = {1, 2} 4 assume that the unknown parameter has only two possible values Θ = {θ1 , θ2 } ≡ {1, 2} 4 in this case, classical statistical experiments become pairs of distributions {w1 (x), w2 (x)}, called “dichotomies” 4 Binary statistical game. A statistical game (Θ, U , `) with Θ = U = {1, 2}

Theorem (Blackwell’s Theorem for Dichotomies) Given two dichotomies w = {w1 (x), w2 (x)} and w0 = {w10 (y), w20 (y)}, w  w0 if and only if E` [w] > E` [w0 ] for all binary statistical games.

4 in other words, when Θ = {1, 2}, the “value” of a classical statistical experiment can be estimated with binary decisions: {1, 2}

experiment

−→

X

−→

x

decision

−→

{1, 2}

−→

u

=⇒ `(θ, u) θ

w(x|θ)

d(u|x)

4 in formula: for classical dichotomies, w  w0 ⇐⇒ w 2 w0 . (The symbol 2 denotes the information ordering restricted to binary statistical games.) Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

15 / 26

Graphical Interpretation 4 given a distribution p(x) denote by p↓i its i-th largest entry 4 given two distributions p(x) and L(p, Pq(x), define  q) to be the piecewise linear curve k ↓ Pk ↓ joining the points (xk , yk ) = q , p with the origin (0, 0) i=1 i i=1 i

4 Fact. {p(x), q(x)} 2 {p0 (y), q 0 (y)} if and only if L(p, q) > L(p0 , q 0 )

Blackwell’s theorem for dichotomies (reformulation) 0 0 L(p, q) > PL(p , q ) if and only 0 if therePexists a conditional probability ϕ(y|x) such that 0 p (y) = x ϕ(y|x)p(x) and q (y) = x ϕ(y|x)q(x)

4 if q = q 0 = e uniform distribution: Lorenz curves and majorization 4 if q = q 0 = g Gibbs (thermal) distribution: thermomajorization Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

16 / 26

Quantum Lorenz Curve 4 we saw that the ordering 2 is described by Lorenz curves 4 how does the ordering 2 look like for quantum dichotomies?

Definition (Quantum Lorenz Curve) Given a binary ensemble E = {ρ1 , ρ2 }, define the curve L(ρ1 , ρ2 ) as the upper boundary of the region R(ρ1 , ρ2 ) , {(x, y) = (Tr[E ρ2 ] , Tr[E ρ1 ]) : 0 6 E 6 1}

4 Fact 1. Given two quantum dichotomies E = {ρ1 , ρ2 } and E 0 = {ρ01 , ρ02 }, E 2 E 0 if and only if L(ρ1 , ρ2 ) > L(ρ01 , ρ02 ) 4 Fact 2. A result by Alberti and Uhlmann (1980) implies that, if both quantum ensembles are on C2 , then L(ρ1 , ρ2 ) > L(ρ01 , ρ02 ) if and only if there exists a CPTP map Φ such that Φ(ρi ) = ρ0i for i = 1, 2 Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

17 / 26

Section 2 Entanglement and Quantum Nonlocality

Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

18 / 26

Nonlocal Games

4 a nonlocal game (Bell inequality) is a bipartite decision problem played “in parallel” by space-like separated players; itP is formally given as G = (X , Y ; A , B; `) 4 Classical source. pc (a, b|x, y) = λhdA (a|x, λ)dB (b|y, λ)π(λ) i a|x

b|y

4 Quantum source. pq (a, b|x, y) = Tr ρAB (PA ⊗ QB ) 4 Expected payoff. X 1 1 EG [ρAB ] , max `(x, y; a, b)pq (a, b|x, y) a|x b|y |X | |Y | {P },{Q } A

B

x,y,a,b

4 Classical value. Ecl G , Francesco Buscemi

X

max dA (a|x),dB (b|y)

`(x, y; a, b)dA (a|x)dB (b|y)

x,y,a,b

Quantum Statistical Comparison

1 1 |X | |Y | 28 August 2016

19 / 26

Comparison of Bipartite Quantum States

4 consider two bipartite density operators: ρAB on HA ⊗ HB and σA0 B 0 on HA0 ⊗ HB 0

Definition (Nonlocality Ordering) We say that ρAB is more nonlocal than σA0 B 0 , in formula, ρAB nl σA0 B 0 , if and only if EG [ρAB ] > EG [σA0 B 0 ] for all nonlocal games G = (X , Y ; A , B; `).

4 in other words, ρAB allows to violate any Bell inequality at least as much as σA0 B 0 does 4 can we prove a Blackwell theorem for bipartite quantum states? what does the condition ρAB nl σA0 B 0 imply about the existence of a transformation from ρAB into σA0 B 0 ? 4 unfortunately not much, because of a phenomenon called... 4 Hidden Nonlocality. Werner (1989) showed that there exist entangled bipartite states that do not exceed the classical value, for all possible Bell inequalities

Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

20 / 26

Quantum Nonlocal Games

y x 4 a quantum nonlocal game is given by Γ = {X , Y , {τA ˜ }, {ωB ˜ }; A , B; `} 4 Expected payoff. i h y a b x Tr (τA X ˜ ⊗ QB B ˜) ˜ ⊗ ρAB ⊗ ωB ˜ ) (PAA EΓ [ρAB ] , max `(x, y; a, b) b |X | · |Y | {P a ˜ },{Q ˜ } AA

BB

x,y,a,b

Theorem (Blackwell’s Theorem for Bipartite Quantum States) EΓ [ρAB ] > EΓ [σA0 B 0 ] for all quantum nonlocalPgames Γ if and only if there exist CPTP maps ΦiA→A0 and ΨiB→B 0 such that σA0 B 0 = i p(i)(ΦiA ⊗ ΨiB )(ρAB ) 4 Remark. Such transformations are called “local operations with shared randomness” (LORS) 4 application: measurement-device independent entanglement witnesses (MDIEW) Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

21 / 26

Section 3 Open Systems Dynamics

Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

22 / 26

Background: Communication Games 4 recall: a statistical game is as follows Θ

experiment

−→

X

decision

−→

U

−→

x

−→

u

=⇒ `(θ, u) θ

w(x|θ)

d(u|x)

4 we also interpreted θ as the input to the channel, x as the output, and u as the decoded message 4 let’s add the encoding into the picture: U u

encoding

−→

Θ

−→

θ

e(θ|u)

channel

−→

X

−→

x

w(x|θ)

decoding

−→

U

−→

u ˆ

d(ˆ u|x)

4 a communication game is a triple (U , Θ, e(θ|u)) and the payoff is the probability of guessing the message correctly: e Pguess [w] , max

d(ˆ u|x)

Francesco Buscemi

X

d(u|x)w(x|θ)e(θ|u)

u,θ,x

Quantum Statistical Comparison

1 |U |

28 August 2016

23 / 26

Divisible Evolutions

4 a system S is prepared at time t0 and put in contact with an external reservoir (i.e., the environment); consider two snapshots at times t1 > t0 and t2 > t1 4 two channels, w1 and w2 , describe the evolution of the system from t0 to t1 and from t0 to t2 , respectively 4 the evolution from t0 → t1 → t2 is physically divisible (or “memoryless”) whenever there exists another channel ϕ such that w2 = ϕ ◦ w1

Theorem (Blackwell’s Theorem for Open Systems Dynamics) e e The evolution t0 → t1 → t2 is divisible if and only if Pguess [w1 ] > Pguess [w2 ] for all communication games (U , Θ, e(θ|u))

4 for the quantum case, see the references for further details Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

24 / 26

Essential Bibliography (this list is not meant to be an exhaustive bibliography, but only a selection of accessible, introductory, mostly self-contained texts on the topics covered in this lecture) General theory: 4 D. Blackwell and M.A. Girshick, Theory of games and statistical decisions. (Dover Publications, 1979). 4 A.S. Holevo, Statistical decision theory for quantum systems. Journal of Multivariate Analysis 3, 337–394 (1973). 4 P.K. Goel and J. Ginebra, When is one experiment ‘always better than’ another? Journal of the Royal Statistical Society, Series D (The Statistician) 52(4), 515–537 (2003). 4 F. Liese and K.-J. Miescke, Statistical decision theory. (Springer, 2008). 4 F. Buscemi, Comparison of quantum statistical models: equivalent conditions for sufficiency. Communications in Mathematical Physics 310(3), 625–647 (2012). arXiv:1004.3794 [quant-ph]. Quantum Lorenz curves: 4 J.M. Renes, Relative submajorization and its use in quantum resource theories. arXiv:1510.03695 [quant-ph]. 4 F. Buscemi and G. Gour, Quantum relative Lorenz curves. arXiv:1607.05735 [quant-ph]. Quantum nonlocal games: 4 F. Buscemi, All entangled states are nonlocal. Physical Review Letters 108, 200401 (2012). Open quantum systems dynamics: 4 F. Petruccione and H.-P. Breuer, The Theory of Open Quantum Systems. (Oxford University Press, Oxford, 2002). 4 A. Rivas, S.F. Huelga, and M. B. Plenio, Quantum non-Markovianity: characterization, quantification and detection. Reports on Progress in Physics 77, 094001 (2014). 4 F. Buscemi and N. Datta, Equivalence between divisibility and monotonic decrease of information in classical and quantum stochastic processes. Physical Review A 93, 012101 (2016). 4 F. Buscemi, Reverse data-processing theorems and computational second laws. arXiv:1607.08335 [quant-ph]. Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

25 / 26

Thank You

slides available for download at http://goo.gl/5toR7X

Francesco Buscemi

Quantum Statistical Comparison

28 August 2016

26 / 26