1,122 research outputs found
Nondeterministic quantum communication complexity: the cyclic equality game and iterated matrix multiplication
We study nondeterministic multiparty quantum communication with a quantum
generalization of broadcasts. We show that, with number-in-hand classical
inputs, the communication complexity of a Boolean function in this
communication model equals the logarithm of the support rank of the
corresponding tensor, whereas the approximation complexity in this model equals
the logarithm of the border support rank. This characterisation allows us to
prove a log-rank conjecture posed by Villagra et al. for nondeterministic
multiparty quantum communication with message-passing.
The support rank characterization of the communication model connects quantum
communication complexity intimately to the theory of asymptotic entanglement
transformation and algebraic complexity theory. In this context, we introduce
the graphwise equality problem. For a cycle graph, the complexity of this
communication problem is closely related to the complexity of the computational
problem of multiplying matrices, or more precisely, it equals the logarithm of
the asymptotic support rank of the iterated matrix multiplication tensor. We
employ Strassen's laser method to show that asymptotically there exist
nontrivial protocols for every odd-player cyclic equality problem. We exhibit
an efficient protocol for the 5-player problem for small inputs, and we show
how Young flattenings yield nontrivial complexity lower bounds
The Minrank of Random Graphs
The minrank of a graph is the minimum rank of a matrix that can be
obtained from the adjacency matrix of by switching some ones to zeros
(i.e., deleting edges) and then setting all diagonal entries to one. This
quantity is closely related to the fundamental information-theoretic problems
of (linear) index coding (Bar-Yossef et al., FOCS'06), network coding and
distributed storage, and to Valiant's approach for proving superlinear circuit
lower bounds (Valiant, Boolean Function Complexity '92).
We prove tight bounds on the minrank of random Erd\H{o}s-R\'enyi graphs
for all regimes of . In particular, for any constant ,
we show that with high probability,
where is chosen from . This bound gives a near quadratic
improvement over the previous best lower bound of (Haviv and
Langberg, ISIT'12), and partially settles an open problem raised by Lubetzky
and Stav (FOCS '07). Our lower bound matches the well-known upper bound
obtained by the "clique covering" solution, and settles the linear index coding
problem for random graphs.
Finally, our result suggests a new avenue of attack, via derandomization, on
Valiant's approach for proving superlinear lower bounds for logarithmic-depth
semilinear circuits
Communication Complexity and Intrinsic Universality in Cellular Automata
The notions of universality and completeness are central in the theories of
computation and computational complexity. However, proving lower bounds and
necessary conditions remains hard in most of the cases. In this article, we
introduce necessary conditions for a cellular automaton to be "universal",
according to a precise notion of simulation, related both to the dynamics of
cellular automata and to their computational power. This notion of simulation
relies on simple operations of space-time rescaling and it is intrinsic to the
model of cellular automata. Intrinsinc universality, the derived notion, is
stronger than Turing universality, but more uniform, and easier to define and
study. Our approach builds upon the notion of communication complexity, which
was primarily designed to study parallel programs, and thus is, as we show in
this article, particulary well suited to the study of cellular automata: it
allowed to show, by studying natural problems on the dynamics of cellular
automata, that several classes of cellular automata, as well as many natural
(elementary) examples, could not be intrinsically universal
Mixing in Non-Quasirandom Groups
We initiate a systematic study of mixing in non-quasirandom groups. Let A and B be two independent, high-entropy distributions over a group G. We show that the product distribution AB is statistically close to the distribution F(AB) for several choices of G and F, including:
1) G is the affine group of 2x2 matrices, and F sets the top-right matrix entry to a uniform value,
2) G is the lamplighter group, that is the wreath product of ?? and ?_{n}, and F is multiplication by a certain subgroup,
3) G is H? where H is non-abelian, and F selects a uniform coordinate and takes a uniform conjugate of it.
The obtained bounds for (1) and (2) are tight.
This work is motivated by and applied to problems in communication complexity. We consider the 3-party communication problem of deciding if the product of three group elements multiplies to the identity. We prove lower bounds for the groups above, which are tight for the affine and the lamplighter groups
Hardness of Exact Distance Queries in Sparse Graphs Through Hub Labeling
A distance labeling scheme is an assignment of bit-labels to the vertices of
an undirected, unweighted graph such that the distance between any pair of
vertices can be decoded solely from their labels. An important class of
distance labeling schemes is that of hub labelings, where a node
stores its distance to the so-called hubs , chosen so that for
any there is belonging to some shortest
path. Notice that for most existing graph classes, the best distance labelling
constructions existing use at some point a hub labeling scheme at least as a
key building block. Our interest lies in hub labelings of sparse graphs, i.e.,
those with , for which we show a lowerbound of
for the average size of the hubsets.
Additionally, we show a hub-labeling construction for sparse graphs of average
size for some , where is the
so-called Ruzsa-Szemer{\'e}di function, linked to structure of induced
matchings in dense graphs. This implies that further improving the lower bound
on hub labeling size to would require a
breakthrough in the study of lower bounds on , which have resisted
substantial improvement in the last 70 years. For general distance labeling of
sparse graphs, we show a lowerbound of , where is the communication complexity of the
Sum-Index problem over . Our results suggest that the best achievable
hub-label size and distance-label size in sparse graphs may be
for some
INTERLEAVED GROUP PRODUCTS
Let be the special linear group . We show that if
and are sampled uniformly from large
subsets and of then their interleaved product is nearly uniform over . This extends a result of the first
author, which corresponds to the independent case where and are product
sets. We obtain a number of other results. For example, we show that if is
a probability distribution on such that any two coordinates are uniform
in , then a pointwise product of independent copies of is nearly
uniform in , where depends on only. Extensions to other groups are
also discussed.
We obtain closely related results in communication complexity, which is the
setting where some of these questions were first asked by Miles and Viola. For
example, suppose party of parties receives on its
forehead a -tuple of elements from . The parties
are promised that the interleaved product is equal either to the identity or to some
other fixed element , and their goal is to determine which of the two
the product is equal to. We show that for all fixed and all sufficiently
large the communication is , which is tight. Even for
the previous best lower bound was . As an application, we
establish the security of the leakage-resilient circuits studied by Miles and
Viola in the "only computation leaks" model
- …