128,455 research outputs found

    Effects of ion irradiation on conductivity of CrSi_2 thin films

    Get PDF
    Electrical resistivity measurements are used to study damage in CrSi_2 thin films induced by Ne, Ar, or Xe ion irradiation over a fluence range of 10^(10)–10^(15) ions cm^(−2). Irradiation produces a factor of 5–12 increase in film conductivity at the higher fluences. The influence of defect generation and recombination is evident. We speculate that formation of a compound defect is a dominant factor enhancing film conductivity. A temperature dependence at low fluences is reported and tentatively identified

    Evidence for very strong electron-phonon coupling in YBa_{2}Cu_{3}O_{6}

    Full text link
    From the observed oxygen-isotope shift of the mid-infrared two-magnon absorption peak of YBa2_{2}Cu3_{3}O6_{6}, we evaluate the oxygen-isotope effect on the in-plane antiferromagnetic exchange energy JJ. The exchange energy JJ in YBa2_{2}Cu3_{3}O6_{6} is found to decrease by about 0.9% upon replacing 16^{16}O by 18^{18}O, which is slightly larger than that (0.6%) in La2_{2}CuO4_{4}. From the oxygen-isotope effects, we determine the lower limit of the polaron binding energy, which is about 1.7 eV for YBa2_{2}Cu3_{3}O6_{6} and 1.5 eV for La2_{2}CuO4_{4}, in quantitative agreement with angle-resolved photoemission data, optical conductivity data, and the parameter-free theoretical estimate. The large polaron binding energies in the insulating parent compounds suggest that electron-phonon coupling should also be strong in doped superconducting cuprates and may play an essential role in high-temperature superconductivity.Comment: 4 pages, 1 figur

    Many-core compiler fuzzing

    Get PDF
    We address the compiler correctness problem for many-core systems through novel applications of fuzz testing to OpenCL compilers. Focusing on two methods from prior work, random differential testing and testing via equivalence modulo inputs (EMI), we present several strategies for random generation of deterministic, communicating OpenCL kernels, and an injection mechanism that allows EMI testing to be applied to kernels that otherwise exhibit little or no dynamically-dead code. We use these methods to conduct a large, controlled testing campaign with respect to 21 OpenCL (device, compiler) configurations, covering a range of CPU, GPU, accelerator, FPGA and emulator implementations. Our study provides independent validation of claims in prior work related to the effectiveness of random differential testing and EMI testing, proposes novel methods for lifting these techniques to the many-core setting and reveals a significant number of OpenCL compiler bugs in commercial implementations

    Inversion of the star transform

    Full text link
    We define the star transform as a generalization of the broken ray transform introduced by us in previous work. The advantages of using the star transform include the possibility to reconstruct the absorption and the scattering coefficients of the medium separately and simultaneously (from the same data) and the possibility to utilize scattered radiation which, in the case of the conventional X-ray tomography, is discarded. In this paper, we derive the star transform from physical principles, discuss its mathematical properties and analyze numerical stability of inversion. In particular, it is shown that stable inversion of the star transform can be obtained only for configurations involving odd number of rays. Several computationally-efficient inversion algorithms are derived and tested numerically.Comment: Accepted to Inverse Problems in this for

    Three `species' of Schr\"odinger cat states in an infinite-range spin model

    Full text link
    We explore a transverse-field Ising model that exhibits both spontaneous symmetry-breaking and eigenstate thermalization. Within its ferromagnetic phase, the exact eigenstates of the Hamiltonian of any large but finite-sized system are all Schr\"odinger cat states: superpositions of states with `up' and `down' spontaneous magnetization. This model exhibits two dynamical phase transitions {\it within} its ferromagnetic phase: In the lowest-temperature phase the magnetization can macroscopically oscillate between up and down. The relaxation of the magnetization is always overdamped in the remainder of the ferromagnetic phase, which is divided in to phases where the system thermally activates itself {\it over} the barrier between the up and down states, and where it quantum tunnels.Comment: 7 pages, added numerical result

    The Maximum Optical Depth Towards Bulge Stars From Axisymmetric Models of the Milky Way

    Get PDF
    It has been known that recent microlensing results towards the bulge imply mass densities that are surprisingly high given dynamical constraints on the Milky Way mass distribution. We derive the maximum optical depth towards the bulge that may be generated by axisymmetric structures in the Milky Way, and show that observations are close to surpassing these limits. This result argues in favor of a bar as a source of significantly enhanced microlensing. Several of the bar models in the literature are discussed.Comment: Latex, 6 pages, 4 figures, uses aas2pp4 and epsf style files. Accepted for publication in ApJ Letter

    Multiferroicity in the frustrated spinel cuprate GeCu2_2O4_4

    Full text link
    Different from other magnetically frustrated spinel systems, GeCu2_{2}O4_{4} is a strongly tetragonal distorted spinel cuprate in which edge-sharing CuO2_{2} ribbons are running along alternating directions perpendicular to the cc-axis. Here, GeCu2_{2}O4_{4} samples of high quality were prepared via high pressure synthesis (at 4 GPa) and the corresponding magnetic and dielectric properties were investigated. For the first time, we observed a ferroelectric polarization emerging at TN_{N} ∼\sim 33~K. Although the ferroelectric polarization is weak in GeCu2_{2}O4_{4} (PP ∼\sim 0.2μ\muC/m2^{2}), the existence of spin-induced multiferroicity provides a strong constraint on the possible ground state magnetic structures and/or the corresponding theoretical models of multiferroicity for GeCu2_{2}O4_{4}.Comment: https://journals.aps.org/prmaterials/abstract/10.1103/PhysRevMaterials.2.04140

    Direct Measurement of Quantum Dot Spin Dynamics using Time-Resolved Resonance Fluorescence

    Full text link
    We temporally resolve the resonance fluorescence from an electron spin confined to a single self-assembled quantum dot to measure directly the spin's optical initialization and natural relaxation timescales. Our measurements demonstrate that spin initialization occurs on the order of microseconds in the Faraday configuration when a laser resonantly drives the quantum dot transition. We show that the mechanism mediating the optically induced spin-flip changes from electron-nuclei interaction to hole-mixing interaction at 0.6 Tesla external magnetic field. Spin relaxation measurements result in times on the order of milliseconds and suggest that a B−5B^{-5} magnetic field dependence, due to spin-orbit coupling, is sustained all the way down to 2.2 Tesla.Comment: An additional EPAPS file in PDF format is available for download at the publications section of our website http://www.amop.phy.cam.ac.uk/amop-ma

    A probabilistic model checking approach to analysing reliability, availability, and maintainability of a single satellite system

    Get PDF
    Satellites now form a core component for space based systems such as GPS and GLONAS which provide location and timing information for a variety of uses. Such satellites are designed to operate in-orbit and have lifetimes of 10 years or more. Reliability, availability and maintainability (RAM) analysis of these systems has been indispensable in the design phase of satellites in order to achieve minimum failures or to increase mean time between failures (MTBF) and thus to plan maintainability strategies, optimise reliability and maximise availability. In this paper, we present formal modelling of a single satellite and logical specification of its reliability, availability and maintainability properties. The probabilistic model checker PRISM has been used to perform automated quantitative analyses of these properties
    • …
    corecore