Positive maps and entanglement in real Hilbert spaces
- URL: http://arxiv.org/abs/2207.02510v2
- Date: Sun, 14 May 2023 20:26:22 GMT
- Title: Positive maps and entanglement in real Hilbert spaces
- Authors: Giulio Chiribella, Kenneth R. Davidson, Vern I. Paulsen and Mizanur
Rahaman
- Abstract summary: We study positive maps acting on a full matrix algebra over the reals.
We provide a necessary and sufficient condition for a real map to admit a positive complexification.
We show that the original PPT-squared conjecture implies a different conjecture for real maps.
- Score: 5.926203312586108
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The theory of positive maps plays a central role in operator algebras and
functional analysis, and has countless applications in quantum information
science. The theory was originally developed for operators acting on complex
Hilbert spaces, and little is known about its variant on real Hilbert spaces.
In this article we study positive maps acting on a full matrix algebra over the
reals, pointing out a number of fundamental differences with the complex case
and discussing their implications in quantum information.
We provide a necessary and sufficient condition for a real map to admit a
positive complexification, and connect the existence of positive maps with
non-positive complexification with the existence of mixed states that are
entangled in real Hilbert space quantum mechanics, but separable in the complex
version, providing explicit examples both for the maps and for the states.
Finally, we discuss entanglement breaking and PPT maps, and we show that a
straightforward real version of the PPT-squared conjecture is false even in
dimension 2. Nevertheless, we show that the original PPT-squared conjecture
implies a different conjecture for real maps, in which the PPT property is
replaced by a stronger property of invariance under partial transposition
(IPT). When the IPT property is assumed, we prove an asymptotic version of the
conjecture.
Related papers
- Strict area law entanglement versus chirality [15.809015657546915]
Chirality is a gapped phase of matter in two spatial dimensions that can be manifested through non-zero thermal or electrical Hall conductance.
We prove two no-go theorems that forbid such chirality for a quantum state in a finite dimensional local Hilbert space with strict area law entanglement entropies.
arXiv Detail & Related papers (2024-08-19T18:00:01Z) - Infinite dimensional dynamical maps [0.0]
We study whether a given system of dynamical maps is Markovian or non-Markovian.
We construct several examples where the underlying Hilbert space may not be of finite dimensional.
arXiv Detail & Related papers (2024-06-27T13:52:50Z) - Beyond trace class -- Tensor products of Hilbert spaces and operator ideals in quantum physics [0.0]
Banach operator ideals are lurking in the foundations and philosophy of quantum physics and quantum information theory.
We establish a canonical isomorphism between the Hilbert spaces $Hotimes (K otimes L)$ and $(H otimes K) otimes L$ (Theorem 3.8) and revisit the role of trace class operators.
A few applications are specified, including the appropriateness of the class of Hilbert-Schmidt operators and an implied Banach operator ideal representation of the tensor product of two complex spaces $H otimes K$ (Proposition 3.4) and
arXiv Detail & Related papers (2023-08-08T23:37:02Z) - Connecting classical finite exchangeability to quantum theory [69.62715388742298]
Exchangeability is a fundamental concept in probability theory and statistics.
We show how a de Finetti-like representation theorem for finitely exchangeable sequences requires a mathematical representation which is formally equivalent to quantum theory.
arXiv Detail & Related papers (2023-06-06T17:15:19Z) - Annihilating Entanglement Between Cones [77.34726150561087]
We show that Lorentz cones are the only cones with a symmetric base for which a certain stronger version of the resilience property is satisfied.
Our proof exploits the symmetries of the Lorentz cones and applies two constructions resembling protocols for entanglement distillation.
arXiv Detail & Related papers (2021-10-22T15:02:39Z) - Dimension-free entanglement detection in multipartite Werner states [1.5771347525430772]
Werner states are multipartite quantum states that are invariant under the diagonal conjugate action of the unitary group.
This paper gives a complete characterization of their entanglement that is independent of the underlying local space.
For every entangled Werner state there exists a dimension-free entanglement witness.
arXiv Detail & Related papers (2021-08-19T14:41:09Z) - Hilbert Spaces of Entire Functions and Toeplitz Quantization of
Euclidean Planes [0.0]
We extend the theory of Toeplitz quantization to include diverse and interesting non-commutative realizations of the classical Euclidean plane.
The Toeplitz operators are geometrically constructed as special elements from this algebra.
Various illustrative examples are computed.
arXiv Detail & Related papers (2021-05-18T09:52:48Z) - Functional optimal transport: map estimation and domain adaptation for
functional data [35.60475201744369]
We introduce a formulation of optimal transport problem for distributions on function spaces.
For numerous machine learning tasks, data can be naturally viewed as samples drawn from spaces of functions.
We develop an efficient algorithm for finding the transport map between functional domains.
arXiv Detail & Related papers (2021-02-07T19:29:28Z) - Entanglement and Complexity of Purification in (1+1)-dimensional free
Conformal Field Theories [55.53519491066413]
We find pure states in an enlarged Hilbert space that encode the mixed state of a quantum field theory as a partial trace.
We analyze these quantities for two intervals in the vacuum of free bosonic and Ising conformal field theories.
arXiv Detail & Related papers (2020-09-24T18:00:13Z) - A refinement of Reznick's Positivstellensatz with applications to
quantum information theory [72.8349503901712]
In Hilbert's 17th problem Artin showed that any positive definite in several variables can be written as the quotient of two sums of squares.
Reznick showed that the denominator in Artin's result can always be chosen as an $N$-th power of the squared norm of the variables.
arXiv Detail & Related papers (2019-09-04T11:46:26Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.