We analyze the Heisenberg limit on phase estimation for Gaussian states. In the analysis, no reference to a phase operator is made. We prove that the squeezed vacuum state is the most sensitive for a given average photon number. We provide two adaptive local measurement schemes that attain the Heisenberg limit asymptotically. One of them is described by a positive operator-valued measure and its efficiency is exhaustively explored. We also study Gaussian measurement schemes based on phase quadrature measurements. We show that homodyne tomography of the appropriate quadrature attains the Heisenberg limit for large samples. This proves that this limit can be attained with local projective Von Neuman measurements.
This paper provides some necessary and sufficient conditions for a generalMarkovian Gaussian master equation to have a unique pure steady state. The conditions are described by simple matrix equations; thus the so-called environment engineering problem for pure-Gaussian-state preparation can be straightforwardly dealt with in the linear algebraic framework. In fact, based on one of those conditions, for an arbitrary given pure Gaussian state,we obtain a complete parametrization of the Gaussian master equation having that state as a unique steady state; this leads to a systematic procedure for …
We analyze the conditions under which local operations and classical communication enable entanglement transformations within the set of bipartite pure Gaussian states. A set of necessary and sufficient conditions had been found in [Quant. Inf. Comp. 3, 211 (2003)] for the interconversion between such states that is restricted to Gaussian local operations and classical communication. Here, we exploit majorization theory in order to derive more general (sufficient) conditions for the interconversion between bipartite pure Gaussian states that goes beyond Gaussian local operations. While our tec…
We show that the following nontrivial necessary precondition for an entanglement evolution equation for pure Gaussian states under one-sided Gaussian channels holds. Suppose a Gaussian quantum channel acts on one mode of a pure entangled multi-mode Gaussian input state. Then, for a fixed channel, either all output states are entangled or none of them are. In other words, if the input state is Gaussian, pure and entangled, the separability after a one-sided Gaussian quantum channel does not depend on the input state, but only on the channel. Furthermore, a simple linear-algebraic separability c…
Exact and approximate formulas for the upper bound of the relative energy difference of two Gaussian states with the fixed fidelity between them are derived. The reciprocal formulas for the upper bound of the fidelity for the fixed value of the relative energy difference are obtained as well. The bounds appear higher for pure states than for mixed ones, and their maximal values correspond to squeezed vacuum states. In particular, to guarantee the relative energy difference less than 10%, for quite arbitrary Gaussian states, the fidelity between them must exceed the level 0.998866.
Recently the complete characterization of a general Gaussian dissipative system having a unique pure steady state was obtained in [Koga and Yamamoto 2012, Phys. Rev. A 85, 022103]. This result provides a clear guideline for engineering an environment such that the dissipative system has a desired pure steady state such as a cluster state. In this paper, we describe the system in terms of a quantum stochastic differential equation (QSDE) so that the environment channels can be explicitly dealt with. Then a physical meaning of that characterization, which cannot be seen without the QSDE represen…
This paper shows that an arbitrary Gaussian pure state can be deterministically generated in a dissipative open system that has quasi-local interactions between the subsystems and couples to surrounding environment in a local manner. A quasi-local interaction, which means that the interaction occurs among only a few subsystems, is a crucial requirement for practical engineering of a dissipative system. The key idea is that, first, an auxiliary system having local interaction with environment is prepared, and then that auxiliary system is coupled to the underlying target system via a set of two…
The coherence resource theory needs to study the operational value and efficiency which can be broadly formulated as the question: when can one coherent state be converted into another under incoherent operations. We answer this question completely for one-mode continuous-variable systems by characterizing conversion of coherent Gaussian states under incoherent Gaussian operations in terms of their first and second moments. The no-go theorem of purification of coherent Gaussian states is also built. The structure of incoherent Gaussian operations of two-mode continuous-variable systems is disc…
As large-scale multimode Gaussian states begin to become accessible in the laboratory, their representation and analysis become a useful topic of research in their own right. The graphical calculus for Gaussian pure states provides powerful tools for their representation, while this work presents a useful tool for their analysis: passive interferometric (i.e., number-conserving) symmetries. Here we show that these symmetries of multimode Gaussian states simplify calculations in measurement-based quantum computing and provide constructive tools for engineering large-scale harmonic systems with …
Non-Gaussian correlations in a pure state are inextricably linked with non-classical features, such as a non positive-definite Wigner function. In a commonly used simulation technique in ultracold atoms and quantum optics, known as the truncated Wigner method, the quantum dynamics is mapped to stochastic trajectories in phase space, governed by a positive approximation to the true Wigner distribution. The question thus arises: how accurate is this approach in predicting truly non-classical behaviour? In this article, we benchmark the ability of the truncated Wigner phase-space method to reprod…
We derive necessary and sufficient conditions for arbitrary multi--mode (pure or mixed) Gaussian states to be equivalent under Gaussian local unitary operations. To do so, we introduce a standard form for Gaussian states, which has the properties that (i) every state can be transformed into its standard form via Gaussian local unitaries and (ii) it is unique and (iii) it can be easily computed. Thus, two states are equivalent under Gaussian local unitaries iff their standard form coincides. We explicitly derive the standard form for two-- and three--mode Gaussian pure states. We then investiga…
We provide a unified graphical calculus for all Gaussian pure states, including graph transformation rules for all local and semi-local Gaussian unitary operations, as well as local quadrature measurements. We then use this graphical calculus to analyze continuous-variable (CV) cluster states, the essential resource for one-way quantum computing with CV systems. Current graphical approaches to CV cluster states are only valid in the unphysical limit of infinite squeezing, and the associated graph transformation rules only apply when the initial and final states are of this form. Our formalism …
Magic states were introduced in the context of Clifford circuits as a resource that elevates classically simulatable computations to quantum universal capability, while maintaining the same gate set. Here we study magic states in the context of matchgate (MG) circuits, where the notion becomes more subtle, as MGs are subject to locality constraints and also the SWAP gate is not available. Nevertheless a similar picture of gate-gadget constructions applies, and we show that every pure fermionic state which is non-Gaussian, i.e. which cannot be generated by MGs from a computational basis state, …
We show that a proper expression of the uncertainty relation for a pair of canonically-conjugate continuous variables relies on entropy power, a standard notion in Shannon information theory for real-valued signals. The resulting entropy-power uncertainty relation is equivalent to the entropic formulation of the uncertainty relation due to Bialynicki-Birula and Mycielski, but can be further extended to rotated variables. Hence, based on a reasonable assumption, we give a partial proof of a tighter form of the entropy-power uncertainty relation taking correlations into account and provide exten…
Quantum information processing exploits non-local functionality that has led to significant breakthroughs in the successful deployment of quantum mechanical protocols. In this regard, we address the dynamics of entanglement and coherence for three non-interacting qubits initially prepared as maximally entangled GHZ-like state coupled with independent classical environments. Two different Gaussian noises in pure and mixed noisy situations, namely, pure power-law noise, pure fractional Gaussian noise, power-law noise maximized and fractional Gaussian noise maximized cases are assumed to characte…
We consider the problem of unambiguous (error-free) discrimination of N linearly independent pure quantum states with prior probabilities, where the goal is to find a measurement that maximizes the average probability of success. We derive an upper bound on the optimal average probability of success using a result on optimal local conversion between two bipartite pure states. We prove that an optimal measurement in general saturates our bound. In the exceptional cases we show that the bound is tight, but not always optimal.
In this paper, we give a simple proof of the fact that the optimal collective attacks against continous-variable quantum key distribution with a Gaussian modulation are Gaussian attacks. Our proof makes use of symmetry properties of the quantum key distribution protocol in phase-space.
The central issue in quantum parameter estimation is to find out the optimal measurement setup that leads to the ultimate lower bound of an estimation error. We address here a question of whether a Gaussian measurement scheme can achieve the ultimate bound for phase estimation in single-mode Gaussian metrology that exploits single-mode Gaussian probe states in a Gaussian environment. We identify three types of optimal Gaussian measurement setups yielding the maximal Fisher information depending on displacement, squeezing, and thermalization of the probe state. We show that the homodyne measure…
Paper withdrawn. Results are similar to V. P. Belavkin, "Optimum distinction of non-orthogonal quantum signals," Radio Engineering and Electronic Physics, vol. 20, June 1975, p. 39-47.
Entanglement distillation is a key primitive for distributing high-quality entanglement between remote locations. Probabilistic noiseless linear amplification based on the quantum scissors is a candidate for entanglement distillation from noisy continuous-variable (CV) entangled states. Being a non-Gaussian operation, quantum scissors is challenging to analyze. We present a derivation of the non-Gaussian state heralded by multiple quantum scissors in a pure loss channel with two-mode squeezed vacuum input. We choose the reverse coherent information (RCI)---a proven lower bound on the distillab…
We introduce an algorithm for the classical simulation of Gaussian boson sampling that is quadratically faster than previously known methods. The complexity of the algorithm is exponential in the number of photon pairs detected, not the number of photons, and is directly proportional to the time required to calculate a probability amplitude for a pure Gaussian state. The main innovation is to use auxiliary conditioning variables to reduce the problem of sampling to computing pure-state probability amplitudes, for which the most computationally-expensive step is calculating a loop hafnian. We i…
In a recent work [Phys. Rev. Lett. 120, 170502 (2018)], Pallister et al. proposed an optimal strategy to verify non-maximally entangled two-qubit pure states under the constraint that the accessible measurements being locally projective and non-adaptive. Their nice result leads naturally to the question: What is the optimal strategy among general LOCC measurements? In this Letter, we answer this problem completely for two-qubit pure states. To be specific, we give the optimal strategy for each of the following available classes of measurements: (i) local operations and one-way classical commun…
Non-Markovian dynamics in nonstationary Gaussian baths: a hierarchy of pure states approach
Universität Hamburg（汉堡大学）；The Hamburg Centre for Ultrafast Imaging（汉堡超快成像中心）；Max Planck Institute for the Structure and Dynamics of Matter（马普学会物质结构与动力学研究所）
Due to practical reasons, experimental and theoretical continuous-variable (CV) quantum information (QI) has been heavily based on Gaussian states. Nevertheless, many CV-QI protocols require the use of non-Gaussian states and operations. Here, we show that the Einstein-Podolsky-Rosen steering inequality can be used to obtain a practical witness for the generation of pure bipartite non-Gaussian states. While the scenario require pure states, we show its broad relevance by reporting the experimental observation of the non-Gaussianity of the CV two-photon state generated in the process of spontan…
The efficient and reliable verification of quantum states plays a crucial role in various quantum information processing tasks. We consider the task of verifying entangled states using one-way and two-way classical communication and completely characterize the optimal strategies via convex optimization. We solve these optimization problems using both analytical and numerical methods, and the optimal strategies can be constructed for any bipartite pure state. Compared with the nonadaptive approach, our adaptive strategies significantly improve the efficiency of quantum state verification. Moreo…
The spin-coherent-state positive-operator-valued-measure (POVM) is a fundamental measurement in quantum science, with applications including tomography, metrology, teleportation, benchmarking, and measurement of Husimi phase space probabilities. We prove that this POVM is achieved by collectively measuring the spin projection of an ensemble of qubits weakly and isotropically. We apply this in the context of optimal tomography of pure qubits. We show numerically that through a sequence of weak measurements of random directions of the collective spin component, sampled discretely or in a continu…
Hierarchies of Gaussian multimode entanglement from thermodynamic quantifiers
Harish-Chandra Research Institute, A CI of Homi Bhabha National Institute（哈里什-钱德拉研究所，霍米·巴巴国立学院成员机构）；NextQuantum Innovation Research Center, Department of Physics and Astronomy, Seoul National University（首尔大学物理与天文学系下一代量子创新研究中心）
