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.
Covariance under a common positive rescaling of weights
Statement
Let be a network on vertices, let , the all-ones matrix, the identity, and , . The norm is the induced vertex-space operator norm, and means that has nonnegative quadratic form. Under for , the degrees, Laplacian, both centered matrices, energy and homogeneous rotating-frame vector field all multiply by . Consequently the inequalities and hold before rescaling if and only if they hold afterward with the same . The network and calculus conventions are Finite symmetric networks and loop removal and Loop removal in the weighted Kuramoto calculus; matrix conventions are Finite vertex Hilbert space in the article convention and Self-adjoint order, norm bounds and diagonal tests.
Facts & Assumptions
Row degrees and the Laplacian are computed from finite row sums (Finite symmetric networks and loop removal).
Matrices act on the finite vertex space, whose induced norm is homogeneous; matrix order is tested by quadratic forms (Finite vertex Hilbert space in the article convention, Self-adjoint order, norm bounds and diagonal tests).
The weighted energy and rotating-frame vector field are finite sums linear in the entries of the network (Loop removal in the weighted Kuramoto calculus).
Proof
Given: The data in the Statement.
Goal: Establish the stated conclusions.
Multiplying every entry by multiplies every row sum by , hence also the degree matrix and its difference with the adjacency matrix. Substituting and in the definitions gives centered matrices and . Linearity of the sums in [F3] similarly gives energy and vector field .
Norm homogeneity gives . Each quadratic form in the two order differences also multiplies by the strictly positive number , which preserves and reflects nonnegativity. Dividing all bounds by proves both directions, with the same dimensionless parameters.
Depends on
Dependency tree · 2 levels
Each result is drawn at its shortest distance from this item. Arrows run from prerequisites to the items that use them; this item has a heavier outline. External source nodes link directly to the cited text. The view shows up to two dependency steps; open a prerequisite to continue.