ag-gipp/GoUldI

View on GitHub
data/59.json

Summary

Maintainability
Test Coverage
{
  "definitions" : {
    "n" : [ {
      "Q2303886" : "index (the numbering of various objects within the mathematical notation)"
    } ],
    "\\mathbb{Z}" : [ {
      "Q1096885" : "lattice (subgroup of a real vector space or a Lie group )"
    } ],
    "d" : [ {
      "Q4440864" : "dimension (minimum number of coordinates within a space needed to specify any point)"
    } ],
    "\\psi" : [ "probability distribution", {
      "Q2362761" : "wave function"
    } ],
    "t" : [ {
      "Q11471" : "time (dimension in which events can be ordered from the past through the present into the future)"
    } ],
    "C" : [ {
      "Q3176558" : "positive number (real number strictly greater than zero)"
    } ]
  },
  "constraints" : [ ],
  "math_inputtex" : " \\sum_{n \\in \\mathbb{Z}^d} |\\psi(t,n)|^2 |n| \\leq C ",
  "math_inputtex_semantic" : "\\sum_{\\w{Q2303886}{n} \\in \\w{Q1096885}{\\mathbb{Z}}^{\\w{Q4440864}{d}}} |\\wf{Q2362761}{\\psi}(\\w{Q11471}{t},n)|^2 |n| \\leq \\w{Q3176558}{C}",
  "correct_tex" : " \\sum_{n \\in \\mathbb{Z}^d} |\\psi(t,n)|^2 |n| \\leq C ",
  "correct_mml" : "<math xmlns=\"http://www.w3.org/1998/Math/MathML\" id=\"p1.1.m1.1\" class=\"ltx_Math\" alttext=\"\\sum_{n\\in\\mathbb{Z}^{d}}|\\psi(t,n)|^{2}|n|\\leq C\" display=\"inline\">\n  <semantics id=\"p1.1.m1.1a\">\n    <mrow id=\"p1.1.m1.1.17\" xref=\"p1.1.m1.1.17.cmml\">\n      <mrow id=\"p1.1.m1.1.17.1\" xref=\"p1.1.m1.1.17.1.cmml\">\n        <msub id=\"p1.1.m1.1.17.1.1\" xref=\"p1.1.m1.1.17.1.1.cmml\">\n          <mo largeop=\"true\" symmetric=\"true\" id=\"p1.1.m1.1.1\" xref=\"p1.1.m1.1.1.cmml\">∑</mo>\n          <mrow id=\"p1.1.m1.1.2.1\" xref=\"p1.1.m1.1.2.1.cmml\">\n            <mi id=\"p1.1.m1.1.2.1.1\" xref=\"p1.1.m1.1.2.1.1.cmml\">n</mi>\n            <mo id=\"p1.1.m1.1.2.1.2\" xref=\"p1.1.m1.1.2.1.2.cmml\">∈</mo>\n            <msup id=\"p1.1.m1.1.2.1.5\" xref=\"p1.1.m1.1.2.1.5.cmml\">\n              <mi id=\"p1.1.m1.1.2.1.3\" xref=\"p1.1.m1.1.2.1.3.cmml\">ℤ</mi>\n              <mi id=\"p1.1.m1.1.2.1.4.1\" xref=\"p1.1.m1.1.2.1.4.1.cmml\">d</mi>\n            </msup>\n          </mrow>\n        </msub>\n        <mrow id=\"p1.1.m1.1.17.1.2\" xref=\"p1.1.m1.1.17.1.2.cmml\">\n          <msup id=\"p1.1.m1.1.17.1.2.2\" xref=\"p1.1.m1.1.17.1.2.2.cmml\">\n            <mrow id=\"p1.1.m1.1.17.1.2.2.2\" xref=\"p1.1.m1.1.17.1.2.2.2.1.cmml\">\n              <mo stretchy=\"false\" id=\"p1.1.m1.1.3\" xref=\"p1.1.m1.1.17.1.2.2.2.1.1.cmml\">|</mo>\n              <mrow id=\"p1.1.m1.1.17.1.2.2.2.2.2\" xref=\"p1.1.m1.1.17.1.2.2.2.2.1.cmml\">\n                <mi id=\"p1.1.m1.1.4\" xref=\"p1.1.m1.1.4.cmml\">ψ</mi>\n                <mo id=\"p1.1.m1.1.17.1.2.2.2.2.2a\" xref=\"p1.1.m1.1.17.1.2.2.2.2.1.cmml\">⁡</mo>\n                <mrow id=\"p1.1.m1.1.17.1.2.2.2.2.2.1\" xref=\"p1.1.m1.1.17.1.2.2.2.2.1.cmml\">\n                  <mo stretchy=\"false\" id=\"p1.1.m1.1.5\" xref=\"p1.1.m1.1.17.1.2.2.2.2.1.cmml\">(</mo>\n                  <mi id=\"p1.1.m1.1.6\" xref=\"p1.1.m1.1.6.cmml\">t</mi>\n                  <mo id=\"p1.1.m1.1.7\" xref=\"p1.1.m1.1.17.1.2.2.2.2.1.cmml\">,</mo>\n                  <mi id=\"p1.1.m1.1.8\" xref=\"p1.1.m1.1.8.cmml\">n</mi>\n                  <mo stretchy=\"false\" id=\"p1.1.m1.1.9\" xref=\"p1.1.m1.1.17.1.2.2.2.2.1.cmml\">)</mo>\n                </mrow>\n              </mrow>\n              <mo stretchy=\"false\" id=\"p1.1.m1.1.10\" xref=\"p1.1.m1.1.17.1.2.2.2.1.1.cmml\">|</mo>\n            </mrow>\n            <mn id=\"p1.1.m1.1.11.1\" xref=\"p1.1.m1.1.11.1.cmml\">2</mn>\n          </msup>\n          <mo id=\"p1.1.m1.1.17.1.2.1\" xref=\"p1.1.m1.1.17.1.2.1.cmml\">⁢</mo>\n          <mrow id=\"p1.1.m1.1.17.1.2.3\" xref=\"p1.1.m1.1.17.1.2.3.1.cmml\">\n            <mo stretchy=\"false\" id=\"p1.1.m1.1.12\" xref=\"p1.1.m1.1.17.1.2.3.1.1.cmml\">|</mo>\n            <mi id=\"p1.1.m1.1.13\" xref=\"p1.1.m1.1.13.cmml\">n</mi>\n            <mo stretchy=\"false\" id=\"p1.1.m1.1.14\" xref=\"p1.1.m1.1.17.1.2.3.1.1.cmml\">|</mo>\n          </mrow>\n        </mrow>\n      </mrow>\n      <mo id=\"p1.1.m1.1.15\" xref=\"p1.1.m1.1.15.cmml\">≤</mo>\n      <mi id=\"p1.1.m1.1.16\" xref=\"p1.1.m1.1.16.cmml\">C</mi>\n    </mrow>\n    <annotation-xml encoding=\"MathML-Content\" id=\"p1.1.m1.1b\">\n      <apply id=\"p1.1.m1.1.17.cmml\" xref=\"p1.1.m1.1.17\">\n        <leq id=\"p1.1.m1.1.15.cmml\" xref=\"p1.1.m1.1.15\"/>\n        <apply id=\"p1.1.m1.1.17.1.cmml\" xref=\"p1.1.m1.1.17.1\">\n          <apply id=\"p1.1.m1.1.17.1.1.cmml\" xref=\"p1.1.m1.1.17.1.1\">\n            <csymbol cd=\"ambiguous\" id=\"p1.1.m1.1.17.1.1.1.cmml\" xref=\"p1.1.m1.1.17.1.1\">subscript</csymbol>\n            <sum id=\"p1.1.m1.1.1.cmml\" xref=\"p1.1.m1.1.1\"/>\n            <apply id=\"p1.1.m1.1.2.1.cmml\" xref=\"p1.1.m1.1.2.1\">\n              <in id=\"p1.1.m1.1.2.1.2.cmml\" xref=\"p1.1.m1.1.2.1.2\"/>\n              <csymbol cd=\"latexml\" id=\"p1.1.m1.1.2.1.1.cmml\" xref=\"p1.1.m1.1.2.1.1\">Q2303886</csymbol>\n              <apply id=\"p1.1.m1.1.2.1.5.cmml\" xref=\"p1.1.m1.1.2.1.5\">\n                <power  xref=\"p1.1.m1.1.2.1.5\"/>\n                <csymbol cd=\"latexml\" id=\"p1.1.m1.1.2.1.3.cmml\" xref=\"p1.1.m1.1.2.1.3\">Q1096885</csymbol>\n                <csymbol cd=\"latexml\" id=\"p1.1.m1.1.2.1.4.1.cmml\" xref=\"p1.1.m1.1.2.1.4.1\">Q4440864</csymbol>\n              </apply>\n            </apply>\n          </apply>\n          <apply id=\"p1.1.m1.1.17.1.2.cmml\" xref=\"p1.1.m1.1.17.1.2\">\n            <times id=\"p1.1.m1.1.17.1.2.1.cmml\" xref=\"p1.1.m1.1.17.1.2.1\"/>\n            <apply id=\"p1.1.m1.1.17.1.2.2.cmml\" xref=\"p1.1.m1.1.17.1.2.2\">\n              <power  xref=\"p1.1.m1.1.17.1.2.2\"/>\n              <apply id=\"p1.1.m1.1.17.1.2.2.2.1.cmml\" xref=\"p1.1.m1.1.17.1.2.2.2\">\n                <abs id=\"p1.1.m1.1.17.1.2.2.2.1.1.cmml\" xref=\"p1.1.m1.1.3\"/>\n                <apply id=\"p1.1.m1.1.17.1.2.2.2.2.1.cmml\" xref=\"p1.1.m1.1.17.1.2.2.2.2.2\">\n                  <csymbol cd=\"latexml\" id=\"p1.1.m1.1.4.cmml\" xref=\"p1.1.m1.1.4\">Q2362761</csymbol>\n                  <csymbol cd=\"latexml\" id=\"p1.1.m1.1.6.cmml\" xref=\"p1.1.m1.1.6\">Q11471</csymbol>\n                  <csymbol cd=\"latexml\" id=\"p1.1.m1.1.8.cmml\" xref=\"p1.1.m1.1.8\">Q2303886</csymbol>\n                </apply>\n              </apply>\n              <cn type=\"integer\" id=\"p1.1.m1.1.11.1.cmml\" xref=\"p1.1.m1.1.11.1\">2</cn>\n            </apply>\n            <apply id=\"p1.1.m1.1.17.1.2.3.1.cmml\" xref=\"p1.1.m1.1.17.1.2.3\">\n              <abs id=\"p1.1.m1.1.17.1.2.3.1.1.cmml\" xref=\"p1.1.m1.1.12\"/>\n              <csymbol cd=\"latexml\" id=\"p1.1.m1.1.13.cmml\" xref=\"p1.1.m1.1.13\">Q2303886</csymbol>\n            </apply>\n          </apply>\n        </apply>\n        <csymbol cd=\"latexml\" id=\"p1.1.m1.1.16.cmml\" xref=\"p1.1.m1.1.16\">Q3176558</csymbol>\n      </apply>\n    </annotation-xml>\n    <annotation encoding=\"application/x-tex\" id=\"p1.1.m1.1c\">\\sum_{n\\in\\mathbb{Z}^{d}}|\\psi(t,n)|^{2}|n|\\leq C</annotation>\n  </semantics>\n</math>",
  "uri" : "https://en.formulasearchengine.com/w/index.php?oldid=10209#math10209.4",
  "title" : "Anderson_localization",
  "type" : "relation"
}