Homework Set 1: Difference between revisions

From phys813
Jump to navigationJump to search
 
(110 intermediate revisions by 2 users not shown)
Line 1: Line 1:
== Problem 1 ==
== Problem 1: Expectation values of spin in pure vs. mixed quantum states ==


A researcher in spintronics is investigated two devices in order to generate spin-polarized currents. One of those devices has spins comprising the current described by the  density matrix:
A researcher in spintronics is investigated two devices in order to generate spin-polarized currents. One of those devices has spins comprising the current described by the  density matrix:




<math> \hat{\rho}_1 = \frac{|\uparrow \rangle \langle \uparrow| + |\downarrow \rangle \langle \downarrow|}{2} </math>,
<math> \hat{\rho}_1 = \frac{|\!\! \uparrow \rangle \langle \uparrow\!\!| + |\!\!\downarrow \rangle \langle \downarrow\!\!|}{2} </math>,




Line 10: Line 10:




<math> \hat{\rho}_2 = |u \rangle \langle u|</math> , where <math> \ |u\rangle = \frac{e^{i\alpha} |\uparrow\rangle + e^{i\beta}|\downarrow\rangle}{\sqrt{2}}</math>.
<math> \hat{\rho}_2 = |u \rangle \langle u|</math> , where <math> \ |u\rangle = \frac{e^{i\alpha} |\!\!\uparrow\rangle + e^{i\beta}|\!\!\downarrow\rangle}{\sqrt{2}}</math>.




Here <math> |\uparrow\rangle </math> and <math> |\downarrow\rangle </math> are the eigenstates of the Pauli spin matrix <math> \hat{\sigma}_z </math>:
Here <math> |\!\!\uparrow\rangle </math> and <math> |\!\!\downarrow\rangle </math> are the eigenstates of the Pauli spin matrix <math> \hat{\sigma}_z </math>:




<math> \hat{\sigma}_z |\uparrow \rangle = +1 |\uparrow \rangle, \ \hat{\sigma}_z |\downarrow \rangle = -1 |\downarrow \rangle </math>.
<math> \hat{\sigma}_z |\!\!\uparrow \rangle = +1 |\!\!\uparrow \rangle, \ \hat{\sigma}_z |\!\!\downarrow \rangle = -1 |\!\!\downarrow \rangle </math>.


   
   
What is the spin-polarization of these two currents? Comment on the physical meaning of the difference between the spin state transported by two currents.  
What is the spin-polarization of these two currents? Comment on the physical meaning of the difference between the spin state transported by two currents.  


HINT: Compute the x, y, and z components of the spin polarization vector using both of these density matrices following  the ''quantum-mechanical definition'' of an average value <math> P_{x,y,z} = \langle \sigma_{x,y,z}\rangle =\mathrm{Tr}\, [\hat{\rho} \hat{\sigma}_{x,y,z}] </math>.
'''HINT:''' Compute the x, y, and z components of the spin polarization vector using both of these density matrices following  the ''quantum-mechanical definition'' of expectation value <math> P_{x,y,z} = \langle \hat{\sigma}_{x,y,z}\rangle =\mathrm{Tr}\, [\hat{\rho} \hat{\sigma}_{x,y,z}] </math>. The  colloquial "spin-polarization" discussed in spintronics literature is <math> |\mathbf{P}| </math> in this rigorous description.


== Problem 2 ==
== Problem 2: Dynamics of the Bloch vector ==


The Hamiltonian of a single spin of an electron in external magnetic field <math> \mathbf{B} </math> is given by (assuming that gyromagnetic ration is unity):
The Hamiltonian of a single spin of an electron in external magnetic field <math> \mathbf{B} </math> is given by (assuming that gyromagnetic ration is unity):


<math> \hat{H} = -\frac{\hbar}{2} \mathbf{B} \cdot \vec{\sigma} </math>
<math> \hat{H} = -\frac{\hbar}{2} \mathbf{B} \cdot \hat{\boldsymbol{\sigma}} </math>


where <math> \vec{\sigma}=(\hat{\sigma}_x,\hat{\sigma}_y,\hat{\sigma}_z) </math> is the vector of the Pauli matrices. Show that the equation of motion  
where <math> \boldsymbol{\sigma}=(\hat{\sigma}_x,\hat{\sigma}_y,\hat{\sigma}_z) </math> is the vector of the Pauli matrices. Show that the von Neumann equation of motion  


<math> i \hbar \frac{\partial \hat{\rho}}{\partial t} = [\hat{H},\hat{\rho}] </math>  
<math> \frac{\partial \hat{\rho}}{\partial t} = -\frac{i}{\hbar} [\hat{H},\hat{\rho}] </math>  


for the density matrix of spin-<math> \frac{1}{2} </math> discussed in the class
for the density matrix of spin-1/2


<math> \hat{\rho} = \frac{1}{2} \left( 1 + \mathbf{P} \cdot \vec{\sigma} \right) </math>  
<math> \hat{\rho} = \frac{1}{2} \left( \hat{I} + \mathbf{P} \cdot \hat{\boldsymbol{\sigma}} \right) </math>  


can be recast into the equation of motion for the spin-polarization (or Bloch) vector
can be recast into the equation of motion for the Bloch (or spin-polarization) vector because <math> \hat{\mathbf{\rho}} </math> and <math> \mathbf{P} </math> are in one-to-one correspondence in the case of spin-1/2. Find explicitly the right hand side of such an equation:


<math> \frac{d \mathbf{P}}{dt} = -\mathbf{B} \times \mathbf{P}  </math>
<math> \frac{d \mathbf{P}}{dt} = ? </math>
 
since <math> \mathbf{\rho} </math> and <math> \mathbf{P} </math> are in one-to-one correspondence.


HINT: Use the following property of the Pauli matrices:
HINT: Use the following property of the Pauli matrices:
Line 47: Line 45:
<math> \hat{\sigma}_\alpha \hat{\sigma}_\beta - \hat{\sigma}_\beta \hat{\sigma}_\alpha = 2 i \epsilon_{\alpha \beta \gamma} \hat{\sigma}_\gamma </math>.
<math> \hat{\sigma}_\alpha \hat{\sigma}_\beta - \hat{\sigma}_\beta \hat{\sigma}_\alpha = 2 i \epsilon_{\alpha \beta \gamma} \hat{\sigma}_\gamma </math>.


== Problem 3: Does entropy increase in closed quantum systems? ==
== Problem 3: Does entropy increase in a closed quantum system? ==


In classical Hamiltonian systems the nonequilibrium entropy
In classical Hamiltonian systems the nonequilibrium entropy
Line 53: Line 51:
<math> S = -k_B \int \rho \ln \rho </math>  
<math> S = -k_B \int \rho \ln \rho </math>  


is constant. In this problem we want to demonstrate that in microscopic evolution of an isolated quantum system, the entropy is also time independent, even  
is constant in time. In this problem we want to demonstrate that in microscopic evolution of an ''isolated'' quantum system, the entropy is also time independent, even for general time-dependent density matrix <math> \hat{\rho} </math>. That is, using the equation of motion:
for general time-dependent density matrix <math> \hat{\rho} </math>. That is, using the equation of motion:


<math> i \hbar \frac{\partial \hat{\rho}}{\partial t} = [\hat{H},\hat{\rho}] </math>  
<math> i \hbar \frac{\partial \hat{\rho}}{\partial t} = [\hat{H},\hat{\rho}] </math>  
Line 60: Line 57:
prove that von Neumann entropy
prove that von Neumann entropy


<math> S=-k_B \mathrm{Tr}(\hat{\rho} \ln \hat{\rho}) </math>  
<math> S(t) =-k_B \mathrm{Tr}[\hat{\rho}(t) \ln \hat{\rho}(t)] </math>  


is time independent for arbitrary density matrix <math> \hat{\rho} </math>.
is time independent for arbitrary density matrix <math> \hat{\rho}(t) </math>.


HINT: Use <math> \mathrm{Tr}(\hat{A}\hat{B}\hat{C})=\mathrm{Tr}(\hat{C}\hat{A}\hat{B}) </math> for any operators <math> \hat{A} </math>, <math> \hat{B} </math>, <math> \hat{C} </math>, as well as that an operator <math> \hat{M} </math> commutes with any function <math> f(\hat{M}) </math>:
'''HINT:''' Use <math> \mathrm{Tr}(\hat{A}\hat{B}\hat{C})=\mathrm{Tr}(\hat{C}\hat{A}\hat{B}) </math> for any operators <math> \hat{A} </math>, <math> \hat{B} </math>, <math> \hat{C} </math>, as well as that an operator <math> \hat{M} </math> commutes with any function <math> f(\hat{M}) </math>:


<math> [\hat{M},f(\hat{M})]=0 </math>.
<math> [\hat{M},f(\hat{M})]=0 </math>.
== Problem 4: Successive measurements on subsystems of composite bipartite quantum system ==
Consider a quantum system composed of two spins, labeled as subsystem ''A'' and ''B''. The quantum state of the composite system is described by the following density matrix in the Hilbert space <math> \mathcal{H}_A \otimes \mathcal{H}_B </math>:
<math> \hat{\rho} = \frac{1}{8} \hat{I} + \frac{1}{2} |\Psi\rangle \langle \Psi| </math>
where <math> \hat{I}  </math> denotes the <math> 4 \times 4 </math> unit matrix in <math> \mathcal{H}_A \otimes \mathcal{H}_B </math> and
<math> |\Psi \rangle = \frac{1}{\sqrt{2}}\left( |\!\!\uparrow \rangle \otimes |\!\!\downarrow \rangle - |\!\!\downarrow \rangle \otimes |\!\!\uparrow \rangle \right) </math>
is entangled state (in the context of spins also called "singlet") of two spins.
Suppose we measure the first spin (subsystem ''A'') along the axis described by the unit vector <math> \mathbf{n} </math>, and the second spin (subsystem ''B'') along the axis described by the unit vector <math> \mathbf{m} </math>, where <math> \mathbf{n} \cdot \mathbf{m} = \cos \theta </math>. ''What is the probability that both spins are "spin-up" along their respective axes?''
'''HINT 1:''' In general, the probability to measure eigenvalue <math> \lambda </math> of a physical quantity in the quantum state described by the density matrix <math> \hat{\rho} </math> is given by <math> \mathrm{prob} = \mathrm{Tr}[ \hat{\rho} \hat{P}_\lambda]</math>. Here <math> \hat{P}_\lambda </math> is the projection operator on the eigensubspace corresponding to eigenvalue <math> \lambda </math>. To find the probability of measurement on the subsystem, one should use the density matrix of that subsystem, obtained by partial trace over the states
of the second subsystem. This means that the probability asked in the problem is defined by:
<math> \mathrm{prob} = \mathrm{Tr}_B \left\{ \hat{P}_\mathbf{m}^B \hat{\rho}^B \right\} =  \mathrm{Tr}_B \left\{ \hat{P}_\mathbf{m}^B  \mathrm{Tr}_A \left[(\hat{P}_\mathbf{n}^A \otimes \hat{I}^B) \hat{\rho} \right] \right\} </math>.
The eigenprojector for the "spin-up" (i.e., +1) eigenvalue along the <math> \mathbf{n} </math> -axis is simply:
<math> \hat{P}_\mathbf{n}^A = |\!\!\uparrow_\mathbf{n} \rangle \langle \uparrow_\mathbf{n} \!\!| = \frac{1}{2} \left( \hat{I}^A + \mathbf{n} \cdot \hat{\boldsymbol{\sigma}}^A \right) </math>.
We also use the fact that resulting state of the composite system after the selective measurement on subsystem ''A'' is described by the density matrix <math> \hat{P}_\mathbf{n}^A \hat{\rho} \hat{P}_\mathbf{n}^A </math>, so that subsystem ''B'' after the measurement on system ''A'' is "collapsed" onto the state described by the density matrix  <math> \hat{\rho}^B = \mathrm{Tr}_A [\hat{P}_\mathbf{n}^A \hat{\rho} \hat{P}_\mathbf{n}^A]= \mathrm{Tr}_A [\hat{P}_\mathbf{n}^A \hat{\rho}] </math>, where we use  cyclic property of the trace and <math> (\hat{P}_\mathbf{n}^A)^2=\hat{P}_\mathbf{n}^A </math>.
'''HINT 2:''' You can work this problem either in braket notation, or represent bras and kets with spinors and work with <math> 4 \times 4 </math> matrices. In the latter case, you will find [https://resources.wolframcloud.com/FunctionRepository/resources/MatrixPartialTrace/ Partial Trace function] built into Mathematica useufl.
== Problem 5: Ambiguity of ensemble decomposition of density operator ==
'''(a)''' Suppose we have a statistical mixture of spin-1/2 particles that consists of the state <math> |\uparrow_z \rangle </math>  with probability <math> (1+1/\sqrt{2})/2 </math> and the state <math> |\downarrow_z \rangle </math> with probability  <math> (1 - 1/\sqrt{2})/2 </math>. Find the matrix representation of the density operator (i.e., the density matrix) <math> \hat{\rho} </math> in the basis of states <math> \{|\uparrow_z \rangle , |\downarrow_z \rangle \} </math> of eigenstates of the Pauli matrix <math> \hat{\sigma}_z </math>, as well as in the basis <math> \{|\uparrow_x \rangle , |\downarrow_x \rangle \} </math> of eigenstates of the Pauli matrix <math> \hat{\sigma}_x </math>. Compute the purity <math> \mathrm{Tr}\, \hat{\rho}^2 </math> of this density matrix and its Bloch vector, and comment if it describes pure or genuinely mixed quantum state.
'''(b)''' Now suppose that we have a mixed state with <math> 1/2 </math> probability to have spin pointing along <math> \mathbf{e}_{n_1} = (\mathbf{e}_z + \mathbf{e}_x)/\sqrt{2} </math> and
<math> 1/2 </math> probability to have spin along <math> \mathbf{e}_{n_2} = (\mathbf{e}_z - \mathbf{e}_x)/\sqrt{2} </math>. Write density matrix of such state in the basis <math> \{|\uparrow_z \rangle , |\downarrow_z \rangle \} </math>
'''(c)''' Compare state in '''(a)''' to the one in '''(b)''', including comparing their Bloch vectors.  Are they the same or different?
'''HISTORICAL NOTE:''' The general theorem about when two different mixtures of pure quantum states represent the same 
density matrix <math> \hat{\rho} </math>:
<math> \hat{\rho} = \sum_i p_i |\Psi_i\rangle \langle \Psi_i| = \sum_j q_j |\Phi_i\rangle \langle \Phi_i| </math>
which requires:
<math> \sqrt{q_j} |\Phi_j \rangle = \sum_i U_{ji} \sqrt{p_i} |\Psi_i \rangle </math>
where <math>U_{ji}</math> are elements of a unitary matrix constructed within the proof, was proven by [https://www.cambridge.org/core/journals/mathematical-proceedings-of-the-cambridge-philosophical-society/article/abs/probability-relations-between-separated-systems/641DDDED6FB033A1B190B458E0D02F22 Schrödinger in 1936] (he commented "this theorem was one for which I claim no priority but the permission of deducing it in the following section, for it is certainly not well known"), and then rediscovered by [https://www.sciencedirect.com/science/article/abs/pii/0375960193908809?via%3Dihub Hughston, Jozsa, and Wootters (HJW) in 1993]. In [https://arxiv.org/abs/quant-ph/9807055 1998, Mermin] simplified a portion of HJW’s proof, commenting that
on it as "a pertinent theorem which deserves to be more widely known", while none of them knew about the original Schrödinger work (so, today it is proper to denote it as ''Schrödinger-HJW theorem'').

Latest revision as of 09:07, 12 March 2024

Problem 1: Expectation values of spin in pure vs. mixed quantum states

A researcher in spintronics is investigated two devices in order to generate spin-polarized currents. One of those devices has spins comprising the current described by the density matrix:


,


while the spins comprising the current in the other device are described by the density matrix


, where .


Here and are the eigenstates of the Pauli spin matrix :


.


What is the spin-polarization of these two currents? Comment on the physical meaning of the difference between the spin state transported by two currents.

HINT: Compute the x, y, and z components of the spin polarization vector using both of these density matrices following the quantum-mechanical definition of expectation value . The colloquial "spin-polarization" discussed in spintronics literature is in this rigorous description.

Problem 2: Dynamics of the Bloch vector

The Hamiltonian of a single spin of an electron in external magnetic field is given by (assuming that gyromagnetic ration is unity):

where is the vector of the Pauli matrices. Show that the von Neumann equation of motion

for the density matrix of spin-1/2

can be recast into the equation of motion for the Bloch (or spin-polarization) vector because and are in one-to-one correspondence in the case of spin-1/2. Find explicitly the right hand side of such an equation:

HINT: Use the following property of the Pauli matrices:

.

Problem 3: Does entropy increase in a closed quantum system?

In classical Hamiltonian systems the nonequilibrium entropy

is constant in time. In this problem we want to demonstrate that in microscopic evolution of an isolated quantum system, the entropy is also time independent, even for general time-dependent density matrix . That is, using the equation of motion:

prove that von Neumann entropy

is time independent for arbitrary density matrix .

HINT: Use for any operators , , , as well as that an operator commutes with any function :

.

Problem 4: Successive measurements on subsystems of composite bipartite quantum system

Consider a quantum system composed of two spins, labeled as subsystem A and B. The quantum state of the composite system is described by the following density matrix in the Hilbert space :

where denotes the unit matrix in and

is entangled state (in the context of spins also called "singlet") of two spins.

Suppose we measure the first spin (subsystem A) along the axis described by the unit vector , and the second spin (subsystem B) along the axis described by the unit vector , where . What is the probability that both spins are "spin-up" along their respective axes?

HINT 1: In general, the probability to measure eigenvalue of a physical quantity in the quantum state described by the density matrix is given by . Here is the projection operator on the eigensubspace corresponding to eigenvalue . To find the probability of measurement on the subsystem, one should use the density matrix of that subsystem, obtained by partial trace over the states of the second subsystem. This means that the probability asked in the problem is defined by:

.

The eigenprojector for the "spin-up" (i.e., +1) eigenvalue along the -axis is simply:

.

We also use the fact that resulting state of the composite system after the selective measurement on subsystem A is described by the density matrix , so that subsystem B after the measurement on system A is "collapsed" onto the state described by the density matrix , where we use cyclic property of the trace and .

HINT 2: You can work this problem either in braket notation, or represent bras and kets with spinors and work with matrices. In the latter case, you will find Partial Trace function built into Mathematica useufl.

Problem 5: Ambiguity of ensemble decomposition of density operator

(a) Suppose we have a statistical mixture of spin-1/2 particles that consists of the state with probability and the state with probability . Find the matrix representation of the density operator (i.e., the density matrix) in the basis of states of eigenstates of the Pauli matrix , as well as in the basis of eigenstates of the Pauli matrix . Compute the purity of this density matrix and its Bloch vector, and comment if it describes pure or genuinely mixed quantum state.

(b) Now suppose that we have a mixed state with probability to have spin pointing along and probability to have spin along . Write density matrix of such state in the basis

(c) Compare state in (a) to the one in (b), including comparing their Bloch vectors. Are they the same or different?

HISTORICAL NOTE: The general theorem about when two different mixtures of pure quantum states represent the same density matrix :

which requires:

where are elements of a unitary matrix constructed within the proof, was proven by Schrödinger in 1936 (he commented "this theorem was one for which I claim no priority but the permission of deducing it in the following section, for it is certainly not well known"), and then rediscovered by Hughston, Jozsa, and Wootters (HJW) in 1993. In 1998, Mermin simplified a portion of HJW’s proof, commenting that on it as "a pertinent theorem which deserves to be more widely known", while none of them knew about the original Schrödinger work (so, today it is proper to denote it as Schrödinger-HJW theorem).