230 Boolean Analysis — Halfspace
230.1 Overview
Unit linear projections preserve standard Gaussian laws. Conditioning scalar rotation crossings gives an infinitesimal crossing formula and hence the normalized rotation-sensitivity limit for halfspaces.
230.2 Declarations
For every \(a\in \mathbb R^n\) with \(\sum _i a_i^2=1\), the map \(z\mapsto \sum _i a_i z_i\) pushes standard Gaussian measure on \(\mathbb R^n\) to \(N(0,1)\).
Let \(\Phi ,\varphi \) denote the standard Gaussian distribution function and density. For \(t,y\in \mathbb R\), define \(q_{t,y}(\theta )=\Phi ((t-\sin \theta \, y)/\cos \theta )-\Phi (t)\). For every \(t,y\), \(q_{t,y}'(0)=-\varphi (t)y\).
Let \(\Phi ,\varphi \) denote the standard Gaussian distribution function and density. For \(t,y\in \mathbb R\), define \(q_{t,y}(\theta )=\Phi ((t-\sin \theta \, y)/\cos \theta )-\Phi (t)\). For every \(t,y\), \(|q_{t,y}(\theta )|/\theta \to \varphi (t)|y|\) as \(\theta \to 0^+\).
The standard Gaussian density satisfies \(\varphi (x)\le \varphi (0)\) for every \(x\in \mathbb R\).
The standard Gaussian distribution function and density satisfy \(|\Phi (x)-\Phi (y)|\le \varphi (0)|x-y|\) for all \(x,y\in \mathbb R\).
Let \(\Phi ,\varphi \) denote the standard Gaussian distribution function and density. For \(t,y\in \mathbb R\), define \(q_{t,y}(\theta )=\Phi ((t-\sin \theta \, y)/\cos \theta )-\Phi (t)\). For all \(t,y\in \mathbb R\) and \(0\lt \theta \lt 1\), \(|q_{t,y}(\theta )|/\theta \le 2\varphi (0)(|t|+|y|)\).
Let \(\Phi ,\varphi \) denote the standard Gaussian distribution function and density. For \(t,y\in \mathbb R\), define \(q_{t,y}(\theta )=\Phi ((t-\sin \theta \, y)/\cos \theta )-\Phi (t)\). For every real \(t\), if \(Y\sim N(0,1)\), then \(\mathbb E_Y(|q_{t,Y}(\theta )|/\theta )\to \varphi (t)\mathbb E|Y|\) as \(\theta \to 0^+\).
Let \(\gamma \) be standard Gaussian measure on \(\mathbb R\) and \(\Phi \) its distribution function. For real \(a,b\), \(\gamma (({-\infty },a]\mathbin {\triangle }({-\infty },b])=|\Phi (b)-\Phi (a)|\).
For a random variable \(Y\sim N(0,1)\) and the standard Gaussian density \(\varphi \), \(\mathbb E|Y|=2\varphi (0)\).
For every real \(t,\theta \), the set \(\{ (x,y)\in \mathbb R^2:\neg (x\le t\ \Longleftrightarrow \ \cos \theta \, x+\sin \theta \, y\le t)\} \) is Borel measurable.
Let \(\Phi ,\varphi \) denote the standard Gaussian distribution function and density. For \(t,y\in \mathbb R\), define \(q_{t,y}(\theta )=\Phi ((t-\sin \theta \, y)/\cos \theta )-\Phi (t)\). If \(\cos \theta \gt 0\) and \(X,Y\) are independent standard Gaussian variables, then \(\Pr (1_{(-\infty ,t]}(X)\ne 1_{(-\infty ,t]}(\cos \theta \, X+\sin \theta \, Y))=\mathbb E_Y|q_{t,Y}(\theta )|\).
The standard Gaussian density satisfies \(\sqrt{\pi /2}\, 2\varphi (0)=1\).
Let \(X,Y\) be independent standard Gaussian variables and \(\varphi \) their density. For every real \(t\), \(\sqrt{\pi /2}\, \Pr (1_{(-\infty ,t]}(X)\ne 1_{(-\infty ,t]}(\cos \theta \, X+\sin \theta \, Y))/\theta \to \varphi (t)\) as \(\theta \to 0^+\).
For a measurable \(A\subseteq \mathbb R^n\) and independent standard Gaussian vectors \(X,Y\), put \(R_A(\theta )=\Pr (1_A(X)\ne 1_A(\cos \theta \, X+\sin \theta \, Y))\). If \(a\in \mathbb R^n\) satisfies \(\sum _i a_i^2=1\) and \(H=\{ z:\sum _i a_i z_i\le t\} \), then \(R_H(\theta )=\Pr (1_{(-\infty ,t]}(U)\ne 1_{(-\infty ,t]}(\cos \theta \, U+\sin \theta \, V))\) for every real \(t,\theta \), where \(U,V\) are independent standard Gaussian scalars.
For a measurable \(A\subseteq \mathbb R^n\) and independent standard Gaussian vectors \(X,Y\), put \(R_A(\theta )=\Pr (1_A(X)\ne 1_A(\cos \theta \, X+\sin \theta \, Y))\). If \(a\in \mathbb R^n\) satisfies \(\sum _i a_i^2=1\) and \(H=\{ z:\sum _i a_i z_i\le t\} \) for \(t\in \mathbb R\), then \(\sqrt{\pi /2}\, R_H(\theta )/\theta \to \varphi (t)\) as \(\theta \to 0^+\), where \(\varphi \) is the standard Gaussian density.
For every \(n\ge 0\) and \(a\in \mathbb R^n\), if \(Z\) is a standard Gaussian vector and \(\varphi \) is the one-dimensional standard Gaussian density, then \(\mathbb E|\sum _i a_i Z_i|=\sqrt{\sum _i a_i^2}\, 2\varphi (0)\).