mathmlben/data/251.json

Visualization for goldstandard

{
  "definitions": {
    "\\Delta": [
      {
        "Q21092339": "Symbol"
      }
    ],
    "x": [
      {
        "Q126017": "Distance"
      }
    ],
    "p": [
      {
        "Q837940": "impulse"
      }
    ],
    "\\widehat": [
      {
        "Q1130160": "estimator"
      }
    ]
  },
  "constraints": [
    "[\\widehat{x},\\widehat{p}]:=i\\hbar"
  ],
  "math_inputtex": "\\Delta x\\Delta p\\geq|<[\\widehat{x},\\widehat{p}]>|",
  "math_inputtex_semantic": "\\wDef{Q903835}{\\widehat{x}} \\wDef{Q692457}{\\widehat{p}} \\wf{Q47004757}{\\Delta} \\w{Q17334923}{x} \\Delta{\\w{Q41273}{p}} \\geq \\abs{ < \\w{Q2989763}{\\commutator{\\widehat{x}}{\\widehat{p}} > }}",
  "correct_tex": "\\Delta x\\Delta p\\geq|<[\\widehat{x},\\widehat{p}]>|",
  "correct_mml": "<math xmlns=\"http://www.w3.org/1998/Math/MathML\"\n      xmlns:xlink=\"http://www.w3.org/1999/xlink\"\n      alttext=\"\\Delta x\\Delta{p}\\geq\\left|&lt;\\commutator{\\widehat{x}}{\\widehat{p}}&gt;\\right|\"\n      class=\"ltx_Math\"\n      display=\"inline\"\n      id=\"p1.1.m1.1\">\n  <semantics id=\"p1.1.m1.1a\">\n      <mrow id=\"p1.1.m1.1.7\" xref=\"p1.1.m1.1.7.cmml\">\n         <mrow id=\"p1.1.m1.1.7.1\" xref=\"p1.1.m1.1.7.1.cmml\">\n            <mi id=\"p1.1.m1.1.1\" mathvariant=\"normal\" xref=\"p1.1.m1.1.1.cmml\">Δ</mi>\n            <mo id=\"p1.1.m1.1.7.1.1\" xref=\"p1.1.m1.1.7.1.1.cmml\">⁢</mo>\n            <mi id=\"p1.1.m1.1.2\" xref=\"p1.1.m1.1.2.cmml\">x</mi>\n            <mo id=\"p1.1.m1.1.7.1.1a\" xref=\"p1.1.m1.1.7.1.1.cmml\">⁢</mo>\n            <mi id=\"p1.1.m1.1.3\" mathvariant=\"normal\" xref=\"p1.1.m1.1.3.cmml\">Δ</mi>\n            <mo id=\"p1.1.m1.1.7.1.1b\" xref=\"p1.1.m1.1.7.1.1.cmml\">⁢</mo>\n            <mi id=\"p1.1.m1.1.4\" xref=\"p1.1.m1.1.4.cmml\">p</mi>\n         </mrow>\n         <mo id=\"p1.1.m1.1.5\" xref=\"p1.1.m1.1.5.cmml\">≥</mo>\n         <mrow id=\"p1.1.m1.1.6.5\" xref=\"p1.1.m1.1.6.1.cmml\">\n            <mo id=\"p1.1.m1.1.6.2\" xref=\"p1.1.m1.1.6.1.1.cmml\">|</mo>\n            <mrow id=\"p1.1.m1.1.6.3\" xref=\"p1.1.m1.1.6.3.4.cmml\">\n               <mo id=\"p1.1.m1.1.6.3.1\" xref=\"p1.1.m1.1.6.3.4.1.cmml\">&lt;</mo>\n               <mrow id=\"p1.1.m1.1.6.3.2.7\" xref=\"p1.1.m1.1.6.3.2.1.cmml\">\n                  <mo id=\"p1.1.m1.1.6.3.2.2\"\n                      stretchy=\"false\"\n                      xref=\"p1.1.m1.1.6.3.2.1.1.cmml\">{</mo>\n                  <mover accent=\"true\" id=\"p1.1.m1.1.6.3.2.3\" xref=\"p1.1.m1.1.6.3.2.3a.cmml\">\n                     <mi id=\"p1.1.m1.1.6.3.2.3.1.2\" xref=\"p1.1.m1.1.6.3.2.3.1.2.cmml\">x</mi>\n                     <mo id=\"p1.1.m1.1.6.3.2.3.1.1\" xref=\"p1.1.m1.1.6.3.2.3.1.1.cmml\">^</mo>\n                  </mover>\n                  <mo id=\"p1.1.m1.1.6.3.2.4\" xref=\"p1.1.m1.1.6.3.2.1.1.cmml\">,</mo>\n                  <mover accent=\"true\" id=\"p1.1.m1.1.6.3.2.5\" xref=\"p1.1.m1.1.6.3.2.5a.cmml\">\n                     <mi id=\"p1.1.m1.1.6.3.2.5.1.2\" xref=\"p1.1.m1.1.6.3.2.5.1.2.cmml\">p</mi>\n                     <mo id=\"p1.1.m1.1.6.3.2.5.1.1\" xref=\"p1.1.m1.1.6.3.2.5.1.1.cmml\">^</mo>\n                  </mover>\n                  <mo id=\"p1.1.m1.1.6.3.2.6\"\n                      stretchy=\"false\"\n                      xref=\"p1.1.m1.1.6.3.2.1.1.cmml\">}</mo>\n               </mrow>\n               <mo id=\"p1.1.m1.1.6.3.3\" xref=\"p1.1.m1.1.6.3.4.1.cmml\">&gt;</mo>\n            </mrow>\n            <mo id=\"p1.1.m1.1.6.4\" xref=\"p1.1.m1.1.6.1.1.cmml\">|</mo>\n         </mrow>\n      </mrow>\n      <annotation-xml encoding=\"MathML-Content\" id=\"p1.1.m1.1b\">\n         <apply id=\"p1.1.m1.1.7.cmml\" xref=\"p1.1.m1.1.7\">\n            <geq id=\"p1.1.m1.1.5.cmml\" xref=\"p1.1.m1.1.5\"/>\n            <apply id=\"p1.1.m1.1.7.1.cmml\" xref=\"p1.1.m1.1.7.1\">\n          <!--multiplication with multiple factors changed to function application.-->\n               <times id=\"p1.1.m1.1.7.1.1.cmml\" xref=\"p1.1.m1.1.7.1.1\"/>\n               <apply id=\"a-2-p1.1.m1.1.1.cmml\" xref=\"p1.1.m1.1.1\">\n                  <csymbol cd=\"wikidata\" id=\"p1.1.m1.1.1.cmml\" xref=\"p1.1.m1.1.1\">Q47004757</csymbol>\n                  <ci id=\"p1.1.m1.1.2.cmml\" xref=\"p1.1.m1.1.2\">𝑥</ci>\n               </apply>\n               <apply id=\"a-4-p1.1.m1.1.3.cmml\" xref=\"p1.1.m1.1.3\">\n                  <csymbol cd=\"wikidata\" id=\"p1.1.m1.1.3.cmml\" xref=\"p1.1.m1.1.3\">Q47004757</csymbol>\n                  <ci id=\"p1.1.m1.1.4.cmml\" xref=\"p1.1.m1.1.4\">𝑝</ci>\n               </apply>\n            </apply>\n            <apply id=\"p1.1.m1.1.6.1.cmml\" xref=\"p1.1.m1.1.6.5\">\n               <abs id=\"p1.1.m1.1.6.1.1.cmml\" xref=\"p1.1.m1.1.6.2\"/>\n               <apply id=\"p1.1.m1.1.6.3.4.cmml\" xref=\"p1.1.m1.1.6.3\">\n                  <csymbol cd=\"latexml\" id=\"p1.1.m1.1.6.3.4.1.cmml\" xref=\"p1.1.m1.1.6.3.1\">expectation</csymbol>\n                  <apply id=\"p1.1.m1.1.6.3.2.1.cmml\" xref=\"p1.1.m1.1.6.3.2.7\">\n                     <csymbol cd=\"wikidata\"\n                              id=\"p1.1.m1.1.6.3.2.1.1.cmml\"\n                              xref=\"p1.1.m1.1.6.3.2.2\">Q2989763</csymbol>\n                     <ci id=\"p1.1.m1.1.6.3.2.3a.cmml\" xref=\"p1.1.m1.1.6.3.2.3\">\n                        <mover accent=\"true\" id=\"p1.1.m1.1.6.3.2.3.cmml\" xref=\"p1.1.m1.1.6.3.2.3\">\n                           <mi id=\"p1.1.m1.1.6.3.2.3.1.2.cmml\" xref=\"p1.1.m1.1.6.3.2.3.1.2\">x</mi>\n                           <mo id=\"p1.1.m1.1.6.3.2.3.1.1.cmml\" xref=\"p1.1.m1.1.6.3.2.3.1.1\">^</mo>\n                        </mover>\n                     </ci>\n                     <ci id=\"p1.1.m1.1.6.3.2.5a.cmml\" xref=\"p1.1.m1.1.6.3.2.5\">\n                        <mover accent=\"true\" id=\"p1.1.m1.1.6.3.2.5.cmml\" xref=\"p1.1.m1.1.6.3.2.5\">\n                           <mi id=\"p1.1.m1.1.6.3.2.5.1.2.cmml\" xref=\"p1.1.m1.1.6.3.2.5.1.2\">p</mi>\n                           <mo id=\"p1.1.m1.1.6.3.2.5.1.1.cmml\" xref=\"p1.1.m1.1.6.3.2.5.1.1\">^</mo>\n                        </mover>\n                     </ci>\n                  </apply>\n               </apply>\n            </apply>\n         </apply>\n      </annotation-xml>\n      <annotation encoding=\"application/x-tex\" id=\"p1.1.m1.1c\">\\Delta x\\Delta{p}\\geq\\left|&lt;\\commutator{\\widehat{x}}{\\widehat{p}}&gt;\\right|</annotation>\n  </semantics>\n</math>\n",
  "uri": "https://arxiv.org/abs/0801.3402",
  "title": "Heisenberg uncertainty principle Context 1",
  "comment": "disregarded first random formula here because it was simply delta t. important: widehat isnt really an estimator by itself. used position vector. or would it be better to use Q17334923 ?",
  "type": "relation",
  "notation": "Bra-ket Q59090",
  "ntcir12-type": "22",
  "formula": "1_17.7",
  "page": "8",
  "ntcir12-relevance": "3"
}