Atom-molecule coherence in a one-dimensional system

We study a model of one-dimensional fermionic atoms that can bind in pairs to form bosonic molecules. We show that at low energy, a coherence develops between the molecule and fermion Luttinger liquids. At the same time, a gap opens in the spin excitation spectrum. The coherence implies that the order parameters for the molecular Bose-Einstein Condensation and the atomic BCS pairing become identical. Moreover, both bosonic and fermionic charge density wave correlations decay exponentially, in contrast with a usual Luttinger liquid. We exhibit a Luther-Emery point where the systems can be described in terms of noninteracting pseudofermions. At this point, we provide closed form expressions for the density-density response functions.Comment: 5 pages, no figures, Revtex 4; (v2) added a reference to cond-mat/0505681 where related results are reported; (v3) Expression of correlation functions given in terms of generalized hypergeometric function

Superposition of macroscopic numbers of atoms and molecules

We theoretically examine photoassociation of a non-ideal Bose-Einstein condensate, focusing on evidence for a macroscopic superposition of atoms and molecules. This problem raises an interest because, rather than two states of a given object, an atom-molecule system is a seemingly impossible macroscopic superposition of different objects. Nevertheless, photoassociation enables coherent intraparticle conversion, and we thereby propose a viable scheme for creating a superposition of a macroscopic number of atoms with a macroscopic number of molecules.Comment: 4 pages, 2 figs, to appear in Phys. Rev. Let

Anti-factor Xa antibodies in patients with antiphospholipid syndrome and their effects upon coagulation assays

- Introduction: The aim of this study was to examine the prevalence and functional effects of antibodies directed against Factor (F)Xa and other serine proteases (SP) in patients with antiphospholipid syndrome (APS). - Methods: Serum from patients with APS (n = 59), systemic lupus erythematosus (SLE; n = 106), other autoimmune rheumatic disease (ARD; n = 63) and 40 healthy controls (HC) were tested for IgG activity against thrombin (Thr), FXa, FVIIa, phosphatidylserine (PS)/FXa and antithrombin (AT)-III by enzyme-linked immunosorbent assay (ELISA). Anti-FXa positive IgG were purified to measure their avidity by chaotropic ELISA and functional effects upon clotting time (FXa-ACT) and FXa enzymatic activity (± AT-III). - Results: Anti-FXa IgG were found in patients with SLE (49.1%) and APS (33.9%) (P <0.05) but not in ARD controls and HC. In contrast, anti-Thr and anti-PS/FXa IgG were identified in other ARD and anti-FVIIa IgG were low in all groups. The avidity of APS-IgG to FXa was significantly higher than SLE-IgG (P <0.05). Greatest prolongation of FXa-ACT was observed with APS-IgG and greatest inhibitory effect upon FXa enzymatic activity was found with APS-IgG followed by SLE-IgG compared to HC-IgG. ATIII inhibition of FXa was significantly reduced by APS-IgG compared with HC and SLE (P <0.05) and did not correlate with binding to AT-III. - Conclusion: APS anti-FXa IgG have higher avidity to FXa and greater effects upon the enzymatic and coagulant activity of FXa compared with SLE anti-FXa IgG. Further studies of anti-FXa antibodies in APS, SLE and other non-autoimmune thrombotic disease cohorts are now required to evaluate whether targeting FXa with selective inhibitors in patients bearing anti-FXa antibodies may be an effective treatment strategy

An Explicit Framework for Interaction Nets

Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. \Beta-reduction. Traditional presentations of interaction nets are based on graph theory and rely on elementary properties of graph theory. We give here a more explicit presentation based on notions borrowed from Girard's Geometry of Interaction: interaction nets are presented as partial permutations and a composition of nets, the gluing, is derived from the execution formula. We then define contexts and reduction as the context closure of rules. We prove strong confluence of the reduction within our framework and show how interaction nets can be viewed as the quotient of some generalized proof-nets

Interference with the Cannabinoid Receptor CB1R Results in Miswiring of GnRH3 and AgRP1 Axons in Zebrafish Embryos

The G protein-coupled cannabinoid receptors type 1 (CB1R) and type 2 (CB2R), and their endocannabinoid (eCBs) ligands, have been implicated in several aspects of brain wiring during development. Here we aim to assess whether interfering with CB1R affects development, neuritogenesis and pathfinding of GnRH and AgRP neurons, forebrain neurons that control respectively reproduction and appetite. We pharmacologically and genetically interfered with CB1R in zebrafish strains with fluorescently labeled GnRH3 and the AgRP1 neurons. By applying CB1R antagonists we observed a reduced number of GnRH3 neurons, fiber misrouting and altered fasciculation. Similar phenotypes were observed by CB1R knockdown. Interfering with CB1R also resulted in a reduced number, misrouting and poor fasciculation of the AgRP1 neuron’s axonal projections. Using a bioinformatic approach followed by qPCR validation, we have attempted to link CB1R functions with known guidance and fasciculation proteins. The search identified stathmin-2, a protein controlling microtubule dynamics, previously demonstrated to be coexpressed with CB1R and now shown to be downregulated upon interference with CB1R in zebrafish. Together, these results raise the likely possibility that embryonic exposure to low doses of CB1R-interfering compounds could impact on the development of the neuroendocrine systems controlling sexual maturation, reproduction and food intake

Resource-Bound Quantification for Graph Transformation

Graph transformation has been used to model concurrent systems in software engineering, as well as in biochemistry and life sciences. The application of a transformation rule can be characterised algebraically as construction of a double-pushout (DPO) diagram in the category of graphs. We show how intuitionistic linear logic can be extended with resource-bound quantification, allowing for an implicit handling of the DPO conditions, and how resource logic can be used to reason about graph transformation systems

Curvature energy effects on strange quark matter nucleation at finite density

We consider the effects of the curvature energy term on thermal strange quark matter nucleation in dense neutron matter. Lower bounds on the temperature at which this process can take place are given and compared to those without the curvature term.Comment: PlainTex, 6 pp., IAG-USP Rep.5

Introducing willingness-to-pay for noise changes into transport appraisal: an application of benefit transfer.

Numerous research studies have elicited willingness-to-pay values for transport-related noise, however, in many industrialised countries including the UK, noise costs and benefits are still not incorporated into appraisals for most transport projects and policy changes (Odgaard et al, 2005; Grant-Muller et al, 2001). This paper describes the actions recently taken in the UK to address this issue, comprising: primary research based on the city of Birmingham; an international review of willingness-to-pay evidence; development of values using benefit transfers over time and locations; and integration with appraisal methods. Amongst the main findings are: that the willingness-to-pay estimates derived for the UK are broadly comparable with those used in appraisal elsewhere in Europe; that there is a case for a lower threshold at 1 45dB(A)Leq,18hr1 rather than the more conventional 55dB(A); and that values per dB(A) increase with the noise level above this threshold. There are significant issues over the valuation of rail versus road noise, the neglect of non-residential noise and the valuation of high noise levels in different countries. Conclusions are drawn regarding the feasibility of noise valuation based on benefit transfers in the UK and elsewhere, and future research needs in this field are discussed

A molecular basis of analgesic tolerance to cannabinoids

Clinical usage of cannabinoids in chronic pain states is limited by their central side effects and the pharmacodynamic tolerance that sets in after repeated dosage. Analgesic tolerance to cannabinoids in vivo could be caused by agonist-induced downregulation and intracellular trafficking of cannabinoid receptors, but little is known about the molecular mechanisms involved. We show here that the type 1 cannabinoid receptor (CB1) interacts physically with G-protein-associated sorting protein 1 (GASP1), a protein that sorts receptors in lysosomal compartments destined for degradation. CB1 - GASP1 interaction was observed to be required for agonist-induced downregulation of CB1 in spinal neurons ex vivo as well as in vivo. Importantly, uncoupling CB1 from GASP1 in mice in vivo abrogated tolerance toward cannabinoid-induced analgesia. These results suggest that GASP1 is a key regulator of the fate of CB1 after agonist exposure in the nervous system and critically determines analgesic tolerance to cannabinoids