We study how symmetry affects quantum advantage in two-party communication complexity. For any partial function
f on length-
n strings over a fixed alphabet of size
q, invariant under simultaneous coordinate permutations, we prove
Rpub(f)=Oq(tlog(2+n/t)), where
t=min{n,Q∗(f)2},
Rpub denotes public-coin randomized communication complexity, and
Q∗ denotes entanglement-assisted quantum communication complexity. This bound is tight for set disjointness and extends the binary-alphabet result of Guan et al. with a smaller logarithmic overhead. The exponent of the logarithmic factor cannot be reduced by any fixed positive amount: for every fixed
ε∈(0,1), there are binary permutation-invariant partial functions with quantum communication complexity
Oε(loglogn) and randomized communication complexity
Ωε((logn)1−ε). We also characterize quantum communication complexity by a combinatorial parameter up to a logarithmic factor.
Growing alphabets and graph symmetries admit exponential separations. For every fixed
ε∈(0,1), we exhibit permutation-invariant partial functions on length-
n strings over an
n-symbol alphabet with quantum communication complexity
Oε(logn) and randomized communication complexity
Ωε(n1−ε). For graph-invariant partial functions on
v-vertex graphs, we obtain
Oε(logv) quantum versus
Ωε(v2−ε) randomized communication complexity. All separation protocols require no prior entanglement.
What are the advantages quantum computing can provide when compared to classical computing? In this thesis, we aim to answer this question from different perspectives. To achieve this goal we divided this work into three parts. In Part I we start by studying the basic principles of quantum computing. Next, we introduce two quantum algorithms: the Deutsch-Jozsa and Grovers algorithms. The first algorithm has a lower query complexity and the second has a lower time complexity when compared with the best classical algorithm for the same problems. The final topic of this initial part is a detailed explanation and example of how to use Grovers algorithm to solve a Boolean formula in conjunctive normal form. In the second part, we focus on communication complexity problems. These problems are usually stated as follows: two spatially separated parties Alice and Bob receive an input from a referee. Their goal is to compute the value of a function that depends on both of their inputs with the least amount of communication between them. In Part II we will introduce protocols in which the transmission of quantum bits (qubits), instead of bits, can reduce the amount of communication necessary to solve these problems. We also study how Alice and Bob can use quantum entanglement to solve two communication complexity problems without communicating something that can not be done classically. In Part III we study nonlocal games inspired by standard graph theory parameters. A nonlocal game is usually defined as a game in which players that can share and do computations in an entangled state have some sort of advantage over classical players. We begin this final part by introducing the quantum chromatic number of a graph, which is the minimal number of colors necessary in a nonlocal game in which Alice and Bob can convince a referee with certainty that they have a proper coloring of the graph. We end this thesis by introducing other two quantum graph parameters, one related to graph homomorphism and the other to the independence number of a graph.