OAI/Geometry/RCD/Heat/CompactHeatDensityGaussianTail.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform Gaussian tails for the original compact scaling densities

The row normalization cancels the two endpoint weights. The estimate is uniform in the noise index and over the entire open time interval.

  1. theorem OAI.RegularPointCoordinates.NoncollapsedRCD.CompactHeatScalingData.interpolationDensity_gaussian_tail line 26