Quantum Physics

The spectral gap problem consist in deciding, given a local interaction, whether the corresponding translationally invariant Hamiltonian on a lattice has a spectral gap independent of the system size or not. In the simplest case of nearest-neighbour frustration-free qubit interactions, there is a complete classification. On the other extreme, for two (or higher) dimensional models with nearest-neighbour interactions this problem can be reduced to the Halting Problem, and it is therefore undecidable.

There are a lot of indications that one dimensional spin chain are relatively simpler than their counterparts in higher dimensions. Nonetheless, I will present a construction of a family of nearest-neighbour, translationally invariant Hamiltonians on a spin chain, for which the spectral gap problem is undecidable.

Ubiquitous in the behavior of physical systems is the competition between an energy term E and an entropy term S of their free energy F = E - beta S. These concepts are also relevant for error correction, where the `energy` E is the number of qubits afflicted by an error, the `entropy' S(E) is the logarithm of the number of energy-E failing errors, and beta relates to the probability of each qubit's error. Error-correction schemes with larger minimum free energy have better performance. Often distance d (which correct all errors with energy less than d/2) is used as a proxy for a code's performance since it increases the minimal E and therefore tends to increases the minimal F. However, a sufficiently large entropy S can counteract a large d and reduce the free energy (negatively impacting a code's performance). A great example of these principles is the surface code, which is at present the leading architecture for fault tolerant quantum computing. Rotating a square lattice geometry over the surface of the torus can increase the distance of the code by a factor of root two, but at the cost of increased entropy. We obtain exact expressions for this entropic effect in the low error regime, and introduce an analytical model that qualitatively describes the behavior for error rates all the way up to threshold. Our predictions are corroborated by numerical estimates of the low error failure rate, using the splitting method algorithm introduced by Bravyi et al. We find that although the rotated lattice outperforms the non-rotated lattice with the same number of qubits for low error rates, the two codes have very similar performance for error rates which are an appreciable fraction of the threshold error rate. Surprisingly, we also find some system sizes and error rates for which the non-rotated lattice has marginally better performance. 

Violations of Bell inequalities have traditionally been used to refute a local-realistic description of the world. Not surprisingly, under the assumption that the world is quantum, they can be used to certify quantum devices. What is surprising is that in some cases this characterisation turns out to be (almost) complete, i.e.~we can determine (almost) everything about the devices and this phenomenon is known as self-testing of quantum systems. Although the first self- testing results can be traced back to the works of Tsirelson published in the 80's, the topic has remained largely unknown until the seminal work of Mayers and Yao in 1998. It has received further exposure with the advent of device-independent quantum cryptography to which it is closely connected. In this talk I will give a brief introduction to the topic of self-testing and discuss some recent developments, e.g.~robust self-testing, weak self-testing, self-testing of entangled measurements, self-testing of high-dimensional systems or self-testing in prepare-and-measure scenarios.

Despite considerable effort, magic state distillation remains one of the leading candidates to achieve universal fault-tolerant quantum computation. However, when analyzing magic state distillation schemes, it is often assumed that gates belonging to the Clifford group can be implemented perfectly. In many current quantum technologies, two-qubit Cliffords gates are amongst the noisiest components of quantum computers. In this talk I will present a new scheme for preparing magic states with very low overhead that uses flag qubits. I will then compare our scheme to leading magic state distillation methods and show that the overhead can be reduced by orders of magnitude.

I will present a method for the implementation of a universal set of fault-tolerant logical gates using homological product codes. In particular, I will show how one can fault-tolerantly map between different encoded representations of a given logical state, enabling the application of different classes of transversal gates belonging to the underlying quantum codes. This allows for the circumvention of no-go results pertaining to universal sets of transversal gates and provides a general scheme for fault-tolerant computation while keeping the stabilizer generators of the code sparse.

Performing a quantum adiabatic optimization (AO) algorithm with the time-dependent Hamiltonian H(t) requires one to have some idea of the spectral gap γ(t) of H(t) at all times t. With only a promise on the size of the minimal gap γmin, a typical statement of the adiabatic theorem promises a runtime of either O(γmin-2) or worse. In this talk, I provide an explicit algorithm that, with access to an oracle that returns the spectral gap γ(t) to within some multiplicative constant, reliably performs QAO in time Õ(γmin-1) with at most O(log(γmin-1)) oracle queries. I then construct such an oracle using only computational basis measurements for the toy problem of a complete graph driving Hamiltonian on V vertices and arbitrary cost function. I explain why one cannot simply perform adiabatic Grover search and prove that one can still perform QAO in time Õ(V2/3)  without any a priori knowledge of γ(t). This work was done in collaboration with Brad Lackey, Aike Liu, and Kianna Wan.

Studying the usefulness of resources can be formalized via the framework of a resource theory. However, the complete answer to the question whether a certain resource is more useful than another one is often hard to find in many of the numerous applications of the framework. Approximate answers can be found by identifying so-called monotones—measures of "resourcefulness". I will present several generic constructions of monotones, of which many monotones known in the literature are concrete examples of. These constructions provide a way to relate monotones in different resource theories, thus enabling for the translation of results between them.

In quanum physics, the von Neumann entropy usually arises in i.i.d settings, while single-shot settings are commonly characterized by smoothed min- or max-entropies. In this talk, I will discuss new results that give single-shot interpretations to the von Neumann entropy under appropriate conditions. I first present new results that give a single-shot interpretation to the Area Law of entanglement entropy in many-body physics in terms of compression of quantum information on the boundary of a region of space. Then I show that the von Neumann entropy governs single-shot transitions whenever one has access to arbitrary auxiliary systems, which have to remain invariant in a state-transition ("catalysts"), as well as a decohering environment. Getting rid of the decohering environment yields the "catalytic entropy conjecture", for which I present some supporting arguments.

If time permits, I also discuss some applications of these result to thermodynamics and speculate about consequences for quantum information theory and holography.

The role of coherence in quantum thermodynamics has been extensively studied in the recent years and it is now well-understood that coherence between different energy eigenstates is a resource independent of other thermodynamics resources, such as work. A fundamental remaining open question is whether the laws of quantum mechanics and thermodynamics allow the existence a "coherence distillation machine", i.e. a machine that, by possibly consuming work, obtains pure coherent states from mixed states, at a nonzero rate. This question is related to another fundamental question: Starting from many copies of noisy quantum clocks which are (approximately) synchronized with a reference clock, can we distill synchronized clocks in pure states, at a non-zero rate? In this paper we study quantities called "coherence cost" and "distillable coherence", which determine the rate of conversion of coherence in a standard pure state to general mixed states, and vice versa, in the context of quantum thermodynamics. We find that the coherence cost of any state (pure or mixed) is determined by its Quantum Fisher Information (QFI), thereby revealing a novel operational interpretation of this central quantity of quantum metrology. On the other hand, we show that, surprisingly, distillable coherence is zero for typical (full-rank) mixed states. Hence, we establish the impossibility of coherence distillation machines in quantum thermodynamics, which can be compared with the impossibility of perpetual motion machines or cloning machines. To establish this result, we introduce a new additive quantifier of coherence, called the "purity of coherence", and argue that its relation with QFI is analogous to the relation between the free and total energies in thermodynamics.

In general relativity, the picture of space–time assigns an ideal clock to each world line. Being ideal, gravitational effects due to these clocks are ignored and the flow of time according to one clock is not affected by the presence of clocks along nearby world lines. However, if time is defined operationally, as a pointer position of a physical clock that obeys the principles of general relativity and quantum mechanics, such a picture is, at most, a convenient fiction. Specifically, we show that the general relativistic mass–energy equivalence implies gravitational interaction between the clocks, whereas the quantum mechanical superposition of energy eigenstates leads to a nonfixed metric background. Based only on the assumption that both principles hold in this situation, we show that the clocks necessarily get entangled through time dilation effect, which eventually leads to a loss of coherence of a single clock. Hence, the time as measured by a single clock is not well defined. However, the general relativistic notion of time is recovered in the classical limit of clocks.

Convex optimization, linear and semidefinite programming in particular, has been a standard tool in quantum information theory, giving certificates of local and quantum correlations, contextuality, and more. Increasingly, similar methods are making headways in quantum many-body physics, giving lower bounds -- and thus certificates -- on the ground state energy. The disadvantage of such methods is that they do not scale well to large system sizes, whether those systems are multiparty Bell scenarios or lattice models of numerous sites. Machine
learning is entering the field as the latest buzzword. While it provides a more scalable alternative to convex programming and enables forming new conjectures, the outcome of learning methods remains uncertified. In this talk, I introduce the most important paradigms in machine learning for quantum information theory, give an overview of some earlier work in the field, argue for the importance of certifiable predictions of learning algorithms, and present some of our preliminary results.