Paper I visual guide · Visual 15 of 22 · GRAPH MODEL / THE PATH CERTIFICATE

Walk counts make an endpoint cyclic

Main text: Worked graph model. Endpoint Krylov proof for every path size

Start reading

Resources & source

Original plate in the monograph PDF · Original atlas source

Skip contents and start reading

Let \(A\) be the adjacency matrix of the path with five vertices. The \((i,j)\) entry of

\[ K=[e_1,Ae_1,A^2e_1,A^3e_1,A^4e_1] \]

counts walks of length \(j-1\) from vertex \(1\) to vertex \(i\).

Walk counts from an endpoint of a five-vertex path
Original drawing. Read the description below; expand the labels and data for selectable text.

Reading the drawing

The dark endpoint is the seed. The matrix rows correspond to graph vertices and its columns to powers of the adjacency operator. Its entries count walks and expose the unit triangular structure.

Drawing labels and data 37 labels

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

Endpoint Krylov matrix: vertices by walk length
\(k\)\(0\)\(1\)\(2\)\(3\)\(4\)
\(1\)\(1\)\(0\)\(1\)\(0\)\(2\)
\(2\)\(0\)\(1\)\(0\)\(2\)\(0\)
\(3\)\(0\)\(0\)\(1\)\(0\)\(3\)
\(4\)\(0\)\(0\)\(0\)\(1\)\(0\)
\(5\)\(0\)\(0\)\(0\)\(0\)\(1\)
  • unit diagonal; no entries below it

Open the full-size drawing

Evidence note from the source edition

The entries are walk counts. At each new power, a new furthest vertex appears with coefficient one. The dark graph vertex is the seed.

A walk cannot reach vertex \(i\) in fewer than \(i-1\) steps. Therefore entries below the diagonal vanish. There is exactly one walk of length \(i-1\) from the first vertex to vertex \(i\): the shortest path. The diagonal entries are all one, so \(\det K=1\).

The same reason works at every size

For a path with any \(n\ge1\), the endpoint Krylov matrix is upper triangular with unit diagonal. This is a combinatorial proof of cyclicity over every field. It does not rely on numerical eigenvalues. The appendix checks the finite cases \(1\le n\le12\) as implementation examples, separately from the paper's proof for every path size.

Read this as

The endpoint distinguishes distances. Each extra operator power reveals one genuinely new coordinate before the finite space is exhausted.

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