Paper IX visual guide · Visual 9 of 23

Least periods, rather than sufficient periods

Start reading

Resources & source

Original section in the visual-guide PDF · Original visual source

Skip contents and start reading

At precision \(2^r\) the least positive row period is

\[ P_j(r)=2^{\max(0,r-B_j)},\qquad B=(1,1,5,3). \]

The exact valuation law proves both periodicity and minimality. A step \(H\) is a period precisely when \(v_2(H)+B_j\ge r\).

Binary logarithms of least row periods
Original figure from the retained vector PDF.

Reading the figure

For precision exponents one through twelve, each staircase is zero until precision exceeds its address scale and then rises by one per bit. Addresses zero and one share a staircase. Height zero means row period one, not period zero. Euler degree periods are four times the row periods.

Mathematical labels

precision r in modulus \(2^r\)

\(\log_2\)(least row period)

Selectable labels from the original PDF

Native PDF text retains the figure’s extraction order. Equations and data tables above provide the reading order.

1
2
3
4
5
6
7
8
9 10 11 12
p
r
e
c
i
s
i
o
n
r
i
n
m
o
d
u
l
u
s
2
r
02468
10
log2 (least row period)
j = 0, 1
j = 2
j = 3

Original vector figure PDF · Full-size image

Original figure caption

Binary logarithms of the least row periods. A height of zero means period one. These are theorem-derived values, valid at every precision.

Modulo \(256=2^8\), the least periods are

\[ (P_0(8),P_1(8),P_2(8),P_3(8))=(128,128,8,32). \]

In actual Euler degree, multiply by four:

\[ (512,512,32,128). \]

For address two, precision at most \(2^5\) already has row period one. Its Euler coefficients all lie in \(2+32\mathbb Z_2\); further precision resolves additional dyadic digits within that residue class.

The original rank-four conjectural shift has row step \(2^{r-1}\). It remains a valid period for every address, but addresses two and three usually admit shorter periods. The sharp theorem identifies the shortest one.

Source and conversion record

The full edition has 23 sections and 20 figures, including eight worked examples. The older visual README describes 15 sections and 12 figures. Original wording, equations and finite-check scope are retained. Descriptions and data tables are reading aids. This conversion renders existing figure PDFs without rebuilding TeX, running the mathematical generators, auditing proofs or compiling Lean.

Source hashes and conversion checks

Notation in Paper IX

Look up a symbol without leaving this chapter. Select text before opening help to search for it.

Search this work’s notation.

    Symbols can have different meanings in different passages. Read each result in its own context.

    Open the full notation index