The existence and stability of solitonic states in one-dimensional repulsive Bose-Einstein condensates is investigated within a fully many-body framework by considering the limit infinite repulsion (Tonks-Girardeau gas). A class stationary, shape-invariant propagating at constant velocity are explicitly found compared to known solution Gross-Pitaevskii equation. typical features attributed nonl...

Abstract Various techniques have been proposed to accelerate explicit-state model checking with GPUs, but none address the compact storage of states, or if they do, at cost losing completeness procedure. We investigate how implement a tree database store states as binary trees in GPU memory. present fine-grained parallel algorithms find and trees, experiment number GPU-specific configurations, ...