# Questions tagged [information-theory]

The tag is used for questions connected with information theory in classical and/or quantum sense.

147 questions
Filter by
Sorted by
Tagged with
90 views

### How many minimum Quantum Rats are needed to figure out which bottle contains poison?

For the classical Poison and Rat puzzle, we need at least $\lceil\log_2({\rm bottles})\rceil$ rats to figure out the poisoned bottle. If we have Schrödinger’s quantum rats, can we use fewer rats(...
21 views

33 views

### Quasi concavity of max-relative entropy?

The max-relative entropy between two states is defined as $$D_{\max }(\rho \| \sigma):=\log \min \{\lambda: \rho \leq \lambda \sigma\}.$$ It is known that the max-relative entropy is quasi-convex. ...
40 views

### Special properties of a channel whose Kraus decomposition contains Identity

I would like to know if there are any special properties of channels that permit a Kraus representation that includes an identity? That is, if I am given a Kraus representation of a CPTP map $\Phi$ ...
120 views

### No-cloning theorem and distinguishing between two non-orthogonal quantum states revisited

There are a couple of posts on this question, but I think they are not satisfactory. The question is Nielsen and Chuang's QCQI, Exercise 1.2, page 57, which asks "Explain how a device which, upon ...
63 views

### What does a quantum mutual information larger than its classical upper bound represent?

Let $\rho$ be a bipartite state. Its quantum mutual information is defined as $$\newcommand{\tr}{\operatorname{tr}}I(\rho) = S(\tr_B(\rho)) + S(\tr_A(\rho)) - S(\rho),$$ where $S(\sigma)$ is the von ...
50 views

### Does ${\rm tr}(\Pi_z\rho\Pi_z)\le p$ imply $\cal E(\rho)$ and $\cal E(\Pi_{-z}\rho\Pi_{-z})$ are close in trace distance?

Suppose I have a quantum operation $\mathcal{E}$ and a state $\rho$ such that: $$\operatorname{tr}(\Pi_z \rho \Pi_z) \le p$$ for some probability $p$ and some projection $\Pi_z$ onto some subspace ...
44 views

72 views

### Prove that autocompatible LCPT maps are antidegradable

A LCPT map $\Phi$ is antidegradable if and only if it is compatible with itself. The proof that an antidegradable map (satisfying $\Phi=\Lambda_E\circ \tilde\Phi$ where $\tilde\Phi$ is the ...
129 views

### How does the Kraus decomposition imply the Stinespring representation?

To show that the Kraus decomposition $\Phi(\rho)=\sum_{k=1}^D M_k\rho_S M_k^\dagger$ implies the Stinespring form $$\Phi(\rho)=\text{tr}_E[U_{SE}(\rho_S\otimes|0\rangle\langle 0|_E)U_{SE}^\dagger]$$ ...
40 views

### Why do we want the no error limit to be 1?

In a textbook by Nielsen and Chuang, there's the following paragraph: The idea of quantum data compression is that the compressed data should be recovered with very good fidelity. Think of the ...
54 views

101 views

### How to prove that the mutual information is subadditive?

Let $\mathbf x=(x_1,...,x_n)$ and $\mathbf y=(y_1,...,y_n)$ be two vectors of random variables. To make things concrete, assume that Alice sends each component $x_j$ through a noisy channel to Bob, ...
41 views

### Is the quantum mutual information variance bounded from above?

The relative entropy variance between two quantum states $\rho$ and $\sigma$ is defined to be $$V(\rho\|\sigma) = \text{Tr}(\rho(\log\rho - \log\sigma)^2) - D(\rho\|\sigma)^2,$$ where $D(\rho\|\sigma)$...
87 views

### How can the entropy of quantum states increase after projective measurements?

I'm reading Nielsen and chuang 11.3.3 Measurements and Entropy. It says after measurement, one's entropy increases. How is this possible? Shouldn't measurement decrease one's uncertainty?
105 views

### Can one quantify entanglement between different parts of a system?

Consider some state $|\psi\rangle$ of $n$ qubits. One can take any subsystem $A$ and compute its density matrix $\rho_A =Tr_{B} |\psi\rangle \langle\psi|$. The entanglement between subsystem $A$ and ...
### How to prove the positivity of the conditional quantum mutual information, $I(A;B|C)\ge0$?
I was reading Wilde's 'Quantum Information Theory' and saw the following theorem at chapter 11 $(11.7.2)$: $$I(A; B | C) \ge 0,$$ where, $$I(A;B|C) := H(A|C) + H(B | C) - H(AB|C).$$ I know that ...