FK-DLR properties of a quantum multi-type bose-gas with a repulsive interaction
The paper extends earlier results from \cite{SK}, \cite{SKS} about infinite-volume quantum bosonic states (FK-DLR states) to the case of multi-type particles with non-negative interactions. (An example is a quantum Widom--Rowlinson model.) Following the strategy from \cite{SK}, \cite{SKS}, we establish that, for the values of fugacity $z\in (0,1)$ and inverse temperature $\beta >0$, finite-volume Gibbs states form a compact family in the thermodynamic limit. Next, in dimension two we show that any limit-point state (an FK-DLR state in the terminology adopted in \cite{SK}, \cite{SKS}) is translation-invariant.