1: \begin{definition}

2: A state $\omega \in \cZ^-$ is called quasifree, shortly $\omega \in \cZ_{\mathrm{qf}}^-$, if it fulfills Wick's Theorem, \ie,

3: \begin{align}

4: &\omega ( e_1 \, e_2 \cdots e_{2N-1} ) = 0 \quad \text{and} \notag \\

5: &\omega ( e_1 \, e_2 \cdots e_{2N} ) = \sum\limits_{\pi} ( -1 )^{\pi} \omega ( e_{\pi (1)} \, e_{\pi (2)} ) \cdots \omega ( e_{\pi (2N-1)} \, e_{\pi (2N)} ) \label{eq: Pfaffian}

6: \end{align}

7: for every $N \in \NN$, where $ e_i $ denotes either a creation or an annihilation operator for every $i \in \left\{ 1,2,\dots,2N \right\}$. The sum is taken over all permutations $\pi \in \fS_{2N}$ satisfying 

8: \begin{align*}

9: \pi (1) < \pi (3) < \cdots < \pi (2N-1)\

10: \text{and} \

11: \pi (2k-1) < \pi (2k)

12: \end{align*}

13: for every $k \in \left\{ 1,2,\dots,N \right\}$. The right hand side of \eqref{eq: Pfaffian} is called Pfaffian.

14: 

15: The subset of the pure quasifree states is denoted by $\cZ_{\mathrm{pqf}}^-$. For any $N \in \NN$ and any orthonormal vectors $\varphi_1,\dots,\varphi_N \in \fh$, the vector $\varphi_1 \wedge \dots \wedge \varphi_N \in \cF^-$ is called Slater determinant and defines a pure quasifree state.

16: \end{definition}

17: