OAI/Probability/InvariantIsing/Cavity/CavityReplicaDisorderTransport.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Replica observables retain their external disorder when a Gaussian Gibbs-probability law is replaced or the external disorder is transported.

  1. theorem OAI.InvariantIsing.cavity_observed_replica_law_congr line 15
  2. theorem OAI.InvariantIsing.cavity_observed_replica_law_transport line 43