Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Graph adjacency and Laplacian generator conventions

Definition

Let V be a finite vertex set with a fixed order and let w:V×V→[0,∞) be symmetric. Self-loops are allowed and their weight is counted once in each row sum. On CV with ordered basis (ev)v∈V, define the weighted adjacency matrix by Auv=w(u,v), the degree d(v)=∑u∈Vw(v,u), and Dvv=d(v) with all off-diagonal entries zero. The positive Laplacian is L+=D−A; the other common sign convention is L−=A−D=−L+. A walk generator records the chosen edge weights, loop convention, basis order, and one of these signs. It is not a discrete transition matrix.

When every d(v)>0, the normalized adjacency is the separately defined matrix Anorm=D−1/2AD−1/2. No normalized-adjacency operation is defined here at zero-degree vertices. The matrices A,D,L+,L− are Hermitian: Avu=w(v,u)=w(u,v)=Auv‾ and D is real diagonal. Under the positive-degree condition, D−1/2 is also real diagonal, so Anorm∗=Anorm. A zero-vertex graph gives the zero coordinate space and empty matrices; a quantum-walk input separately requires a normalized state, so it has no instance on that space.

Depends on

Used by

Dependency tree · two levels

13 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