Kinetics of macroion coagulation induced by multivalent counterions

Due to the strong correlations between multivalent counterions condensed on a macroion, the net macroion charge changes sign at some critical counterion concentration. This effect is known as the charge inversion. Near this critical concentration the macroion net charge is small. Therefore, short range attractive forces between macroions dominate Coulomb repulsion and lead to their coagulation. The kinetics of macroion coagulation in this range of counterion concentrations is studied. We calculate the Coulomb barrier between two approaching like charged macroions at a given counterion concentration. Two different macroion shapes (spherical and rod-like) are considered. A new "self-regulated" regime of coagulation is found. As the size of aggregates increases, their charge and Coulomb barrier also grow and diminish the sticking probability of aggregates. This leads to a slow, logarithmic increase of the aggregate size with time.Comment: Some formulas correcte

Isotopic and Microstructural Analyses of Opaque Mineral Assemblages and Their Alteration Products Hosted in a Refractory Inclusion

Calcium-aluminum-rich inclusions (CAIs) hosted in primitive meteorites are the oldest solids formed in the Solar System. Some CAIs contain metal nuggets that are complex assemblages of Fe-Ni alloys, along with rare ultra-refractory metals such as platinum group elements (PGEs), and their alteration products such as magnetite, sulfides, and phosphates. Three possible mechanisms proposed to explain the origin of these metal nuggets include condensation in circumstellar settings, condensation in the solar nebula within the CAI-forming region, or crystallization from immiscible metal-silicate melt. However, secondary alteration processes may have also affected some of these assemblages. Additionally, similar metal assemblages observed in chondrules and chondritic matrix indicate that all of these metal nuggets could share common high-temperature origins. These metal assemblages record early Solar System conditions that are reflected in their distinctive chemical composition, mineralogy and microstructures. Here we report a detailed mineralogical, microstructural and oxygen isotopic study of one such metal assemblage hosted in a CAI to understand the physical and chemical settings in which it formed

Variation of the hopping exponent in disordered silicon MOSFETs

We observe a complex change in the hopping exponent value from 1/2 to 1/3 as a function of disorder strength and electron density in a sodium-doped silicon MOSFET. The disorder was varied by applying a gate voltage and thermally drifting the ions to different positions in the oxide. The same gate was then used at low temperature to modify the carrier concentration. Magnetoconductivity measurements are compatible with a change in transport mechanisms when either the disorder or the electron density is modified suggesting a possible transition from a Mott insulator to an Anderson insulator in these systems.Comment: 6 pages, 5 figure

Irreducible representations of Upq[gl(2/2)]

The two-parametric quantum superalgebra $U_{pq}[gl(2/2)]$ and its representations are considered. All finite-dimensional irreducible representations of this quantum superalgebra can be constructed and classified into typical and nontypical ones according to a proposition proved in the present paper. This proposition is a nontrivial deformation from the one for the classical superalgebra gl(2/2), unlike the case of one-parametric deformations.Comment: Latex, 8 pages. A reference added in v.

Altered Outer Retinal Structure, Electrophysiology and Visual Perception in Parkinson\u27s Disease.

BACKGROUND: Visual biomarkers of Parkinson\u27s disease (PD) are attractive as the retina is an outpouching of the brain. Although inner retinal neurodegeneration in PD is well-established this has overlap with other neurodegenerative diseases and thus outer retinal (photoreceptor) measures warrant further investigation. OBJECTIVE: To examine in a cross-sectional study whether clinically implementable measures targeting outer retinal function and structure can differentiate PD from healthy ageing and whether these are sensitive to intraday levodopa (L-DOPA) dosing. METHODS: Centre-surround perceptual contrast suppression, macular visual field sensitivity, colour discrimination, light-adapted electroretinography and optical coherence tomography (OCT) were tested in PD participants (n = 16) and controls (n = 21). Electroretinography and OCT were conducted before and after midday L-DOPA in PD participants, or repeated after ∼2 hours in controls. RESULTS: PD participants had decreased center-surround contrast suppression (p \u3c 0.01), reduced macular visual field sensitivity (p \u3c 0.05), color vision impairment (p \u3c 0.01) photoreceptor dysfunction (a-wave, p \u3c 0.01) and photoreceptor neurodegeneration (outer nuclear layer thinning, p \u3c 0.05), relative to controls. Effect size comparison between inner and outer retinal parameters showed that photoreceptor metrics were similarly robust in differentiating the PD group from age-matched controls as inner retinal changes. Electroretinography and OCT were unaffected by L-DOPA treatment or time. CONCLUSIONS: We show that outer retinal outcomes of photoreceptoral dysfunction (decreased cone function and impaired color vision) and degeneration (i.e., outer nuclear layer thinning) were equivalent to inner retinal metrics at differentiating PD from healthy age-matched adults. These findings suggest outer retinal metrics may serve as useful biomarkers for PD

The W43-MM1 mini-starburst ridge, a test for star formation efficiency models

Context: Star formation efficiency (SFE) theories are currently based on statistical distributions of turbulent cloud structures and a simple model of star formation from cores. They remain poorly tested, especially at the highest densities. Aims: We investigate the effects of gas density on the SFE through measurements of the core formation efficiency (CFE). With a total mass of $\sim2\times10^4$ M$_\odot$, the W43-MM1 ridge is one of the most convincing candidate precursor of starburst clusters and thus one of the best place to investigate star formation. Methods: We used high-angular resolution maps obtained at 3 mm and 1 mm within W43-MM1 with the IRAM Plateau de Bure Interferometer to reveal a cluster of 11 massive dense cores (MDCs), and, one of the most massive protostellar cores known. An Herschel column density image provided the mass distribution of the cloud gas. We then measured the 'instantaneous' CFE and estimated the SFE and the star formation rate (SFR) within subregions of the W43-MM1 ridge. Results: The high SFE found in the ridge ($\sim$6% enclosed in $\sim$8 pc$^3$) confirms its ability to form a starburst cluster. There is however a clear lack of dense cores in the northern part of the ridge, which may be currently assembling. The CFE and the SFE are observed to increase with volume gas density while the SFR steeply decreases with the virial parameter, $\alpha_{vir}$. Statistical models of the SFR may well describe the outskirts of the W43-MM1 ridge but struggle to reproduce its inner part, which corresponds to measurements at low $\alpha_{vir}$. It may be that ridges do not follow the log-normal density distribution, Larson relations, and stationary conditions forced in the statistical SFR models.Comment: 13 pages, 7 figures. Accepted by A&

On Automated Lemma Generation for Separation Logic with Inductive Definitions

Separation Logic with inductive definitions is a well-known approach for deductive verification of programs that manipulate dynamic data structures. Deciding verification conditions in this context is usually based on user-provided lemmas relating the inductive definitions. We propose a novel approach for generating these lemmas automatically which is based on simple syntactic criteria and deterministic strategies for applying them. Our approach focuses on iterative programs, although it can be applied to recursive programs as well, and specifications that describe not only the shape of the data structures, but also their content or their size. Empirically, we find that our approach is powerful enough to deal with sophisticated benchmarks, e.g., iterative procedures for searching, inserting, or deleting elements in sorted lists, binary search tress, red-black trees, and AVL trees, in a very efficient way

Buffer gas cooling and trapping of atoms with small magnetic moments

Buffer gas cooling was extended to trap atoms with small magnetic moment (mu). For mu greater than or equal to 3mu_B, 1e12 atoms were buffer gas cooled, trapped, and thermally isolated in ultra high vacuum with roughly unit efficiency. For mu < 3mu_B, the fraction of atoms remaining after full thermal isolation was limited by two processes: wind from the rapid removal of the buffer gas and desorbing helium films. In our current apparatus we trap atoms with mu greater than or equal to 1.1mu_B, and thermally isolate atoms with mu greater than or equal to 2mu_B. Extrapolation of our results combined with simulations of the loss processes indicate that it is possible to trap and evaporatively cool mu = 1mu_B atoms using buffer gas cooling.Comment: 17 pages, 4 figure

Collisional perturbation of radio-frequency E1 transitions in an atomic beam of dysprosium

We have studied collisional perturbations of radio-frequency (rf) electric-dipole (E1) transitions between the nearly degenerate opposite-parity levels in atomic dysprosium (Dy) in the presence of 10 to 80 $\mu$Torr of H$_\text{2}$, N$_\text{2}$, He, Ar, Ne, Kr, and Xe. Collisional broadening and shift of the resonance, as well as the attenuation of the signal amplitude are observed to be proportional to the foreign-gas density with the exception of H$_2$ and Ne, for which no shifts were observed. Corresponding rates and cross sections are presented. In addition, rates and cross sections for O$_2$ are extracted from measurements using air as foreign gas. The primary motivation for this study is the need for accurate determination of the shift rates, which are needed in a laboratory search for the temporal variation of the fine-structure constant [A. T. Nguyen, D. Budker, S. K. Lamoreaux, and J. R. Torgerson, Phys. Rev. A \textbf{69}, 22105 (2004)].Comment: 11 pages, 8 figure