TheoremStatement: AI-adaptedProof: AI-generatedSession-authored (Fable 5 assisted)precheck passaudited 2026-08-28

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

The cycle graph $C_{n}$ has adjacency spectrum ${2 \cos (2 π j / n) : 0 \leq j < n}$

Statement

For every integer $n \geq 3$ , the cycle graph $C_{n}$ has adjacency spectrum

${2 \cos (2 π j / n) : 0 \leq j < n} .$

Facts & Assumptions

Given: An integer $n \geq 3$ and the cycle graph $C_{n}$ .

[F1]

The graph $C_{n}$ has vertices $0, \dots, n - 1$ and edges between consecutive residues modulo $n$ (Empty and complete graphs, complete bipartite graphs, and the convention that $P_{n}$ and $C_{n}$ have $n$ vertices).

[F2]

The adjacency spectrum is the multiset of adjacency eigenvalues (Adjacency spectrum, spectral radius, and cospectral graphs).

Proof

technique · direct

1.1

Let $ω = e^{2 π i / n}$ . For each $0 \leq j < n$ , define the vector $x^{(j)} = (1, ω^{j}, ω^{2 j}, \dots, ω^{(n - 1) j})^{T}$ . If $A$ is the adjacency matrix of $C_{n}$ , then [F1] gives $(A x^{(j)})_{r} = x_{r - 1}^{(j)} + x_{r + 1}^{(j)} = ω^{j r} (ω^{- j} + ω^{j}) = 2 \cos (2 π j / n) x_{r}^{(j)}$ , with indices modulo $n$ . So $x^{(j)}$ is an eigenvector with eigenvalue $2 \cos (2 π j / n)$ .

F1algebra

2.1

The vectors $x^{(0)}, \dots, x^{(n - 1)}$ are linearly independent: they are the columns of a Vandermonde matrix built from the distinct numbers $1, ω, \dots, ω^{n - 1}$ . Therefore step 1.1 already lists $n$ eigenvectors of the $n \times n$ adjacency matrix, so it lists all eigenvalues with multiplicity. By [F2], this is the spectrum of $C_{n}$ .

step 1.1F2algebra∎

Depends on

Used by

Two cospectral graphs need not be isomorphic Counterexample
The cycle C₄ has adjacency spectrum {2,0,0,-2} Example

Dependency tree · two levels

10 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources

Steve Butler, Spectral Graph Theory course notes, lecture 3 (standard reference, not scraped)

The cycle graph CnCn​ has adjacency spectrum {2cos⁡(2πj/n):0≤j<n}{2cos(2πj/n):0≤j<n}