Compound Symmetry Corr One

theorem proved Info Geometry

Documentation

Lean 4 Proof

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

Dependency Graph

Location

thesis/CESProofs/Foundations/CorrelationConvergence.lean:70

Module Section

Correlation Convergence at the Regime Boundary

In the same file

compoundSymmetryCorr compoundSymmetryCorr_zero 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