{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nThere is a complex [[Hilbert space|HM2HHE3J51]] $H$ with a self-adjoint operator $T$ on $H$ that has the following property.\nHere self-adjoint means $T = T^*$, where $T^*$ is the [[adjoint|86B7HF79PQ]] of $T$.\nA complex number $\\rho$ with $0 \u003c \\operatorname{Re} \\rho \u003c 1$ is a zero of the [[Riemann zeta function|1XWBY4N0VT]] if and only if $\\rho = \\tfrac{1}{2} + i t$ for an [[eigenvalue|0BQAA2BK3Q]] $t$ of $T$.\n\n## Remarks\n\nThe eigenvalues of a self-adjoint operator are real, so the conjecture implies the [[Riemann hypothesis|VCGF9YR36X]]: every nontrivial zero $\\rho = \\tfrac{1}{2} + it$ then has real part $\\tfrac{1}{2}$.\nThe conjecture is open.\nAs stated above, it is in fact equivalent to the Riemann hypothesis, since under that hypothesis a diagonal operator with the required eigenvalues can be written down directly.\nSo the real content of the idea lies in finding a natural operator, for instance one coming from geometry or physics, whose spectrum is given by the zeros.\nEvidence for the approach comes from random matrix theory.\nMontgomery's pair correlation conjecture of 1973 and Odlyzko's numerical computations indicate that the imaginary parts of the zeros are spaced like the eigenvalues of large random Hermitian matrices.\nThe idea is attributed to Hilbert and Pólya.\nIt is known through a 1982 letter of Pólya to Odlyzko, in which Pólya recalled suggesting it in Göttingen around 1912 to 1914.\n\n## Explanations\n\n### L1 human\n\nThe Riemann hypothesis says that all the interesting zeros of the zeta function lie on one vertical line in the complex plane.\nSymmetric matrices, and more generally self-adjoint operators, always have real eigenvalues.\nThe Hilbert–Pólya idea is to find an operator whose eigenvalues are the heights of the zeros on that line.\nReality of the eigenvalues would then put all the zeros on the line.\nNo such natural operator is known.\n",
  "commit": "5fc425f97f1f6b11da5892c2948ef8c5d8805665",
  "front": {
    "about": [
      "1XWBY4N0VT",
      "VCGF9YR36X"
    ],
    "history": {
      "first_stated": "1912–1914",
      "posed_by": "George Pólya"
    },
    "kind": "conjecture",
    "msc": [
      "11M26",
      "47B25",
      "81Q10"
    ],
    "name": "Hilbert–Pólya conjecture",
    "same_as": {
      "wikidata": "Q2993323",
      "wikipedia": "Hilbert–Pólya conjecture"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Hilbert%E2%80%93P%C3%B3lya_conjecture"
      }
    ],
    "tag": "ECS1GDJ734",
    "uses": [
      "1XWBY4N0VT",
      "VCGF9YR36X",
      "HM2HHE3J51",
      "86B7HF79PQ",
      "0BQAA2BK3Q"
    ]
  },
  "kind": "conjecture",
  "link": "https://math2.tamnd.com/node/ECS1GDJ734/",
  "links": [
    {
      "field": "about",
      "target": "1XWBY4N0VT"
    },
    {
      "field": "about",
      "target": "VCGF9YR36X"
    },
    {
      "field": "uses",
      "target": "1XWBY4N0VT"
    },
    {
      "field": "uses",
      "target": "VCGF9YR36X"
    },
    {
      "field": "uses",
      "target": "HM2HHE3J51"
    },
    {
      "field": "uses",
      "target": "86B7HF79PQ"
    },
    {
      "field": "uses",
      "target": "0BQAA2BK3Q"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/ECS1GDJ734.md",
  "msc": [
    "11M26",
    "47B25",
    "81Q10"
  ],
  "name": "Hilbert–Pólya conjecture",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/ECS/ECS1GDJ734.md",
  "status": null,
  "tag": "ECS1GDJ734",
  "uri": "m2://ECS1GDJ734",
  "url": "https://math2.tamnd.com/wiki/hilbert-polya-conjecture/",
  "writing": {
    "tag": "ECS1GDJ734",
    "kind": "conjecture",
    "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
      }
    ]
  }
}