In Phys. Rev. A 88, 062313 (2013) we proposed and studied a model for a self-correcting quantum memory in which the energetic cost for introducing a defect in the memory grows without bounds as a function of system size. This positive behavior is due to attractive long-range interactions mediated by a bosonic field to which the memory is coupled. The crucial ingredients for the implementation of such a memory are the physical realization of the bosonic field as well as local five-body interactions between the stabilizer operators of the memory and the bosonic field. Here, we show that both of these ingredients appear in a low-energy effective theory of a Hamiltonian that involves only two-body interactions between neighboring spins. In particular, we consider the low-energy, long-wavelength excitations of an ordered Heisenberg ferromagnet (magnons) as a realization of the bosonic field. Furthermore, we present perturbative gadgets for generating the required five-spin operators. Our Hamiltonian involving only local two-body interactions is thus expected to exhibit self-correcting properties as long as the noise affecting it is in the regime where the effective low-energy description remains valid.
In Phys. Rev. A 88, 062313 (2013) we proposed and studied a model for a self-correcting quantum memory in which the energetic cost for introducing a defect in the memory grows without bounds as a function of system size. This positive behavior is due to attractive long-range interactions mediated by a bosonic field to which the memory is coupled. The crucial ingredients for the implementation of such a memory are the physical realization of the bosonic field as well as local five-body interactions between the stabilizer operators of the memory and the bosonic field. Here, we show that both of these ingredients appear in a low-energy effective theory of a Hamiltonian that involves only two-body interactions between neighboring spins. In particular, we consider the low-energy, long-wavelength excitations of an ordered Heisenberg ferromagnet (magnons) as a realization of the bosonic field. Furthermore, we present perturbative gadgets for generating the required five-spin operators. Our Hamiltonian involving only local two-body interactions is thus expected to exhibit self-correcting properties as long as the noise affecting it is in the regime where the effective low-energy description remains valid.
We study the two-dimensional toric-code Hamiltonian with effective long-range interactions between its anyonic excitations induced by coupling the toric code to external fields. It has been shown that such interactions allow an arbitrary increase in the lifetime of the stored quantum information by making L, the linear size of the memory, larger [Chesi et al., Phys. Rev. A 82, 022305 (2010)]. We show that for these systems the choice of boundary conditions (open boundaries as opposed to periodic boundary conditions) is not a mere technicality; the influence of anyons produced at the boundaries becomes in fact dominant for large enough L. This influence can be either beneficial or detrimental. In particular, we study an effective Hamiltonian proposed by Pedrocchi et al. [Phys. Rev. B 83, 115415 (2011)] that describes repulsion between anyons and anyon holes. For this system, we find a lifetime of the stored quantum information that grows exponentially in L2 for both periodic and open boundary conditions, although the exponent in the latter case is found to be less favorable. However, L is upper bounded through the breakdown of the perturbative treatment of the underlying Hamiltonian.
We propose and study a model of a quantum memory that features self-correcting properties and a lifetime growing arbitrarily with system size at nonzero temperature. This is achieved by locally coupling a two-dimensional $L\ifmmode\times\else\texttimes\fi{}L$ toric code to a three-dimensional (3D) bath of bosons hopping on a cubic lattice. When the stabilizer operators of the toric code are coupled to the displacement operator of the bosons, we solve the model exactly via a polaron transformation and show that the energy penalty to create anyons grows linearly with L. When the stabilizer operators of the toric code are coupled to the bosonic density operator, we use perturbation theory to show that the energy penalty for anyons scales with ln(L). For a given error model, these energy penalties lead to a lifetime of the stored quantum information growing, respectively, exponentially and polynomially with L. Furthermore, we show how to choose an appropriate coupling scheme in order to hinder the hopping of anyons (and not only their creation) with energy barriers that are of the same order as the anyon creation gaps. We argue that a toric code coupled to a 3D Heisenberg ferromagnet realizes our model in its low-energy sector. Finally, we discuss the delicate issue of the stability of topological order in the presence of perturbations. While we do not derive a rigorous proof of topological order, we present heuristic arguments suggesting that topological order remains intact when perturbative operators acting on the toric code spins are coupled to the bosonic environment.
Since the seminal work by Shor who proposed a quantum algorithm factorizing integers into prime factors, it has become manifest that the laws of quantum mechanics provide resources for computation that overpower classical physics. The computational advantages that quantum physics offers have stimulated a tremendous amount of theoretical and experimental research. In this context, spin systems have played a major role, given that the spin degree of freedom -- with the paradigmatic case of the spin-1/2 of electrons -- represents an obvious candidate for the encoding of an elementary bit of quantum information (qubit). \n \nOn the other hand, however, quantum objects are very fragile entities, being very susceptible to the environment they reside in. This fragility of qubits is one of the main obstacles in the realization of a quantum computer. \n \nIn this thesis, we mainly address the two following questions relevant to quantum computation. \n \ni) How is it possible to realize quantum gates both in a reliable and scalable way? \n \nii) How can we store quantum information in a way that is resilient to the errors caused by the thermal environment? \n \nWe focus on spin systems and demonstrate that long-range spin-spin interactions in the models considered can have beneficial effects. \n \nIn their pioneering work, Loss and DiVincenzo proposed a way to perform quantum computation in a semiconductor-based architecture where the spin state of an electron trapped in a quantum dot is chosen to encode the elementary qubit. In this proposal, the spins are required to lie spatially close to each other, and this might complicate the realization of a scalable architecture. \n \nIn the first part of the thesis we thus propose a scheme that allows the constraint on the positioning of the qubits to be relaxed. This is achieved by introducing a ferromagnetic coupler between the distant qubits, to which it is coupled via a dipolar interaction. Most importantly, our proposal is applicable to any type of spin qubits and in particular to the technologically very relevant silicon-based qubits and NV-centers in diamond to which previous coupling schemes do not apply. \n \nAs additional key element, a quantum computer needs a memory capable of reliably storing quantum information in the presence of thermal fluctuations. \n \nThis brings us to the second part of this thesis, where we consider self-correcting memories, for which the protection against thermal noise is built-in at the hardware level. We propose physical models that exhibit these self-correcting properties, using as a starting point the well known topologically ordered toric code. In particular, we investigate how to induce long-range interactions between the spins of the toric code, since such interactions help increase the memory lifetime. \n \nAs a first step, we study a honeycomb quantum spin model coupled to delocalized cavity modes. We investigate the properties of the low-energy toric code Hamiltonian and show that the coupling to cavity modes prolongs the lifetime of the memory and offers a method to detect the presence of excitations. \nWhile the introduction of extended bosonic modes makes the model non-local, we also propose a purely local model consisting of a toric code embedded in a three-dimensional cubic lattice of hopping bosons; the low-energy sector of a toric code coupled to a three-dimensional Heisenberg ferromagnet in a broken-symmetry state realizes this model. Our analysis leads to an energy penalty for the creation of defects that grows linearly with the size L of the memory and thus to a lifetime increasing exponentially with L. \n \nIn the third part of this thesis, we study spin systems that support anyons, i.e., particles with fractional statistics. Similar to the toric code, such systems are topologically ordered: they are immune to local perturbations and quantum gates are implemented by non-local operations, namely the exchange of anyons, whose outcomes depend only on the topology of the exchange. Here again the fault-tolerance is achieved at the level of the hardware and physical systems supporting non-abelian anyons are thus promising platforms for quantum computation. \n \nWe focus on spin systems that exhibit some of these properties and specifically on variations of the honeycomb quantum spin model. We first investigate the exact solution of the honeycomb model in detail and derive an explicit formula for the projector onto the physical subspace. We use this result to study inhomogeneous open spin ladders, related to the honeycomb model, which can be tuned between topological and non-topological phases. We test the robustness of Majorana end states (MES) which emerge at the boundary between sections in different topological phases. Furthermore, we present a trijunction setup where MES can be braided. This is of interest since MES in these spin ladders potentially follow non-abelian braiding statistics. Finally, we study the ground states of the aforementioned ladders and show that they are free of vortices when the signs of the spin couplings are all positive or negative. To prove this, we use exact reflection-positivity-based methods as well as approximate methods. \n \nIn the last part of the thesis, we provide an extension of the Mermin-Wagner theorem to a system of lattice spins that are spin-coupled to itinerant and interacting charge carriers. We prove that neither (anti-) ferromagnetic nor helical long-range order is possible in one and two dimensions at any finite temperature (in the absence of spin-orbit). The fundamental question whether spontaneous ordering of the lattice spins occurs in these systems is of interest in the context of quantum computation; the polarization of nuclear spins coupled to a two-dimensional electron gas is a possible route towards the reduction of decoherence induced by the fluctuating Overhauser field in gate-defined quantum dots. \n \n
The object of this thesis is to study the definition and the mathematically rigorous derivation of effective models in many body quantum mechanics. In this field, it is often impossible to compte exactly physically relevant quantities - such as the ground state energy of a system - because of the large number of degrees of freedom. Hence, introducing effective models (depending only on the local density of particles for instance) allows us to compute these quantities. Then, it remains to check that the effective model is indeed an approximation of the exact model in a macroscopic limit. Besides, in some models, some physical quantities (energy, scattering amplitude...), when computed naively, appear to be infinite. One has then to renormalize the theory in order to make these divergences (that are not observed experimentally) disappear. After putting the results of this thesis into context in the introduction, we will focus on the renormalization of a bosonic quadratic Hamiltonian on the Fock space in Chapter 2. This (formal) Hamiltonian is the sum of the second quantization of a one-particle operator and the square of a field operator, and it exhibits an ultraviolet divergence (i.e. coming from local singularities). More accurately, we will try to define a self-adjoint operator, and to show that it is the limit (in the resolvent sense) of the Hamiltonian with ultraviolet cutoff when the cutoff tends to infinity. To do so, we will first diagonalize the Hamiltonian in the regular case, using Bogoliubov transformations. Then, we will prove that the diagonalized Hamiltonian (up to a renormalization of the energy and the charge) still defines a self-adjoint, and we will show the convergence of the Hamiltonian with cut-off. In a second time, we will study the semi-classical limit of a Fermi gas, in two different scalings. In Chapter 3, we will focus on the dilute limite (i.e. with an interaction range very small compared to the typical distance between particles) of an inhomogeneous (trapped with a potential V) Fermi gas, with repulsive interactions and in three dimensions. Due to the Pauli exclusion principle, two fermions of same spin can only rarely be close enough to interact. Thus, we will consider a Fermi gas with two spin components. We will then show that the ground state energy of such a system can be approximated by a Thomas-Fermi energy (in which interactions play the role of a perturbation of the interactionless energy) in the large number of particles limit. Eventually, in Chapter 4, we will study the mean-field limit (with frequent but weak interactions) of an inhomogeneous Fermi gas, with attractive interactions and in one or two dimensions this time. Once more, we will show the convergence of the ground state energy toward a Thomas-Fermi energy. Moreover, we will also prove the convergence of the ground states. More accurately, we will show that the Husimi functions of these ground states converge to a convex combination of minimizers of the Vlasov energy.
This thesis is devoted to the study of coherent storage of quantum information as well as its potential applications.Quantum memories are crucial to harnessing the potential of quantum physics for information processing tasks.They are required for almost all quantum computation proposals.However, despite the large arsenal of theoretical techniques and proposals dedicated to their implementation, the realization of long-lived quantum memories remains an elusive task.Encoding information in quantum states associated to many-body topological phases of matter and protecting them by means of a static Hamiltonian is one of the leading proposals to achieve quantum memories.While many genuine and well publicized virtues have been demonstrated for this approach, equally real limitations were widely disregarded.In the first two projects of this thesis, we study limitations of passive Hamiltonian protection of quantum information under two different noise models.Chapter 2 deals with arbitrary passive Hamiltonian protection for a many body system under the effect of local depolarizing noise.It is shown that for both constant and time dependent Hamiltonians, the optimal enhancement over the natural single-particle memory time is logarithmic in the number of particles composing the system.The main argument involves a monotonic increase of entropy against which a Hamiltonian can provide little protection.Chapter 3 considers the recoverability of quantum information when it is encoded in a many-body state and evolved under a Hamiltonian composed of known geometrically local interactions and a weak yet unknown Hamiltonian perturbation.We obtain some generic criteria which must be fulfilled by the encoding of information.For specific proposals of protecting Hamiltonian and encodings such as Kitaev's toric code and a subsystem code proposed by Bacon, we additionally provide example perturbations capable of destroying the memory which imply upper bounds for the provable memory times.vi
We propose a scheme to dynamically realize a quantum memory based on the toric code. The code is generated from qubit systems with typical two-body interactions (Ising, XY, Heisenberg) using periodic, NMR-like, pulse sequences. It allows one to encode the logical qubits without measurements and to protect them dynamically against the time evolution of the physical qubits. A weakly coupled cavity mode mediates a long-range attractive interaction between the stabilizer operators of the toric code, thereby suppressing the creation of thermal anyons. This significantly increases the lifetime of the memory compared to the code with noninteracting stabilizers. We investigate how the fidelity, with which the toric code is realized, depends on the period length T of the pulse sequence and the magnitude of possible pulse errors. We derive an optimal period Topt that maximizes the fidelity.