Paper X: Universal Residual Seeds and Conditional Occupied-System Completion

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

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=\scriptsize] at (2.3,4.5) {$1$};
4 \node[font=\small,align=center,font=\scriptsize] at (3.27,4.5) {$2$};
5 \node[font=\small,align=center,font=\scriptsize] at (4.24,4.5) {$3$};
6 \node[font=\small,align=center,font=\scriptsize] at (5.21,4.5) {$4$};
7 \node[font=\small,align=center,font=\scriptsize] at (6.18,4.5) {$5$};
8 \node[font=\small,align=center,font=\scriptsize] at (7.15,4.5) {$6$};
9 \node[font=\small,align=center,font=\scriptsize] at (8.12,4.5) {$7$};
10 \node[font=\small,align=center,font=\scriptsize] at (9.09,4.5) {$8$};
11 \node[font=\small,align=center,font=\scriptsize] at (10.06,4.5) {$9$};
12 \node[font=\small,align=center,font=\scriptsize] at (11.03,4.5) {$10$};
13 \node[font=\small,align=center,anchor=east] at (1.25,3.93) {$X_1$};
14 \path[draw=black!25,fill=black!16] (1.85,3.68) rectangle (2.77,4.16);
15 \path[fill=black] (2.3,3.93) circle (0.055);
16 \path[draw=black!25,fill=black!16] (2.82,3.68) rectangle (3.74,4.16);
17 \path[fill=black] (3.27,3.93) circle (0.055);
18 \path[draw=black!25,fill=black!16] (3.79,3.68) rectangle (4.71,4.16);
19 \path[fill=black] (4.24,3.93) circle (0.055);
20 \path[draw=black!25,fill=black!16] (4.76,3.68) rectangle (5.68,4.16);
21 \path[fill=black] (5.21,3.93) circle (0.055);
22 \path[draw=black!25,fill=black!16] (5.73,3.68) rectangle (6.65,4.16);
23 \path[fill=black] (6.18,3.93) circle (0.055);
24 \path[draw=black!25,fill=black!16] (6.7,3.68) rectangle (7.62,4.16);
25 \path[fill=black] (7.15,3.93) circle (0.055);
26 \path[draw=black!25,fill=black!16] (7.67,3.68) rectangle (8.59,4.16);
27 \path[fill=black] (8.12,3.93) circle (0.055);
28 \path[draw=black!25,fill=black!16] (8.64,3.68) rectangle (9.56,4.16);
29 \path[fill=black] (9.09,3.93) circle (0.055);
30 \path[draw=black!25,fill=black!16] (9.61,3.68) rectangle (10.53,4.16);
31 \path[fill=black] (10.06,3.93) circle (0.055);
32 \path[draw=black!25,fill=black!16] (10.58,3.68) rectangle (11.5,4.16);
33 \path[fill=black] (11.03,3.93) circle (0.055);
34 \node[font=\small,align=center] at (12.1,3.93) {$\cdots$};
35 \node[font=\small,align=center,anchor=east] at (1.25,3.32) {$X_2$};
36 \path[draw=black!25,fill=white] (1.85,3.07) rectangle (2.77,3.55);
37 \path[draw=black!25,fill=black!16] (2.82,3.07) rectangle (3.74,3.55);
38 \path[fill=black] (3.27,3.32) circle (0.055);
39 \path[draw=black!25,fill=black!16] (3.79,3.07) rectangle (4.71,3.55);
40 \path[fill=black] (4.24,3.32) circle (0.055);
41 \path[draw=black!25,fill=black!16] (4.76,3.07) rectangle (5.68,3.55);
42 \path[fill=black] (5.21,3.32) circle (0.055);
43 \path[draw=black!25,fill=black!16] (5.73,3.07) rectangle (6.65,3.55);
44 \path[fill=black] (6.18,3.32) circle (0.055);
45 \path[draw=black!25,fill=black!16] (6.7,3.07) rectangle (7.62,3.55);
46 \path[fill=black] (7.15,3.32) circle (0.055);
47 \path[draw=black!25,fill=black!16] (7.67,3.07) rectangle (8.59,3.55);
48 \path[fill=black] (8.12,3.32) circle (0.055);
49 \path[draw=black!25,fill=black!16] (8.64,3.07) rectangle (9.56,3.55);
50 \path[fill=black] (9.09,3.32) circle (0.055);
51 \path[draw=black!25,fill=black!16] (9.61,3.07) rectangle (10.53,3.55);
52 \path[fill=black] (10.06,3.32) circle (0.055);
53 \path[draw=black!25,fill=black!16] (10.58,3.07) rectangle (11.5,3.55);
54 \path[fill=black] (11.03,3.32) circle (0.055);
55 \node[font=\small,align=center] at (12.1,3.32) {$\cdots$};
56 \node[font=\small,align=center,anchor=east] at (1.25,2.71) {$X_3$};
57 \path[draw=black!25,fill=white] (1.85,2.46) rectangle (2.77,2.94);
58 \path[draw=black!25,fill=white] (2.82,2.46) rectangle (3.74,2.94);
59 \path[draw=black!25,fill=black!16] (3.79,2.46) rectangle (4.71,2.94);
60 \path[fill=black] (4.24,2.71) circle (0.055);
61 \path[draw=black!25,fill=black!16] (4.76,2.46) rectangle (5.68,2.94);
62 \path[fill=black] (5.21,2.71) circle (0.055);
63 \path[draw=black!25,fill=black!16] (5.73,2.46) rectangle (6.65,2.94);
64 \path[fill=black] (6.18,2.71) circle (0.055);
65 \path[draw=black!25,fill=black!16] (6.7,2.46) rectangle (7.62,2.94);
66 \path[fill=black] (7.15,2.71) circle (0.055);
67 \path[draw=black!25,fill=black!16] (7.67,2.46) rectangle (8.59,2.94);
68 \path[fill=black] (8.12,2.71) circle (0.055);
69 \path[draw=black!25,fill=black!16] (8.64,2.46) rectangle (9.56,2.94);
70 \path[fill=black] (9.09,2.71) circle (0.055);
71 \path[draw=black!25,fill=black!16] (9.61,2.46) rectangle (10.53,2.94);
72 \path[fill=black] (10.06,2.71) circle (0.055);
73 \path[draw=black!25,fill=black!16] (10.58,2.46) rectangle (11.5,2.94);
74 \path[fill=black] (11.03,2.71) circle (0.055);
75 \node[font=\small,align=center] at (12.1,2.71) {$\cdots$};
76 \node[font=\small,align=center,anchor=east] at (1.25,2.1) {$X_4$};
77 \path[draw=black!25,fill=white] (1.85,1.85) rectangle (2.77,2.33);
78 \path[draw=black!25,fill=white] (2.82,1.85) rectangle (3.74,2.33);
79 \path[draw=black!25,fill=white] (3.79,1.85) rectangle (4.71,2.33);
80 \path[draw=black!25,fill=black!16] (4.76,1.85) rectangle (5.68,2.33);
81 \path[fill=black] (5.21,2.1) circle (0.055);
82 \path[draw=black!25,fill=black!16] (5.73,1.85) rectangle (6.65,2.33);
83 \path[fill=black] (6.18,2.1) circle (0.055);
84 \path[draw=black!25,fill=black!16] (6.7,1.85) rectangle (7.62,2.33);
85 \path[fill=black] (7.15,2.1) circle (0.055);
86 \path[draw=black!25,fill=black!16] (7.67,1.85) rectangle (8.59,2.33);
87 \path[fill=black] (8.12,2.1) circle (0.055);
88 \path[draw=black!25,fill=black!16] (8.64,1.85) rectangle (9.56,2.33);
89 \path[fill=black] (9.09,2.1) circle (0.055);
90 \path[draw=black!25,fill=black!16] (9.61,1.85) rectangle (10.53,2.33);
91 \path[fill=black] (10.06,2.1) circle (0.055);
92 \path[draw=black!25,fill=black!16] (10.58,1.85) rectangle (11.5,2.33);
93 \path[fill=black] (11.03,2.1) circle (0.055);
94 \node[font=\small,align=center] at (12.1,2.1) {$\cdots$};
95 \node[font=\small,align=center,anchor=east] at (1.25,1.49) {$X_5$};
96 \path[draw=black!25,fill=white] (1.85,1.24) rectangle (2.77,1.72);
97 \path[draw=black!25,fill=white] (2.82,1.24) rectangle (3.74,1.72);
98 \path[draw=black!25,fill=white] (3.79,1.24) rectangle (4.71,1.72);
99 \path[draw=black!25,fill=white] (4.76,1.24) rectangle (5.68,1.72);
100 \path[draw=black!25,fill=black!16] (5.73,1.24) rectangle (6.65,1.72);
101 \path[fill=black] (6.18,1.49) circle (0.055);
102 \path[draw=black!25,fill=black!16] (6.7,1.24) rectangle (7.62,1.72);
103 \path[fill=black] (7.15,1.49) circle (0.055);
104 \path[draw=black!25,fill=black!16] (7.67,1.24) rectangle (8.59,1.72);
105 \path[fill=black] (8.12,1.49) circle (0.055);
106 \path[draw=black!25,fill=black!16] (8.64,1.24) rectangle (9.56,1.72);
107 \path[fill=black] (9.09,1.49) circle (0.055);
108 \path[draw=black!25,fill=black!16] (9.61,1.24) rectangle (10.53,1.72);
109 \path[fill=black] (10.06,1.49) circle (0.055);
110 \path[draw=black!25,fill=black!16] (10.58,1.24) rectangle (11.5,1.72);
111 \path[fill=black] (11.03,1.49) circle (0.055);
112 \node[font=\small,align=center] at (12.1,1.49) {$\cdots$};
113 \node[font=\small,align=center,anchor=east] at (1.25,0.88) {$X_6$};
114 \path[draw=black!25,fill=white] (1.85,0.63) rectangle (2.77,1.11);
115 \path[draw=black!25,fill=white] (2.82,0.63) rectangle (3.74,1.11);
116 \path[draw=black!25,fill=white] (3.79,0.63) rectangle (4.71,1.11);
117 \path[draw=black!25,fill=white] (4.76,0.63) rectangle (5.68,1.11);
118 \path[draw=black!25,fill=white] (5.73,0.63) rectangle (6.65,1.11);
119 \path[draw=black!25,fill=black!16] (6.7,0.63) rectangle (7.62,1.11);
120 \path[fill=black] (7.15,0.88) circle (0.055);
121 \path[draw=black!25,fill=black!16] (7.67,0.63) rectangle (8.59,1.11);
122 \path[fill=black] (8.12,0.88) circle (0.055);
123 \path[draw=black!25,fill=black!16] (8.64,0.63) rectangle (9.56,1.11);
124 \path[fill=black] (9.09,0.88) circle (0.055);
125 \path[draw=black!25,fill=black!16] (9.61,0.63) rectangle (10.53,1.11);
126 \path[fill=black] (10.06,0.88) circle (0.055);
127 \path[draw=black!25,fill=black!16] (10.58,0.63) rectangle (11.5,1.11);
128 \path[fill=black] (11.03,0.88) circle (0.055);
129 \node[font=\small,align=center] at (12.1,0.88) {$\cdots$};
130 \node[font=\small,align=center,font=\footnotesize] at (7,-0.05) {$X_m=\{n\in\mathbb N:n\ge m\}$; every reduction is an inclusion.};
131 \end{tikzpicture}

Back to source controls

Back to Paper X: Universal Residual Seeds and Conditional Occupied-System Completion