### November 27, 2006

The ACM Computing Classification: G.1.3 Numerical Linear Algebra, F.2.1 Numerical Algorithms and Problems . The first author is partially supported by the NSF grant DMS 0245380. The second author is an Alfred P. Sloan Research Fellow. He is also partially supported by the NSF grant DMS 0401032.
<ph f="cmbx">Sampling from large matrices: an approach through geometric functional analysis </ph>

### Roman Vershynin

Department of Mathematics, University of Missouri, Columbia, MO 65211, U.S.A. E-mail address : rudelson@math.missouri.edu Department of Mathematics, University of California, Davis, CA 95616, U.S.A. E-mail address : vershynin@math.ucdavis.edu
• Abstract. We study random submatrices of a large matrix $A$  . We show how to approximately compute $A$  from its random submatrix of size $O\left(rlogr\right)$  with a small error in the spectral norm, where $r=\parallel A{\parallel }_{F}^{2}/\parallel A{\parallel }^{2}$  is the ratio of the squares of the Frobenius (Hilbert-Schmidt) and the spectral norms. One can view $r$  as the “average sparsity” of the matrix; it is always bounded by the rank. This yields an effective algorithm for computing low-rank approximations of $A$  . We also estimate norms of random submatrices of $A$  . We improve known estimates on the cut-norm (the ${l}_{\infty }\to {l}_{1}$  operator norm). This yields an approximation algorithm for all MAX-2CSP problems (which include many graph problems, such as the MAX-CUT). The solution to a MAX-2SCP problem on $n$  variables can be approximated within the additive error $\varepsilon {n}^{2}$  by the solution of the problem induced by a randomly chosen $q$  variables. The best known sample complexity was $q=O\left({\varepsilon }^{-4}log\left(1/\varepsilon \right)\right)$  . We improve it to $q=O\left({\varepsilon }^{-2}\right)$  .
We also find an optimal estimate on the spectral norm of random submatrices of $A$  (the ${l}_{2}\to {l}_{2}$  operator norm). All our results are essentially dimension-free; the picture being only controlled by the norms of the matrix and not by its size or rank. We use methods of Probability in Banach spaces, in particular the law of large numbers for operator-valued random variables.

1 Introduction

This paper studies random submatrices of a large matrix $A$  . The study of random submatrices spans several decades and is related to diverse areas of mathematics and computer science. Two main reasons for the interest in random submatrices are:
• (1) one can learn a matrix $A$  from its random submatrices;
• (2) properties of a matrix $A$  may improve by passing to its random submatrices.
We address both aspects of random submatrices in this paper. We show how to approximate $A$  by its random submatrix in the spectral norm, and we compute the asymptotics of the spectral and the cut norms of random submatrices. We look for a dimension-free picture, which is only controlled by the norms of the matrix $A$  and not by its size (or rank). This yields improvements upon known algorithms for computing low rank approximations, Singular Value Decompositions, and approximations to MAX-2CSP problems.

1.1 The spectral norm: low rank approximations and SVD

Can one approximate $A$  by only knowing a random submatrix of $A$  of a fixed size?
One is especially interested in the sample complexity of this problem, the minimal size of a submatrix which yields a good approximation with a small error in some natural norm, and with high probability.
This problem belongs to a class of problems the Statistical Learning Theory is concerned with. These problems inevitably bear the assumption that the the object to be learned belongs to a relatively small “target” class. To be able to learn $A$  from a matrix of small size thus of small rank, we have to assume that $A$  itself has small rank–or can be approximated by an (unknown) matrix of a small rank. We thus strive to find a low rank approximation to a matrix $A$  , whenever such an approximation exists, from only knowing a small random submatrix of $A$  .
Solving this problem is essential for development of fast Monte-Carlo algorithms for computations on large matrices. An extremely large matrix $A$  – say, of the order of ${10}^{5}×{10}^{5}$  – is impossible to upload into the Random Access Memory (RAM) of a computer; it is instead stored in an external memory. On the other hand, sampling a small submatrix of $A$  , storing it in RAM and computing its small rank approximation is feasible.
The crucial assumption that $A$  is essentially a low rank matrix holds in many applications. For example, this is a model hypothesis in the Latent Semantic Indexing (see [6, 21, 4, 9, 5, 2). There $A$  is the “document-term matrix”, which is formed of the frequencies of occurrence of various terms in the documents of a large collection. The hypothesis that the documents are related to a small number of (unknown) topics translates into the assumption that $A$  can be approximated by an (unknown) low rank matrix. Finding such an approximation would determine the “best” topics the collection is really about. Other examples where this problem arises include clustering of graphs [10, DNA microarray data, facial recognition, web search (see [12), lossy data compression and cryptography (see [5).
The best fixed rank approximation to $A$  is obviously given by the partial sums of the Singular Value Decomposition (SVD) $A={\sum }_{j}{\sigma }_{j}\left(A\right){u}_{j}\otimes {v}_{j}$  where ${\sigma }_{j}\left(A\right)$  is the nonincreasing and nonnegative sequence of the singular values of $A$  , and ${u}_{j}$  and ${v}_{j}$  are left and right singular vectors of $A$  respectively. The best rank $k$  approximation to $A$  in both the spectral and Frobenius norms1 is thus $A{P}_{k}$  , where ${P}_{k}$  is the orthogonal projection onto the top $k$  left singular vectors of $A$  . In particular, for the spectral norm we have
 $\begin{array}{c}{min}_{B,rankB\le k}\parallel A-B\parallel =\parallel A-A{P}_{k}\parallel ={\sigma }_{k+1}\left(A\right).\end{array}$ (1)
However, computing ${P}_{k}$  , which gives the first elements of the SVD of a $m×n$  matrix $A$  , is often impossible in practice because (1) it would take many passes through $A$  , which is prohibitively slow for a matrix stored in an external memory; (2) this would take superlinear time in $m+n$  . Instead, it was proposed in [16, 11, 12, 13to use the Monte-Carlo methodology: namely, approximate the $k$  -th partial sum of the SVD of $A$  by the $k$  -th partial sum of the SVD of a random submatrix of $A$  . In this paper, we show that this can be done:
• (1) with sample complexity $O\left(rlogr\right)$  , that is by sampling only $O\left(rlogr\right)$  random rows of $A$  , if $A$  is is approximable by a rank $r$  matrix;
• (2) in one pass through $A$  if the matrix is stored row-by-row, and in two passes if its entries are stored in arbitrary order;
• (3) using RAM space and time $O\left(n+m\right)$  (and polynomial in $r$  and $k$  ).
Theorem 1.1. Let $A$  be an $m×n$  matrix, and $k>0$  be an integer. For $\varepsilon \in \left(0,1\right)$  , and let
 $\begin{array}{c}d\ge C\left(\frac{r}{{\varepsilon }^{4}}\right)log\left(\frac{r}{{\varepsilon }^{4}}\right),\text{where}r={\parallel A\parallel }_{F}^{2}/{\parallel A\parallel }^{2}.\end{array}$ (2)
Let $\stackrel{~}{A}$  be a $d×n$  matrix consisting of $d$  normalized rows of $A$  , picked independently with replacement, with probabilities proportional to the squares of their Euclidean lengths. Let ${P}_{k}$  be the orthogonal projection onto the top $k$  left singular vectors of $\stackrel{~}{A}$  . Then with high probability
 $\begin{array}{c}\parallel A-A{P}_{k}\parallel \le {\sigma }_{k+1}\left(A\right)+\varepsilon \parallel A\parallel .\end{array}$ (3)
Here and in the sequel, $C,c,{C}_{1},\dots$  denote positive absolute constants.
Comparing  3 with the best approximation  1 given by the SVD, we see an additional error $\varepsilon \parallel A\parallel$  which can be made small by increasing the size $d$  of the sample.

1 the spectral norm is the operator norm ${l}_{2}\to {l}_{2}$  , that is $\parallel A\parallel ={sup}_{|x|=1}|Ax|={\sigma }_{1}\left(A\right)$  ; the Frobenius (Hilbert-Schmidt) norm is defined as $\parallel A{\parallel }_{F}^{2}={\sum }_{i,j}|{A}_{ij}{|}^{2}={\sum }_{j}{\sigma }_{j}^{2}$  .

1.1.1 Sample complexity.

The approximation scheme in Theorem  1.1 is not new; it was developed in [16, 11, 12, 13.
However, the sample complexity $d$  in Theorem  1.1 improves significantly upon the previously known estimates. The sample complexity is essentially linear in the “average sparsity” $r$  of the matrix; $r$  is obviously bounded by the rank of $A$  . We can view $r$  as a relaxation of the rank, which is stable under small perturbations of $A$  (unlike the rank itself !) Thus for matrices $A$  which are essentially low-rank matrices, $r$  is also small.
This complexity is optimal in many natural cases. For example, if $A$  is a matrix of an orthogonal projection, then one must have $rank\left(A{P}_{k}\right)\ge rank\left(A\right)$  for a meaningful approximation of $A$  by $A{P}_{k}$  . But $rank\left(A{P}_{k}\right)\le rank{P}_{k}\le d$  , thus $d\ge rank\left(A\right)$  . One can also show that the logarithm is needed in  2 .

1.1.2 Law of large numbers for operator-valued random variables

The new feature in our proof of Theorem  1.1 is a use of the first author's argument about random vectors in the isotropic position [22. It yields a law of large numbers for operator-valued random variables. We apply it for independent copies of a rank one random operator, which is given by a random row of the matrix ${A}^{T}A$  .

1.2 The cut-norm: decay, approximation to MAX-CSP problems

Alon, Fernandez de la Vega, Kannan and Karpinski [1, 3reduced the question of finding additive approximations to the MAX-CSP problems (which are NP-hard) to computing the cut-norm of random submatrices.
The input of a MAX-2CSP problem is a set $F$  of $m$  distinct Boolean functions ${f}_{i}$  on $n$  Boolean variables ${x}_{j}$  , where each function ${f}_{i}$  depends on only two variables. The output $Max\left(F\right)$  is the maximal number of functions that can be simultaneously set to $1$  by a truth assignment to the variables. This class of problems includes many graph problems, in particular the MAX-CUT problem, in which one wants to maximize, for a given graph, the number of edges that join a subset of vertices with its complement.
The exact problem is NP-hard. To approximately solve MAX-2CSP, it was proposed in [1, 3to use the Monte-Carlo methodology, that is to approximate the problem by the induced problem on a small random sample of variables. For a subset $Q$  of the variables $\left\{{x}_{1},\dots ,{x}_{n}\right\}$  , then induced problem $F{|}_{Q}$  consists of the functions from $F$  that depend on the variables from $Q$  . Our goal is to find the minimal $q$  (the sample complexity) such that for random subset $Q$  of $q$  variables,
 $\begin{array}{c}|Max\left(F\right)-\frac{{n}^{2}}{{q}^{2}}Max\left(F{|}_{Q}\right)|<\varepsilon {n}^{2}.\end{array}$ (4)
(note that the maximal number of formulas in $F$  and $F{|}_{Q}$  is of order of ${n}^{2}$  and ${q}^{2}$  respectively).
Goldreich, Goldwasser and Ron [17were first to find a polynomial time algorithm for approximating MAX-2CSP within the additive error $\varepsilon {n}^{2}$  . The sample complexity in [17was $q=O\left({\varepsilon }^{-5}\right)$  . Independently, Fernandez de la Vega [14developed a different polynomial time algorithm for MAX-CUT. Alon, Fernandez de la Vega, Kannan and Karpinski [1, 3improved the sample complexity in  4 to $q=O\left({\varepsilon }^{-4}log\left(1/\varepsilon \right)\right)$  , which has remained best known up to now. Actually, the same sample complexity of this order was shown in [3to be sufficient for all MAX-rCSP problems (in which the functions dpend on $r\ge 2$  variables). By improving the central part of the argument of [3, which is an estimate of the cut-norm of random submatrices, we shall reduce the sample complexity for MAX-2CSP to $q=O\left({\varepsilon }^{-2}\right)$  .
We shall call the random subset of expected cardinality $q$  a subset of an $n$  -element set formed by including each element independently with probability $q/n$  .
Theorem 1.2. For any $\varepsilon >0$  , there exists a positive integer $q=O\left({\varepsilon }^{-2}\right)$  which satisfies the following. Let $F$  be a collection of Boolean functions on $n$  variables ${x}_{1},\dots ,{x}_{n}$  , each function depending on two variables. Let $Q$  be a random subset of the variables $\left\{{x}_{1},\dots ,{x}_{n}\right\}$  of expected cardinality $q$  .
Then  4 holds with high probability.
This result follows, by the argument of [3, from an estimate of the cut-norm of random submatrices. The cut norm of an $n×n$  matrix $A$  is the maximum sum of the entries of its sumbatrix, $\parallel A{\parallel }_{C}={max}_{I,J}|{\sum }_{i\in I,j\in J}{A}_{ij}|$  and it is equivalent to the ${l}_{\infty }\to {l}_{1}$  operator norm. We want to see how the cut norm of $A$  decreases when we pass to its random submatrix $A{|}_{Q×Q}=\left({A}_{ij}{\right)}_{i,j\in Q}$  , where $Q$  is a random subset of $\left\{1,\dots ,n\right\}$  of expected cardinality $q$  . Intuitively, $A{|}_{Q×Q}$  is $\left(q/n{\right)}^{2}$  times smaller thatn $A$  if $A$  is diagonal-free, but only $\left(q/n\right)$  times smaller than $A$  if $A$  is a diagonal matrix. The general case combines both types of decay:
Theorem 1.3. Let $A$  be an $n×n$  matrix. Let $Q$  be a random subset of $\left\{1,\dots ,n\right\}$  of expected cardinality $q$  . Then $\mathbb{E}\parallel A{|}_{Q×Q}{\parallel }_{C}\le C{\left(\frac{q}{n}\right)}^{2}\parallel A{\parallel }_{C}+C\left(\frac{q}{n}\right)\parallel diag\left(A\right){\parallel }_{C}+C{\left(\frac{q}{n}\right)}^{3/2}\left(\parallel A{\parallel }_{\text{Col}}+\parallel {A}^{T}{\parallel }_{\text{Col}}\right)$  where $\parallel A{\parallel }_{\text{Col}}$  is the sum of the Euclidean lengths of the columns of $A$  , and $diag\left(A\right)$  is the diagonal part of $A$  .
Remark 1.4. Note that by Cauchy-Schwartz inequality ${\parallel A\parallel }_{\text{Col}}\le \sqrt{n}{\parallel A\parallel }_{F}$  .
This result improves in several ways the estimate from [3. The argument of [3is combinatorial, while our proof uses the technique of probability in normed spaces, and includes decoupling, symmetrization, and application of a version of Slepian's lemma for Bernoulli random variables due to Talagrand.

1.3 The spectral norm: decay

Perhaps the most important matrix norm is the spectral norm (the ${l}_{2}\to {l}_{2}$  operator norm). Nevertheless, its decay under passing to submatrices has not been sufficiently understood. Given an $n×n$  matrix $A$  , its submatrix $A{|}_{Q}=\left({A}_{ij}{\right)}_{i\in Q,j\le n}$  consists of the rows of $A$  indexed by a subset $Q$  . If $Q$  is a random subset of epected cardinality $q$  (as above), the length of any vector $x\in {\mathbb{R}}^{n}$  reduces by the factor of $\sqrt{\frac{q}{n}}$  when one orthogonally projects $x$  onto ${\mathbb{R}}^{Q}$  . One should then expect similar type of decay of the spectral norm–something like $\mathbb{E}\parallel A{|}_{Q}\parallel \le \sqrt{\frac{q}{n}}\parallel A\parallel$  . However, similarly to the previous section, the decay for diagonal matrices is different–for example, there is no decay at all for the identity matrix. The correct asymptotics in this case is given by $\parallel A{\parallel }_{\left(k\right)}=\text{the average of}k\text{biggest Euclidean lengths of the columns of}A\text{,}$  with $k=n/q$  . For diagonal matrices, it is the average of $k$  biggest absolute values of the entries. General matrices again combines both types of decay:
Theorem 1.5. Let $A$  be an $n×n$  matrix. Let $Q$  be a random subset of $\left\{1,\dots ,n\right\}$  of expected cardinality $q$  . Then the random submatrix $A{|}_{Q}$  formed by the columns of $A$  indexed by $Q$  satisfies $\mathbb{E}\parallel A{|}_{Q}\parallel \le C\sqrt{\frac{q}{n}}\parallel A\parallel +C\sqrt{logq}\parallel A{\parallel }_{\left(n/q\right)}.$
Remark 1.6. The example considered in Remark  2.2 below shows that the coefficient $\sqrt{logq}$  is necessary here. The same example implies that the logarithmic term is required in Theorem  1.1 as well.
Generalizing an earlier result of Lunin [20, Kashin and Tzafriri [18(see [25) essentially proved the existence of a subset $Q$  of cardinality $\delta n$  and such that $\parallel A{|}_{Q}\parallel \le C\sqrt{\frac{q}{n}}\parallel A\parallel +C\frac{\parallel A{\parallel }_{F}}{\sqrt{n}}.$  Note that $\frac{\parallel A{\parallel }_{F}}{\sqrt{n}}={\left(\frac{1}{n}{\sum }_{i=1}^{n}|{A}_{i}{|}^{2}\right)}^{1/2}$  is the average of the lengths of all columns of $A$  .
As the example of diagonal operators shows, for random subsets $Q$  this term has to be replaced by the average of the few biggest columns. Talagrand [23proved deep results on the more general operator norms ${l}_{2}\to X$  , where $X$  is a $2$  -smooth Banach space.
However, the decay on $\frac{q}{n}$  in his results is logarithmic.

1.4 Dimension-free approach

Many problems on random submatrices, of both theoretical and practical importance, have functional-analytic rather than linear-algebraic nature. These problems, like those this paper considers, are about estimating operator norms. We thus see a matrix $A$  as a linear operator $A$  between finite dimensional normed spaces – say, between ${l}_{2}^{n}$  and ${l}_{2}^{n}$  for the spectral norm, and between ${l}_{\infty }^{n}$  and ${l}_{1}^{n}$  for the cut norm.
From this perspective, the dimension $n$  of the underlying normed space should play a minor role, while the real control of the picture should be held by (hopefully few) quantities tied to the operator rather than the space. As a trivial example, if $A$  is not of full rank then the dimension $n$  of the range space is useless comparing to the rank of $A$  . Further, we are looking for stable results, those not ruined by small perturbations of the linear operators – this is a natural demand in applications, and this differs our analytic perspective from the linear algebraic one. It would thus be natural to look for stable quantities tied to linear operators, which govern the picture. For example, operator norms are stable quantities, while the rank is not.
This paper advances a dimension free approach to matrices. The low rank approximations in Theorem  1.1 are only controlled by the average sparsity $r$  of the matrix, which is a stable relaxation of the rank. The norms of random matrices in Theorems  1.3 and  1.5 are essentially controlled by the norms of the original matrix (and naturally by the sampling factor, the ratio of the size of the submatrix to the size of the original matrix). The size $n$  of the matrix, which is the dimension of the space, does not play a separate role in these results.
Another part of this picture which we omitted in this paper is the invertibility of submatrices. Dimension-free versions of the invertibility results due to Bourgain and Tzafriri can be found in [25, se also [8for random submatrices.
Acknowledgement. This project started when the authors participated in the PIMS Thematic Programme on Asymptotic Geometric Analysis at the University of British Columbia in Summer 2002. The first author was a PIMS postdoctoral fellow at that time. We are grateful to PIMS for its hospitality. The final part of this research was done when the first authour visited University of California, Davis. We are also grateful for R. Kannan for his comments on the initial version of this manuscript.

2 Low rank approximations

In this section, we prove Theorem  1.1 and discuss the algorithm for finding low rank approximations. Our argument is based on the law of large numbers for operator-valued random variables.

2.1 Law of large numbers for operator-valued random variables

Theorem  1.1 is about random independent sampling the rows of the matrix $A$  . The result of such sampling can be viewed as an empirical process taking values in the set of rows. If we sample enough rows, then the matrix constructed from them would nicely approximate the original matrix $A$  in the spectral norm. For the scalar random variables, this effect is the classical Law of Large Numbers. For example, let $X$  be a bounded random variable and let ${X}_{1}\dots {X}_{d}$  be independent copies of $X$  . Then Markov inequality implies $\mathbb{E}|\frac{1}{d}{\sum }_{j=1}^{d}{X}_{j}-\mathbb{E}X|\le \frac{C}{\sqrt{d}}.$  The operator-valued analog of this inequality is harder to prove. In this case instead of estimating the absolute value of the difference between the sample mean and the expectation, we have to estimate the norm. Thus instead the large deviation estimate for a single random variable, we have to deal with estimating the supremum of a random process. This requires deeper probabilistic techniques. The following Theorem generalizes the main result of [22.
Theorem 2.1. Let $y$  be a random vector in ${\mathbb{R}}^{n}$  . Assume for normalization that $\parallel \mathbb{E}y\otimes y\parallel =1$  . Let $d$  be a natural number and let ${y}_{1}\dots {y}_{d}$  be independent copies of $y$  . Then $\mathbb{E}‖\frac{1}{d}{\sum }_{i=1}^{d}{y}_{i}\otimes {y}_{i}-\mathbb{E}y\otimes y‖\le C\cdot \frac{\sqrt{logd}}{\sqrt{d}}\cdot {\left(\mathbb{E}{\parallel y\parallel }^{logd}\right)}^{1/logd},$  provided that the last expression is smaller than $1$  .
Remark 2.2. This estimate is in general optimal. A simplest example is $A=I$  , the identity matrix in ${\mathbb{R}}^{n}$  . Let us sample random rows of $A$  (scaled by $\sqrt{n}$  for normalization); this amounts to the random vector $X$  taking values $\sqrt{n}{e}_{1},\dots ,\sqrt{n}{e}_{n}$  each with probability $1/n$  , where $\left({e}_{i}\right)$  is the canonical basis of ${\mathbb{R}}^{n}$  .
Then $\mathbb{E}X\otimes X=I$  . Here and in the sequel, by $u\otimes v$  we denote the linear operator whose matrix is ${u}^{T}v$  . We wish to replace this mean by the sample mean $\frac{1}{d}{\sum }_{j=1}^{d}{X}_{j}\otimes {X}_{j}$  , where ${X}_{1}\dots {X}_{d}$  are independent copies of $X$  . Then $\mathbb{E}‖\frac{1}{d}{\sum }_{j=1}^{d}{X}_{j}\otimes {X}_{j}-I‖=\mathbb{E}{max}_{i=1\dots n}|\frac{n}{d}|\left\{j|{X}_{j}=\sqrt{n}{e}_{i}\right\}|-1|.$  If we want this quantity to be $O\left(1\right)$  , then it is not hard to check that $d$  should be of order at least $nlogn$  . Therefore, the coefficient $\sqrt{logd}/\sqrt{d}$  in Theorem  2.1 is optimal.

2.2 Proof of Theorem  2.1 .

The proof consists of two steps. First we introduce a Rademacher series that majorizes the expectation of the norm. Then we use the main Lemma of [22to obtain a bound for it.
The first step is relatively standard. Let ${\varepsilon }_{1}\dots {\varepsilon }_{d}$  be independent Bernoulli variables taking values $1,-1$  with probability $1/2$  and let ${y}_{1}\dots {y}_{d},{\overline{y}}_{1}\dots {\overline{y}}_{d}$  be independent copies of $y$  . Denote ${\mathbb{E}}_{y},{\mathbb{E}}_{\varepsilon }$  the expectation according to $y$  and $\varepsilon$  respectively. Since ${y}_{i}\otimes {y}_{i}-{\overline{y}}_{i}\otimes {\overline{y}}_{i}$  is a symmetric random variable, we have
 $\begin{array}{cc}& {\mathbb{E}}_{y}‖\frac{1}{d}\sum di=1{y}_{i}\otimes {y}_{i}-\mathbb{E}y\otimes y‖\le {\mathbb{E}}_{y}{\mathbb{E}}_{\overline{y}}‖\frac{1}{d}\sum di=1{y}_{i}\otimes {y}_{i}-\frac{1}{d}\sum di=1{\overline{y}}_{i}\otimes {\overline{y}}_{i}‖=\end{array}$
 $\begin{array}{cc}& {\mathbb{E}}_{\varepsilon }{\mathbb{E}}_{y}{\mathbb{E}}_{\overline{y}}‖\frac{1}{d}\sum di=1{\varepsilon }_{i}\left({y}_{i}\otimes {y}_{i}-{\overline{y}}_{i}\otimes {\overline{y}}_{i}\right)‖\le 2{\mathbb{E}}_{y}{\mathbb{E}}_{\varepsilon }‖\frac{1}{d}\sum di=1{\varepsilon }_{i}{y}_{i}\otimes {y}_{i}‖.\end{array}$
 $\begin{array}{}\end{array}$
To estimate the last expectation, we need the following Lemma [22.
Lemma 2.3. Let ${y}_{1}\dots {y}_{N}$  be vectors in ${R}^{l}$  and let ${\varepsilon }_{1}\dots {\varepsilon }_{N}$  be independent Bernoulli variables taking values $1,-1$  with probability $1/2$  . Then $\mathbb{E}‖{\sum }_{i=1}^{N}{\varepsilon }_{i}{y}_{i}\otimes {y}_{i}‖\le C\sqrt{logl}\cdot {max}_{i=1\dots N}\parallel {y}_{i}\parallel \cdot {‖{\sum }_{i=1}^{N}{y}_{i}\otimes {y}_{i}‖}^{1/2}.$
Remark 2.4. We can consider the vectors ${y}_{1}\dots {y}_{N}$  as vectors in their linear span, so the dimension of the ambient space may be always assumed less or equal to $N$  .
Applying the Lemma, we get
 $\begin{array}{cc}& \mathbb{E}‖\frac{1}{d}\sum di=1{y}_{i}\otimes {y}_{i}-\mathbb{E}y\otimes y‖\le \end{array}$
 $\begin{array}{cc}C\cdot \frac{\sqrt{logd}}{d}\cdot & {\left(\mathbb{E}{max}_{i=1\dots d}{\parallel {y}_{i}\parallel }^{2}\right)}^{1/2}\cdot {\left(\mathbb{E}‖\sum di=1{y}_{i}\otimes {y}_{i}‖\right)}^{1/2}.\end{array}$ (5)
 $\begin{array}{}\end{array}$
We have
 $\begin{array}{cc}{\left(\mathbb{E}{max}_{i=1\dots d}{\parallel {y}_{i}\parallel }^{2}\right)}^{1/2}& \le {\left(\mathbb{E}{\left(\sum di=1{\parallel {y}_{i}\parallel }^{logd}\right)}^{2/logd}\right)}^{1/2}\end{array}$
 $\begin{array}{cc}& \le {d}^{1/logd}\cdot {\left(\mathbb{E}{\parallel y\parallel }^{logd}\right)}^{1/logd}.\end{array}$
 $\begin{array}{}\end{array}$
Thus, denoting $D=\mathbb{E}‖\frac{1}{d}\sum di=1{y}_{i}\otimes {y}_{i}-\mathbb{E}y\otimes y‖,$  we obtain by  5
 $\begin{array}{cc}D& \le C\cdot \frac{\sqrt{logd}}{\sqrt{d}}\cdot {\left(\mathbb{E}{\parallel y\parallel }^{logd}\right)}^{1/logd}\cdot \left(D+1{\right)}^{1/2}\end{array}$
 $\begin{array}{cc}& \le C\cdot \frac{\sqrt{logd}}{\sqrt{d}}\cdot {\left(\mathbb{E}{\parallel y\parallel }^{logd}\right)}^{1/logd}\cdot \left({D}^{1/2}+1\right).\end{array}$
 $\begin{array}{}\end{array}$
If $C\cdot \frac{\sqrt{logd}}{\sqrt{d}}\cdot {\left(\mathbb{E}{\parallel y\parallel }^{logd}\right)}^{1/logd}\le 1/2,$  we get $D\le 2C\cdot \frac{\sqrt{logd}}{\sqrt{d}}\cdot {\left(\mathbb{E}{\parallel y\parallel }^{logd}\right)}^{1/logd}$  which completes the proof of Theorem 1.

2.3 Proof of Theorem  1.1

By the homogeneity, we can assume $\parallel A\parallel =1$  .
The following lemma of Drineas and Kannan [11(see also [12) reduces Theorem  1.1 to a comparison of $A$  and a sample $\stackrel{~}{A}$  in the spectral norm.
Lemma 2.5 (Drineas, Kannan).
 $\begin{array}{c}\parallel A-A{P}_{k}{\parallel }^{2}\le {\sigma }_{k+1}\left(A{\right)}^{2}+2\parallel {A}^{T}A-{\stackrel{~}{A}}^{T}\stackrel{~}{A}\parallel .\end{array}$ (6)
• Proof.
 $\begin{array}{cc}\parallel A-A{P}_{k}{\parallel }^{2}& ={sup}_{x\in ker{P}_{k},|x|=1}\parallel Ax{\parallel }^{2}={sup}_{x\in ker{P}_{k},|x|=1}〈{A}^{T}Ax,x〉\end{array}$
 $\begin{array}{cc}& \le {sup}_{x\in ker{P}_{k},|x|=1}〈\left({A}^{T}A-{\stackrel{~}{A}}^{T}\stackrel{~}{A}\right)x,x〉+{sup}_{x\in ker{P}_{k},|x|=1}〈{\stackrel{~}{A}}^{T}\stackrel{~}{A}x,x〉\end{array}$
 $\begin{array}{cc}& =\parallel {A}^{T}A-{\stackrel{~}{A}}^{T}\stackrel{~}{A}\parallel +{\sigma }_{k+1}\left({\stackrel{~}{A}}^{T}\stackrel{~}{A}\right).\end{array}$
 $\begin{array}{}\end{array}$
By a result of perturbation theory, $|{\sigma }_{k+1}\left({A}^{T}A\right)-{\sigma }_{k+1}\left({\stackrel{~}{A}}^{T}\stackrel{~}{A}\right)|\le \parallel {A}^{T}A-{\stackrel{~}{A}}^{T}\stackrel{~}{A}\parallel$  . This proves the claim.
For $j=1\dots m$  let ${x}_{j}$  be the $j$  -th row of the matrix $A$  . Then ${A}^{T}A={\sum }_{j=1}^{m}{x}_{j}\otimes {x}_{j}.$  We shall view the matrix ${A}^{T}A$  as the true mean of a bounded operator valued random variable, whereas ${\stackrel{~}{A}}^{T}\stackrel{~}{A}$  will be its empirical mean; then we shall apply the Law of Large Numbers for operator-valued random variables, that is Theorem  2.1 . To this end, define a random vector $X\in {\mathbb{R}}^{m}$  as $\mathbb{P}\left(X=\frac{{\parallel A\parallel }_{F}}{\parallel {x}_{j}\parallel }{x}_{j}\right)=\frac{{\parallel {x}_{j}\parallel }^{2}}{{\parallel A\parallel }_{F}^{2}}.$  and let ${X}_{1}\dots {X}_{d}$  be independent copies of $X$  . Let the matrix $\stackrel{~}{A}$  consist of rows $\frac{1}{\sqrt{d}}{X}_{1}\dots \frac{1}{\sqrt{d}}{X}_{d}$  . (The normalization of $\stackrel{~}{A}$  is different than in the statement of Theorem  1.1 : in the proof, it is convenient to multiply $\stackrel{~}{A}$  by the factor $\frac{1}{\sqrt{d}}\parallel A{\parallel }_{F}$  . However note that the singular vectors of $\stackrel{~}{A}$  and thus ${P}_{k}$  do not change.) Then ${A}^{T}A=\mathbb{E}X\otimes X,{\stackrel{~}{A}}^{T}\stackrel{~}{A}=\frac{1}{d}\sum di=1{X}_{j}\otimes {X}_{j},$  and ${\left(\mathbb{E}{\parallel X\parallel }^{logd}\right)}^{1/logd}\le sup\parallel X\parallel ={\parallel A\parallel }_{F}.$  Applying Theorem  2.1 we get $\mathbb{E}‖{\stackrel{~}{A}}^{T}\stackrel{~}{A}-{A}^{T}A‖\le C\sqrt{\frac{logd}{d}}\cdot {\parallel A\parallel }_{F}$  whenever the last quantity is less than 1. Let $\delta <1$  be an absolute constant. Choose $d\ge C\left(r/{\delta }^{2}{\varepsilon }^{4}\right)log\left(r/{\delta }^{2}{\varepsilon }^{4}\right)$  , then $C\sqrt{\frac{logd}{d}}\cdot {\parallel A\parallel }_{F}<\delta {\varepsilon }^{2}.$  Hence, by Chebychev's inequality, $\mathbb{E}‖{\stackrel{~}{A}}^{T}\stackrel{~}{A}-{A}^{T}A‖\le {\varepsilon }^{2}/2$  with probability at least $1-2\delta$  . Finally, by  6  $\parallel A-A{P}_{k}\parallel \le {\sigma }_{k+1}\left(A\right)+\sqrt{2}\parallel {A}^{T}A-{\stackrel{~}{A}}^{T}\stackrel{~}{A}{\parallel }^{1/2}\le {\sigma }_{k+1}\left(A\right)+\varepsilon .$  This proves Theorem  1.1 .

2.4 Algorithmic aspects of Theorem  1.1 .

Finding a good low rank approximation to a matrix $A$  amounts, due to Theorem  1.1 , to sampling a random submatrix $\stackrel{~}{A}$  and computing its SVD (actually, only left singular vectors are needed). The algorithm works well if the “average sparsity” $r=\parallel A{\parallel }^{2}/\parallel A{\parallel }_{F}^{2}$  is small. This is the case, in particular, when $A$  is essentially a low-rank matrix, because $r\le rank\left(A\right)$  .
First, the algorithm samples $d=O\left(rlogr\right)$  random rows of $A$  . Namely, it should take $d$  independent samples of the random variable $X$  whose law is $\mathbb{P}\left(X=\frac{{A}_{j}}{\parallel {A}_{j}\parallel }\right)=\frac{\parallel {A}_{j}{\parallel }^{2}}{{\parallel A\parallel }_{F}^{2}}$  where ${A}_{j}$  is the $j$  -th row of $A$  , and $\parallel \cdot \parallel$  is the Euclidean norm. This sampling can be done in one pass through $A$  if the matrix is stored row-by-row, and in two passes if its entries are stored in arbitrary order ([10,Section5.1.
Then the algorithm computes the SVD of the $d×n$  matrix $\stackrel{~}{A}$  . This can be done in time $O\left(dn\right)+$  the time needed to compute the SVD of a $d×d$  matrix. The latter can be done by one of the known methods. This takes significantly less time than computing SVD of the original $m×n$  matrix $A$  . In particular, the running time of this algorithm is linear in the dimensions of the matrix (and polynomial in $d$  ).

3 The cut norm and MAX-CSP problems

We will first prove Theorem  1.3 on the cut norm of random submatrices and then indicate how it, together with the argument of [3, implies Theorem  1.2 on approximating MAX-2CSP with the sample complexity $O\left({\varepsilon }^{-2}\right)$  .

3.1 Decay of the cut-norm

The proof of Theorem  1.3 uses tools of Probability in Banach spaces: decoupling, symmetrization, and Slepian's Lemma (more precisely, its version for the Rademacher random variables due to M.Talagrand). It is easy to show that the cut norm of any operator $U:{\mathbb{R}}^{n}\to {\mathbb{R}}^{n}$  is equivalent to $\parallel U:{\ell }_{\infty }^{n}\to {\ell }_{1}^{n}\parallel$  , which we denote by ${\parallel U\parallel }_{\infty \to 1}$  . We start with a decoupling lemma due to Bourgain and Tzafriri [7.
Lemma 3.1. Let $\left({\xi }_{i}\right)$  be a finite sequence of bounded i.i.d. random variables, and $\left({\xi }_{i}^{\prime }\right)$  be its independent copy. Then for any sequence of vectors $\left({x}_{ij}\right)$  in a Banach space with ${x}_{ii}=0$  , $\mathbb{E}\parallel {\sum }_{i,j}{\xi }_{i}{\xi }_{j}{x}_{ij}\parallel \le 20\mathbb{E}\parallel {\sum }_{i,j}{\xi }_{i}{\xi }_{j}^{\prime }{x}_{ij}\parallel .$
Let ${\delta }_{1}\dots {\delta }_{n}$  be independent Bernoulli random variables taking value 1 with probability $\delta :=q/n$  . For $\Delta =\left({\delta }_{1}\dots {\delta }_{n}\right)$  denote by ${P}_{\Delta }$  the coordinate projection on the random set of coordinates $\left\{j|{\delta }_{j}=1\right\}$  .
Let $D\left(A\right)$  be the diagonal part of $A$  . Write ${P}_{\Delta }A{P}_{\Delta }={P}_{\delta }\left(A-D\left(A\right)\right){P}_{\Delta }+{P}_{\Delta }D\left(A\right){P}_{\Delta }={\sum }_{i\ne j}{\delta }_{i}{\delta }_{j}{A}_{ij}{e}_{i}\otimes {e}_{j}+{\sum }_{i}{\delta }_{i}{A}_{ii}{e}_{i}\otimes {e}_{i}.$  We apply the Lemma  3.1 to estimate the first summand, taking ${x}_{ij}={A}_{ij}{e}_{i}\otimes {e}_{j}$  if $i\ne j$  and ${x}_{ij}=0$  if $i=j$  . Then by the triangle inequality $\mathbb{E}\parallel {P}_{\Delta }A{P}_{\Delta }{\parallel }_{\infty \to 1}\le 20\mathbb{E}\parallel {P}_{\Delta }\left(A-D\left(A\right)\right){P}_{{\Delta }^{\prime }}{\parallel }_{\infty \to 1}+\delta {\sum }_{i}|{A}_{ii}|,$  where ${\Delta }^{\prime }=\left({\delta }_{i}^{\prime }\right)$  is an independent copy of the sequence $\left({\delta }_{i}\right)$  . Then to complete the proof it is enough to assume that the diagonal of $A$  is zero and prove the inequality in the stated in the theorem for $\mathbb{E}\parallel {P}_{\Delta }A{P}_{{\Delta }^{\prime }}{\parallel }_{\infty \to 1}$  .
Denoting the unit ball of ${l}_{\infty }^{n}$  by ${B}_{\infty }^{n}$  , we write
 $\begin{array}{cc}\mathbb{E}\parallel {P}_{\Delta }A{P}_{{\Delta }^{\prime }}{\parallel }_{\infty \to 1}& =\mathbb{E}{sup}_{x\in {B}_{\infty }^{n}}{\sum }_{i}{\delta }_{i}|〈A{P}_{{\Delta }^{\prime }}x,{e}_{i}〉|\end{array}$
 $\begin{array}{cc}& =\mathbb{E}{sup}_{x\in {B}_{\infty }^{n}}{\sum }_{i}\left({\delta }_{i}-\delta \right)|〈A{P}_{{\Delta }^{\prime }}x,{e}_{i}〉|+\delta \cdot \mathbb{E}\parallel A{P}_{{\Delta }^{\prime }}{\parallel }_{\infty \to 1}\end{array}$
 $\begin{array}{}\end{array}$
Since ${\delta }_{i}-\delta$  are mean zero, one can replace $\delta$  by ${\delta }_{i}^{\prime \prime }$  , an independent copy of ${\delta }_{i}$  . More precisely, the first term does not exceed $\mathbb{E}{sup}_{x\in {B}_{\infty }^{n}}{\sum }_{i}\left({\delta }_{i}-{\delta }^{\prime \prime }\right)|〈A{P}_{{\Delta }^{\prime }}x,{e}_{i}〉|$  The random variable ${\delta }_{i}-{\delta }_{i}^{\prime \prime }$  is symmetric, hence it is distributed identically with ${\varepsilon }_{i}\left({\delta }_{i}-{\delta }_{i}^{\prime \prime }\right)$  , where ${\varepsilon }_{i}$  are Rademacher random variables independent of everything else (i.e. $-1,1$  valued symmetric r.v.'s). Therefore the expression above is bounded by $2\mathbb{E}{sup}_{x\in {B}_{\infty }^{n}}{\sum }_{i}{\varepsilon }_{i}{\delta }_{i}|〈A{P}_{{\Delta }^{\prime }}x,{e}_{i}〉|.$  To estimate it, we use Slepian's inequality for Rademacher random variables, proved by Talagrand (see [19). This estimate, which allows to remove the absolue values, is known as Gine-Zinn argument. Namely, for any ${y}_{1},\dots ,{y}_{n}\in {\mathbb{R}}^{n}$  , $\mathbb{E}{sup}_{x\in {B}_{\infty }^{n}}{\sum }_{i}{\varepsilon }_{i}|〈x,{y}_{i}〉|\le \mathbb{E}{sup}_{x\in {B}_{\infty }^{n}}{\sum }_{i}{\varepsilon }_{i}〈x,{y}_{i}〉=\mathbb{E}\parallel {\sum }_{i}{\varepsilon }_{i}{y}_{i}{\parallel }_{1}.$  So,
 $\begin{array}{cc}\mathbb{E}{sup}_{x\in {B}_{\infty }^{n}}{\sum }_{i}{\varepsilon }_{i}{\delta }_{i}|〈A{P}_{{\Delta }^{\prime }}x,{e}_{i}〉|& \le \mathbb{E}\parallel {P}_{{\Delta }^{\prime }}{A}^{*}\left({\sum }_{i}{\varepsilon }_{i}{\delta }_{i}{e}_{i}\right){\parallel }_{1}\end{array}$
 $\begin{array}{cc}& =\mathbb{E}{\sum }_{j}{\delta }_{j}^{\prime }|〈{A}^{*}\left({\sum }_{i}{\varepsilon }_{i}{\delta }_{i}{e}_{i}\right),{e}_{j}〉|\end{array}$
 $\begin{array}{cc}& =\delta \cdot \mathbb{E}{\sum }_{j}|{\sum }_{i}{\varepsilon }_{i}{\delta }_{i}{A}_{ji}|\end{array}$
 $\begin{array}{cc}& \le \delta \cdot {\mathbb{E}}_{\delta }{max}_{\varepsilon \in \left\{-1,1{\right\}}^{n}}{\sum }_{j}|{\sum }_{i}{\varepsilon }_{i}{\delta }_{i}{A}_{ji}|\end{array}$
 $\begin{array}{cc}& =\delta \cdot \mathbb{E}\parallel {P}_{\Delta }A{\parallel }_{\infty \to 1}.\end{array}$
 $\begin{array}{}\end{array}$
Hence we proved that
 $\begin{array}{c}\mathbb{E}\parallel {P}_{\Delta }A{P}_{{\Delta }^{\prime }}{\parallel }_{\infty \to 1}\le \delta \left(\mathbb{E}\parallel {P}_{\Delta }A{\parallel }_{\infty \to 1}+\mathbb{E}\parallel A{P}_{\Delta }{\parallel }_{\infty \to 1}\right).\end{array}$ (7)
By essentially repeating the above argument, we obtain
 $\begin{array}{cc}\mathbb{E}\parallel {P}_{\Delta }A{\parallel }_{\infty \to 1}& \lesssim \mathbb{E}\parallel {A}^{*}\left({\sum }_{i}{\varepsilon }_{i}{\delta }_{i}{e}_{i}\right){\parallel }_{1}+\delta \cdot \mathbb{E}\parallel A{\parallel }_{\infty \to 1}\end{array}$
 $\begin{array}{cc}& =\mathbb{E}{\sum }_{j}|{\sum }_{i}{\varepsilon }_{i}{\delta }_{i}{A}_{ji}|+\delta \cdot \mathbb{E}\parallel A{\parallel }_{\infty \to 1}\end{array}$
 $\begin{array}{}\end{array}$
and interchanging the expectation and the sum, we then apply Cauchy-Schwartz inequality:
 $\begin{array}{cc}& \le 2{\sum }_{j}{\mathbb{E}}_{\delta }{\left({\sum }_{i}{\delta }_{i}|{A}_{ji}{|}^{2}\right)}^{1/2}+\delta \cdot \mathbb{E}\parallel A{\parallel }_{\infty \to 1}\end{array}$
 $\begin{array}{cc}& \le 2{\sum }_{j}{\left({\mathbb{E}}_{\delta }{\sum }_{i}{\delta }_{i}|{A}_{ji}{|}^{2}\right)}^{1/2}+\delta \cdot \mathbb{E}\parallel A{\parallel }_{\infty \to 1}\end{array}$
 $\begin{array}{cc}& =2{\delta }^{1/2}{\sum }_{j}{\left({\sum }_{i}|{A}_{ji}{|}^{2}\right)}^{1/2}+\delta \cdot \mathbb{E}\parallel A{\parallel }_{\infty \to 1}.\end{array}$
 $\begin{array}{}\end{array}$
Also, $\mathbb{E}\parallel A{P}_{\Delta }{\parallel }_{\infty \to 1}=\mathbb{E}\parallel {P}_{\Delta }{A}^{*}{\parallel }_{\infty \to 1}\le 2{\delta }^{1/2}{\sum }_{j}{\left({\sum }_{i}|{A}_{ij}{|}^{2}\right)}^{1/2}+\delta \cdot \mathbb{E}\parallel A{\parallel }_{\infty \to 1}.$  Putting this into  7 , we complete the proof.

3.2 Approximation of MAX-2CSP

Let us briefly indicate how Theorem  1.2 on approximating MAX-2CSP reduces to Theorem  1.3 on the cut norm of random submatrices. This reduction was done by Alon, Fernandez de la Vega, Kannan and Karpinski [1, 3.
For a $z\in \left\{0,1{\right\}}^{2}$  , one sets up the $n×n$  matrix $A={A}^{\left(z\right)}$  whose $\left(i,j\right)$  -th entry is the number of functions that depend on ${x}_{i}$  and ${x}_{j}$  and that are made true by the truth assignment ${x}_{i}={z}_{1}$  , ${x}_{j}={z}_{2}$  . Then the solution $Max\left(F\right)$  can be computed as the maximum of the polynomial $P\left(x\right)={\sum }_{i,j}{A}_{ij}^{\left(0,0\right)}\left(1-{x}_{i}\right)\left(1-{x}_{j}\right)+{A}_{ij}^{\left(0,1\right)}\left(1-{x}_{i}\right){x}_{j}+{A}_{ij}^{\left(1,0\right)}{x}_{i}\left(1-{x}_{j}\right)+{A}_{ij}^{\left(1,1\right)}{x}_{i}{x}_{j}$  over the Boolean cube $\left\{0,1{\right\}}^{n}$  . Similarly, the solution $Max\left(F{|}_{Q}\right)$  to the induced problem is the maximum of the polynomial $P{|}_{Q}$  determined by the submatrix $A{|}_{Q×Q}$  .
The problem is then to compare the maxima of the two polynomials, $P$  and $P{|}_{Q}$  .
This can be proved (although still non-trivially, see (34) in [3) in the case when ${A}^{\left(z\right)}$  are “cut-matrices” (or their scalar multiples). A cut matrix is the indicator function of the cartesian product $I×J$  for some $I,J\subset \left\{1,\dots ,n\right\}$  . To pass from cut matrices to general matrices, one uses the algorithmic version of Szemeredi's Regularity Lemma [15, which allows to approximate any matrix in the cut norm by a linear combination of a small number of cut matrices. It is easy to check that the maximum of $P\left(x\right)$  is stable with respect to small variations of ${A}^{\left(z\right)}$  in the cut norm. But it is a nontrivial question if small variations of ${A}^{\left(z\right)}$  will result in small variations in the induced problem, that is of the random submatrix ${A}^{\left(z\right)}{|}_{Q×Q}$  . We thus have to show that the cut norm of a matrix decreases proportinally when one passes to its random submatrix. This is where Theorem  1.3 is used.
Specifically, for a matrix $A={A}^{\left(z\right)}$  , the algorithmic version of Szemeredi's Regularity Lemma [15states that there exists at most $4/{\varepsilon }^{2}$  cut-matrices whose sum, denoted by $B$  , satisfies
 $\begin{array}{c}\parallel A-B{\parallel }_{C}\le \varepsilon n\parallel A{\parallel }_{F},\parallel A-B{\parallel }_{F}\le \parallel A{\parallel }_{F},\parallel A-B{\parallel }_{\infty }\le \frac{2}{\varepsilon n}\parallel A{\parallel }_{F},\end{array}$ (8)
where $\parallel \cdot {\parallel }_{\infty }$  denotes the maximal absolute value of the entries. Note that
 $\begin{array}{c}\parallel A{\parallel }_{F}\le n\parallel A{\parallel }_{\infty }\le {2}^{{2}^{2}}n\end{array}$ (9)
because the number of different Boolean functions that can depend on two fixed variables is ${2}^{{2}^{2}}$  . Thus the approximation is good in the cut norm, $\parallel A-B{\parallel }_{C}=O\left(\varepsilon {n}^{2}\right)$  .
To prove  4 , it remains to show that this error will decrease to $\parallel \left(A-B\right){|}_{Q×Q}{\parallel }_{C}=O\left(\varepsilon {q}^{2}\right)$  for the induced problem. This is done by using Theorem  1.3 (see remark below it) along with  8 and  9 :
 $\begin{array}{cc}\mathbb{E}\parallel \left(A-B\right){|}_{Q×Q}{\parallel }_{C}& \le C{\left(\frac{q}{n}\right)}^{2}\parallel A-B{\parallel }_{C}+C\left(\frac{q}{n}\right)n\parallel A-B{\parallel }_{\infty }+C\frac{{q}^{3/2}}{n}\parallel A-B{\parallel }_{F}\end{array}$
 $\begin{array}{cc}& \le C\varepsilon {q}^{2}+\frac{C}{\varepsilon }q+C{q}^{3/2}=O\left(\varepsilon {q}^{2}\right)\text{if}q\sim {\varepsilon }^{-2}\text{.}\end{array}$
 $\begin{array}{}\end{array}$
This establishes nice approximations of both the original and the induced problem, which leads to Theorem  1.2 as described in the previous paragraph.

4 The decay of the spectral norm

In this section we prove Theorem  1.5 .
By homogeneity we can assume that $\parallel A\parallel =1$  . The matrix $A$  with columns ${x}_{1}\dots {x}_{n}$  can be written as $A={\sum }_{j\le n}{e}_{j}\otimes {x}_{j}.$  We have to compute $E:=\mathbb{E}\parallel A{|}_{Q}\parallel =\mathbb{E}‖{\sum }_{j\le n}{\delta }_{j}{e}_{j}\otimes {x}_{j}‖=\mathbb{E}{‖{\sum }_{j\le n}{\delta }_{j}{x}_{j}\otimes {x}_{j}‖}^{1/2},$  where ${\delta }_{j}$  are $\left\{0,1\right\}$  -valued independent random variables with $\mathbb{E}{\delta }_{j}=\delta =\frac{q}{n}$  . This will be done by a usual symmetrization and applying Lemma  2.3 .
Now we pass to a detailed proof. The standard symmetrization procedure (see [19Lemma 6.3) yields
 $\begin{array}{cc}E& \le \mathbb{E}{‖{\sum }_{j\le n}\left({\delta }_{j}-\delta \right){x}_{j}\otimes {x}_{j}‖}^{1/2}+\sqrt{\delta }{\parallel A\parallel }^{1/2}\end{array}$
 $\begin{array}{cc}& \le 2{\mathbb{E}}_{\delta }{\left({\mathbb{E}}_{\varepsilon }‖{\sum }_{j\le n}{\varepsilon }_{j}{\delta }_{j}{x}_{j}\otimes {x}_{j}‖\right)}^{1/2}+\sqrt{\delta }.\end{array}$
 $\begin{array}{}\end{array}$
Denote $J\left(\delta \right)=\left\{j|{\delta }_{j}=1\right\}$  . We apply Lemma  2.3 to bound ${\mathbb{E}}_{\varepsilon }‖{\sum }_{j\in J\left(\delta \right)}{\varepsilon }_{j}{x}_{j}\otimes {x}_{j}‖$  .
By Remark  2.4 , we can assume $l$  in this Lemma equal $n\left(\delta \right):=e+{\sum }_{j\le n}{\delta }_{j}.$  Then using the Cauchy-Schwartz inequality we obtain
 $\begin{array}{cc}E\le & {\mathbb{E}}_{\delta }{\left(C\sqrt{logn\left(\delta \right)}\cdot {max}_{j\in J\left(\delta \right)}\parallel {x}_{j}\parallel \cdot {‖{\sum }_{j\in J\left(\delta \right)}{x}_{j}\otimes {x}_{j}‖}^{1/2}\right)}^{1/2}+\sqrt{\delta }\end{array}$
 $\begin{array}{cc}\le & C{\left({\mathbb{E}}_{\delta }\left(logn\left(\delta \right)\cdot {max}_{j=1\dots n}{\delta }_{j}{\parallel {x}_{j}\parallel }^{2}\right)\right)}^{1/2}{\left({\mathbb{E}}_{\delta }{‖{\sum }_{j=1}^{n}{\delta }_{j}{x}_{j}\otimes {x}_{j}‖}^{1/2}\right)}^{1/2}\end{array}$
 $\begin{array}{cc}& +\sqrt{\delta }.\end{array}$ (10)
 $\begin{array}{}\end{array}$
To estimate the fist term in the product we use the following
Lemma 4.1. Let ${a}_{1}\ge {a}_{2}\ge \dots \ge {a}_{n}\ge 0$  and let ${\delta }_{1}\dots {\delta }_{n}$  be independent Bernoulli random variables taking value $1$  with probability $\delta >2/n$  . Then $\frac{\delta }{4e}\sqrt{log\delta n}\cdot {\sum }_{j=1}^{1/\delta }{a}_{j}\le \mathbb{E}\left(\sqrt{logn\left(\delta \right)}\cdot {max}_{j=1\dots n}{\delta }_{j}{a}_{j}\right)\le 4\delta \sqrt{log\delta n}\cdot {\sum }_{j=1}^{1/\delta }{a}_{j}.$
• Proof. To prove the upper estimate note that ${max}_{j=1\dots n}{\delta }_{j}{a}_{j}\le {\sum }_{j=1}^{1/\delta }{\delta }_{j}{a}_{j}+{a}_{1/\delta }.$  Hence,  $\begin{array}{c}\mathbb{E}\left(\sqrt{logn\left(\delta \right)}\cdot {max}_{j=1\dots n}{\delta }_{j}{a}_{j}\right)\le \mathbb{E}\left(\sqrt{logn\left(\delta \right)}\cdot {\sum }_{j=1}^{1/\delta }{\delta }_{j}{a}_{j}\right)+{a}_{1/\delta }\cdot \mathbb{E}\sqrt{logn\left(\delta \right)}.\end{array}$ (11)
Jensen's inequality yields $\mathbb{E}\sqrt{logn\left(\delta \right)}\le \sqrt{log\left(\mathbb{E}{\sum }_{i=1}^{n}{\delta }_{i}+e\right)}\le 2\sqrt{log\delta n}.$  By the linearity of expectation, the first term equals ${\sum }_{j=1}^{1/\delta }{a}_{j}\mathbb{E}\left({\delta }_{j}\sqrt{logn\left(\delta \right)}\right)\le {\sum }_{j=1}^{1/\delta }{a}_{j}\mathbb{E}\left({\delta }_{j}\sqrt{log\left({\sum }_{i\ne j}{\delta }_{i}+1+e\right)}\right)$  Here we estimated $n\left(\delta \right)$  replacing ${\delta }_{j}$  by 1. Taking the expectation first with respect to ${\delta }_{j}$  and then with respect to the other ${\delta }_{i}$  , we obtain that the last expression is bounded by $\delta {\sum }_{j=1}^{1/\delta }{a}_{j}\cdot \sqrt{log\left(\delta n+1+e\right)}\le 2\delta {\sum }_{j=1}^{1/\delta }{a}_{j}\cdot \sqrt{log\delta n}.$  Finally, substituting this bound into  11 , we obtain $\mathbb{E}\left(\sqrt{log{\sum }_{i=1}^{n}{\delta }_{i}}\cdot {max}_{j=1\dots n}{\delta }_{j}{a}_{j}\right)\le \left(2\delta {\sum }_{j=1}^{1/\delta }{a}_{j}+2{a}_{1/\delta }\right)\cdot \sqrt{log\delta n}\le 4\delta {\sum }_{j=1}^{1/\delta }{a}_{j}\cdot \sqrt{log\delta n}.$  To prove the lower bound, we estimate the product in Lemma  4.1 from below to make the terms independent. We have
 $\begin{array}{cc}\mathbb{E}\left(\sqrt{logn\left(\delta \right)}\cdot {max}_{j=1\dots n}{\delta }_{j}{a}_{j}\right)& \ge \mathbb{E}\left(\sqrt{log\left({\sum }_{i=1/\delta +1}^{n}{\delta }_{i}+e\right)}\cdot {max}_{j=1\dots 1/\delta }{\delta }_{j}{a}_{j}\right)\end{array}$
 $\begin{array}{cc}& =\mathbb{E}\sqrt{log\left({\sum }_{i=1/\delta +1}^{n}{\delta }_{i}+e\right)}\cdot \mathbb{E}{max}_{j=1\dots 1/\delta }{\delta }_{j}{a}_{j}.\end{array}$ (12)
 $\begin{array}{}\end{array}$
These terms will be estimated separately. Since $\mathbb{P}\left({\sum }_{i=1/\delta +1}^{n}{\delta }_{i}\ge \delta n/2\right)\ge 1/2$  , $\mathbb{E}\sqrt{log\left({\sum }_{i=1/\delta +1}^{n}{\delta }_{i}+e\right)}\ge \frac{1}{2}\sqrt{log\frac{\delta n}{2}}.$  Let $1\le k\le 1/\delta$  . Denote by ${A}_{k}$  the event ${\delta }_{k}=1,{\delta }_{j}=0$  for $1\le j\le 1/\delta ,j\ne k$  .
Then $\mathbb{P}\left({A}_{k}\right)=\delta \cdot \left(1-\delta {\right)}^{1/\delta -1}\ge \delta /e.$  Hence, $\mathbb{E}{max}_{j=1\dots 1/\delta }{\delta }_{j}{a}_{j}\ge {\sum }_{k=1}^{1/\delta }{a}_{k}\mathbb{P}\left({A}_{k}\right)\ge \frac{\delta }{e}{\sum }_{j=1}^{1/\delta }{a}_{j}.$  Substituting this estimate into  12 finishes the proof.
Now we can complete the proof of Theorem  1.5 . Combining Lemma  4.1 and  10 , we get $E\le C\sqrt{\delta }{log}^{1/4}\delta n\cdot {\parallel A\parallel }_{\left(1/\delta \right)}^{1/2}\cdot {E}^{1/2}+\sqrt{\delta }.$  Recall that $\delta =q/n$  . It can be easily checked that $E\le a{E}^{1/2}+b$  implies $E\le 4{a}^{2}E+2b$  .
Hence, $E\le 4{C}^{2}{log}^{1/2}q\cdot {\parallel A\parallel }_{\left(n/q\right)}+2\sqrt{q/n}.$  This completes the proof.
References

1. N. Alon, W. de la Vega, R. Kannan, M. Karpinski, Random Sampling and approximation of MAX-CSPs, 34'th ACM STOC (2002)
2. Y. Azar, A. Fiat, A. Karlin, F. McSsherry, J. Saia, Spectral analysis of data, Proceedings of the 33rd ACM Symposium on THeory of Computing, 2001
3. N. Alon, W. de la Vega, R. Kannan, M. Karpinski, Random Sampling and approximation of MAX-CSPs, Journal of Computer and System Sciences 67 (2003), 212-243
4. M. W. Berry, S. T. Dumais, G. W. O'Brian, Using linear algebra for intelligent information retrieval, SIAM Review 37 (1995), 573–595
5. M. W. Berry, Z. Drmac, E. R. Jessup, Matrices, vector spaces and information retrieval, SIAM Review 41 (1999), 335–362
6. M. J. Berry, G. Linoff, Data mining techniques. John-Wiley, 1997
7. J. Bourgain and L. Tzafriri: Invertibility of “large” sumatricies with applications to the geometry of Banach spaces and harmonic analysis. Israel J. Math., 57 (1987) 137–223
8. P. G. Casazza, R. Vershynin, Kadison-Singer meets Bourgain-Tzafriri, submitted
9. S. T. Deerwester, S. T. Dumais, G. W. Furnas, T. K. Landauer, R. H. Harshman, Indexing by latent semantic analysis, Journal of the American Society for Information Science 41 (1990), 391–407
10. P. Drineas, A. Frieze, R. Kannan, S. Vempala, V. Vinay, Clustering in large graphs via Singular Value Decomposition, Journal of Machine Learning, to appear (2004)
11. P. Drineas, R. Kannan, Pass efficient algorithms for approximating large matrices, Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms (Baltimore, MD, 2003), 223–232, ACM, New York, 2003
12. P. Drineas, R. Kannan, M. Mahoney, Fast Monte-Carlo Algorithms for Matrices II: Computing a low-rank approximation to a matrix, preprint
13. P. Drineas, M. Mahoney, R. Kannan, Fast Monte-Carlo Algorithms for Matrices III: Computing an Efficient Approximate Decomposition of a Matrix, preprint
14. W. Fernandez de la Vega, MAX-CUT has a randomized approximation scheme in dense graphs, Random Structures and Algorithms 8 (1996), 187–199
15. A. Frieze and R. Kannan, The Regularity Lemma and approximation schemes for dense problems, Proceedings of the 37th Annual IEEE Symposium on Foundations of Computing (1996), 12–20
16. A. Frieze, R. Kannan and S. Vempala, Fast Monte-Carlo Algorithms for finding low-rank approximations, Proceedings of the Foundations of Computer Science, 1998, pp. 378–390, journal version in Journal of the ACM 51 (2004), 1025-1041
17. O. Goldreich, S. Goldwasser, D. Ron, Property testing and its connection to learning and approximation, Proc. 37th IEEE FOCS 96, 339–348; journal version in Journal of the ACM 45 (1998), 653–750
18. B. Kashin, L. Tzafriri, Some remarks on the restrictions of operators to coordinate subspaces, unpublished notes
19. M. Ledoux and M. Talagrand, Probability in Banach spaces, Springer, 1991
20. A. A. Lunin, On operator norms of submatrices, Math. USSR Sbornik 27 (1975), 481–502
21. C. H. Papadimitriou, P. Raghavan, H. Tamaki, S. Vempala, Latent semantic indexing: A probabilistic analysis, Proceedings of the ACM symposium on principles of database systems, 1998
22. M. Rudelson, Random vectors in isotropipc position, J. Funct. Anal. 164 (1999), no. 1, 60–72.
23. M. Talagrand, Sections of smooth convex bodies via majorizing measures, Acta MAth. 175 (1995), 273–300
24. M. Talagrand, Majorizing measures: the generic chaining, Ann. Probab. 24 (1996), 1049–1103
25. R. Vershynin, John's decompositions: selecting a large part, Israel Journal of Mathematics 122 (2001), 253–277

Department of Mathematics, University of Missouri, Columbia, MO 65211, U.S.A. E-mail address : rudelson@math.missouri.edu Department of Mathematics, University of California, Davis, CA 95616, U.S.A. E-mail address : vershynin@math.ucdavis.edu