diff d085931..3ff9228 log_sobolev_subgaussian_v2.txt
diff --git a/log_sobolev_subgaussian_v2.txt b/log_sobolev_subgaussian_v2.txt index 3e8b8c3..7ff55ab 100644 --- a/log_sobolev_subgaussian_v2.txt +++ b/log_sobolev_subgaussian_v2.txt @@ -4,15 +4,7 @@ FOR SUBGAUSSIAN LOG-CONCAVE MEASURES An expository rewrite: one theorem, every step, in plain language. -0. HOW TO READ THIS - -This document proves a single theorem and explains every step of its -proof. You need single-variable calculus, basic linear algebra, and a -first course in probability. Anything beyond that is defined the moment -it is used. Long arguments are split into labelled lemmas (Lemma, -Proposition, Theorem) so you can jump around. The proof is a proof by -contradiction that runs through six sections; Section 4 gives the whole -roadmap before any heavy machinery starts, so read it early. + Notation used throughout (all ASCII, so it copies cleanly):