data/251.json
{
"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|<\\commutator{\\widehat{x}}{\\widehat{p}}>\\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\"><</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\">></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|<\\commutator{\\widehat{x}}{\\widehat{p}}>\\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"
}