18 research outputs found
A PRG for Lipschitz Functions of Polynomials with Applications to Sparsest Cut
We give improved pseudorandom generators (PRGs) for Lipschitz functions of
low-degree polynomials over the hypercube. These are functions of the form
psi(P(x)), where P is a low-degree polynomial and psi is a function with small
Lipschitz constant. PRGs for smooth functions of low-degree polynomials have
received a lot of attention recently and play an important role in constructing
PRGs for the natural class of polynomial threshold functions. In spite of the
recent progress, no nontrivial PRGs were known for fooling Lipschitz functions
of degree O(log n) polynomials even for constant error rate. In this work, we
give the first such generator obtaining a seed-length of (log
n)\tilde{O}(d^2/eps^2) for fooling degree d polynomials with error eps.
Previous generators had an exponential dependence on the degree.
We use our PRG to get better integrality gap instances for sparsest cut, a
fundamental problem in graph theory with many applications in graph
optimization. We give an instance of uniform sparsest cut for which a powerful
semi-definite relaxation (SDP) first introduced by Goemans and Linial and
studied in the seminal work of Arora, Rao and Vazirani has an integrality gap
of exp(\Omega((log log n)^{1/2})). Understanding the performance of the
Goemans-Linial SDP for uniform sparsest cut is an important open problem in
approximation algorithms and metric embeddings and our work gives a
near-exponential improvement over previous lower bounds which achieved a gap of
\Omega(log log n)
Approximating Sparsest Cut in Low Rank Graphs via Embeddings from Approximately Low Dimensional Spaces
We consider the problem of embedding a finite set of points x_1, ...x_n in R^d that satisfy l_2^2 triangle inequalities into l_1, when the points are approximately low-dimensional. Goemans (unpublished, appears in a work of Magen and Moharammi (2008) ) showed that such points residing in exactly d dimensions can be embedded into l_1 with distortion at most sqrt{d}. We prove the following robust analogue of this statement: if there exists a r-dimensional subspace Pi such that the projections onto this subspace satisfy sum_{i,j in [n]} norm{Pi x_i - Pi x_j}_2^2 >= Omega(1) * sum_{i,j in [n]} norm{x_i - x_j}_2^2, then there is an embedding of the points into l_1 with O(sqrt{r}) average distortion. A consequence of this result is that the integrality gap of the well-known Goemans-Linial SDP relaxation for the Uniform Sparsest Cut problem is O(sqrt{r}) on graphs G whose r-th smallest normalized eigenvalue of the Laplacian satisfies lambda_r(G)/n >= Omega(1)*Phi_{SDP}(G). Our result improves upon the previously known bound of O(r) on the average distortion, and the integrality gap of the Goemans-Linial SDP under the same preconditions, proven in [Deshpande and Venkat, 2014], and [Deshpande, Harsha and Venkat 2016]
Embedding Approximately Low-Dimensional l_2^2 Metrics into l_1
Goemans showed that any n points x_1,..., x_n in d-dimensions satisfying l_2^2 triangle inequalities can be embedded into l_{1}, with worst-case distortion at most sqrt{d}. We consider an extension of this theorem to the case when the points are approximately low-dimensional as opposed to exactly low-dimensional, and prove the following analogous theorem, albeit with average distortion guarantees: There exists an l_{2}^{2}-to-l_{1} embedding with average distortion at most the stable rank, sr(M), of the matrix M consisting of columns {x_i-x_j}_{i<j}. Average distortion embedding suffices for applications such as the SPARSEST CUT problem. Our embedding gives an approximation algorithm for the SPARSEST CUT problem on low threshold-rank graphs, where earlier work was inspired by Lasserre SDP hierarchy, and improves on a previous result of the first and third author [Deshpande and Venkat, in Proc. 17th APPROX, 2014]. Our ideas give a new perspective on l_{2}^{2} metric, an alternate proof of Goemans\u27 theorem, and a simpler proof for average distortion sqrt{d}
Polynomial bounds for decoupling, with applications
Let f(x) = f(x_1, ..., x_n) = \sum_{|S| <= k} a_S \prod_{i \in S} x_i be an
n-variate real multilinear polynomial of degree at most k, where S \subseteq
[n] = {1, 2, ..., n}. For its "one-block decoupled" version,
f~(y,z) = \sum_{|S| <= k} a_S \sum_{i \in S} y_i \prod_{j \in S\i} z_j,
we show tail-bound comparisons of the form
Pr[|f~(y,z)| > C_k t] t].
Our constants C_k, D_k are significantly better than those known for "full
decoupling". For example, when x, y, z are independent Gaussians we obtain C_k
= D_k = O(k); when x, y, z, Rademacher random variables we obtain C_k = O(k^2),
D_k = k^{O(k)}. By contrast, for full decoupling only C_k = D_k = k^{O(k)} is
known in these settings.
We describe consequences of these results for query complexity (related to
conjectures of Aaronson and Ambainis) and for analysis of Boolean functions
(including an optimal sharpening of the DFKO Inequality).Comment: 19 pages, including bibliograph
Locally Testable Codes and Cayley Graphs
We give two new characterizations of (\F_2-linear) locally testable
error-correcting codes in terms of Cayley graphs over \F_2^h:
\begin{enumerate} \item A locally testable code is equivalent to a Cayley
graph over \F_2^h whose set of generators is significantly larger than
and has no short linear dependencies, but yields a shortest-path metric that
embeds into with constant distortion. This extends and gives a
converse to a result of Khot and Naor (2006), which showed that codes with
large dual distance imply Cayley graphs that have no low-distortion embeddings
into .
\item A locally testable code is equivalent to a Cayley graph over \F_2^h
that has significantly more than eigenvalues near 1, which have no short
linear dependencies among them and which "explain" all of the large
eigenvalues. This extends and gives a converse to a recent construction of
Barak et al. (2012), which showed that locally testable codes imply Cayley
graphs that are small-set expanders but have many large eigenvalues.
\end{enumerate}Comment: 22 page
Comparison of metric spectral gaps
Let be an by symmetric stochastic matrix. For
and a metric space , let be the
infimum over those for which every
satisfy
Thus measures the magnitude of the {\em nonlinear spectral
gap} of the matrix with respect to the kernel . We study pairs of metric spaces and for which
there exists such that for every symmetric stochastic with
. When is linear a complete geometric
characterization is obtained.
Our estimates on nonlinear spectral gaps yield new embeddability results as
well as new nonembeddability results. For example, it is shown that if and then for every there exist
such that {equation}\label{eq:p factor} \forall\, i,j\in
\{1,...,n\},\quad \|x_i-x_j\|_2\lesssim p\|f_i-f_j\|_p, {equation} and
This statement is impossible for , and the asymptotic dependence
on in \eqref{eq:p factor} is sharp. We also obtain the best known lower
bound on the distortion of Ramanujan graphs, improving over the work of
Matou\v{s}ek. Links to Bourgain--Milman--Wolfson type and a conjectural
nonlinear Maurey--Pisier theorem are studied.Comment: Clarifying remarks added, definition of p(n,d) modified, typos fixed,
references adde