Positivity preserving finite element method for the Gross–Pitaevskii ground state: discrete uniqueness and global convergence | Synapse