OAI/Probability/FreeIsing/Energy/
343 declarations, 0 contain sorry, 0 declared as axioms; 47 files
Files
- ActualCriticalFieldMoments.lean 2 declarations
- ArtanhResponseCoefficients.lean 6 declarations
- Attenuation.lean 19 declarations
- AttenuationMoments.lean 5 declarations
- AttenuationProduct.lean 8 declarations
- CompensatedSquareEnergy.lean 4 declarations
- ComponentCovariance.lean 14 declarations
- CoupledAttenuation.lean 7 declarations
- CoupledResponseRows.lean 11 declarations
- CrossEnergyRiemann.lean 5 declarations
- DiscrepancyEnergy.lean 10 declarations
- DiscrepancyRowEnergy.lean 10 declarations
- DriftSquareEnergy.lean 5 declarations
- EnergyLimit.lean 7 declarations
- EnergyRiemannApproximation.lean 12 declarations
- FiniteIsingCrossEnergy.lean 3 declarations
- FiniteIsingEnergyLimit.lean 6 declarations
- FiniteIsingFieldEnergy.lean 5 declarations
- FiniteLeafCovariance.lean 16 declarations
- FreeLawLocalCovariance.lean 3 declarations
- IndependentMoments.lean 6 declarations
- LinearTiltVariance.lean 3 declarations
- MixedCrossEnergyRiemann.lean 5 declarations
- MixedMoments.lean 5 declarations
- MomentCombinatorics.lean 2 declarations
- MomentInduction.lean 4 declarations
- MomentTail.lean 5 declarations
- NNRealBoundedDriftEnergy.lean 3 declarations
- NoisyLocalCovariance.lean 8 declarations
- NormalizedCriticalInitialEnergy.lean 7 declarations
- NormalizedInfiniteTimeEnergy.lean 15 declarations
- NormalizedResponseEnergy.lean 6 declarations
- NormalizedResponseLimit.lean 7 declarations
- NormalizedResponseTime.lean 5 declarations
- OptionResponseReindex.lean 7 declarations
- OrderedAttenuation.lean 9 declarations
- ProgressiveIsingCovariance.lean 31 declarations
- RelabeledComponentAttenuation.lean 1 declarations
- ResponseSourceInvariance.lean 5 declarations
- RowEnergyConvergence.lean 5 declarations
- RowEnergyL1.lean 11 declarations
- SelectedCriticalFieldMoments.lean 11 declarations
- ShiftedFieldVariance.lean 14 declarations
- SubcriticalResponseComparison.lean 6 declarations
- TiltedVariance.lean 2 declarations
- TimeRowEnergyHasSum.lean 1 declarations
- UniformResponseMoments.lean 1 declarations