OAI/Probability/InvariantIsing/Spectral/ScaledSpectralLaw.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Positive temperature scaling preserves the precise spectral hypotheses.

  1. def OAI.InvariantIsing.scaledSpectralLaw line 13

    Also declared: ComparatorChallenges/InvariantIsing.lean:208 (same declaration text).

  2. lemma OAI.InvariantIsing.scaled_spectral_support_bound line 16
  3. lemma OAI.InvariantIsing.scaled_spectral_support_mem line 26
  4. lemma OAI.InvariantIsing.scaled_spectral_compact line 37
  5. lemma OAI.InvariantIsing.scaled_spectral_no_outliers line 43
  6. lemma OAI.InvariantIsing.scaled_spectral_weak line 57