Documentation

Lean 4 Proof

structure ComplementarityNetwork (J : ℕ) where
  /-- Weight matrix: w j k = (1 - ρ_{jk}), the complementarity strength. -/
  w : Fin J → Fin J → ℝ
  /-- Symmetry: complementarity is mutual. -/
  symmetric : ∀ j k, w j k = w k j
  /-- Zero diagonal: no self-complementarity. -/
  zero_diag : ∀ j, w j j = 0

Dependency Graph

Used by

Location

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:49

Module Section

CES on Networks: Heterogeneous Pairwise Complementarity

In the same file