Work

Sharp Operator Khintchine inequality and $Z_2$ Property

Year: 2025
Type: preprint
Abstract: We study the $p=1$ operator Khintchine inequality associated with orthonormal systems and establish two quantitative implications relating its optimal constant $A_1$ to the $Z_2$ property. For an orthonormal system $W$ with finite $Z_2(W)$, we prove $A_1(W)\leq\sqrt{1+Z_2(W)}$. Conversely, there exists an absolute constant $δ>0$ such that, for canonical group unitaries indexed by any subset $V$ of a discrete group, $A_1(V)<\sqrt2+δ$ implies $Z_2(V)\leq2$. The converse is detected by $2\times2$ matrix coefficients supported on at most six group elements. For the classical Rademacher sequence, we determine the sharp operator Khintchine constant $A_1=\sqrt2$, answering the question left open by Haagerup and Musat~\cite{Haagerup2007}. Since this sequence has $Z_2=2$, the conclusion $Z_2(V)\leq2$ is optimal.
Language: English
Open Access status: green
OpenAlex ID: W4416083900
Cites:
Cited by:
Related to: