Vortex structures of rotating spin-orbit coupled Bose-Einstein condensates

We consider the quasi-2D two-component Bose-Einstein condensates with Rashba spin-orbit (SO) coupling in a rotating trap. An external Zeeman term favoring spin polarization along the radial direction is also considered, which has the same form as the non-canonical part of the mechanical angular momentum. The rotating condensate exhibits rich structures as varying the strengths of trapping potential and interaction. With a strong trapping potential, the condensate exhibits a half-quantum vortex-lattice configuration. Such a configuration is driven to the normal one by introducing the external radial Zeeman field. In the case of a weak trap potential, the condensate exhibits a multi-domain pattern of plane-wave states under the external radial Zeeman field.Comment: 8 pages, 7 figures, two figures are adde

Planning as Tabled Logic Programming

This paper describes Picat's planner, its implementation, and planning models for several domains used in International Planning Competition (IPC) 2014. Picat's planner is implemented by use of tabling. During search, every state encountered is tabled, and tabled states are used to effectively perform resource-bounded search. In Picat, structured data can be used to avoid enumerating all possible permutations of objects, and term sharing is used to avoid duplication of common state data. This paper presents several modeling techniques through the example models, ranging from designing state representations to facilitate data sharing and symmetry breaking, encoding actions with operations for efficient precondition checking and state updating, to incorporating domain knowledge and heuristics. Broadly, this paper demonstrates the effectiveness of tabled logic programming for planning, and argues the importance of modeling despite recent significant progress in domain-independent PDDL planners.Comment: 27 pages in TPLP 201