{
  "id": "0903.4368",
  "version": "v2",
  "published": "2009-03-25T15:20:44.000Z",
  "updated": "2010-01-11T20:59:06.000Z",
  "title": "Convergent relaxations of polynomial optimization problems with non-commuting variables",
  "authors": [
    "Stefano Pironio",
    "Miguel Navascues",
    "Antonio Acin"
  ],
  "comment": "35 pages. v2: Improved notation and revised proof of Theorem 1",
  "journal": "SIAM J. Optim. Volume 20, Issue 5, pp. 2157-2180 (2010)",
  "doi": "10.1137/090760155",
  "categories": [
    "math.OC",
    "quant-ph"
  ],
  "abstract": "We consider optimization problems with polynomial inequality constraints in non-commuting variables. These non-commuting variables are viewed as bounded operators on a Hilbert space whose dimension is not fixed and the associated polynomial inequalities as semidefinite positivity constraints. Such problems arise naturally in quantum theory and quantum information science. To solve them, we introduce a hierarchy of semidefinite programming relaxations which generates a monotone sequence of lower bounds that converges to the optimal solution. We also introduce a criterion to detect whether the global optimum is reached at a given relaxation step and show how to extract a global optimizer from the solution of the corresponding semidefinite programming problem.",
  "revisions": [
    {
      "version": "v2",
      "updated": "2010-01-11T20:59:06.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "polynomial optimization problems",
      "non-commuting variables",
      "convergent relaxations",
      "quantum information science",
      "polynomial inequality constraints"
    ],
    "tags": [
      "journal article"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 35,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2009arXiv0903.4368P"
    }
  }
}