Complex Hanner's Inequality for Many Functions
arXiv:2207.09122 · doi:10.1007/s11856-024-2616-y
Abstract
We establish Hanner's inequality for arbitrarily many functions in the setting where the Rademacher distribution is replaced with higher dimensional random vectors uniform on Euclidean spheres.
10 pages, 0 figures; typos corrected, references added, proofs of lemma 2 and 3 added