Talagrand has shown that there exists universal constants c,C>0 such that for any independent and identically distributed random variables X1,…,Xn in the unit disk D of C, any convex and Lipschitz function f:Dn→R, and any real number r>0,
P(|f(X1,…,Xn)−Ef(X1,…,Xn)|≥r)≤Cexp(−cr2).
An accessible proof can be found in Ledoux's monograph on the concentration phenomenon (chapter 4). This inequality is useful for instance in order to control the distance of a random vector to a sub-vector space of controlled dimension. In many situations, one would like a similar concentration result, beyond these restrictive assumptions. Let us consider for instance a n×n random matrix M with i.i.d. entries (standard Gaussian or symmetric Bernoulli ±1). Here are two open questions about concentration of measure for which the Talagrand inequality is not enough as is due to the lack of one of the assumptions:
- concentration for the function log|det(M)|=logdet√MM∗=∑ni=1log(si(M))
- concentration for the least singular value sn(M)=min‖x‖=1‖Mx‖2