typed_spaces.tex
Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates
typed_spaces.tex
This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.
1 \begin{tikzpicture}[x=1cm,y=1cm,>=Latex,
2 every node/.style={font=\sffamily\small},line cap=round,line join=round]
3 \node[anchor=east] at (-0.3500,0.0000) {Seed at $U$};
4 \filldraw[fill=black!75,draw=white] (0.0,-0.27) rectangle ++(.80,.54);
5 \node[text=white] at (0.4000,0.0000) {$u_1$};
6 \filldraw[fill=black!75,draw=white] (0.95,-0.27) rectangle ++(.80,.54);
7 \node[text=white] at (1.3500,0.0000) {$u_2$};
8 \filldraw[fill=black!75,draw=white] (1.9,-0.27) rectangle ++(.80,.54);
9 \node[text=white] at (2.3000,0.0000) {$v_1$};
10 \filldraw[fill=black!75,draw=white] (2.8499999999999996,-0.27) rectangle ++(.80,.54);
11 \node[text=white] at (3.2500,0.0000) {$v_2$};
12 \filldraw[fill=black!8,draw=white] (3.8,-0.27) rectangle ++(.80,.54);
13 \node[text=black!60] at (4.2000,0.0000) {$v_3$};
14 \node[anchor=west] at (4.9500,0.0000) {$\dim H=4$};
15 \node[anchor=east] at (-0.3500,-0.8500) {Add $v_3$};
16 \filldraw[fill=black!75,draw=white] (0.0,-1.12) rectangle ++(.80,.54);
17 \node[text=white] at (0.4000,-0.8500) {$u_1$};
18 \filldraw[fill=black!75,draw=white] (0.95,-1.12) rectangle ++(.80,.54);
19 \node[text=white] at (1.3500,-0.8500) {$u_2$};
20 \filldraw[fill=black!75,draw=white] (1.9,-1.12) rectangle ++(.80,.54);
21 \node[text=white] at (2.3000,-0.8500) {$v_1$};
22 \filldraw[fill=black!75,draw=white] (2.8499999999999996,-1.12) rectangle ++(.80,.54);
23 \node[text=white] at (3.2500,-0.8500) {$v_2$};
24 \filldraw[fill=black!75,draw=white] (3.8,-1.12) rectangle ++(.80,.54);
25 \node[text=white] at (4.2000,-0.8500) {$v_3$};
26 \node[anchor=west] at (4.9500,-0.8500) {$\dim H=5$};
27 \node[anchor=east] at (-0.3500,-1.7000) {One mixed seed};
28 \filldraw[fill=black!75,draw=white] (0.0,-1.97) rectangle ++(.80,.54);
29 \node[text=white] at (0.4000,-1.7000) {$u_1$};
30 \filldraw[fill=black!75,draw=white] (0.95,-1.97) rectangle ++(.80,.54);
31 \node[text=white] at (1.3500,-1.7000) {$u_2$};
32 \filldraw[fill=black!75,draw=white] (1.9,-1.97) rectangle ++(.80,.54);
33 \node[text=white] at (2.3000,-1.7000) {$v_1$};
34 \filldraw[fill=black!75,draw=white] (2.8499999999999996,-1.97) rectangle ++(.80,.54);
35 \node[text=white] at (3.2500,-1.7000) {$v_2$};
36 \filldraw[fill=black!75,draw=white] (3.8,-1.97) rectangle ++(.80,.54);
37 \node[text=white] at (4.2000,-1.7000) {$v_3$};
38 \node[anchor=west] at (4.9500,-1.7000) {$\dim H=5$};
39 \draw[dashed,black!50] (1.7750,0.6000) -- (1.7750,-2.1200);
40 \node[] at (0.8750,0.6000) {$U$};
41 \node[] at (3.3000,0.6000) {$V$};
42 \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: 308c142bbeed39c40381bd22f7f5333791b4a32c773127e5e3bd474872a8c956
Back to Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates