Emergent Antiferromagnetism in D-wave Superconductor with Strong Paramagnetic Pair-Breaking

It is theoretically shown that, in the four-fold symmetric d-wave superconducting phase, a paramagnetic pair-breaking (PPB) enhanced sufficiently by increasing the applied magnetic field induces not only the Fulde-Ferrell-Larkin-Ovchinnikov (FFLO) superconducting state but also an incommensurate antiferromagnetic (AFM) order with Q-vector parallel to a gap node. This AFM ordering tends to occur only below H_{c2} at low temperatures, i.e., in the presence of a nonvanishing superconducting energy gap $\Delta$ rather than in the normal phase. Through a detailed study on the resulting AFM order and its interplay with the FFLO spatial modulation of $\Delta$, it is argued that the strange high field and low temperature (HFLT) superconducting phase of CeCoIn_5 is a coexisting phase of the FFLO and incommensurate AFM orders, and that this PPB mechanism of an AFM ordering is also the origin of the AFM quantum critical fluctuation which has occurred close to H_{c2}(0) in several unconventional superconductors including CeCoIn_5.Comment: 22 pages, 12 figures.2 references and related comnments are added.Accepted for publication in Phys. Rev.

Double solid twistor spaces: the case of arbitrary signature

In a recent paper (math.DG/0701278) we constructed a series of new Moishezon twistor spaces which is a kind of variant of the famous LeBrun twistor spaces. In this paper we explicitly give projective models of another series of Moishezon twistor spaces on nCP^2 for arbitrary n>2, which can be regarded as a generalization of the twistor spaces of a 'double solid type' on 3CP^2 studied by Kreussler, Kurke, Poon and the author. Similarly to the twistor spaces of 'double solid type' on 3CP^2, projective models of present twistor spaces have a natural structure of double covering of a CP^2-bundle over CP^1. We explicitly give a defining polynomial of the branch divisor of the double covering whose restriction to fibers are degree four. If n>3 these are new twistor spaces, to the best of the author's knowledge. We also compute the dimension of the moduli space of these twistor spaces. Differently from math.DG/0701278, the present investigation is based on analysis of pluri-(half-)anticanonical systems of the twistor spaces.Comment: 30 pages, 3 figures; v2: title changed (the original title was "Explicit construction of new Moishezon twistor spaces, II".

Field-induced 3- and 2-dimensional freezing in a quantum spin liquid

Field-induced commensurate transverse magnetic ordering is observed in the Haldane-gap compound \nd by means of neutron diffraction. Depending on the direction of applied field, the high-field phase is shown to be either a 3-dimensional ordered N\'{e}el state or a short-range ordered state with dominant 2-dimensional spin correlations. The structure of the high-field phase is determined, and properties of the observed quantum phase transition are discussed.Comment: 4 pages 3 figure

Right-veering diffeomorphisms of compact surfaces with boundary II

We continue our study of the monoid of right-veering diffeomorphisms on a compact oriented surface with nonempty boundary, introduced in [HKM2]. We conduct a detailed study of the case when the surface is a punctured torus; in particular, we exhibit the difference between the monoid of right-veering diffeomorphisms and the monoid of products of positive Dehn twists, with the help of the Rademacher function. We then generalize to the braid group B_n on n strands by relating the signature and the Maslov index. Finally, we discuss the symplectic fillability in the pseudo-Anosov case by comparing with the work of Roberts [Ro1,Ro2].Comment: 25 pages, 5 figure

Nucleosynthesis Modes in the High-Entropy-Wind of Type II Supernovae: Comparison of Calculations with Halo-Star Observations

While the high-entropy wind (HEW) of Type II supernovae remains one of the more promising sites for the rapid neutron-capture (r-) process, hydrodynamic simulations have yet to reproduce the astrophysical conditions under which the latter occurs. We have performed large-scale network calculations within an extended parameter range of the HEW, seeking to identify or to constrain the necessary conditions for a full reproduction of all r-process residuals N_{r,\odot}=N_{\odot}-N_{s,\odot} by comparing the results with recent astronomical observations. A superposition of weighted entropy trajectories results in an excellent reproduction of the overall N_{r,\odot}-pattern beyond Sn. For the lighter elements, from the Fe-group via Sr-Y-Zr to Ag, our HEW calculations indicate a transition from the need for clearly different sources (conditions/sites) to a possible co-production with r-process elements, provided that a range of entropies are contributing. This explains recent halo-star observations of a clear non-correlation of Zn and Ge and a weak correlation of Sr - Zr with heavier r-process elements. Moreover, new observational data on Ru and Pd seem to confirm also a partial correlation with Sr as well as the main r-process elements (e.g. Eu).Comment: 15 pages, 1 table, 4 figures; To be published in the Astrophysical Journal Letter

Spin-Reorientation Transition of Field-Induced Magnetic Ordering Phases in the Anisotropic Haldane System

A possible spin-reorientation transition in field-induced magnetic ordering phases of the S=1 Haldane system with large easy-plane anisotropy is proposed, using an effective Lagrangian formalism as well as the density matrix renormalization group method. Such a spin-reorientation transition is predicted in the case where the applied magnetic field is inclined from the easy axis of the anisotropy. We point out that this transition has a close connection with a variation of the order parameter even at zero temperature, although it is different from a quantum analog of the so-called spin-flop transition proposed for the system having a strong easy axis anisotropy. In connection with a novel phase observed recently in the Haldane system at high fields, we discuss possible implications for the field-induced magnetic ordering.Comment: 14 pages, 7 figure

The Paths to Choreography Extraction

Choreographies are global descriptions of interactions among concurrent components, most notably used in the settings of verification (e.g., Multiparty Session Types) and synthesis of correct-by-construction software (Choreographic Programming). They require a top-down approach: programmers first write choreographies, and then use them to verify or synthesize their programs. However, most existing software does not come with choreographies yet, which prevents their application. To attack this problem, we propose a novel methodology (called choreography extraction) that, given a set of programs or protocol specifications, automatically constructs a choreography that describes their behavior. The key to our extraction is identifying a set of paths in a graph that represents the symbolic execution of the programs of interest. Our method improves on previous work in several directions: we can now deal with programs that are equipped with a state and internal computation capabilities; time complexity is dramatically better; we capture programs that are correct but not necessarily synchronizable, i.e., they work because they exploit asynchronous communication

Field-Induced Transition in the S=1 Antiferromagnetic Chain with Single-Ion Anisotropy in a Transverse Magnetic Field

The field-induced transition in one-dimensional S=1 Heisenberg antiferromagnet with single-ion anisotropy in the presence of a transverse magnetic field is obtained on the basis of the Schwinger boson mean-field theory. The behaviors of the specific heat and susceptibility as functions of temperature as well as the applied transverse field are explored, which are found to be different from the results obtained under a longitudinal field. The anomalies of the specific heat at low temperatures, which might be an indicative of a field-induced transition from a Luttinger liquid phase to an ordered phase, are explicitly uncovered under the transverse field. A schematic phase diagram is proposed. The theoretical results are compared with experimental observations.Comment: Revtex, 7 figure

Quasi-elastic neutron scattering in the high-field phase of a Haldane antiferromagnet

Inelastic neutron scattering experiments on the Haldane-gap quantum antiferromagnet NDMAP are performed in magnetic fields below and above the critical field Hc at which the gap closes. Quasi-elastic neutron scattering is found for H>Hc indicating topological excitations in the high field phase.Comment: Added to discussion section. v2: Updated figure