Quantum computation and quantum communication are two of the most promising future applications of quantum mechanics. Since the information carriers used in both of them are essentially open quantum systems it is necessary to understand both quantum information theory and the theory of open quantum systems in order to investigate realistic implementations of such quantum technologies. In this thesis we consider the theory of open quantum systems from a quantum information theory perspective. The thesis is divided into two parts: review of the literature and original research. In the review of literature we present some important definitions and known results of open quantum systems and quantum information theory. We present the definitions of trace distance, two channel capacities and superdense coding capacity and give a reasoning why they can be used to represent the transmission efficiency of a communication channel. We also show derivations of some properties useful to link completely positive and trace preserving maps to trace distance and channel capacities. With the help of these properties we construct three measures of non-Markovianity and explain why they detect non-Markovianity. In the original research part of the thesis we study the non-Markovian dynamics in an experimentally realized quantum optical set-up. For general one-qubit dephasing channels we calculate the explicit forms of the two channel capacities and the superdense coding capacity. For the general two-qubit dephasing channel with uncorrelated local noises we calculate the explicit forms of the quantum capacity and the mutual information of a four-letter encoding. By using the dynamics in the experimental implementation as a set of specific dephasing channels we also calculate and compare the measures in one- and two-qubit dephasing channels and study the options of manipulating the environment to achieve revivals and higher transmission rates in superdense coding protocol with dephasing noise. Kvanttilaskenta ja kvanttikommunikaatio ovat kaksi puhutuimmista tulevaisuuden kvanttimekaniikan käytännön sovelluksista. Koska molemmissa näistä informaatio koodataan systeemeihin, jotka ovat oleellisesti avoimia kvanttisysteemejä, sekä kvantti-informaatioteorian, että avointen kvanttisysteemien tuntemus on välttämätöntä. Tässä tutkielmassa käsittelemme avointen kvanttisysteemien teoriaa kvantti-informaatioteorian näkökulmasta. Tutkielma on jaettu kahteen osioon: kirjallisuuskatsaukseen ja omaan tutkimukseen. Kirjallisuuskatsauksessa esitämme joitakin avointen kvanttisysteemien ja kvantti-informaatioteorian tärkeitä määritelmiä ja tunnettuja tuloksia. Esitämme jälkietäisyyden, kahden kanavakapasiteetin ja superdense coding -kapasiteetin määritelmät ja esitämme perustelun sille, miksi niitä voidaan käyttää kuvaamaan kommunikointikanavan lähetystehokkuutta. Näytämme myös todistukset kahdelle ominaisuudelle, jotka liittävät täyspositiiviset ja jäljensäilyttävät kuvaukset jälkietäisyyteen ja kanavakapasiteetteihin. Näiden ominaisuuksien avulla konstruoimme kolme epä-Markovisuusmittaa ja perustelemme, miksi ne havaitsevat dynamiikan epä-Markovisuutta. Oman tutkimuksen osiossa tutkimme epä-Markovista dynamiikkaa kokeellisesti toteutetussa kvanttioptisessa mittausjärjestelyssä. Yleisen yhden qubitin dephasing-kanavan tapauksessa laskemme molempien kanavakapasiteettien ja superdense coding -kapasiteetin eksplisiittiset muodot. Yleisen kahden qubitin korreloimattomien ympäristöjen dephasing-kanavan tapauksessa laskemme yhteisen informaation lausekkeen nelikirjaimisessa koodauksessa ja kvanttikanavakapasiteetin. Käyttämällä kokeellisen mittajärjestelyn dynamiikkoja esimerkki dephasing-kanavina me myös laskemme konstruoitujen epä-Markovisuusmittojen arvot ja vertailemme niitä yksi- ja kaksi-qubitti-dephasing-kanavissa. Lisäksi käyttäen kokeellisia esimerkkikanavia tutkimme, kuinka ympäristöä manipuloimalla superdense coding –skeemassa voidaan saada yhteinen informaatio ajoittain kasvamaan tai saavuttaa kaikenkaikkiaan korkeampi lähetystehokkuus.
Quantum computation and quantum communication are two of the most promising future applications of quantum mechanics. Since the information carriers used in both of them are essentially open quantum systems it is necessary to understand both quantum information theory and the theory of open quantum systems in order to investigate realistic implementations of such quantum technologies. In this thesis we consider the theory of open quantum systems from a quantum information theory perspective. The thesis is divided into two parts: review of the literature and original research. In the review of literature we present some important definitions and known results of open quantum systems and quantum information theory. We present the definitions of trace distance, two channel capacities and superdense coding capacity and give a reasoning why they can be used to represent the transmission efficiency of a communication channel. We also show derivations of some properties useful to link completely positive and trace preserving maps to trace distance and channel capacities. With the help of these properties we construct three measures of non-Markovianity and explain why they detect non-Markovianity. In the original research part of the thesis we study the non-Markovian dynamics in an experimentally realized quantum optical set-up. For general one-qubit dephasing channels we calculate the explicit forms of the two channel capacities and the superdense coding capacity. For the general two-qubit dephasing channel with uncorrelated local noises we calculate the explicit forms of the quantum capacity and the mutual information of a four-letter encoding. By using the dynamics in the experimental implementation as a set of specific dephasing channels we also calculate and compare the measures in one- and two-qubit dephasing channels and study the options of manipulating the environment to achieve revivals and higher transmission rates in superdense coding protocol with dephasing noise. Kvanttilaskenta ja kvanttikommunikaatio ovat kaksi puhutuimmista tulevaisuuden kvanttimekaniikan käytännön sovelluksista. Koska molemmissa näistä informaatio koodataan systeemeihin, jotka ovat oleellisesti avoimia kvanttisysteemejä, sekä kvantti-informaatioteorian, että avointen kvanttisysteemien tuntemus on välttämätöntä. Tässä tutkielmassa käsittelemme avointen kvanttisysteemien teoriaa kvantti-informaatioteorian näkökulmasta. Tutkielma on jaettu kahteen osioon: kirjallisuuskatsaukseen ja omaan tutkimukseen. Kirjallisuuskatsauksessa esitämme joitakin avointen kvanttisysteemien ja kvantti-informaatioteorian tärkeitä määritelmiä ja tunnettuja tuloksia. Esitämme jälkietäisyyden, kahden kanavakapasiteetin ja superdense coding -kapasiteetin määritelmät ja esitämme perustelun sille, miksi niitä voidaan käyttää kuvaamaan kommunikointikanavan lähetystehokkuutta. Näytämme myös todistukset kahdelle ominaisuudelle, jotka liittävät täyspositiiviset ja jäljensäilyttävät kuvaukset jälkietäisyyteen ja kanavakapasiteetteihin. Näiden ominaisuuksien avulla konstruoimme kolme epä-Markovisuusmittaa ja perustelemme, miksi ne havaitsevat dynamiikan epä-Markovisuutta. Oman tutkimuksen osiossa tutkimme epä-Markovista dynamiikkaa kokeellisesti toteutetussa kvanttioptisessa mittausjärjestelyssä. Yleisen yhden qubitin dephasing-kanavan tapauksessa laskemme molempien kanavakapasiteettien ja superdense coding -kapasiteetin eksplisiittiset muodot. Yleisen kahden qubitin korreloimattomien ympäristöjen dephasing-kanavan tapauksessa laskemme yhteisen informaation lausekkeen nelikirjaimisessa koodauksessa ja kvanttikanavakapasiteetin. Käyttämällä kokeellisen mittajärjestelyn dynamiikkoja esimerkki dephasing-kanavina me myös laskemme konstruoitujen epä-Markovisuusmittojen arvot ja vertailemme niitä yksi- ja kaksi-qubitti-dephasing-kanavissa. Lisäksi käyttäen kokeellisia esimerkkikanavia tutkimme, kuinka ympäristöä manipuloimalla superdense coding –skeemassa voidaan saada yhteinen informaatio ajoittain kasvamaan tai saavuttaa kaikenkaikkiaan korkeampi lähetystehokkuus.
In this thesis, methods for solving non-Markovian dynamics are developed and dierent aspects of the non-Markovian dynamics are studied.Chapter 1 contains a general introduction and the relevant parts of the theory of open quantum systems are presented in chapters 2 and 3.In chapter 4 we study the possibility to use classical stochastic processes to simulate the dynamics of open quantum systems.We discuss the dierent methods suitable for Markovian and non-Markovian dynamics.In the Markovian case the stochastic unraveling has a clear physical interpretation in terms of time continuous quantum measurements.In the non-Markovian case, the unraveling provides additional insight on the non-Markovian dynamics but the physical interpretation of the process is debated.Chapter 5 is devoted for studying the eects of non-Markovianity in specic physical models and the origin of non-Markovianity in these models.Entanglement trapping is studied in a photonic band gap model.We propose an experimentally realizable method how to detect non-Markovianity of quantum dynamics by continuously measuring only a part of the environment of the open system.We also apply methods developed originally for quantum systems to a classical system.An experimentally realizable model of non-Markovian quantum random walk is constructed in chapter 6 and in chapter 7 we conclude.v Tiivistelmä Tässä väitöskirjassa on tutkittu muistiefektien vaikutusta sekä kvantti että klassisten systeemien dynamiikkan.Lisäksi on kehitetty menetelmiä dynamiikan ratkaisemikseksi kun systeemin dynamiikkaa ei voi kuvata Markovisella teorialla.Kappale 1 sisältää yleisen johdatuksen aihepiiriin.Kappaleissa 2 ja 3 esitellään avoimen kvanttisysteemien teoriaa tämän väitöskirjan kannalta olennaisesta näkökulmasta.Kappaleessa 4 tutkitaan klassisten stokastisten prosessien käyttämistä avointen kvanttisysteemien dynamiikan simuloimiseen.Erilaisten menetelmien esittelyn lisäksi tarkastellaan muistiefektien vaikutusta stokastisten prosessien fysikaaliseen tulkintaan.Kappaleessa 5 tutkitaan ei Markovista dynamiikka erilaisissa systeemeissä.Tavoitteena on ymmärtää muistiefektien vaikutus dynamiikkaan sekä miksi Markovinen kuvaus ei toimi esimerkkisysteemeille.Lisäksi tarkastellaan kietoutumisen loukuttumista, muistiefektien kokeellista havainnointia sekä sovelletaan kvanttisysteemeille kehitettyjä menetelmiä klassisiin systeemeihin.Kappaleessa 6 tutkitaan muistiefektejä kvanttikävelyissa mallilla, joka on myös kokeellisesti toteutettavissa.Kappaleessa 7 esitetään yhteenveto tuloksista.
We study the performance of two measures of non-Markovianity in detecting memory effects in two-qubit dephasing channels. By combining independent Markovian and non-Markovian noise on the qubits, our results show that the trace distance measure is able to detect the memory effects when at least one of the local channels displays non-Markovianity. A measure based on channel capacity, in turn, becomes nonzero when the global two-qubit dynamics shows memory effects. We apply these schemes to a well-known superdense coding protocol and demonstrate an optimal noise configuration to maximize the information transmission with independent local noises.
Quantum mechanics has both deepened our understanding of the physical reality and allowed development of quantum technologies beating their classical counterparts in efficiency, security, and sensitivity. As a major downside, the quantum properties behind these technologies are very sensitive to the effects the system’s interaction with its environment. The theory of open quantum systems describes how such interaction influences the system, and as a consequence, how the quantum features are lost, controlled, and possibly returned by manipulating the environment. This thesis begins with a short description of the most relevant features and results of the open quantum system theory. We continue by presenting some commonly used measures to quantify the information encoded in quantum systems and the correlations between spatially or temporally separated parties. The literature review ends with discussion of non-Markovianity and memory effects which combine the fields of open quantum systems and quantum information in a natural way. The rest of the thesis presents the main results of Publications I – VII. We study the memory effects and physicality conditions of open system dynamics described by the vast family of phase-covariant master equations. We show how the open quantum system picture can be exploited to design probing protocols to extract information without knowing how the probe and system interact. Such protocols are considered also from the point-of view of efficiently obtaining the information required in the probing, both in theory and by experimental implementation. The experiment serves also as evidence for applicability of recently developed geometric tools to design informationally incomplete measurements for solving so-called membership problems. We present and experimentally realize a protocol where control over intial correlations between polarization and frequency gives full freedom to implement any dephasing dynamics in the open system polarization, thus dictating how its information content changes in time. We study the two-qubit memory effects of dephasing dynamics and compare them to the effect of such noise in the transmission efficiency in superdense coding. Optimal noise configurations in different situations are found. Finally, we characterize the families of initial states for which the decay of quantum correlations depends or does not depend on the noise location.
In the first part of this thesis, we investigate the dynamics of open quantum systems coupled in a purely dephasing way to their environment, which is a paradigmatic example of decoherent dynamics. We focus more specifically on the emergence of non-Markovian effects in the dynamics of such open systems. After reviewing different measures of non-Markovianity, we obtain an analytical expression for the reduced density operator of a finite-dimensional open system coupled with its environment through time-dependent purely dephasing interactions. When the system is initially uncorrelated with its environment, we obtain the time-local master equation that describes its dynamics. In this case, we also derive an exact expression for the witness of non-Markovianity based on the volume of accessible states of the open system. These results are then applied to spin systems coupled to either a spin or a bosonic environment. For spin environments, we study non-Markovianity for different ranges of interaction and in different thermodynamical limits. Moreover, the generation of entanglement between the open system and its environment as well as between spins within the open system is investigated. For bosonic environments, we study the effect of the initial state of the environment on non-Markovianity. We also show that time-dependent modulations of the system-environment coupling can dramatically alter the non-Markovian behavior of the open system. Finally, we consider the case of an open quantum system simultaneously coupled to spin and bosonic baths. In that case, we study how the coupling between the different baths and of the presence of initial correlations in the environment affect the non-Markovianity displayed by the open quantum system. The second part of this thesis is a contribution to the investigation of how quantum systems can be used to process information. More precisely, we focus on the implementation of gate-based quantum computing using neutral atoms trapped in optical or magnetic lattices and interacting through dipole-dipole interactions when excited to Rydberg states. In this context, we present protocols implementing two-qubit quantum gates between atoms far apart in the lattice. To this end, we propose to use a chain of non-coding ancilla atoms to transfer the state of the control qubit to an atom near the target qubit. Before discussing entangling gates between distant qubits, we present two protocols that implement state transfer along a chain of two-level atoms relying respectively on single- and two-atom laser pulses combined with dipole blockade. After reviewing protocols implementing CZ and CNOT gates between nearby qubits using dipole-dipole interactions, we show how the state-transfer protocols previously presented can be used to perform entangling gates between distant qubits. The performance of the state-transfer and gate protocols are assessed using the process fidelity. Moreover, we provide a theoretical explanation for the behavior of the process fidelity with respect to dissipation and imperfect blockade.
The description of how different quantum features, such as non-Markovianity and quantumness, interact in quantum channels is an important step in designing and managing quantum systems. Here, we look at three non-Markovian dephasing channels: pink, brown, and static noise. We investigate and evaluate various measures of non-Markovianity in these channels. Indeed, the proposed measurements include trace norm, entropy, and quantum capacity. We investigate the effect of non-Markovianity on the quantum nature of these channels. Our results show that increasing the degree of non-Markovianity in the suggested channels does not always improve the channel's quantumness. Furthermore, given the aforementioned quantum channels, the l2 norm of quantum coherence and mixedness satisfies the trade-off relation, which is critical for understanding how quantum resources and noise interact in open quantum systems.
In the first part of this thesis we extensively review the general theory of open quantum systems. We introduce new approaches to describe, in a hopefully more transparent way, some aspects which are usually misleading in a broad range of the literature. In addition, we revise new concepts and methods developed in recent years that complement the general theory mainly developed in the 1970s. In the second part, we focus our attention on the so-called Markovian processes which have been described in the previous part. We study the validity of typical equations used in simple systems such as harmonic oscillators, and propose and check different strategies to describe Markovian dynamics in more complicated interacting systems. Finally we propose a counter-intuitive situation where some level of noise can be actually useful for information tasks. In the third and last part, we approach the problem of the non-Markovian description of open quantum systems. To quantify how non-Markovian an open quantum system is we introduce a computable measure and apply it to some relevant situations. We also propose a way of probing the complexity of an environment by visualizing properties of a pair of qubits embedded in it. In addition, we develop a technique based on orthogonal polynomial theory to transform a wide range of environments into simple chains of particles which can be efficiently simulated with numerical techniques.