math.OA
The noncommutative ell 1 ell 2 inequality for Hilbert C modules and the exact constant. Let mathcal A be a unital C algebra. Then the theory of Hilbert C modules tells that begin align sum i 1 n (a ia i ) frac 1 2 leq sqrt n left( sum i 1 n a ia i right) frac 1 2 , quad forall n in mathbb N , forall a 1, dots, a n in mathcal A . end align By modifications of arguments of Botelho Andrade, Casazza, Cheng, and Tran given in 2019, for certain tuple x (a 1, dots, a n) in mathcal A n , we give a method to compute a positive element c x in the C algebra mathcal A such that the equality begin align sum i 1 n (a ia i ) frac 1 2 c x sqrt n left( sum i 1 n a ia i right) frac 1 2 . end align holds. We give an application for the integral of G. G. Kasparov. We also derive the formula for the exact constant for the continuous ell 1 ell 2 inequality.