\newcommand{\bra}[1]{\left<#1\right|}\newcommand{\ket}[1]{\left|#1\right>}\newcommand{\bk}[2]{\left<#1\middle|#2\right>}
I am trying to establish some properties of the linear map: T:\mathbb{C}^n \otimes \overline{\mathbb{C}^n} \to M_n(\mathbb{C}) given by: T(\ket{i} \otimes \ket{j}) = \ket{i}\bra{j} \text{ , } 0 \leq i,j \leq n-1.
Where \otimes denotes the tensor product, \overline{\mathbb{C}^n} is the conjugate space of the complex (finite) Hilbert space \mathbb{C}^n, and M_n(\mathbb{C}) is the set of n\times n matrices over \mathbb{C}.
I want to show the following:
(i) T is a bijection that preserves inner products (under the
Hilbert-Schmidt inner product on M_n(\mathbb{C})
(ii) T(\ket{\psi}\otimes\ket{\varphi} = \ket{\psi}\bra{\varphi} for
every \ket{\psi}, \ket{\varphi} \in \mathbb{C}^n.
I think part of my trouble is figuring out the Dirac notation / how the outer product works. I'm not sure exactly what \ket{i}\bra{j} looks like as a matrix (obviously it's a matrix in M_n(\mathbb{C}) but I'm not quite sure what the entries look like).
Also, I think part (ii) of the question is an immediate consequence from the fact that T is a linear, inner product preserving bijection, but I'm a bit confused about why \ket{\varphi} is now coming from \mathbb{C}^n rather than \overline{\mathbb{C}^n}.
Any help is appreciated.
No comments:
Post a Comment