Compound Symmetry Corr Zero

theorem proved Info Geometry

Documentation

Lean 4 Proof

theorem compoundSymmetryCorr_zero (J : ℕ) :
    compoundSymmetryCorr 0 J = 1 := by
  simp [compoundSymmetryCorr]

Dependency Graph

Used by

crisis_correlation_dual

Location

thesis/CESProofs/Foundations/CorrelationConvergence.lean:65

Module Section

Correlation Convergence at the Regime Boundary

In the same file

compoundSymmetryCorr compoundSymmetryCorr_one hJ_sub_one_pos den_pos gap_from_one correlation_floor_identity correlation_above_floor correlation_le_one gap_from_one_le gap_from_one_nonneg price_convergence_linear quantity_correlation_to_floor crisis_correlation_dual