A semidefinite program for distillable entanglement

We show that the maximum fidelity obtained by a p.p.t. distillation protocol is given by the solution to a certain semidefinite program. This gives a number of new lower and upper bounds on p.p.t. distillable entanglement (and thus new upper bounds on 2-locally distillable entanglement). In the presence of symmetry, the semidefinite program simplifies considerably, becoming a linear program in the case of isotropic and Werner states. Using these techniques, we determine the p.p.t. distillable entanglement of asymmetric Werner states and ``maximally correlated'' states. We conclude with a discussion of possible applications of semidefinite programming to quantum codes and 1-local distillation.Comment: 28 pages, LaTe

On bound entanglement assisted distillation

We investigate asymptotic distillation of entanglement in the presence of an unlimited amount of bound entanglement for bi-partite systems. We show that the distillability is still bounded by the relative entropy of entanglement. This offers a strong support to the fact that bound entanglement does not improve distillation of entanglement.Comment: 9 pages, no figures, minor typos correcte

Limits of elliptic hypergeometric integrals

In math.QA/0309252, the author proved a number of multivariate elliptic hypergeometric integrals. The purpose of the present note is to explore more carefully the various limiting cases (hyperbolic, trigonometric, rational, and classical) that exist. In particular, we show (using some new estimates of generalized gamma functions) that the hyperbolic integrals (previously treated as purely formal limits) are indeed limiting cases. We also obtain a number of new trigonometric (q-hypergeometric) integral identities as limits from the elliptic level.Comment: 41 pages LaTeX. Minor stylistic changes, statement of Theorem 4.7 fixe

A difference-integral representation of Koornwinder polynomials

We construct new families of (q-) difference and (contour) integral operators having nice actions on Koornwinder's multivariate orthogonal polynomials. We further show that the Koornwinder polynomials can be constructed by suitable sequences of these operators applied to the constant polynomial 1, giving the difference-integral representation of the title. Macdonald's conjectures (as proved by van Diejen and Sahi) for the principal specialization and norm follow immediately, as does a Cauchy-type identity of Mimachi.Comment: 15 pages AMSLaTeX. To appear in proceedings of the Workshop on Jack, Hall-Littlewood and Macdonald polynomials (September 2003, ICMS

The homology of real subspace arrangements

Associated to any subspace arrangement is a "De Concini-Procesi model", a certain smooth compactification of its complement, which in the case of the braid arrangement produces the Deligne-Mumford compactification of the moduli space of genus 0 curves with marked points. In the present work, we calculate the integral homology of real De Concini-Procesi models, extending earlier work of Etingof, Henriques, Kamnitzer and the author on the (2-adic) integral cohomology of the real locus of the moduli space. To be precise, we show that the integral homology of a real De Concini-Procesi model is isomorphic modulo its 2-torsion with a sum of cohomology groups of subposets of the intersection lattice of the arrangement. As part of the proof, we construct a large family of natural maps between De Concini-Procesi models (generalizing the operad structure of moduli space), and determine the induced action on poset cohomology. In particular, this determines the ring structure of the cohomology of De Concini-Procesi models (modulo 2-torsion).Comment: 36 pages, LaTeX. v2: Minor corrections, improvements in expositio