441 research outputs found
Deterministic Approximation of Random Walks in Small Space
We give a deterministic, nearly logarithmic-space algorithm that given an undirected graph G, a positive integer r, and a set S of vertices, approximates the conductance of S in the r-step random walk on G to within a factor of 1+epsilon, where epsilon>0 is an arbitrarily small constant. More generally, our algorithm computes an epsilon-spectral approximation to the normalized Laplacian of the r-step walk.
Our algorithm combines the derandomized square graph operation [Eyal Rozenman and Salil Vadhan, 2005], which we recently used for solving Laplacian systems in nearly logarithmic space [Murtagh et al., 2017], with ideas from [Cheng et al., 2015], which gave an algorithm that is time-efficient (while ours is space-efficient) and randomized (while ours is deterministic) for the case of even r (while ours works for all r). Along the way, we provide some new results that generalize technical machinery and yield improvements over previous work. First, we obtain a nearly linear-time randomized algorithm for computing a spectral approximation to the normalized Laplacian for odd r. Second, we define and analyze a generalization of the derandomized square for irregular graphs and for sparsifying the product of two distinct graphs. As part of this generalization, we also give a strongly explicit construction of expander graphs of every size
Derandomized Graph Product Results using the Low Degree Long Code
In this paper, we address the question of whether the recent derandomization
results obtained by the use of the low-degree long code can be extended to
other product settings. We consider two settings: (1) the graph product results
of Alon, Dinur, Friedgut and Sudakov [GAFA, 2004] and (2) the "majority is
stablest" type of result obtained by Dinur, Mossel and Regev [SICOMP, 2009] and
Dinur and Shinkar [In Proc. APPROX, 2010] while studying the hardness of
approximate graph coloring.
In our first result, we show that there exists a considerably smaller
subgraph of which exhibits the following property (shown for
by Alon et al.): independent sets close in size to the
maximum independent set are well approximated by dictators.
The "majority is stablest" type of result of Dinur et al. and Dinur and
Shinkar shows that if there exist two sets of vertices and in
with very few edges with one endpoint in and another in
, then it must be the case that the two sets and share a single
influential coordinate. In our second result, we show that a similar "majority
is stablest" statement holds good for a considerably smaller subgraph of
. Furthermore using this result, we give a more efficient
reduction from Unique Games to the graph coloring problem, leading to improved
hardness of approximation results for coloring
A No-Go Theorem for Derandomized Parallel Repetition: Beyond Feige-Kilian
In this work we show a barrier towards proving a randomness-efficient
parallel repetition, a promising avenue for achieving many tight
inapproximability results. Feige and Kilian (STOC'95) proved an impossibility
result for randomness-efficient parallel repetition for two prover games with
small degree, i.e., when each prover has only few possibilities for the
question of the other prover. In recent years, there have been indications that
randomness-efficient parallel repetition (also called derandomized parallel
repetition) might be possible for games with large degree, circumventing the
impossibility result of Feige and Kilian. In particular, Dinur and Meir
(CCC'11) construct games with large degree whose repetition can be derandomized
using a theorem of Impagliazzo, Kabanets and Wigderson (SICOMP'12). However,
obtaining derandomized parallel repetition theorems that would yield optimal
inapproximability results has remained elusive.
This paper presents an explanation for the current impasse in progress, by
proving a limitation on derandomized parallel repetition. We formalize two
properties which we call "fortification-friendliness" and "yields robust
embeddings." We show that any proof of derandomized parallel repetition
achieving almost-linear blow-up cannot both (a) be fortification-friendly and
(b) yield robust embeddings. Unlike Feige and Kilian, we do not require the
small degree assumption.
Given that virtually all existing proofs of parallel repetition, including
the derandomized parallel repetition result of Dinur and Meir, share these two
properties, our no-go theorem highlights a major barrier to achieving
almost-linear derandomized parallel repetition
Derandomized Parallel Repetition via Structured PCPs
A PCP is a proof system for NP in which the proof can be checked by a
probabilistic verifier. The verifier is only allowed to read a very small
portion of the proof, and in return is allowed to err with some bounded
probability. The probability that the verifier accepts a false proof is called
the soundness error, and is an important parameter of a PCP system that one
seeks to minimize. Constructing PCPs with sub-constant soundness error and, at
the same time, a minimal number of queries into the proof (namely two) is
especially important due to applications for inapproximability.
In this work we construct such PCP verifiers, i.e., PCPs that make only two
queries and have sub-constant soundness error. Our construction can be viewed
as a combinatorial alternative to the "manifold vs. point" construction, which
is the only construction in the literature for this parameter range. The
"manifold vs. point" PCP is based on a low degree test, while our construction
is based on a direct product test. We also extend our construction to yield a
decodable PCP (dPCP) with the same parameters. By plugging in this dPCP into
the scheme of Dinur and Harsha (FOCS 2009) one gets an alternative construction
of the result of Moshkovitz and Raz (FOCS 2008), namely: a construction of
two-query PCPs with small soundness error and small alphabet size.
Our construction of a PCP is based on extending the derandomized direct
product test of Impagliazzo, Kabanets and Wigderson (STOC 09) to a derandomized
parallel repetition theorem. More accurately, our PCP construction is obtained
in two steps. We first prove a derandomized parallel repetition theorem for
specially structured PCPs. Then, we show that any PCP can be transformed into
one that has the required structure, by embedding it on a de-Bruijn graph
Graph Pricing Problem on Bounded Treewidth, Bounded Genus and k-partite graphs
Consider the following problem. A seller has infinite copies of products
represented by nodes in a graph. There are consumers, each has a budget and
wants to buy two products. Consumers are represented by weighted edges. Given
the prices of products, each consumer will buy both products she wants, at the
given price, if she can afford to. Our objective is to help the seller price
the products to maximize her profit.
This problem is called {\em graph vertex pricing} ({\sf GVP}) problem and has
resisted several recent attempts despite its current simple solution. This
motivates the study of this problem on special classes of graphs. In this
paper, we study this problem on a large class of graphs such as graphs with
bounded treewidth, bounded genus and -partite graphs.
We show that there exists an {\sf FPTAS} for {\sf GVP} on graphs with bounded
treewidth. This result is also extended to an {\sf FPTAS} for the more general
{\em single-minded pricing} problem. On bounded genus graphs we present a {\sf
PTAS} and show that {\sf GVP} is {\sf NP}-hard even on planar graphs.
We study the Sherali-Adams hierarchy applied to a natural Integer Program
formulation that -approximates the optimal solution of {\sf GVP}.
Sherali-Adams hierarchy has gained much interest recently as a possible
approach to develop new approximation algorithms. We show that, when the input
graph has bounded treewidth or bounded genus, applying a constant number of
rounds of Sherali-Adams hierarchy makes the integrality gap of this natural
{\sf LP} arbitrarily small, thus giving a -approximate solution
to the original {\sf GVP} instance.
On -partite graphs, we present a constant-factor approximation algorithm.
We further improve the approximation factors for paths, cycles and graphs with
degree at most three.Comment: Preprint of the paper to appear in Chicago Journal of Theoretical
Computer Scienc
Finding the Minimum-Weight k-Path
Given a weighted -vertex graph with integer edge-weights taken from a
range , we show that the minimum-weight simple path visiting
vertices can be found in time \tilde{O}(2^k \poly(k) M n^\omega) = O^*(2^k
M). If the weights are reals in , we provide a
-approximation which has a running time of \tilde{O}(2^k
\poly(k) n^\omega(\log\log M + 1/\varepsilon)). For the more general problem
of -tree, in which we wish to find a minimum-weight copy of a -node tree
in a given weighted graph , under the same restrictions on edge weights
respectively, we give an exact solution of running time \tilde{O}(2^k \poly(k)
M n^3) and a -approximate solution of running time
\tilde{O}(2^k \poly(k) n^3(\log\log M + 1/\varepsilon)). All of the above
algorithms are randomized with a polynomially-small error probability.Comment: To appear at WADS 201
Nonlinear spectral calculus and super-expanders
Nonlinear spectral gaps with respect to uniformly convex normed spaces are
shown to satisfy a spectral calculus inequality that establishes their decay
along Cesaro averages. Nonlinear spectral gaps of graphs are also shown to
behave sub-multiplicatively under zigzag products. These results yield a
combinatorial construction of super-expanders, i.e., a sequence of 3-regular
graphs that does not admit a coarse embedding into any uniformly convex normed
space.Comment: Typos fixed based on referee comments. Some of the results of this
paper were announced in arXiv:0910.2041. The corresponding parts of
arXiv:0910.2041 are subsumed by the current pape
Small-Bias Sets for Nonabelian Groups: Derandomizing the Alon-Roichman Theorem
In analogy with epsilon-biased sets over Z_2^n, we construct explicit
epsilon-biased sets over nonabelian finite groups G. That is, we find sets S
subset G such that | Exp_{x in S} rho(x)| <= epsilon for any nontrivial
irreducible representation rho. Equivalently, such sets make G's Cayley graph
an expander with eigenvalue |lambda| <= epsilon. The Alon-Roichman theorem
shows that random sets of size O(log |G| / epsilon^2) suffice. For groups of
the form G = G_1 x ... x G_n, our construction has size poly(max_i |G_i|, n,
epsilon^{-1}), and we show that a set S \subset G^n considered by Meka and
Zuckerman that fools read-once branching programs over G is also epsilon-biased
in this sense. For solvable groups whose abelian quotients have constant
exponent, we obtain epsilon-biased sets of size (log |G|)^{1+o(1)}
poly(epsilon^{-1}). Our techniques include derandomized squaring (in both the
matrix product and tensor product senses) and a Chernoff-like bound on the
expected norm of the product of independently random operators that may be of
independent interest.Comment: Our results on solvable groups have been significantly improved,
giving eps-biased sets of polynomial (as opposed to quasipolynomial) siz
- …