System Types

Up until this point, we have only considered quantum mechanical systems composed of "spinless fermions". HQS Quantum Solver, however, provides further types of quantum systems. Each of these systems is implemented in its own module, and all these modules are structured in a similar way, meaning that they all provide a VectorSpace, an Operator, and a set of functions providing operator terms.

Spins

The spins module implements systems consisting of $M$ spin-$\frac{1}{2}$ particles. The VectorSpace is spanned by vectors of the form $$\underset{j=0}{\overset{M-1}{⨂}}|{\sigma }_j⟩\text{where}{\sigma }_j\in \{\uparrow ,\downarrow \}.$$

Spinless Fermions

The spinless_fermions module implements systems of fermions having a site index but no (dedicated) spin index. The VectorSpace is spanned by vectors of the form $$\prod _{j=0}^{M-1}(c_j^{†}{)}^{n_j}|0⟩\text{where}{n}_j\in \{0,1\},$$ and $c_j^{†}$ is the creation operator for site $j$.

Spinful Fermions

The spinful_fermions module implements system of fermions having a site index and a spin index. The VectorSpace is spanned by vectors of the form $$\prod _{\sigma \in \{\uparrow ,\downarrow \}}\prod _{j=0}^{M-1}(c_{j\sigma }^{†}{)}^{n_{j\sigma }}|0⟩\text{where}{n}_{j\sigma }\in \{0,1\},$$ and $c_{j\sigma }^{†}$ is the creation operator for site $j$ and spin polarization $\sigma$.

Bosons

The bosons module implements systems of bosons. The VectorSpace is spanned by vectors of the form $$\prod _{j=0}^{M-1}\sqrt{n_j!}(b_j^{†}{)}^{n_j}|0⟩\text{where}{n}_j\in \{0,1,\dots ,N_j\},$$ and $b_j^{†}$ is the creation operator for site $j$. The variable $N_j$ is the maximal occupation of site $j$.