17_precision.tex

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

17_precision.tex

Download original file

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

Read the typeset paper

Skip source text

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.77,4.55) {multiplicity difference $\delta m$};
4 \path[draw=black!30,fill=black!8] (2.4,3.11) rectangle (3.14,3.85);
5 \node[font=\small,align=center,font=\small] at (2.77,3.48) {$4$};
6 \path[draw=black!30,fill=black!8] (2.4,2.37) rectangle (3.14,3.11);
7 \node[font=\small,align=center,font=\small] at (2.77,2.74) {$4$};
8 \path[draw=black!30,fill=white] (2.4,1.63) rectangle (3.14,2.37);
9 \node[font=\small,align=center,font=\small] at (2.77,2) {$0$};
10 \node[font=\small,align=center,font=\small] at (9.37,4.55) {trace difference $C\delta m$};
11 \path[draw=black!30,fill=black!8] (9,3.11) rectangle (9.74,3.85);
12 \node[font=\small,align=center,font=\small] at (9.37,3.48) {$8$};
13 \path[draw=black!30,fill=white] (9,2.37) rectangle (9.74,3.11);
14 \node[font=\small,align=center,font=\small] at (9.37,2.74) {$0$};
15 \path[draw=black!30,fill=black!8] (9,1.63) rectangle (9.74,2.37);
16 \node[font=\small,align=center,font=\small] at (9.37,2) {$8$};
17 \draw[->,line width=.8pt] (4.35,2.8) -- (7.65,2.8);
18 \node[font=\small,align=center] at (6,3.3) {multiply by $C$};
19 \node[font=\small,align=center] at (3.2,1.15) {nonzero modulo $8$};
20 \node[font=\small,align=center] at (10,1.15) {zero modulo $8$};
21 \node[font=\small,align=center,font=\footnotesize] at (7,0.25) {Modulo $16$, the traces separate them. $v_2(\det C)=v_2(6)=1$.};
22 \end{tikzpicture}

Back to source controls

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: 95814280deb1ec12026caa3ea4e566fffa1df21713f9ad8951ef2cdf88d6c601

Original source on GitHub

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