We present an analysis of complete positivity (CP) constraints on qutrit quantum channels that have a form of affine transformations of generalized Bloch vector. For diagonal (damping) channels we derive conditions analogous to the ones that in qubit case produce tetrahedron structure in the channel parameter space.
Sparse positive maps on qutrits with exact nondecomposability thresholds and PPT-entanglement transitions
Università degli Studi di Pavia(帕维亚大学);INFN Sezione di Pavia(意大利国家核物理研究所帕维亚分部);Università di Trieste(的里雅斯特大学);INFN Sezione di Trieste(意大利国家核物理研究所的里雅斯特分部);MIT(麻省理工学院);CNR-Istituto di Fotonica e Nanotecnologie(国家研究委员会光子学与纳米技术研究所)
We examine the geometric structure of qutrit state space by identifying the outcome probabilities of symmetric informationally complete (SIC) measurements with quantum states. We categorize the infinitely many qutrit SICs into eight SIC families corresponding to independent orbits of the extended Clifford group. Every SIC can be uniquely identified from a set of geometric invariants that we use to establish several properties of the convex body of qutrits, which include a simple formula describing its extreme points, an expression for the rotation between the probability vectors for distinct q…
In this paper, we show that a qutrit version of ZX-calculus, with rules significantly different from that of the qubit version, is complete for pure qutrit stabilizer quantum mechanics, where state preparations and measurements are based on the three dimensional computational basis, and unitary operations are required to be in the generalized Clifford group. This means that any equation of diagrams that holds true under the standard interpretation in Hilbert spaces can be derived diagrammatically. In contrast to the qubit case, the situation here is more complicated due to the richer structure…
A complete analysis of entangled bipartite qutrit pure states is carried out based on a simple entanglement measure. An analysis of all possible extremally entangled pure bipartite qutrit states is shown to reduce, with the help of SLOCC transformations, to three distinct types. The analysis and the results should be helpful for finding different entanglement types in multipartite pure state systems.
Entangled states in high dimensional systems are of great interest due to the extended possibilities they provide in quantum information processing. Recently, Sun et al. [Phys. Rev. A 82, 052323 (2010)] and Kim et al. [Nat. Phys. 8, 117 (2012)] pointed out that weak measurement and quantum weak measurement reversal can actively combat decoherence. We generalize their studies from qubits to qutrits under amplitude damping decoherence. We find that the qutrit-qutrit entanglement can be partially retrieved for certain initial states when only weak measurement reversals are performed. However, we …
It is crucial for various quantum information processing tasks that the state of a quantum system can be determined reliably and efficiently from general quantum measurements. One important class of measurements for this purpose is symmetric informationally complete positive operator-valued measurements (SIC-POVMs). SIC-POVMs have the advantage of providing an unbiased estimator for the quantum state with the minimal number of outcomes needed for full tomography. By virtue of Naimark's dilation theorem, any POVM can always be realized with a suitable coupling between the system and an auxiliar…
We report a study of the Majorana geometrical representation of a qutrit, where a pair of points on a unit sphere represents its quantum states. A canonical form for qutrit states is presented, where every state can be obtained from a one-parameter family of states via $SO(3)$ action. The notion of spin-1 magnetization which is invariant under $SO(3)$ is geometrically interpreted on the Majorana sphere. Furthermore, we describe the action of several quantum gates in the Majorana picture and experimentally implement these gates on a spin-1 system (an NMR qutrit) oriented in a liquid crystalline…
It has been argued that any test of quantum contextuality is nullified by the fact that perfect orthogonality and perfect compatibility cannot be achieved in finite precision experiments. We introduce experimentally testable two-qutrit violations of inequalities for noncontextual theories in which compatibility is guaranteed by the fact that measurements are performed on separated qutrits. The inequalities are inspired by the basic building block of the Kochen-Specker proof of quantum contextuality for a qutrit, despite the fact that their proof is completely independent of it.
We present an extension of the Wootters concurrence for the case of two qutrits in mixed states. The reduction of our extension to the case of two levels shows complete agreement with Wootters concurrence for two qubits. As an explicit example, we compute the concurrence for a family of symmetric states and we obtain the bounds on the limit for separability. Our results are compared with those of the negativity.
With a probability of success of $95 \%$ we solve the separability problem for Bell diagonal qutrit states with positive partial transposition (PPT). The separability problem, i.e. distinguishing separable and entangled states, generally lacks an efficient solution due to the existence of bound entangled states. In contrast to free entangled states that can be used for entanglement distillation via local operations and classical communication, these states cannot be detected by the Peres-Horodecki criterion or PPT criterion. We analyze a large family of bipartite qutrit states that can be sepa…
We produce and holographically measure entangled qudits encoded in transverse spatial modes of single photons. With the novel use of a quantum state tomography method that only requires two-state superpositions, we achieve the most complete characterisation of entangled qutrits to date. Ideally, entangled qutrits provide better security than qubits in quantum bit-commitment: we model the sensitivity of this to mixture and show experimentally and theoretically that qutrits with even a small amount of decoherence cannot offer increased security over qubits.
We demonstrate the existence of entanglement sudden death (ESD), the complete loss of entanglement in finite time, in qubit-qutrit systems. In particular, ESD is shown to occur in such systems initially prepared in a one-parameter class of entangled mixed states and then subjected to local dephasing noise. Together with previous results, this proves the existence of ESD for some states in all quantum systems for which rigorously defined mixed-state entanglement measures have been identified. We conjecture that ESD exists in all quantum systems prepared in appropriate bipartite states.
We investigate the dynamics of an N -level quantum system weakly coupled to a thermal reservoir. For any fixed temperature of the bath there exists a natural reference state: the equilibrium state of the system. Among all quantum operations on the system one distinguishes Davies maps, they pre- serve the equilibrium state, satisfy the detailed balance condition and belong to a semi-group. A complete characterization of the three dimensional set of qubit Davies maps is given. We analyze these maps and find their mini- mum output entropy. A characterization of Davies maps for qutrits is also pro…
Integrated optics allow the generation and control of increasingly complex photonic states on chip based architectures. Here, we implement two entangled qutrits - a 9-dimensional quantum system - and demonstrate an exceptionally high degree of experimental control. The approach which is conceptually different to common bulk optical implementations is heavily based on methods of integrated in-fiber and on-chip technologies and further motivated by methods commonly used in today's telecommunication industry. The system is composed of an in-fiber source creating entangled qutrit states of any amp…
We show that any Hermiticity and trace preserving continuous semigroup gamma_t in d dimensions is completely positive if and only if the semigroup gamma_t otimes gamma_t is positivity preserving.
An ability to describe quantum states directly by average values of measurement outcomes is provided by the Bloch vector. For an informationally complete set of measurements one can construct unique Bloch vector for any quantum state. However, not every Bloch vector corresponds to a quantum state. It seems that only for two dimensional quantum systems it is easy to distinguish proper Bloch vectors from improper ones, i.e. the ones corresponding to quantum states from the other ones. I propose an alternative approach to the problem in which more than one vector is used. In particular, I show th…
We consider a two-dimensional quantum control system evolving under an entropy-increasing irreversible dynamics in the semigroup form. Considering a phenomenological approach to the dynamics, we show that the accessibility property of the system depends on whether its evolution is assumed to be positive or completely positive. In particular, we characterize the family of maps having different accessibility and show the impact of that property on observable quantities by means of a simple physical model.
We study the time evolution of classical and quantum correlations for hybrid qubit-qutrit systems in independent and common classical dephasing environments. Our discussion involves a comparative analysis of the Markovian dynamics of negativity, quantum discord, geometric measure of quantum discord and classical correlation. For the case of independent environments, we have demonstrated the phenomenon of sudden transition between classical and quantum decoherence for qubit-qutrit states. In the common environment case, we have shown that dynamics of quantum and geometric discords might be comp…
We study the modified dynamical evolution of the neutral kaon system under the condition of complete positivity. The accuracy of the data from planned future experiments is expected to be sufficiently precise to test such a hypothesis.
We derive a purely algebraic framework for the identification of hierarchy equations of motion that induce completely positive dynamics and demonstrate the applicability of our approach with several examples. We find bounds on the violation of complete positivity for microscopically derived hierarchy equations of motion and construct well-behaved phenomenological models with strongly non-Markovian revivals of quantum coherence.
We consider two non-interacting systems embedded in a heat bath. If they remain dynamically independent, physical inconsistencies are avoided only if the single-system reduced dynamics is completely positive also beyond the weak-coupling limit.
After reviewing the main properties of time-evolutions of open quantum systems, some considerations about the positivity of factorized Markovian dynamics for bipartite systems are made. In particular, it is shown that the positivity of the whole time-evolution in general does not ask for the complete positivity of the single system time-evolutions, if they are allowed to differ. However, they must be completely positive if one is a small perturbation of the other, which is the typical situation for open systems in a heat bath.
We study quantum processes, as one parameter families of differentiable completely positive and trace preserving (CPTP) maps. Using different representations of the generator, and the Sylvester criterion for positive semi-definite matrices, we obtain conditions for the divisibility of the process into completely positive (CP-divisibility) and positive (P-divisibility) infinitesimal maps. Both concepts are directly related to the definition of quantum non-Markovianity. For the single qubit case we show that CP- and P-divisibility only depend on the dissipation matrix in the master equation form…
In the present paper, quantum speed limit (QSL) time of a bipartite V-type three-level atomic system under the effect of two-qutrit entanglement is investigated. Each party interacts with own independent reservoir. By considering two local unitarily equivalent Wener states and the Horodecki PPT state, as initial states, the QSL time is evaluated for each of them in the respective entangled regions. It is counterintu-itively observe that the effect of entanglement on the QSL time driven from each of the initial Werner states are completely different when the degree of non-Markovianity is consid…
Positivity or the stronger notion of complete positivity, and contextuality are central properties of quantum dynamics. In this work, we demonstrate that a physical unitary-universe dilation model could be employed to characterize the completely positive map, regardless of the initial correlation condition. Particularly, the problem of initial correlation can be resolved by a swap operation. Furthermore, we discuss the physical essence of completely positive map and highlights its limitations. Then we develop the quantum measurement-chain formula beyond the framework of completely positive map…
When a composite Lindblad system consists of weakly coupled sub-systems with fast and slow timescales, the description of slow dynamics can be simplified by discarding fast degrees of freedom. This model reduction technique is called adiabatic elimination. While second-order perturbative expansion with respect to the timescale separation has revealed that the evolution of a reduced state is completely positive, this paper presents an example exhibiting complete positivity violation in the fourth-order expansion. Despite the non-uniqueness of slow dynamics parametrization, we prove that complet…
It is shown that if the decoherence matrix corresponding to a qubit master equation has a block-diagonal real part, then the evolution is determined by a one-dimensional oscillator equation. Further, when the full decoherence matrix is block-diagonal, then the necessary and sufficient conditions for completely positive evolution may be formulated in terms of the oscillator Hamiltonian or Lagrangian. When the solution of the oscillator equation is not known, an explicit sufficient condition for complete positivity can still be obtained, based on a Hamiltonian/Lagrangian inequality. A rotational…
The relevance that the property of complete positivity has had in the determination of quantum structures is briefly reviewed, together with recent applications to neutron optics and quantum Brownian motion. A possible useful application and generalization of this property to the description of macroscopic systems inside quantum mechanics is discussed on the basis of recent work on the derivation of subdynamics in Heisenberg picture of slowly varying degrees of freedom inside nonrelativistic quantum field theory.
The antidynamical Casimir effect (ADCE) is a term coined to designate the coherent annihilation of excitations due to resonant external perturbation of system parameters, allowing for extraction of quantum work from nonvacuum states of some field. Originally proposed for a two-level atom (qubit) coupled to a single cavity mode in the context of nonstationary quantum Rabi model, it suffered from very low transition rate and correspondingly narrow resonance linewidth. In this paper we show analytically and numerically that the ADCE rate can be increased by at least one order of magnitude by repl…
Since the initial discovery of quantum teleportation, it is devoted to transferring unknown quantum states from one party to another distant partner. However, in the scenarios of remote sensing, what people truly care about is the information carried by certain parameters. The problem of multiparameter estimation in the framework of qutrit teleportation under amplitude damping (AD) noise is studied. Particularly, two schemes are proposed to battle against AD noise and enhance the precision of multiparameter estimation by utilizing weak measurement (WM) and environment-assisted measurement (EAM…
We characterize the completely positive trace-preserving maps on qutrits (qutrit channels) according to their covariance and symmetry properties. Both discrete and continuous groups are considered. It is shown how each symmetry group restricts arbitrariness in the parameters of the channel to a very small set. Although the explicit examples are related to qutrit channels, the formalism is sufficiently general to be applied to qudit channels.
Complete positivity of quantum dynamics is often viewed as a litmus test for physicality, yet it is well known that correlated initial states need not give rise to completely positive evolutions. This observation spurred numerous investigations over the past two decades attempting to identify necessary and sufficient conditions for complete positivity. Here we describe a complete and consistent mathematical framework for the discussion and analysis of complete positivity for correlated initial states of open quantum systems. This formalism is built upon a few simple axioms and is sufficiently …
In some quantum algorithms, arithmetic operations are of utmost importance for resource estimation. In binary quantum systems, some efficient implementation of arithmetic operations like, addition/subtraction, multiplication/division, square root, exponential and arcsine etc. have been realized, where resources are reported as a number of Toffoli gates or T gates with ancilla. Recently it has been demonstrated that intermediate qutrits can be used in place of ancilla, allowing us to operate efficiently in the ancilla-free frontier zone. In this article, we have incorporated intermediate qutrit…
The reduced dynamics of an open quantum system $S$, interacting with its environment $E$, is not completely positive, in general. In this paper, we demonstrate that if the two following conditions are satisfied, simultaneously, then the reduced dynamics is completely positive: (1) the reduced dynamics of the system is linear, for arbitrary system-environment unitary evolution $U$; and (2) the reduced dynamics of the system is linear, for arbitrary initial state of the system $ρ_S$.
We present a general model of qubit dynamics which entails pure dephasing and dissipative time-local master equations. This allows us to describe the combined effect of thermalisation and dephasing beyond the usual Markovian approximation. We investigate the complete positivity conditions and introduce a heuristic model that is always physical and provides the correct Markovian limit. We study the effects of temperature on the non-Markovian behaviour of the system and show that the noise additivity property discussed by Yu and Eberly in Ref. [1] holds beyond the Markovian limit.
We construct $3\otimes 3$ PPT entangled edge states with maximal ranks, to complete the classification of $3\otimes 3$ PPT entangled edge states by their types. The ranks of the states and their partial transposes are 8 and 6, respectively. These examples also disprove claims in the literature.
A quantum channel will have a Choi representation from which the complete positivity (CP) can be determined in a number of different ways. Every method relies on Choi's proof which relates CP to the positive semi-definiteness of a specially constructed matrix (i.e. the "Choi representation of the channel"). It can be shown that different CP tests can be used in different situations to avoid the computationally expensive brute force method of calculating the full spectrum of the Choi representation, which is the traditional method for testing whether or not a channel is CP. It is important to h…
To avoid the computational burden of many-body quantum simulation, the interaction of an electron with a photon (phonon) is typically accounted for by disregarding the explicit simulation of the photon (phonon) degree of freedom and just modelling its effect on the electron dynamics. For quantum models developed from the (reduced) density matrix or its Wigner-Weyl transformation, the modelling of collisions may violate complete positivity (precluding the typical probabilistic interpretation). In this paper, we show that such quantum transport models can also strongly violate the energy conserv…
In relation with experiments on correlated kaons at phi-factories, it is shown that the request of complete positivity is necessary in any physically consistent description of neutral kaons as open quantum systems.
In this work we are interested the problem of testing quantum entanglement. More specifically, we study the separability problem in quantum property testing, where one is given $n$ copies of an unknown mixed quantum state $\varrho$ on $\mathbb{C}^d \otimes \mathbb{C}^d$, and one wants to test whether $\varrho$ is separable or $ε$-far from all separable states in trace distance. We prove that $n = Ω(d^2/ε^2)$ copies are necessary to test separability, assuming $ε$ is not too small, viz.\ $ε= Ω(1/\sqrt{d})$. We also study completely positive distributions on the grid $[d] \times [d]$, as a class…
We demonstrate the irreversibility of asymptotic entanglement manipulation under quantum operations that completely preserve the positivity of partial transpose (PPT), resolving a major open problem in quantum information theory. Our key tool is a new efficiently computable additive lower bound for the asymptotic relative entropy of entanglement with respect to PPT states, which can be used to evaluate the entanglement cost under local operations and classical communication (LOCC). We find that for any rank-two mixed state supporting on the $3\otimes3$ antisymmetric subspace, the amount of dis…
We specify the structure of completely positive operators and quantum Markov semigroup generators that are symmetric with respect to a family of inner products, also providing new information on the order strucure an extreme points in some previously studied cases.
The traditional scheme for realizing open-system quantum dynamics takes the initial state of the system-bath composite as a simple product. Currently, however, the issue of system-bath initial correlations possibly affecting the reduced dynamics of the system has been attracting considerable interest. The influential work of Shabani and Lidar [PRL {\bf 102}, 100402 (2009)] famously related this issue to quantum discord, a concept which has in recent years occupied the centre-stage of quantum information theory and has led to several fundamental results. They suggested that reduced dynamics is …
We introduce a classification scheme for the generators of bosonic open Gaussian dynamics, providing instructive diagrams description for each type of dynamics. Using this classification, we discuss the consequences of imposing complete positivity on Gaussian dynamics. In particular, we show that non-symplectic operations must be active to allow for complete positivity. In addition, non-symplectic operations can, in fact, conserve the volume of phase space only if the restriction of complete positivity is lifted. We then discuss the implications for the relationship between information and ene…