Diameter-dependent conductance of InAs nanowires

Electrical conductance through InAs nanowires is relevant for electronic applications as well as for fundamental quantum experiments. Here we employ nominally undoped, slightly tapered InAs nanowires to study the diameter dependence of their conductance. Contacting multiple sections of each wire, we can study the diameter dependence within individual wires without the need to compare different nanowire batches. At room temperature we find a diameter-independent conductivity for diameters larger than 40 nm, indicative of three-dimensional diffusive transport. For smaller diameters, the resistance increases considerably, in coincidence with a strong suppression of the mobility. From an analysis of the effective charge carrier density, we find indications for a surface accumulation layer.Comment: 9 pages, 5 figure

Growth control of GaAs nanowires using pulsed laser deposition with arsenic over pressure

Using pulsed laser ablation with arsenic over pressure, the growth conditions for GaAs nanowires have been systematically investigated and optimized. Arsenic over pressure with As$_2$ molecules was introduced to the system by thermal decomposition of polycrystalline GaAs to control the stoichiometry and shape of the nanowires during growth. GaAs nanowires exhibit a variety of geometries under varying arsenic over pressure, which can be understood by different growth processes via vapor-liquid-solid mechanism. Single-crystal GaAs nanowires with uniform diameter, lengths over 20 $\mu$m, and thin surface oxide layer were obtained and can potentially be used for further electronic characterization

Relating two standard notions of secrecy

Two styles of definitions are usually considered to express that a security protocol preserves the confidentiality of a data s. Reachability-based secrecy means that s should never be disclosed while equivalence-based secrecy states that two executions of a protocol with distinct instances for s should be indistinguishable to an attacker. Although the second formulation ensures a higher level of security and is closer to cryptographic notions of secrecy, decidability results and automatic tools have mainly focused on the first definition so far. This paper initiates a systematic investigation of the situations where syntactic secrecy entails strong secrecy. We show that in the passive case, reachability-based secrecy actually implies equivalence-based secrecy for digital signatures, symmetric and asymmetric encryption provided that the primitives are probabilistic. For active adversaries, we provide sufficient (and rather tight) conditions on the protocol for this implication to hold.Comment: 29 pages, published in LMC

GlobVolcano Project Overview

The GlobVolcano project is part of the ESA DUE programme. The project aims at demonstrating EO-based services to support the Volcanological Observatories and other mandate users (e.g. Civil Protection authorities, scientific communities of volcanoes) in their monitoring activities. During the project a worldwide selection of user organizations will cooperate with the GlobVolcano team in order to harmonize user’s requirements and to evaluate the EO-based services . The “Osservatorio Vesuviano” of Naples (INGV-Italy) coordinates the communications between the project and the User Community. IPGP of Paris is responsible for the scientific coordination and the validation activities. The project activities are split in two phases. During the first phase (completed in June 2008) the service infrastructure and interface to the users have been developed. Prototype EO-based information products have been generated and validated. Service provision on pre-operational basis will take place during the second phase

A Fully Abstract Symbolic Semantics for Psi-Calculi

We present a symbolic transition system and bisimulation equivalence for psi-calculi, and show that it is fully abstract with respect to bisimulation congruence in the non-symbolic semantics. A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted between processes and their names can be statically scoped using the standard pi-calculus mechanism to allow for scope migrations. Psi-calculi can be more general than other proposed extensions of the pi-calculus such as the applied pi-calculus, the spi-calculus, the fusion calculus, or the concurrent constraint pi-calculus. Symbolic semantics are necessary for an efficient implementation of the calculus in automated tools exploring state spaces, and the full abstraction property means the semantics of a process does not change from the original

A novel multiplex qPCR targeting 23S rDNA for diagnosis of swine dysentery and porcine intestinal spirochaetosis

Figure S1. Consensus sequence alignment of the target DNA region within 23S ribosomal DNA. Primers (Brachy primer for. and Brachy primer rev.) on the target DNA are marked in grey. The probe for B. hyodysenteriae (Probe_hyo) is highlighted in yellow, the probe for B. pilosicoli (Probe_pilo) in purple, and the probe for the B. intermedia/B. innocens/B. murdochii (probe inter) in green. Differences in single residues are marked in red. (PDF 112 kb

Tunable few electron quantum dots in InAs nanowires

Quantum dots realized in InAs are versatile systems to study the effect of spin-orbit interaction on the spin coherence, as well as the possibility to manipulate single spins using an electric field. We present transport measurements on quantum dots realized in InAs nanowires. Lithographically defined top-gates are used to locally deplete the nanowire and to form tunneling barriers. By using three gates, we can form either single quantum dots, or two quantum dots in series along the nanowire. Measurements of the stability diagrams for both cases show that this method is suitable for producing high quality quantum dots in InAs.Comment: 8 pages, 4 figure

Bright single-photon sources in bottom-up tailored nanowires

The ability to achieve near-unity light extraction efficiency is necessary for a truly deterministic single photon source. The most promising method to reach such high efficiencies is based on embedding single photon emitters in tapered photonic waveguides defined by top-down etching techniques. However, light extraction efficiencies in current top-down approaches are limited by fabrication imperfections and etching induced defects. The efficiency is further tempered by randomly positioned off-axis quantum emitters. Here, we present perfectly positioned single quantum dots on the axis of a tailored nanowire waveguide using bottom-up growth. In comparison to quantum dots in nanowires without waveguide, we demonstrate a 24-fold enhancement in the single photon flux, corresponding to a light extraction efficiency of 42 %. Such high efficiencies in one-dimensional nanowires are promising to transfer quantum information over large distances between remote stationary qubits using flying qubits within the same nanowire p-n junction.Comment: 19 pages, 6 figure