- testwiki

General

Display information for equation id:math.2257.21 on revision:2257

* Page found: Vorurteilsfreie Schätzung des statistischen Operators zu einem festen Zeitpunkt (eq math.2257.21)

Occurrences on the following pages:

Vorurteilsfreie Schätzung des statistischen Operators zu einem festen Zeitpunkt Eq: math.2273.21

Hash: b3eac053b8292be4dc0a6d2c3c9d8434

TeX (original user input):

\begin{align}
  & \eta \left( \rho  \right)=-k\operatorname{Tr}(\rho \ln \rho )=-k\sum\limits_{m}^{{}}{\left\langle  {{r}_{m}} \right|\rho \ln \rho \left| {{r}_{m}} \right\rangle }=-k\sum\limits_{m}^{{}}{{{r}_{m}}\ln {{r}_{m}}} \\
 & 1\ge {{r}_{m}}\ge 0 \\
 & \Rightarrow \ln {{r}_{m}}\le 0 \\
 & \Rightarrow \eta \left( \rho  \right)\ge 0 \\
\end{align}

TeX (checked):

{\begin{aligned}&\eta \left(\rho \right)=-k\operatorname {Tr} (\rho \ln \rho )=-k\sum \limits _{m}^{}{\left\langle {{r}_{m}}\right|\rho \ln \rho \left|{{r}_{m}}\right\rangle }=-k\sum \limits _{m}^{}{{{r}_{m}}\ln {{r}_{m}}}\\&1\geq {{r}_{m}}\geq 0\\&\Rightarrow \ln {{r}_{m}}\leq 0\\&\Rightarrow \eta \left(\rho \right)\geq 0\\\end{aligned}}

LaTeXML (experimental; uses MathML) rendering

MathML (25.567 KB / 2.909 KB) :

{\displaystyle{\displaystyle\begin{aligned} &\displaystyle\eta\left(\rho\right% )=-k\operatorname{Tr}(\rho\ln\rho)=-k\sum\limits_{m}{\left\langle{{r}_{m}}% \right|\rho\ln\rho\left|{{r}_{m}}\right\rangle}=-k\sum\limits_{m}{{{r}_{m}}\ln% {{r}_{m}}}\\ &\displaystyle 1\geq{{r}_{m}}\geq 0\\ &\displaystyle\Rightarrow\ln{{r}_{m}}\leq 0\\ &\displaystyle\Rightarrow\eta\left(\rho\right)\geq 0\\ \end{aligned}}}

<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle{\displaystyle\begin{aligned} &amp;\displaystyle\eta\left(\rho\right%&#10;)=-k\operatorname{Tr}(\rho\ln\rho)=-k\sum\limits_{m}{\left\langle{{r}_{m}}%&#10;\right|\rho\ln\rho\left|{{r}_{m}}\right\rangle}=-k\sum\limits_{m}{{{r}_{m}}\ln%&#10;{{r}_{m}}}\\&#10;&amp;\displaystyle 1\geq{{r}_{m}}\geq 0\\&#10;&amp;\displaystyle\Rightarrow\ln{{r}_{m}}\leq 0\\&#10;&amp;\displaystyle\Rightarrow\eta\left(\rho\right)\geq 0\\&#10;\end{aligned}}}" display="inline">
  <semantics id="p1.1.m1.1a">
    <mtable columnspacing="0pt" rowspacing="0pt" id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml">
      <mtr id="p1.1.m1.1.1a" xref="p1.1.m1.1.1.cmml">
        <mtd id="p1.1.m1.1.1b" xref="p1.1.m1.1.1.cmml"/>
        <mtd columnalign="left" id="p1.1.m1.1.1c" xref="p1.1.m1.1.1.cmml">
          <mrow id="p1.1.m1.1.1.1.2.1" xref="p1.1.m1.1.1.1.2.1.cmml">
            <mrow id="p1.1.m1.1.1.1.2.1.42" xref="p1.1.m1.1.1.1.2.1.42.cmml">
              <mi id="p1.1.m1.1.1.1.2.1.1" xref="p1.1.m1.1.1.1.2.1.1.cmml">η</mi>
              <mo id="p1.1.m1.1.1.1.2.1.42.1" xref="p1.1.m1.1.1.1.2.1.42.1.cmml">⁢</mo>
              <mrow id="p1.1.m1.1.1.1.2.1.42.2" xref="p1.1.m1.1.1.1.2.1.42.cmml">
                <mo id="p1.1.m1.1.1.1.2.1.2" xref="p1.1.m1.1.1.1.2.1.42.cmml">(</mo>
                <mi id="p1.1.m1.1.1.1.2.1.3" xref="p1.1.m1.1.1.1.2.1.3.cmml">ρ</mi>
                <mo id="p1.1.m1.1.1.1.2.1.4" xref="p1.1.m1.1.1.1.2.1.42.cmml">)</mo>
              </mrow>
            </mrow>
            <mo id="p1.1.m1.1.1.1.2.1.5" xref="p1.1.m1.1.1.1.2.1.5.cmml">=</mo>
            <mrow id="p1.1.m1.1.1.1.2.1.43" xref="p1.1.m1.1.1.1.2.1.43.cmml">
              <mo id="p1.1.m1.1.1.1.2.1.6" xref="p1.1.m1.1.1.1.2.1.6.cmml">-</mo>
              <mrow id="p1.1.m1.1.1.1.2.1.43.1" xref="p1.1.m1.1.1.1.2.1.43.1.cmml">
                <mi id="p1.1.m1.1.1.1.2.1.7" xref="p1.1.m1.1.1.1.2.1.7.cmml">k</mi>
                <mo id="p1.1.m1.1.1.1.2.1.43.1.1" xref="p1.1.m1.1.1.1.2.1.43.1.1.cmml">⁢</mo>
                <mrow id="p1.1.m1.1.1.1.2.1.43.1.2.2" xref="p1.1.m1.1.1.1.2.1.43.1.2.1.cmml">
                  <mi id="p1.1.m1.1.1.1.2.1.9" xref="p1.1.m1.1.1.1.2.1.9.cmml">Tr</mi>
                  <mo id="p1.1.m1.1.1.1.2.1.43.1.2.2a" xref="p1.1.m1.1.1.1.2.1.43.1.2.1.cmml">⁡</mo>
                  <mrow id="p1.1.m1.1.1.1.2.1.43.1.2.2.2" xref="p1.1.m1.1.1.1.2.1.43.1.2.1.cmml">
                    <mo stretchy="false" id="p1.1.m1.1.1.1.2.1.10" xref="p1.1.m1.1.1.1.2.1.43.1.2.1.cmml">(</mo>
                    <mrow id="p1.1.m1.1.1.1.2.1.43.1.2.2.1" xref="p1.1.m1.1.1.1.2.1.43.1.2.2.1.cmml">
                      <mi id="p1.1.m1.1.1.1.2.1.11" xref="p1.1.m1.1.1.1.2.1.11.cmml">ρ</mi>
                      <mo id="p1.1.m1.1.1.1.2.1.43.1.2.2.1.1" xref="p1.1.m1.1.1.1.2.1.43.1.2.2.1.1.cmml">⁢</mo>
                      <mrow id="p1.1.m1.1.1.1.2.1.43.1.2.2.1.2" xref="p1.1.m1.1.1.1.2.1.43.1.2.2.1.2.cmml">
                        <mi id="p1.1.m1.1.1.1.2.1.12" xref="p1.1.m1.1.1.1.2.1.12.cmml">ln</mi>
                        <mo id="p1.1.m1.1.1.1.2.1.43.1.2.2.1.2a" xref="p1.1.m1.1.1.1.2.1.43.1.2.2.1.2.cmml">⁡</mo>
                        <mi id="p1.1.m1.1.1.1.2.1.13" xref="p1.1.m1.1.1.1.2.1.13.cmml">ρ</mi>
                      </mrow>
                    </mrow>
                    <mo stretchy="false" id="p1.1.m1.1.1.1.2.1.14" xref="p1.1.m1.1.1.1.2.1.43.1.2.1.cmml">)</mo>
                  </mrow>
                </mrow>
              </mrow>
            </mrow>
            <mo id="p1.1.m1.1.1.1.2.1.15" xref="p1.1.m1.1.1.1.2.1.15.cmml">=</mo>
            <mrow id="p1.1.m1.1.1.1.2.1.44" xref="p1.1.m1.1.1.1.2.1.44.cmml">
              <mo id="p1.1.m1.1.1.1.2.1.16" xref="p1.1.m1.1.1.1.2.1.16.cmml">-</mo>
              <mrow id="p1.1.m1.1.1.1.2.1.44.1" xref="p1.1.m1.1.1.1.2.1.44.1.cmml">
                <mi id="p1.1.m1.1.1.1.2.1.17" xref="p1.1.m1.1.1.1.2.1.17.cmml">k</mi>
                <mo id="p1.1.m1.1.1.1.2.1.44.1.1" xref="p1.1.m1.1.1.1.2.1.44.1.1.cmml">⁢</mo>
                <mrow id="p1.1.m1.1.1.1.2.1.44.1.2" xref="p1.1.m1.1.1.1.2.1.44.1.2.cmml">
                  <mstyle displaystyle="true" id="p1.1.m1.1.1.1.2.1.44.1.2.1" xref="p1.1.m1.1.1.1.2.1.44.1.2.1.cmml">
                    <munder id="p1.1.m1.1.1.1.2.1.44.1.2.1a" xref="p1.1.m1.1.1.1.2.1.44.1.2.1.cmml">
                      <mo largeop="true" movablelimits="false" symmetric="true" id="p1.1.m1.1.1.1.2.1.18" xref="p1.1.m1.1.1.1.2.1.18.cmml">∑</mo>
                      <mi id="p1.1.m1.1.1.1.2.1.19.1" xref="p1.1.m1.1.1.1.2.1.19.1.cmml">m</mi>
                    </munder>
                  </mstyle>
                  <mrow id="p1.1.m1.1.1.1.2.1.44.1.2.2" xref="p1.1.m1.1.1.1.2.1.44.1.2.2.1.cmml">
                    <mo id="p1.1.m1.1.1.1.2.1.20a" xref="p1.1.m1.1.1.1.2.1.44.1.2.2.1.1.cmml">⟨</mo>
                    <msub id="p1.1.m1.1.1.1.2.1.44.1.2.2.2" xref="p1.1.m1.1.1.1.2.1.44.1.2.2.2.cmml">
                      <mi id="p1.1.m1.1.1.1.2.1.21" xref="p1.1.m1.1.1.1.2.1.21.cmml">r</mi>
                      <mi id="p1.1.m1.1.1.1.2.1.22.1" xref="p1.1.m1.1.1.1.2.1.22.1.cmml">m</mi>
                    </msub>
                    <mo fence="true" id="p1.1.m1.1.1.1.2.1.23a" xref="p1.1.m1.1.1.1.2.1.44.1.2.2.1.1.cmml">|</mo>
                    <mrow id="p1.1.m1.1.1.1.2.1.44.1.2.2.3" xref="p1.1.m1.1.1.1.2.1.44.1.2.2.3.cmml">
                      <mi id="p1.1.m1.1.1.1.2.1.24" xref="p1.1.m1.1.1.1.2.1.24.cmml">ρ</mi>
                      <mo id="p1.1.m1.1.1.1.2.1.44.1.2.2.3.1" xref="p1.1.m1.1.1.1.2.1.44.1.2.2.3.1.cmml">⁢</mo>
                      <mrow id="p1.1.m1.1.1.1.2.1.44.1.2.2.3.2" xref="p1.1.m1.1.1.1.2.1.44.1.2.2.3.2.cmml">
                        <mi id="p1.1.m1.1.1.1.2.1.25" xref="p1.1.m1.1.1.1.2.1.25.cmml">ln</mi>
                        <mo id="p1.1.m1.1.1.1.2.1.44.1.2.2.3.2a" xref="p1.1.m1.1.1.1.2.1.44.1.2.2.3.2.cmml">⁡</mo>
                        <mi id="p1.1.m1.1.1.1.2.1.26" xref="p1.1.m1.1.1.1.2.1.26.cmml">ρ</mi>
                      </mrow>
                    </mrow>
                    <mo fence="true" id="p1.1.m1.1.1.1.2.1.27a" xref="p1.1.m1.1.1.1.2.1.44.1.2.2.1.1.cmml">|</mo>
                    <msub id="p1.1.m1.1.1.1.2.1.44.1.2.2.4" xref="p1.1.m1.1.1.1.2.1.44.1.2.2.4.cmml">
                      <mi id="p1.1.m1.1.1.1.2.1.28" xref="p1.1.m1.1.1.1.2.1.28.cmml">r</mi>
                      <mi id="p1.1.m1.1.1.1.2.1.29.1" xref="p1.1.m1.1.1.1.2.1.29.1.cmml">m</mi>
                    </msub>
                    <mo id="p1.1.m1.1.1.1.2.1.30a" xref="p1.1.m1.1.1.1.2.1.44.1.2.2.1.1.cmml">⟩</mo>
                  </mrow>
                </mrow>
              </mrow>
            </mrow>
            <mo id="p1.1.m1.1.1.1.2.1.31" xref="p1.1.m1.1.1.1.2.1.31.cmml">=</mo>
            <mrow id="p1.1.m1.1.1.1.2.1.45" xref="p1.1.m1.1.1.1.2.1.45.cmml">
              <mo id="p1.1.m1.1.1.1.2.1.32" xref="p1.1.m1.1.1.1.2.1.32.cmml">-</mo>
              <mrow id="p1.1.m1.1.1.1.2.1.45.1" xref="p1.1.m1.1.1.1.2.1.45.1.cmml">
                <mi id="p1.1.m1.1.1.1.2.1.33" xref="p1.1.m1.1.1.1.2.1.33.cmml">k</mi>
                <mo id="p1.1.m1.1.1.1.2.1.45.1.1" xref="p1.1.m1.1.1.1.2.1.45.1.1.cmml">⁢</mo>
                <mrow id="p1.1.m1.1.1.1.2.1.45.1.2" xref="p1.1.m1.1.1.1.2.1.45.1.2.cmml">
                  <mstyle displaystyle="true" id="p1.1.m1.1.1.1.2.1.45.1.2.1" xref="p1.1.m1.1.1.1.2.1.45.1.2.1.cmml">
                    <munder id="p1.1.m1.1.1.1.2.1.45.1.2.1a" xref="p1.1.m1.1.1.1.2.1.45.1.2.1.cmml">
                      <mo largeop="true" movablelimits="false" symmetric="true" id="p1.1.m1.1.1.1.2.1.34" xref="p1.1.m1.1.1.1.2.1.34.cmml">∑</mo>
                      <mi id="p1.1.m1.1.1.1.2.1.35.1" xref="p1.1.m1.1.1.1.2.1.35.1.cmml">m</mi>
                    </munder>
                  </mstyle>
                  <mrow id="p1.1.m1.1.1.1.2.1.45.1.2.2" xref="p1.1.m1.1.1.1.2.1.45.1.2.2.cmml">
                    <msub id="p1.1.m1.1.1.1.2.1.45.1.2.2.2" xref="p1.1.m1.1.1.1.2.1.45.1.2.2.2.cmml">
                      <mi id="p1.1.m1.1.1.1.2.1.36" xref="p1.1.m1.1.1.1.2.1.36.cmml">r</mi>
                      <mi id="p1.1.m1.1.1.1.2.1.37.1" xref="p1.1.m1.1.1.1.2.1.37.1.cmml">m</mi>
                    </msub>
                    <mo id="p1.1.m1.1.1.1.2.1.45.1.2.2.1" xref="p1.1.m1.1.1.1.2.1.45.1.2.2.1.cmml">⁢</mo>
                    <mrow id="p1.1.m1.1.1.1.2.1.45.1.2.2.3" xref="p1.1.m1.1.1.1.2.1.45.1.2.2.3.cmml">
                      <mi id="p1.1.m1.1.1.1.2.1.38" xref="p1.1.m1.1.1.1.2.1.38.cmml">ln</mi>
                      <mo id="p1.1.m1.1.1.1.2.1.45.1.2.2.3a" xref="p1.1.m1.1.1.1.2.1.45.1.2.2.3.cmml">⁡</mo>
                      <msub id="p1.1.m1.1.1.1.2.1.45.1.2.2.3.1" xref="p1.1.m1.1.1.1.2.1.45.1.2.2.3.1.cmml">
                        <mi id="p1.1.m1.1.1.1.2.1.39" xref="p1.1.m1.1.1.1.2.1.39.cmml">r</mi>
                        <mi id="p1.1.m1.1.1.1.2.1.40.1" xref="p1.1.m1.1.1.1.2.1.40.1.cmml">m</mi>
                      </msub>
                    </mrow>
                  </mrow>
                </mrow>
              </mrow>
            </mrow>
          </mrow>
        </mtd>
      </mtr>
      <mtr id="p1.1.m1.1.1d" xref="p1.1.m1.1.1.cmml">
        <mtd id="p1.1.m1.1.1e" xref="p1.1.m1.1.1.cmml"/>
        <mtd columnalign="left" id="p1.1.m1.1.1f" xref="p1.1.m1.1.1.cmml">
          <mrow id="p1.1.m1.1.1.2.2.1" xref="p1.1.m1.1.1.2.2.1.cmml">
            <mn id="p1.1.m1.1.1.2.2.1.1" xref="p1.1.m1.1.1.2.2.1.1.cmml">1</mn>
            <mo id="p1.1.m1.1.1.2.2.1.2" xref="p1.1.m1.1.1.2.2.1.2.cmml">≥</mo>
            <msub id="p1.1.m1.1.1.2.2.1.8" xref="p1.1.m1.1.1.2.2.1.8.cmml">
              <mi id="p1.1.m1.1.1.2.2.1.3" xref="p1.1.m1.1.1.2.2.1.3.cmml">r</mi>
              <mi id="p1.1.m1.1.1.2.2.1.4.1" xref="p1.1.m1.1.1.2.2.1.4.1.cmml">m</mi>
            </msub>
            <mo id="p1.1.m1.1.1.2.2.1.5" xref="p1.1.m1.1.1.2.2.1.5.cmml">≥</mo>
            <mn id="p1.1.m1.1.1.2.2.1.6" xref="p1.1.m1.1.1.2.2.1.6.cmml">0</mn>
          </mrow>
        </mtd>
      </mtr>
      <mtr id="p1.1.m1.1.1g" xref="p1.1.m1.1.1.cmml">
        <mtd id="p1.1.m1.1.1h" xref="p1.1.m1.1.1.cmml"/>
        <mtd columnalign="left" id="p1.1.m1.1.1i" xref="p1.1.m1.1.1.cmml">
          <mrow id="p1.1.m1.1.1.3.2.1" xref="p1.1.m1.1.1.3.2.1.cmml">
            <mi id="p1.1.m1.1.1.3.2.1.8" xref="p1.1.m1.1.1.3.2.1.8.cmml"/>
            <mo id="p1.1.m1.1.1.3.2.1.1" xref="p1.1.m1.1.1.3.2.1.1.cmml">⇒</mo>
            <mrow id="p1.1.m1.1.1.3.2.1.9" xref="p1.1.m1.1.1.3.2.1.9.cmml">
              <mi id="p1.1.m1.1.1.3.2.1.2" xref="p1.1.m1.1.1.3.2.1.2.cmml">ln</mi>
              <mo id="p1.1.m1.1.1.3.2.1.9a" xref="p1.1.m1.1.1.3.2.1.9.cmml">⁡</mo>
              <msub id="p1.1.m1.1.1.3.2.1.9.1" xref="p1.1.m1.1.1.3.2.1.9.1.cmml">
                <mi id="p1.1.m1.1.1.3.2.1.3" xref="p1.1.m1.1.1.3.2.1.3.cmml">r</mi>
                <mi id="p1.1.m1.1.1.3.2.1.4.1" xref="p1.1.m1.1.1.3.2.1.4.1.cmml">m</mi>
              </msub>
            </mrow>
            <mo id="p1.1.m1.1.1.3.2.1.5" xref="p1.1.m1.1.1.3.2.1.5.cmml">≤</mo>
            <mn id="p1.1.m1.1.1.3.2.1.6" xref="p1.1.m1.1.1.3.2.1.6.cmml">0</mn>
          </mrow>
        </mtd>
      </mtr>
      <mtr id="p1.1.m1.1.1j" xref="p1.1.m1.1.1.cmml">
        <mtd id="p1.1.m1.1.1k" xref="p1.1.m1.1.1.cmml"/>
        <mtd columnalign="left" id="p1.1.m1.1.1l" xref="p1.1.m1.1.1.cmml">
          <mrow id="p1.1.m1.1.1.4.2.1" xref="p1.1.m1.1.1.4.2.1.cmml">
            <mi id="p1.1.m1.1.1.4.2.1.9" xref="p1.1.m1.1.1.4.2.1.9.cmml"/>
            <mo id="p1.1.m1.1.1.4.2.1.1" xref="p1.1.m1.1.1.4.2.1.1.cmml">⇒</mo>
            <mrow id="p1.1.m1.1.1.4.2.1.10" xref="p1.1.m1.1.1.4.2.1.10.cmml">
              <mi id="p1.1.m1.1.1.4.2.1.2" xref="p1.1.m1.1.1.4.2.1.2.cmml">η</mi>
              <mo id="p1.1.m1.1.1.4.2.1.10.1" xref="p1.1.m1.1.1.4.2.1.10.1.cmml">⁢</mo>
              <mrow id="p1.1.m1.1.1.4.2.1.10.2" xref="p1.1.m1.1.1.4.2.1.10.cmml">
                <mo id="p1.1.m1.1.1.4.2.1.3" xref="p1.1.m1.1.1.4.2.1.10.cmml">(</mo>
                <mi id="p1.1.m1.1.1.4.2.1.4" xref="p1.1.m1.1.1.4.2.1.4.cmml">ρ</mi>
                <mo id="p1.1.m1.1.1.4.2.1.5" xref="p1.1.m1.1.1.4.2.1.10.cmml">)</mo>
              </mrow>
            </mrow>
            <mo id="p1.1.m1.1.1.4.2.1.6" xref="p1.1.m1.1.1.4.2.1.6.cmml">≥</mo>
            <mn id="p1.1.m1.1.1.4.2.1.7" xref="p1.1.m1.1.1.4.2.1.7.cmml">0</mn>
          </mrow>
        </mtd>
      </mtr>
    </mtable>
    <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b">
      <matrix id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">
        <matrixrow id="p1.1.m1.1.1a.cmml" xref="p1.1.m1.1.1">
          <cerror id="p1.1.m1.1.1b.cmml" xref="p1.1.m1.1.1">
            <csymbol cd="ambiguous" id="p1.1.m1.1.1c.cmml" xref="p1.1.m1.1.1">missing-subexpression</csymbol>
          </cerror>
          <apply id="p1.1.m1.1.1.1.2.1.cmml" xref="p1.1.m1.1.1.1.2.1">
            <and id="p1.1.m1.1.1.1.2.1a.cmml" xref="p1.1.m1.1.1.1.2.1"/>
            <apply id="p1.1.m1.1.1.1.2.1b.cmml" xref="p1.1.m1.1.1.1.2.1">
              <eq id="p1.1.m1.1.1.1.2.1.5.cmml" xref="p1.1.m1.1.1.1.2.1.5"/>
              <apply id="p1.1.m1.1.1.1.2.1.42.cmml" xref="p1.1.m1.1.1.1.2.1.42">
                <times id="p1.1.m1.1.1.1.2.1.42.1.cmml" xref="p1.1.m1.1.1.1.2.1.42.1"/>
                <ci id="p1.1.m1.1.1.1.2.1.1.cmml" xref="p1.1.m1.1.1.1.2.1.1">𝜂</ci>
                <ci id="p1.1.m1.1.1.1.2.1.3.cmml" xref="p1.1.m1.1.1.1.2.1.3">𝜌</ci>
              </apply>
              <apply id="p1.1.m1.1.1.1.2.1.43.cmml" xref="p1.1.m1.1.1.1.2.1.43">
                <minus id="p1.1.m1.1.1.1.2.1.6.cmml" xref="p1.1.m1.1.1.1.2.1.6"/>
                <apply id="p1.1.m1.1.1.1.2.1.43.1.cmml" xref="p1.1.m1.1.1.1.2.1.43.1">
                  <times id="p1.1.m1.1.1.1.2.1.43.1.1.cmml" xref="p1.1.m1.1.1.1.2.1.43.1.1"/>
                  <ci id="p1.1.m1.1.1.1.2.1.7.cmml" xref="p1.1.m1.1.1.1.2.1.7">𝑘</ci>
                  <apply id="p1.1.m1.1.1.1.2.1.43.1.2.1.cmml" xref="p1.1.m1.1.1.1.2.1.43.1.2.2">
                    <ci id="p1.1.m1.1.1.1.2.1.9.cmml" xref="p1.1.m1.1.1.1.2.1.9">Tr</ci>
                    <apply id="p1.1.m1.1.1.1.2.1.43.1.2.2.1.cmml" xref="p1.1.m1.1.1.1.2.1.43.1.2.2.1">
                      <times id="p1.1.m1.1.1.1.2.1.43.1.2.2.1.1.cmml" xref="p1.1.m1.1.1.1.2.1.43.1.2.2.1.1"/>
                      <ci id="p1.1.m1.1.1.1.2.1.11.cmml" xref="p1.1.m1.1.1.1.2.1.11">𝜌</ci>
                      <apply id="p1.1.m1.1.1.1.2.1.43.1.2.2.1.2.cmml" xref="p1.1.m1.1.1.1.2.1.43.1.2.2.1.2">
                        <ln id="p1.1.m1.1.1.1.2.1.12.cmml" xref="p1.1.m1.1.1.1.2.1.12"/>
                        <ci id="p1.1.m1.1.1.1.2.1.13.cmml" xref="p1.1.m1.1.1.1.2.1.13">𝜌</ci>
                      </apply>
                    </apply>
                  </apply>
                </apply>
              </apply>
            </apply>
            <apply id="p1.1.m1.1.1.1.2.1c.cmml" xref="p1.1.m1.1.1.1.2.1">
              <eq id="p1.1.m1.1.1.1.2.1.15.cmml" xref="p1.1.m1.1.1.1.2.1.15"/>
              <share href="#p1.1.m1.1.1.1.2.1.43.cmml" id="p1.1.m1.1.1.1.2.1d.cmml" xref="p1.1.m1.1.1.1.2.1"/>
              <apply id="p1.1.m1.1.1.1.2.1.44.cmml" xref="p1.1.m1.1.1.1.2.1.44">
                <minus id="p1.1.m1.1.1.1.2.1.16.cmml" xref="p1.1.m1.1.1.1.2.1.16"/>
                <apply id="p1.1.m1.1.1.1.2.1.44.1.cmml" xref="p1.1.m1.1.1.1.2.1.44.1">
                  <times id="p1.1.m1.1.1.1.2.1.44.1.1.cmml" xref="p1.1.m1.1.1.1.2.1.44.1.1"/>
                  <ci id="p1.1.m1.1.1.1.2.1.17.cmml" xref="p1.1.m1.1.1.1.2.1.17">𝑘</ci>
                  <apply id="p1.1.m1.1.1.1.2.1.44.1.2.cmml" xref="p1.1.m1.1.1.1.2.1.44.1.2">
                    <apply id="p1.1.m1.1.1.1.2.1.44.1.2.1.cmml" xref="p1.1.m1.1.1.1.2.1.44.1.2.1">
                      <csymbol cd="ambiguous" id="p1.1.m1.1.1.1.2.1.44.1.2.1.1.cmml" xref="p1.1.m1.1.1.1.2.1.44.1.2.1">subscript</csymbol>
                      <sum id="p1.1.m1.1.1.1.2.1.18.cmml" xref="p1.1.m1.1.1.1.2.1.18"/>
                      <ci id="p1.1.m1.1.1.1.2.1.19.1.cmml" xref="p1.1.m1.1.1.1.2.1.19.1">𝑚</ci>
                    </apply>
                    <apply id="p1.1.m1.1.1.1.2.1.44.1.2.2.1.cmml" xref="p1.1.m1.1.1.1.2.1.44.1.2.2">
                      <csymbol cd="latexml" id="p1.1.m1.1.1.1.2.1.44.1.2.2.1.1.cmml" xref="p1.1.m1.1.1.1.2.1.20a">quantum-operator-product</csymbol>
                      <apply id="p1.1.m1.1.1.1.2.1.44.1.2.2.2.cmml" xref="p1.1.m1.1.1.1.2.1.44.1.2.2.2">
                        <csymbol cd="ambiguous" id="p1.1.m1.1.1.1.2.1.44.1.2.2.2.1.cmml" xref="p1.1.m1.1.1.1.2.1.44.1.2.2.2">subscript</csymbol>
                        <ci id="p1.1.m1.1.1.1.2.1.21.cmml" xref="p1.1.m1.1.1.1.2.1.21">𝑟</ci>
                        <ci id="p1.1.m1.1.1.1.2.1.22.1.cmml" xref="p1.1.m1.1.1.1.2.1.22.1">𝑚</ci>
                      </apply>
                      <apply id="p1.1.m1.1.1.1.2.1.44.1.2.2.3.cmml" xref="p1.1.m1.1.1.1.2.1.44.1.2.2.3">
                        <times id="p1.1.m1.1.1.1.2.1.44.1.2.2.3.1.cmml" xref="p1.1.m1.1.1.1.2.1.44.1.2.2.3.1"/>
                        <ci id="p1.1.m1.1.1.1.2.1.24.cmml" xref="p1.1.m1.1.1.1.2.1.24">𝜌</ci>
                        <apply id="p1.1.m1.1.1.1.2.1.44.1.2.2.3.2.cmml" xref="p1.1.m1.1.1.1.2.1.44.1.2.2.3.2">
                          <ln id="p1.1.m1.1.1.1.2.1.25.cmml" xref="p1.1.m1.1.1.1.2.1.25"/>
                          <ci id="p1.1.m1.1.1.1.2.1.26.cmml" xref="p1.1.m1.1.1.1.2.1.26">𝜌</ci>
                        </apply>
                      </apply>
                      <apply id="p1.1.m1.1.1.1.2.1.44.1.2.2.4.cmml" xref="p1.1.m1.1.1.1.2.1.44.1.2.2.4">
                        <csymbol cd="ambiguous" id="p1.1.m1.1.1.1.2.1.44.1.2.2.4.1.cmml" xref="p1.1.m1.1.1.1.2.1.44.1.2.2.4">subscript</csymbol>
                        <ci id="p1.1.m1.1.1.1.2.1.28.cmml" xref="p1.1.m1.1.1.1.2.1.28">𝑟</ci>
                        <ci id="p1.1.m1.1.1.1.2.1.29.1.cmml" xref="p1.1.m1.1.1.1.2.1.29.1">𝑚</ci>
                      </apply>
                    </apply>
                  </apply>
                </apply>
              </apply>
            </apply>
            <apply id="p1.1.m1.1.1.1.2.1e.cmml" xref="p1.1.m1.1.1.1.2.1">
              <eq id="p1.1.m1.1.1.1.2.1.31.cmml" xref="p1.1.m1.1.1.1.2.1.31"/>
              <share href="#p1.1.m1.1.1.1.2.1.44.cmml" id="p1.1.m1.1.1.1.2.1f.cmml" xref="p1.1.m1.1.1.1.2.1"/>
              <apply id="p1.1.m1.1.1.1.2.1.45.cmml" xref="p1.1.m1.1.1.1.2.1.45">
                <minus id="p1.1.m1.1.1.1.2.1.32.cmml" xref="p1.1.m1.1.1.1.2.1.32"/>
                <apply id="p1.1.m1.1.1.1.2.1.45.1.cmml" xref="p1.1.m1.1.1.1.2.1.45.1">
                  <times id="p1.1.m1.1.1.1.2.1.45.1.1.cmml" xref="p1.1.m1.1.1.1.2.1.45.1.1"/>
                  <ci id="p1.1.m1.1.1.1.2.1.33.cmml" xref="p1.1.m1.1.1.1.2.1.33">𝑘</ci>
                  <apply id="p1.1.m1.1.1.1.2.1.45.1.2.cmml" xref="p1.1.m1.1.1.1.2.1.45.1.2">
                    <apply id="p1.1.m1.1.1.1.2.1.45.1.2.1.cmml" xref="p1.1.m1.1.1.1.2.1.45.1.2.1">
                      <csymbol cd="ambiguous" id="p1.1.m1.1.1.1.2.1.45.1.2.1.1.cmml" xref="p1.1.m1.1.1.1.2.1.45.1.2.1">subscript</csymbol>
                      <sum id="p1.1.m1.1.1.1.2.1.34.cmml" xref="p1.1.m1.1.1.1.2.1.34"/>
                      <ci id="p1.1.m1.1.1.1.2.1.35.1.cmml" xref="p1.1.m1.1.1.1.2.1.35.1">𝑚</ci>
                    </apply>
                    <apply id="p1.1.m1.1.1.1.2.1.45.1.2.2.cmml" xref="p1.1.m1.1.1.1.2.1.45.1.2.2">
                      <times id="p1.1.m1.1.1.1.2.1.45.1.2.2.1.cmml" xref="p1.1.m1.1.1.1.2.1.45.1.2.2.1"/>
                      <apply id="p1.1.m1.1.1.1.2.1.45.1.2.2.2.cmml" xref="p1.1.m1.1.1.1.2.1.45.1.2.2.2">
                        <csymbol cd="ambiguous" id="p1.1.m1.1.1.1.2.1.45.1.2.2.2.1.cmml" xref="p1.1.m1.1.1.1.2.1.45.1.2.2.2">subscript</csymbol>
                        <ci id="p1.1.m1.1.1.1.2.1.36.cmml" xref="p1.1.m1.1.1.1.2.1.36">𝑟</ci>
                        <ci id="p1.1.m1.1.1.1.2.1.37.1.cmml" xref="p1.1.m1.1.1.1.2.1.37.1">𝑚</ci>
                      </apply>
                      <apply id="p1.1.m1.1.1.1.2.1.45.1.2.2.3.cmml" xref="p1.1.m1.1.1.1.2.1.45.1.2.2.3">
                        <ln id="p1.1.m1.1.1.1.2.1.38.cmml" xref="p1.1.m1.1.1.1.2.1.38"/>
                        <apply id="p1.1.m1.1.1.1.2.1.45.1.2.2.3.1.cmml" xref="p1.1.m1.1.1.1.2.1.45.1.2.2.3.1">
                          <csymbol cd="ambiguous" id="p1.1.m1.1.1.1.2.1.45.1.2.2.3.1.1.cmml" xref="p1.1.m1.1.1.1.2.1.45.1.2.2.3.1">subscript</csymbol>
                          <ci id="p1.1.m1.1.1.1.2.1.39.cmml" xref="p1.1.m1.1.1.1.2.1.39">𝑟</ci>
                          <ci id="p1.1.m1.1.1.1.2.1.40.1.cmml" xref="p1.1.m1.1.1.1.2.1.40.1">𝑚</ci>
                        </apply>
                      </apply>
                    </apply>
                  </apply>
                </apply>
              </apply>
            </apply>
          </apply>
        </matrixrow>
        <matrixrow id="p1.1.m1.1.1d.cmml" xref="p1.1.m1.1.1">
          <cerror id="p1.1.m1.1.1e.cmml" xref="p1.1.m1.1.1">
            <csymbol cd="ambiguous" id="p1.1.m1.1.1f.cmml" xref="p1.1.m1.1.1">missing-subexpression</csymbol>
          </cerror>
          <apply id="p1.1.m1.1.1.2.2.1.cmml" xref="p1.1.m1.1.1.2.2.1">
            <and id="p1.1.m1.1.1.2.2.1a.cmml" xref="p1.1.m1.1.1.2.2.1"/>
            <apply id="p1.1.m1.1.1.2.2.1b.cmml" xref="p1.1.m1.1.1.2.2.1">
              <geq id="p1.1.m1.1.1.2.2.1.2.cmml" xref="p1.1.m1.1.1.2.2.1.2"/>
              <cn type="integer" id="p1.1.m1.1.1.2.2.1.1.cmml" xref="p1.1.m1.1.1.2.2.1.1">1</cn>
              <apply id="p1.1.m1.1.1.2.2.1.8.cmml" xref="p1.1.m1.1.1.2.2.1.8">
                <csymbol cd="ambiguous" id="p1.1.m1.1.1.2.2.1.8.1.cmml" xref="p1.1.m1.1.1.2.2.1.8">subscript</csymbol>
                <ci id="p1.1.m1.1.1.2.2.1.3.cmml" xref="p1.1.m1.1.1.2.2.1.3">𝑟</ci>
                <ci id="p1.1.m1.1.1.2.2.1.4.1.cmml" xref="p1.1.m1.1.1.2.2.1.4.1">𝑚</ci>
              </apply>
            </apply>
            <apply id="p1.1.m1.1.1.2.2.1c.cmml" xref="p1.1.m1.1.1.2.2.1">
              <geq id="p1.1.m1.1.1.2.2.1.5.cmml" xref="p1.1.m1.1.1.2.2.1.5"/>
              <share href="#p1.1.m1.1.1.2.2.1.8.cmml" id="p1.1.m1.1.1.2.2.1d.cmml" xref="p1.1.m1.1.1.2.2.1"/>
              <cn type="integer" id="p1.1.m1.1.1.2.2.1.6.cmml" xref="p1.1.m1.1.1.2.2.1.6">0</cn>
            </apply>
          </apply>
        </matrixrow>
        <matrixrow id="p1.1.m1.1.1g.cmml" xref="p1.1.m1.1.1">
          <cerror id="p1.1.m1.1.1h.cmml" xref="p1.1.m1.1.1">
            <csymbol cd="ambiguous" id="p1.1.m1.1.1i.cmml" xref="p1.1.m1.1.1">missing-subexpression</csymbol>
          </cerror>
          <apply id="p1.1.m1.1.1.3.2.1.cmml" xref="p1.1.m1.1.1.3.2.1">
            <and id="p1.1.m1.1.1.3.2.1a.cmml" xref="p1.1.m1.1.1.3.2.1"/>
            <apply id="p1.1.m1.1.1.3.2.1b.cmml" xref="p1.1.m1.1.1.3.2.1">
              <ci id="p1.1.m1.1.1.3.2.1.1.cmml" xref="p1.1.m1.1.1.3.2.1.1">⇒</ci>
              <csymbol cd="latexml" id="p1.1.m1.1.1.3.2.1.8.cmml" xref="p1.1.m1.1.1.3.2.1.8">absent</csymbol>
              <apply id="p1.1.m1.1.1.3.2.1.9.cmml" xref="p1.1.m1.1.1.3.2.1.9">
                <ln id="p1.1.m1.1.1.3.2.1.2.cmml" xref="p1.1.m1.1.1.3.2.1.2"/>
                <apply id="p1.1.m1.1.1.3.2.1.9.1.cmml" xref="p1.1.m1.1.1.3.2.1.9.1">
                  <csymbol cd="ambiguous" id="p1.1.m1.1.1.3.2.1.9.1.1.cmml" xref="p1.1.m1.1.1.3.2.1.9.1">subscript</csymbol>
                  <ci id="p1.1.m1.1.1.3.2.1.3.cmml" xref="p1.1.m1.1.1.3.2.1.3">𝑟</ci>
                  <ci id="p1.1.m1.1.1.3.2.1.4.1.cmml" xref="p1.1.m1.1.1.3.2.1.4.1">𝑚</ci>
                </apply>
              </apply>
            </apply>
            <apply id="p1.1.m1.1.1.3.2.1c.cmml" xref="p1.1.m1.1.1.3.2.1">
              <leq id="p1.1.m1.1.1.3.2.1.5.cmml" xref="p1.1.m1.1.1.3.2.1.5"/>
              <share href="#p1.1.m1.1.1.3.2.1.9.cmml" id="p1.1.m1.1.1.3.2.1d.cmml" xref="p1.1.m1.1.1.3.2.1"/>
              <cn type="integer" id="p1.1.m1.1.1.3.2.1.6.cmml" xref="p1.1.m1.1.1.3.2.1.6">0</cn>
            </apply>
          </apply>
        </matrixrow>
        <matrixrow id="p1.1.m1.1.1j.cmml" xref="p1.1.m1.1.1">
          <cerror id="p1.1.m1.1.1k.cmml" xref="p1.1.m1.1.1">
            <csymbol cd="ambiguous" id="p1.1.m1.1.1l.cmml" xref="p1.1.m1.1.1">missing-subexpression</csymbol>
          </cerror>
          <apply id="p1.1.m1.1.1.4.2.1.cmml" xref="p1.1.m1.1.1.4.2.1">
            <and id="p1.1.m1.1.1.4.2.1a.cmml" xref="p1.1.m1.1.1.4.2.1"/>
            <apply id="p1.1.m1.1.1.4.2.1b.cmml" xref="p1.1.m1.1.1.4.2.1">
              <ci id="p1.1.m1.1.1.4.2.1.1.cmml" xref="p1.1.m1.1.1.4.2.1.1">⇒</ci>
              <csymbol cd="latexml" id="p1.1.m1.1.1.4.2.1.9.cmml" xref="p1.1.m1.1.1.4.2.1.9">absent</csymbol>
              <apply id="p1.1.m1.1.1.4.2.1.10.cmml" xref="p1.1.m1.1.1.4.2.1.10">
                <times id="p1.1.m1.1.1.4.2.1.10.1.cmml" xref="p1.1.m1.1.1.4.2.1.10.1"/>
                <ci id="p1.1.m1.1.1.4.2.1.2.cmml" xref="p1.1.m1.1.1.4.2.1.2">𝜂</ci>
                <ci id="p1.1.m1.1.1.4.2.1.4.cmml" xref="p1.1.m1.1.1.4.2.1.4">𝜌</ci>
              </apply>
            </apply>
            <apply id="p1.1.m1.1.1.4.2.1c.cmml" xref="p1.1.m1.1.1.4.2.1">
              <geq id="p1.1.m1.1.1.4.2.1.6.cmml" xref="p1.1.m1.1.1.4.2.1.6"/>
              <share href="#p1.1.m1.1.1.4.2.1.10.cmml" id="p1.1.m1.1.1.4.2.1d.cmml" xref="p1.1.m1.1.1.4.2.1"/>
              <cn type="integer" id="p1.1.m1.1.1.4.2.1.7.cmml" xref="p1.1.m1.1.1.4.2.1.7">0</cn>
            </apply>
          </apply>
        </matrixrow>
      </matrix>
    </annotation-xml>
    <annotation encoding="application/x-tex" id="p1.1.m1.1c">{\displaystyle{\displaystyle\begin{aligned} &amp;\displaystyle\eta\left(\rho\right%
)=-k\operatorname{Tr}(\rho\ln\rho)=-k\sum\limits_{m}{\left\langle{{r}_{m}}%
\right|\rho\ln\rho\left|{{r}_{m}}\right\rangle}=-k\sum\limits_{m}{{{r}_{m}}\ln%
{{r}_{m}}}\\
&amp;\displaystyle 1\geq{{r}_{m}}\geq 0\\
&amp;\displaystyle\Rightarrow\ln{{r}_{m}}\leq 0\\
&amp;\displaystyle\Rightarrow\eta\left(\rho\right)\geq 0\\
\end{aligned}}}</annotation>
  </semantics>
</math>

SVG image empty. Force Re-Rendering

SVG (0 B / 8 B) :

MathML (experimental; no images) rendering

MathML (2.382 KB / 498 B) :

\begin{aligned} η (ρ) = - k Tr (ρ \ln ρ) = - k \sum_{m}^{} ⟨ r_{m} | ρ \ln ρ | r_{m} ⟩ = - k \sum_{m}^{} r_{m} \ln r_{m} \\ 1 \geq r_{m} \geq 0 \\ \Rightarrow \ln r_{m} \leq 0 \\ \Rightarrow η (ρ) \geq 0 \end{aligned}

<math class="mwe-math-element" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mrow data-mjx-texclass="ORD"><mtable columnalign="right left right left right left right left right left right left" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true" rowspacing="3pt"><mtr><mtd></mtd><mtd><mi>&#x03B7;</mi><mrow data-mjx-texclass="INNER"><mo data-mjx-texclass="OPEN">(</mo><mi>&#x03C1;</mi><mo data-mjx-texclass="CLOSE">)</mo></mrow><mo>=</mo><mo>&#x2212;</mo><mi>k</mi><mi data-mjx-texclass="OP" mathvariant="normal">Tr</mi><mo>&#x2061;</mo><mo stretchy="false">(</mo><mi>&#x03C1;</mi><mi>ln</mi><mo>&#x2061;</mo><mi>&#x03C1;</mi><mo stretchy="false">)</mo><mo>=</mo><mo>&#x2212;</mo><mi>k</mi><munderover><mo form="prefix" texclass="OP">&#x2211;</mo><mrow data-mjx-texclass="ORD"><mi>m</mi></mrow><mrow data-mjx-texclass="ORD"></mrow></munderover><mrow data-mjx-texclass="ORD"><mrow data-mjx-texclass="INNER"><mo data-mjx-texclass="OPEN">&#x27E8;</mo><msub><mi>r</mi><mrow data-mjx-texclass="ORD"><mi>m</mi></mrow></msub><mo data-mjx-texclass="CLOSE">|</mo></mrow><mi>&#x03C1;</mi><mi>ln</mi><mo>&#x2061;</mo><mi>&#x03C1;</mi><mrow data-mjx-texclass="INNER"><mo data-mjx-texclass="OPEN">|</mo><msub><mi>r</mi><mrow data-mjx-texclass="ORD"><mi>m</mi></mrow></msub><mo data-mjx-texclass="CLOSE">&#x27E9;</mo></mrow></mrow><mo>=</mo><mo>&#x2212;</mo><mi>k</mi><munderover><mo form="prefix" texclass="OP">&#x2211;</mo><mrow data-mjx-texclass="ORD"><mi>m</mi></mrow><mrow data-mjx-texclass="ORD"></mrow></munderover><mrow data-mjx-texclass="ORD"><msub><mi>r</mi><mrow data-mjx-texclass="ORD"><mi>m</mi></mrow></msub><mi>ln</mi><mo>&#x2061;</mo><msub><mi>r</mi><mrow data-mjx-texclass="ORD"><mi>m</mi></mrow></msub></mrow></mtd></mtr><mtr><mtd></mtd><mtd><mn>1</mn><mo>&#x2265;</mo><msub><mi>r</mi><mrow data-mjx-texclass="ORD"><mi>m</mi></mrow></msub><mo>&#x2265;</mo><mn>0</mn></mtd></mtr><mtr><mtd></mtd><mtd><mo>&#x21D2;</mo><mi>ln</mi><mo>&#x2061;</mo><msub><mi>r</mi><mrow data-mjx-texclass="ORD"><mi>m</mi></mrow></msub><mo>&#x2264;</mo><mn>0</mn></mtd></mtr><mtr><mtd></mtd><mtd><mo>&#x21D2;</mo><mi>&#x03B7;</mi><mrow data-mjx-texclass="INNER"><mo data-mjx-texclass="OPEN">(</mo><mi>&#x03C1;</mi><mo data-mjx-texclass="CLOSE">)</mo></mrow><mo>&#x2265;</mo><mn>0</mn></mtd></mtr><mtr><mtd></mtd></mtr></mtable></mrow></mstyle></mrow></math>

Translations to Computer Algebra Systems

Translation to Maple

In Maple:

Translation to Mathematica

In Mathematica:

Identifiers

$η$

$ρ$

$k$

$ρ$

$ρ$

$k$

$m$

$r_{m}$

$ρ$

$ρ$

$r_{m}$

$k$

$m$

$r_{m}$

$r_{m}$

$r_{m}$

$r_{m}$

$η$

$ρ$

MathML observations

0results

no statistics present please run the maintenance script ExtractFeatures.php

0 results

General

LaTeXML (experimental; uses MathML) rendering

MathML (experimental; no images) rendering

Translations to Computer Algebra Systems

Translation to Maple

Translation to Mathematica

Similar pages

Identifiers

MathML observations

Navigation menu

General

LaTeXML (experimental; uses MathML) rendering

MathML (experimental; no images) rendering

Translations to Computer Algebra Systems

Translation to Maple

Translation to Mathematica

Similar pages

Identifiers

MathML observations

Navigation menu

Search