Paper II visual guide · Visual 19 of 24 · MODEL E / A DEPTH-BY-DEPTH FIBER BUDGET

Precision exposes directional freedom

Traditional paper: Theorem 10.6 (p. 36)

Start reading

Resources & source

Original plate in the visual-guide PDF · Original atlas source

Skip contents and start reading

Take \(p=2\) and the supplied diagonal weights \((s_0,s_1,s_2)=(0,1,3)\). At depth \(L\), an admissible target has

\[ 2^{W(L)}\text{ solutions},\qquad W(L)=\min(0,L)+\min(1,L)+\min(3,L). \]

Each direction contributes only the amount visible at the current depth.

Directional branching as precision increases
Original drawing. Read the description below; expand the labels and data for selectable text.

Reading the drawing

Stacked bars record the exponent of the fiber size, and the labels give the actual cardinality. Each shade belongs to one supplied directional weight.

Drawing labels and data 17 labels

Read the original labels as selectable text. Tables preserve grid relationships; other short labels are grouped compactly.

  • \(4\)
  • \(1\)
  • \(8\)
  • \(2\)
  • \(16\)
  • \(3\)
  • \(16\)
  • \(4\)
  • \(16\)
  • \(5\)
  • \(16\)
  • \(6\)
  • precision depth \(L\)
  • Bar height \(=W(L)\); label \(=2^{W(L)}\) solutions.
  • \(s_2=3\)
  • \(s_1=1\)
  • \(s_0=0\)

Open the full-size drawing

Evidence note from the source edition

The stacked height records the exponent \(W(L)\). The label above each bar records the actual number of solutions. The zero-weight direction contributes no branching. This is a finite cardinality calculation, not an information-theoretic assumption about random inputs.

The values are

\[ \begin{array}{c|rrrrrr} L&1&2&3&4&5&6\\\hline W(L)&2&3&4&4&4&4\\ \#\text{ solutions}&4&8&16&16&16&16. \end{array} \]

Once \(L\ge3\), the nonzero weights have been fully exposed and the admissible fiber cardinality stabilizes at sixteen. The input space still grows as \(2^{3L}\). The number of attainable targets grows accordingly.

At depth six, \((1,2,8)\) is admissible and gives sixteen solutions. Replacing the last coordinate by four makes the target inadmissible and gives zero solutions, even though the weights and depth are unchanged.

What changes with a zero diagonal factor?

A literal zero factor contributes \(L\), not a fixed eventual weight, and requires a zero target coordinate. Its fiber therefore keeps growing with the modulus. That case must not be mistaken for a finite nonzero Smith weight.

Read this as

The scalar sum of weights gives the count, but the separate weights give the admissibility conditions. Keeping only a determinant valuation can hide which target coordinate fails.

Source and conversion record

The original atlas wording, equations, and drawing labels are retained. Drawings are views of the retained visual-guide PDF. Text descriptions and table headings are added reading aids. This conversion does not rebuild TeX, rerun the examples, audit proofs or compile Lean.

Conversion checks and source hashes

Notation in Paper II

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