Exotic phase separation in one-dimensional hard-core boson system with two- and three-body interactions

We investigate the ground state phase diagram of hard-core boson system with repulsive two-body and attractive three-body interactions in one-dimensional optic lattice. When these two interactions are comparable and increasing the hopping rate, physically intuitive analysis indicates that there exists an exotic phase separation regime between the solid phase with charge density wave order and superfluid phase. We identify these phases and phase transitions by numerically analyzing the density distribution, structure factor of density-density correlation function, three-body correlation function and von Neumann entropy estimator obtained by density matrix renormalization group method. These exotic phases and phase transitions are expected to be observed in the ultra-cold polar molecule experiments by properly tuning interaction parameters, which is constructive to understand the physics of ubiquitous insulating-superconducting phase transitions in condensed matter systems

Counterexample-Preserving Reduction for Symbolic Model Checking

The cost of LTL model checking is highly sensitive to the length of the formula under verification. We observe that, under some specific conditions, the input LTL formula can be reduced to an easier-to-handle one before model checking. In our reduction, these two formulae need not to be logically equivalent, but they share the same counterexample set w.r.t the model. In the case that the model is symbolically represented, the condition enabling such reduction can be detected with a lightweight effort (e.g., with SAT-solving). In this paper, we tentatively name such technique "Counterexample-Preserving Reduction" (CePRe for short), and finally the proposed technquie is experimentally evaluated by adapting NuSMV

The Emergence of Complexity: Lessons from DNA

The same molecular qualities that endowed DNA with its capacity to carry hereditary information make it a powerful tool to explore the self-assembly of complex nanostructure

N′-(3-Hy­droxy­benzyl­idene)-4-nitro­benzohydrazide

The title mol­ecule, C14H11N3O4, is approximately planar, with an inter­planar angle between the two benzene rings of 5.8 (2)°. In the crystal, four mol­ecules are linked by an R 4 4(12) motif with pairs of strong O—H⋯O and N—H⋯O hydrogen bonds. The motif is situated about the crystallographic centres of symmetry and it is composed of two pairs of parallel mol­ecules. This quadruplet of mol­ecules is further extended by symmetry-equivalent hydrogen bonds to form layers parallel to the (10) plane. In addition to the hydrogen bonds, there is also a weak π–π inter­action between the benzene rings