Showing 1–2 of 2 results for author: Pietrzkowski, G

On the tensor convolution and the quantum separability problem

Authors: Gabriel Pietrzkowski

Abstract: We consider the problem of separability: decide whether a Hermitian operator on a finite dimensional Hilbert tensor product is separable or entangled. We show that the tensor convolution defined for certain mappings on an almost arbitrary locally compact abelian group, give rise to formulation of an equivalent problem to the separability one. We consider the problem of separability: decide whether a Hermitian operator on a finite dimensional Hilbert tensor product is separable or entangled. We show that the tensor convolution defined for certain mappings on an almost arbitrary locally compact abelian group, give rise to formulation of an equivalent problem to the separability one. △ Less

Submitted 7 June, 2011; v1 submitted 11 January, 2010; originally announced January 2010.

Comments: 13 pages, two sections added

MSC Class: 81P40

Journal ref: Open Sys. Inf. Dyn. 17, 4(2010) pp. 331-346

Integral representations of separable states

Authors: Bronisław Jakubczyk, Gabriel Pietrzkowski

Abstract: We study a separability problem suggested by mathematical description of bipartite quantum systems. We consider Hermitian 2-forms on the tensor product $H=K\otimes L$, where $K,L$ are finite dimensional complex spaces. Inspired by quantum mechanical terminology we call such a form separable if it is a convex combination of hermitian tensor products $(σ_p)^*\odot σ_p$ of 1-forms $σ_p$ on $H$ that… ▽ More We study a separability problem suggested by mathematical description of bipartite quantum systems. We consider Hermitian 2-forms on the tensor product $H=K\otimes L$, where $K,L$ are finite dimensional complex spaces. Inspired by quantum mechanical terminology we call such a form separable if it is a convex combination of hermitian tensor products $(σ_p)^*\odot σ_p$ of 1-forms $σ_p$ on $H$ that are product forms $σ_p=φ_p\otimes ψ_p$, where $φ_p\in K^*$, $ψ_p\in L^*$. We introduce an integral representation of separable forms. In particular, we show that the integral of $(D_{z^*}}Φ)^*\odot D_{z^*}Φ$ of any square integrable map $Φ:\C^n\to \C^m$, with square integrable conjugate derivative $D_{z^*}Φ$, is a separable form. Vice versa, any separable form in the interior of the set of such forms, can be represented in this way. This implies that any separable mixed state (and only such states) can be either explicitly represented in the integral form, or it may be arbitrarily well approximated by such states. △ Less

Submitted 7 December, 2008; v1 submitted 3 February, 2008; originally announced February 2008.

Comments: 21 pages, no figures, added references, to appear in Reports on Mathematical Physics

Journal ref: Rep. Math. Phys. 63, 111-130 (2009)