|
|
Line 1: |
Line 1: |
| '''The min entropy''' is a conditional information measure. It is a one-shot analogue of the [[conditional quantum entropy]].
| | Deer Farmer Bedell from Lively, has interests including arts, property developers in singapore and fossils. Is encouraged how enormous the world is after making a journey to Historic Centre of Guimarães.<br><br>Feel free to surf to my weblog; [http://www.dondeconsigo.net/members/donettebiaggin/ condos for sale] |
| | |
| To interpret a conditional information measure, suppose Alice and Bob were to share a bipartite quantum state <math>\rho_{AB}</math>. Alice has access to system A and Bob to system B. The conditional entropy measures the average uncertainty Bob has about Alice's state upon sampling from his own system. The min entropy can be interpreted as the distance of a state from a maximally entangled state.
| |
| | |
| This concept is useful in quantum cryptography, in the context of privacy amplification (See for example <ref>Vazirani, Umesh, and Thomas Vidick. "Fully device independent quantum key distribution." {{ arxiv|1210.1810}} (2012)</ref>).
| |
| | |
| == Definitions ==
| |
| | |
| Definition: Let <math>\rho_{AB}</math> be a bipartite density operator on the space <math>\mathcal{H}_A \otimes \mathcal{H}_B</math>. The min-entropy of A conditioned on B is defined to be
| |
| | |
| :::<math>H_{\min}(A|B)_{\rho} \equiv -\inf_{\sigma_B}D_{\max}(\rho_{AB}||I_A \otimes \sigma_B)</math>
| |
| | |
| where the infimum ranges over all density operators <math>\sigma_B</math> on the space <math>\mathcal{H}_B</math>. The measure <math>D_{\max}</math> is the maximum relative entropy defined as
| |
| | |
| :::<math>D_{\max}(\rho||\sigma) = \inf_{\lambda}\{\lambda:\rho \leq 2^{\lambda}\sigma\}</math>
| |
| | |
| The smooth min entropy is defined in terms of the min entropy.
| |
| | |
| :::<math>H_{\min}^{\epsilon}(A|B)_{\rho} = \sup_{\rho'} H_{\min}(A|B)_{\rho'}</math>
| |
| | |
| where the sup and inf range over density operators <math>\rho'_{AB}</math> which are <math>\epsilon</math>-close to <math>\rho_{AB}
| |
| </math>. This measure of <math>\epsilon</math>-close is defined in terms of the purified distance
| |
| | |
| :::<math>P(\rho,\sigma) = \sqrt{1 - F(\rho,\sigma)^2}</math>
| |
| | |
| where <math> F(\rho,\sigma)</math> is the [[fidelity of quantum states|fidelity]] measure.
| |
| | |
| These quantities can be seen as generalizations of the [[von Neumann entropy]]. Indeed, the von Neumann entropy can be expressed as
| |
| | |
| :::<math>S(A|B)_{\rho} = \lim_{\epsilon\rightarrow 0}\lim_{n\rightarrow\infty}\frac{1}{n}H_{\min}^{\epsilon}(A^n|B^n)_{\rho^{\otimes n}}~.</math>
| |
| This is called the fully asymptotic equipartition theorem.<ref>Beaudry, Normand J., and Renato Renner. "An intuitive proof of the data processing inequality." Quantum Information & Computation 12.5-6 (2012): 432-441. {{arxiv| 1107.0740}}</ref>
| |
| The smoothed entropies share many interesting properties with the von Neumann entropy. For example, the smooth min entropy is strongly subadditive<ref>Beaudry, Normand J., and Renato Renner. "An intuitive proof of the data processing inequality." Quantum Information & Computation 12.5-6 (2012): 432-441. {{arxiv| 1107.0740}}</ref>
| |
| :::<math>H_{\min}^{\epsilon}(A|B)_{\rho} \geq H_{\min}^{\epsilon}(A|BC)_{\rho}~.</math>
| |
| | |
| == Operational interpretation of smoothed min entropy ==
| |
| | |
| Henceforth, we shall drop the subscript <math>\rho</math> from the min entropy when it is obvious from the context on what state it is evaluated.
| |
| | |
| === Min-entropy as uncertainty about classical information ===
| |
| Suppose an agent had access to a quantum system B whose state <math>\rho_{B}^x</math> depends on some classical variable X. Furthermore, suppose that each of its elements <math>x</math> is distributed according to some distribution <math>P_X(x)</math>. This can be described by the following state over the system XB.
| |
| | |
| :::<math>\rho_{XB} = \sum_x P_X (x) |x\rangle\langle x| \otimes \rho_{B}^x</math>
| |
| | |
| where <math>\{|x\rangle\}</math> form an orthonormal basis. We would like to know what can the agent can learn about the classical variable <math>x</math>. Let <math>p_g(X|B)</math> be the probability that the agent guesses X when using an optimal measurement strategy
| |
| | |
| :::<math>p_g(X|B) = \sum_x P_X(x)tr(E_x \rho_B^x)</math>
| |
| | |
| where <math>E_x</math> is the POVM that maximizes this expression. It can be shown that this optimum can be expressed in terms of the min-entropy as
| |
| | |
| :::<math>p_g(X|B) = 2^{-H_{\min}(X|B)}~.</math>
| |
| | |
| If the state <math>\rho_{XB}</math> is a product state i.e. <math>\rho_{XB} = \sigma_X \otimes \tau_B</math> for some density operators <math>\sigma_X</math> and <math>\tau_B</math>, then there is no correlation between the systems X and B. In this case, it turns out that <math>2^{-H_{\min}(X|B)} = \max_x P_X(x)~.</math>
| |
| | |
| ==== Min-entropy as distance from maximally entangled state ====
| |
| | |
| The maximally entangled state <math>|\phi^+\rangle</math> on a bipartite system <math>\mathcal{H}_A \otimes \mathcal{H}_B</math> is defined as
| |
| | |
| :::<math>|\phi^+\rangle_{AB} = \frac{1}{\sqrt{d}} \sum_{x_A,x_B} |x_A\rangle |x_B\rangle</math>
| |
| | |
| where <math>\{|x_A\rangle\}</math> and <math>\{|x_B\rangle\}</math> form an orthonormal basis for the spaces A and B respectively.
| |
| For a bipartite quantum state <math>\rho_{AB}</math>, we define the maximum overlap with the maximally entangled state as
| |
| | |
| :::<math>q_{c}(A|B) = d \max_{\mathcal{E}} F\left((I_A \otimes \mathcal{E}) \rho_{AB}, |\phi^+\rangle\langle \phi^{+}|\right)</math>
| |
| | |
| where the maximum is over all CPTP operations <math>\mathcal{E}</math>. This is a measure of how correlated the state <math>\rho_{AB}</math> is. It can be shown that <math>q_c(A|B) = 2^{-H_{\min}(A|B)}</math>. If the information contained in A is classical, this reduces to the expression above for the guessing probability.
| |
| | |
| === Proof of operational characterization of min-entropy ===
| |
| | |
| The proof is from a paper by Konig, Schaffner, Renner '08.<ref>Konig, R., Renato Renner, and Christian Schaffner. "The operational meaning of min-and max-entropy." Information Theory, IEEE Transactions on 55.9 (2009): 4337-4347. {{arxiv|0807.1338}}</ref> It involves the machinery of [[semidefinite programming|semidefinite programs]],.<ref>John Watrous, Theory of quantum information, Fall 2011, course notes, https://cs.uwaterloo.ca/~watrous/CS766/LectureNotes/07.pdf</ref> Suppose we are given some bipartite density operator <math>\rho_{AB}</math>. From the definition of the min-entropy, we have
| |
| | |
| :::<math>H_{\min}(A|B) = - \inf_{\sigma_B} \inf_{\lambda} \{ \lambda | \rho_{AB} \leq 2^{\lambda}(I_A \otimes \sigma_B)\}~.</math>
| |
| | |
| This can be re-written as
| |
| | |
| :::<math>\log \inf_{\sigma_B} \operatorname{Tr}(\sigma_B)</math>
| |
| | |
| subject to the conditions
| |
| | |
| :::<math>\sigma_B \geq 0</math>
| |
| :::<math>I_A \otimes \sigma_B \geq \rho_{AB}~.</math>
| |
| | |
| We notice that the infimum is taken over compact sets and hence can be replaced by a minimum. This can then be expressed succinctly as a semidefinite program. Consider the primal problem
| |
| | |
| :::<math>\text{min:}\operatorname{Tr} (\sigma_B)</math>
| |
| :::<math>\text{subject to: } I_A \otimes \sigma_B \geq \rho_{AB}</math>
| |
| ::::::::<math>\sigma_B \geq 0~.</math>
| |
| | |
| This primal problem can also be fully specified by the matrices <math>(\rho_{AB},I_B,\operatorname{Tr}^*)</math> where <math>\operatorname{Tr}^*</math> is the adjoint of the partial trace over A. The action of <math>\operatorname{Tr}^*</math> on operators on B can be written as
| |
| | |
| :::<math>\operatorname{Tr}^*(X) = I_A \otimes X~.</math>
| |
| | |
| We can express the dual problem as a maximization over operators <math>E_{AB}</math> on the space AB as
| |
| | |
| :::<math>\text{max:}\operatorname{Tr}(\rho_{AB}E_{AB})</math>
| |
| :::<math>\text{subject to: } \operatorname{Tr}_A(E_{AB}) = I_B</math>
| |
| ::::::::<math>I_B \geq 0~.</math>
| |
| | |
| Using the [[channel-state duality|Choi Jamiolkowski isomorphism]], we can define the channel <math>\mathcal{E}</math> such that
| |
| :::<math>I_A \otimes \mathcal{E}^{\dagger}(|\phi^{+}\rangle\langle\phi^{+}|) = E_{AB}</math>
| |
| where the bell state is defined over the space AA'. This means that we can express the objective function of the dual problem as
| |
| | |
| :::<math>\langle \rho_{AB}, E_{AB} \rangle = \langle \rho_{AB}, I_A \otimes \mathcal{E}^{\dagger} (|\phi^+\rangle\langle \phi^+|) \rangle</math>
| |
| ::::::::<math>=\langle I_A \otimes \mathcal{E}(\rho_{AB}), |\phi^+\rangle\langle \phi^+|) \rangle</math>
| |
| as desired.
| |
| | |
| Notice that in the event that the system A is a partly classical state as above, then the quantity that we are after reduces to
| |
| :::<math>\max P_X(x) \langle x | \mathcal{E}(\rho_B^x)|x \rangle~.</math>
| |
| We can interpret <math>\mathcal{E}</math> as a guessing strategy and this then reduces to the interpretation given above where an adversary wants to find the string <math>x</math> given access to quantum information via system B.<ref>Konig, R., Renato Renner, and Christian Schaffner. "The operational meaning of min-and max-entropy." Information Theory, IEEE Transactions on 55.9 (2009): 4337-4347. {{arxiv| 0807.1338}}</ref>
| |
| | |
| ==See also==
| |
| *[[von Neumann entropy]]
| |
| *[[Generalized relative entropy]]
| |
| | |
| ==References==
| |
| {{reflist}}
| |
| | |
| [[Category:Quantum mechanical entropy]]
| |
Deer Farmer Bedell from Lively, has interests including arts, property developers in singapore and fossils. Is encouraged how enormous the world is after making a journey to Historic Centre of Guimarães.
Feel free to surf to my weblog; condos for sale