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.

Finite weighted network diffusion data

Definition

Let G=(V,E) be a finite simple graph with ordered vertex and edge sets. Choose an orientation of each edge and let B∈RV×E be the resulting incidence matrix of An oriented incidence matrix of a finite simple graph: a column has −1 at its tail, +1 at its head, and zero elsewhere. Let D⊆V be the vertices with prescribed Dirichlet values and let I=V∖D be the free vertices. Assign a mass mi>0 to each i∈I and a conductance ce≥0 to each e∈E. Put

M=diag⁡(mi)i∈I,C=diag⁡(ce)e∈E,LC=BCBT.

The matrix LC is the conductance-weighted graph stiffness. Its free Dirichlet restriction LD is the principal submatrix (LC)I,I. The finite weighted network diffusion equation is

Mu′(t)+LDu(t)=f(t),

where u(t)∈RI and f(t)∈RI. If D=∅, this is the closed Neumann network equation. If the boundary values are instead a nonzero vector g(t), restriction of LC(u,g) to I gives Mu′+LDu=f−(LC)I,Dg.

When every ce=1, LC=BBT agrees with the ordinary graph Laplacian by The Laplacian equals BBT for every oriented incidence matrix B. Zero conductances are allowed and remove those edges from the diffusion coupling; they do not remove the vertices or masses.

Depends on

Used by

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