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 (3.5,4.45) {$3^{0}$};
4 \node[font=\small,align=center,font=\scriptsize] at (4.73,4.45) {$3^{1}$};
5 \node[font=\small,align=center,font=\scriptsize] at (5.96,4.45) {$3^{2}$};
6 \node[font=\small,align=center,font=\scriptsize] at (7.19,4.45) {$3^{3}$};
7 \node[font=\small,align=center,font=\scriptsize] at (8.42,4.45) {$3^{4}$};
8 \node[font=\small,align=center,font=\scriptsize] at (9.65,4.45) {$3^{5}$};
9 \node[font=\small,align=center,font=\scriptsize] at (10.88,4.45) {$3^{6}$};
10 \node[font=\small,align=center,anchor=east] at (1.95,3.85) {$a_k=3^{0}$};
11 \path[draw=black!25,fill=black!18] (2.93,3.6) rectangle (4.08,4.08);
12 \node[font=\small,align=center,font=\scriptsize] at (3.5,3.85) {$1$};
13 \path[draw=black!25,fill=white] (4.16,3.6) rectangle (5.31,4.08);
14 \node[font=\small,align=center,font=\scriptsize] at (4.73,3.85) {$0$};
15 \path[draw=black!25,fill=white] (5.39,3.6) rectangle (6.54,4.08);
16 \node[font=\small,align=center,font=\scriptsize] at (5.96,3.85) {$0$};
17 \path[draw=black!25,fill=white] (6.62,3.6) rectangle (7.77,4.08);
18 \node[font=\small,align=center,font=\scriptsize] at (7.19,3.85) {$0$};
19 \path[draw=black!25,fill=white] (7.85,3.6) rectangle (9,4.08);
20 \node[font=\small,align=center,font=\scriptsize] at (8.42,3.85) {$0$};
21 \path[draw=black!25,fill=white] (9.08,3.6) rectangle (10.23,4.08);
22 \node[font=\small,align=center,font=\scriptsize] at (9.65,3.85) {$0$};
23 \path[draw=black!25,fill=white] (10.31,3.6) rectangle (11.46,4.08);
24 \node[font=\small,align=center,font=\scriptsize] at (10.88,3.85) {$0$};
25 \node[font=\small,align=center,anchor=east] at (1.95,3.22) {$a_k=3^{1}$};
26 \path[draw=black!25,fill=white] (2.93,2.97) rectangle (4.08,3.45);
27 \node[font=\small,align=center,font=\scriptsize] at (3.5,3.22) {$0$};
28 \path[draw=black!25,fill=black!18] (4.16,2.97) rectangle (5.31,3.45);
29 \node[font=\small,align=center,font=\scriptsize] at (4.73,3.22) {$1$};
30 \path[draw=black!25,fill=white] (5.39,2.97) rectangle (6.54,3.45);
31 \node[font=\small,align=center,font=\scriptsize] at (5.96,3.22) {$0$};
32 \path[draw=black!25,fill=white] (6.62,2.97) rectangle (7.77,3.45);
33 \node[font=\small,align=center,font=\scriptsize] at (7.19,3.22) {$0$};
34 \path[draw=black!25,fill=white] (7.85,2.97) rectangle (9,3.45);
35 \node[font=\small,align=center,font=\scriptsize] at (8.42,3.22) {$0$};
36 \path[draw=black!25,fill=white] (9.08,2.97) rectangle (10.23,3.45);
37 \node[font=\small,align=center,font=\scriptsize] at (9.65,3.22) {$0$};
38 \path[draw=black!25,fill=white] (10.31,2.97) rectangle (11.46,3.45);
39 \node[font=\small,align=center,font=\scriptsize] at (10.88,3.22) {$0$};
40 \node[font=\small,align=center,anchor=east] at (1.95,2.59) {$a_k=3^{2}$};
41 \path[draw=black!25,fill=white] (2.93,2.34) rectangle (4.08,2.82);
42 \node[font=\small,align=center,font=\scriptsize] at (3.5,2.59) {$0$};
43 \path[draw=black!25,fill=white] (4.16,2.34) rectangle (5.31,2.82);
44 \node[font=\small,align=center,font=\scriptsize] at (4.73,2.59) {$0$};
45 \path[draw=black!25,fill=black!18] (5.39,2.34) rectangle (6.54,2.82);
46 \node[font=\small,align=center,font=\scriptsize] at (5.96,2.59) {$1$};
47 \path[draw=black!25,fill=white] (6.62,2.34) rectangle (7.77,2.82);
48 \node[font=\small,align=center,font=\scriptsize] at (7.19,2.59) {$0$};
49 \path[draw=black!25,fill=white] (7.85,2.34) rectangle (9,2.82);
50 \node[font=\small,align=center,font=\scriptsize] at (8.42,2.59) {$0$};
51 \path[draw=black!25,fill=white] (9.08,2.34) rectangle (10.23,2.82);
52 \node[font=\small,align=center,font=\scriptsize] at (9.65,2.59) {$0$};
53 \path[draw=black!25,fill=white] (10.31,2.34) rectangle (11.46,2.82);
54 \node[font=\small,align=center,font=\scriptsize] at (10.88,2.59) {$0$};
55 \node[font=\small,align=center,anchor=east] at (1.95,1.96) {$a_k=3^{3}$};
56 \path[draw=black!25,fill=white] (2.93,1.71) rectangle (4.08,2.19);
57 \node[font=\small,align=center,font=\scriptsize] at (3.5,1.96) {$0$};
58 \path[draw=black!25,fill=white] (4.16,1.71) rectangle (5.31,2.19);
59 \node[font=\small,align=center,font=\scriptsize] at (4.73,1.96) {$0$};
60 \path[draw=black!25,fill=white] (5.39,1.71) rectangle (6.54,2.19);
61 \node[font=\small,align=center,font=\scriptsize] at (5.96,1.96) {$0$};
62 \path[draw=black!25,fill=black!18] (6.62,1.71) rectangle (7.77,2.19);
63 \node[font=\small,align=center,font=\scriptsize] at (7.19,1.96) {$1$};
64 \path[draw=black!25,fill=white] (7.85,1.71) rectangle (9,2.19);
65 \node[font=\small,align=center,font=\scriptsize] at (8.42,1.96) {$0$};
66 \path[draw=black!25,fill=white] (9.08,1.71) rectangle (10.23,2.19);
67 \node[font=\small,align=center,font=\scriptsize] at (9.65,1.96) {$0$};
68 \path[draw=black!25,fill=white] (10.31,1.71) rectangle (11.46,2.19);
69 \node[font=\small,align=center,font=\scriptsize] at (10.88,1.96) {$0$};
70 \node[font=\small,align=center,anchor=east] at (1.95,1.33) {$a_k=3^{4}$};
71 \path[draw=black!25,fill=white] (2.93,1.08) rectangle (4.08,1.56);
72 \node[font=\small,align=center,font=\scriptsize] at (3.5,1.33) {$0$};
73 \path[draw=black!25,fill=white] (4.16,1.08) rectangle (5.31,1.56);
74 \node[font=\small,align=center,font=\scriptsize] at (4.73,1.33) {$0$};
75 \path[draw=black!25,fill=white] (5.39,1.08) rectangle (6.54,1.56);
76 \node[font=\small,align=center,font=\scriptsize] at (5.96,1.33) {$0$};
77 \path[draw=black!25,fill=white] (6.62,1.08) rectangle (7.77,1.56);
78 \node[font=\small,align=center,font=\scriptsize] at (7.19,1.33) {$0$};
79 \path[draw=black!25,fill=black!18] (7.85,1.08) rectangle (9,1.56);
80 \node[font=\small,align=center,font=\scriptsize] at (8.42,1.33) {$1$};
81 \path[draw=black!25,fill=white] (9.08,1.08) rectangle (10.23,1.56);
82 \node[font=\small,align=center,font=\scriptsize] at (9.65,1.33) {$0$};
83 \path[draw=black!25,fill=white] (10.31,1.08) rectangle (11.46,1.56);
84 \node[font=\small,align=center,font=\scriptsize] at (10.88,1.33) {$0$};
85 \node[font=\small,align=center,anchor=east] at (1.95,0.7) {$a_k=3^{5}$};
86 \path[draw=black!25,fill=white] (2.93,0.45) rectangle (4.08,0.93);
87 \node[font=\small,align=center,font=\scriptsize] at (3.5,0.7) {$0$};
88 \path[draw=black!25,fill=white] (4.16,0.45) rectangle (5.31,0.93);
89 \node[font=\small,align=center,font=\scriptsize] at (4.73,0.7) {$0$};
90 \path[draw=black!25,fill=white] (5.39,0.45) rectangle (6.54,0.93);
91 \node[font=\small,align=center,font=\scriptsize] at (5.96,0.7) {$0$};
92 \path[draw=black!25,fill=white] (6.62,0.45) rectangle (7.77,0.93);
93 \node[font=\small,align=center,font=\scriptsize] at (7.19,0.7) {$0$};
94 \path[draw=black!25,fill=white] (7.85,0.45) rectangle (9,0.93);
95 \node[font=\small,align=center,font=\scriptsize] at (8.42,0.7) {$0$};
96 \path[draw=black!25,fill=black!18] (9.08,0.45) rectangle (10.23,0.93);
97 \node[font=\small,align=center,font=\scriptsize] at (9.65,0.7) {$1$};
98 \path[draw=black!25,fill=white] (10.31,0.45) rectangle (11.46,0.93);
99 \node[font=\small,align=center,font=\scriptsize] at (10.88,0.7) {$0$};
100 \draw[dashed,line width=.9pt] (2.88,.18) rectangle (6.59,4.2);
101 \node[font=\small,align=center,font=\footnotesize] at (7,-0.15) {Every $a_k$ is nonzero. Every fixed finite digit window eventually reads only zeros.};
102 \end{tikzpicture}

Back to source controls

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