Background
Consider a lattice system described by the Hamiltonian $$ H = - J \sum_{\left\langle ij \right\rangle} \left( \Delta^{\dagger}_i \Delta_j + \mathrm{h.c.} \right) $$ where $\Delta_i$, $\Delta^{\dagger}_i$ destroy and create a particle on site $i$ respectively, and $J$ is the hopping amplitude, here involving nearest neighbours only. Now if $\Delta_i$, $\Delta^{\dagger}_i$ are elementary bosonic operators this hamiltonian describes the Bose-Hubbard model in the non interacting limit, and the ground state if there is no superfluid symmetry breaking is a Bose-Einstein condensate which is obtained by writing the single particle energy levels in momentum space $\varepsilon_k = -2Jcos(k)$ and by massively occupying the lowest state at $k=0$ with all the $N$ particles: $\left|\mathrm{G.S.}\right\rangle = \left( \Delta^{\dagger}_{k=0} \right)^N \left| 0 \right\rangle$, where $\left| 0 \right\rangle$ is the vacuum. To write the ground state in terms of real space Fock states we can use the fact that $\Delta^{\dagger}_{k=0}= \sum_i \Delta^{\dagger}_i$, and we get a linear combination involving many states, including Fock states where more than a particle per site is present.
First question
You can just give a very quick answer here: is it true that the symmetry is not broken, or is it?
Second question
This is the real question: no matter if the symmetry is broken or not, the ground state will always contain Fock states with more than one particle on each lattice site. So, what if now the particles are composite bosons made of two fermions in a singlet spin state? More concretely, if $\Delta^{\dagger}_i = c^{\dagger}_{i\uparrow}c^{\dagger}_{i\downarrow}$, where $c^{\dagger}_{i\sigma}$ satisfy fermionic anticommuation rules, you can't have more than one boson per site, due to Pauli exclusion on the fermions! So can you write explicitly the ground state in this case?
My thoughts
I think that the Pauli principle introduces a constraint on the Hilbert space: the constrained Hilbert space only contains Fock states with $0$ or $1$ boson per site. But still I am confused by the fact that essentially these composite particles apparently don't condense at all...
https://physics.stackexchange.com/questions/602741/bcs-pairing-and-bec-pair-between-fermions/602767#602767
https://physics.stackexchange.com/questions/546836/how-to-understand-the-condensation-of-cooper-pair-in-bcs-theory/547280#547280
and links therein
– Rococo Feb 21 '21 at 17:46