Eldan's stochastic localization and tubular neighborhoods of complex-analytic sets
classification
🧮 math.MG
math.CVmath.PR
keywords
distanceeuclideangaussianmeasureoriginr-neighborhoodaffineassume
read the original abstract
Let Z be the zero set of a holomorphic map from C^n to C^k. Assume that Z is non-empty. We prove that for any r > 0, the Gaussian measure of the Euclidean r-neighborhood of Z is at least as large as the Gaussian measure of the Euclidean r-neighborhood of E, where E is any (n-k)-dimensional, affine, complex subspace whose distance from the origin is the same as the distance of Z from the origin.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.