Sharp Lower Bounds for Dyadic Square Functions of indicator functions of sets

We study lower bounds for dyadic square functions of indicator functions. In the case of the dyadic square function $S_2$ we obtain a sharp lower bound: for every measurable $A\subset [0,1)$, we have $$\mathrm{\parallel }{S}_2(\text{mathbbm}{1}_A){\mathrm{\parallel }}_1\ge {\mathbb{E}}_{\mathrm{\mid }A\mathrm{\mid }}\left[\sqrt{\tau }\right]\asymp \mathrm{\mid }A{\mathrm{\mid }}^{\ast }{\log }_2\frac{1}{\mathrm{\mid }A{\mathrm{\mid }}^{\ast }},$$ where $\tau$ is the first exit time from $(0,1)$ of a standard Brownian motion started at $\mathrm{\mid }A\mathrm{\mid }$, and $\mathrm{\mid }A{\mathrm{\mid }}^{\ast }:=\min \{\mathrm{\mid }A\mathrm{\mid },1-\mathrm{\mid }A\mathrm{\mid }\}$. This estimate gives logarithmic improvement over the classical Burkholder–Davis–Gundy lower bound $\mathrm{\mid }A{\mathrm{\mid }}^{\ast }$. In addition, we show a sharp inequality $$\mathrm{\parallel }{S}_1(\text{mathbbm}{1}_A){\mathrm{\parallel }}_1\ge T(\mathrm{\mid }A\mathrm{\mid })\asymp \mathrm{\mid }A{\mathrm{\mid }}^{\ast }{\log }_2\frac{1}{\mathrm{\mid }A{\mathrm{\mid }}^{\ast }},$$ where $T(x)={\sum }_{k=0}^{\mathrm{\infty }}\frac{\mathrm{dist}(2^{k}x,\mathbb{Z})}{2^k}$ is the Takagi function.