219,485 research outputs found
New bounds on the classical and quantum communication complexity of some graph properties
We study the communication complexity of a number of graph properties where
the edges of the graph are distributed between Alice and Bob (i.e., each
receives some of the edges as input). Our main results are:
* An Omega(n) lower bound on the quantum communication complexity of deciding
whether an n-vertex graph G is connected, nearly matching the trivial classical
upper bound of O(n log n) bits of communication.
* A deterministic upper bound of O(n^{3/2}log n) bits for deciding if a
bipartite graph contains a perfect matching, and a quantum lower bound of
Omega(n) for this problem.
* A Theta(n^2) bound for the randomized communication complexity of deciding
if a graph has an Eulerian tour, and a Theta(n^{3/2}) bound for the quantum
communication complexity of this problem.
The first two quantum lower bounds are obtained by exhibiting a reduction
from the n-bit Inner Product problem to these graph problems, which solves an
open question of Babai, Frankl and Simon. The third quantum lower bound comes
from recent results about the quantum communication complexity of composed
functions. We also obtain essentially tight bounds for the quantum
communication complexity of a few other problems, such as deciding if G is
triangle-free, or if G is bipartite, as well as computing the determinant of a
distributed matrix.Comment: 12 pages LaTe
Dependent Random Graphs And Multi-Party Pointer Jumping
We initiate a study of a relaxed version of the standard Erdos-Renyi random graph model, where each edge may depend on a few other edges. We call such graphs dependent random graphs . Our main result in this direction is a thorough understanding of the clique number of dependent random graphs. We also obtain bounds for the chromatic number. Surprisingly, many of the standard properties of random graphs also hold in this relaxed setting. We show that with high probability, a dependent random graph will contain a clique of size ((1-o(1))log(n))/log(1/p), and the chromatic number will be at most (nlog(1/(1-p)))/log(n). We expect these results to be of independent interest. As an application and second main result, we give a new communication protocol for the k-player Multi-Party Pointer Jumping problem (MPJk) in the number-on-the-forehead (NOF) model. Multi-Party Pointer Jumping is one of the canonical NOF communication problems, yet even for three players, its communication complexity is not well understood. Our protocol for MPJ3 costs O((n * log(log(n)))/log(n)) communication, improving on a bound from [BrodyChakrabarti08]. We extend our protocol to the non-Boolean pointer jumping problem, achieving an upper bound which is o(n) for any k \u3e= 4 players. This is the first o(n) protocol and improves on a bound of Damm, Jukna, and Sgall, which has stood for almost twenty years
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols
We summarize the main results proved in recent work on the parameterized
verification of safety properties for ad hoc network protocols. We consider a
model in which the communication topology of a network is represented as a
graph. Nodes represent states of individual processes. Adjacent nodes represent
single-hop neighbors. Processes are finite state automata that communicate via
selective broadcast messages. Reception of a broadcast is restricted to
single-hop neighbors. For this model we consider a decision problem that can be
expressed as the verification of the existence of an initial topology in which
the execution of the protocol can lead to a configuration with at least one
node in a certain state. The decision problem is parametric both on the size
and on the form of the communication topology of the initial configurations. We
draw a complete picture of the decidability and complexity boundaries of this
problem according to various assumptions on the possible topologies.Comment: In Proceedings PACO 2011, arXiv:1108.145
Dependent Random Graphs and Multiparty Pointer Jumping
We initiate a study of a relaxed version of the standard Erdos-Renyi random
graph model, where each edge may depend on a few other edges. We call such
graphs "dependent random graphs". Our main result in this direction is a
thorough understanding of the clique number of dependent random graphs. We also
obtain bounds for the chromatic number. Surprisingly, many of the standard
properties of random graphs also hold in this relaxed setting. We show that
with high probability, a dependent random graph will contain a clique of size
, and the chromatic number will be at most
.
As an application and second main result, we give a new communication
protocol for the k-player Multiparty Pointer Jumping (MPJ_k) problem in the
number-on-the-forehead (NOF) model. Multiparty Pointer Jumping is one of the
canonical NOF communication problems, yet even for three players, its
communication complexity is not well understood. Our protocol for MPJ_3 costs
communication, improving on a bound of Brody
and Chakrabarti [BC08]. We extend our protocol to the non-Boolean pointer
jumping problem , achieving an upper bound which is o(n) for
any players. This is the first o(n) bound for and
improves on a bound of Damm, Jukna, and Sgall [DJS98] which has stood for
almost twenty years.Comment: 18 page
From communication complexity to an entanglement spread area law in the ground state of gapped local Hamiltonians
In this work, we make a connection between two seemingly different problems.
The first problem involves characterizing the properties of entanglement in the
ground state of gapped local Hamiltonians, which is a central topic in quantum
many-body physics. The second problem is on the quantum communication
complexity of testing bipartite states with EPR assistance, a well-known
question in quantum information theory. We construct a communication protocol
for testing (or measuring) the ground state and use its communication
complexity to reveal a new structural property for the ground state
entanglement. This property, known as the entanglement spread, roughly measures
the ratio between the largest and the smallest Schmidt coefficients across a
cut in the ground state. Our main result shows that gapped ground states
possess limited entanglement spread across any cut, exhibiting an "area law"
behavior. Our result quite generally applies to any interaction graph with an
improved bound for the special case of lattices. This entanglement spread area
law includes interaction graphs constructed in [Aharonov et al., FOCS'14] that
violate a generalized area law for the entanglement entropy. Our construction
also provides evidence for a conjecture in physics by Li and Haldane on the
entanglement spectrum of lattice Hamiltonians [Li and Haldane, PRL'08]. On the
technical side, we use recent advances in Hamiltonian simulation algorithms
along with quantum phase estimation to give a new construction for an
approximate ground space projector (AGSP) over arbitrary interaction graphs.Comment: 29 pages, 1 figur
Lower Bounds for Approximating Graph Parameters via Communication Complexity
In a celebrated work, Blais, Brody, and Matulef [Blais et al., 2012] developed a technique for proving property testing lower bounds via reductions from communication complexity. Their work focused on testing properties of functions, and yielded new lower bounds as well as simplified analyses of known lower bounds. Here, we take a further step in generalizing the methodology of [Blais et al., 2012] to analyze the query complexity of graph parameter estimation problems. In particular, our technique decouples the lower bound arguments from the representation of the graph, allowing it to work with any query type.
We illustrate our technique by providing new simpler proofs of previously known tight lower bounds for the query complexity of several graph problems: estimating the number of edges in a graph, sampling edges from an almost-uniform distribution, estimating the number of triangles (and more generally, r-cliques) in a graph, and estimating the moments of the degree distribution of a graph. We also prove new lower bounds for estimating the edge connectivity of a graph and estimating the number of instances of any fixed subgraph in a graph. We show that the lower bounds for estimating the number of triangles and edge connectivity also hold in a strictly stronger computational model that allows access to uniformly random edge samples
- …