Reduction Criterion
   HOME





Reduction Criterion
In quantum information theory, the reduction criterion is a necessary condition a mixed state must satisfy in order for it to be separable. In other words, the reduction criterion is a ''separability criterion''. It was first proved and independently formulated in 1999. Violation of the reduction criterion is closely related to the distillability of the state in question. Details Let ''H''1 and ''H''2 be Hilbert spaces of finite dimensions ''n'' and ''m'' respectively. ''L''(''Hi'') will denote the space of linear operators acting on ''Hi''. Consider a bipartite quantum system whose state space is the tensor product : H = H_1 \otimes H_2. An (un-normalized) mixed state ''ρ'' is a positive linear operator (density matrix) acting on ''H''. A linear map Φ: ''L''(''H''2) → ''L''(''H''1) is said to be positive if it preserves the cone of positive elements, i.e. ''A'' is positive implied ''Φ''(''A'') is also. From the one-to-one correspondence between positive maps and entangl ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Quantum Information Theory
Quantum information is the information of the state of a quantum system. It is the basic entity of study in quantum information theory, and can be manipulated using quantum information processing techniques. Quantum information refers to both the technical definition in terms of Von Neumann entropy and the general computational term. It is an interdisciplinary field that involves quantum mechanics, computer science, information theory, philosophy and cryptography among other fields. Its study is also relevant to disciplines such as cognitive science, psychology and neuroscience. Its main focus is in extracting information from matter at the microscopic scale. Observation in science is one of the most important ways of acquiring information and measurement is required in order to quantify the observation, making this crucial to the scientific method. In quantum mechanics, due to the uncertainty principle, non-commuting observables cannot be precisely measured simultaneously, as ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mixed State (physics)
In quantum physics, a quantum state is a mathematical entity that embodies the knowledge of a quantum system. Quantum mechanics specifies the construction, evolution, and measurement of a quantum state. The result is a prediction for the system represented by the state. Knowledge of the quantum state, and the rules for the system's evolution in time, exhausts all that can be known about a quantum system. Quantum states may be defined differently for different kinds of systems or problems. Two broad categories are * wave functions describing quantum systems using position or momentum variables and * the more abstract vector quantum states. Historical, educational, and application-focused problems typically feature wave functions; modern professional physics uses the abstract vector states. In both categories, quantum states divide into pure versus mixed states, or into coherent states and incoherent states. Categories with special properties include stationary states for time in ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Separable State
In quantum mechanics, separable states are multipartite quantum states that can be written as a convex combination of product states. Product states are multipartite quantum states that can be written as a tensor product of states in each space. The physical intuition behind these definitions is that product states have no correlation between the different degrees of freedom, while separable states might have correlations, but all such correlations can be explained as due to a classical random variable, as opposed to being due to entanglement. In the special case of pure states the definition simplifies: a pure state is separable if and only if it is a product state. A state is said to be entangled if it is not separable. In general, determining if a state is separable is not straightforward and the problem is classed as NP-hard. Separability of bipartite systems Consider first composite states with two degrees of freedom, referred to as ''bipartite states''. By a postulate ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Entanglement Distillation
Entanglement distillation (also called entanglement purification) is the transformation of ''N'' copies of an arbitrary Quantum entanglement, entangled state \rho into some number of approximately pure Bell pairs, using only LOCC, local operations and classical communication. Entanglement distillation can overcome the degenerative influence of noisy quantum channels by transforming previously shared, less-entangled pairs into a smaller number of Maximally entangled state, maximally-entangled pairs. History The limits for entanglement dilution and distillation are due to Charles H. Bennett (computer scientist), C. H. Bennett, H. Bernstein, Sandu Popescu, S. Popescu, and Benjamin Schumacher, B. Schumacher, who presented the first distillation protocols for pure states in 1996; entanglement distillation protocols for Mixed state (physics), mixed states were introduced by Bennett, Gilles Brassard, Popescu, Schumacher, John A. Smolin and William Wootters the same year. Bennett, David D ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Entanglement Witness
In quantum information theory, an entanglement witness is a functional which distinguishes a specific entangled state from separable ones. Entanglement witnesses can be linear or nonlinear functionals of the density matrix. If linear, then they can also be viewed as observables for which the expectation value of the entangled state is strictly outside the range of possible expectation values of any separable state. Details Let a composite quantum system have state space H_A \otimes H_B. A mixed state ''ρ'' is then a trace-class positive operator on the state space which has trace 1. We can view the family of states as a subset of the real Banach space generated by the Hermitian trace-class operators, with the trace norm. A mixed state ''ρ'' is separable if it can be approximated, in the trace norm, by states of the form :\xi = \sum_ ^k p_i \, \rho_i^A \otimes \rho_i^B, where \rho_i^A and \rho_i^B are pure states on the subsystems ''A'' and ''B'' respectively. So th ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Completely Positive Map
In mathematics a positive map is a map between C*-algebras that sends positive elements to positive elements. A completely positive map is one that satisfies a stronger, more robust condition. Definition Let A and B be C*-algebras. A linear map \phi: A\to B is called a positive map if \phi maps positive elements to positive elements: a\geq 0 \implies \phi(a)\geq 0. Any linear map \phi:A\to B induces another map :\textrm \otimes \phi : \mathbb^ \otimes A \to \mathbb^ \otimes B in a natural way. If \mathbb^\otimes A is identified with the C*-algebra A^ of k\times k-matrices with entries in A, then \textrm\otimes\phi acts as : \begin a_ & \cdots & a_ \\ \vdots & \ddots & \vdots \\ a_ & \cdots & a_ \end \mapsto \begin \phi(a_) & \cdots & \phi(a_) \\ \vdots & \ddots & \vdots \\ \phi(a_) & \cdots & \phi(a_) \end. We then say \phi is k-positive if \textrm_ \otimes \phi is a positive map and completely positive if \phi is k-positive for all k. Properties * Positive maps are mo ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Partial Trace
In linear algebra and functional analysis, the partial trace is a generalization of the trace (linear algebra), trace. Whereas the trace is a scalar (mathematics), scalar-valued function on operators, the partial trace is an operator (mathematics), operator-valued function. The partial trace has applications in quantum information and decoherence which is relevant for quantum measurement and thereby to the decoherent approaches to interpretations of quantum mechanics, including consistent histories and the relative state interpretation. Details Suppose V, W are finite-dimensional vector spaces over a field (mathematics), field, with dimensions m and n, respectively. For any space , let L(A) denote the space of linear operators on A. The partial trace over W is then written as , where \otimes denotes the Kronecker product. It is defined as follows: For , let , and , be bases for ''V'' and ''W'' respectively; then ''T'' has a matrix representation : \ \quad 1 \leq k, i \leq ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Fréchet Inequalities
In probabilistic logic, the Fréchet inequalities, also known as the Boole–Fréchet inequalities, are rules implicit in the work of George BooleBoole, G. (1854). ''An Investigation of the Laws of Thought, On Which Are Founded the Mathematical Theories of Logic and Probability.'' Walton and Maberly, London. See Boole's "major" and "minor" limits of a conjunction on page 299.Hailperin, T. (1986). ''Boole's Logic and Probability''. North-Holland, Amsterdam. and explicitly derived by Maurice FréchetFréchet, M. (1935). Généralisations du théorème des probabilités totales. ''Fundamenta Mathematicae'' 25: 379–387.Fréchet, M. (1951). Sur les tableaux de corrélation dont les marges sont données. ''Annales de l'Université de Lyon. Section A: Sciences mathématiques et astronomie'' 9: 53–77. that govern the combination of probabilities about logical propositions or events logically linked together in conjunctions ( AND operations) or disjunctions ( OR operations) as in Boolea ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Separable State
In quantum mechanics, separable states are multipartite quantum states that can be written as a convex combination of product states. Product states are multipartite quantum states that can be written as a tensor product of states in each space. The physical intuition behind these definitions is that product states have no correlation between the different degrees of freedom, while separable states might have correlations, but all such correlations can be explained as due to a classical random variable, as opposed to being due to entanglement. In the special case of pure states the definition simplifies: a pure state is separable if and only if it is a product state. A state is said to be entangled if it is not separable. In general, determining if a state is separable is not straightforward and the problem is classed as NP-hard. Separability of bipartite systems Consider first composite states with two degrees of freedom, referred to as ''bipartite states''. By a postulate ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Entangled State
Quantum entanglement is the phenomenon where the quantum state of each particle in a group cannot be described independently of the state of the others, even when the particles are separated by a large distance. The topic of quantum entanglement is at the heart of the disparity between classical physics and quantum physics: entanglement is a primary feature of quantum mechanics not present in classical mechanics. Measurements of physical properties such as position, momentum, spin, and polarization performed on entangled particles can, in some cases, be found to be perfectly correlated. For example, if a pair of entangled particles is generated such that their total spin is known to be zero, and one particle is found to have clockwise spin on a first axis, then the spin of the other particle, measured on the same axis, is found to be anticlockwise. However, this behavior gives rise to seemingly paradoxical effects: any measurement of a particle's properties results in an appar ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]