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 be a finite vertex set with a fixed order and let be symmetric. Self-loops are allowed and their weight is counted once in each row sum. On with ordered basis , define the weighted adjacency matrix by , the degree , and with all off-diagonal entries zero. The positive Laplacian is ; the other common sign convention is . 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 , the normalized adjacency is the separately defined matrix . No normalized-adjacency operation is defined here at zero-degree vertices. The matrices are Hermitian: and is real diagonal. Under the positive-degree condition, is also real diagonal, so . 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
- Complete-graph continuous-time search Algorithm
- Hypercube continuous-time state transfer Algorithm
- Generator convention matters Counterexample
- Continuous-time quantum walk Definition
- Complete-graph search matrix and gap Example
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
- Andrew M. Childs, Lecture Notes on Quantum Algorithms, Chapter 17 §17.1 (standard reference, not scraped)
- Ronald de Wolf, Quantum Computing: Lecture Notes, Chapter 9 §9.1 (standard reference, not scraped)