Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $a$ be a vector in $\mathbb R^m$, such that $\sum_{i=1}^{m}a_i=0.$

I would like to compare $\sqrt{2m(2m−1)}\|a\|_{\infty}$ and $\sqrt{2m}\|a\|_2$, in the case when the vector $a$ satisfies the following:

Consider $R^{σ^c}=\operatorname{span}\{e_i:i\in\sigma^c\}, \sigma\subset \{1,\ldots,m\}, |\sigma^c|=M$. ($\sigma^c$ is a complement of $\sigma$). There exists $σ$ with $|σ^c|≤M$, such that projection $|P_σa|≤ρ$, for $\rho>0$.

Of course, there is an inequality $\|a\|_2\leq \sqrt m\|a\|_{\infty}$. But vector $a$ which satisfy condition above has few big (in absolute value) coordinates and the most of the coordinates are close to zero. I would like to get something better.

share|cite|improve this question
Thank you. Its a typo – Nick G.H. Mar 30 '12 at 16:46
First you say that $|\sigma^c| = M$, then you say that $|\sigma^c|\leq M$. Which one is it? Anyway, the best you can do is $\|a\|_2\leq \sqrt{m - M}\|a\|_\infty$. Why is this not obvious? Am I missing something? – William Mar 30 '12 at 18:30

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.