OAI/Probability/InvariantIsing/Fields/PriorZeroFieldPressure.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The unperturbed fixed-prior pressure is exactly the physical constrained pressure with its cube-mass constant removed.

  1. lemma OAI.InvariantIsing.tensor_zero_field_zero_amplitude line 14
  2. lemma OAI.InvariantIsing.priorTensorLog_zero_field line 25
  3. lemma OAI.InvariantIsing.prior_zero_field_pressure line 34
  4. lemma OAI.InvariantIsing.restricted_zero_field_pressure line 53