71 research outputs found
Quantum Computation, Markov Chains and Combinatorial Optimisation
This thesis addresses two questions related to the title, Quantum Computation, Markov Chains and Combinatorial Optimisation. The first question involves an algorithmic primitive of quantum computation, quantum walks on graphs, and its relation to Markov Chains. Quantum walks have been shown in certain cases to mix faster than their classical counterparts. Lifted Markov chains, consisting of a Markov chain on an extended state space which is projected back down to the original state space, also show considerable speedups in mixing time. We design a lifted Markov chain that in some sense simulates any quantum walk. Concretely, we construct a lifted Markov chain on a connected graph G with n vertices that mixes exactly to the average mixing distribution of a quantum walk on G. Moreover, the mixing time of this chain is the diameter of G. We then consider practical consequences of this result. In the second part of this thesis we address a classic unsolved problem in combinatorial optimisation, graph isomorphism. A theorem of Kozen states that two graphs on n vertices are isomorphic if and only if there is a clique of size n in the weak modular product of the two graphs. Furthermore, a straightforward corollary of this theorem and Lovász’s sandwich theorem is if the weak modular product between two graphs is perfect, then checking if the graphs are isomorphic is polynomial in n. We enumerate the necessary and sufficient conditions for the weak modular product of two simple graphs to be perfect. Interesting cases include complete multipartite graphs and disjoint unions of cliques. We find that all perfect weak modular products have factors that fall into classes of graphs for which testing isomorphism is already known to be polynomial in the number of vertices. Open questions and further research directions are discussed
An SU(2)-symmetric Semidefinite Programming Hierarchy for Quantum Max Cut
Understanding and approximating extremal energy states of local Hamiltonians
is a central problem in quantum physics and complexity theory. Recent work has
focused on developing approximation algorithms for local Hamiltonians, and in
particular the ``Quantum Max Cut'' (QMax-Cut) problem, which is closely related
to the antiferromagnetic Heisenberg model. In this work, we introduce a family
of semidefinite programming (SDP) relaxations based on the
Navascues-Pironio-Acin (NPA) hierarchy which is tailored for QMaxCut by taking
into account its SU(2) symmetry. We show that the hierarchy converges to the
optimal QMaxCut value at a finite level, which is based on a new
characterization of the algebra of SWAP operators. We give several analytic
proofs and computational results showing exactness/inexactness of our hierarchy
at the lowest level on several important families of graphs.
We also discuss relationships between SDP approaches for QMaxCut and
frustration-freeness in condensed matter physics and numerically demonstrate
that the SDP-solvability practically becomes an efficiently-computable
generalization of frustration-freeness. Furthermore, by numerical demonstration
we show the potential of SDP algorithms to perform as an approximate method to
compute physical quantities and capture physical features of some
Heisenberg-type statistical mechanics models even away from the
frustration-free regions
Combinatorics and Probability
For the past few decades, Combinatorics and Probability Theory have had a fruitful symbiosis, each benefitting from and influencing developments in the other. Thus to prove the existence of designs, probabilistic methods are used, algorithms to factorize integers need combinatorics and probability theory (in addition to number theory), and the study of random matrices needs combinatorics. In the workshop a great variety of topics exemplifying this interaction were considered, including problems concerning designs, Cayley graphs, additive number theory, multiplicative number theory, noise sensitivity, random graphs, extremal graphs and random matrices
Entanglement certification from theory to experiment
Entanglement is an important resource that allows quantum technologies to go
beyond the classically possible. There are many ways quantum systems can be
entangled, ranging from the archetypal two-qubit case to more exotic scenarios
of entanglement in high dimensions or between many parties. Consequently, a
plethora of entanglement quantifiers and classifiers exist, corresponding to
different operational paradigms and mathematical techniques. However, for most
quantum systems, exactly quantifying the amount of entanglement is extremely
demanding, if at all possible. This is further exacerbated by the difficulty of
experimentally controlling and measuring complex quantum states. Consequently,
there are various approaches for experimentally detecting and certifying
entanglement when exact quantification is not an option, with a particular
focus on practically implementable methods and resource efficiency. The
applicability and performance of these methods strongly depends on the
assumptions one is willing to make regarding the involved quantum states and
measurements, in short, on the available prior information about the quantum
system. In this review we discuss the most commonly used paradigmatic
quantifiers of entanglement. For these, we survey state-of-the-art detection
and certification methods, including their respective underlying assumptions,
from both a theoretical and experimental point of view.Comment: 16 pages plus references, updated version of an abridged manuscript
published in Nature Reviews Physic
Distance-regular graphs
This is a survey of distance-regular graphs. We present an introduction to
distance-regular graphs for the reader who is unfamiliar with the subject, and
then give an overview of some developments in the area of distance-regular
graphs since the monograph 'BCN' [Brouwer, A.E., Cohen, A.M., Neumaier, A.,
Distance-Regular Graphs, Springer-Verlag, Berlin, 1989] was written.Comment: 156 page
- …