Solvable model of a generic trapped mixture of interacting bosons: reduced density matrices and proof of Bose–Einstein condensation

A mixture of two kinds of identical bosons, species 1 with N ₁ bosons of mass m ₁ and species 2 with N ₂ bosons of mass m ₂, held in a harmonic potential of frequency ω and interacting by harmonic intra-species and inter-species particle-particle interactions of strengths ${\lambda }_1$, ${\lambda }_2$, and ${\lambda }_{12}$ is discussed. This is an exactly-solvable model of a generic mixture of trapped interacting bosons which allows one to investigate and determine analytically properties of interest. To start, closed form expressions for the frequencies, ground-state energy, and wave-function of the mixture are obtained and briefly analyzed as a function of the masses, numbers of particles, and strengths and signs of interactions. To prove Bose–Einstein condensation of the mixture three steps are needed. First, we integrate the all-particle density matrix, employing a four-parameter matrix-recurrence relations, down to the lowest-order intra-species and inter-species reduced density matrices of the mixture. Second, the coupled Gross–Pitaevskii (mean-field) equations of the mixture are solved analytically. Third, we analyze the mixture's reduced density matrices in the limit of an infinite number of particles of both species 1 and 2 (when the interaction parameters, i.e. the products of the number of particles times the intra-species and inter-species interaction strengths, are held fixed) and prove that: (i) both species 1 and 2 are 100% condensed; (ii) the inter-species reduced density matrix per particle is separable and given by the product of the intra-species reduced density matrices per particle; and (iii) the mixture's energy per particle, and reduced density matrices and densities per particle all coincide with the Gross–Pitaevskii quantities. Finally, when the infinite-particle limit is taken with respect to, say, species 1 only (with interaction parameters held fixed) we prove that: (iv) only species 1 is 100% condensed and its reduced density matrix and density per particle, as well as the mixture's energy per particle, coincide with the Gross–Pitaevskii quantities of species 1 alone; and (v) the inter-species reduced density matrix per particle is nonetheless separable and given by the product of the intra-species reduced density matrices per particle. The results are compared and discussed with respect to the recent work by Bouvrie et al (2014 Eur. Phys. J. D 68 346) who found for attractive mixtures vanishing bipartite entanglement between the two species and between a single particle (of either kind) and the remaining particles in the mixture. Implications are briefly discussed. (paper)