Absence of magnetic long range order in Y2_{2}CrSbO7_{7}: bond-disorder induced magnetic frustration in a ferromagnetic pyrochlore

The consequences of nonmagnetic-ion dilution for the pyrochlore family Y$_{2}$($M_{1-x}N_{x}$)$_{2}$O$_{7}$ ($M$ = magnetic ion, $N$ = nonmagnetic ion) have been investigated. As a first step, we experimentally examine the magnetic properties of Y$_{2}$CrSbO$_{7}$ ($x$ = 0.5), in which the magnetic sites (Cr$^{3+}$) are percolative. Although the effective Cr-Cr spin exchange is ferromagnetic, as evidenced by a positive Curie-Weiss temperature, $\Theta_\mathrm{{CW}}$ = 20.1(6) K, our high-resolution neutron powder diffraction measurements detect no sign of magnetic long range order down to 2 K. In order to understand our observations, we performed numerical simulations to study the bond-disorder introduced by the ionic size mismatch between $M$ and $N$. Based on these simulations, bond-disorder ($x_{b}$ $\simeq$ 0.23) percolates well ahead of site-disorder ($x_{s}$ $\simeq$ 0.61). This model successfully reproduces the critical region (0.2 < $x$ < 0.25) for the N\'eel to spin glass phase transition in Zn(Cr$_{1-x}$Ga$_{x}$)$_{2}$O$_{4}$, where the Cr/Ga-sublattice forms the same corner-sharing tetrahedral network as the $M/N$-sublattice in Y$_{2}$($M_{1-x}N_{x}$)$_{2}$O$_{7}$, and the rapid drop in magnetically ordered moment in the N\'eel phase [Lee $et$ $al$, Phys. Rev. B 77, 014405 (2008)]. Our study stresses the nonnegligible role of bond-disorder on magnetic frustration, even in ferromagnets

A hilbert-style axiomatisation for equational hybrid logic

This paper introduces an axiomatisation for equational hybrid logic based on previous axiomatizations and natural deduction systems for propositional and first-order hybrid logic. Its soundness and completeness is discussed. This work is part of a broader research project on the development a general proof calculus for hybrid logics

High magnetic field studies of the Vortex Lattice structure in YBa2Cu3O7

We report on small angle neutron scattering measurements of the vortex lattice in twin-free YBa2Cu3O7, extending the previously investigated maximum field of 11~T up to 16.7~T with the field applied parallel to the c axis. This is the first microscopic study of vortex matter in this region of the superconducting phase. We find the high field VL displays a rhombic structure, with a field-dependent coordination that passes through a square configuration, and which does not lock-in to a field-independent structure. The VL pinning reduces with increasing temperature, but is seen to affect the VL correlation length even above the irreversibility temperature of the lattice structure. At high field and temperature we observe a melting transition, which appears to be first order, with no detectable signal from a vortex liquid above the transition

Quasistationary binary inspiral. I. Einstein equations for the two Killing vector spacetime

The geometry of two infinitely long lines of mass moving in a fixed circular orbit is considered as a toy model for the inspiral of a binary system of compact objects due to gravitational radiation. The two Killing fields in the toy model are used, according to a formalism introduced by Geroch, to describe the geometry entirely in terms of a set of tensor fields on the two-manifold of Killing vector orbits. Geroch's derivation of the Einstein equations in this formalism is streamlined and generalized. The explicit Einstein equations for the toy model spacetime are derived in terms of the degrees of freedom which remain after a particular choice of gauge.Comment: 37 pages, REVTeX, one PostScript Figure included with epsfig; minor formatting changes and copyright notice added for journal publicatio

Laser desorption/ionization coupled to FT-ICR mass spectrometry for studies of natural organic matter

Laser desorption/ionization (LDI) was investigated as an ionization method for Fourier transform ion cyclotron resonance mass spectrometry (FTICR MS) studies of natural organic matter (NOM). Using International Humic Substances Society standards, Suwannee River fulvic acid (SRFA) and Suwannee River natural organic matter (SRNOM), LDI was found to ionize a very similar set of compounds (>90% of molecular formulas identity) to the matrix assisted laser desorption/ionization (MALDI), while producing higher quality spectra. A comparison of electrospray ionization (ESI) and LDI spectra showed that different types of compounds are ionized by these methods with only 9.9% of molecular formulas common to both. The compounds ionized by LDI/MALDI belong to low oxygen classes (maximum number of species for O7–O9), while ESI compounds belong to higher oxygen classes (maximum number of species for O14–O16). Compounds ionized by LDI can be classified as aliphatic, aromatic, and condensed aromatics in approximately equal measure, while aliphatic compounds dominated the ESI spectra of SRFA. In order to maximize the coverage of molecular species, LDI, as a particularly convenient and readily deployable ionization method, should be used routinely in combination with other ionization methods, such as ESI, for FTICR MS studies of NOM

Protoptype integrated design (Pride) system reference manual. Volume 2: Schema definition

An initial description of an evolving relational database schema is presented for the management of finite element model design and analysis data. The report presents a description of each relation including attribute names, data types, and definitions. The format of this report is such that future modifications and enhancements may be easily incorporated

Analysis of Sub-threshold Short Gamma-ray Bursts in Fermi GBM Data

The Fermi Gamma-ray Burst Monitor (GBM) is currently the most prolific detector of Gamma-Ray Bursts (GRBs). Recently the detection rate of short GRBs (SGRBs) has been dramatically increased through the use of ground-based searches that analyze GBM continuous time tagged event (CTTE) data. Here we examine the efficiency of a method developed to search CTTE data for sub-threshold transient events in temporal coincidence with LIGO/Virgo compact binary coalescence triggers. This targeted search operates by coherently combining data from all 14 GBM detectors by taking into account the complex spatial and energy dependent response of each detector. We use the method to examine a sample of SGRBs that were independently detected by the Burst Alert Telescope on board the Neil Gehrels Swift Observatory, but which were too intrinsically weak or viewed with unfavorable instrument geometry to initiate an on-board trigger of GBM. We find that the search can successfully recover a majority of the BAT detected sample in the CTTE data. We show that the targeted search of CTTE data will be crucial in increasing the GBM sensitivity, and hence the gamma-ray horizon, to weak events such as GRB 170817A. We also examine the properties of the GBM signal possibly associated with the LIGO detection of GW150914 and show that it is consistent with the observed properties of other sub-threshold SGRBs in our sample. We find that the targeted search is capable of recovering true astrophysical signals as weak as the signal associated with GW150914 in the untriggered data.Comment: 10 pages, 9 figures, 1 table, submitted to Ap

New insights into the size and stoichiometry of the plasminogen activator inhibitor type-1·vitronectin complex

Plasminogen activator inhibitor-type 1 (PAI-1) is the primary inhibitor of endogenous plasminogen activators that generate plasmin in the vicinity of a thrombus to initiate thrombolysis, or in the pericellular region of cells to facilitate migration and/or tissue remodeling. It has been shown that the physiologically relevant form of PAI-1 is in a complex with the abundant plasma glyco-protein, vitronectin. The interaction between vitronectin and PAI-1 is important for stabilizing the inhibitor in a reactive conformation. Although the complex is clearly significant, information is vague regarding the composition of the complex and consequences of its formation on the distribution and activity of vitronectin in vivo. Most studies have assumed a 1:1 interaction between the two proteins, but this has not been demonstrated experimentally and is a matter of some controversy since more than one PAI-1-binding site has been proposed within the sequence of vitronectin. To address this issue, competition studies using monoclonal antibodies specific for separate epitopes confirmed that the two distinct PAI-1-binding sites present on vitronectin can be occupied simultaneously. Analytical ultracentrifugation was used also for a rigorous analysis of the composition and sizes of complexes formed from purified vitronectin and PAI-1. The predominant associating species observed was high in molecular weight (M(r) ~ 320,000), demonstrating that self-association of vitronectin occurs upon interaction with PAI-1. Moreover, the size of this higher order complex indicates that two molecules of PAI-1 bind per vitronectin molecule. Binding of PAI-1 to vitronectin and association into higher order complexes is proposed to facilitate interaction with macromolecules on surfaces

What factors increase the vulnerability of native birds to the impacts of alien birds?

Biodiversity impacts caused by alien species can be severe, including those caused by alien birds. In order to protect native birds, we aimed to identify factors that influence their vulnerability to the impacts of alien birds. We first reviewed the literature to identify native bird species sustaining such impacts. We then assigned impact severity scores to each native bird species, depending on the severity of the impacts sustained, and performed two types of analyses. First, we used contingency table tests to examine the distribution of impacts across their severity, type and location, and across native bird orders. Second, we used mixed‐effects models to test factors hypothesised to influence the vulnerability of native birds to the impacts of alien birds. Ground‐nesting shorebirds and seabirds were more prone to impacts through predation, while cavity‐nesting woodpeckers and parrots were more prone to impacts through competition. Native bird species were more vulnerable when they occupied islands, warm regions, regions with climatic conditions similar to those in the native range of the invading alien species, and when they were physically smaller than the invading alien species. To a lesser extent, they were also vulnerable when they shared habitat preferences with the invading alien species. By considering the number and type of native bird species affected by alien birds, we demonstrate predation impacts to be more widespread than previously indicated, but also that damaging predation impacts may be underreported. We identify vulnerable orders of native birds, which may require conservation interventions; characteristics of native birds that increase their vulnerability, which may be used to inform risk assessments; and regions where native birds are most vulnerable, which may direct management interventions. The impacts sustained by native birds may be going unnoticed in many regions of the world: there is a clear need to identify and manage them

Zoonotic host diversity increases in human-dominated ecosystems

Land use change—for example, the conversion of natural habitats to agricultural or urban ecosystems—is widely recognized to influence the risk and emergence of zoonotic disease in humans1,2. However, whether such changes in risk are underpinned by predictable ecological changes remains unclear. It has been suggested that habitat disturbance might cause predictable changes in the local diversity and taxonomic composition of potential reservoir hosts, owing to systematic, trait-mediated differences in species resilience to human pressures3,4. Here we analyse 6,801 ecological assemblages and 376 host species worldwide, controlling for research effort, and show that land use has global and systematic effects on local zoonotic host communities. Known wildlife hosts of human-shared pathogens and parasites overall comprise a greater proportion of local species richness (18–72% higher) and total abundance (21–144% higher) in sites under substantial human use (secondary, agricultural and urban ecosystems) compared with nearby undisturbed habitats. The magnitude of this effect varies taxonomically and is strongest for rodent, bat and passerine bird zoonotic host species, which may be one factor that underpins the global importance of these taxa as zoonotic reservoirs. We further show that mammal species that harbour more pathogens overall (either human-shared or non-human-shared) are more likely to occur in human-managed ecosystems, suggesting that these trends may be mediated by ecological or life-history traits that influence both host status and tolerance to human disturbance5,6. Our results suggest that global changes in the mode and the intensity of land use are creating expanding hazardous interfaces between people, livestock and wildlife reservoirs of zoonotic disease