Relation between Mutual information and Expectation Values

Click For Summary
SUMMARY

The discussion focuses on the relationship between mutual information and expectation values in quantum mechanics. The mutual information between two states, Alice and Bob, is calculated as ##I(\rho_A:\rho_B) = S(\rho_A) + S(\rho_B) - S(\rho_{AB}) = 2##. The user encounters challenges in computing the expectation value ##\langle\psi |\mathcal{O}_A|\psi \rangle## due to mismatched matrix sizes. The correct approach involves using the tensor product to compute ##\langle\psi | \mathcal{O}_A \otimes \mathcal{I}| \psi\rangle## and ##\langle\psi |\mathcal{I} \otimes \mathcal{O}_B | \psi\rangle## for the respective operators.

PREREQUISITES
  • Understanding of quantum states and operators
  • Familiarity with mutual information in quantum systems
  • Knowledge of tensor products in linear algebra
  • Basic skills in matrix multiplication
NEXT STEPS
  • Study the properties of mutual information in quantum mechanics
  • Learn about expectation values in quantum states
  • Explore the concept of tensor products in quantum systems
  • Investigate the implications of operator size mismatches in quantum mechanics
USEFUL FOR

Quantum physicists, researchers in quantum information theory, and students studying quantum mechanics who seek to understand the calculations involving mutual information and expectation values.

blueinfinity
Messages
1
Reaction score
0
Homework Statement
Alice and Bob share the Bell state
\begin{align*}
|\psi\rangle = \frac{1}{\sqrt{2}}(|00\rangle+|11\rangle).
\end{align*}
Consider the pair of observables
\begin{align*}
\mathcal{O}_A =
\begin{pmatrix}
1 & 0 \\ 0 & \frac{1}{2}
\end{pmatrix}
, \qquad \mathcal{O}_B =
\begin{pmatrix}
1 & 0 \\ 0 & \frac{1}{3}
\end{pmatrix}
.
\end{align*}
Show the mutual information between Alice and Bob is larger than $(\langle\psi | \mathcal{O}_A \otimes \mathcal{O}_B| \psi\rangle - \langle\psi |\mathcal{O}_A|\psi \rangle \langle\psi |\mathcal{O}_B|\psi \rangle)^2 $
Relevant Equations
\begin{align*}
|\psi\rangle = \frac{1}{\sqrt{2}}(|00\rangle+|11\rangle).
\end{align*}
Consider the pair of observables
\begin{align*}
\mathcal{O}_A =
\begin{pmatrix}
1 & 0 \\ 0 & \frac{1}{2}
\end{pmatrix}
, \qquad \mathcal{O}_B =
\begin{pmatrix}
1 & 0 \\ 0 & \frac{1}{3}
\end{pmatrix}
.
\end{align*}
I've make progress in obtaining the values for the mutual information using the following:
$I(\rho_A:\rho_B) = S(\rho_A) +S(\rho_B) - S(\rho_{AB}) = 1 + 1 - 0 = 2.$

I would like to compute the expectation but I'm facing a problem in the case of $\langle\psi |\mathcal{O}_A|\psi \rangle$ since the size of matrices in this multiplication do not match. namely, $\langle\psi$ is of size $1\times 4$ and $|\psi \rangle$ is of size $4\times 1$ and the matrix $\mathcal{O}_A$ is $2 \times 2$.
I'm very new to the subject and I would greatly appreciate if I could have some guidance on how the computations for this expectation would be carried out.

additionally I have computed the $\langle\psi | \mathcal{O}_A \otimes \mathcal{O}_B| \psi\rangle$ by first computing the tensor product of the two matrices $A,B$ and then taken the multiplication with the Bra and Ket of the state respectively deducing
$$\langle\psi | \mathcal{O}_A \otimes \mathcal{O}_B| \psi\rangle = \frac{7}{12}$$.

I would appreciate any insight on this.
 
Physics news on Phys.org
:welcome:

You need two hashes as the delimiter for inline Latex.
 
Here it is edited:
Show the mutual information between Alice and Bob is larger than ##(\langle\psi | \mathcal{O}_A \otimes \mathcal{O}_B| \psi\rangle - \langle\psi |\mathcal{O}_A|\psi \rangle \langle\psi |\mathcal{O}_B|\psi \rangle)^2 ##

I've make progress in obtaining the values for the mutual information using the following:
##I(\rho_A:\rho_B) = S(\rho_A) +S(\rho_B) - S(\rho_{AB}) = 1 + 1 - 0 = 2.##

I would like to compute the expectation but I'm facing a problem in the case of ##\langle\psi |\mathcal{O}_A|\psi \rangle## since the size of matrices in this multiplication do not match. namely, ##\langle\psi## is of size ##1\times 4## and ##|\psi \rangle## is of size ##4\times 1## and the matrix ##\mathcal{O}_A## is ##2 \times 2##.
I'm very new to the subject and I would greatly appreciate if I could have some guidance on how the computations for this expectation would be carried out.

additionally I have computed the ##\langle\psi | \mathcal{O}_A \otimes \mathcal{O}_B| \psi\rangle## by first computing the tensor product of the two matrices ##A,B## and then taken the multiplication with the Bra and Ket of the state respectively deducing...

I think that for ##\langle\psi |\mathcal{O}_A|\psi \rangle## you calculate ##\langle\psi | \mathcal{O}_A \otimes \mathcal I| \psi\rangle##, and for ##\langle\psi |\mathcal{O}_B|\psi \rangle##, it is ##\langle\psi |\mathcal I \otimes \mathcal{O}_B | \psi\rangle##.

(But I am new to it, too.)
 
Last edited:
  • Like
Likes   Reactions: blueinfinity

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
2
Views
2K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 47 ·
2
Replies
47
Views
6K
  • · Replies 2 ·
Replies
2
Views
2K