OAI/Probability/InvariantIsing/Cavity/CavityContinuousReplicaTilt.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Exponential replica tilts on the continuous leaf/residual state space. Finite-product identities do not require a countable configuration space.

  1. lemma OAI.InvariantIsing.cavity_exp_replica_partition line 15
  2. lemma OAI.InvariantIsing.cavity_continuous_replica_tilt line 23
  3. lemma OAI.InvariantIsing.cavityWeightedReplicaMean_exp line 49