List of earthquakes in South Africa

From formulasearchengine
Revision as of 15:37, 4 December 2013 by en>TheAlteredState
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Generalized relative entropy (ϵ-relative entropy) is a measure of dissimilarity between two quantum states. It is a "one-shot" analogue of quantum relative entropy and shares many properties of the latter quantity.

In the study of quantum information theory, we typically assume that information processing tasks are repeated multiple times, independently. The corresponding information-theoretic notions are therefore defined in the asymptotic limit. The quintessential entropy measure, von Neumann entropy, is one such notion. In contrast, the study of one-shot quantum information theory is concerned with information processing when a task is conducted only once. New entropic measures emerge in this scenario, as traditional notions cease to give a precise characterization of resource requirements. ϵ-relative entropy is one such particularly interesting measure.

In the asymptotic scenario, relative entropy acts as a parent quantity for other measures besides being an important measure itself. Similarly, ϵ-relative entropy functions as a parent quantity for other measures in the one-shot scenario.

Definition

To motivate the definition of the ϵ-relative entropy Dϵ(ρ||σ), consider the information processing task of hypothesis testing. In hypothesis testing, we wish to devise a strategy to distinguish between two density operators ρ and σ. A strategy is a POVM with elements Q and IQ. The probability that the strategy produces a correct guess on input ρ is given by Tr(ρQ) and the probability that it produces a wrong guess is given by Tr(σQ). ϵ-relative entropy captures the minimum probability of error when the state is σ, given that the success probability for ρ is at least ϵ.

For ϵ(0,1), the ϵ-relative entropy between two quantum statesρ and σ is defined as

Dϵ(ρ||σ)=log1ϵmin{Q,σ|0QI and Q,ρϵ}.

From the definition, it is clear that Dϵ(ρ||σ)0. This inequality is saturated if and only if ρ=σ, as shown below.

Relationship to the trace distance

Suppose the trace distance between two density operators ρ and σ is

||ρσ||1=δ.

For 0<ϵ<1, it holds that

a) logϵϵ(1ϵ)δDϵ(ρ||σ)logϵϵδ.

In particular, this implies the following analogue of the Pinsker inequality[1]

b) 1ϵϵ||ρσ||1Dϵ(ρ||σ).

Furthermore, the proposition implies that for any ϵ(0,1), Dϵ(ρ||σ)=0 if and only if ρ=σ, inheriting this property from the trace distance. This result and its proof can be found in Dupuis et al.[2]

Proof of inequality a)

Upper bound: Trace distance can be written as

||ρσ||1=max0Q1Tr(Q(ρσ)).

This maximum is achieved when Q is the orthogonal projector onto the positive eigenspace of ρσ. For any POVM element Q we have

Tr(Q(ρσ))δ

so that if Tr(Qρ)ϵ, we have

Tr(Qσ)Tr(Qρ)δϵδ.

From the definition of the ϵ-relative entropy, we get

2Dϵ(ρ||σ)ϵδϵ.

Lower bound: Let Q be the orthogonal projection onto the positive eigenspace of ρσ, and let Q¯ be the following convex combination of I and Q:

Q¯=(ϵμ)I+(1ϵ+μ)Q

where μ=(1ϵ)Tr(Qρ)1Tr(Qρ).

This means

μ=(1ϵ+μ)Tr(Qρ)

and thus

Tr(Q¯ρ)=(ϵμ)+(1ϵ+μ)Tr(Qρ)=ϵ.

Moreover,

Tr(Q¯σ)=ϵμ+(1ϵ+μ)Tr(Qσ).

Using μ=(1ϵ+μ)Tr(Qρ), our choice of Q, and finally the definition of μ, we can re-write this as

Tr(Q¯σ)=ϵ(1ϵ+μ)Tr(Qρ)+(1ϵ+μ)Tr(Qσ)
=ϵ(1ϵ)δ1Tr(Qρ)ϵ(1ϵ)δ.

Hence

Dϵ(ρ||σ)logϵϵ(1ϵ)δ.

Proof of inequality (b)

To derive this Pinsker-like inequality, observe that

logϵϵ(1ϵ)δ=log(1(1ϵ)δϵ)δ1ϵϵ.

Alternative proof of the Data Processing inequality

A fundamental property of von Neumann entropy is strong subadditivity. Let S(σ) denote the von Neumann entropy of the quantum state σ, and let ρABC be a quantum state on the tensor product Hilbert space ABC. Strong subadditivity states that

S(ρABC)+S(ρB)S(ρAB)+S(ρBC)

where ρAB,ρBC,ρB refer to the reduced density matrices on the spaces indicated by the subscripts. When re-written in terms of mutual information, this inequality has an intuitive interpretation; it states that the information content in a system cannot increase by the action of a local quantum operation on that system. In this form, it is better known as the data processing inequality, and is equivalent to the monotonicity of relative entropy under quantum operations:[3]

S(ρ||σ)S((ρ)||(σ))0

for every CPTP map , where S(ω||τ) denotes the relative entropy of the quantum states ω,τ.

It is readily seen that ϵ-relative entropy also obeys monotonicity under quantum operations:[4]

Dϵ(ρ||σ)Dϵ((ρ)||(σ)),

for any CPTP map . To see this, suppose we have a POVM (R,IR) to distinguish between (ρ) and (σ) such that R,(ρ)=(R),ρϵ. We construct a new POVM ((R),I(R)) to distinguish between ρ and σ. Since the adjoint of any CPTP map is also positive and unital, this is a valid POVM. Note that R,(σ)=(R),σQ,σ, where (Q,IQ) is the POVM that achieves Dϵ(ρ||σ). Not only is this interesting in itself, but it also gives us the following alternative method to prove the data processing inequality.[5]

By the quantum analogue of the Stein lemma,[6]

limn1nDϵ(ρn||σn)=limn1nlogmin1ϵTr(σnQ)
=D(ρ||σ)limn1n(log1ϵ)
=D(ρ||σ),

where the minimum is taken over 0Q1 such that Tr(Qρn)ϵ.

Applying the data processing inequality to the states ρn and σn with the CPTP map n, we get

Dϵ(ρn||σn)Dϵ((ρ)n||(σ)n).

Dividing by n on either side and taking the limit as n, we get the desired result.

See also

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

  1. Watrous, J. Theory of Quantum Information, Fall 2013. Ch. 5, page 194 https://cs.uwaterloo.ca/~watrous/CS766/DraftChapters/5.QuantumEntropy.pdf
  2. Dupuis, F., et al. "Generalized entropies." Template:Arxiv.
  3. Ruskai, Mary Beth. "Inequalities for quantum entropy: A review with conditions for equality." Journal of Mathematical Physics 43 (2002): 4358. Template:ArXiv
  4. Wang, L. and Renner, R. "One-shot classical-quantum capacity and hypothesis testing." Physical Review Letters 108.20 (2012): 200501. Template:ArXiv
  5. Dupuis, F., et al. "Generalized entropies." Template:Arxiv (2012).
  6. Petz, Dénes. Quantum information theory and quantum statistics. Springer, 2008. Chapter 8