Unextendible Product Bases

Let C denote the complex field. A vector v in the tensor product ⊗mi=1Cki is called a pure product vector if it is a vector of the form v1⊗v2…⊗vm, with vi∈Cki. A set F of pure product vectors is called an unextendible product basis if F consists of orthogonal nonzero vectors, and there is no nonzero...

Full description

Saved in:
Bibliographic Details
Published in:Journal of combinatorial theory. Series A 2001-07, Vol.95 (1), p.169-179
Main Authors: Alon, N., Lovász, L.
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Let C denote the complex field. A vector v in the tensor product ⊗mi=1Cki is called a pure product vector if it is a vector of the form v1⊗v2…⊗vm, with vi∈Cki. A set F of pure product vectors is called an unextendible product basis if F consists of orthogonal nonzero vectors, and there is no nonzero pure product vector in ⊗mi=1Cki which is orthogonal to all members of F. The construction of such sets of small cardinality is motivated by a problem in quantum information theory. Here it is shown that the minimum possible cardinality of such a set F is precisely 1+∑mi=1(ki−1) for every sequence of integers k1, k2, …, km⩾2 unless either (i) m=2 and 2∈{k1, k2} or (ii) 1+∑mi=1(ki−1) is odd and at least one ki is even. In each of these two cases, the minimum cardinality of the corresponding F is strictly bigger than 1+∑mi=1(ki−1).
ISSN:0097-3165
1096-0899
DOI:10.1006/jcta.2000.3122