We study the energy exchange between two bosonic systems that interact via bilinear transformations in the mode operators. The first mode is considered as the thermodynamic system, while the second is regarded as the bath. This work finds its roots in a very recent formulation of quantum thermodynamics [1] which allows to consider baths that are not described by the usual Boltzmann-Gibbs canonical form. Baths can possess quantum properties, such as squeezing or coherence, and can be initially correlated with the system, even through entanglement. We focus mainly on the case of Gaussian states, by quantifying the relation between their defining parameters, namely the mean values of the quadratures and the covariance matrix, and relevant thermodynamical quantities such as the heat exchanged and the work performed during the interaction process. We fully solve the case of initially uncorrelated Gaussian states and provide the most general form of the first law of thermodynamics in this case. We also discuss the case of initially correlated states by considering a number of relevant examples, studying how correlations can assist some phenomena, e.g. work extraction or anomalous heat flows. Finally, we present an information-theoretic approach based on the Renyi entropy of order two for clarifying more generally the role of correlations on heat exchanges.
When a quantum system is placed in thermal environments, we often assume that the system relaxes to the Gibbs state in which decoherence takes place in the system energy eigenbasis. However, when the coupling between the system and the environments is strong, the stationary state is not necessarily the Gibbs state due to environment-induced decoherence which can be interpreted as continuous measurement by the environments. Based on the einselection proposed by Zurek, we postulate that the Gibbs state is projected onto the pointer basis due to the continuous measurement. We justify the proposit…
We study two-mode bosonic engines undergoing an Otto cycle. The energy exchange between the two bosonic systems is provided by a tunable unitary bilinear interaction in the mode operators modeling frequency conversion, whereas the cyclic operation is guaranteed by relaxation to two baths at different temperature after each interacting stage. By means of a two-point-measurement approach we provide the joint probability of the stochastic work and heat. We derive exact expressions for work and heat fluctuations, identities showing the interdependence among average extracted work, fluctuations and…
We study the limitations on coherence evolutions under the constraints of thermodynamic laws, and focus on the optimal thermal operations (TO) reaching the bounds. For qubit case, we find a thermal operation involving only a single-mode reservoir (STO) which maintains the maximum coherence allowed by general TO. For higher dimensions, we derive general bounds on coherence merging under TO, and find STO to reach the bounds. By applying the bound to a two-qubit system, we prove that erasing correlations while preserving the marginal states is not free in the resource theory of thermodynamics. Du…
We introduce a class of quantum channels called passive-environment bosonic channels. These channels are relevant from a quantum thermodynamical viewpoint because they correspond to the energy-preserving linear coupling of a bosonic system with a bosonic environment that is in a passive state (no energy can be extracted from it by using a unitary transformation) followed by discarding the environment. The Fock-majorization relation defined in [New J. Phys. 18, 073047 (2016)] happens to be especially useful in this context as, unlike regular majorization, it connects the disorder of a state tog…
We have constructed a unified framework for generalizing the finite-time thermodynamic behavior of statistically distinct bosonic and fermionic Stirling cycles with regenerative characteristics. In our formalism, working fluid consisting of particles obeying Fermi-Dirac and Bose-Einstein statistics are treated under equal footing and modelled as a collection of non-interacting harmonic and fermionic oscillators. In terms of frequency and population of the two oscillators, we have provided an interesting generalization for the definitions of heat and work that are valid for classical as well as…
In this work, we put forward the theoretical foundation toward thermodynamics of quantum impurity systems measurable in experiments. The theoretical developments involve the identifications on two types of thermodynamic entanglement free--energy spectral functions for impurity systems that can be either fermionic or bosonic or combined. Consider further the thermodynamic limit in which the hybrid environments satisfy the Gaussian--Wick's theorem. We then relate the thermodynamic spectral functions to the local quantum impurity systems spectral densities that are often experimentally measurable…
Thermodynamic resources, beyond their well-known usefulness in work extraction and other thermodynamic tasks, are often important also in tasks that are not evidently thermodynamic. Here we develop a framework for identifying such resources in diverse applications of bosonic continuous-variable systems. Introducing the class of bosonic linear thermal operations to model operationally-feasible processes, we apply this model to identify uniquely quantum properties of bosonic states that refine classical notions of thermodynamic resourcefulness. Among these are (1) a suite of temperature-like qua…
Bosonic modes have wide applications in various quantum technologies, such as optical photons for quantum communication, magnons in spin ensembles for quantum information storage and mechanical modes for reversible microwave-to-optical quantum transduction. There is emerging interest in utilizing bosonic modes for quantum information processing, with circuit quantum electrodynamics (circuit QED) as one of the leading architectures. Quantum information can be encoded into subspaces of a bosonic superconducting cavity mode with long coherence time. However, standard Gaussian operations (e.g., be…
We propose a method to realize a robust quantum random number generator based on bosonic stimulation. A particular implementation that employs weak coherent pulses and conventional avalanche photo-diode detectors (APDs) is discussed.
Quantum information is vulnerable to environmental noise and experimental imperfections, hindering the reliability of practical quantum information processors. Therefore, quantum error correction (QEC) that can protect quantum information against noise is vital for universal and scalable quantum computation. Among many different experimental platforms, superconducting quantum circuits and bosonic encodings in superconducting microwave modes are appealing for their unprecedented potential in QEC. During the last few years, bosonic QEC is demonstrated to reach the break-even point, i.e. the life…
A Knill-Laflamme-Milburn (KLM) type quantum computation with bosonic neutral atoms or bosonic ions is suggested. Crucially, as opposite to other quantum computation schemes involving atoms (ions), no controlled interactions between atoms (ions) involving their internal levels are required. Versus photonic KLM computation this scheme has the advantage that single atom (ion) sources are more natural than single photon sources, and single atom (ion) detectors are far more efficient than single photon ones.
It is shown that phase-insensitive Gaussian bosonic channels are majorization-preserving over the set of passive states of the harmonic oscillator. This means that comparable passive states under majorization are transformed into equally comparable passive states. The proof relies on a new preorder relation called Fock-majorization, which coincides with regular majorization for passive states but also induces a mean photon number order, thereby connecting the concepts of energy and disorder of a quantum state. As an application, the consequences of majorization preservation are investigated in…
We derive the exact out-of-equilibrium Wigner function of a bosonic mode linearly coupled to a bosonic bath of arbitrary spectral density. Our solution does not rely on any master equation approach and it therefore also correctly describes a bosonic mode which is initially entangled with its environment. It has been recently suggested that non-Markovian quantum effects lead to dissi- pationless dynamics in the case of a strong coupling to a bath whose spectral density has a support bounded from below. We show in this work that such a system undergoes a quantum phase transi- tion at some critic…
We analyse an implementation of a quantum computer using bosonic atoms in an optical lattice. We show that, even though the number of atoms per site and the tunneling rate between neighbouring sites is unknown, one may perform a universal set of gates by means of adiabatic passage.
Recently, there have been considerable progresses on the bounds of various quantum channel capacities for bosonic Gaussian channels. Especially, several upper bounds for the classical capacity and the quantum capacity on the bosonic Gaussian channels, via a technique known as quantum entropy power inequality, have been shed light on understanding the mysterious quantum-channel-capacity problems. However, upper bounds for the private capacity on quantum channels are still missing for the study on certain universal upper bounds. Here, we derive upper bounds on the private capacity for bosonic Ga…
Quantum computation and communication are important branches of quantum information science. However, noise in realistic quantum devices fundamentally limits the utility of these quantum technologies. A conventional approach towards large-scale and fault-tolerant quantum information processing is to use multi-qubit quantum error correction (QEC), that is, to encode a logical quantum bit (or a logical qubit) redundantly over many physical qubits such that the redundancy can be used to detect errors. The required resource overhead associated with the use of conventional multi-qubit QEC schemes, …
We consider a composite particle formed by two fermions or two bosons. We discover that composite behavior is deeply related to the quantum entanglement between the constituent particles. By analyzing the properties of creation and annihilation operators, we show that bosonic character emerges if the constituent particles become strongly entangled. Such a connection is demonstrated explicitly in a class of two-particle wave functions.
We present a generic Markovian master equation inducing the gradual classicalization of a bosonic quantum field. It leads to the decoherence of quantum superpositions of field configurations, while leaving the Ehrenfest equations for both the field and the mode-variables invariant. We characterize the classicalization analytically and numerically, and show that the semiclassical field dynamics is described by a linear Boltzmann equation in the functional phase space of field configurations.
We examine a quantum Otto engine with a harmonic working medium consisting of two particles to explore the use of wave function symmetry as an accessible resource. It is shown that the bosonic system displays enhanced performance when compared to two independent single particle engines, while the fermionic system displays reduced performance. To this end, we explore the trade-off between efficiency and power output and the parameter regimes under which the system functions as engine, refrigerator, or heater. Remarkably, the bosonic system operates under a wider parameter space both when operat…
An examination is made of the way in which particles emerge from linear, bosonic, massive quantum field theories. Two different constructions of the one-particle subspace of such theories are given, both illustrating the importance of the interplay between the quantum-mechanical linear structure and the classical one. Some comments are made on the Newton-Wigner representation of one-particle states, and on the relationship between the approach of this paper and those of Segal, and of Haag and Ruelle.
The coherent evolution of two atomic qubits mediated by a set of bosonic field modes is investigated. By assuming a specific encoding of the quantum states in the internal levels of the two atoms we show that entangling quantum gates can be realised, with high fidelity, even when a large number of mediating modes is involved. The effect of losses and imperfections on the gates' operation is also considered in detail.
We consider a class of models of self-interacting bosons hopping on a lattice. We show that properly tailored space-temporal coherent control of the single-body coupling parameters allows for universal quantum computation in a given sector of the global Fock space. This general strategy for encoded universality in bosonic systems has in principle several candidates for physical implementation.
We present a method to extract M-partie bosonic correlations from an N-partite maximally symmetric state (M < N) with the help of successive applications of single-boson subtractions. We also propose an experimental photonic setup to implement it that can be done with the present technologies.
We construct quantum coherence resource theories in symmetrized Fock space (QCRTF), thereby providing an information-theoretic framework that connects analyses of quantum coherence in discrete-variable (DV) and continuous variable (CV) bosonic systems. Unlike traditional quantum coherence resource theories, QCRTF can be made independent of the single-particle basis and allow to quantify coherence within and between particle number sectors. For example, QCRTF can be formulated in such a way that neither Bose-Einstein condensates nor Heisenberg-Weyl coherent states are considered as quantum many…
We consider an ensemble of three-level particles in lambda-configuration interacting with two bosonic modes. The Hamiltonian has the form of a generalized Dicke-model. We show that in the thermodynamic limit this model supports a superradiant quantum phase transition. Remarkably, this can be both a first and a second order phase transition. A connection of the phase diagram to the symmetries of the Hamiltonian is also given. In addition, we show that this model can describe atoms interacting with an electromagnetic field in which the microscopic Hamiltonian includes a diamagnetic contribution.…
We propose the implementation of a digital quantum simulation of spin chains coupled to bosonic field modes in superconducting circuits. Gates with high fidelities allows one to simulate a variety of Ising magnetic pairing interactions with transverse field, Tavis-Cummings interaction between spins and a bosonic mode, and a spin model with three-body terms. We analyze the feasibility of the implementation in realistic circuit quantum electrodynamics setups, where the interactions are either realized via capacitive couplings or mediated by microwave resonators.
Understanding dynamics of localized quantum systems embedded in engineered bosonic environments is a central problem in quantum optics and open quantum system theory. We present a formalism for studying few-particle scattering from a localized quantum system interacting with an bosonic bath described by an inhomogeneous wave-equation. In particular, we provide exact relationships between the quantum scattering matrix of this interacting system and frequency domain solutions of the inhomogeneous wave-equation thus providing access to the spatial distribution of the scattered few-particle wave-p…
We provide a simple and realistic model to study memory effects in a lossy bosonic quantum channel over arbitrary number of uses. The noise correlation among different uses is introduced by contiguous modes interactions which results in an exponential decay of the correlations over channel uses (modes). This model allows us to characterize the asymptotic behavior of the channel for classical information transmission.
A quantum theory of feedback of bosonic many-atom systems is formulated. The feedback-induced many-atom correlations are treated by use of a parameterized correlation function, for which closed equations of motion are derived. Therefrom the dynamics of any additive property of the system, i.e., properties derived from the reduced single-atom density operator, can be obtained. An example is given that indicates the correlation effects of feedback.
Bosonic fault tolerant quantum computing requires preparations of Bosonic code states like cat states and GKP states with high fidelity and reliable quantum certification of these states. Although many proposals on preparing these states have been developed, few investigation has been done on how to reliably certify these experimental states. In this paper, we develop approaches to certify whether a continuous-variable state falls inside a certain Bosonic qubit code space by detecting a witness using Gaussian measurements. Our results can be applied to certification of various cat codes includ…
We present two fast algorithms which apply inclusion-exclusion principle to sum over the bosonic diagrams in bare diagrammatic quantum Monte Carlo (dQMC) and inchworm Monte Carlo method, respectively. In the case of inchworm Monte Carlo, the proposed fast algorithm gives an extension to the work ["Inclusion-exclusion principle for many-body diagrammatics", Phys. Rev. B, 98:115152, 2018] from fermionic to bosonic systems. We prove that the proposed fast algorithms reduce the computational complexity from double factorial to exponential. Numerical experiments are carried out to verify the theore…
We consider the problem of decoherence and relaxation of open bosonic quantum systems from a perspective alternative to the standard master equation or quantum trajectories approaches. Our method is based on the dynamics of expectation values of observables evaluated in a coherent state representation. We examine a model of a quantum nonlinear oscillator with a density-density interaction with a collection of environmental oscillators at finite temperature. We derive the exact solution for dynamics of observables and demonstrate a consistent perturbation approach.
Quantum thermodynamics can be cast as a resource theory by considering free access to a heat bath, thereby viewing the Gibbs state at a fixed temperature as a free state and hence any other state as a resource. Here, we consider a multipartite scenario where several parties attempt at extracting work locally, each having access to a local heat bath (possibly with a different temperature), assisted with an energy-preserving global unitary. As a specific model, we analyze a collection of harmonic oscillators or a multimode bosonic system. Focusing on the Gaussian paradigm, we construct a reasona…
The time evolution of occupation number is studied for fermionic or bosonic oscillator linearly fully coupled to several fermionic and bosonic heat baths. The influence of characteristics of thermal reservoirs of different statistics on the non-stationary population probability is analyzed at large times. Applications of the absence of equilibrium in such systems for creating a dynamic (nonstationary) memory storage are discussed.
We report on the theoretical analysis of bosonic and fermionic non-interacting systems in a discrete two-particle quantum walk affected by different kinds of disorder. We considered up to 100-step QWs with a spatial, temporal and space-temporal disorder observing how the randomness and the wavefunction symmetry non-trivially affect the final spatial probability distribution, the transport properties and the Shannon entropy of the walkers.
The unique features of quantum theory offer a powerful new paradigm for information processing. Translating these mathematical abstractions into useful algorithms and applications requires quantum systems with significant complexity and sufficiently low error rates. Such quantum systems must be made from robust hardware that can coherently store, process, and extract the encoded information, as well as possess effective quantum error correction (QEC) protocols to detect and correct errors. Circuit quantum electrodynamics (cQED) provides a promising hardware platform for implementing robust qua…
We investigate the capacity of bosonic quantum channels for the transmission of quantum information. Achievable rates are determined from measurable moments of the channel by showing that every channel can asymptotically simulate a Gaussian channel which is characterized by second moments of the initial channel. We calculate the quantum capacity for a class of Gaussian channels, including channels describing optical fibers with photon losses, by proving that Gaussian encodings are optimal. Along the way we provide a complete characterization of degradable Gaussian channels and those arising fr…
We present the experimental realization of a scheme, based on single-photon interference, for implementing superpositions of distinct quantum operations. Its application to a thermal light field (a well-categorized classical entity) illustrates quantum superposition from a new standpoint and provides a direct and quantitative verification of the bosonic commutation relation between creation and annihilation operators. By shifting the focus towards operator superpositions, this result opens interesting alternative perspectives for manipulating quantum states.
We address the problem of the optimal quantum estimation of the coupling parameter of a bilinear interaction, such as the transmittivity of a beam splitter or the internal phase-shift of an interferometer. The optimal measurement scheme exhibits Heisenberg scaling of the measurement precision versus the total energy.
The ground state of a pair of ultrastrongly coupled bosonic modes is predicted to be a two-mode squeezed vacuum. However, the corresponding quantum correlations are currently unobservable in condensed matter where such a coupling can be reached, since it cannot be extracted from these systems. Here, we show that superconducting circuits can be used to perform an analog simulation of a system of two bosonic modes in regimes ranging from strong to ultrastrong coupling. More importantly, our quantum simulation setup enables us to detect output excitations that are related to the ground-state prop…
The bosonic quantum channels have recently attracted a growing interest, motivated by the hope that they open a tractable approach to the generally hard problem of evaluating quantum channel capacities. These studies, however, have always been restricted to memoryless channels. Here, it is shown that the classical capacity of a bosonic Gaussian channel with memory can be significantly enhanced if entangled symbols are used instead of product symbols. For example, the capacity of a photonic channel with 70%-correlated thermal noise of one third the shot noise is enhanced by about 11% when using…
We put forward a new CNOT gate scheme with atoms and ions based on quantum interrogation and a bosonic particle extension of the models of linear optics quantum computation. We show how the possibility of particle collision can provide the strong interaction that is needed for universal quantum gates. Two atom optics proposals are provided. Unlike previous schemes, these gates are at the same time nondestructive, valid for arbitrary inputs and can work with a probability as close to unity as desired in the lossless case. Data is encoded into position modes and the gates only require basic atom…
