OAI/Probability/InvariantIsing/Magnetic/MagneticBlockTrialLower.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The original constrained block trial attains the magnetic variational lower bound once its physical overlap is self-consistent.

  1. theorem OAI.InvariantIsing.magnetic_block_trial_eventually_lower line 13