350 results (filtered from 2160)

Complementarity Network

structure proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:49

Uniform Network

def proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:59

Laplacian QF

def proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:75

Network Hessian QF

def proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:81

Vertex Degree

def proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:85

Mean Complementarity

def proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:89

Spectral Gap

def proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:104

Fiedler Vector

noncomputable def proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:118

Laplacian QF Nonneg

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:133

Laplacian QF Const

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:145

Uniform Laplacian QF Eq

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:155

Uniform Network Hessian Eq CES Hessian

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:210

Network Hessian QF Neg Semidefinite

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:223

Stronger Complementarity More Concave

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:241

Uniform Network Mean Complementarity

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:268

Uniform Laplacian QF On Perp

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:296

Uniform Network Degree

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:307

Uniform Spectral Gap

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:328

Uniform Fiedler Degenerate

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:374

Adding Link Increases Gap

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:398

Disconnected Zero Curvature

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:446

Laplacian QF Zero Iff Block Constant

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:584

Network Hessian Spectral Gap Bound

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:635

Network Scaling

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:722

Network Scaling Normalized

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:729

Network Scaling Linear

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:735

Platform Value

def proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:746

Cross Externality Positive

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:756

Below Cost Pricing

theorem trivial Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:787

Anti Network Reversal

theorem trivial Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:799

Network Curvature Conservation Ineq

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:822

Network Log Premium

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:838

Premium Over Linear Factor

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:847

Premium Factor Eq K Scaled

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:851

Diversity Premium Proportional To K Log J

theorem proved Hierarchy

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:865

NGM Characteristic Polynomial, N=2

theorem proved Hierarchy

thesis/CESProofs/Hierarchy/Activation.lean:33

Activation Two Level

theorem proved Hierarchy

thesis/CESProofs/Hierarchy/Activation.lean:42

NGM Characteristic Polynomial, general N

theorem trivial Hierarchy

thesis/CESProofs/Hierarchy/Activation.lean:67

Activation Threshold

theorem proved Hierarchy

thesis/CESProofs/Hierarchy/Activation.lean:85

Reduced Dynamics

theorem trivial Hierarchy

thesis/CESProofs/Hierarchy/Activation.lean:120

Cross Level Amplification

theorem proved Hierarchy

thesis/CESProofs/Hierarchy/Activation.lean:139

Weakest Link Bottleneck

theorem proved Hierarchy

thesis/CESProofs/Hierarchy/Activation.lean:167

Sensitivity Ratio Bottleneck

theorem proved Hierarchy

thesis/CESProofs/Hierarchy/Activation.lean:172

Activation Threshold With Weights

theorem proved Hierarchy

thesis/CESProofs/Hierarchy/Activation.lean:192

Concentration Bottleneck

theorem trivial Hierarchy

thesis/CESProofs/Hierarchy/Activation.lean:205

IRS Modified Activation

theorem trivial Hierarchy

thesis/CESProofs/Hierarchy/Activation.lean:213

Cross Level Amplification With Weights

theorem proved Hierarchy

thesis/CESProofs/Hierarchy/Activation.lean:219

Weakest Link With Weights

theorem proved Hierarchy

thesis/CESProofs/Hierarchy/Activation.lean:228

Convergence Speed Increasing Sigma

theorem proved Hierarchy

thesis/CESProofs/Hierarchy/DampingCancellation.lean:29

Equilibrium Output Decreasing Sigma

theorem proved Hierarchy

thesis/CESProofs/Hierarchy/DampingCancellation.lean:42

Page 1 of 7