complete_positivity.tex
Paper VII: Quantum Seed Calculus
complete_positivity.tex
This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.
1 \begin{tikzpicture}[x=1cm,y=1cm,>=Stealth,line cap=round,line join=round]
2 \path[use as bounding box] (0,-.6) rectangle (14,4.8);
3 \node[font=\small,align=center,font=\small] at (2.48,4.65) {$2(\id\otimes{\mathsf T})(\rho_{\rm Bell})$};
4 \path[draw=black!30,fill=black!8] (0.8,3.11) rectangle (1.64,3.95);
5 \node[font=\small,align=center,font=\small] at (1.22,3.53) {$1$};
6 \path[draw=black!30,fill=white] (1.64,3.11) rectangle (2.48,3.95);
7 \node[font=\small,align=center,font=\small] at (2.06,3.53) {$0$};
8 \path[draw=black!30,fill=white] (2.48,3.11) rectangle (3.32,3.95);
9 \node[font=\small,align=center,font=\small] at (2.9,3.53) {$0$};
10 \path[draw=black!30,fill=white] (3.32,3.11) rectangle (4.16,3.95);
11 \node[font=\small,align=center,font=\small] at (3.74,3.53) {$0$};
12 \path[draw=black!30,fill=white] (0.8,2.27) rectangle (1.64,3.11);
13 \node[font=\small,align=center,font=\small] at (1.22,2.69) {$0$};
14 \path[draw=black!30,fill=white] (1.64,2.27) rectangle (2.48,3.11);
15 \node[font=\small,align=center,font=\small] at (2.06,2.69) {$0$};
16 \path[draw=black!30,fill=black!8] (2.48,2.27) rectangle (3.32,3.11);
17 \node[font=\small,align=center,font=\small] at (2.9,2.69) {$1$};
18 \path[draw=black!30,fill=white] (3.32,2.27) rectangle (4.16,3.11);
19 \node[font=\small,align=center,font=\small] at (3.74,2.69) {$0$};
20 \path[draw=black!30,fill=white] (0.8,1.43) rectangle (1.64,2.27);
21 \node[font=\small,align=center,font=\small] at (1.22,1.85) {$0$};
22 \path[draw=black!30,fill=black!8] (1.64,1.43) rectangle (2.48,2.27);
23 \node[font=\small,align=center,font=\small] at (2.06,1.85) {$1$};
24 \path[draw=black!30,fill=white] (2.48,1.43) rectangle (3.32,2.27);
25 \node[font=\small,align=center,font=\small] at (2.9,1.85) {$0$};
26 \path[draw=black!30,fill=white] (3.32,1.43) rectangle (4.16,2.27);
27 \node[font=\small,align=center,font=\small] at (3.74,1.85) {$0$};
28 \path[draw=black!30,fill=white] (0.8,0.59) rectangle (1.64,1.43);
29 \node[font=\small,align=center,font=\small] at (1.22,1.01) {$0$};
30 \path[draw=black!30,fill=white] (1.64,0.59) rectangle (2.48,1.43);
31 \node[font=\small,align=center,font=\small] at (2.06,1.01) {$0$};
32 \path[draw=black!30,fill=white] (2.48,0.59) rectangle (3.32,1.43);
33 \node[font=\small,align=center,font=\small] at (2.9,1.01) {$0$};
34 \path[draw=black!30,fill=black!8] (3.32,0.59) rectangle (4.16,1.43);
35 \node[font=\small,align=center,font=\small] at (3.74,1.01) {$1$};
36 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (0.65,3.53) {00};
37 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (0.65,2.69) {01};
38 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (0.65,1.85) {10};
39 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (0.65,1.01) {11};
40 \node[font=\small,align=center] at (9.65,3.7) {$w=(\ket{01}-\ket{10})/\sqrt2$};
41 \node[font=\small,align=center] at (9.65,2.45) {$w^*(\id\otimes{\mathsf T})(\rho)w=-1/2$};
42 \node[font=\small,align=center,font=\small,text width=6cm] at (9.65,1) {Transpose is positive on one system.\\It is not completely positive.};
43 \end{tikzpicture}
Other PDFs for this work
Original file and source record
This copy matches the recorded source file. Its publication here does not change the work’s review status.
SHA-256: 049519926f61323f50b84d8a1c551db17450f406a81ffcbac0d8f951dfd40eb4