OAI/Probability/InvariantIsing/Fields/SpinPriorPhysicalPressure.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

With no Gaussian field or perturbation, the arbitrary-depth quenched cascade disappears and leaves the original physical constrained pressure.

  1. lemma OAI.InvariantIsing.finiteLogIntegral_labeledSpinReference line 13
  2. lemma OAI.InvariantIsing.spinPrior_unperturbed_pressure line 21
  3. lemma OAI.InvariantIsing.spinPrior_restricted_unperturbed_pressure line 46