Time-translation symmetry strongly constrains physical dynamics, yet systematic characterization for continuous-variable systems lags behind its discrete-variable counterpart. We close this gap by providing a rigorous classification of Gaussian quantum operations that are covariant under time translations, termed Gaussian covariant operations. We show that several key results known for discrete-variable covariant operations break down in the Gaussian optical setting: discrepancies arise in physical and thermodynamic implementation, in the extensivity of asymmetry, and in catalytic advantages. Our results provide comprehensive mathematical and operational toolkits for Gaussian covariant operations, including a peculiar pair of asymmetry measures that are completely non-extensive. Our findings also reveal surprising consequences of the interplay among symmetry, Gaussianity, and thermodynamic constraints, suggesting that real-world scenarios with multiple constraints have a rich structure not accessible from examining individual constraints separately.
Time-translation symmetry strongly constrains physical dynamics, yet systematic characterization for continuous-variable systems lags behind its discrete-variable counterpart. We close this gap by providing a rigorous classification of Gaussian quantum operations that are covariant under time translations, termed Gaussian covariant operations. We show that several key results known for discrete-variable covariant operations break down in the Gaussian optical setting: discrepancies arise in physical and thermodynamic implementation, in the extensivity of asymmetry, and in catalytic advantages. Our results provide comprehensive mathematical and operational toolkits for Gaussian covariant operations, including a peculiar pair of asymmetry measures that are completely non-extensive. Our findings also reveal surprising consequences of the interplay among symmetry, Gaussianity, and thermodynamic constraints, suggesting that real-world scenarios with multiple constraints have a rich structure not accessible from examining individual constraints separately.
The rise of quantum technology has put control at the centre of advancements in quantum mechanics. The union of quantum mechanics with mathematical control theory is a meeting that is leading to a much deeper insight into our interaction with the bizarre properties of quantum theory. Often, the study of discrete variable systems is the focus for making this union. Here, we look at how control theory may be applied to the continuous variable theory of Gaussian states. Special emphasis is given to control of the covariance matrix of these states, as it is here that we find the entanglement and entropic properties of the state. We begin by exploring some initial results for the geometry of Gaussian states, revealing different manifold structures dependent on symplectic eigenvalue degeneracy. In this geometrical setting a proposal for an extension of Williamson's theorem is put forward and partially completed. It is often interesting to look at restricted sets of Hamiltonians and ask what transformations can be performed with concatenations of their corresponding unitaries. Controllable systems are those for which the entire group of interest is possible to enact. We explore an uncontrollable system in a single mode and give a physical analysis as to why it behaves this way. This leads to ideas to move forwards for a necessary and sufficient condition for control on the symplectic group that has been conjectured since 1972. Later, we transfer to the question of open dynamics. We focus on a particular and ubiquitous channel known as 'lossy' or 'the attenuation channel'. An equation is derived describing the evolution for the symplectic invariants of a Gaussian state undergoing such dynamics. The equation of the former chapter is used to explore the evolution of entropy and entanglement. Optimal protocols are developed for the manipulation of these properties undergoing lossy dynamics.
Gaussian states, operations, and measurements are central building blocks for continuous-variable quantum information processing which paves the way for abundant applications, especially including network-based quantum computation and communication. To make the most use of the Gaussian processes, it is required to understand and utilize suitable mathematical tools such as the symplectic space, symplectic algebra, and Wigner representation. Applying these mathematical tools to practical quantum scenarios, we developed various schemes for quantum transduction, interference-based bosonic mode permutation and bosonic sensing. We demonstrated that generic coupler characterized by Gaussian unitary process can be transformed into a high-fidelity transducer, assuming the access to infinite squeezing and adaptive feedforward with homodyne measurements. To address the practical limitation of finite squeezing, we explored the interference-based protocols. These protocols let us freely permute bosonic modes only assuming the access to single-mode Gaussian operations and multiple uses of a given multi-mode Gaussian process. Thus, such a scheme not only enables universal decoupling for bosonic systems, which is useful for suppressing undesired coupling between the system and the environment, but also faithful bidirectional single-mode quantum transduction. Moreover, noticing that the Gaussian processes are appropriate theoretical models for optical sensors, we studied the quantum noise theory for optical parameter sensing and its potential in providing great measurement precision enhancement. We also extended the Gaussian theories to discrete variable systems, with several examples such as quantum (gate) teleportation. All the analyses originated from the fundamental quantum commutation relations, and therefore are widely applicable.
Cooling quantum systems with finite resources is a central task in quantum technologies and has been extensively explored in discrete-variable settings. As continuous-variable (CV) platforms play an increasingly important role in quantum information processing, it becomes crucial to understand the fundamental limitations of cooling bosonic systems. In this work, we develop a general framework for cooling CV systems, identifying both the constraints imposed by Gaussianity and the advantages enabled by non-Gaussian interactions. We derive a reachable bound on the cooling performance of Gaussian operations that applies to arbitrary cooling architectures. By optimizing over all protocols saturating this bound, we further identify the most efficient scheme, which minimizes dissipated energy for a given number of ancilla modes. Beyond Gaussian operations, we show that p-excitation exchange exploits non-Gaussian resources to achieve a p-fold enhancement of the cooling limit. Our results establish the fundamental limits of CV heat-bath algorithmic cooling and reveal the crucial role of non-Gaussianity in surpassing Gaussian cooling barriers.
The characterisation of quantum correlations, also known as entanglement, is central to quantum information theory. Operationally, entanglement gives rise to the notion of quantum non-locality, which challenges the ‘reality’ of quantum mechanics (adopting the terminology of Einstein, Podolski and Rosen) and arguably represents its most distinctive feature, in the sense that it calls for a departure from certain foundational tenets of classical physics. It should thus not come as a surprise that entanglement turns out to be a key resource for the implementation of a number of quantum communication protocols and also necessary to achieve computational speed-ups with quantum hardware, in the sense that accessing regions of the Hilbert space with entangled states allows one to shorten the computational depth of certain algorithms. Not surprisingly, generating and maintaining entanglement is generally difficult in practice, as it requires strong interactions between selected components of a system that must at the same time be isolated from the environment. Thanks to the techniques developed in quantum optical set-ups to achieve squeezed light, entanglement is, however, comparatively accessible with optical quantum continuous variables. As we shall see, in fact, continuous variable entanglement is closely related to the notion of squeezing. It is therefore of the utmost importance to be able to qualify and quantify the entanglement of quantum continuous variables, which is the subject matter of the present chapter. The first part of the chapter is devoted to techniques and criteria based on second moments to detect the entanglement of Gaussian states and also to the description of possible ways to quantify such quantum correlations, bearing in mind that the determination of entanglement monotones of clear operational significance is still an open problem, even in the restricted arena of Gaussian states. Although the criteria based on second moments are sufficient, but not necessary, for the detection of non-Gaussian entanglement too, we will push our analysis further by introducing more general criteria based on higher order statistical moments, which will be put to use to detect, on paper, the quantum correlations of an entangled cat-like state. We will also address the issues of entanglement distillation and quantum non-locality tests, in whose contexts we shall encounter other non-Gaussian operations and states, such as photon-subtracted states.
Irreversibility and time-translation symmetry are both fundamental in open quantum dynamics, and it is of great importance to study the interplay between them. In this paper, we study tabletop reversibility (TTR) for phase-covariant quantum operations and obtain sharply different conclusions for finite-dimensional and Gaussian systems. For finite-dimensional systems, we prove that any phase-covariant operation that admits a Petz recovery map can be implemented by a dilation which is both time-translational symmetric and tabletop time reversible. In contrast, for phase-covariant Gaussian operations we exhibit a concrete obstruction: any Gaussian dilation of a single-mode Gaussian amplification channel is not tabletop time reversible. As a byproduct, we find that almost every completely positive and trace preserving (CPTP) map admits a dilation that realizes TTR. These results clarify whether and how TTR can be realized under phase-covariant symmetry constraints and reveal a qualitative difference between finite-dimensional and Gaussian systems.
We introduce a general witness-based framework for quantifying and operationally activating continuous-variable (CV) resources into discrete-variable (DV) bipartite entanglement or Einstein- Podolsky-Rosen (EPR) steering. For the three standard CV resource theories associated with Wigner negativity (WN), genuine non-Gaussianity (GNG), and standard non-Gaussianity (SNG), we define infinite families of bounded-witness monotones indexed by box constraints on the witness operators. For closed convex free sets, these monotones are faithful, strongly monotonic under free instruments, Lipschitz continuous, and convex. For closed nonconvex free sets, we show that faithfulness requires a two-copy lift and formulate the corresponding strong-monotonicity statement in the lifted theory. We further construct witness-dependent completely positive trace-preserving (CPTP) measure-and-prepare channels whose outputs are two-qubit Werner states. For the representative case n = m = 1, the optimal entanglement and EPR steering attainable within this witness-dependent activation family are exactly proportional to the underlying monotones. We illustrate the framework with odd-parity states, pure-loss single-photon states, and Gottesman- Kitaev-Preskill (GKP) states, and derive explicit lower bounds for pure-state GNG and SNG. More broadly, our results show that closed CV free sets admit witness-based quantifiers with a direct operational interpretation in terms of experimentally accessible DV correlations.