Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Basic Sciences Journal of Textile Universities

Separable operators and PPT operators on a finite dimensional tensor product space

Li Hua

Published Jan 1, 2014• 0 citations
OpenAlex

Abstract

Separable operators and PPT operators on a finite dimensional tensor product space are introduced.Then,general forms of separable self-adjoint operators,separable projective operators and separable positive operators are obtained.The relationship between separable operators and PPT operators are proved,and some examples which are PPT operators but not separable operators are given.Lastly,separable maps and PPT maps are introduced and discussed,and it is proved that every separable map maps a PPT operator as a PPT operator.

Related papers

Interaction of Multiple Tensor Product Operators of the Same Type: an Introduction

Howard A. Blair, H Shelton Jacinto, Paul M. Alsing

Tensor product operators on finite dimensional Hilbert spaces are studied. The focus is on bilinear tensor product operators. A tensor product operator on a pair of Hilbert spaces is a maximally general bilinear operator into a target Hilbert space. By 'maximally general' is meant every bilinear operator from the same pair of spaces to any Hilbert space factors into the composition of the tensor product operator with a uniquely determined linear mapping on the target space. There are multiple distinct tensor product operators of the same type; there is no "the" tensor product. Distinctly different tensor product operators can be associated with different parts of a multipartite system without difficulty. Separability of states, and locality of operators and observables is tensor product operator dependent. The same state in the target state space can be inseparable with respect to one tensor product operator but separable with respect to another, and no tensor product operator is distinguished relative to the others; the unitary operator used to construct a Bell state from a pair of |0>'s being highly tensor product operator-dependent is a prime example. The relationship between two tensor product operators of the same type is given by composition with a unitary operator. There is an equivalence between change of tensor product operator and change of basis in the target space. Among the gains from change of tensor product operator is the localization of some nonlocal operators as well as separability of inseparable states. Examples are given.

arXiv:2106.15576•Jun 29, 2021•0 citations

Separability and Entanglement-Breaking in Infinite Dimensions

Alexander Semenovich Holevo, Максим Евгеньевич Широков, Reinhard F. Werner

In this paper we give a general integral representation for separable states in the tensor product of infinite dimensional Hilbert spaces and provide the first example of separable states that are not countably decomposable. We also prove the structure theorem for the quantum communication channels that are entanglement-breaking, generalizing the finite-dimensional result of M. Horodecki, Ruskai and Shor. In the finite dimensional case such channels can be characterized as having the Kraus representation with operators of rank 1. The above example implies existence of infinite-dimensional entanglement-breaking channels having no such representation.

arXiv:quant-ph/0504204•Apr 27, 2005•28 citations

Separability for weakly irreducible matrices

Daniel Cariello

This paper is devoted to the study of the separability problem in the field of Quantum information theory. We focus on the bipartite finite dimensional case and on two types of matrices: SPC and PPT matrices (see definitions 32 and 33). We prove that many results hold for both types. If these matrices have specific Hermitian Schmidt decompositions then they are separable in a very strong sense (see theorem 38 and corollary 39). We prove that both types have what we call \textbf{split decompositions} (see theorems 41 and 42). We also define the notion of weakly irreducible matrix (see definition 43), based on the concept of irreducible state defined recently in \cite{chen1}, \cite{chen} and \cite{chen2}.}{These split decomposition theorems imply that every SPC $($PPT$)$ matrix can be decomposed into a sum of $s+1$ SPC $($PPT$)$ matrices of which the first $s$ are weakly irreducible, by theorem 48, and the last one has a further split decomposition of lower tensor rank, by corollary 49. Thus the SPC $($PPT$)$ matrix is decomposed in a finite number of steps into a sum of weakly irreducible matrices. Different components of this sum have support on orthogonal local Hilbert spaces, therefore the matrix is separable if and only if each component is separable. This reduces the separability problem for SPC $($PPT$)$ matrices to the case of weakly irreducible SPC $($PPT$)$ matrices. We also provide a complete description of weakly irreducible matrices of both types (see theorem 46).}{Using the fact that every positive semidefinite Hermitian matrix with tensor rank 2 is separable (see theorem 58), we found sharp inequalites providing separability for both types (see theorems 61 and 62).

Quantum Information and Computation•Nov 1, 2014•11 citations

On the notion of entanglement in Hilbert spaces

Александр Семенович Холево, Максим Евгеньевич Широков, Reinhard F. Werner

A density operator (state) on a tensor product H ⊗ K of Hilbert spaces is separable if it is in the convex closure of the subset of all tensor product states. Non-separable states are called entangled. These concepts are of great importance in quantum information theory, but they have been studied in depth only in the finite-dimensional context [1]. In this note we give a general integral representation for separable states and provide the first example of separable states that are not countably decomposable. We also prove a structure theorem for quantum communication channels that are entanglement-breaking, generalizing the finite-dimensional result of [2]. In the finite-dimensional case such channels can be characterized as having a Stinespring–Kraus representation (3) with operators Vj of rank 1. The above example implies the existence of infinite-dimensional entanglement-breaking channels having no such representation. In what follows, H, K ,... are separable Hilbert spaces, T(H) is the Banach space of trace-class operators and S(H) is the convex subset of all density operators on H. For brevity we shall also call them states, having in mind that a density operator ρ uniquely determines a normal state on the algebra B(H) of all bounded operators on H. Equipped with the trace-norm topology, S(H) is a complete separable metric space. If π is a Borel probability measure on S(H), then the Bochner integral

Russian Mathematical Surveys•Apr 30, 2005•47 citations

Semidefinite descriptions of separable matrix cones

Roland Hildebrand

Let K, K' be convex cones residing in finite-dimensional real vector spaces E, E'. An element in the tensor product E \otimes E' is K \otimes K'-separable if it can be represented as finite sum \sum_l x_l \otimes x'_l with x_l \in K and x_l' \in K' for all l. Let S(n), H(n), Q(n) be the spaces of n x n real symmetric, complex hermitian and quaternionic hermitian matrices, respectively. Let further S_+(n), H_+(n), Q_+(n) be the cones of positive semidefinite matrices in these spaces. If a matrix in H(mn) = H(m) \otimes H(n) is H_+(m) \otimes H_+(n)-separable, then it fulfills also the so-called PPT condition, i.e. it is positive semidefinite and has a positive semidefinite partial transpose. The same implication holds for matrices in the spaces S(m) \otimes S(n), H(m) \otimes S(n), and for m < 3 in the space Q(m) \otimes S(n). We provide a complete enumeration of all pairs (n,m) when the inverse implication is also true for each of the above spaces, i.e. the PPT condition is sufficient for separability. We also show that a matrix in Q(n) \otimes S(2) is Q_+(n) \otimes S_+(2)-separable if and only if it is positive semidefinite.

arXiv:math/0701571•Jan 20, 2007•1 citation

The canonical forms of matrix product states in infinite-dimensional Hilbert spaces

Niilo Heikkinen

Abstract In this work, we prove that any element in the tensor product of separable infinite-dimensional Hilbert spaces can be expressed as a matrix product state (MPS) of possibly infinite bond dimension. The proof is based on the singular value decomposition of compact operators and the connection between tensor products and Hilbert–Schmidt operators via the Schmidt decomposition in infinite-dimensional separable Hilbert spaces. The construction of infinite-dimensional MPS (idMPS) is analogous to the well-known finite-dimensional construction in terms of singular value decompositions of matrices. The infinite matrices in idMPS give rise to operators acting on (possibly infinite-dimensional) auxiliary Hilbert spaces. As an example we explicitly construct an MPS representation for certain eigenstates of a chain of three coupled harmonic oscillators.

arXiv:2502.12934•Journal of Physics A Mathematical and Theoretical•Jul 28, 2025•0 citations
Separable operators and PPT operators on a finite dimensional tensor product space are introduced.Then,general forms of separable self-adjoint operators,separable projective operators and separable positive operators are obtained.The relationship between separable operators and PPT operators are proved,and some examples which are PPT operators but not separable operators are given.Lastly,separable maps and PPT maps are introduced and discussed,and it is proved that every separable map maps a PPT operator as a PPT operator.
Tensor product operators on finite dimensional Hilbert spaces are studied. The focus is on bilinear tensor product operators. A tensor product operator on a pair of Hilbert spaces is a maximally general bilinear operator into a target Hilbert space. By 'maximally general' is meant every bilinear operator from the same pair of spaces to any Hilbert space factors into the composition of the tensor product operator with a uniquely determined linear mapping on the target space. There are multiple distinct tensor product operators of the same type; there is no "the" tensor product. Distinctly different tensor product operators can be associated with different parts of a multipartite system without difficulty. Separability of states, and locality of operators and observables is tensor product operator dependent. The same state in the target state space can be inseparable with respect to one tensor product operator but separable with respect to another, and no tensor product operator is distinguished relative to the others; the unitary operator used to construct a Bell state from a pair of |0>'s being highly tensor product operator-dependent is a prime example. The relationship between two tensor product operators of the same type is given by composition with a unitary operator. There is an equivalence between change of tensor product operator and change of basis in the target space. Among the gains from change of tensor product operator is the localization of some nonlocal operators as well as separability of inseparable states. Examples are given.
In this paper we give a general integral representation for separable states in the tensor product of infinite dimensional Hilbert spaces and provide the first example of separable states that are not countably decomposable. We also prove the structure theorem for the quantum communication channels that are entanglement-breaking, generalizing the finite-dimensional result of M. Horodecki, Ruskai and Shor. In the finite dimensional case such channels can be characterized as having the Kraus representation with operators of rank 1. The above example implies existence of infinite-dimensional entanglement-breaking channels having no such representation.
This paper is devoted to the study of the separability problem in the field of Quantum information theory. We focus on the bipartite finite dimensional case and on two types of matrices: SPC and PPT matrices (see definitions 32 and 33). We prove that many results hold for both types. If these matrices have specific Hermitian Schmidt decompositions then they are separable in a very strong sense (see theorem 38 and corollary 39). We prove that both types have what we call \textbf{split decompositions} (see theorems 41 and 42). We also define the notion of weakly irreducible matrix (see definition 43), based on the concept of irreducible state defined recently in \cite{chen1}, \cite{chen} and \cite{chen2}.}{These split decomposition theorems imply that every SPC (((PPT))) matrix can be decomposed into a sum of s+1s+1s+1 SPC (((PPT))) matrices of which the first sss are weakly irreducible, by theorem 48, and the last one has a further split decomposition of lower tensor rank, by corollary 49. Thus the SPC (((PPT))) matrix is decomposed in a finite number of steps into a sum of weakly irreducible matrices. Different components of this sum have support on orthogonal local Hilbert spaces, therefore the matrix is separable if and only if each component is separable. This reduces the separability problem for SPC (((PPT))) matrices to the case of weakly irreducible SPC (((PPT))) matrices. We also provide a complete description of weakly irreducible matrices of both types (see theorem 46).}{Using the fact that every positive semidefinite Hermitian matrix with tensor rank 2 is separable (see theorem 58), we found sharp inequalites providing separability for both types (see theorems 61 and 62).
A density operator (state) on a tensor product H ⊗ K of Hilbert spaces is separable if it is in the convex closure of the subset of all tensor product states. Non-separable states are called entangled. These concepts are of great importance in quantum information theory, but they have been studied in depth only in the finite-dimensional context [1]. In this note we give a general integral representation for separable states and provide the first example of separable states that are not countably decomposable. We also prove a structure theorem for quantum communication channels that are entanglement-breaking, generalizing the finite-dimensional result of [2]. In the finite-dimensional case such channels can be characterized as having a Stinespring–Kraus representation (3) with operators Vj of rank 1. The above example implies the existence of infinite-dimensional entanglement-breaking channels having no such representation. In what follows, H, K ,... are separable Hilbert spaces, T(H) is the Banach space of trace-class operators and S(H) is the convex subset of all density operators on H. For brevity we shall also call them states, having in mind that a density operator ρ uniquely determines a normal state on the algebra B(H) of all bounded operators on H. Equipped with the trace-norm topology, S(H) is a complete separable metric space. If π is a Borel probability measure on S(H), then the Bochner integral
Let K, K' be convex cones residing in finite-dimensional real vector spaces E, E'. An element in the tensor product E \otimes E' is K \otimes K'-separable if it can be represented as finite sum \sum_l x_l \otimes x'_l with x_l \in K and x_l' \in K' for all l. Let S(n), H(n), Q(n) be the spaces of n x n real symmetric, complex hermitian and quaternionic hermitian matrices, respectively. Let further S_+(n), H_+(n), Q_+(n) be the cones of positive semidefinite matrices in these spaces. If a matrix in H(mn) = H(m) \otimes H(n) is H_+(m) \otimes H_+(n)-separable, then it fulfills also the so-called PPT condition, i.e. it is positive semidefinite and has a positive semidefinite partial transpose. The same implication holds for matrices in the spaces S(m) \otimes S(n), H(m) \otimes S(n), and for m < 3 in the space Q(m) \otimes S(n). We provide a complete enumeration of all pairs (n,m) when the inverse implication is also true for each of the above spaces, i.e. the PPT condition is sufficient for separability. We also show that a matrix in Q(n) \otimes S(2) is Q_+(n) \otimes S_+(2)-separable if and only if it is positive semidefinite.
Abstract In this work, we prove that any element in the tensor product of separable infinite-dimensional Hilbert spaces can be expressed as a matrix product state (MPS) of possibly infinite bond dimension. The proof is based on the singular value decomposition of compact operators and the connection between tensor products and Hilbert–Schmidt operators via the Schmidt decomposition in infinite-dimensional separable Hilbert spaces. The construction of infinite-dimensional MPS (idMPS) is analogous to the well-known finite-dimensional construction in terms of singular value decompositions of matrices. The infinite matrices in idMPS give rise to operators acting on (possibly infinite-dimensional) auxiliary Hilbert spaces. As an example we explicitly construct an MPS representation for certain eigenstates of a chain of three coupled harmonic oscillators.