First-order transition in a three-dimensional disordered system

We present the first detailed numerical study in three dimensions of a first-order phase transition that remains first order in the presence of quenched disorder (specifically, the ferromagnetic-paramagnetic transition of the site-diluted four states Potts model). A tricritical point, which lies surprisingly near the pure-system limit and is studied by means of finite-size scaling, separates the first-order and second-order parts of the critical line. This investigation has been made possible by a new definition of the disorder average that avoids the diverging-variance probability distributions that plague the standard approach. Entropy, rather than free energy, is the basic object in this approach that exploits a recently introduced microcanonical Monte Carlo method.

Pressure-induced first-order transition in layered crystalline semiconductor GeSe to a metallic phase

The electrical resistivity of layerd crystalline GeSe has been investigated up to a pressure of 100 kbar and down to liquid-nitrogen temperature by use of a Bridgman anvil device. A pressure-induced first-order phase transition has been observed in single-crystal GeSe near 6 GPa. The high-pressure phase is found to be quenchable and an x-ray diffraction study of the quenched material reveals that it has the face-centered-cubic structure. Resistivity measurements as a function of pressure and temperature suggest that the high-pressure phase is metallic.

An investigation of first-order transition across charge ordered and ferromagnetic phases in Gd0.5Sr0.5MnO3 single crystals by magnetic and magnetotransport studies

Gadolinium strontium manganite single crystals of the composition Gd0.5Sr0.5MnO3 were grown using the optical float zone method. We report here the magnetic and magnetotransport properties of these crystals. A large magnetoresistance similar to 10(9)% was observed at 45 K under the application of a 110 kOe field. We have observed notable thermomagnetic anomalies such as open hysteresis loops across the broadened first-order transition between the charge order insulator and the ferromagnetic metallic phase while traversing the magnetic field-temperature (H-T) plane isothermally or isomagnetically. In order to discern the cause of these observed anomalies, the H-T phase diagram for Gd0.5Sr0.5MnO3 is formulated using the magnetization-field (M-H), magnetization-temperature (M-T) and resistance-temperature (R-T) measurements. The temperature dependence of the critical field (i.e. H-up, the field required for transformation to the ferromagnetic metallic phase) is non-monotonic. We note that the non-monotonic variation of the supercooling limit is anomalous according to the classical concepts of the first-order phase transition. Accordingly, H-up values below similar to 20 K are unsuitable to represent the supercooling limit. It is possible that the nature of the metastable states responsible for the observed open hysteresis loops is different from that of the supercooled ones.

Dynamo onset as a first-order transition: Lessons from a shell model for magnetohydrodynamics

We carry out systematic and high-resolution studies of dynamo action in a shell model for magnetohydro-dynamic (MHD) turbulence over wide ranges of the magnetic Prandtl number Pr-M and the magnetic Reynolds number Re-M. Our study suggests that it is natural to think of dynamo onset as a nonequilibrium first-order phase transition between two different turbulent, but statistically steady, states. The ratio of the magnetic and kinetic energies is a convenient order parameter for this transition. By using this order parameter, we obtain the stability diagram (or nonequilibrium phase diagram) for dynamo formation in our MHD shell model in the (Pr-M(-1), Re-M) plane. The dynamo boundary, which separates dynamo and no-dynamo regions, appears to have a fractal character. We obtain a hysteretic behavior of the order parameter across this boundary and suggestions of nucleation-type phenomena.

Propagation properties of off-axis Hermite-cosh-Gaussian beam combinations through a first-order optical system

Based on the Collins integral formula, the analytic expressions of propagation of the coherent and the incoherent off-axis Hermite-cosh-Gaussian (HChG) beam combinations with rectangular symmetry passing through a paraxial first-order optical system are derived, and corresponding numerical examples are given and analysed. The resulting beam quality is discussed in terms of power in the bucket (PIB). The study suggests that the resulting beam cannot keep the initial intensity shape during the propagation and the beam quality for coherent mode is not always better than that for incoherent mode. Reviewing the numerical simulations of Gaussian, Hermite-Gaussian (HG) and cosh Gaussian (ChG) beam combinations indicates that the Hermite polynomial exerts a chief influence on the irradiance profile of composite beam and far field power concentration.

An investigation of the first-order spin-state transition in Fe(Phen)(2)(NCS)(2) EXAFS and infrared spectroscopy

The structure of Fe(Phen)(2)(NCS)(2) has been examined across the first-order spin-state transition by EXAFS with full multiple scattering analysis. The EXAFS data at 298 K can be satisfactorily assigned to the high-spin state, but the analysis of the low-temperature data at 90 K is not entirely unequivocal, although consistent with the predominant presence of the low-spin state. That some proportion of the high-spin state remains at low temperatures, well below the first-order transition, is clearly evidenced in the infrared spectra, suggesting possible sublattice ordering.

First-order structural transition in the magnetically ordered phase of Fe(1.13)Te

Specific heat, resistivity, magnetic susceptibility, linear thermal expansion (LTE), and high-resolution synchrotron x-ray powder diffraction investigations of single crystals Fe(1+y) Te (0.06 <= y <= 0.15) reveal a splitting of a single, first-order transition for y <= 0.11 into two transitions for y >= 0.13. Most strikingly, all measurements on identical samples Fe(1.13)Te consistently indicate that, upon cooling, the magnetic transition at T(N) precedes the first-order structural transition at a lower temperature T(s). The structural transition in turn coincides with a change in the character of the magnetic structure. The LTE measurements along the crystallographic c axis display a small distortion close to T(N) due to a lattice striction as a consequence of magnetic ordering, and a much larger change at T(s). The lattice symmetry changes, however, only below T(s) as indicated by powder x-ray diffraction. This behavior is in stark contrast to the sequence in which the phase transitions occur in Fe pnictides.

Realization of first order optical systems using thin lensest

A first order optical system is investigated in full generality within the context of wave optics. The problem is reduced to a study of the ray transfer matrices. The simplest such systems correspond to axially symmetric propagation. Realization of such systems by centrally located lenses separated by finite distances is studied. It is shown that, contrary to the commonly held view, the set of first order systems that can be realized using axially symmetric thin lenses exhausts the entire SL(2, R) group; at most three lenses are needed to realize any element of this group. In particular, the inverse of free propagation can be so realized. Among anisotropic systems it is again shown that every element of the lens group Sp(4, R) can be realized using a finite number of thin lenses.

Anisotropy induced crossover from weakly to strongly first order melting of two dimensional solids

Melting and freezing transitions in two dimensional (2D) systems are known to show highly unusual characteristics. Most of the earlier studies considered atomic systems: the melting of 2D molecular solids is still largely unexplored. In order to understand the role of anisotropy as well as multiple energy and length scales present in molecular systems, here we report computer simulation studies of melting of 2D molecular systems. We computed a limited portion of the solid-liquid phase diagram. We find that the interplay between the strength of isotropic and anisotropic interactions can give rise to rich phase diagram consisting of isotropic liquid and two crystalline phases-honeycomb and oblique. The nature of the transition depends on the relative strength of the anisotropic interaction and a strongly first order melting turns into a weakly first order transition on increasing the strength of the isotropic interaction. This crossover can be attributed to an increase in stiffness of the solid phase free energy minimum on increasing the strength of the anisotropic interaction. The defects involved in melting of molecular systems are quite different from those known for the atomic systems.

基于一阶迁移系统的限界模型检测工具实现

基于布尔可满足性(SAT)的限界模型检测是一种高效的模型检测方法，它具有快速查错，反例最小化等特点，已经成为学术界和工业界关注的热点。近些年出现了很多集成限界模型检测算法的验证工具，如ITC-IRST、卡内基梅隆大学(CMU)等多家科研机构联合开发的NuSMV工具；加利福尼亚大学伯克莱分校(UC Berkeley)、科罗拉多大学博尔德分校(CU Boulder)联合开发的VIS工具等。因此目前对于限界模型检测方法的研究和相关工具的设计与开发具有重要而广泛的意义。在进行限界模型检测的建模过程中，不同的工具采用了自定义的建模语言。如经典工具SPIN采用的建模语言是Promela语言，NuSMV采用的是自定义的NuSMV语言。随着系统验证规模的不断增大，建模语言的特点将会直接影响到建模的效率。例如采用NuSMV语言去建立一个网络通信协议模型会显得比较复杂和耗时，应用NuSMV语言去描述一个简单的数据链路层网络协议ABP协议(Alternating Bit Protocol)就不如采用Promela语言去描述显得直观和自然。 为了简化在限界模型检测过程中模型的建立过程，本文给出了一种采用基于一阶迁移系统语言描述的模型建立方法，并在一阶迁移系统语言中实现了通道的功能，从而增强了描述能力。在此基础上完成了一个以基于插值和k步归纳限界验证算法为核心的模型检测工具(BMCF)。最后利用该工具对常见的互斥协议，简单数据传输协议的性质进行了分析与验证。结果表明，利用该工具对系统进行建模具有方便直观的特点，并借助实现的验证算法能高效的检验安全性质的正确性，如果性质不成立工具会给出反例提示。

基于一阶迁移系统的限界模型检测工具实现

为了简化在限界模型检测过程中模型的建立过程,给出了一种采用基于一阶迁移系统语言的模型建立方法,并在此一阶迁移系统语言中加入了通道的功能,增强了描述能力。然后在此基础上完成了一个以基于插值和k步归纳的限界验证算法为核心的模型检测工具(BMCF),最后利用该工具对常见的互斥协议,简单数据传输协议的性质进行了分析与验证。结果表明,利用该工具对系统进行建模具有方便直观的特点,并借助实现的验证算法能高效的检验性质的正确性,如果性质不成立工具还会给出反例提示。

First Order Phase Transition in a 3D disordered system

We present a detailed numerical study on the effects of adding quenched impurities to a three dimensional system which in the pure case undergoes a strong first order phase transition (specifically, the ferromagnetic/paramagnetic transition of the site-diluted four states Potts model). We can state that the transition remains first-order in the presence of quenched disorder (a small amount of it) but it turns out to be second order as more impurities are added. A tricritical point, which is studied by means of Finite-Size Scaling, separates the first-order and second-order parts of the critical line. The results were made possible by a new definition of the disorder average that avoids the diverging-variance probability distributions that arise using the standard methodology. We also made use of a recently proposed microcanonical Monte Carlo method in which entropy, instead of free energy, is the basic quantity.

Long-range multipartite entanglement close to a first-order quantum phase transition

We provide insight into the quantum correlations structure present in strongly correlated systems beyond the standard framework of bipartite entanglement. To this aim we first exploit rotationally invariant states as a test bed to detect genuine tripartite entanglement beyond the nearest neighbor in spin-1/2 models. Then we construct in a closed analytical form a family of entanglement witnesses which provides a sufficient condition to determine if a state of a many-body system formed by an arbitrary number of spin-1/2 particles possesses genuine tripartite entanglement, independently of the details of the model. We illustrate our method by analyzing in detail the anisotropic XXZ spin chain close to its phase transitions, where we demonstrate the presence of long-range multipartite entanglement near the critical point and the breaking of the symmetries associated with the quantum phase transition.

Measured transition probability for the first-positive band system of nitrogen.

"This report covers work performed under Contract no. DA-30-069-ORD-3443, ARPA order number 253-62 [and] is a part of Project Defender."

Temperature-Induced Reversible First-Order Single Crystal to Single Crystal Phase Transition in Boc-gamma(4)(R)Val-Val-OH: Interplay of Enthalpy and Entropy

Crystals of Boc-gamma y(4)(R)Val-Val-OH undergo a reversible first-order single crystal to single crystal phase transition at T-c approximate to 205 K from the orthorhombic space group P22(1)2(1) (Z' = 1) to the monoclinic space group P2(1) (Z' = 2) with a hysteresis of similar to 2.1 K. The low-temperature monoclinic form is best described as a nonmerohedral twin with similar to 50% contributions from its two components. The thermal behavior of the dipeptide crystals was characterized by differential scanning calorimetry experiments. Visual changes in birefringence of the sample during heating and cooling cycles on a hot-stage microscope with polarized light supported the phase transition. Variable-temperature unit cell check measurements from 300 to 100 K showed discontinuity in the volume and cell parameters near the transition temperature, supporting the first-order behavior. A detailed comparison of the room-temperature orthorhombic form with the low-temperature (100 K) monoclinic form revealed that the strong hydrogen-bonding motif is retained in both crystal systems, whereas the non-covalent interactions involving side chains of the dipeptide differ significantly, leading to a small change in molecular conformation in the monoclinic form as well as a small reorientation of the molecules along the ac plane. A rigid-body thermal motion analysis (translation, libration, screw; correlation of translation and libration) was performed to study the crystal entropy. The reversible nature of the phase transition is probably the result of an interplay between enthalpy and entropy: the low-temperature monoclinic form is enthalpically favored, whereas the room-temperature orthorhombic form is entropically favored.