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 (1.25,4) {$3$};
4 \node[font=\small,align=center,font=\scriptsize] at (1.25,3.3) {$0$};
5 \node[font=\small,align=center,font=\scriptsize] at (1.85,4) {$5$};
6 \node[font=\small,align=center,font=\scriptsize] at (1.85,3.3) {$2$};
7 \node[font=\small,align=center,font=\scriptsize] at (2.45,4) {$7$};
8 \node[font=\small,align=center,font=\scriptsize] at (2.45,3.3) {$0$};
9 \node[font=\small,align=center,font=\scriptsize] at (3.05,4) {$11$};
10 \node[font=\small,align=center,font=\scriptsize] at (3.05,3.3) {$0$};
11 \node[font=\small,align=center,font=\scriptsize] at (3.65,4) {$13$};
12 \node[font=\small,align=center,font=\scriptsize] at (3.65,3.3) {$2$};
13 \node[font=\small,align=center,font=\scriptsize] at (4.25,4) {$17$};
14 \node[font=\small,align=center,font=\scriptsize] at (4.25,3.3) {$2$};
15 \node[font=\small,align=center,font=\scriptsize] at (4.85,4) {$19$};
16 \node[font=\small,align=center,font=\scriptsize] at (4.85,3.3) {$0$};
17 \node[font=\small,align=center,font=\scriptsize] at (5.45,4) {$23$};
18 \node[font=\small,align=center,font=\scriptsize] at (5.45,3.3) {$0$};
19 \node[font=\small,align=center] at (3.4,4.65) {odd primes $p$};
20 \node[font=\small,align=center,font=\scriptsize] at (3.4,2.7) {roots of $x^2+1$ in $\mathbb F_p$};
21 \node[font=\small,align=center,font=\footnotesize] at (3.4,1.5) {two factorization types\\already appear in this finite list};
22 \node[font=\small,align=center,font=\small] at (9.155,4.4) {repeat one class};
23 \path[draw=black!30,fill=black!8] (8,2.93) rectangle (8.77,3.7);
24 \node[font=\small,align=center,font=\small] at (8.385,3.315) {$1$};
25 \path[draw=black!30,fill=black!8] (8.77,2.93) rectangle (9.54,3.7);
26 \node[font=\small,align=center,font=\small] at (9.155,3.315) {$1$};
27 \path[draw=black!30,fill=black!8] (9.54,2.93) rectangle (10.31,3.7);
28 \node[font=\small,align=center,font=\small] at (9.925,3.315) {$2$};
29 \path[draw=black!30,fill=black!8] (8,2.16) rectangle (8.77,2.93);
30 \node[font=\small,align=center,font=\small] at (8.385,2.545) {$1$};
31 \path[draw=black!30,fill=black!8] (8.77,2.16) rectangle (9.54,2.93);
32 \node[font=\small,align=center,font=\small] at (9.155,2.545) {$1$};
33 \path[draw=black!30,fill=black!8] (9.54,2.16) rectangle (10.31,2.93);
34 \node[font=\small,align=center,font=\small] at (9.925,2.545) {$2$};
35 \path[draw=black!30,fill=black!8] (8,1.39) rectangle (8.77,2.16);
36 \node[font=\small,align=center,font=\small] at (8.385,1.775) {$1$};
37 \path[draw=black!30,fill=black!8] (8.77,1.39) rectangle (9.54,2.16);
38 \node[font=\small,align=center,font=\small] at (9.155,1.775) {$1$};
39 \path[draw=black!30,fill=black!8] (9.54,1.39) rectangle (10.31,2.16);
40 \node[font=\small,align=center,font=\small] at (9.925,1.775) {$2$};
41 \node[font=\small,align=center] at (10.2,0.8) {three rows, rank one};
42 \node[font=\small,align=center,font=\footnotesize] at (7,-0.1) {Finite character separation needs enough different evaluations, not just more evaluations.};
43 \end{tikzpicture}

Back to source controls

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