Suppose we have a $k$-dimensional subspace $V$ in $\mathbb{R}^n$ given by a basis $\{v_1,\cdots,v_k\in \mathbb{R}^n\}$, find an index set $I\subset [n]$ with $|I|=m$ where $k\le m\le n$, such that $$\max_{v\in V}\frac{||v||_2}{||v_I||_2}$$ is minimum, where $v_I\in \mathbb{R}^m$ is the projection of $v$ to the coordinates indexed by $I$.
My question is:
- Is this problem NP-hard?
- If $k$ is a constant, $m$ can be unbounded, is this problem still NP-hard?
- If it is NP-hard, what is the best (or any) approximate ratio we can achieve?
Any references in the literature will also be welcome.
Edit: This problem is equivalent to the following submatrix selection problem: let $V$ be a $k\times n$ matrix such that the row vectors of $V$ are orthonormal, find a submatrix $V'$ of $V$ by selecting $m$ columns from $V$, such that $$\sigma_{\min}(V')\text{ is maximum},$$ where $\sigma_{\min}$ is the smallest singular value. Follows are (partial) answers to the question:
- question 1 is NP-hard even for $k=m$, (slightly modified) reduction from X3C as in this paper
- question 2 is still open. (I would be appropriated if one could provide any references)
- For approximation, one can achieve the approximation ratio of $$\frac{\left(1-\sqrt{\frac{k}{m}}\right)^2}{\left(1+\sqrt{\frac{n}{m}}\right)^2},$$by this paper, this gives a $\Omega\left(\frac{\epsilon m}{m+n}\right)$ bound for $m\ge (1+\epsilon)k$. When $m=k$, one can achieve $\Omega\left(\frac{1}{k(1+\epsilon)}\right)$ bound for any $\epsilon>0$, by using a local search algorithm by this paper.
- The hardness of approximation is unknown, even for $m=k$.