\documentclass[12pt,titlepage]{article}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}
%----Macros----------
%
% Unresolved issues:
%
% \righttoleftarrow
% \lefttorightarrow
%
% \color{} with HTML colorspec
% \bgcolor
% \array with options (without options, it's equivalent to the matrix environment)
% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}
% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.
% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother
% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
\ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
\else \append@sup#2 \@suptrue \fi%
\expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
\reset@sup\mk@scripts#3_/}
\makeatother
% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
\@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
\copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother
% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
% http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}
% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}
% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}
% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}
% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
<-6> MnSymbolE5
<6-7> MnSymbolE6
<7-8> MnSymbolE7
<8-9> MnSymbolE8
<9-10> MnSymbolE9
<10-12> MnSymbolE10
<12-> MnSymbolE12}{}
% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
\let#1=\undefined
\DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother
% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
\if\relax\noexpand#1%
\let#1\undefined
\fi
\DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother
% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
\setbox\z@\hbox{\m@th$#1#2$}%
\setbox\tw@\hbox{\m@th$#1%
\widehat{%
\vrule\@width\z@\@height\ht\z@
\vrule\@height\z@\@width\wd\z@}$}%
\dp\tw@-\ht\z@
\@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
\setbox\tw@\hbox{%
\raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
{\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother
% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter
% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother
%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}
%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}
% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}
%-------------------------------------------------------------------
\begin{document}
%-------------------------------------------------------------------
\section*{Experiments in Chris Wood on Tensor Networks for Open Quantum Systems}
\hypertarget{chris_wood_on_tensor_networks_for_open_quantum_systems_and_completely_positive_maps}{}\section*{{Chris Wood on tensor networks for open quantum systems and completely positive maps}}\label{chris_wood_on_tensor_networks_for_open_quantum_systems_and_completely_positive_maps}
For those of you following the \href{http://math.ucr.edu/home/baez/networks/networks.html}{Network Theory} series, we've been trying to unify concepts across an apriori seemingly distinct range of topics. For this reason, I jokingly and seriously at the same time call this \textbf{the grand unified network theory project}. This post is more of a news item related to some potentially interesting work.
Before getting suckered into working on the network project by [[John Baez]], I was considering topics related to quantum networks. Today I want to mention some recent work I took part in, related to quantum networks and initiated by \href{http://iqc.uwaterloo.ca/iqc-directory/cwood}{Chris Wood} from the Institute for Quantum Computing (\href{http://iqc.uwaterloo.ca/}{IQC}) in Canada. A future direction of the network theory project will be to consider open quantum systems. We might build on and use some of the results appearing in the following preprint.
\begin{itemize}%
\item \href{http://arxiv.org/pdf/1111.6950}{Tensor networks and graphical calculus for open quantum systems}, Christopher J. Wood, Jacob D. Biamonte and David G. Cory, in review, arXiv:1111.6950, (2011).
\end{itemize}
There is a story behind how this project all got started, and if you have a moment, you can read it right now. \href{http://old.iqc.uwaterloo.ca/~mmosca/web/index.php}{Mike Mosca} invited me to IQC to teach my course on tensor networks. Chris Wood must have been bored, but regardless of the reason, he showed up. He was not even enrolled in the course initially, but he liked it enough that he signed up. Chris was already an expert in open quantum systems, he wrote what I consider a very solid honours thesis on the topic
\begin{itemize}%
\item \href{http://arxiv.org/pdf/0911.3199v1}{Non-completely positive maps: properties and applications}, Christopher J. Wood, Honours thesis, 110 pages, Macquarie University, arXiv:0911.3199, (2008).
\end{itemize}
In his thesis, Chris explains a lot of the background in open quantum systems before going into several reserach results. You might be thinking, ``that's one heck of a masters thesis'', but in fact, this is his undergraduate thesis! He got a 1st class degree and a university medal for this, ended up doing a masters at Perimeter Institute and is now working towards his PhD at IQC. In his thesis, he made use of the so called quantum circuits model, and as is typical in the field of quantum information, he drew pictures such as
Here the wedge shaped diagram with edges labelled $A$ and $S$ depicts the so called \href{http://en.wikipedia.org/wiki/Bell_state}{Bell-state}. He could have used a curved line like we did in our paper, but it's just syntax. He drew other diagrams too, for increasingly complicated scenarios including
Where did all these diagrams come from and what do they mean? Well, we're not going to have time to explain that here, but for those that are curious about quantum network theory, I can shamelessly recommend my own lecture series on the topic.
\begin{itemize}%
\item Youtube series, \href{http://www.qubit.org/iqc2011}{Lectures on Tensor Network States}, QIC 890/891 Selected Advanced Topics in Quantum Information, The University of Waterloo, Waterloo Ontario, Canada, (2011).
\end{itemize}
If you're not happy with my course, I suggest you make a better one. I even placed all of the \LaTeX\xspace source for my lectures notes online to download if you wanted to base parts of your new course on what I did. In my course, we talked a lot about using \href{http://en.wikipedia.org/wiki/Penrose_graphical_notation}{Penrose graphical notation} for tensor network states. For instance,
Here Oxford Professor, \href{http://en.wikipedia.org/wiki/Roger_Penrose}{Roger Penrose} is expressing a so called density operator using the graphical tensor notation he pioneered. One of the key citations to his work includes
\begin{itemize}%
\item \href{http://qubit.org/content/biamonte/penrose-applications-of-negative-dimensional-tensors-1971.pdf}{Applications of negative dimensional tensors}, Roger Penrose in Combinatorial Mathematics and its Applications, Academic Press (1971).
\end{itemize}
To get an idea of what sorts of things you can find in this 1971 paper, consider
Here Penrose is explaining what we call ``Penrose wire bending duality''. As he explains, the input and output of diagram can be changed at will, by simply bending inputs to outputs and vise versa.
To get an idea of what this means exactly, consider the following figure from the paper.
What this is showing is known as the Kraus picture of open systems evolution. To explain this diagram, we have a quantum state $\rho$ acted on by operators $K$.
Of course, expressing the known pictures of evolution into string diagrams would not get published in a journal. It is well known that one can express quantum equations in terms of string diagrams, and follows from work done as early as the 1960's and 1970's by Penrose and others. What we did was something different.
We can use Penrose duality and bend one of the wires the other way around. We can then slide a box around the bent wire and manipulate the diagram a bit to arrive at the following
The form we arrive at already has a name. It is called the superoperator picture of open systems evolution. We translated from one picture to another, using pictures. This was the point of the paper. There are several so called pictures of open systems evolution, and we considered how the Penrose graphical notation can be used to transform between them.
This is perhaps the simplest case, but it illustrates the key idea. If you are very interested, we encourage you to read the paper and take a look at figure 1.
The boxes are the different pictures we consider and for each arrow, we give a transformation between them. This is even explained a bit in the abstract.
\begin{itemize}%
\item `We develop a graphical calculus for completely positive maps and in doing so cast the theory of open quantum systems into the language of tensor networks. We tailor the theory of tensor networks to pictographically represent the Liouville-superoperator, Choi-matrix, process-matrix, Kraus, and system-environment representations for the evolution of open-system states, to expose how these representations interrelate, and to concisely transform between them. Several of these transformations have succinct depictions as wire bending dualities in our graphical calculus --- reshuffling, vectorization, and the Choi-Jamiolkowski isomorphism. The reshuffling duality between the Choi-matrix and superoperator is bi-directional, while the vectorization and Choi-Jamiolkowski dualities, from the Kraus and system-environment representations to the superoperator and Choi-matrix respectively, are single directional due to the non-uniqueness of the Kraus and system-environment representations. The remaining transformations are not wire bending duality transformations due to the nonlinearity of the associated operator decompositions. Having new tools to investigate old problems can often lead to surprising new results, and the graphical calculus presented in this paper should lead to a better understanding of the interrelation between CP-maps and quantum theory.'
\end{itemize}
If you have ideas, we'd like to hear them: please feel free to email us. If you have a few quick questions about the paper, Chris Wood will be around today to respond to them. He lives in Waterloo Canada right now which is on the East Coast. I'm in Singapore, so if it's the middle of the night in Waterloo, I'll answer them.
Now before we go, I should mention what some of you might have noticed. We are using what \href{http://www.iqc.ca/institute/news_fulltext.php?id=159}{David Cory} suggested as the color convention. In the diagrams, like colored pictures are summed over. This could of course be replaced by attaching colored diagrams with a connecting wire in the Penrose graphical notation. However, the color convention proved helpful for our work considering open systems. To get an idea of how nice it looks, here is a proof of Penrose's snake equation.
category:experiments
\end{document}