We give a complete characterization for pure quantum measurements, i.e., for POVMs which are extremals in the convex set of all POVMs. Such measurements are free from classical noise. The characterization is valid both in discrete and continuous cases, and also in the case of an infinite Hilbert space. We show that sharp measurements are clean, i.e. they cannot be irreversibly connected to another POVMs via quantum channels and thus they are free from any additional quantum noise. We exhibit an example which demonstrates that this result could also be approximately true for pure measurements.
As a toy model for the capacity problem in quantum information theory we investigate finite and asymptotic regularizations of the maximum pure-state input-output fidelity $F(\cal N$) of a general quantum channel $\cal N$. We show that the asymptotic regularization $\tilde F(\cal N$) is lower bounded by the maximum output $\infty$-norm $ν_\infty(\cal N)$ of the channel. For $\cal N$ being a Pauli channel we find that both quantities are equal.
We consider a family of quantum channels characterized by the fact that certain (in general nonorthogonal) Pure states at the channel entrance are mapped to (tensor) Products of Pure states (PPP, hence "pcubed") at the complementary outputs (the main output and the "environment") of the channel. The pcubed construction, a reformulation of the twisted-diagonal procedure by M. M Wolf and D. Perez-Garcia, [Phys. Rev. A 75, 012303 (2007)], can be used to produce a large class of degradable quantum channels; degradable channels are of interest because their quantum capacities are easy to calculate.…
We first derive for the general form of the fidelity for various bosonic channels. Thereby we give the fidelity of different quantum bosonic channel, possibly with product input and entangled input respectively, as examples. The properties of the fidelity are carefully examined.
We show that a quantum channel $\mathcal{N}$ constructed by averaging over $\mathcal{O}(\log d/ε^2)$ randomly chosen unitaries gives a local $ε$-randomizing map with non-negative probability. The idea comes from a small $ε$-net construction on the higher dimensional unit sphere or quantum pure states. By exploiting the net, we analyze the concentrative phenomenon of an output reduced density matrix of the channel, and this analysis imply that there exists a local random unitary channel, with relatively small unitaries, generically.
A generic quantum channel can be represented in terms of a unitary interaction between the information-carrying system and a noisy environment. Here, the minimal number of quantum Gaussian environmental modes required to provide a unitary dilation of a multi-mode bosonic Gaussian channel is analyzed both for mixed and pure environment corresponding to the Stinespring representation. In particular, for the case of pure environment we compute this quantity and present an explicit unitary dilation for arbitrary bosonic Gaussian channel. These results considerably simplify the characterization of …
In our work we consider the following problem in the context of teleportation: an unknown pure state have to be teleported and there are two laboratories which can perform the task. One laboratory uses a pure non maximally entangled channel but has a capability of performing the joint measurement on bases with a constrained degree of entanglement; the other lab makes use of a mixed X-state channel but can perform a joint measurement on bases with higher entanglement degrees. We compare the average teleportation fidelity achieved in both cases, finding that the fidelity achieved with the X-stat…
A pure-loss bosonic channel is a simple model for communication over free-space or fiber-optic links. More generally, phase-insensitive bosonic channels model other kinds of noise, such as thermalizing or amplifying processes. Recent work has established the classical capacity of all of these channels, and furthermore, it is now known that a strong converse theorem holds for the classical capacity of these channels under a particular photon number constraint. The goal of the present paper is to initiate the study of second-order coding rates for these channels, by beginning with the simplest o…
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…
We investigate the possibility of dividing quantum channels into concatenations of other channels, thereby studying the semigroup structure of the set of completely-positive trace-preserving maps. We show the existence of 'indivisible' channels which can not be written as non-trivial products of other channels and study the set of 'infinitesimal divisible' channels which are elements of continuous completely positive evolutions. For qubit channels we obtain a complete characterization of the sets of indivisible and infinitesimal divisible channels. Moreover, we identify those channels which ar…
We report on a quantum optical experimental implementation of teleportation of unknown pure quantum states. This realizes all the nonlocal aspects of the original scheme proposed by Bennett et al. and is equivalent to it up to a local operation. We exhibit results for the teleportation of a linearly polarized state and of an elliptically polarized state. We show that the experimental results cannot be explained in terms of a classical channel alone.
We consider quantum key distribution (QKD) and entanglement distribution using a single-sender multiple-receiver pure-loss bosonic broadcast channel. We determine the unconstrained capacity region for the distillation of bipartite entanglement and secret key between the sender and each receiver, whenever they are allowed arbitrary public classical communication. A practical implication of our result is that the capacity region demonstrated drastically improves upon rates achievable using a naive time-sharing strategy, which has been employed in previously demonstrated network QKD systems. We s…
We present a quantum secure direct communication protocol where the channels are not maximally entangled states. The communication parties utilize decoy photons to check eavesdropping. After ensuring the security of the quantum channel, the sender encodes the secret message and transmits it to the receiver by using Controlled-NOT operation and von Neumann measurement. The protocol is simple and realizable with present technology. We also show the protocol is secure for noisy quantum channel.
The article introduces efficient quantum state tomography schemes for qutrits and entangled qubits subject to pure decoherence. We implement the dynamic state reconstruction method for open systems sent through phase-damping channels which was proposed in: Open Syst. Inf. Dyn. 23, 1650019 (2016). In the current article we prove that two distinct observables measured at four different time instants suffice to reconstruct the initial density matrix of a qutrit with evolution given by a phase-damping channel. Furthermore, we generalize the approach in order to determine the optimal criteria for q…
We present a general scheme for multiparty-controlled teleportation of an arbitrary m-qudit ($d$-dimensional quantum system) state by using non-maximally entangled states as the quantum channel. The sender performs m generalized Bell-state measurements on her 2$m$ particles, the controllers take some single-particle measurements with the measuring basis $X_{d}$ and the receiver only need to introduce one auxiliary two-level particle to extract quantum information probabilistically with the fidelity unit if he cooperates with all the controllers. All the parties can use some decoy photons to se…
Scuola Normale Superiore（比萨高等师范学院）；NEST-CNR（国家研究委员会纳米科学与技术创新研究所）；Inria（法国国家数字科学研究所）；Institut Polytechnique de Paris（巴黎理工学院）；Università di Bologna（博洛尼亚大学）
We consider measurements, described by a positive-operator-valued measure (POVM), whose outcome probabilities determine an arbitrary pure state of a D-dimensional quantum system. We call such a measurement a pure-state informationally complete (PSI-complete) POVM. We show that a measurement with 2D-1 outcomes cannot be PSI-complete, and then we construct a POVM with 2D outcomes that suffices, thus showing that a minimal PSI-complete POVM has 2D outcomes. We also consider PSI-complete POVMs that have only rank-one POVM elements and construct an example with 3D-2 outcomes, which is a generalizat…
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…
Complementarity relations for wave-particle duality are saturated only for pure, single-quanton, quantum states. For a completely incoherent state, it is known that wave and particle quantifiers can reach zero, and hence no information about the wave and particle aspects of the system can be obtained. This means that the information is being shared with another systems, and quantum correlations can be seen as responsible for the loss of purity of the quanton, provided that the quanton is part of a multipartite pure quantum system. In this paper, by exploring the purity of bi- and tri-partite p…
Introducing contravariant trace-densities for quantum states, we restore one to one correspondence between quantum operations described by normal CP maps and their trace densities as Hermitian positive operator-valued contravariant kernels. The CB-norm distance between two quantum operations with type one input algebras is explicitly expressed in terms of these densities, and this formula is also extended to a generalized CB-distances between quantum operations with type two inputs. A larger C-distance is given as the natural norm-distance for the channel densities, and another, Helinger type …
Complete solutions are given in a closed analytic form for unambiguous discrimination of three general pure states with real mutual inner products. For this purpose, we first establish some general results on unambiguous discrimination of n linearly independent pure states. The uniqueness of solution is proved. The condition under which the problem is reduced to an (n-1)-state problem is clarified. After giving the solution for three pure states with real mutual inner products, we examine some difficulties in extending our method to the case of complex inner products. There is a class of set o…
We study the effect of pure dephasing on the entanglement of a pair of two-level subsystems (qubits). We show that partial dephasing induced by a super-Ohmic reservoir, corresponding to well-established properties of confined charge states and phonons in semiconductors, may lead to complete disentanglement. We show also that the disentanglement effect increases with growing distance between the two subsystems.
The method of complementary channel for analysis of reversibility (sufficiency) of a quantum channel with respect to families of input states (pure states for the most part) are considered and applied to Bosonic linear (quasi-free) channels, in particular, to Bosonic Gaussian channels. The obtained reversibility conditions for Bosonic linear channels have clear physical interpretation and their sufficiency is also shown by explicit construction of reversing channels. The method of complementary channel gives possibility to prove necessity of these conditions and to describe all reversed famili…
We give a new geometric interpretation of quantum pure states. Using Voronoi diagrams, we reinterpret the structure of the space of pure states as a subspace of the quantum state space. In addition to the known coincidence of some Voronoi diagrams for one-qubit pure states, we will show that even for mixed one-qubit states, as far as sites are given as pure states, the Voronoi diagram with respect to some distances -- the divergence, the Bures distance, and the Euclidean distance -- are all the same. As to higher level pure quantum states, for the divergence, the Fubini-Study distance, and the…
We introduce a new kind of quantum measurement that is defined to be symmetric in the sense of uniform Fisher information across a set of parameters that injectively represent pure quantum states in the neighborhood of a fiducial pure state. The measurement is locally informationally complete---i.e., it uniquely determines these parameters, as opposed to distinguishing two arbitrary quantum states---and it is maximal in the sense of a multi-parameter quantum Cramer-Rao bound. For a $d$-dimensional quantum system, requiring only local informational completeness allows us to reduce the number of…
In this paper we study diagonal quantum channels and their structure by proving some results and giving most applicable instances of them. Firstly, it is shown that action of every diagonal quantum channel on pure state from computational basis is a convex combination of pure states determined by some transition probabilities. Finally, by using the Cholesky decomposition it is presented an algorithmic method to find an explicit form for Kraus operators of diagonal quantum channels.
Quantification of entanglement against mixing is given for a system of coupled qubits under a phase damping channel. A family of pure initial joint states is defined, ranging from pure separable states to maximally entangled state. An ordering of entanglement measures is given for well defined initial state amount of entanglement.
Recently, Agrawal and Pati [Phys. Rev. A 74, 062320 (2006)] have given a class of W-states that can be used for perfect teleportation. Here, two canonical forms of perfect quantum channel are presented by transformation operator and the GHZ state and the W state are special case of those two canonical forms of perfect quantum channel. Furthermore, the orthogonal complete measurement bases are given.
It is proved that every doubly stochastic quantum channel that is properly averaged with the completely depolarizing channel can be written as a convex combination of unitary channels. As a consequence, we find that the collection of channels expressible as convex combinations of unitary channels has non-zero Borel measure within the space of doubly stochastic channels.
In the present paper we study quasi quantum quadratic operators (q.q.o) acting on the algebra of $2\times 2$ matrices $M_2(C)$. It is known that a channel is called pure if it sends pure states to pure ones. In this papers, we introduce a weaker condition, called $q$-purity, than purity of the channel. To study $q$-pure channels, we concentrate ourselves to quasi q.q.o. acting on $M_2(C)$. We describe all trace-preserving quasi q.q.o. on $M_2(C)$, which allowed us to prove that if a trace-preserving symmetric quasi q.q.o. such that the corresponding quadratic operator is linear, then its $q$-p…
We consider the image of some classes of bipartite quantum states under a tensor product of random quantum channels. Depending on natural assumptions that we make on the states, the eigenvalues of their outputs have new properties which we describe. Our motivation is provided by the additivity questions in quantum information theory, and we build on the idea that a Bell state sent through a product of conjugated random channels has at least one large eigenvalue. We generalize this setting in two directions. First, we investigate general entangled pure inputs and show that that Bell states give…
Optimal physical approximations of pure-state cloning and transposition are complementary channels
Sorbonne Université, CNRS, LIP6（索邦大学，法国国家科学研究中心，LIP6）；QuSoft；Institute for Logic, Language and Computation, and Korteweg-de Vries Institute for Mathematics, University of Amsterdam（阿姆斯特丹大学逻辑语言计算研究所与科特维格-德弗里斯数学研究所）；International Centre for Theory of Quantum Technologies, University of Gdańsk（格但斯克大学量子技术理论国际中心）
Bosonic channels are important in practice as they form a simple model for free-space or fiber-optic communication. Here we consider a single-sender two-receiver pure-loss bosonic broadcast channel and determine the unconstrained capacity region for the distillation of bipartite entanglement and secret key between the sender and each receiver, whenever they are allowed arbitrary public classical communication. We show how the state merging protocol leads to achievable rates in this setting, giving an inner bound on the capacity region. We also evaluate an outer bound on the region by using the…
The accuracy of any physical scheme used to estimate the parameter describing the strength of a single qubit Pauli channel can be quantified using standard techniques from quantum estimation theory. It is known that the optimal estimation scheme, with m channel invocations, uses initial states for the systems which are pure and unentangled and provides an uncertainty of O[1/m^(1/2)]. This protocol is analogous to a classical repetition and averaging scheme. We consider estimation schemes where the initial states available are not pure and compare a protocol involving quantum correlated states …
A noisy Gaussian channel is defined as a channel in which an input field mode is subjected to random Gaussian displacements in phase space. We introduce the quantum fidelity of a Gaussian channel for pure and mixed input states, and we derive a universal scaling law of the fidelity for pure initial states. We also find the maximum fidelity of a Gaussian channel over all input states. Quantum cloning and continuous-variable teleportation are presented as physical examples of Gaussian channels to which the fidelity results can be applied.
This paper strengthens the interpretation and understanding of the classical capacity of the pure-loss bosonic channel, first established in [Giovannetti et al., Physical Review Letters 92, 027902 (2004), arXiv:quant-ph/0308012]. In particular, we first prove that there exists a trade-off between communication rate and error probability if one imposes only a mean-photon number constraint on the channel inputs. That is, if we demand that the mean number of photons at the channel input cannot be any larger than some positive number N_S, then it is possible to respect this constraint with a code …
Recently, we gave a complete axiomatisation of the ZX-calculus for the overall pure qubit quantum mechanics. Based on this result, here we also obtain a complete axiomatisation of the ZX-calculus for the Clifford+T quantum mechanics by restricting the ring of complex numbers to its subring corresponding to the Clifford+T fragment resting on the completeness theorem of the ZW-calculus for arbitrary commutative ring. In contrast to the first complete axiomatisation of the ZX-calculus for the Clifford+T fragment, we have two new generators as features rather than novelties: the triangle can be em…
Zurek's derivation of the Born rule from envariance (environment-assisted invariance) is tightened up, somewhat generalized, and extended to encompass all possibilities. By this, besides Zurek's most important work, also the works of 5 other commentators of the derivation are taken into account, and selected excerpts commented upon. All this is done after a detailed theory of twin unitaries, which are the other face of envariance.
I construct a POVM which has 2d rank-one elements and which is informationally complete for generic pure states in d dimensions, thus confirming a conjecture made by Flammia, Silberfarb, and Caves (quant-ph/0404137). I show that if a rank-one POVM is required to be informationally complete for all pure states in d dimensions, it must have at least 3d-2 elements. I also show that, in a POVM which is informationally complete for all pure states in d dimensions, for any vector there must be at least 2d-1 POVM elements which do not annihilate that vector.
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.
We show that a local channel cannot create quantum discord (QD) for zero QD states of size $d\geq3$ if and only if either it is a completely decohering channel or it is a nontrivial isotropic channel. For the qubit case this propertiy is additionally characteristic to the completely decohering channel or the commutativity-preserving unital channel. In particular, the exact forms of the completely decohering channel and the commutativity-preserving unital qubit channel are proposed. Consequently, our results confirm and improve the conjecture proposed by X. Hu et al. for the case of $d\geq3$ an…
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previously-developed denotational semantics of QML. The completeness proof also gives rise to a normalisation algorithm following the normalisation by evaluation approach. The current work focuses on the pure fragment of QML omitting measurements.
It is known that maximally entangled Bell state and three-qubit W-type states are very useful in various quantum information processing task. Thus the problem of preparation of these type of states is very important in quantum information theory. But the factor which prohibit the generation of the above mentioned pure states shared between two and three distant partners is decoherence. When we send one qubit, from a two qubit state, through decoherence channel like amplitude damping channel, the purity of the qubit is lost and it ends up with a mixed state. Therefore it is very difficult to ke…
In all lossy communication channels realized to date, information is inevitably leaked to a potential eavesdropper. Here we present a communication protocol that does not allow for any information leakage to a potential eavesdropper in a purely lossy channel. By encoding information into a restricted Gaussian alphabet of squeezed states we show, both theoretically and experimentally, that the Holevo information between the eavesdropper and the intended recipient can be exactly zero in a purely lossy channel while minimized in a noisy channel. This result is of fundamental interest, but might a…
We consider a scenario where a party, say, Alice prepares a pure two-qubit (either maximally entangled or non-maximally entangled) state and sends one half of this state to another distant party, say, Bob through a qubit (either unital or non-unital) channel. Finally, the shared state is used as a teleportation channel. In this scenario, we focus on characterizing the set of qubit channels with respect to the final state's efficacy as a resource of quantum teleportation (QT) in terms of maximal average fidelity and fidelity deviation (fluctuation in fidelity values over the input states). Impo…
We introduce a novel property of bipartite quantum states, which we call "faithfulness", and we say that a state is faithful when acting with a channel on one of the two quantum systems, the output state carries a complete information about the channel. The concept of faithfulness can also be extended to sets of states, when the output states patched together carry a complete imprinting of the channel.
The ZX-calculus is a graphical calculus for reasoning about quantum systems and processes. It is known to be universal for pure state qubit quantum mechanics, meaning any pure state, unitary operation and post-selected pure projective measurement can be expressed in the ZX-calculus. The calculus is also sound, i.e. any equality that can be derived graphically can also be derived using matrix mechanics. Here, we show that the ZX-calculus is complete for pure qubit stabilizer quantum mechanics, meaning any equality that can be derived using matrices can also be derived pictorially. The proof rel…
Recent developments in the ZX-Calculus have resulted in complete axiomatisations first for an approximately universal restriction of the language, and then for the whole language. The main drawbacks were that the axioms that were added to achieve completeness were numerous, tedious to manipulate and lacked a physical interpretation. We present in this paper two complete axiomatisations for the general ZX-Calculus, that we believe are optimal, in that all their equations are necessary and moreover have a nice physical interpretation.
