dorsal/arxiv
View SchemaConvexity and the Separability Problem of Quantum Mechanical Density Matrices
| Authors | Arthur O. Pittenger, Morton H. Rubin |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0103038 |
| URL | https://arxiv.org/abs/quant-ph/0103038 |
| Journal | Linear Algebra and its Applications 346, 47-71 (2002). |
Abstract
A finite dimensional quantum mechanical system is modeled by a density rho, a trace one, positive semi-definite matrix on a suitable tensor product space H[N] . For the system to demonstrate experimentally certain non-classical behavior, rho cannot be in S, a closed convex set of densities whose extreme points have a specificed tensor product form. Two mathematical problems in the quantum computing literature arise from this context: (1) the determination whether a given rho is in S and (2) a measure of the ``entanglement'' of such a rho in terms of its distance from S. In this paper we describe these two problems in detail for a linear algebra audience, discuss some recent results from the quantum computing literature, and prove some new results.We emphasize the roles of densities rho as both operators on the Hilbert space H[N] and also as points in a real Hilbert space M. We are able to compute the nearest separable densities tau0 to rho0 in particular classes of inseparable densities and we use the Euclidean distance between the two in M to quantify the entanglement of rho0. We also show the role of tau0 in the construction of separating hyperplanes, so-called entanglement witnesses in the quantum computing literature.
{
"annotation_id": "d8be7b58-941a-4d05-8c81-ef8072274fce",
"date_created": "2026-03-02T18:01:42.691000Z",
"date_modified": "2026-03-02T18:01:42.691000Z",
"file_hash": "05649d75ae5ded1ebbcf156edb145e6d14a2d812023783553de6aff90664ca40",
"private": false,
"record": {
"abstract": "A finite dimensional quantum mechanical system is modeled by a density rho, a\ntrace one, positive semi-definite matrix on a suitable tensor product space\nH[N] . For the system to demonstrate experimentally certain non-classical\nbehavior, rho cannot be in S, a closed convex set of densities whose extreme\npoints have a specificed tensor product form. Two mathematical problems in the\nquantum computing literature arise from this context: (1) the determination\nwhether a given rho is in S and (2) a measure of the ``entanglement\u0027\u0027 of such a\nrho in terms of its distance from S. In this paper we describe these two\nproblems in detail for a linear algebra audience, discuss some recent results\nfrom the quantum computing literature, and prove some new results.We emphasize\nthe roles of densities rho as both operators on the Hilbert space H[N] and also\nas points in a real Hilbert space M. We are able to compute the nearest\nseparable densities tau0 to rho0 in particular classes of inseparable densities\nand we use the Euclidean distance between the two in M to quantify the\nentanglement of rho0. We also show the role of tau0 in the construction of\nseparating hyperplanes, so-called entanglement witnesses in the quantum\ncomputing literature.",
"arxiv_id": "quant-ph/0103038",
"authors": [
"Arthur O. Pittenger",
"Morton H. Rubin"
],
"categories": [
"quant-ph"
],
"journal_ref": "Linear Algebra and its Applications 346, 47-71 (2002).",
"title": "Convexity and the Separability Problem of Quantum Mechanical Density Matrices",
"url": "https://arxiv.org/abs/quant-ph/0103038"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "823aa822-76f6-4d7e-898e-6cc16d21edbc",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}