OAI/Probability/InvariantIsing/Cavity/CavityFiniteReplicaCovariance.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The actual finite cavity Gaussian replica covariance is the canonical spectral covariance, with its full diagonal including the ordinary residual.

  1. lemma OAI.InvariantIsing.cavity_finite_replica_covariance_prefix line 25
  2. lemma OAI.InvariantIsing.cavity_finite_replica_covariance_canonical line 59