$Λ_p$ Style Bounds in Orlicz Spaces Close to $L^2$

Let $(φ_i)_{i=1}^n$ be mutually orthogonal functions on a probability space such that $\|φ_i\|_\infty \leq 1 $ for all $i \in [n]$. Let $α> 0$. Let $Φ(u) = u^2 \log^α(u)$ for $u \geq u_{0}$, and $Φ(u) = c(α) u^2$ otherwise. $u_0 \geq e$ and $c(α)$ are constants chosen so that $Φ$ is a Young function, depending only on $α$. Our main result shows that with probability at least $1/4$ over subsets $I$ of $[n]$, where $I$ is constructed by choosing each index of $[n]$ independently from a Bernoulli distribution, the following holds: $|I| \geq \frac{n}{e \log^{α+1}(n)} $ and for any $a \in \mathbb{C}^n$, $$ \left \|\sum_{i \in I} a_i φ_i \right \|_Φ \leq K(α) \log^{\fracα{2}}(\log n) \cdot \|a\|_2. $$ $K(α)$ is a constant depending only on $α$. In the main Theorem of \cite{Ryou22}, Ryou proved the result above to a constant factor, depending on $p$ and $α$, when the Orlicz space is a $L^p(\log L)^{pα}$ space for $p > 2$ where $|I| \sim \frac{n^{2/p}}{\log^{2 α/p}(n)}$. However, their work did not extend to the case where $p=2$, an open question in \cite{Iosevich25}. Our result resolves the latter question up to $\log \log n$ factors. Moreover, our result sharpens the constants of Limonova's main result in \cite{Limonova23} from a factor of $\log n$ to a factor of $\log \log n$, if the orthogonal functions are bounded by a constant. In addition, our proof is much shorter and simpler than the latter's. Finally, to complement our main result, we give a probabilistic lower bound (subsets of $[n]$ are selected by a Bernoulli distribution over $[n]$'s indices) that matches our main result's upper bound.