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.
Finite weighted network diffusion data
Definition
Let be a finite simple graph with ordered vertex and edge sets. Choose an orientation of each edge and let be the resulting incidence matrix of An oriented incidence matrix of a finite simple graph: a column has at its tail, at its head, and zero elsewhere. Let be the vertices with prescribed Dirichlet values and let be the free vertices. Assign a mass to each and a conductance to each . Put
The matrix is the conductance-weighted graph stiffness. Its free Dirichlet restriction is the principal submatrix . The finite weighted network diffusion equation is
where and . If , this is the closed Neumann network equation. If the boundary values are instead a nonzero vector , restriction of to gives .
When every , agrees with the ordinary graph Laplacian by The Laplacian equals for every oriented incidence matrix . Zero conductances are allowed and remove those edges from the diffusion coupling; they do not remove the vertices or masses.
Depends on
- A finite simple graph is a finite vertex set together with a set of two-element vertex subsets
- An oriented incidence matrix of a finite simple graph
- The Laplacian matrix of a finite simple graph
- The Laplacian equals $BB^{\mathsf T}$ for every oriented incidence matrix $B$
- The vector space $M_{m \times n}(F) := F^{\,m \times n}$ of $m$ by $n$ matrices over a field, with entrywise operations
- Rectangular matrix multiplication and the identity matrix $I_n$, including zero-sized shapes
Used by
- Exact-arithmetic CG after grounding or a Neumann gauge Corollary
- A disconnected unanchored network gives a singular steady solve Example
- Three-compartment migration conserves weighted mass Example
- Energy, kernel, and weighted mass balance for a finite network Lemma
- Positive graph-diffusion semigroup and Euler maps Theorem
Dependency tree · two levels
16 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
- Fan R. K. Chung, Spectral Graph Theory, Chapter 1: Eigenvalues and the Laplacian of a Graph, CBMS 92 (1997), complete chapter text (standard reference, not scraped)
- Ward Whitt, Continuous-Time Markov Chains, full lecture notes (2006) (standard reference, not scraped)