MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 3 deleted 130 characters in body

Here is a rather specialized version of a question I asked some ten days ago. It is my impression that the original question was "too general"; hope this one will not be considered "too localized".

Let $n>1$ be an integer, and $a>1$ a real number. Consider the subspace $L<R^{2^n}$ generated by the $n$ possible tensor products of the $n-1$ copies of the vector $(1,a)$ and one copy of $(a,-1)$. (The $n$ generators of $L$ correspond to the $n$ positions where the factor $(a,-1)$ can be inserted into the product.) product. Say, if $n=2$, then $L$ is generated by the two vectors $(a,-1,a^2,-a)$ and $(a,a^2,-1,-a)$.) Now for a vector $l\in L$ and a positive integer $k\le 2^n$, choose arbitrarily $k$ coordinates of $l$ and let $\sigma$ denote their sum. Since $\sigma$ is the scalar product of $l$ and a vector of norm $\sqrt k$, we have $$ |\sigma| \le \|l\| \sqrt k. $$

My question is whether this trivial estimate can be improved by a growing factor; say,

Is it true that for any $l\in L$ and $k\le 2^n$, the sum of any $k$ coordinates of $l$ is at most $C_a\|l\| \sqrt k / \log\log n$ in absolute value, with a constant $C_a$ depending only on $a$?

show/hide this revision's text 2 added 48 characters in body

Here is a rather specialized version of a question I asked some ten days ago. It is my impression that the original question was "too general"; hope this one will not be considered "too localized".


Let $n>1$ be an integer, and $a>1$ a real number. Consider the subspace $L<R^{2^n}$ generated by the $n$ possible tensor products of the $n-1$ copies of the vector $(1,a)$ and one copy of $(a,-1)$. (The $n$ generators of $L$ correspond to the $n$ positions where the factor $(a,-1)$ can be inserted into the product.) Now for a vector $l\in L$ and a positive integer $k\le 2^n$, choose arbitrarily $k$ coordinates of $l$ and let $\sigma$ denote their sum. Since $\sigma$ is the scalar product of $l$ and a vector of norm $\sqrt k$, we have $$ |\sigma| \le \|l\| \sqrt k. $$

My question is whether this trivial estimate can be improved by a growing factor; say,

Is it true that for any $l\in L$ and $k\le 2^n$, the sum of any $k$ coordinates of $l$ is at most $\|l\| C_a\|l\| \sqrt k / \log\log n$ in absolute value?, with a constant $C_a$ depending only on $a$?

show/hide this revision's text 1

Projecting the unit cube onto a (very special) subspace

Here is a rather specialized version of a question I asked some ten days ago. It is my impression that the original question was "too general"; hope this one will not be considered "too localized".


Let $n>1$ be an integer, and $a>1$ a real number. Consider the subspace $L<R^{2^n}$ generated by the $n$ possible tensor products of the $n-1$ copies of the vector $(1,a)$ and one copy of $(a,-1)$. (The $n$ generators of $L$ correspond to the $n$ positions where the factor $(a,-1)$ can be inserted into the product.) Now for a vector $l\in L$ and a positive integer $k\le 2^n$, choose arbitrarily $k$ coordinates of $l$ and let $\sigma$ denote their sum. Since $\sigma$ is the scalar product of $l$ and a vector of norm $\sqrt k$, we have $$ |\sigma| \le \|l\| \sqrt k. $$

My question is whether this trivial estimate can be improved by a growing factor; say,

Is it true that for any $l\in L$ and $k\le 2^n$, the sum of any $k$ coordinates of $l$ is at most $\|l\| \sqrt k / \log\log n$ in absolute value?