Effect of spin orbit scattering on the magnetic and superconducting properties of nearly ferromagnetic metals: application to granular Pt

We calculate the effect of scattering on the static, exchange enhanced, spin susceptibility and show that in particular spin orbit scattering leads to a reduction of the giant moments and spin glass freezing temperature due to dilute magnetic impurities. The harmful spin fluctuation contribution to the intra-grain pairing interaction is strongly reduced opening the way for BCS superconductivity. We are thus able to explain the superconducting and magnetic properties recently observed in granular Pt as due to scattering effects in single small grains.Comment: 9 pages 3 figures, accepted for publication in Phys. Rev. Letter

Suppression of hole-hole scattering in GaAs/AlGaAs heterostructures under uniaxial compression

Resistance, magnetoresistance and their temperature dependencies have been investigated in the 2D hole gas at a [001] p-GaAs/Al$_{0.5}$Ga$_{0.5}$As heterointerface under [110] uniaxial compression. Analysis performed in the frame of hole-hole scattering between carriers in the two spin splitted subbands of the ground heavy hole state indicates, that h-h scattering is strongly suppressed by uniaxial compression. The decay time $\tau_{01}$ of the relative momentum reveals 4.5 times increase at a uniaxial compression of 1.3 kbar.Comment: 5 pages, 3 figures. submitted to Phys.Rev.

Shaping Biological Knowledge: Applications in Proteomics

The central dogma of molecular biology has provided a meaningful principle for data integration in the field of genomics. In this context, integration reflects the known transitions from a chromosome to a protein sequence: transcription, intron splicing, exon assembly and translation. There is no such clear principle for integrating proteomics data, since the laws governing protein folding and interactivity are not quite understood. In our effort to bring together independent pieces of information relative to proteins in a biologically meaningful way, we assess the bias of bioinformatics resources and consequent approximations in the framework of small-scale studies. We analyse proteomics data while following both a data-driven (focus on proteins smaller than 10 kDa) and a hypothesis-driven (focus on whole bacterial proteomes) approach. These applications are potentially the source of specialized complements to classical biological ontologies

Quantitative nanoscale vortex-imaging using a cryogenic quantum magnetometer

Microscopic studies of superconductors and their vortices play a pivotal role in our understanding of the mechanisms underlying superconductivity. Local measurements of penetration depths or magnetic stray-fields enable access to fundamental aspects of superconductors such as nanoscale variations of superfluid densities or the symmetry of their order parameter. However, experimental tools, which offer quantitative, nanoscale magnetometry and operate over the large range of temperature and magnetic fields relevant to address many outstanding questions in superconductivity, are still missing. Here, we demonstrate quantitative, nanoscale magnetic imaging of Pearl vortices in the cuprate superconductor YBCO, using a scanning quantum sensor in form of a single Nitrogen-Vacancy (NV) electronic spin in diamond. The sensor-to-sample distance of ~10nm we achieve allows us to observe striking deviations from the prevalent monopole approximation in our vortex stray-field images, while we find excellent quantitative agreement with Pearl's analytic model. Our experiments yield a non-invasive and unambiguous determination of the system's local London penetration depth, and are readily extended to higher temperatures and magnetic fields. These results demonstrate the potential of quantitative quantum sensors in benchmarking microscopic models of complex electronic systems and open the door for further exploration of strongly correlated electron physics using scanning NV magnetometry.Comment: Main text (5 pages, 4 figures) plus supplementary material (5 pages, 6 figures). Comments welcome. Further information under http://www.quantum-sensing.c

Compilation of extended recursion in call-by-value functional languages

This paper formalizes and proves correct a compilation scheme for mutually-recursive definitions in call-by-value functional languages. This scheme supports a wider range of recursive definitions than previous methods. We formalize our technique as a translation scheme to a lambda-calculus featuring in-place update of memory blocks, and prove the translation to be correct.Comment: 62 pages, uses pi

Propagation of Squeezed Vacuum under Electromagnetically Induced Transparency

We experimentally and theoretically analyze the transmission of continuous-wave and pulsed squeezed vacuum through rubidium vapor under the conditions of electromagnetically induced transparency. Frequency- and time-domain homodyne tomography is used to measure the quadrature noise and reconstruct the quantum states of the transmitted light. A simple theoretical model explains the spectrum and degradation of the transmitted squeezing with high precision

Pressure-dependence of electron-phonon coupling and the superconducting phase in hcp Fe - a linear response study

A recent experiment by Shimizu et al. has provided evidence of a superconducting phase in hcp Fe under pressure. To study the pressure-dependence of this superconducting phase we have calculated the phonon frequencies and the electron-phonon coupling in hcp Fe as a function of the lattice parameter, using the linear response (LR) scheme and the full potential linear muffin-tin orbital (FP-LMTO) method. Calculated phonon spectra and the Eliashberg functions $\alpha^2 F$ indicate that conventional s-wave electron-phonon coupling can definitely account for the appearance of the superconducting phase in hcp Fe. However, the observed change in the transition temperature with increasing pressure is far too rapid compared with the calculated results. For comparison with the linear response results, we have computed the electron-phonon coupling also by using the rigid muffin-tin (RMT) approximation. From both the LR and the RMT results it appears that electron-phonon interaction alone cannot explain the small range of volume over which superconductivity is observed. It is shown that ferromagnetic/antiferromagnetic spin fluctuations as well as scattering from magnetic impurities (spin-ordered clusters) can account for the observed values of the transition temperatures but cannot substantially improve the agreeemnt between the calculated and observed presure/volume range of the superconducting phase. A simplified treatment of p-wave pairing leads to extremely small ($\leq 10^{-2}$ K) transition temperatures. Thus our calculations seem to rule out both $s$- and $p$- wave superconductivity in hcp Fe.Comment: 12 pages, submitted to PR

Incremental testing of the Community Multiscale Air Quality (CMAQ) modeling system version 4.7

This paper describes the scientific and structural updates to the latest release of the Community Multiscale Air Quality (CMAQ) modeling system version 4.7 (v4.7) and points the reader to additional resources for further details. The model updates were evaluated relative to observations and results from previous model versions in a series of simulations conducted to incrementally assess the effect of each change. The focus of this paper is on five major scientific upgrades: (a) updates to the heterogeneous N<sub>2</sub>O<sub>5</sub> parameterization, (b) improvement in the treatment of secondary organic aerosol (SOA), (c) inclusion of dynamic mass transfer for coarse-mode aerosol, (d) revisions to the cloud model, and (e) new options for the calculation of photolysis rates. Incremental test simulations over the eastern United States during January and August 2006 are evaluated to assess the model response to each scientific improvement, providing explanations of differences in results between v4.7 and previously released CMAQ model versions. Particulate sulfate predictions are improved across all monitoring networks during both seasons due to cloud module updates. Numerous updates to the SOA module improve the simulation of seasonal variability and decrease the bias in organic carbon predictions at urban sites in the winter. Bias in the total mass of fine particulate matter (PM<sub>2.5</sub>) is dominated by overpredictions of unspeciated PM<sub>2.5</sub> (PM<sub>other</sub>) in the winter and by underpredictions of carbon in the summer. The CMAQv4.7 model results show slightly worse performance for ozone predictions. However, changes to the meteorological inputs are found to have a much greater impact on ozone predictions compared to changes to the CMAQ modules described here. Model updates had little effect on existing biases in wet deposition predictions

Can strategizing in round-robin subtournaments be avoided?

This paper develops a mathematical model of strategic manipulation in complex sports competition formats such as the soccer world cup or the Olympic games. Strategic manipulation refers here to the possibility that a team may lose a match on purpose in order to increase its prospects of winning the competition. In particular, the paper looks at round-robin tournaments where both first- and second-ranked players proceed to the next round. This standard format used in many sports gives rise to the possibility of strategic manipulation, as exhibited recently in the 2012 Olympic games. An impossibility theorem is proved which demonstrates that under a number of reasonable side-constraints, strategy-proofness is impossible to obtain

Continuation-Passing C: compiling threads to events through continuations

In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented to the programmer as a single abstraction. The CPC compiler uses a compilation technique, based on the CPS transform, that yields efficient code and an extremely lightweight representation for contexts. We provide a proof of the correctness of our compilation scheme. We show in particular that lambda-lifting, a common compilation technique for functional languages, is also correct in an imperative language like C, under some conditions enforced by the CPC compiler. The current CPC compiler is mature enough to write substantial programs such as Hekate, a highly concurrent BitTorrent seeder. Our benchmark results show that CPC is as efficient, while using significantly less space, as the most efficient thread libraries available.Comment: Higher-Order and Symbolic Computation (2012). arXiv admin note: substantial text overlap with arXiv:1202.324