OAI/Probability/InvariantIsing/Spectral/SpectralWardPaths.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Limiting spectral Ward tests give the manuscript path equation for bounded synchronized factors of the actual total-overlap quantile.

  1. lemma OAI.InvariantIsing.spectralSpinQuantile_integral line 16
  2. theorem OAI.InvariantIsing.spectralPartition_offWardPath line 31