{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $H$ be a complex [[Hilbert space|HM2HHE3J51]], and let $T$ be a [[trace class operator|Z2CP530WDE]] on $H$ with trace $\\operatorname{tr} T$ and trace norm $\\norm{T}_1$.\nLet $(\\lambda_n)$ be the nonzero [[eigenvalues|0BQAA2BK3Q]] of $T$, each repeated according to its algebraic multiplicity $\\dim \\bigcup_{k \\ge 1} \\ker (T - \\lambda_n I)^k$.\nThen $\\sum_n \\abs{\\lambda_n} \\le \\norm{T}_1$, and\n$$\\operatorname{tr} T = \\sum_n \\lambda_n.$$\n\n## Remarks\n\nA trace class operator is [[compact|M2NEP1K5AE]], so its nonzero eigenvalues form a finite or null sequence, and each has finite algebraic multiplicity.\nThe inequality $\\sum \\abs{\\lambda_n} \\le \\norm{T}_1$ is a consequence of Weyl's inequality between eigenvalues and singular values.\nFor the identity, one writes $T$ in upper triangular form with respect to a Schur basis of the span of its generalized eigenvectors.\nThis reduces the theorem to the case of a quasinilpotent trace class operator, whose trace must be shown to be $0$.\nThis last step is the hard part; one proof uses the Fredholm determinant $\\det(I + zT)$, an entire function of $z$ whose zeros are the numbers $-1/\\lambda_n$.\nFor a matrix, the theorem is the fact that the [[trace|0XC1RDBY7A]] is the sum of the eigenvalues.\nExample: a trace class operator may have no nonzero eigenvalue at all; then the theorem says its trace is $0$.\nThe hypothesis matters: for a merely compact operator, the sum $\\sum_i \\ip{T e_i}{e_i}$ can diverge or depend on the basis.\n\n## Explanations\n\n### L1 human\n\nFor a square matrix, adding the diagonal entries gives the same number as adding the eigenvalues.\nLidskii's theorem says that this remains true for trace class operators on infinite-dimensional spaces.\nThis is surprising, since such an operator may have very few eigenvalues, or none.\n\n### L2 human\n\nThe theorem links two different definitions of the trace: a basis-dependent sum of diagonal entries and a spectral sum.\nIt was proved by Lidskii in 1959; the case of self-adjoint or normal operators is much easier and follows from the spectral theorem.\nIt is used in the theory of Fredholm determinants, in random matrix theory, and in the study of trace formulas.\n",
  "commit": "5fc425f97f1f6b11da5892c2948ef8c5d8805665",
  "front": {
    "about": [
      "Z2CP530WDE"
    ],
    "kind": "statement",
    "msc": [
      "47B10",
      "47A10"
    ],
    "name": "Lidskii's theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Trace_class"
      }
    ],
    "tag": "QD23PJR6RP",
    "uses": [
      "HM2HHE3J51",
      "Z2CP530WDE",
      "M2NEP1K5AE",
      "0BQAA2BK3Q",
      "0XC1RDBY7A"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/QD23PJR6RP/",
  "links": [
    {
      "field": "about",
      "target": "Z2CP530WDE"
    },
    {
      "field": "uses",
      "target": "HM2HHE3J51"
    },
    {
      "field": "uses",
      "target": "Z2CP530WDE"
    },
    {
      "field": "uses",
      "target": "M2NEP1K5AE"
    },
    {
      "field": "uses",
      "target": "0BQAA2BK3Q"
    },
    {
      "field": "uses",
      "target": "0XC1RDBY7A"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/QD23PJR6RP.md",
  "msc": [
    "47B10",
    "47A10"
  ],
  "name": "Lidskii's theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/QD2/QD23PJR6RP.md",
  "status": null,
  "tag": "QD23PJR6RP",
  "uri": "m2://QD23PJR6RP",
  "url": "https://math2.tamnd.com/wiki/lidskiis-theorem/",
  "writing": {
    "tag": "QD23PJR6RP",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}