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=\small] at (2.47,4.7) {valid $P_A^1$};
4 \path[draw=black!30,fill=black!8] (1.25,3.39) rectangle (1.86,4);
5 \node[font=\small,align=center,font=\small] at (1.555,3.695) {$1$};
6 \path[draw=black!30,fill=white] (1.86,3.39) rectangle (2.47,4);
7 \node[font=\small,align=center,font=\small] at (2.165,3.695) {$0$};
8 \path[draw=black!30,fill=white] (2.47,3.39) rectangle (3.08,4);
9 \node[font=\small,align=center,font=\small] at (2.775,3.695) {$0$};
10 \path[draw=black!30,fill=white] (3.08,3.39) rectangle (3.69,4);
11 \node[font=\small,align=center,font=\small] at (3.385,3.695) {$0$};
12 \path[draw=black!30,fill=white] (1.25,2.78) rectangle (1.86,3.39);
13 \node[font=\small,align=center,font=\small] at (1.555,3.085) {$0$};
14 \path[draw=black!30,fill=black!8] (1.86,2.78) rectangle (2.47,3.39);
15 \node[font=\small,align=center,font=\small] at (2.165,3.085) {$1$};
16 \path[draw=black!30,fill=white] (2.47,2.78) rectangle (3.08,3.39);
17 \node[font=\small,align=center,font=\small] at (2.775,3.085) {$0$};
18 \path[draw=black!30,fill=white] (3.08,2.78) rectangle (3.69,3.39);
19 \node[font=\small,align=center,font=\small] at (3.385,3.085) {$0$};
20 \path[draw=black!30,fill=white] (1.25,2.17) rectangle (1.86,2.78);
21 \node[font=\small,align=center,font=\small] at (1.555,2.475) {$0$};
22 \path[draw=black!30,fill=white] (1.86,2.17) rectangle (2.47,2.78);
23 \node[font=\small,align=center,font=\small] at (2.165,2.475) {$0$};
24 \path[draw=black!30,fill=white] (2.47,2.17) rectangle (3.08,2.78);
25 \node[font=\small,align=center,font=\small] at (2.775,2.475) {$0$};
26 \path[draw=black!30,fill=white] (3.08,2.17) rectangle (3.69,2.78);
27 \node[font=\small,align=center,font=\small] at (3.385,2.475) {$0$};
28 \path[draw=black!30,fill=white] (1.25,1.56) rectangle (1.86,2.17);
29 \node[font=\small,align=center,font=\small] at (1.555,1.865) {$0$};
30 \path[draw=black!30,fill=white] (1.86,1.56) rectangle (2.47,2.17);
31 \node[font=\small,align=center,font=\small] at (2.165,1.865) {$0$};
32 \path[draw=black!30,fill=white] (2.47,1.56) rectangle (3.08,2.17);
33 \node[font=\small,align=center,font=\small] at (2.775,1.865) {$0$};
34 \path[draw=black!30,fill=white] (3.08,1.56) rectangle (3.69,2.17);
35 \node[font=\small,align=center,font=\small] at (3.385,1.865) {$0$};
36 \node[font=\small,align=center,font=\small] at (6.22,4.7) {invalid $Q^1$};
37 \path[draw=black!30,fill=white] (5,3.39) rectangle (5.61,4);
38 \node[font=\small,align=center,font=\small] at (5.305,3.695) {$0$};
39 \path[draw=black!30,fill=white] (5.61,3.39) rectangle (6.22,4);
40 \node[font=\small,align=center,font=\small] at (5.915,3.695) {$0$};
41 \path[draw=black!30,fill=white] (6.22,3.39) rectangle (6.83,4);
42 \node[font=\small,align=center,font=\small] at (6.525,3.695) {$0$};
43 \path[draw=black!30,fill=white] (6.83,3.39) rectangle (7.44,4);
44 \node[font=\small,align=center,font=\small] at (7.135,3.695) {$0$};
45 \path[draw=black!30,fill=white] (5,2.78) rectangle (5.61,3.39);
46 \node[font=\small,align=center,font=\small] at (5.305,3.085) {$0$};
47 \path[draw=black!30,fill=black!8] (5.61,2.78) rectangle (6.22,3.39);
48 \node[font=\small,align=center,font=\small] at (5.915,3.085) {$1$};
49 \path[draw=black!30,fill=white] (6.22,2.78) rectangle (6.83,3.39);
50 \node[font=\small,align=center,font=\small] at (6.525,3.085) {$0$};
51 \path[draw=black!30,fill=white] (6.83,2.78) rectangle (7.44,3.39);
52 \node[font=\small,align=center,font=\small] at (7.135,3.085) {$0$};
53 \path[draw=black!30,fill=white] (5,2.17) rectangle (5.61,2.78);
54 \node[font=\small,align=center,font=\small] at (5.305,2.475) {$0$};
55 \path[draw=black!30,fill=white] (5.61,2.17) rectangle (6.22,2.78);
56 \node[font=\small,align=center,font=\small] at (5.915,2.475) {$0$};
57 \path[draw=black!30,fill=white] (6.22,2.17) rectangle (6.83,2.78);
58 \node[font=\small,align=center,font=\small] at (6.525,2.475) {$0$};
59 \path[draw=black!30,fill=white] (6.83,2.17) rectangle (7.44,2.78);
60 \node[font=\small,align=center,font=\small] at (7.135,2.475) {$0$};
61 \path[draw=black!30,fill=white] (5,1.56) rectangle (5.61,2.17);
62 \node[font=\small,align=center,font=\small] at (5.305,1.865) {$0$};
63 \path[draw=black!30,fill=white] (5.61,1.56) rectangle (6.22,2.17);
64 \node[font=\small,align=center,font=\small] at (5.915,1.865) {$0$};
65 \path[draw=black!30,fill=white] (6.22,1.56) rectangle (6.83,2.17);
66 \node[font=\small,align=center,font=\small] at (6.525,1.865) {$0$};
67 \path[draw=black!30,fill=white] (6.83,1.56) rectangle (7.44,2.17);
68 \node[font=\small,align=center,font=\small] at (7.135,1.865) {$0$};
69 \node[font=\small,align=center,font=\small] at (10.16,4.7) {$d_0P_A^0-Q^1d_0$};
70 \path[draw=black!30,fill=black!8] (9.55,3.39) rectangle (10.16,4);
71 \node[font=\small,align=center,font=\small] at (9.855,3.695) {$1$};
72 \path[draw=black!30,fill=white] (10.16,3.39) rectangle (10.77,4);
73 \node[font=\small,align=center,font=\small] at (10.465,3.695) {$0$};
74 \path[draw=black!30,fill=white] (9.55,2.78) rectangle (10.16,3.39);
75 \node[font=\small,align=center,font=\small] at (9.855,3.085) {$0$};
76 \path[draw=black!30,fill=white] (10.16,2.78) rectangle (10.77,3.39);
77 \node[font=\small,align=center,font=\small] at (10.465,3.085) {$0$};
78 \path[draw=black!30,fill=white] (9.55,2.17) rectangle (10.16,2.78);
79 \node[font=\small,align=center,font=\small] at (9.855,2.475) {$0$};
80 \path[draw=black!30,fill=white] (10.16,2.17) rectangle (10.77,2.78);
81 \node[font=\small,align=center,font=\small] at (10.465,2.475) {$0$};
82 \path[draw=black!30,fill=white] (9.55,1.56) rectangle (10.16,2.17);
83 \node[font=\small,align=center,font=\small] at (9.855,1.865) {$0$};
84 \path[draw=black!30,fill=white] (10.16,1.56) rectangle (10.77,2.17);
85 \node[font=\small,align=center,font=\small] at (10.465,1.865) {$0$};
86 \node[font=\small,align=center,font=\footnotesize] at (7,0.65) {$e_0$ is retained at the source but its image $u_0$ is deleted at the target.};
87 \node[font=\small,align=center,font=\footnotesize] at (7,0) {All displayed degreewise maps are idempotent. The differential test distinguishes them.};
88 \end{tikzpicture}

Back to source controls

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