OAI/Probability/InvariantIsing/Cavity/CavityReplicaCovarianceLaw.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Equality in law of the entire countable Gaussian field transports replica observables of every order, including their cutoff normalization.

  1. lemma OAI.InvariantIsing.cavity_field_functional_same_covariance line 14
  2. theorem OAI.InvariantIsing.cavity_replica_same_covariance line 27
  3. theorem OAI.InvariantIsing.cavity_cutoff_same_covariance line 43