Alphabeta Math
LemmaStatement: AI-generatedProof: AI-generated
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 A be a network on n≥1 vertices, let d0>0, J the all-ones matrix, I the identity, and ΔA=A−(d0/n)J, ΔL=LA−d0I+(d0/n)J. The norm is the induced vertex-space operator norm, and B⪯C means that C−B has nonnegative quadratic form. Under (A,d0)↦(λA,λd0) for λ>0, the degrees, Laplacian, both centered matrices, energy and homogeneous rotating-frame vector field all multiply by λ. Consequently the inequalities ∥ΔA∥≤αd0 and c−d0I⪯ΔL⪯c+d0I hold before rescaling if and only if they hold afterward with the same α,c−,c+. 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

[F1]

Row degrees and the Laplacian are computed from finite row sums (Finite symmetric networks and loop removal).

[F2]

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).

[F3]

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.

1.1F1F3algebra

Multiplying every entry by λ multiplies every row sum by λ, hence also the degree matrix and its difference with the adjacency matrix. Substituting λA and λd0 in the definitions gives centered matrices λΔA and λΔL. Linearity of the sums in [F3] similarly gives energy λEA and vector field λFA.

2.1F2step 1.1algebra∎

Norm homogeneity gives ∥λΔA∥=λ∥ΔA∥. 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

Used by · 2

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.