---
bibliography:
- 'BKM\_REF.bib'
---

\[section\] \[thm\]<span>Lemma</span> \[thm\]<span>Corollary</span> \[thm\]<span>Definition</span> \[thm\]<span>Remark</span>

Fermion Correlation Inequalities derived from G- and P-Conditions Correlation Inequalities from G and P

Volker Bach, Hans Konrad Knörr, Edmund Menge Bach, Knörr, Menge

It is shown in this paper that the G-Condition and the P-Condition from representability imply the fermion correlation estimate from @VBA which, in turn, is known to yield a nontrivial bound on the accuracy of the Hartree–Fock approximation for large Coulomb systems.

Primary: 81V70; Secondary: 81V45 and 81V55

Fermion correlation estimate, representability conditions

Volker Bach newtonricardo@example.com

Hans Konrad Knörr h-k.knörr@tu-bs.de

Edmund Menge newtonricardo@example.com Institut für Analysis und Algebra TU Braunschweig Pockelsstraße 14, 38118 Braunschweig

Introduction
============

The dynamics of $N$ electrons in an atom ($K=1$) or molecule ($K \geq
2$) with $K$ nuclei of charges ${{\underline Z}}:= (Z_1, Z_2, \ldots, Z_K)$, fixed at positions ${{\underline R}}:= (R_1, R_2, \ldots, R_K)$, is generated by the Hamiltonian $$\begin{aligned}
H^{(N)}({{\underline Z}},{{\underline R}})\ :=\ 
\sum\limits_{n=1}^{N} 
\Bigg(-\Delta_{x_n} -\sum\limits_{j=1}^{K}\frac{Z_j}{\left|x_n-R_j\right|}\Bigg)
+\sum\limits_{1\leq n<m \leq N} \frac{1}{\left|x_n-x_m\right|} \label{Ham1}\end{aligned}$$ to lowest order in the Born–Oppenheimer approximation. $H^{(N)}({{\underline Z}},{{\underline R}})\equiv H^{(N)}$ is a semibounded, self-adjoint operator defined on a suitable dense domain ${\mathcal{D}}^{(N)}$ in the Hilbert space ${\mathcal{F}}_{\mathrm{f}}^{(N)}[{\mathfrak{h}}]$ of antisymmetric $N$-electron wave functions, cf.  below.

Basic quantities of interest are the ground state energy $$\begin{aligned}
E_{{\mathrm{gs}}}^{(N)}({{\underline Z}},{{\underline R}}) \ := \ \inf\left\{\sigma\left\{H^{(N)}({{\underline Z}},{{\underline R}})\right\}\right\} ,\end{aligned}$$ whose variational characterization $$\begin{aligned}
 \label{eq-1.3}
E_{{\mathrm{gs}}}^{(N)}({{\underline Z}},{{\underline R}})=
\inf \left\{ \left< \Psi^{(N)}\Big|\,H^{(N)}\Psi^{(N)} \right> \Big|\  
\Psi^{(N)} \in {\mathcal{D}}^{(N)} \cap {\mathcal{F}}_{\mathrm{f}}^{(N)}[{\mathfrak{h}}],\ \|\Psi^{(N)}\| = 1 \right\}\end{aligned}$$ is given by the Rayleigh–Ritz principle, and corresponding ground states $\Psi_{{\mathrm{gs}}}^{(N)}$, i.e., normalized solutions of the stationary Schrödinger equation $$\begin{aligned}
H^{(N)}({{\underline Z}},{{\underline R}}) \Psi_{{\mathrm{gs}}}^{(N)} 
\ = \
E_{{\mathrm{gs}}}^{(N)}({{\underline Z}},{{\underline R}}) \Psi_{{\mathrm{gs}}}^{(N)} .\end{aligned}$$ The Hartree–Fock (HF) variational principle is an important method to obtain approximations to both, the ground state energy and ground states. The HF energy $E_{{\mathrm{hf}}}^{(N)}({{\underline Z}},{{\underline R}})$ is defined by restricting the variation in to ${{\mathcal{SD}}}^{(N)}[{\mathfrak{h}}]$, $$\begin{aligned}
 \label{eq-1.5}
\nonumber E_{{\mathrm{hf}}}^{(N)}&({{\underline Z}},{{\underline R}})\\
&=\inf\left\{ \left< \Phi^{(N)}\Big|\,H^{(N)}\Phi^{(N)} \right> \Big|\  
\Phi^{(N)} \in {\mathcal{D}}^{(N)} \cap {{\mathcal{SD}}}^{(N)}[{\mathfrak{h}}],\ \|\Phi^{(N)}\| = 1 \right\},\end{aligned}$$ where ${{\mathcal{SD}}}^{(N)}[{\mathfrak{h}}] \subseteq {\mathcal{F}}_{\mathrm{f}}^{(N)}[{\mathfrak{h}}]$ denotes the set of Slater determinants, i.e., the set of all antisymmetrized product vectors ${{\varphi}}_1 \wedge \cdots \wedge {{\varphi}}_N$. Since the variation in , compared to , is restricted, we clearly have $$\begin{aligned}
E_{{\mathrm{hf}}}^{(N)}({{\underline Z}},{{\underline R}}) 
\ \geq \
E_{{\mathrm{gs}}}^{(N)}({{\underline Z}},{{\underline R}}). \end{aligned}$$ A lower bound to the ground state energy by the HF energy minus an error which is small in the large-$Z$ limit was obtained by one of us in @VBA [@VB2]. In the case of a neutral atom, i.e., $N =
Z := Z_1$ and $R_1 =0$, the resulting estimate was $$\begin{aligned}
 \label{eq-1.7}
E_{{\mathrm{gs}}}^{(Z)}(Z) 
\ \geq \
E_{{\mathrm{hf}}}^{(Z)}(Z) - {\mathcal{O}}\big( Z^{(5/3) - {{\varepsilon}}}\big) ,\end{aligned}$$ for some ${{\varepsilon}}>0$. The error term ${\mathcal{O}}( Z^{(5/3) - {{\varepsilon}}})$ is small compared to all three contributions to $E_{{\mathrm{hf}}}^{(Z)}(Z)$, namely, the kinetic, the classical electrostatic, and the exchange energy which are at least of size $c Z^{5/3}$ in magnitude for some constant $c >0$.

A key inequality derived in @VBA that eventually lead to is the fermion correlation estimate $$\begin{aligned}
 \label{eq-1.8}
{\mathrm{tr}_2\left\{(X \otimes X) \Gamma^{\left(\mathrm{T}\right)}\right\}}\ \geq\ 
-\, {\mathrm{tr}_1\left\{ X \gamma\right\}}\min\left\{ 1;\ \mathrm{const}\cdot\sqrt{{\mathrm{tr}_1\left\{X \left(\gamma - \gamma^2\right)\right\}}}\right\}\end{aligned}$$

where $X = X^* = X^2$ is an orthogonal projection, $\Gamma^{\left(\mathrm{T}\right)} := \Gamma - (1 - {{\mathrm{Ex}}})(\gamma \otimes \gamma)$, $\Gamma
\equiv \Gamma_{\Phi^{(N)}}$ is the two-particle and $\gamma \equiv
\gamma_{\Phi^{(N)}}$ the one-particle density matrix of a normalized $N$-electron state $\Phi^{(N)} \in {\mathcal{F}}_{\mathrm{f}}^{(N)}[{\mathfrak{h}}]$.

The purpose of the present paper is to give an alternative derivation of by using ideas originating from the theory of $N$-representability. More precisely, we show that follows already from the G-Condition and the P-Condition specified by Garrod and Percus @CJP and Coleman @AJC.

Observing that the Rayleigh–Ritz principle can be rewritten as a variation over all $N$-representable two-particle density matrices $\Gamma$, we consequently obtain from relaxing the requirement of $N$-representability of $\Gamma$ to merely requiring $\Gamma$ to fulfill the G-Condition and the P-Condition:

The G-Condition and the P-Condition imply .

We note that (\[eq-1.8\]) was also derived by Graf and Solovej in @SVG by a different method that, in retrospective, resembles the application of Garrod and Percus' G-Condition. In fact, one part of the derivation in @SVG follows already from the G-Condition. A main difference to using representability methods, however, lies in the use of operator inequalities in @SVG which are necessarily formulated on the $N$-particle Hilbert space, as opposed to the one- or two-particle Hilbert spaces in the presented work.\
 \
In future work we plan to sharpen this result by making additional use of Erdahl's $\text{T}_1$- and $\text{T}_2$-Conditions @RME [@RME2] which have recently lead to very good numerical results in quantum chemistry computations @CML [@MAZ; @UBS], as well as Coleman's Q-Condition which was also given in @AJC but is not necessary for the derivation of our present result. Furthermore, similar representability conditions also exist for bosons @MAZ. There we like to adress the question whether analogous results can also be obtained.  \
 \
We would like to thank Gero Friesecke, Peter Müller and Heinz Siedentop for fruitful remarks and discussions. H. K. K. and E. M. were partially supported by the MPGC Mainz and the ESI.

Density Matrices and Reduced Density Matrices
=============================================

Fock space, Creation and Annihilation Operators
-----------------------------------------------

Let ${\mathfrak{h}}$ be a separable complex Hilbert space which we henceforth refer to as the one-particle Hilbert space. The fermion Fock space ${\mathcal{F}}\equiv{\mathcal{F}}_{\mathrm{f}}[{\mathfrak{h}}]$ is defined to be the orthogonal sum $$\begin{aligned}
 {\mathcal{F}}_{\mathrm{f}}[{\mathfrak{h}}]:=\bigoplus_{N=0}^{\infty}{\mathcal{F}}_{\mathrm{f}}^{(N)}[{\mathfrak{h}}],\end{aligned}$$ where $$\begin{aligned}
 {\mathcal{F}}_{\mathrm{f}}^{(N)}[{\mathfrak{h}}]:=\stackrel{N}{\bigwedge}{\mathfrak{h}}:=
    {\mathcal{A}}_{N}\Big(\stackrel{N}{\bigotimes}{\mathfrak{h}}\Big)\end{aligned}$$ is the antisymmetric tensor product of $N$ copies of ${\mathfrak{h}}$, for $N\geq 1$, and ${\mathcal{F}}_{\mathrm{f}}^{(0)}[{\mathfrak{h}}]:=\mathbbm{C}\cdot\Omega$, with $\Omega$ being the normalized vacuum vector. Here, ${\mathcal{A}}_{N}$ is the orthogonal projection from $\stackrel{N}{\bigotimes}{\mathfrak{h}}$ onto $\stackrel{N}{\bigwedge}{\mathfrak{h}}$ uniquely defined by $$\begin{aligned}
\nonumber {\mathcal{A}}_{N}\left(\varphi_1\otimes\cdots\otimes\varphi_N\right)&:=
    \frac{1}{N!}\sum\limits_{\pi\in\mathcal{S}_N}\left(-1\right)^{\pi}\varphi_{\pi(1)}
    \otimes\cdots\otimes\varphi_{\pi(N)}\\
    &=:\frac{1}{\sqrt{N!}}\varphi_1\wedge\cdots\wedge\varphi_N,\end{aligned}$$ for $\varphi_1,\dots,\varphi_N\in{\mathfrak{h}}$. It is convenient to introduce creation operators $\e(f)\in{\mathcal{B}}({\mathcal{F}})$ for any $f\in{\mathfrak{h}}$ by $$\begin{aligned}
 \e(f)\Omega:=f, \label{DefCre1}\end{aligned}$$ $$\begin{aligned}
 \e(f)\left(\varphi_1\wedge\cdots\wedge\varphi_N\right):=f\wedge\varphi_1\wedge\cdots\wedge\varphi_N 
                                                  \label{DefCre2}\end{aligned}$$ for $\varphi_1,\dots,\varphi_N\in{\mathfrak{h}}$, and extension by linearity and continuity. By induction and (\[DefCre1\])-(\[DefCre2\]) $$\begin{aligned}
 \varphi_1\wedge\varphi_2\wedge\cdots\wedge\varphi_N=\e(\varphi_1)\e(\varphi_2)
    \cdots\e(\varphi_N)\Omega \label{AufbauSD}\end{aligned}$$ for all $\varphi_1,\varphi_2,\dots,\varphi_N\in{\mathfrak{h}}$. If $\left\{\varphi_k\right\}_{k=1}^{\infty}\subseteq{\mathfrak{h}}$ is an orthonormal basis (ONB) of ${\mathfrak{h}}$, then for any $N\in\mathbbm{N}$ $$\begin{aligned}
 \left\{ \e(\varphi_{k_1})\cdots\e(\varphi_{k_N})\Omega |\ 1\leq k_1<k_2
      <\dots<k_N\right\}\subseteq{\mathcal{F}}_{\mathrm{f}}^{(N)}[{\mathfrak{h}}] \label{ONBFN}\end{aligned}$$ is an ONB of ${\mathcal{F}}_{\mathrm{f}}^{(N)}[{\mathfrak{h}}]$, and $$\begin{aligned}
 \left\{ \e(\varphi_{k_1})\cdots\e(\varphi_{k_N})\Omega 
      |\ N\in\mathbbm{N}_0,\ 1\leq k_1<k_2<\dots<k_N\right\}\subseteq{\mathcal{F}}\label{ONBF}\end{aligned}$$ is an ONB of ${\mathcal{F}}$. The adjoint operators $\v(f):=\left(\e(f)\right)^*\in{\mathcal{B}}({\mathcal{F}})$, with $f\in{\mathfrak{h}}$, are the annihilation operators. Note that, while $f\mapsto\e(f)$ is linear, $f\mapsto\v(f)$ is antilinear. Together with the creation operators they fulfill the canonical anticommutation relations (CAR), i.e., $$\begin{aligned}
 \forall f,g\in{\mathfrak{h}}:\ \left\{\v(f),\e(g)\right\}=\left<f|g\right>_{{\mathfrak{h}}}\cdot\mathbbm{1}_{{\mathcal{F}}},
    \quad \left\{\e(f),\e(g)\right\} = 0, \label{DefCAR}\end{aligned}$$ where $\left\{A,B\right\}:=AB+BA$ denotes the anticommutator.\
Moreover, $$\begin{aligned}
 \forall f\in{\mathfrak{h}}:\ \v(f)\Omega=0, \label{DefAni2}\end{aligned}$$ and $\left\{\e(f),\v(f)|\ f\in{\mathfrak{h}}\right\}$ is completely determined by (\[DefCre1\]), (\[DefCAR\]) and (\[DefAni2\]), i.e., (\[DefCre2\])-(\[ONBF\]) follow from (\[DefCre1\]), (\[DefCAR\]) and (\[DefAni2\]). The creation and annihilation operators introduced here are a specific representation of the (abstract) CAR (\[DefCAR\]), namely the Fock representation. For $\varphi_k$ being any element of a given ONB $\left\{\varphi_k\right\}_{k=1}^{\infty}\subseteq{\mathfrak{h}}$, we write $$\begin{aligned}
  \e_k\equiv\e(\varphi_k),\ \v_k\equiv\v(\varphi_k).\end{aligned}$$ An important unbounded, self-adjoint and positive operator on ${\mathcal{F}}$ is the number operator $\widehat{\mathbbm{N}}$ defined by $$\begin{aligned}
 \widehat{\mathbbm{N}}\left(\e(f_1)\cdots\e(f_N)\Omega\right)
    :=N\cdot\e(f_1)\cdots\e(f_N)\Omega\end{aligned}$$ for any $f_1,\dots,f_N\in{\mathfrak{h}}$. It is not difficult to see that $$\begin{aligned}
 \widehat{\mathbbm{N}}=\sum\limits_{k=1}^{\infty}\e_k\v_k\end{aligned}$$ as a quadratic form, for any ONB $\left\{\varphi_k\right\}_{k=1}^{\infty}\subseteq{\mathfrak{h}}$.

Density Matrices
----------------

A positive trace class operator $\rho\in{\mathcal{L}}_{+}^{1}({\mathcal{F}})$ of unit trace, $\text{tr}_{{\mathcal{F}}}\left\{\rho\right\}=1$, is called density matrix. Given a density matrix $\rho$, the map $A\mapsto \text{tr}_{{\mathcal{F}}}\left\{\rho\, A\right\}$ defines a state, i.e., a normalized, linear, and positive functional on ${\mathcal{B}}({\mathcal{F}})\ni A$. If $\Psi\in{\mathcal{F}}$ is a normalized vector, then $\left|\Psi\right>\left<\Psi\right|$ is a density matrix (of rank one) called pure state. In this paper we study fermion systems with a repulsive interaction and whose dynamics preserve the particle number. For this reason we restrict our attention to density matrices which commute with the particle number operator and have a finite squared particle number expectation value, $$\begin{aligned}
 \rho= \bigoplus_{N=0}^{\infty} \rho^{(N)},\quad\text{and}\quad 
  \big<\widehat{\mathbbm{N}}^2\big>_{\rho}<\infty \label{rhoF},\end{aligned}$$ where here and henceforth we denote for any $A\in{\mathcal{B}}({\mathfrak{h}})$ $$\begin{aligned}
 \left<A\right>_{\rho}:=
    {\mathrm{tr}_{\mathcal{F}}\left\{\rho^{\frac{1}{2}}A\rho^{\frac{1}{2}}\right\}}.\end{aligned}$$ Note that, if $m\neq n,\ m,n\geq0$, then $\text{tr}_{{\mathcal{F}}}\left\{\rho\,\e(f_1)
        \cdots\e(f_m)\v(g_1)\cdots\v(g_n)\right\}=0$ for any choice of $f_1,\dots,f_m,g_1,\dots,g_n\in{\mathfrak{h}}$, due to (\[rhoF\]).

Reduced Density Matrices
------------------------

Given a density matrix $\rho\in{\mathcal{L}}_{+}^{1}({\mathcal{F}})$ subject to (\[rhoF\]), we introduce two bounded operators, $\gamma_{\rho}\in{\mathcal{B}}({\mathfrak{h}})$ and $\Gamma_{\rho}\in{\mathcal{B}}({\mathfrak{h}}\otimes{\mathfrak{h}})$, by $$\begin{aligned}
 \forall f,g\in{\mathfrak{h}}:\ \left<f |\,\gamma_\rho g\right>&:=\text{tr}_{{\mathcal{F}}}\left\{\rho\, \e(g)
          \v(f)\right\}\label{1pdm}\end{aligned}$$ and $$\begin{aligned}
 \forall f_1, f_2 ,g_1 , g_2 \in {\mathfrak{h}}:\ \left<f_1\otimes f_2 |\, \Gamma_\rho( g_1\otimes g_2)\right> 
:=\text{tr}_{{\mathcal{F}}}\left\{\rho\,\e(g_2)\e(g_1)\v(f_1)\v(f_2)\right\}. \label{2pdm}\end{aligned}$$ $\gamma_\rho$ is called the one-particle density matrix (1-pdm) and $\Gamma_\rho$ the two-particle density matrix (2-pdm) corresponding to $\rho$. For any ONB $\left\{\varphi_k\right\}_{k=1}^{\infty}\subseteq{\mathfrak{h}}$ we define the exchange operator $\mathrm{Ex}\in\mathcal{B}\left({\mathfrak{h}}\otimes{\mathfrak{h}}\right)$ by $$\begin{aligned}
 \mathrm{Ex}:=\sum\limits_{k,l=1}^\infty\left|{\varphi}_k\otimes{\varphi}_l\right>\left<{\varphi}_l\otimes{\varphi}_k\right|,\end{aligned}$$ such that $\mathrm{Ex}\left(f\otimes g\right)=g\otimes f$. Then the CAR leads to the antisymmetry property of $\Gamma_\rho$: $$\begin{aligned}
 \mathrm{Ex}\,\Gamma_\rho=-\Gamma_\rho=\Gamma_\rho\,\mathrm{Ex}.\end{aligned}$$  \
The following properties of the 1-pdm and the 2-pdm are easily proven (we denote $\text{tr}_1 := \text{tr}_{{\mathfrak{h}}}$ and $\text{tr}_2 := \text{tr}_{{\mathfrak{h}}\otimes {\mathfrak{h}}}$):

Let $\rho\in{\mathcal{L}}_{+}^{1}({\mathcal{F}})$ be a density matrix obeying (\[rhoF\]). Then the following assertions hold true:

-   $\gamma_\rho\in{\mathcal{L}}_{+}^{1}({\mathfrak{h}}),\quad 0\leq\gamma_\rho\leq \mathbbm{1},\quad {\mathrm{tr}_1\left\{\gamma_\rho\right\}}
    =\big<\widehat{\mathbbm{N}}\big>_{\rho},\quad\Gamma_\rho\in{\mathcal{L}}_{+}^{1}({\mathfrak{h}}\otimes{\mathfrak{h}}),\\ 0\leq
    \Gamma_\rho\leq\big<\widehat{\mathbbm{N}}\big>_{\rho},\ \text{and}\quad {\mathrm{tr}_2\left\{\Gamma_\rho\right\}}
    =\big<\widehat{\mathbbm{N}}\big(\widehat{\mathbbm{N}}-1\big)\big>_{\rho}$.

-   If $\mathrm{Ran}\left\{\rho\right\}\subseteq{\mathcal{F}}_{\mathrm{f}}^{(N)}$, then, for all $f,g\in{\mathfrak{h}}$, $$\begin{aligned}
         \left<f|\,\gamma_\rho g\right>= \frac{1}{N-1}\sum\limits_{k=1}^{\infty}\left<f\otimes\varphi_k 
          |\,\Gamma_\rho(g\otimes\varphi_k)\right>,
        \end{aligned}$$ where $\left\{\varphi_k\right\}_{k=1}^{\infty}\subseteq{\mathfrak{h}}$ is an ONB.

-   Furthermore, $$\begin{aligned}
        \rho=\left|\e(\varphi_1)\cdots\e(\varphi_N)\Omega\right>
        \left<\e(\varphi_1)\cdots\e(\varphi_N)\Omega\right|\ \ \Leftrightarrow \ \ 
        \gamma_\rho=\sum\limits_{i=1}^{N}\left|\varphi_i\right>\left<\varphi_i\right|
        \end{aligned}$$ and, in this case, $$\begin{aligned}
         \Gamma_\rho=\left(1-\mathrm{Ex}\right)\left(\gamma_\rho\otimes\gamma_\rho\right).
        \end{aligned}$$

Hamiltonian and Ground State Energy
-----------------------------------

Recall from (\[Ham1\]) that the Hamiltonian of an atom or molecule is given by $$\begin{aligned}
H^{(N)}(\underline{Z},\underline{R}):=\sum\limits_{n=1}^{N}\left(-\Delta_{x_{n}}-
\sum\limits_{k=1}^{K}\frac{Z_{k}}{\left|x_{n}-R_{k}\right|}\right)+\sum\limits_{1\leq n<m\leq N}
\frac{1}{\left|x_{n}-x_{m}\right|}. \label{Hamiltonian}\end{aligned}$$ Choosing an ONB $\left\{\varphi_k\right\}_{k=1}^{\infty}\subseteq {\mathfrak{h}}=\text{L}^2\left(\mathbbm{R}^3\times
\mathbbm{Z}_2\right)$ such that $\left\{\varphi_k\right\}_{k=1}^{\infty}\subseteq \text{H}^2
\left(\mathbbm{R}^3\times\mathbbm{Z}_2\right)$, where $\text{H}^2\left(\mathbbm{R}^3\times\mathbbm{Z}_2\right)$ denotes the Sobolev space, we define $$\begin{aligned}
 &h_{kl}:=\left<\varphi_{k}\Bigg|\left(-\Delta_x-\sum\limits_{k=1}^{K}\frac{Z_k}{\left|x-R_k\right|}\right)
\varphi_l \right>,\\
 &V_{kl;mn}:=\left< \varphi_{k} \otimes \varphi_{l} \bigg| \frac{1}{\left|x-y\right|}\left(\varphi_m \otimes 
\varphi_n \right) \right>,\end{aligned}$$ and $$\begin{aligned}
\widehat{\mathbbm{H}}:=\sum\limits_{k,l=1}^{\infty}h_{kl}\,\e_{k}\v_{l}+\sum\limits_{k,l,m,n=1}^{\infty}
V_{kl;mn}\,\e_{l}\e_{k}\v_{m}\v_{n}.\end{aligned}$$ Stability of matter ensures that $\widehat{\mathbbm{H}}+\mu \widehat{\mathbbm{N}}$ is a semibounded self-adjoint operator, provided $\mu<\infty$ is sufficiently large. Moreover, the Hamiltonian of an atom or molecule can be viewed as $$\begin{aligned}
 H^{(N)}(\underline{Z},\underline{R})=
\widehat{\mathbbm{H}}\big|_{{\mathcal{F}}_{\mathrm{f}}^{(N)}\left[{\mathfrak{h}}\right]},\end{aligned}$$ i.e., $H^{(N)}(\underline{Z},\underline{R})$ is the restriction of $\widehat{\mathbbm{H}}$ to ${\mathcal{F}}_{\mathrm{f}}^{(N)}\left[{\mathfrak{h}}\right]$. The ground state energy can now be reexpressed as $$\begin{aligned}
 \nonumber E_{\text{gs}}^{(N)}(\underline{Z},\underline{R})&=\inf\left\{  
\text{tr}_{{\mathcal{F}}}\left\{\rho^{\frac{1}{2}}\widehat{\mathbbm{H}}\rho^{\frac{1}{2}}\right\} \Big|\  
\rho\in{\mathcal{L}}_{+}^1({\mathcal{F}}),\ \widehat{\mathbbm{N}}\,\rho=N\rho,\ {\mathrm{tr}_{\mathcal{F}}\left\{\rho\right\}}=1\right\}\\
    &=\inf\left\{\mathcal{E}\left(\gamma_\rho,\Gamma_\rho\right) \Big|\ \rho\in{\mathcal{L}}_{+}^1({\mathcal{F}}),\ 
\widehat{\mathbbm{N}}\,\rho=N\rho,\ {\mathrm{tr}_{\mathcal{F}}\left\{\rho\right\}}=1 \right\},\end{aligned}$$ where the energy functional is defined as $$\begin{aligned}
 \mathcal{E}\left(\gamma_\rho,\Gamma_\rho\right):=\text{tr}_1\left\{h\gamma_\rho\right\}+\frac{1}{2}\,
\text{tr}_2\left\{V\Gamma_\rho\right\}.\end{aligned}$$ We call $\left(\gamma,\Gamma\right)\in{\mathcal{B}}({\mathfrak{h}})\times{\mathcal{B}}({\mathfrak{h}}\otimes{\mathfrak{h}})$ if there exists a density matrix $\rho\in{\mathcal{L}}_+^1({\mathcal{F}})$ with $\widehat{\mathbbm{N}}\,\rho=N\rho\ \text{and}\ \text{tr}_{{\mathcal{F}}}\left\{\rho\right\}=1$ such that $\gamma=\gamma_\rho$ and $\Gamma=\Gamma_\rho$. Using the notion of $N$-representability, the ground state energy can be rewritten as $$\begin{aligned}
 E_{\text{gs}}^{(N)}=\inf\left\{\mathcal{E}\left(\gamma,\Gamma\right)\Big|\ 
\left(\gamma,\Gamma\right)\ \text{is}\ N\text{-representable}\right\}. \end{aligned}$$ By Lemma 2.1, we have that $$\begin{aligned}
 E_{\text{hf}}^{(N)}=\inf\left\{\mathcal{E}\Big(\gamma,(1-\text{Ex})
(\gamma\otimes\gamma)\Big)\Big|\ \gamma=\gamma^*=\gamma^2,\ \text{tr}_1\left\{\gamma\right\}=N\right\},\end{aligned}$$ and Lieb's variational principle @EHL [@VBA] ensures that actually $$\begin{aligned}
 E_{\text{hf}}^{(N)}=\inf\left\{\mathcal{E}\Big(\gamma,(1-\text{Ex})
(\gamma\otimes\gamma)\Big)\Big|\ 0\leq \gamma\leq 1,\ \text{tr}_1\left\{\gamma\right\}=N\right\}. \end{aligned}$$

G-, P- and Q-Conditions
=======================

In this section we derive necessary conditions on $\left(\gamma,\Gamma\right)$ to be $N$-representable. To this end, we assume $N\in\mathbbm{N}$, $\gamma\in{\mathcal{L}}^1({\mathfrak{h}})$ with $0\leq \gamma\leq 1$ and ${\mathrm{tr}_1\left\{\gamma\right\}}=N$, $\Gamma\in{\mathcal{L}}^1({\mathfrak{h}}\otimes{\mathfrak{h}})$, $\mathrm{Ex}\,\Gamma=\Gamma\,\mathrm{Ex}=-\,\Gamma$, and we call $\left(\gamma, \Gamma\right)$ admissible in this case.

-   $\left(\gamma,\Gamma\right)$ fulfills the P-Condition $$\begin{aligned}
         :\Leftrightarrow \Gamma\geq 0.\label{PBed} 
         \end{aligned}$$

-   $\left(\gamma,\Gamma\right)$ fulfills the G-Condition $$\begin{aligned}
       :\Leftrightarrow\forall A\in{\mathcal{B}}({\mathfrak{h}}):\ {\mathrm{tr}_2\left\{\left(A^*\otimes A\right)\left(\Gamma+\mathrm{Ex}
        \left(\gamma\otimes \mathbbm{1}\right)\right)\right\}}\geq\left|{\mathrm{tr}_1\left\{A\gamma\right\}}\right|^2. \label{GBed}
        \end{aligned}$$

-   $\left(\gamma,\Gamma\right)$ fulfills the Q-Condition $$\begin{aligned}
     :\Leftrightarrow \Gamma+(1-\mathrm{Ex})(\mathbbm{1}\otimes\mathbbm{1}-\gamma\otimes\mathbbm{1}
        -\mathbbm{1}\otimes\gamma)\geq 0.\label{QBed}
        \end{aligned}$$

Our main result of this section is

\[mthm3\] Let $\rho\in{\mathcal{L}}^{1}({\mathcal{F}})$ (not necessarily positive) such that ${\mathrm{tr}_{\mathcal{F}}\left\{\rho\right\}}=1$, ${\mathrm{tr}_{\mathcal{F}}\left\{\left|\rho\right|^{\frac{1}{2}}\widehat{\mathbbm{N}}^2\left|\rho\right|^{\frac{1}{2}}\right\}}<\infty$, and that $\rho$ preserves the particle number, i.e., $\left[\widehat{\mathbbm{N}},\rho\right]=0$. Define $\gamma_\rho$ and $\Gamma_\rho$ by (\[1pdm\]) and (\[2pdm\]), respectively, and let $\left\{{\varphi}_k\right\}_{k=1}^\infty\subseteq{\mathfrak{h}}$ be an ONB. Then the following two statements are equivalent.

-   If ${\mathcal{P}}_r\in{\mathcal{B}}({\mathcal{F}})$ is a polynomial in $
        \left\{\e_k,\v_k\right\}_{k=1}^{\infty}$ of degree $r\leq 2$, then $$\begin{aligned}
        {\mathrm{tr}_{\mathcal{F}}\left\{\rho\,{\mathcal{P}}_r^*{\mathcal{P}}_r\right\}}\geq 0.
        \end{aligned}$$

-   $\left(\gamma_\rho,\Gamma_\rho\right)$ is admissible and fulfills the G-, P- and Q-Conditions.

Before we turn to the proof of Theorem \[mthm3\], we establish its finite-dimensional analogue in Lemma \[lem3\] below. Theorem \[mthm3\] then follows from Lemma \[lem3\] by a limiting argument.

\[lem3\] Let $\rho\in{\mathcal{L}}^{1}({\mathcal{F}})$ (not necessarily positive) such that ${\mathrm{tr}_{\mathcal{F}}\left\{\rho\right\}}=1$, ${\mathrm{tr}_{\mathcal{F}}\left\{\left|\rho\right|^{\frac{1}{2}}\widehat{\mathbbm{N}}^2\left|\rho\right|^{\frac{1}{2}}\right\}}<\infty$, and that $\rho$ preserves the particle number, i.e., $\left[\widehat{\mathbbm{N}},\rho\right]=0$. Define $\gamma_\rho$ and $\Gamma_\rho$ by (\[1pdm\]) and (\[2pdm\]), respectively, and let $\left\{{\varphi}_k\right\}_{k=1}^\infty\subseteq{\mathfrak{h}}$ be an ONB. Then the following statements are equivalent.

-   If ${\mathcal{P}}_r\in{\mathcal{B}}({\mathcal{F}})$ is a polynomial in $\left\{\e_k,\v_k\right\}_{k=1}^{\infty}$ of degree $r\leq 2$, then $$\begin{aligned}
        {\mathrm{tr}_{\mathcal{F}}\left\{\rho\,{\mathcal{P}}_r^*{\mathcal{P}}_r\right\}}\geq 0 \label{posi}. 
        \end{aligned}$$

-   For any $\phi\in\mathrm{span}\left\{{\varphi}_k|\ k\in\mathbbm{N}\right\}$, $\Psi\in\mathrm{span}\left\{{\varphi}_k\otimes{\varphi}_l|\ k,l\in\mathbbm{N}\right\}$, we have $$\begin{aligned}
        0\leq \left<\phi|\, \gamma_\rho\phi\right>\leq 1,\phantom{.............................} \label{preas}\\
        \left<\Psi |\, \Gamma_\rho \Psi\right>\geq 0,\phantom{..............................} \label{psdp}\\
        \left<\Psi |\left(\Gamma_\rho +(1-\mathrm{Ex})(\mathbbm{1}
        \otimes\mathbbm{1}-\gamma_\rho\otimes\mathbbm{1}-\mathbbm{1}\otimes\gamma_\rho)\right)\Psi\right>\geq 0,
        \label{psdq}
          \end{aligned}$$ and, for all $A:=\sum\limits_{k,l=1}^{M}\alpha_{kl}\left|{\varphi}_k\right>\left<{\varphi}_l\right|$, $M<\infty$, $\left(\alpha_{kl}\right)_{k,l=1}^M\in\mathbbm{C}^{M\times M}$, $$\begin{aligned}
            {\mathrm{tr}_2\left\{\left(A^*\otimes A\right)\left(\Gamma_\rho+\mathrm{Ex}
        \left(\gamma_\rho\otimes \mathbbm{1}\right)\right)\right\}}\geq\left|{\mathrm{tr}_1\left\{A\gamma_\rho\right\}}\right|^2. \label{psdg}
        \end{aligned}$$

First we show <span>*(i)*</span> $\Rightarrow$ <span>*(ii)*</span>. The properties (\[preas\])-(\[psdg\]) of $\left(\gamma_\rho,\Gamma_\rho\right)$ can be checked by suitable choices of ${\mathcal{P}}_r$.

-   The first inequality of (\[preas\]) follows by choosing ${\mathcal{P}}_1:=\sum\limits_{i=1}^M\overline{\alpha}_i \v_i$, where $\alpha_i\in\mathbbm{C}$ and $M<\infty$: $$\begin{aligned}
        \nonumber 0\leq {\mathrm{tr}_{\mathcal{F}}\left\{\rho\,{\mathcal{P}}_1^*{\mathcal{P}}_1\right\}}&=\sum\limits_{i,j=1}^M\alpha_i\overline{\alpha}_j{\mathrm{tr}_{\mathcal{F}}\left\{\rho\,\e_i \v_j\right\}}\\
         &=\sum\limits_{j=1}^M\sum\limits_{i=1}^M\left<\alpha_j\varphi_j |\, \gamma_\rho(
              \alpha_i\varphi_i)\right>=\left<\phi_M\big|\,\gamma_\rho\phi_M\right>, \label{g1}
        \end{aligned}$$ with $\phi_M:=\sum\limits_{i=1}^{M}\alpha_i\varphi_i
        \in\mathrm{span}\left\{{\varphi}_k|\ k\in\mathbbm{N}\right\}$. The second inequality derives from the CAR and ${\mathcal{P}}_1:=\sum\limits_{i=1}^{M}\alpha_i\e_i$: $$\begin{aligned}
        \nonumber 0\leq {\mathrm{tr}_{\mathcal{F}}\left\{\rho\,{\mathcal{P}}_1^*{\mathcal{P}}_1\right\}}&=\sum\limits_{i,j=1}^M\overline{\alpha}_i\alpha_j{\mathrm{tr}_{\mathcal{F}}\left\{\rho\,\v_i \e_j\right\}}\\
        \nonumber &=\sum\limits_{i,j=1}^M\overline{\alpha}_i\alpha_j{\mathrm{tr}_{\mathcal{F}}\left\{\rho\,(\delta_{ij}-\e_j\v_i)\right\}}\\
        \nonumber &=\sum\limits_{i=1}^M\sum\limits_{j=1}^M\left<\alpha_i\varphi_i |\,(\mathbbm{1}-\gamma_\rho) 
              (\alpha_j\varphi_j)\right>\\
        &=\left<\phi_M\big|\,(\mathbbm{1}-\gamma_\rho)\phi_M\right>. \label{g2}
        \end{aligned}$$

-   Property (\[psdg\]) is obtained by choosing ${\mathcal{P}}_{\text{2}}:=\mu+\frac{1}{2}\sum\limits_{k,l=1}^M\alpha_{kl}
      \left(\e_k\v_l-\v_l\e_k\right)$ with $\mu,\alpha_{kl}\in\mathbbm{C},\ M<\infty$ and calculating ${\mathrm{tr}_{\mathcal{F}}\left\{\rho\,{\mathcal{P}}_2^*{\mathcal{P}}_2\right\}}$: $$\begin{aligned}
        \nonumber 0&\leq\text{tr}_{{\mathcal{F}}}\bigg\{\rho\bigg(\mu+\frac{1}{2}\sum\limits_{k,l=1}^M\alpha_{kl}
              (\e_k\v_l-\v_l\e_k)\bigg)^*\\
        \nonumber&\phantom{...............................................}\times\bigg(\mu+\frac{1}{2}\sum\limits_{m,n=1}^M\alpha_{mn}
              (\e_m\v_n-\v_n\e_m)\bigg)\bigg\}\\
        \nonumber &=\text{tr}_{{\mathcal{F}}}\bigg\{\rho\bigg(\frac{1}{2}\sum\limits_{k,l=1}^M\alpha_{kl}
              (\e_k\v_l-\v_l\e_k)\bigg)^*\bigg(\frac{1}{2}\sum\limits_{m,n=1}^M\alpha_{mn}
              (\e_m\v_n-\v_n\e_m)\bigg)\bigg\}\\
        \nonumber &\quad+2\,\mathfrak{Re}\bigg\{\overline{\mu}\,\text{tr}_{{\mathcal{F}}}\bigg\{\frac{1}{2}\,\rho
              \sum\limits_{k,l=1}^M\alpha_{kl}(\e_k\v_l-\v_l\e_k)\bigg\}\bigg\}+\left|\mu\right|^2.
        \end{aligned}$$ Now we expand the brackets and use the CAR to reorder the annihilation and creation operators: $$\begin{aligned}
        \nonumber 0&\leq\sum\limits_{k,l,m,n=1}^M\overline{\alpha}_{kl}\alpha_{mn}\text{tr}_{{\mathcal{F}}}
              \bigg\{\rho\bigg(-\e_l\e_m\v_k\v_n+\delta_{km}\e_l\v_n-\frac{1}{2}\delta_{kl}\e_m\v_n\\
        \nonumber &\phantom{......................}-\frac{1}{2}\delta_{mn}\e_l\v_k+\frac{1}{4}\delta_{kl}
              \delta_{mn}\bigg)\bigg\}\\
        \nonumber &\quad +2\,\mathfrak{Re}\bigg\{\overline{\mu}\sum\limits_{k,l=1}^M\alpha_{kl}{\mathrm{tr}_{\mathcal{F}}\left\{\rho\bigg(
              \e_k\v_l-\frac{1}{2}\delta_{kl}\bigg)\right\}}\bigg\}+\left|\mu\right|^2.
        \end{aligned}$$ Bearing $\alpha_{kl}=\left<\varphi_k |\,A\varphi_l\right>$ and ${\mathrm{tr}_{\mathcal{F}}\left\{\rho\right\}}=1$ in mind, we derive from the definitions of $\Gamma_\rho$ and $\gamma_\rho$ that $$\begin{aligned}
        \nonumber 0&\leq\sum\limits_{k,l,m,n=1}^M\bigg<\varphi_k\otimes\varphi_n\bigg|\bigg(-\Gamma_\rho+\mathbbm{1}
              \otimes\gamma_\rho-\frac{1}{2}\mathrm{Ex}\left(\gamma_\rho\otimes\mathbbm{1}\right)
              -\frac{1}{2}\mathrm{Ex}\left(\mathbbm{1}\otimes\gamma_\rho\right)\\
        \nonumber &\phantom{......................}+\frac{1}{4}\mathrm{Ex}\left(\mathbbm{1}\otimes\mathbbm{1}\right)
              \bigg)(\varphi_m\otimes\varphi_l)\bigg>\\
        \nonumber &\phantom{..........................................................}\times\left<\varphi_l\otimes\varphi_m\big|
              \left(A^*\otimes A\right)\left(\varphi_k\otimes\varphi_n\right)\right>\\
        \nonumber &\quad+2\,\mathfrak{Re}\left\{\overline{\mu}\,\sum\limits_{k,l=1}^M
              \left<\varphi_k|\,A\varphi_l\right>\left<\varphi_l|\,\gamma_\rho\varphi_k\right>-\frac{\overline{\mu}}{2}
              \sum\limits_{k=1}^M\left<\varphi_k|\,A\varphi_k\right>\right\}+\left|\mu\right|^2.
        \end{aligned}$$ We can now perform the summations and arrive at $$\begin{aligned}
        \nonumber 0&\leq\mathrm{tr}_2\bigg\{\mathrm{Ex}\left(A^*\otimes A\right)\bigg(-\Gamma_\rho+\mathbbm{1}\otimes\gamma_\rho\\
        \nonumber&\phantom{......................}+\frac{1}{2}\mathrm{Ex}\bigg(\frac{1}{2}\mathbbm{1}\otimes\mathbbm{1}
              -\mathbbm{1}\otimes\gamma_\rho-\gamma_\rho\otimes\mathbbm{1}\bigg)\bigg)\bigg\}\\
        \nonumber&\quad+2\,\mathfrak{Re}\left\{\overline{\mu}\,{\mathrm{tr}_1\left\{A\gamma_\rho\right\}}-\frac{\overline{\mu}}{2}\,{\mathrm{tr}_1\left\{A\right\}}\right\}
              +\left|\mu\right|^2\\
        \nonumber&=\mathrm{tr}_2\bigg\{(A^*\otimes A)\bigg(\Gamma_\rho+(\mathbbm{1}\otimes\gamma_\rho)
              \mathrm{Ex}+\frac{1}{4}\mathbbm{1}\otimes\mathbbm{1}-\frac{1}{2}(\mathbbm{1}\otimes\gamma_\rho
              +\gamma_\rho\otimes\mathbbm{1})\bigg)\bigg\}\\
        &\quad+2\,\mathfrak{Re}\left\{\overline{\mu}\,{\mathrm{tr}_1\left\{A\gamma_\rho\right\}}-\frac{\overline{\mu}}{2}\,{\mathrm{tr}_1\left\{A\right\}}\right\}
              +\left|\mu\right|^2. \label{Wahlmu}
        \end{aligned}$$ Defining $s\in\mathbbm{C}$ by $\mu=:\left(s+\frac{1}{2}\right){\mathrm{tr}_1\left\{A\right\}}$, the inequality can be rewritten as $$\begin{aligned}
        \nonumber 0&\leq\text{tr}_{{\mathcal{F}}}\bigg\{\rho\bigg(\mu+\frac{1}{2}\sum\limits_{k,l=1}^M\alpha_{kl}
              (\e_k\v_l-\v_l\e_k)\bigg)^*\\
        \nonumber&\phantom{..............................}\times\bigg(\mu+\frac{1}{2}\sum\limits_{m,n=1}^M\alpha_{mn}
              (\e_m\v_n-\v_n\e_m)\bigg)\bigg\}\\
         &=\mathrm{tr}_{2}\Big\{(A^*\otimes A)\Big(\Gamma_\rho+\left|s
              \right|^2\mathbbm{1}\otimes\mathbbm{1}
        +\overline{s}\,\mathbbm{1}\otimes\gamma_\rho+s\,
        \gamma_\rho\otimes\mathbbm{1}+(\mathbbm{1}\otimes\gamma_\rho)\mathrm{Ex}
            \Big)\Big\}. \label{notopt}
        \end{aligned}$$ This inequality is valid for all $s$. We first assume that ${\mathrm{tr}_1\left\{A\right\}}=\sum\limits_{i=1}^{M}\alpha_{ii}\neq 0$, then the choice $s:=-\,\frac{{\mathrm{tr}_1\left\{A\gamma\right\}}}{{\mathrm{tr}_1\left\{A\right\}}}$ optimizes the inequality. The conclusion is (\[psdg\]): $$\begin{aligned}
        {\mathrm{tr}_2\left\{\left(A^*\otimes A\right)\left(\Gamma_\rho+\mathrm{Ex}\left(\gamma_\rho\otimes\mathbbm{1}\right)\right)\right\}}
        -\left|{\mathrm{tr}_1\left\{A\gamma_\rho\right\}}\right|^2\geq 0. \label{GB}
        \end{aligned}$$ Note that (\[notopt\]) and (\[GB\]) are equivalent because (\[GB\]) implies (\[notopt\]) by $$\begin{aligned}
         \nonumber &{\mathrm{tr}_2\left\{\left(A^*\otimes A\right)\left(\Gamma_\rho+\mathrm{Ex}\left(\gamma_\rho\otimes\mathbbm{1}\right)\right)\right\}}
                  \geq\left|{\mathrm{tr}_1\left\{A\gamma_\rho\right\}}\right|^2\\
        &\qquad\geq -{\mathrm{tr}_2\left\{\left(A^*\otimes A\right)\left(\left|s\right|^2\mathbbm{1}\otimes\mathbbm{1}
        +\overline{s}\,\mathbbm{1}\otimes\gamma_\rho+s\,\gamma_\rho\otimes\mathbbm{1}\right)\right\}}.
        \end{aligned}$$ Conversely, if ${\mathrm{tr}_1\left\{A\right\}}=0$, the choice $\mu=
        -\,{\mathrm{tr}_1\left\{A\gamma\right\}}$ in (\[Wahlmu\]) leads directly to (\[GB\]).

-   Inserting ${\mathcal{P}}_{\text{2}}:=\sum\limits_{k,l=1}^M\overline{\alpha}_{kl}\v_k\v_l$ into (\[posi\]) yields inequality (\[psdp\]): $$\begin{aligned}
        \nonumber 0&\leq \text{tr}_{{\mathcal{F}}}\bigg\{\rho\bigg(\sum\limits_{k,l=1}^M\overline{\alpha}_{kl}\v_k\v_l\bigg)^*
        \bigg(\sum\limits_{m,n=1}^M\overline{\alpha}_{mn}\v_m\v_n\bigg)\bigg\}\\
        \nonumber &=\sum\limits_{k,l,m,n=1}^M\alpha_{kl}\overline{\alpha}_{mn}{\mathrm{tr}_{\mathcal{F}}\left\{\rho\,\e_l\e_k\v_m\v_n\right\}}.
        \end{aligned}$$ By the definition of $\Gamma_\rho$ one finds $$\begin{aligned}
        \nonumber 0&\leq\sum\limits_{k,l,m,n=1}^M\alpha_{kl}\overline{\alpha}_{mn}\left<\varphi_m\otimes\varphi_n\big|\,
            \Gamma_\rho( \varphi_k\otimes\varphi_l )\right>\\
        &=\left<\Psi_M\big|\,\Gamma_\rho\Psi_M\right>, \label{Pco}
        \end{aligned}$$ where $\Psi_M:=\sum\limits_{i,j=1}^{M}\alpha_{ij}\left(\varphi_i\otimes\varphi_j\right)
        \in\mathrm{span}\left\{{\varphi}_k\otimes{\varphi}_l|\ k,l\in\mathbbm{N}\right\}$.

-   Inequality (\[psdq\]) follows from (\[posi\]) by choosing ${\mathcal{P}}_{\text{2}}:=\sum\limits_{k,l=1}^M\alpha_{kl}\e_k\e_l$: $$\begin{aligned}
        \nonumber 0&\leq\text{tr}_{{\mathcal{F}}}\bigg\{\rho\bigg(\sum\limits_{k,l=1}^M\alpha_{kl}\e_k\e_l\bigg)^*
            \bigg(\sum\limits_{m,n=1}^M\alpha_{mn}\e_m\e_n\bigg)\bigg\}\\
        \nonumber  &=\sum\limits_{k,l,m,n=1}^M\overline{\alpha}_{kl}\alpha_{mn}{\mathrm{tr}_{\mathcal{F}}\left\{\rho\,\v_l\v_k\e_m\e_n\right\}}.
        \end{aligned}$$ By normal-ordering using the CAR, one establishes the required relationship to $\Gamma_\rho$ and $\gamma_\rho$: $$\begin{aligned}
        \nonumber  0&\leq\sum\limits_{k,l,m,n=1}^M\overline{\alpha}_{kl}\alpha_{mn}\text{tr}_{{\mathcal{F}}}
            \big\{\rho\,\big(\e_m\e_n\v_l\v_k-\delta_{ln}\e_m\v_k+\delta_{kn}\e_m\v_l+\delta_{lm}\e_n\v_k\\
        \nonumber  &\qquad\qquad\qquad\qquad\qquad\qquad\qquad
             -\delta_{km}\e_n\v_l-\delta_{lm}\delta_{kn}+\delta_{km}\delta_{ln}\big)\big\}\\
        \nonumber  &=\Bigg<\sum\limits_{k,l=1}^M\alpha_{kl}(\varphi_l\otimes\varphi_k) \Bigg| 
            \Big(\Gamma_\rho+(1-\mathrm{Ex})(\mathbbm{1}\otimes\mathbbm{1}-
            \gamma_\rho\otimes\mathbbm{1}-\mathbbm{1}\otimes\gamma_\rho)\Big)\\
        \nonumber &\phantom{...........................................}
            \times\left(\sum\limits_{m,n=1}^M\alpha_{mn}(\varphi_n\otimes\varphi_m)\right)\Bigg>\\
        &=\Big<\Psi_M\Big|\Big(\Gamma_\rho+(1-\mathrm{Ex})(\mathbbm{1}\otimes\mathbbm{1}-
            \gamma_\rho\otimes\mathbbm{1}-\mathbbm{1}\otimes\gamma_\rho)\Big)\Psi_M\Big>. \label{Qco}
        \end{aligned}$$

Next we prove *(ii)* $\Rightarrow$ *(i)*. Thus, we assume (\[preas\])-(\[psdg\]).

-   A general polynomial of degree $r\leq 1$ is of the form ${\mathcal{P}}_1=\sum\limits_{k=1}^{M}( \alpha_{k}\e_k+\beta_{k}\v_k)+\mu$ with $\mu,\alpha_k,\beta_k\in\mathbbm{C}$. This means we have to consider $$\begin{aligned}
     {\mathrm{tr}_{\mathcal{F}}\left\{\rho\,{\mathcal{P}}_1^*{\mathcal{P}}_1\right\}}&=\sum\limits_{k,l=1}^{M}{\mathrm{tr}_{\mathcal{F}}\left\{\rho\, (\alpha_{k}\e_k+\beta_{k}\v_k+\mu)^*
         ( \alpha_{l}\e_l+\beta_{l}\v_l+\mu)\right\}}. \label{deg1}\end{aligned}$$ We expand the product on the right side of (\[deg1\]) and compute the traces, taking into account that $
    {\mathrm{tr}_{\mathcal{F}}\left\{\rho\,\e_i\right\}}={\mathrm{tr}_{\mathcal{F}}\left\{\rho\, \v_i\right\}}={\mathrm{tr}_{\mathcal{F}}\left\{\rho\, \e_i\e_j\right\}}={\mathrm{tr}_{\mathcal{F}}\left\{\rho\, \v_i\v_j\right\}}=0$ for every $i,j$ since $\rho$ preserves the particle number. Therefore, only three terms in (\[deg1\]) are non-vanishing, $$\begin{aligned}
     {\mathrm{tr}_{\mathcal{F}}\left\{\rho\,{\mathcal{P}}_1^*{\mathcal{P}}_1\right\}}=\sum\limits_{k,l=1}^{M}{\mathrm{tr}_{\mathcal{F}}\left\{\rho\left((\alpha_k\e_k)^*\left(\alpha_l\e_l\right)
        +\left(\beta_k\v_k\right)^*\left(\beta_k\v_k\right)\right)\right\}}+\left|\mu\right|^2,\end{aligned}$$ where we additionally use ${\mathrm{tr}_{\mathcal{F}}\left\{\rho\right\}}=1$. The sum over the terms in braces is non-negative due to (\[g1\]) and (\[g2\]). The conclusion is ${\mathrm{tr}_{\mathcal{F}}\left\{\rho\,{\mathcal{P}}_1^*{\mathcal{P}}_1\right\}}\geq 0$.

-   For $r\leq 2$ we have a general polynomial given by $$\begin{aligned}
       \nonumber{\mathcal{P}}_2&=\nu+ \sum\limits_{k=1}^M\left(\alpha_k\e_k+\beta_k\v_k\right)+\sum\limits_{k,l=1}^M\alpha_{kl}\e_k\e_l+\sum\limits_{k,l=1}^M\beta_{kl}
          \v_k\v_l\\
       &\qquad\qquad+\sum\limits_{k,l=1}^M\kappa_{kl}\e_k\v_l+\sum\limits_{k,l=1}^M\eta_{kl}\v_k\e_l,
      \end{aligned}$$ where $\nu,\alpha_k,\beta_k,\alpha_{kl},\beta_{kl},\kappa_{kl},\eta_{kl}\in\mathbbm{C}$, for all $1\leq k,l\leq M$. Using the CAR, we rewrite ${\mathcal{P}}_2$ as $$\begin{aligned}
     {\mathcal{P}}_2={\mathcal{P}}_1+{\mathcal{P}}_{2,\alpha}+{\mathcal{P}}_{2,\beta}+{\mathcal{P}}_{2,\eta},\end{aligned}$$ where $$\begin{aligned}
     &{\mathcal{P}}_1:=\mu+\sum\limits_{k=1}^M\left(\alpha_k\e_k+\beta_k\v_k\right), &{\mathcal{P}}_{2,\alpha}:=\sum\limits_{k,l=1}\alpha_{kl}\e_k\e_k,\\
     &{\mathcal{P}}_{2,\beta}:=\sum\limits_{k=1}^M\beta_{kl}\v_k\v_l, &{\mathcal{P}}_{2,\theta}:=\sum\limits_{k,l=1}^M\theta_{kl}\left(\e_k\v_l-\v_l\e_k\right),\end{aligned}$$ and $$\begin{aligned}
     \mu:=\nu+\frac{1}{2}\sum\limits_{k=1}^M\left(\kappa_{kk}+\eta_{kk}\right),\quad \theta_{kl}:=\frac{1}{2}\left(\kappa_{kl}-\eta_{lk}\right).\end{aligned}$$ Then $$\begin{aligned}
     \nonumber&{\mathrm{tr}_{\mathcal{F}}\left\{\rho\,{\mathcal{P}}_2^*{\mathcal{P}}_2\right\}}\\
      &\quad={\mathrm{tr}_{\mathcal{F}}\left\{\rho\left({\mathcal{P}}_1^*+{\mathcal{P}}_{2,\alpha}^*+{\mathcal{P}}_{2,\beta}^*+{\mathcal{P}}_{2,\eta}^*\right)\left({\mathcal{P}}_1+{\mathcal{P}}_{2,\alpha}
        +{\mathcal{P}}_{2,\beta}+{\mathcal{P}}_{2,\theta}\right)\right\}}\\
      &\quad={\mathrm{tr}_{\mathcal{F}}\left\{\rho\,{\mathcal{P}}_1^*{\mathcal{P}}_1\right\}}+{\mathrm{tr}_{\mathcal{F}}\left\{\rho\, {\mathcal{P}}_{2,\alpha}^*{\mathcal{P}}_{2,\alpha}\right\}}+{\mathrm{tr}_{\mathcal{F}}\left\{\rho\, {\mathcal{P}}_{2,\beta}^*{\mathcal{P}}_{2,\beta}\right\}}\\
        &\qquad\qquad\qquad +{\mathrm{tr}_{\mathcal{F}}\left\{\rho\, {\mathcal{P}}_{2,\theta}^*{\mathcal{P}}_{2,\theta}\right\}},\end{aligned}$$ where we use that ${\mathrm{tr}_{\mathcal{F}}\left\{\rho\,{\mathcal{P}}_a^*{\mathcal{P}}_b\right\}}=0$ whenever $a\neq b$, since $\rho$ conserves the particle number. Now, e) implies ${\mathrm{tr}_{\mathcal{F}}\left\{\rho\,{\mathcal{P}}_1^*{\mathcal{P}}_1\right\}}\geq 0$, (\[Qco\]) yields ${\mathrm{tr}_{\mathcal{F}}\left\{\rho\,{\mathcal{P}}_{2,\alpha}^*{\mathcal{P}}_{2,\alpha}\right\}}\geq 0$ (see d)), (\[Pco\]) yields ${\mathrm{tr}_{\mathcal{F}}\left\{\rho\,{\mathcal{P}}_{2,\beta}^*{\mathcal{P}}_{2,\beta}\right\}}\geq 0$ (see c)), and ${\mathrm{tr}_{\mathcal{F}}\left\{\rho\,{\mathcal{P}}_{2,\theta}^*{\mathcal{P}}_{2,\theta}\right\}}\geq 0$ follows from (\[GB\]), see b). Hence, ${\mathrm{tr}_{\mathcal{F}}\left\{\rho\,{\mathcal{P}}_2^*{\mathcal{P}}_2\right\}}\geq 0$.

Lemma \[lem3\] is the algebraic part of the proof of Theorem \[mthm3\]. To conclude, we have to extend the proof to infinite dimensions.\
<span>*Proof of Theorem \[mthm3\].*</span> Since *(ii)* contains (\[preas\])-(\[psdg\]) of Lemma \[lem3\], the implication *(ii)* $\Rightarrow$ *(i)* is obvious. For *(i)* $\Rightarrow$ *(ii)*, let $\phi,\psi$ and $\Phi,\Psi$ be normalized vectors in ${\mathfrak{h}}$ and ${\mathfrak{h}}\otimes{\mathfrak{h}}$, respectively, and set $\alpha_i:=\left<\varphi_i|\phi\right>$, $\beta_i:=\left<{\varphi}_i|\psi\right>$ and $\alpha_{ij}:=\left<{\varphi}_i\otimes{\varphi}_j|\Phi\right>$, $\beta_{ij}:=\left<{\varphi}_i\otimes{\varphi}_j|\Psi\right>$ for all $i,j\in\mathbbm{N}$. For $M\in\mathbbm{N}$, we define the orthogonal projection $P_M:=\sum\limits_{k=1}^M\left|{\varphi}_k\right>\left<{\varphi}_k\right|$ and set $\phi_M:=P_M\phi=\sum\limits_{i=1}^M\alpha_i{\varphi}_i$ and $\Psi_M:=\left(P_M\otimes P_M\right)\Psi=
\sum\limits_{i,j=1}^M\beta_{ij}\left({\varphi}_i\otimes{\varphi}_j\right)$. The admissibility and the G-, P-, and Q-Condititions follow from Lemma \[lem3\] as follows:

-   For the 1-pdm we have $\|\gamma_\rho\|_\mathrm{op}<\infty$, since $$\begin{aligned}
           \left|\left<\phi|\,\gamma_\rho\psi\right>\right|&=\left|{\mathrm{tr}_{\mathcal{F}}\left\{\rho\,\e(\psi)\v(\phi)\right\}}\right|\\
            &\leq {\mathrm{tr}_{\mathcal{F}}\left\{\left|\rho\right|\right\}}\|\psi\|\|\phi\|={\mathrm{tr}_{\mathcal{F}}\left\{\left|\rho\right|\right\}}<\infty
          \end{aligned}$$ by the Cauchy–Schwarz inequality and $c^*(\phi)c(\phi)\leq\mathbbm{1} \left<\phi|\phi\right>$. Afterwards, we infer by the triangle inequality $$\begin{aligned}
         \nonumber\left|\left<\phi|\,\gamma_\rho\phi\right>-\left<\phi_M|\,\gamma_\rho\phi_M\right>\right|&= 
            \left|\left<\phi-\phi_M|\,\gamma_\rho\phi\right>+\left<\phi_M|\,\gamma_\rho(\phi-\phi_M)\right>\right|\\
         \nonumber&\leq   \left|\left<\phi-\phi_M|\,\gamma_\rho\phi\right>\right|+\left|\left<\phi_M|\,\gamma_\rho(\phi-\phi_M)\right>\right|\\
           \nonumber &\leq \|\phi-\phi_M\|\left(\|\phi\|+\|\phi_M\|\right)\|\gamma_\rho\|_\mathrm{op}\\
            &\leq2\,\|\phi-\phi_M\|\|\gamma_\rho\|_\mathrm{op}. \label{LimNorm}
        \end{aligned}$$ As $M\to\infty$, $\|\phi-\phi_M\|$ vanishes and we conclude with $\left<\phi_M|\,\gamma_\rho\phi_M\right>\geq 0$ that also $\left<\phi|\,\gamma_\rho\phi\right>\geq 0$ for all $\phi\in{\mathfrak{h}}$. The same argument with $\gamma_\rho$ replaced by $\mathbbm{1}-\gamma_\rho$ leads to $\left<\phi|\,(\mathbbm{1}-\gamma_\rho)\phi\right>\geq 0$ for all $\phi\in{\mathfrak{h}}$.

-   $\gamma_\rho\in{\mathcal{L}}^1({\mathfrak{h}})$ follows by monotone convergence since $\gamma_\rho\geq 0$. For any ONB $\left\{\psi_i\right\}_{i=1}^{\infty}\subseteq{\mathfrak{h}}$ and $\epsilon>0$, we have $$\begin{aligned}
        &\sum\limits_{k=1}^{\infty} \left<\psi_k \big|\, \gamma_\rho\psi_k \right>\leq\sup\limits_{M}\bigg\{\sum\limits_{k=1}^{M} {\mathrm{tr}_{\mathcal{F}}\left\{\rho\, \e_k \v_k\right\}}\bigg\}\\
        &\qquad=
            \sup\limits_{M}\bigg\{\mathrm{tr}_{\mathcal{F}}\bigg\{\rho\sum\limits_{k=1}^{M}\e_k \v_k\bigg\}\bigg\}\\
        &\qquad=\left(N+\epsilon\right)\sup\limits_{M}\bigg\{\mathrm{tr}_{\mathcal{F}}\bigg\{\rho\left(\frac{1}{\widehat{\mathbbm{N}}+\epsilon}\right)^\frac{1}{2}\bigg(\sum\limits_{k=1}^{M}\e_k \v_k\bigg)\left(\frac{1}{\widehat{\mathbbm{N}}+\epsilon}\right)^\frac{1}{2}\bigg\}\bigg\}\\
        &\qquad\leq \left(N+\epsilon\right){\mathrm{tr}_{\mathcal{F}}\left\{\left|\rho\right|\right\}}<\infty,
        \end{aligned}$$ since $\widehat{\mathbbm{N}}\,\rho=N\rho$ and $\left\Vert\left(\frac{1}{\widehat{\mathbbm{N}}+\epsilon}\right)^\frac{1}{2}\bigg(\sum\limits_{k=1}^{M}\e_k \v_k\bigg)\left(\frac{1}{\widehat{\mathbbm{N}}+\epsilon}\right)^\frac{1}{2}\right\Vert_\mathrm{op}\leq 1$.

-   Thanks to b) we can compute $\sum\limits_{k=1}^{\infty} \left<\varphi_k \big|\, \gamma_\rho\varphi_k \right>$ using monotone convergence and $\widehat{\mathbbm{N}}\,\rho=N\rho $. This gives the trace of $\gamma_\rho$. $$\begin{aligned}
            {\mathrm{tr}_1\left\{\gamma_\rho\right\}}&:=\sum\limits_{k=1}^\infty\left<{\varphi}_k|\,\gamma_\rho{\varphi}_k\right>=\sum\limits_{k=1}^\infty{\mathrm{tr}_{\mathcal{F}}\left\{\rho\,\e_k\v_k\right\}}\\
            &=\mathrm{tr}_{\mathcal{F}}\bigg\{\rho\sum\limits_{k=1}^\infty\e_k\v_k\bigg\}={\mathrm{tr}_{\mathcal{F}}\left\{\rho\,\widehat{\mathbbm{N}}\right\}}=N.
         \end{aligned}$$

-   For any basis of ${\mathfrak{h}}$, the identities $\mathrm{Ex}\,\Gamma_\rho=\Gamma_\rho\,\mathrm{Ex}=-\,\Gamma_\rho$ are a consequence of the definition of $\Gamma_\rho$ and the CAR.

-   We conclude from the definition of $\Gamma_\rho$ by the Cauchy–Schwarz inequality $$\begin{aligned}
           \left|\left<\Psi|\,\Gamma_\rho\Phi\right>\right|&=\bigg|\mathrm{tr}_{\mathcal{F}}\bigg\{\rho\,\bigg(\sum\limits_{m,n=1}^\infty\beta_{mn}\v_n\v_m\bigg)^*
            \bigg(\sum\limits_{k,l=1}^\infty\alpha_{kl}\v_l\v_k\bigg)\bigg\}\bigg|\\
            &\leq {\mathrm{tr}_{\mathcal{F}}\left\{\left|\rho\right|\right\}}\|\Psi\|\|\Phi\|={\mathrm{tr}_{\mathcal{F}}\left\{\left|\rho\right|\right\}}<\infty.
        \end{aligned}$$ Therefore, we have $\|\Gamma_\rho\|_\mathrm{op}<\infty$. Afterwards, we infer analogously to (\[LimNorm\]) $$\begin{aligned}
         \left|\left<\Psi|\,\Gamma_\rho\Psi\right>-\left<\Psi_M|\,\Gamma_\rho\Psi_M\right>\right|\leq
            2\,\|\Psi-\Psi_M\|\|\Gamma_\rho\|_\mathrm{op},
        \end{aligned}$$ which tends to zero as $M\to\infty$ due to the definition of $\Psi_M$. With $\left<\Psi_M|\,\Gamma_\rho\Psi_M\right>\geq0$ from (\[Pco\]), this means $\left<\Psi|\,\Gamma_\rho\Psi\right>\geq 0$ for all $\Psi\in{\mathfrak{h}}\otimes{\mathfrak{h}}$.

-   To prove that $\Gamma_\rho\in{\mathcal{L}}^1({\mathfrak{h}}\otimes{\mathfrak{h}})$ we show that there is an ONB $\left\{\psi_i\right\}_{i=1}^\infty\subseteq{\mathfrak{h}}$ such that $\sum\limits_{k,l=1}^{\infty}\left<\psi_k\otimes\psi_l \big|\,
              \Gamma_\rho( \psi_k\otimes\psi_l)\right>$ is finite, again using $\Gamma_\rho\geq 0$. For any $\epsilon> 0$ we have, using $\widehat{\mathbbm{N}}\,\rho=N\rho$ and monotone convergence, $$\begin{aligned}
          &\sum\limits_{k,l=1}^{\infty} \left< \psi_k \otimes \psi_l |\, \Gamma_\rho ( \psi_k \otimes \psi_l ) \right>
          \leq \sup_M \bigg\{ \sum\limits_{k,l=1}^M {\mathrm{tr}_{\mathcal{F}}\left\{ \rho\, \e_l \v_k \e_k \v_l\right\}} \bigg\}\\
          &\qquad= \sup_M \bigg\{ \mathrm{tr}_{\mathcal{F}}\bigg\{ \rho\, \bigg[ \bigg( \sum\limits_{k=1}^M \e_k \v_k \bigg)^2 - \bigg( \sum\limits_{k=1}^M \e_k \v_k \bigg) \bigg] \bigg\} \bigg\}\\
          &\qquad\leq \sup_M \bigg\{ \left(N^2 + \epsilon\right) \text{tr}_{\mathcal{F}} \bigg\{ \lvert \rho \rvert \left( \frac{1}{\widehat{\mathbbm{N}}^2 + \epsilon} \right)^{\frac{1}{2}} \bigg( \sum\limits_{k=1}^M c_k^* c_k \bigg)^2  \left( \frac{1}{\widehat{\mathbbm{N}}^2 + \epsilon} \right)^{\frac{1}{2}} \bigg\} \bigg\}\\
          &\qquad\leq \left(N^2 + \epsilon\right) {\mathrm{tr}_{\mathcal{F}}\left\{ \lvert \rho \rvert\right\}} < \infty
          \end{aligned}$$ since $\sum\limits_{k=1}^M c_k^* c_k \geq 0$ and, due to $\left( \sum\limits_{k=1}^M c_k^* c_k \right)^2 \leq \widehat{\mathbbm{N}}^2$, $$\begin{aligned}
          \left\Vert \left( \frac{1}{\widehat{\mathbbm{N}}^2 + \epsilon}  \right)^{\frac{1}{2}} \bigg(  \sum\limits_{k=1}^M c_k^* c_k  \bigg)^2  \left(  \frac{1}{\widehat{\mathbbm{N}}^2 + \epsilon}  \right)^{\frac{1}{2}} \right\Vert_\mathrm{op} \leq 1.
          \end{aligned}$$

-   To check (\[GB\]) for any bounded $A$ (not necessarily of finite rank) we abbreviate $\Lambda_\mathrm{G}:=\Gamma_\rho+\mathrm{Ex}\left(\gamma_\rho\otimes\mathbbm{1}\right)-\gamma_\rho\otimes\gamma_\rho$ and set $A_M:=P_M A P_M$. Clearly, $A_M$ is of finite rank and we observe $$\begin{aligned}
          \nonumber  &\left|{\mathrm{tr}_2\left\{\left(A^*\otimes A\right)\Lambda_\mathrm{G}\right\}}-{\mathrm{tr}_2\left\{\left(A_M^*\otimes A_M\right)\Lambda_\mathrm{G}\right\}}\right|\\
          \nonumber  &\qquad=\left|{\mathrm{tr}_2\left\{\left[\left(A-A_M\right)^*\otimes A + A_M^*\otimes\left(A-A_M\right)\right]\Lambda_\mathrm{G}\right\}}\right|\\
          \nonumber  &\qquad=\Big|\mathrm{tr}_2\Big\{\Big[\left(P_M A^*P_M^\perp+P_M^\perp A^* P_M+P_M^\perp A^* P_M^\perp\right)\otimes A \\
            &\qquad\qquad\qquad+ A_M^*\otimes\left(P_M^\perp A P_M + P_M A P_M^\perp+P_M^\perp A P_M^\perp\right)\Big]\Lambda_\mathrm{G}\Big\}\Big| \label{AusfG}
          \end{aligned}$$ using $P_M^\perp:=\mathbbm{1}-P_M$. For $\left|{\mathrm{tr}_2\left\{\left(P_M^\perp A^* P_M\otimes A\right)\Lambda_\mathrm{G}\right\}}\right|$, for instance, we find $$\begin{aligned}
           \nonumber &\left|{\mathrm{tr}_2\left\{\left(P_M^\perp A^* P_M\otimes A\right)\Lambda_\mathrm{G}\right\}}\right|\\
           \nonumber &\qquad=\big|{\mathrm{tr}_2\left\{\left(P_M^\perp A^* P_M\otimes A\right)\Gamma_\rho\right\}}+{\mathrm{tr}_1\left\{P_M^\perp A^* P_M\gamma_\rho A\right\}}\\
           \nonumber &\qquad\qquad\qquad   -{\mathrm{tr}_1\left\{P_M^\perp A^* P_M\gamma_\rho\right\}}{\mathrm{tr}_1\left\{ A\gamma_\rho\right\}}\big|\\
           \nonumber &\qquad\leq\left|{\mathrm{tr}_2\left\{\left(P_M^\perp A^* P_M\otimes A\right)\Gamma_\rho\right\}}\right|+\left|{\mathrm{tr}_1\left\{P_M^\perp A^* P_M\gamma_\rho A\right\}}\right|\\
                &\qquad\qquad\qquad+\left|{\mathrm{tr}_1\left\{P_M^\perp A^* P_M\gamma_\rho\right\}}{\mathrm{tr}_1\left\{ A\gamma_\rho\right\}}\right|.
          \end{aligned}$$ Since $\Gamma_\rho\geq 0$ due to the P-Condition (see e)), $P_M^\perp, P_M\geq0$ and $\widehat{\mathbbm{N}}\,\rho=N\rho$ we have on the one hand $$\begin{aligned}
           \left|{\mathrm{tr}_2\left\{\left(P_M^\perp A^* P_M\otimes A\right)\Gamma_\rho\right\}}\right|&\leq \|A\|_\mathrm{op}^2\,{\mathrm{tr}_2\left\{\left(P_M^\perp\otimes 
                    \mathbbm{1}\right)\Gamma_\rho\right\}}\\
              &=\left(N-1\right)\|A\|_\mathrm{op}^2\, {\mathrm{tr}_1\left\{P_M^\perp\gamma_\rho\right\}},
          \end{aligned}$$ and on the other hand with $0\leq \gamma_\rho \leq \mathbbm{1}$ and $P_M\leq \mathbbm{1}$ $$\begin{aligned}
           \left|{\mathrm{tr}_1\left\{P_M^\perp A^* P_M\gamma_\rho A\right\}}\right|
                \leq \|A\|_\mathrm{op}^2\,{\mathrm{tr}_1\left\{P_M^\perp\gamma_\rho\right\}},
          \end{aligned}$$ and $$\begin{aligned}
          \left| {\mathrm{tr}_1\left\{P_M^\perp A^* P_M\gamma_\rho\right\}}{\mathrm{tr}_1\left\{ A\gamma_\rho\right\}}\right|\leq N\, \|A\|_\mathrm{op}^2\,{\mathrm{tr}_1\left\{P_M^\perp\gamma_\rho\right\}}.
          \end{aligned}$$ Note that ${\mathrm{tr}_1\left\{P^\perp_M\gamma_\rho\right\}}=\sum\limits_{k=M+1}^\infty\left<{\varphi}_k|\,\gamma_\rho{\varphi}_k\right>\to 0$, as $M\to\infty$, since $\sum\limits_{k=1}^\infty\left<{\varphi}_k|\,\gamma_\rho{\varphi}_k\right>={\mathrm{tr}_1\left\{\gamma_\rho\right\}}=N$ is convergent. Analogously, one finds that all terms on the right hand side of (\[AusfG\]) tend to zero, as $M\to\infty$. This, in turn, implies ${\mathrm{tr}_2\left\{\left(A^*\otimes A\right)\Lambda_\mathrm{G}\right\}}\geq 0$ for any bounded $A$ since ${\mathrm{tr}_2\left\{\left(A_M^*\otimes A_M\right)\Lambda_\mathrm{G}\right\}}\geq 0$ due to (\[GB\]).

-   Again by the Cauchy–Schwarz inequality we find $$\begin{aligned}
         &\Big|\Big<\Psi\Big|\Big(\Gamma_\rho +(1-\mathrm{Ex})(\mathbbm{1}
        \otimes\mathbbm{1}-\gamma_\rho\otimes\mathbbm{1}-\mathbbm{1}\otimes\gamma_\rho)\Big)\Phi\Big>\Big|\\
        &\qquad\qquad=\bigg|\mathrm{tr}_{\mathcal{F}}\bigg\{\rho\,\bigg(\sum\limits_{m,n=1}^\infty\overline{\beta}_{mn}\v_m\v_n\bigg)
            \bigg(\sum\limits_{k,l=1}^\infty\overline{\alpha}_{kl}\v_k\v_l\bigg)^*\bigg\}\bigg|\\
        &\qquad\qquad\leq{\mathrm{tr}_{\mathcal{F}}\left\{\left|\rho\right|\right\}}\|\Psi\|\|\Phi\|
        \end{aligned}$$ and, therefore, $\|\Gamma_\rho +(1-\mathrm{Ex})(\mathbbm{1}
        \otimes\mathbbm{1}-\gamma_\rho\otimes\mathbbm{1}-\mathbbm{1}\otimes\gamma_\rho)\|_\mathrm{op}<\infty$. Following (\[LimNorm\]) with $\Gamma_\rho +(1-\mathrm{Ex})(\mathbbm{1}
        \otimes\mathbbm{1}-\gamma_\rho\otimes\mathbbm{1}-\mathbbm{1}\otimes\gamma_\rho)$ instead of $\Gamma_\rho$, we arrive at $$\begin{aligned}
         \Big<\Psi\Big|\Big(\Gamma_\rho +(1-\mathrm{Ex})(\mathbbm{1}
        \otimes\mathbbm{1}-\gamma_\rho\otimes\mathbbm{1}-\mathbbm{1}\otimes\gamma_\rho)\Big)\Psi\Big>\geq 0\quad \forall\Psi\in{\mathfrak{h}}\otimes{\mathfrak{h}}.
        \end{aligned}$$

$\left(\gamma_\rho,\Gamma_\rho\right)$ obeys the P-, G-, and Q-Conditions by e), g) and h). The admissibility is ensured in a) to d), and f).\
A simple consequence of Theorem \[mthm3\] is

Let $N\in\mathbbm{N}$ and assume that $\left(\gamma,\Gamma\right)$ is $N$-representable. Then $\left(\gamma,\Gamma\right)$ is admissible and fulfills the G-, P- and Q-Conditions.

Since $\left(\gamma,\Gamma\right)$ is $N$-representable, there exists a density matrix $\rho\in{\mathcal{L}}_+^1({\mathcal{F}})$ with $\left(\gamma,\Gamma\right)\equiv\left(\gamma_\rho,\Gamma_\rho\right)$. By the last theorem, $\left(\gamma,\Gamma\right)$ then is admissible and fulfills the G-, P- and Q-Conditions.

The G-Condition (\[psdg\]) seems to be asymmetric in terms of $\gamma_\rho$. However, since ${\mathrm{tr}_2\left\{\left(A\otimes B\right)\Gamma_\rho\right\}}={\mathrm{tr}_2\left\{\left(B\otimes A\right)\Gamma_\rho\right\}}$, it is easy to show that also ${\mathrm{tr}_2\left\{\left(A^*\otimes A\right)\left(\Gamma_\rho +\mathrm{Ex}
    \left(\mathbbm{1}\otimes \gamma_\rho\right)\right)\right\}}\geq\left|{\mathrm{tr}_1\left\{A\gamma_\rho\right\}}\right|^2$ holds. Thus, we have a symmetrized, but weaker, G-Condition given by $$\begin{aligned}
 {\mathrm{tr}_2\left\{\left(A^*\otimes A\right)\left(\Gamma_\rho+\frac{1}{2}\mathrm{Ex}
    \left(\mathbbm{1}\otimes \gamma_\rho+\gamma_\rho\otimes\mathbbm{1}\right)\right)\right\}}\geq\left|{\mathrm{tr}_1\left\{A\gamma_\rho\right\}}\right|^2.\end{aligned}$$

Correlation inequalities from G- and P-Conditions
=================================================

In @VBA, a lower bound on the difference of the ground state functional $\mathcal{E}\left(\gamma,\Gamma\right)$ and the Hartree–Fock functional $\mathcal{E}\left(\gamma,\left(1-\mathrm{Ex}\left(\gamma\otimes\gamma\right)\right)\right)$, i.e., $$\begin{aligned}
{\mathrm{tr}_2\left\{V\Gamma^{\left(\mathrm{T}\right)}\right\}}={\mathrm{tr}_2\left\{V\left(\Gamma-\left(1-\mathrm{Ex}\right)
          \left(\gamma\otimes\gamma\right)\right)\right\}}, \label{mSpur1}\end{aligned}$$ is derived using the decomposition of the potential $V$ according to Fefferman and de la Llave @FDL. It turns out that this decomposition is also useful to derive lower bounds only by means of $N$-representability. The main result of this section is the following theorem.

\[mthm4\] Let $X=X^*=X^2\in{\mathcal{B}}({\mathfrak{h}})$ be an orthogonal projection on ${\mathfrak{h}}$. Assume that $\left(\gamma,\Gamma\right)$ is admissible and fulfills the G- and P-Conditions. Then $$\begin{aligned}
\nonumber{\mathrm{tr}_2\left\{\left(X\otimes X\right)\Gamma^{\left(\mathrm{T}\right)}\right\}}&\geq-\,{\mathrm{tr}_1\left\{X\gamma\right\}}\min\bigg\{1;\ 
        38\,{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}\\
&\qquad+4\Big[{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}\Big(2+8\,{\mathrm{tr}_1\left\{X\left(\gamma
            -\gamma^2\right)\right\}}^2\Big)\Big]^\frac{1}{2}\bigg\}. \label{Hauptlem}\end{aligned}$$

The proof is carried out in several parts in the following sections. The first inequality is derived in Theorem \[mthm4a\]. The second inequality follows from Theorems \[mthm4b\], \[mthm4c\] and \[mthm4d\].

In order to apply Theorem \[mthm4\] to (\[mSpur1\]), the potential $V$ on ${\mathfrak{h}}\otimes{\mathfrak{h}}$ is decomposed into an integral of a tensor product of two copies of the one-particle operator $X$. This decomposition is called Fefferman–de la Llave identity.

$\text{For all}\ x\, ,y\, \in\mathbbm{R}^3,\ x\neq y$, one has $$\begin{aligned}
\frac{1}{\left|x-y\right|}=\int\limits_{0}^{\infty}\frac{\mathrm{d}r}{\pi r^5}\int\limits_{\mathbbm{R}^3}\mathrm{d}^3 z\ 
          \chi_{B\left(z,r\right)}\left(x\right)\, \chi_{B\left(z,r\right)}\left(y\right), \label{FDLD}\end{aligned}$$ where $\chi_{B\left(z,r\right)}$ is the characteristic function of the ball $B\left(z,r\right):=\left\{x\in\mathbbm{R}^3
    \,|\ \left|x-z\right|\leq r\right\}$ of radius $r>0$ centered at $z\in\mathbbm{R}^3$.

The proof of the decomposition can be found in the original work of Fefferman and de la Llave in @FDL. In @HS1, Hainzl and Seiringer have derived sufficient conditions on a pair potential $V:\mathbbm{R}^n\to\mathbbm{R}$ so as to admit a decomposition of the form (\[FDLD\]).

The multiplication operator corresponding to $\chi_{B\left(z,r\right)}$ is denoted by $X_{r,z}\equiv X$. Clearly, $$\begin{aligned}
{\mathcal{B}}({\mathfrak{h}})\ni X=X^*=X^2 \label{defX}
 \end{aligned}$$ is an orthogonal projection.

Instead of (\[mSpur1\]) we consider from now on $$\begin{aligned}
{\mathrm{tr}_2\left\{\left(X\otimes X\right)\Gamma^{\left(\mathrm{T}\right)}\right\}}
={\mathrm{tr}_2\left\{\left(X\otimes X\right)\left(\Gamma-\left(1-\mathrm{Ex}\right)
          \left(\gamma\otimes\gamma\right)\right)\right\}}. \label{Spur1}\end{aligned}$$

A first estimation of this quantity is immediately obtained by applying the G-Condition directly on ${\mathrm{tr}_2\left\{\left(X\otimes X\right)\Gamma\right\}}$. This yields the first inequality of (\[Hauptlem\]).

\[mthm4a\] Let $X$ be as in (\[defX\]). Assume that $\left(\gamma,\Gamma\right)$ is admissible and fulfills the G-Condition. Then $$\begin{aligned}
\qquad{\mathrm{tr}_2\left\{\left(X\otimes X\right)\Gamma^{\left(\mathrm{T}\right)}\right\}}\geq -\,{\mathrm{tr}_1\left\{X\gamma\right\}}.\end{aligned}$$

As mentioned, we apply the G-Condition (\[GBed\]) with $A^*=A:=X$ directly on ${\mathrm{tr}_2\left\{\left(X\otimes X\right)\Gamma\right\}}$. The HF-part is carried out: $$\begin{aligned}
\nonumber &{\mathrm{tr}_2\left\{\left(X\otimes X\right)\left(\Gamma-\left(1-\mathrm{Ex}\right)\left(\gamma\otimes\gamma\right)\right)\right\}}\\
\nonumber &\qquad\geq \left({\mathrm{tr}_1\left\{X\gamma\right\}}\right)^2-{\mathrm{tr}_1\left\{X\gamma\right\}}-\left({\mathrm{tr}_1\left\{X\gamma\right\}}\right)^2
    +{\mathrm{tr}_1\left\{X\gamma X\gamma\right\}}\\
&\qquad \geq -\,{\mathrm{tr}_1\left\{X\gamma\right\}}. \label{abs1}\end{aligned}$$ The last inequality follows from ${\mathrm{tr}_1\left\{X\gamma X\gamma\right\}}={\mathrm{tr}_1\left\{X\gamma X\gamma X\right\}}\geq 0$.

The goal of the next sections is an estimation of (\[Spur1\]) in terms of ${\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}$.

Preparation
-----------

A crucial step in @VBA is the decomposition of the spectrum of $\gamma$ into eigenvalues which are larger than $\frac{1}{2}$, and those which are smaller or equal $\frac{1}{2}$. Following this step, the decomposition is denoted by two orthogonal projections, $P$ and $P^{\perp}$ (a comparable strategy was also used by Graf and Solovej in @SVG). The first one, $P$, projects on the space which is spanned by the eigenvectors of $\gamma$ corresponding to eigenvalues larger than $\frac{1}{2}$. The second one treats the eigenvectors with eigenvalues smaller or equal $\frac{1}{2}$. Furthermore, the eigenvectors of $\gamma$, $\left\{\varphi_i\,|\ \gamma\varphi_i=\lambda_i\varphi_i\right\}_{i=1}^{\infty}$, are used as an ONB of ${\mathfrak{h}}$ which we mainly refer to. In this basis the two projections can be defined straightforwardly.

On ${\mathfrak{h}}$, the orthogonal projections $P$ and $P^{\perp}$ are defined by $$\begin{aligned}
P:=\mathbbm{1}\left[\gamma>\frac{1}{2}\right]=\sum\limits_{k>\frac{1}{2}}\left|\varphi_k\right>\left<\varphi_k\right|
    \quad\text{and}\quad P^{\perp}:=\mathbbm{1}\left[\gamma\leq\frac{1}{2}\right]=\sum\limits_{k\leq\frac{1}{2}}
    \left|\varphi_k\right>\left<\varphi_k\right|. \label{defP}\end{aligned}$$

Here, the summation over "$k>\frac{1}{2}$" denotes the summation over $\left\{k\,\big|\ \lambda_k>\frac{1}{2}\right\}$ and for "$k\leq\frac{1}{2}$" analogously. Obviously, $$\begin{aligned}
 P+P^{\perp}=\mathbbm{1},\quad P P^{\perp}=P^{\perp}P=0,\quad\ P\gamma=\gamma P\quad \text{and}\quad P^{\perp}\gamma=\gamma P^{\perp}.\end{aligned}$$ Moreover, the projections are bounded from above.

For $P$ and $P^{\perp}$ defined in (\[defP\]) $$\begin{aligned}
P\leq 2\gamma\quad\text{and}\quad P^{\perp}\leq 2\left(\mathbbm{1}-\gamma\right) \label{Proj2}
  \end{aligned}$$ hold true.

Note that, since $\mathrm{rk}\left\{P\right\}\leq 2N$, $P$ is of finite rank and, hence, trace class.

Using the definition of the projections together with $0\leq\gamma\leq \mathbbm{1}$, one finds for $P$: $$\begin{aligned}
P=\sum\limits_{k>\frac{1}{2}}\left|\varphi_k\right>\left<\varphi_k\right|\leq\sum\limits_{k>\frac{1}{2}}2 
      \lambda_k \left|\varphi_k\right>\left<\varphi_k\right|\leq2\sum\limits_{k=1}^\infty\lambda_k\left|\varphi_k\right>
      \left<\varphi_k\right|=2\gamma,\end{aligned}$$ and for $P^{\perp}$: $$\begin{aligned}
 P^{\perp}=\sum\limits_{k\leq\frac{1}{2}}\left|\varphi_k\right>\left<\varphi_k\right| 
        \leq \sum\limits_{k\leq\frac{1}{2}}2\left(1-\lambda_k\right)\left|\varphi_k\right>\left<\varphi_k\right| 
      \leq 2\left(\mathbbm{1}-\gamma\right).\end{aligned}$$

Thanks to $P^\perp + P = \mathbbm{1}$ we can expand ${\mathrm{tr}_2\left\{\left(X\otimes X\right)\Gamma\right\}}$ into three parts to have expressions on which we can apply the conditions on $\left(\gamma,\Gamma\right)$. We denote this three parts by Main Part (MP), Remainder (R) and Main Error Term (MET).

Let $X$, and $P$ and $P^{\perp}$ be as defined in (\[defX\]) and (\[defP\]), respectively. Then $$\begin{aligned}
\nonumber &{\mathrm{tr}_2\left\{\left(X\otimes X\right)\Gamma\right\}}\\
\nonumber &\quad     = {\mathrm{tr}_2\left\{\left(PXP\otimes PXP\right)\Gamma\right\}} 
                + 4\,\mathfrak{Re}\left\{{\mathrm{tr}_2\left\{\left(PXP\otimes P^{\perp}XP\right)\Gamma\right\}}\right\}\\
\nonumber &\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad
             + 2\,{\mathrm{tr}_2\left\{\left(PXP^{\perp}\otimes P^{\perp}XP\right)\Gamma\right\}}\\
\nonumber &\quad\quad + {\mathrm{tr}_2\left\{\left(P^{\perp}XP^{\perp}\otimes P^{\perp}XP^{\perp}\right)\Gamma\right\}} 
                + 4\,\mathfrak{Re}\left\{{\mathrm{tr}_2\left\{\left(P^{\perp}XP\otimes P^{\perp}XP^{\perp}\right)\Gamma\right\}}
                            \right\}\\
\nonumber &\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad
            + 2\,{\mathrm{tr}_2\left\{\left(P^{\perp}XP^{\perp}\otimes PXP\right)\Gamma\right\}}\\
          &\qquad + 2\,\mathfrak{Re}\left\{{\mathrm{tr}_2\left\{\left(PXP^{\perp}\otimes PXP^{\perp}\right)\Gamma\right\}}
            \right\}. \label{MP+R}\end{aligned}$$

After replacing the identity operator on each side of $X$ in each factor of the tensor product $X\otimes X$ by $\left(P+P^{\perp}\right)$, one can expand the r.h.s. of $$\begin{aligned}
\nonumber&{\mathrm{tr}_2\left\{\left(X\otimes X\right)\Gamma\right\}}\\
\nonumber&\qquad={\mathrm{tr}_2\left\{\left(\left(P+P^{\perp}\right)X\left(P+P^{\perp}\right)\otimes 
    \left(P+P^{\perp}\right)X\left(P+P^{\perp}\right)\right)\Gamma\right\}}.\end{aligned}$$ Using ${\mathrm{tr}_2\left\{\left(A\otimes B\right)\Gamma\right\}}={\mathrm{tr}_2\left\{\left(B\otimes A\right)\Gamma\right\}}$, which is a consequence of $\mathrm{Ex}\,\Gamma\,\mathrm{Ex}=\Gamma$, one arrives at the assertion after rearranging.

Afterwards, we collect the terms of (\[MP+R\]) in a suitable way. Note that compared to @VBA the definitions of the Main Part and the Remainder are slightly changed.

The term $$\begin{aligned}
\nonumber T_{\mathrm{MP}}&:={\mathrm{tr}_2\left\{\left(PXP\otimes PXP\right)\Gamma\right\}} 
                + 4\,\mathfrak{Re}\left\{{\mathrm{tr}_2\left\{\left(PXP\otimes P^{\perp}XP\right)\Gamma\right\}}\right\}\\
            &\qquad+4\,{\mathrm{tr}_2\left\{\left(PXP^{\perp}\otimes P^{\perp}XP\right)\Gamma\right\}}\end{aligned}$$ is called Main Part, $$\begin{aligned}
\nonumber T_{\mathrm{R}}&:={\mathrm{tr}_2\left\{\left(P^{\perp}XP^{\perp}\otimes P^{\perp}XP^{\perp}\right)\Gamma\right\}} 
    + 4\,\mathfrak{Re}\left\{{\mathrm{tr}_2\left\{\left(P^{\perp}XP\otimes P^{\perp}XP^{\perp}\right)\Gamma\right\}}\right\}\\
    &\qquad+2\,{\mathrm{tr}_2\left\{\left(P^{\perp}XP^{\perp}\otimes PXP\right)\Gamma\right\}}-2\,{\mathrm{tr}_2\left\{\left(PXP^{\perp}\otimes 
          P^{\perp}XP\right)\Gamma\right\}}\end{aligned}$$ is called Remainder, and $$\begin{aligned}
T_{\mathrm{MET}}:= 2\,\mathfrak{Re}\left\{{\mathrm{tr}_2\left\{\left(PXP^{\perp}\otimes PXP^{\perp}\right)\Gamma\right\}}\right\}\end{aligned}$$ is called Main Error Term.

One estimate is used more than once when considering the terms in the Remainder and Main Error Term. This estimate requires the following lemma.

\[lem4a\] Let $\left\{\psi_i\right\}_{i=1}^{\infty}\subseteq{\mathfrak{h}}$ be an ONB, $Q=Q^*=Q^2$, $Q^{\perp}:=\mathbbm{1}-Q$, and $Y=Y^*=Y^2\in{\mathcal{B}}({\mathfrak{h}})$ orthogonal projections. For $r,s\in\mathbbm{N}$ define $$\begin{aligned}
B\left(r,s\right):=\left| QY \psi_r\right>\left< Q^{\perp} Y\psi_s\right|\in{\mathcal{B}}({\mathfrak{h}}).\end{aligned}$$ Then one has $$\begin{aligned}
\nonumber &\sum\limits_{r,s=1}^{\infty}{\mathrm{tr}_2\left\{\left(B^*\left(r,s\right)\otimes
    B\left(r,s\right)\right)
    \left(\Gamma+\mathrm{Ex}\left(\gamma\otimes\mathbbm{1}\right)\right)\right\}}\\
        &\qquad\qquad={\mathrm{tr}_2\left\{\left(QYQ\otimes Q^{\perp}YQ^{\perp}\right)
        \left(-\Gamma+\mathbbm{1}\otimes\gamma\right)\right\}}. \label{HIL}\end{aligned}$$

Denoting $K:=\sum\limits_{r,s=1}^{\infty}{\mathrm{tr}_2\left\{\left(B^*\left(r,s\right)\otimes
    B\left(r,s\right)\right)
      \left(\Gamma+\mathrm{Ex}\left(\gamma\otimes\mathbbm{1}\right)\right)\right\}}$, we calculate the trace using the ONB $\left\{\psi_i\right\}_{i=1}^{\infty}\subseteq{\mathfrak{h}}$. $$\begin{aligned}
\nonumber K&=\sum\limits_{r,s=1}^{\infty}\sum\limits_{k,l,m,n=1}^{\infty}\left<\psi_k\otimes\psi_l\big|
 \left(B^*\left(r,s\right)\otimes B\left(r,s\right)\right)\left(\psi_m\otimes\psi_n\right)\right>\\
\nonumber &\qquad\qquad\qquad\qquad\times\left<\psi_m\otimes\psi_n\big|\left(\Gamma +\mathrm{Ex}
    \left(\gamma\otimes\mathbbm{1}\right)\right)\left(\psi_k\otimes\psi_l\right)\right>.\end{aligned}$$ In the next step, the definition of $B\left(r,s\right)$ together with $\left(A\right)_{ij}:=\left<\psi_i|\,A\psi_j\right>$, for any $A\in{\mathcal{B}}({\mathfrak{h}})$, can be used to write $$\begin{aligned}
\nonumber K&=\sum\limits_{r,s=1}^{\infty}\sum\limits_{k,l,m,n=1}^{\infty}\left(YQ\right)_{rm}
    \left(Q^{\perp}Y\right)_{ks}\left(QY\right)_{lr}
    \left(YQ^{\perp}\right)_{sn}\\
\nonumber &\qquad\qquad\qquad\qquad\times\left<\psi_m\otimes\psi_n\big|\left(\Gamma +\mathrm{Ex}
    \left(\gamma\otimes\mathbbm{1}\right)\right)\left(\psi_k\otimes\psi_l\right)\right>.\end{aligned}$$ Performing the summation over $r$ and $s$ leads to $$\begin{aligned}
\nonumber K&=\sum\limits_{k,l,m,n=1}^{\infty}\left(QYQ\right)_{lm}
\left(Q^{\perp}YQ^{\perp}\right)_{kn}\\
\nonumber &\qquad\qquad\qquad\qquad\times\left<\psi_m\otimes\psi_n\big|\left(\Gamma +\mathrm{Ex}
    \left(\gamma\otimes\mathbbm{1}\right)\right)\left(\psi_k\otimes\psi_l\right)\right>\\
\nonumber &=\sum\limits_{k,l,m,n=1}^{\infty}\left<\psi_l\otimes\psi_k\big|\left(QYQ\otimes 
    Q^{\perp}YQ^{\perp}\right)\left(\psi_m\otimes\psi_n\right)\right>\\
\nonumber &\qquad\qquad\qquad\qquad\times\left<\psi_m\otimes\psi_n\big|\left(\Gamma +\mathrm{Ex}
    \left(\gamma\otimes\mathbbm{1}\right)\right)\left(\psi_k\otimes\psi_l\right)\right>.\end{aligned}$$ The summation over $m$ and $n$ can also be carried out. Finally, the summation over $k$ and $l$ gives $$\begin{aligned}
\nonumber K&=\sum\limits_{k,l=1}^{\infty}
    \left<\psi_k\otimes\psi_l\big|\left(\mathrm{Ex}\left(QYQ\otimes Q^{\perp}YQ^{\perp}\right)
    \left(\Gamma+\mathrm{Ex}\left(\gamma\otimes\mathbbm{1}\right)\right)\right)\left(\psi_k\otimes\psi_l\right)\right>\\
&={\mathrm{tr}_2\left\{\left(QYQ\otimes Q^{\perp}YQ^{\perp}\right)\left(-\,\Gamma+\mathbbm{1}\otimes\gamma\right)\right\}},\end{aligned}$$ using the cyclicity of the trace, $\Gamma\,\mathrm{Ex}=-\,\Gamma$, and $\mathrm{Ex}\left(\mathbbm{1}\otimes\gamma\right)\mathrm{Ex}=\gamma\otimes\mathbbm{1}$.

By changing the definition of $B\left(r,s\right)$ it is also possible to treat, for example, $QYQ\otimes QYQ$ similarly. However, it is important to notice that $\sum\limits_{r,s}B^*\left(r,s\right)\otimes B\left(r,s\right)$ is, in general, indefinite. In fact, the trace of $B\left(r,s\right)$ is vanishing in our case and so is the trace of $B^*\left(r,s\right)\otimes
B\left(r,s\right)$. Hence, $B^*\left(r,s\right)\otimes
B\left(r,s\right)$ is either indefinite or zero. Furthermore, since $P^\perp\ \text{and}\ P$ commute with $\gamma$, we also have ${\mathrm{tr}_1\left\{B\left(r,s\right)\gamma\right\}}=0$.

A consequence of Lemma \[lem4a\] is a key inequality for proving the estimate on the Remainder and the Main Error Term. This inequality is given in (\[Fundsatz\]).

Let $X$, and $P$ and $P^{\perp}$ be as defined in (\[defX\]) and (\[defP\]), respectively. Assume that $\left(\gamma,\Gamma\right)$ is admissible and fulfills the G-Condition. Then $$\begin{aligned}
\quad{\mathrm{tr}_2\left\{\left(PXP\otimes P^{\perp}XP^{\perp}\right)\Gamma\right\}}\leq 4\,{\mathrm{tr}_1\left\{X\gamma\right\}}
  {\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}. \label{Fundsatz}\end{aligned}$$

First, we observe that (\[HIL\]) with $Y=X$ and $Q=P$ and the G-Condition immediately lead to $$\begin{aligned}
    \nonumber 0&\leq\sum\limits_{r,s=1}^{\infty}TRhh{\left( B^*\left(r,s\right)\otimes B\left(r,s\right)\right)
        \left(\Gamma+\mathrm{Ex}\left(\gamma\otimes
        \mathbbm{1}\right)\right)}\\
      &={\mathrm{tr}_2\left\{\left(PXP\otimes P^{\perp}XP^{\perp}\right)
        \left(-\,\Gamma+\left(\mathbbm{1}\otimes\gamma\right)\right)\right\}}.
    \end{aligned}$$ Consequently, $$\begin{aligned}
    \nonumber{\mathrm{tr}_2\left\{\left(PXP\otimes P^{\perp}XP^{\perp}\right)\Gamma\right\}}&\leq {\mathrm{tr}_2\left\{\left(PXP\otimes 
          P^{\perp}XP^{\perp}\right)\left(\mathbbm{1}\otimes\gamma\right)\right\}}\\
        &={\mathrm{tr}_1\left\{PX\right\}}{\mathrm{tr}_1\left\{P^{\perp}X\gamma\right\}}.
    \end{aligned}$$ Secondly, we permute the arguments in the trace cyclically and use that $\gamma$ is trace class and $PX$ and $P^{\perp}X$ are bounded. Then we use (\[Proj2\]) to estimate the projections: $$\begin{aligned}
{\mathrm{tr}_1\left\{PX\right\}}{\mathrm{tr}_1\left\{P^{\perp}X\gamma\right\}}&={\mathrm{tr}_1\left\{XPX\right\}}{\mathrm{tr}_1\left\{X\sqrt{\gamma}P^{\perp}\sqrt{\gamma}X\right\}}\\
      &\leq 4\,{\mathrm{tr}_1\left\{X\gamma\right\}}{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}\end{aligned}$$ since $\gamma P^\perp=\sqrt{\gamma}P^\perp\sqrt{\gamma}$.

From ${\mathrm{tr}_2\left\{\left(A\otimes B\right)\Gamma\right\}}={\mathrm{tr}_2\left\{\left(B\otimes A\right)\Gamma\right\}}$, for $A,B\in{\mathcal{B}}({\mathfrak{h}})$, one directly can conclude $$\begin{aligned}
{\mathrm{tr}_2\left\{\left(P^{\perp}XP^{\perp}\otimes PXP\right)\Gamma\right\}}\leq 4\,{\mathrm{tr}_1\left\{X\gamma\right\}}{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}. 
                                                    \label{Fundsatz2}\end{aligned}$$

Estimation of the Remainder
---------------------------

Now we consider the Remainder of (\[MP+R\]): $$\begin{aligned}
\nonumber T_{\mathrm{R}}&:={\mathrm{tr}_2\left\{\left(P^{\perp}XP^{\perp}\otimes P^{\perp}XP^{\perp}\right)\Gamma\right\}} 
                + 4\,\mathfrak{Re}\left\{{\mathrm{tr}_2\left\{\left(P^{\perp}XP\otimes P^{\perp}XP^{\perp}\right)
                            \Gamma\right\}}\right\}\\
            &\qquad+2\,{\mathrm{tr}_2\left\{\left(P^{\perp}XP^{\perp}\otimes PXP\right)\Gamma\right\}}
                -2\,{\mathrm{tr}_2\left\{\left(PXP^{\perp}\otimes P^{\perp}XP\right)\Gamma\right\}}.\end{aligned}$$ The first three terms, summed up in $T_{\mathrm{R}_1}$ and the last term, called $T_{\mathrm{R}_2}$, are treated separately to derive a lower bound.

\[lem4b\] Let $X$, and $P$ and $P^{\perp}$ be as defined in (\[defX\]) and (\[defP\]), respectively. Assume that $\left(\gamma,\Gamma\right)$ is admissible and fulfills the G- and P-Conditions. Then $$\begin{aligned}
\nonumber T_{\mathrm{R}_1}&:={\mathrm{tr}_2\left\{\left(P^{\perp}XP^{\perp}\otimes P^{\perp}XP^{\perp}\right)\Gamma\right\}} 
                  +2\,{\mathrm{tr}_2\left\{\left(P^{\perp}XP^{\perp}\otimes PXP\right)\Gamma\right\}}\\
\nonumber&\quad\qquad\qquad\qquad\qquad+ 4\,\mathfrak{Re}\left\{{\mathrm{tr}_2\left\{\left(P^{\perp}XP^{\perp}\otimes PXP^{\perp}\right)\Gamma\right\}}\right\}\\
&\geq -\,8\,{\mathrm{tr}_1\left\{X\gamma\right\}}{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}.\end{aligned}$$

First, we use $\mathfrak{Re}\left(\zeta\right)\geq -\left|\zeta\right|$, for any complex number $\zeta$, and $P^{\perp}XP\otimes P^{\perp}XP^{\perp}=\left(P^{\perp}X\otimes P^{\perp}X\right)\left(XP\otimes X P^{\perp}\right)$ to infer $$\begin{aligned}
\nonumber  T_{\mathrm{R}_1}&={\mathrm{tr}_2\left\{\left(P^{\perp}XP^{\perp}\otimes P^{\perp}XP^{\perp}\right)\Gamma\right\}}
      +2\,{\mathrm{tr}_2\left\{\left(PXP\otimes P^{\perp}XP^{\perp}\right)\Gamma\right\}}\\
\nonumber &\qquad\qquad\qquad+4\,\mathfrak{Re}\left\{{\mathrm{tr}_2\left\{\left(P^{\perp}XP\otimes P^{\perp}XP^{\perp}\right)\Gamma\right\}}\right\}\\
\nonumber & \geq{\mathrm{tr}_2\left\{\left(P^{\perp}XP^{\perp}\otimes P^{\perp}XP^{\perp}\right)\Gamma\right\}}
    +2\,{\mathrm{tr}_2\left\{\left(PXP\otimes P^{\perp}XP^{\perp}\right)\Gamma\right\}}\\
\nonumber&\qquad\qquad\qquad-4\left|{\mathrm{tr}_2\left\{\left(P^{\perp}X\otimes P^{\perp}X\right)\left(XP\otimes X P^{\perp}\right)\Gamma\right\}}\right|.\end{aligned}$$ Then we use that $\left(A,B\right):=
{\mathrm{tr}_2\left\{A^* B\,\Gamma\right\}}$ defines a positive semidefinite Hermitian form on ${\mathcal{B}}({\mathfrak{h}}\otimes{\mathfrak{h}})$, due to $\Gamma\geq0$, which is the P-Condition. Hence, the Cauchy–Schwarz inequality $$\begin{aligned}
\left|\left(A,B\right)\right|\leq\left(A,A\right)^{\frac{1}{2}}
    \left(B,B\right)^{\frac{1}{2}} \label{CSIN}\end{aligned}$$ holds, and we arrive at $$\begin{aligned}
\nonumber& T_{\mathrm{R}_1}\geq{\mathrm{tr}_2\left\{\left(P^{\perp}XP^{\perp}\otimes P^{\perp}XP^{\perp} \right)\Gamma\right\}}
        +2\,{\mathrm{tr}_2\left\{\left(PXP\otimes P^{\perp}XP^{\perp} \right)\Gamma\right\}}\\
\nonumber&\qquad-4\left({\mathrm{tr}_2\left\{\left(P^{\perp}XP^{\perp}\otimes 
      P^{\perp}XP^{\perp}\right)\Gamma\right\}}\right)^{\frac{1}{2}}\left({\mathrm{tr}_2\left\{\left(PXP\otimes 
      P^{\perp}XP^{\perp}\right)\Gamma\right\}}\right)^{\frac{1}{2}}.\end{aligned}$$ As $x^2-4bx\geq -\,4b^2$, for $x:=\left({\mathrm{tr}_2\left\{\left(P^{\perp}XP^{\perp}\otimes 
      P^{\perp}XP^{\perp} \right)\Gamma\right\}}\right)^{\frac{1}{2}}$ and $b:=\left({\mathrm{tr}_2\left\{\left(PXP\otimes 
      P^{\perp}XP^{\perp}\right)\Gamma\right\}}\right)^{\frac{1}{2}}$, one then easily concludes $$\begin{aligned}
\nonumber T_{\mathrm{R}_1}&\geq -\,4\,{\mathrm{tr}_2\left\{\left(PXP\otimes P^{\perp}XP^{\perp}\right)\Gamma\right\}}+2\,{\mathrm{tr}_2\left\{\left(PXP\otimes 
      P^{\perp}XP^{\perp}\right)\Gamma\right\}}\\
&=-\,2\,{\mathrm{tr}_2\left\{\left(PXP\otimes P^{\perp}XP^{\perp}\right)\Gamma\right\}}.\end{aligned}$$ The proof is completed by using (\[Fundsatz\]): $$\begin{aligned}
 T_{\mathrm{R}_1}\geq-\,2\,{\mathrm{tr}_2\left\{\left(PXP\otimes P^{\perp}XP^{\perp}\right)\Gamma\right\}}\geq
    -\,8\,{\mathrm{tr}_1\left\{X\gamma\right\}}{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}.\end{aligned}$$

The estimate on $T_{\mathrm{R}_2}:=-\,2\,{\mathrm{tr}_2\left\{\left(P^{\perp}XP\otimes PXP^{\perp}\right)\Gamma\right\}}$ is addressed in the next lemma.

\[lem4c\] Let $X$, and $P$ and $P^{\perp}$ be as defined in (\[defX\]) and (\[defP\]), respectively. Assume that $\left(\gamma,\Gamma\right)$ is admissible and fulfills the G- and P-Conditions. Then $$\begin{aligned}
&\quad T_{\mathrm{R}_2}= -\,2\,{\mathrm{tr}_2\left\{\left(P^{\perp}XP\otimes PXP^{\perp}\right)\Gamma\right\}}\geq-\,8\,{\mathrm{tr}_1\left\{X\gamma\right\}}
      {\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}. \label{RemR}\end{aligned}$$

First, the left side is estimated by its absolute value. Then the Cauchy–Schwarz inequality (\[CSIN\]) is used: $$\begin{aligned}
\nonumber &-2\,{\mathrm{tr}_2\left\{\left(P^{\perp}XP\otimes PXP^{\perp}\right)\Gamma\right\}}\\
\nonumber &\qquad\geq-\,2\left|{\mathrm{tr}_2\left\{\left(P^{\perp}XP\otimes PXP^{\perp}\right)\Gamma\right\}}\right|\\
\nonumber &\qquad\geq-\,2\left({\mathrm{tr}_2\left\{\left(P^{\perp}XP^{\perp}\otimes PXP\right)\Gamma\right\}}\right)^{\frac{1}{2}}
                \left({\mathrm{tr}_2\left\{\left(PXP\otimes P^{\perp}XP^{\perp}\right)\Gamma\right\}}\right)^{\frac{1}{2}}\\
&\qquad=-\,2\,{\mathrm{tr}_1\left\{\left(PXP\otimes P^\perp X P^\perp\right)\Gamma\right\}}. \label{IneqN}\end{aligned}$$ The assertion (\[RemR\]) follows again from (\[Fundsatz\]).

Summing up the results, we obtain the following estimate of the Remainder directly from Lemmata \[lem4b\] and \[lem4c\].

\[mthm4b\] Let $X$, and $P$ and $P^{\perp}$ be as defined in (\[defX\]) and (\[defP\]), respectively. Assume that $\left(\gamma,\Gamma\right)$ is admissible and fulfills the G- and P-Conditions. Then $$\begin{aligned}
&\qquad T_{\mathrm{R}}\geq -\,16\,{\mathrm{tr}_1\left\{X\gamma\right\}}{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}.\end{aligned}$$

Estimation of the Main Error Term
---------------------------------

The main error in Theorem \[mthm4\] results from estimating $T_{\mathrm{MET}}$ in (\[MP+R\]), $$\begin{aligned}
T_{\mathrm{MET}}=2\,\mathfrak{Re}\left\{{\mathrm{tr}_2\left\{\left(P^{\perp}XP\otimes P^{\perp}X P\right)\Gamma\right\}}\right\}. \label{TMETeq}\end{aligned}$$ A key observation is that terms of the form $A\otimes B\in{\mathcal{B}}({\mathfrak{h}}\otimes{\mathfrak{h}})$ or $\mathrm{Ex}\left(A\otimes B\right)\in{\mathcal{B}}({\mathfrak{h}}\otimes{\mathfrak{h}})$ can be added to $\Gamma$ in (\[TMETeq\]) without changing the value of $T_{\mathrm{MET}}$, provided $A$ and $B$ commute with $P^\perp\ \text{and}\ P$. Therefore, one can also consider $$\begin{aligned}
T_{\mathrm{MET}}=2\,\mathfrak{Re}\left\{ {\mathrm{tr}_2\left\{\left(P^{\perp}XP\otimes P^{\perp}X P\right)\left(
    \Gamma+\mathrm{Ex}\left(\gamma\otimes\mathbbm{1}\right)\right)\right\}}\right\}.\end{aligned}$$ This expression can now be estimated using a variant of the Cauchy–Schwarz inequality given in the next lemma.

Let $X$, and $P$ and $P^{\perp}$ be as defined in (\[defX\]) and (\[defP\]), respectively. Assume that $\left(\gamma,\Gamma\right)$ is admissible and fulfills the G-Condition. Then $$\begin{aligned}
\nonumber& \mathfrak{Re}\left\{{\mathrm{tr}_2\left\{\left(P^{\perp}XP\otimes P^{\perp}X P\right)\left(
    \Gamma+\mathrm{Ex}\left(\gamma\otimes\mathbbm{1}\right)\right)\right\}}\right\}\\
\nonumber&\qquad\qquad\qquad \geq - \left({\mathrm{tr}_2\left\{\left(PXP^{\perp}\otimes P^{\perp}X P\right)\left(
    \Gamma+\mathrm{Ex}\left(\gamma\otimes\mathbbm{1}\right)\right)\right\}}
\right)^{\frac{1}{2}}\\
&\qquad\qquad\qquad\qquad\quad\times\left({\mathrm{tr}_2\left\{\left(P^{\perp}XP\otimes PX P^{\perp}\right)\left(
    \Gamma+\mathrm{Ex}\left(\gamma\otimes\mathbbm{1}\right)\right)\right\}} 
\right)^{\frac{1}{2}}.  \label{HiUgl}\end{aligned}$$

We define $$\begin{aligned}
 \left(A,B\right):={\mathrm{tr}_2\left\{\left(A^*\otimes B\right)\left(\Gamma+\mathrm{Ex}\left(\gamma\otimes\mathbbm{1}\right)\right)\right\}}\end{aligned}$$ on ${\mathcal{B}}({\mathfrak{h}})\times{\mathcal{B}}({\mathfrak{h}})$ and observe that, because $$\begin{aligned}
 {\mathrm{tr}_2\left\{\left(B^*\otimes A\right)\Gamma\right\}}={\mathrm{tr}_2\left\{\left(A\otimes B^*\right)\Gamma\right\}}=\overline{{\mathrm{tr}_2\left\{\left(A^*\otimes B\right)\Gamma\right\}}}\end{aligned}$$ and $$\begin{aligned}
 {\mathrm{tr}_2\left\{\left(B^*\otimes A\right)\mathrm{Ex}\left(\gamma\otimes\mathbbm{1}\right)\right\}}&={\mathrm{tr}_1\left\{B^*A\,\gamma\right\}}=
  \overline{{\mathrm{tr}_1\left\{A^*B\,\gamma\right\}}}\\
  &=\overline{{\mathrm{tr}_2\left\{\left(A^*\otimes B\right)\mathrm{Ex}\left(\gamma\otimes\mathbbm{1}\right)\right\}}},\end{aligned}$$ $\left(\cdot\,,\cdot\right)$ defines a Hermitian form on ${\mathcal{B}}({\mathfrak{h}})\times{\mathcal{B}}({\mathfrak{h}})$. Furthermore, $\left(\cdot\,,\cdot\right)$ is positive semidefinite, since $$\begin{aligned}
 \nonumber\left(A,A\right)&={\mathrm{tr}_2\left\{\left(A^*\otimes A\right)\left(\Gamma+\mathrm{Ex}\left(\gamma\otimes\mathbbm{1}\right)\right)\right\}}\\
  &\geq\left|{\mathrm{tr}_1\left\{A\gamma\right\}}\right|^2\geq 0\end{aligned}$$ thanks to the G-Condition. Hence, the Cauchy–Schwarz inequality $\left|\left(A,B\right)\right|\leq\left(A,A\right)^{\frac{1}{2}}\left(B,B\right)^{\frac{1}{2}}$ holds true. Applying this with $A^*:=B:=P^\perp X P$, we arrive at the asserted estimate (\[HiUgl\]): $$\begin{aligned}
 \mathfrak{Re}&\left\{{\mathrm{tr}_2\left\{\left(P^{\perp}XP\otimes P^{\perp}X P\right)\left(
    \Gamma+\mathrm{Ex}\left(\gamma\otimes\mathbbm{1}\right)\right)\right\}}\right\}\\
  &\qquad=\mathfrak{Re}\left\{\left(A^*,A\right)\right\}\geq-\left|\left(A^*,A\right)\right|\geq
    -\left(A^*,A^*\right)^\frac{1}{2}\left(A,A\right)^\frac{1}{2}\\
  &\qquad=- \left({\mathrm{tr}_2\left\{\left(PXP^{\perp}\otimes P^{\perp}X P\right)\left(
    \Gamma+\mathrm{Ex}\left(\gamma\otimes\mathbbm{1}\right)\right)\right\}}
\right)^{\frac{1}{2}}\\
&\qquad\qquad\qquad\qquad\quad\times\left({\mathrm{tr}_2\left\{\left(P^{\perp}XP\otimes PX P^{\perp}\right)\left(
    \Gamma+\mathrm{Ex}\left(\gamma\otimes\mathbbm{1}\right)\right)\right\}}
\right)^{\frac{1}{2}}.\end{aligned}$$

Now the Main Error Term can be estimated.

\[mthm4c\] Let $X$, and $P$ and $P^{\perp}$ be as defined in (\[defX\]) and (\[defP\]), respectively. Assume that $\left(\gamma,\Gamma\right)$ is admissible and fulfills the G- and P-Conditions. Then $$\begin{aligned}
T_{\mathrm{MET}}\geq-\,2\,{\mathrm{tr}_1\left\{X\gamma\right\}}\Big[8\,{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}
      \Big(1+4\,{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}\Big)\Big]^{\frac{1}{2}}.\end{aligned}$$

We rewrite $T_{\mathrm{MET}}$ adding the necessary exchange term to allow for an application of (\[HiUgl\]): $$\begin{aligned}
\nonumber T_{\mathrm{MET}}&=2\,\mathfrak{Re}\left\{{\mathrm{tr}_2\left\{\left(P^{\perp}XP\otimes P^{\perp}X P\right)\Gamma\right\}}\right\}\\
\nonumber &= 2\,\mathfrak{Re}\left\{{\mathrm{tr}_2\left\{\left(P^{\perp}XP\otimes P^{\perp}X P\right)
        \left(\Gamma+\mathrm{Ex}\left(\gamma\otimes\mathbbm{1}\right)\right)\right\}}\right\}\\
\nonumber   & \geq-\,2\left({\mathrm{tr}_2\left\{\left(PXP^{\perp}\otimes P^{\perp}X P\right)\left(
    \Gamma+\mathrm{Ex}\left(\gamma\otimes\mathbbm{1}\right)\right)\right\}}
\right)^{\frac{1}{2}}\\
&\qquad\qquad\qquad\times\left({\mathrm{tr}_2\left\{\left(P^{\perp}XP\otimes PX P^{\perp}\right)\left(
    \Gamma+\mathrm{Ex}\left(\gamma\otimes\mathbbm{1}\right)\right)\right\}}
\right)^{\frac{1}{2}}.  \end{aligned}$$ Note that ${\mathrm{tr}_2\left\{\left(PXP^{\perp}\otimes P^{\perp}X P\right)\Gamma\right\}}={\mathrm{tr}_2\left\{\left(P^{\perp}XP\otimes PX P^{\perp}\right)\Gamma\right\}}$, which was already estimated in (\[IneqN\]). Together with (\[Fundsatz\]) we obtain $$\begin{aligned}
 {\mathrm{tr}_2\left\{\left(PXP^{\perp}\otimes P^{\perp}X P\right)\Gamma\right\}}&\leq {\mathrm{tr}_1\left\{\left(PXP\otimes P^\perp X P^\perp\right)\Gamma\right\}}\\
  &\leq 4{\mathrm{tr}_1\left\{X\gamma\right\}}{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}.\end{aligned}$$ The two exchange terms have to be treated separately. Using $P^{\perp}, P\leq\mathbbm{1}$, we find $$\begin{aligned}
 {\mathrm{tr}_2\left\{\left(PXP^{\perp}\otimes P^{\perp}X P\right)\mathrm{Ex}\left(\gamma\otimes\mathbbm{1}\right)\right\}}
      & = {\mathrm{tr}_1\left\{P^{\perp} X P \gamma P X P^{\perp}\right\}}\\
& = {\mathrm{tr}_1\left\{P^{\perp} X\sqrt{\gamma} P \sqrt{\gamma} X P^{\perp}\right\}}\\
      & \leq {\mathrm{tr}_1\left\{X\gamma\right\}},\end{aligned}$$ and $$\begin{aligned}
  {\mathrm{tr}_2\left\{\left(P^{\perp}XP\otimes PX P^{\perp}\right)\mathrm{Ex}\left(\gamma\otimes\mathbbm{1}\right)\right\}}&=
      \nonumber {\mathrm{tr}_1\left\{PXP^{\perp}\gamma P^{\perp}X P\right\}}\\
    &={\mathrm{tr}_1\left\{X P X X P^{\perp}\gamma P^{\perp}X\right\}}\\
\nonumber               &\leq{\mathrm{tr}_1\left\{ X P X\right\}}{\mathrm{tr}_1\left\{ XP^{\perp}\gamma P^{\perp}X\right\}}\\
                        &\leq 4\,{\mathrm{tr}_1\left\{X\gamma\right\}}{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}},\end{aligned}$$ where cyclic permutation in the argument of the trace is used together with $ X=X^2 $, $ \left(P^\perp\right)^2=P^\perp$ and $P^2=P$ to expand the argument of the trace. Then one can use $ X P X\geq 0 $ and $ XP^{\perp}\gamma P^{\perp}X\geq 0$ to estimate by $ X P X \leq \mathbbm{1}\,{\mathrm{tr}_1\left\{X P X\right\}} 
 $. Afterwards, (\[Proj2\]) can be used. Merging the results, we arrive at the assertion.

Estimation of the Main Part
---------------------------

In this section it is shown that the remaining terms of (\[MP+R\]), $$\begin{aligned}
\nonumber T_{\mathrm{MP}}&={\mathrm{tr}_2\left\{ \left(P X P \otimes P X P\right) \Gamma \right\}} +4\,\mathfrak{Re}\left\{{\mathrm{tr}_2\left\{\left(PX P^{\perp} 
      \otimes P X P\right)\Gamma\right\}}\right\}\\
&\qquad +4\,{\mathrm{tr}_2\left\{\left(PXP^{\perp}\otimes P^{\perp}XP\right)\Gamma\right\}}, $$ are large enough to cover the HF-part ${\mathrm{tr}_2\left\{\left(X\otimes X\right)\left(\mathbbm{1}-\mathrm{Ex}\right)\left(\gamma\otimes\gamma\right)\right\}}$ in (\[Spur1\]). Due to this, we call this terms the Main Part. As mentioned, the Main Part was extended by an additional term. This extension allows for the following observation.

Let $X$, and $P$ and $P^{\perp}$ be as defined in (\[defX\]) and (\[defP\]), respectively. Then $$\begin{aligned}
T_{\mathrm{MP}}={\mathrm{tr}_2\left\{\left(PX\left(P+2 P^{\perp}\right)\otimes\left(P+2 P^{\perp}\right)XP\right)\Gamma\right\}}. \label{TmpBP}\end{aligned}$$

Expanding the parentheses on the right side leads to the assertion by using ${\mathrm{tr}_2\left\{\left(A\otimes B\right)\Gamma\right\}}
  ={\mathrm{tr}_2\left\{\left(B\otimes A\right)\Gamma\right\}}$.

For $A:=\left(P+2 P^{\perp}\right)XP$ we have $T_{\mathrm{MP}}={\mathrm{tr}_2\left\{\left(A^*\otimes A\right)\Gamma\right\}}$. This provides the use of the G-Condition.

\[mthm4d\] Let $X$, and $P$ and $P^{\perp}$ be as defined in (\[defX\]) and (\[defP\]), respectively. Assume that $\left(\gamma,\Gamma\right)$ is admissible and fulfills the G-Condition. Then $$\begin{aligned}
&T_{\mathrm{MP}}-{\mathrm{tr}_2\left\{\left(X\otimes X\right)\left(\mathbbm{1}-\mathrm{Ex}\right)
    \left(\gamma\otimes\gamma\right)\right\}}\geq -\,22\, {\mathrm{tr}_1\left\{X\gamma\right\}}{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}. \label{MPabs}\end{aligned}$$

The proof is split into two parts. In the first part, the trace of the HF-part is calculated. In the second part, the Main Part is estimated by applying the G-Condition with $A:=\left(P+2 P^{\perp}\right)XP$.

-   As in (\[abs1\]), the trace of the HF part can be written as $$\begin{aligned}
        {\mathrm{tr}_2\left\{\left(X\otimes X\right)\left(\mathbbm{1}-\mathrm{Ex}\right)\left(\gamma\otimes
        \gamma\right)\right\}}=\left({\mathrm{tr}_1\left\{X\gamma\right\}}\right)^2-{\mathrm{tr}_1\left\{X\gamma X\gamma\right\}}.
        \end{aligned}$$

-   Owing to (\[TmpBP\]), the G-Condition can be applied directly on the Main Part: $$\begin{aligned}
    \nonumber   T_{\mathrm{MP}}&={\mathrm{tr}_2\left\{\left(PX\left(P+2 P^{\perp}\right)\otimes
                \left(P+2 P^{\perp}\right)XP\right)\Gamma\right\}}\\
    \nonumber &\geq \left|{\mathrm{tr}_1\left\{PX\left(P+2 P^{\perp}\right)\gamma\right\}}\right|^2\\
    \nonumber &\qquad\qquad\qquad\qquad -{\mathrm{tr}_1\left\{PX\left(P+2 P^{\perp}\right)\gamma\left(P+2 P^{\perp}\right)XP\right\}}.\\
    \intertext{Due to cyclical permutation, $\left[\gamma,P\right]=\left[\gamma,P^\perp\right]=0$ and $P^\perp P=P P^\perp=0$, some 
    traces vanish. The result is}
    \nonumber T_{\mathrm{MP}}&\geq \left|{\mathrm{tr}_1\left\{PX\gamma\right\}}\right|^2-{\mathrm{tr}_1\left\{XPXP\gamma\right\}}-4\,{\mathrm{tr}_1\left\{XPXP^{\perp}\gamma\right\}}\\
     &\geq \left({\mathrm{tr}_1\left\{PX\gamma\right\}}\right)^2-{\mathrm{tr}_1\left\{PX\gamma X\right\}}-4\,{\mathrm{tr}_1\left\{XP\right\}}{\mathrm{tr}_1\left\{XP^{\perp}\gamma\right\}}.
        \end{aligned}$$ In ${\mathrm{tr}_1\left\{XPXP\gamma\right\}}$, $\left[P,\gamma\right]=0$ and $P\leq \mathbbm{1}$ is used to write ${\mathrm{tr}_1\left\{XPXP\gamma\right\}}={\mathrm{tr}_1\left\{PX\sqrt{\gamma}P\sqrt{\gamma}XP\right\}}\leq{\mathrm{tr}_1\left\{PX\gamma X\right\}}$. In the last trace, $XP\leq\mathbbm{1}\,{\mathrm{tr}_1\left\{XP\right\}}$ is used. This is possible since ${\mathrm{tr}_1\left\{XPXP^{\perp}\gamma\right\}}={\mathrm{tr}_1\left\{XPX XP^{\perp}\gamma X\right\}}$ and $XP^{\perp}\gamma X=\left|XP^{\perp}\sqrt{\gamma}\right|^2\geq 0$ together with $XPX\geq 0$.

Before adding up the estimates, we note that $$\begin{aligned}
{\mathrm{tr}_1\left\{P^{\perp}X\gamma X\gamma\right\}}&={\mathrm{tr}_1\left\{\sqrt{\gamma} X \sqrt{\gamma}P^{\perp}\sqrt{\gamma}X\sqrt{\gamma}\right\}}\geq0\end{aligned}$$ and $$\begin{aligned}
\nonumber &\left({\mathrm{tr}_1\left\{X\gamma\right\}}\right)^2-\left({\mathrm{tr}_1\left\{PX\gamma\right\}}\right)^2\\
\nonumber&\qquad\qquad
=\Big({\mathrm{tr}_1\left\{X\gamma\right\}}+{\mathrm{tr}_1\left\{PX\gamma\right\}}\Big) \Big({\mathrm{tr}_1\left\{X\gamma\right\}}-{\mathrm{tr}_1\left\{PX\gamma\right\}}\Big)\\
 &\qquad\qquad
=\Big({\mathrm{tr}_1\left\{X\gamma\right\}}+{\mathrm{tr}_1\left\{PX\gamma\right\}}\Big){\mathrm{tr}_1\left\{P^{\perp}X\gamma\right\}}. \label{ugl7}\end{aligned}$$ Furthermore, one has ${\mathrm{tr}_1\left\{XP\right\}}{\mathrm{tr}_1\left\{XP^{\perp}\gamma\right\}}\leq 4\,{\mathrm{tr}_1\left\{X\gamma\right\}}{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}$. These results can now be applied together with a) and b) to the left side of (\[MPabs\]): $$\begin{aligned}
    \nonumber&T_{\mathrm{MP}}-{\mathrm{tr}_2\left\{\left(X\otimes X\right)\left(\mathbbm{1}-\mathrm{Ex}\right)
                  \left(\gamma\otimes\gamma\right)\right\}}\\
    \nonumber&\qquad \geq-\left(\left({\mathrm{tr}_1\left\{X\gamma\right\}}\right)^2
        -\left({\mathrm{tr}_1\left\{PX\gamma\right\}}\right)^2\right)+{\mathrm{tr}_1\left\{X\gamma X\gamma\right\}}-{\mathrm{tr}_1\left\{PX\gamma X\right\}}\\
        \nonumber &\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad
                -16\,{\mathrm{tr}_1\left\{X\gamma\right\}}{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}.\end{aligned}$$ At this point we use (\[ugl7\]), split ${\mathrm{tr}_1\left\{X\gamma X\gamma\right\}}$ into ${\mathrm{tr}_1\left\{P X\gamma X\gamma\right\}}+{\mathrm{tr}_1\left\{P^{\perp}X\gamma X\gamma\right\}}$, and rearrange: $$\begin{aligned}
    \nonumber&T_{\mathrm{MP}}-{\mathrm{tr}_2\left\{\left(X\otimes X\right)\left(\mathbbm{1}-\mathrm{Ex}\right)
                  \left(\gamma\otimes\gamma\right)\right\}}\\
    \nonumber &\qquad \geq-\left({\mathrm{tr}_1\left\{X\gamma\right\}}+{\mathrm{tr}_1\left\{PX\gamma\right\}}\right){\mathrm{tr}_1\left\{P^{\perp}X\gamma\right\}}\\
    \nonumber &\qquad\qquad\qquad-{\mathrm{tr}_1\left\{PX\gamma X\left(\mathbbm{1}-\gamma\right)\right\}}
            +{\mathrm{tr}_1\left\{P^{\perp}X\gamma X\gamma\right\}}\\
    \nonumber &\qquad\qquad\qquad-16\,{\mathrm{tr}_1\left\{X\gamma\right\}}{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}.\end{aligned}$$ Then, with $P\leq\mathbbm{1}$, $P^{\perp}\leq 2\left(1-\gamma\right)$, and ${\mathrm{tr}_1\left\{P^{\perp}X\gamma X\gamma\right\}}\geq 0$, one obtains $$\begin{aligned}
    \nonumber&T_{\mathrm{MP}}-{\mathrm{tr}_2\left\{\left(X\otimes X\right)\left(\mathbbm{1}-\mathrm{Ex}\right)
                  \left(\gamma\otimes\gamma\right)\right\}}\\
    \nonumber &\qquad \geq -\,4\,{\mathrm{tr}_1\left\{X\gamma\right\}}{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}
        -{\mathrm{tr}_1\left\{PX\gamma X\left(\mathbbm{1}-\gamma\right)\right\}}\\
    \nonumber &\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad
                -16\,{\mathrm{tr}_1\left\{X\gamma\right\}}{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}.\end{aligned}$$ We continue with the inequality $X\gamma X\leq\mathbbm{1}{\mathrm{tr}_1\left\{X\gamma X\right\}}$. This is allowed because ${\mathrm{tr}_1\left\{PX\gamma X\left(\mathbbm{1}-\gamma\right)\right\}}={\mathrm{tr}_1\left\{X\gamma X X\left(\mathbbm{1}-\gamma\right)PX\right\}}$ and $X\left(\mathbbm{1}-\gamma\right)PX=
  X\sqrt{\mathbbm{1}-\gamma}P\sqrt{\mathbbm{1}-\gamma}X=
\left|X\sqrt{\mathbbm{1}-\gamma}P\right|^2\geq 0$ together with $X\gamma X\geq 0$: $$\begin{aligned}
    \nonumber &T_{\mathrm{MP}}-{\mathrm{tr}_2\left\{\left(X\otimes X\right)\left(\mathbbm{1}-\mathrm{Ex}\right)
                  \left(\gamma\otimes\gamma\right)\right\}}\\
    \nonumber &\qquad \geq -\,20\,{\mathrm{tr}_1\left\{X\gamma\right\}}{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}
            -{\mathrm{tr}_1\left\{X\gamma X\right\}}{\mathrm{tr}_1\left\{X\left(\mathbbm{1}-\gamma\right)P X\right\}}\\
    \nonumber &\qquad \geq -\,20\,{\mathrm{tr}_1\left\{X\gamma\right\}}{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}
                -2\,{\mathrm{tr}_1\left\{X\gamma\right\}}{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}\\
    & \qquad = -\,22\,{\mathrm{tr}_1\left\{X\gamma\right\}}{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}.\end{aligned}$$ The last inequality follows from $P\leq2\gamma$.

Finally, the proof of Theorem \[mthm4\] is completed by the estimation of $T_{\mathrm{R}}$ in Theorem \[mthm4b\], $T_{\mathrm{MET}}$ in Theorem \[mthm4c\] and $T_{\mathrm{MP}}-{\mathrm{tr}_2\left\{\left(X\otimes X\right)\left(\mathbbm{1}-\mathrm{Ex}\right)\left(\gamma\otimes\gamma\right)\right\}}$ in Theorem \[mthm4d\]. In each of this theorems, the G-Condition was used to generate bounds. The P-Condition was only applied to provide the use of the Cauchy–Schwarz inequality. In the end, it is remarkable that the Q-Condition is not needed for the proof of the correlation estimate.

Summary
=======

We have obtained several results in the last section, which were merged in the main theorem, Theorem \[mthm4\]: $$\begin{aligned}
{\mathrm{tr}_2\left\{\left(X\otimes X\right)\left(\Gamma-\left(1-\text{Ex}\right)
        \left(\gamma\otimes\gamma\right)\right)\right\}}\geq-\,{\mathrm{tr}_1\left\{X\gamma\right\}},\end{aligned}$$ $$\begin{aligned}
\qquad T_{\text{R}}\geq - \,16\,{\mathrm{tr}_1\left\{X\gamma\right\}}{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}},\end{aligned}$$ $$\begin{aligned}
 T_{\text{MET}}\geq -\,2\,{\mathrm{tr}_1\left\{X\gamma\right\}}\Big[8\,{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}
          \Big(1+4\,{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}\Big)\Big]^\frac{1}{2},\end{aligned}$$ $$\begin{aligned}
T_{\text{MP}}-{\mathrm{tr}_2\left\{\left(X\otimes X\right)\left(\mathbbm{1}-\text{Ex}\right)
          \left(\gamma\otimes\gamma\right)\right\}}\geq -\,22\, {\mathrm{tr}_1\left\{X\gamma\right\}}{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}.\end{aligned}$$

Denoting $b:={\mathrm{tr}_1\left\{X\gamma\right\}}$ and $a:=\sqrt{{\mathrm{tr}_1\left\{X\left(\gamma-\gamma^2\right)\right\}}}$, one can rewrite the estimates for ${\mathrm{tr}_2\left\{\left(X\otimes X\right)\Gamma^{\left(\mathrm{T}\right)}\right\}}=
{\mathrm{tr}_2\left\{\left(X\otimes X\right)\left(\Gamma-\left(1-\mathrm{Ex}\right)
        \left(\gamma\otimes\gamma\right)\right)\right\}}$ as follows: $$\begin{aligned}
{\mathrm{tr}_2\left\{\left(X\otimes X\right)\Gamma^{\left(\mathrm{T}\right)}\right\}}\geq  
        -\,b\,\min\left\{1;\ a\left(38a+2\sqrt{8+32a^2}\right)\right\}. \label{CorrUGL}\end{aligned}$$

A suitable choice of $a\leq b$ in (\[CorrUGL\]) leads to the following correlation estimation.

\[CorrelationIneq\] Let $X$, and $P$ and $P^{\perp}$ be as defined in (\[defX\]) and (\[defP\]), respectively. Assume that $\left(\gamma,\Gamma\right)$ is admissible and fulfills the G- and P-Conditions. Then $$\begin{aligned}
{\mathrm{tr}_2\left\{\left(X\otimes X\right)\Gamma^{\left(\mathrm{T}\right)}\right\}} \geq 
        -\,{\mathrm{tr}_1\left\{X\gamma\right\}}\,\min\left\{1;\ 10\sqrt{{\mathrm{tr}_1\left\{X\left(
        \gamma-\gamma^2\right)\right\}}}\right\}.\end{aligned}$$

The minimum in (\[CorrUGL\]) is $a\left(38a+2\sqrt{8+32a^2}\right)$ for $0< a\leq \frac{1}{\sqrt{94}}$ and, thus, $\frac{1}{a}\geq \left(38a+2\sqrt{8+32a^2}\right)$. Since $\left(38a+2\sqrt{8+32a^2}\right)$ is monotonously increasing in $a$, we find $$\begin{aligned}
\left(38a+2\sqrt{8+32a^2}\right)\leq \sqrt{94}< 10 \label{const},\end{aligned}$$ which implies the assertion.

In section 4.1, we have split the eigenvalues of $\gamma$ in eigenvalues which are larger than $\frac{1}{2}$ and lower or equal $\frac{1}{2}$. In fact, this split turns out to be almost optimal and (\[const\]) cannot be sharpened by another choice of $P$ and $P^\perp$.

Up to the constant (\[const\]), Theorem \[CorrelationIneq\] is exactly the result which was already obtained in @VBA. The difference of the constants comes, on the one hand, from a different arrangement of the terms of ${\mathrm{tr}_2\left\{\left(X\otimes X\right)\Gamma^{\left(\mathrm{T}\right)}\right\}}$ and, on the other hand, from the fact that in @VBA also the Q-Condition was used, which can be seen implicitly in estimate (68) in @VBA. With the result of Theorem \[CorrelationIneq\] we can immediately perform the integration in the Feffermann–de la Llave identity according to @VBA which leads to an estimate of ${\mathrm{tr}_2\left\{V\left(\Gamma-(1-\mathrm{Ex})(\gamma\otimes\gamma)\right)\right\}}$.

{'source': 'arXiv_out/1203'}