Paper I visual guide · Visual 1 of 22 · PAPER I / A VISUAL APPENDIX OF WORKED EXAMPLES

What can one seed actually do?

Main text: Definition 4.1, Proposition 4.3, and Theorem 7.5

Start reading

Resources & source

Original plate in the monograph PDF · Original atlas source

Skip contents and start reading

A seed does not carry a fixed amount of generative power by itself. The answer depends on the operators that are allowed to act on it. Paper I makes that dependence part of the mathematical object rather than leaving it implicit.

Use the same space of dimension six throughout the first comparison:

\[ X={\mathbb Q}^6,\qquad N=J_3(0)\oplus J_3(0),\qquad s=e_0+f_0. \]

Here each \(J_3(0)\) moves a basis vector forward along a chain of three basis vectors. The projectors \(P_e,P_f\) select the two chains. Their formulas and the proofs of the minimum seed counts appear on Visual 3 and Visual 4.

Minimum seeds under four acting algebras
Original drawing. Read the description below; expand the labels and data for selectable text.

Reading the drawing

Four rows compare the same six-dimensional space under scalar action, a single operator, the operator with chain projectors, and the full matrix algebra. Filled squares and the numbers at right give minimum seed counts; they do not show timings.

Drawing labels and data 9 labels

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

Minimum seeds for the same space \(X={\mathbb Q}^6\)
Allowed algebraMinimum seeds
\({\mathbb Q} I\)6
\({\mathbb Q}[N]\)2
\({\mathbb Q}\langle N,P_e,P_f\rangle\)1
\(M_6({\mathbb Q})\)1

Open the full-size drawing

Evidence note from the source edition

A count of minimum generators, not a timing comparison. The ambient space is unchanged. Enlarging the acting algebra changes what one seed can separate.

Three questions to keep apart

Three questions about generation and coordinates
QuestionWhat to ask
GenerationCan the fixed grammar reach every vector by finite linear combinations of operator words?
[4pt] CoordinatesCan every vector be split into packets and then reconstructed exactly?
[4pt] CompletionWhen finite words do not suffice, does their span become dense in the specified topology?

A packet projector can be available as a way to inspect a vector without belonging to the generation grammar. Admitting it as a new primitive can lower seed rank. That distinction explains the second and third rows of the figure.

Read this as

The useful question is not “How powerful is this seed?” It is “What does this seed generate under this particular, previously fixed algebra of operators?”

Source and conversion record

The original atlas wording, equations, and drawing labels are retained. Drawings are views of the retained monograph 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 I

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