Axial GaAs/Ga(As,Bi) Nanowire Heterostructures

Bi-containing III-V semiconductors constitute an exciting class of metastable compounds with wide-ranging potential optoelectronic and electronic applications. However, the growth of III-V-Bi alloys requires group-III-rich growth conditions, which pose severe challenges for planar growth. In this work, we exploit the naturally-Ga-rich environment present inside the metallic droplet of a self-catalyzed GaAs nanowire to synthesize metastable GaAs/GaAs$_{1-\text{x}}$Bi$_{\text{x}}$ axial nanowire heterostructures with high Bi contents. The axial GaAs$_{1-\text{x}}$Bi$_{\text{x}}$ segments are realized with molecular beam epitaxy by first enriching only the vapor-liquid-solid (VLS) Ga droplets with Bi, followed by exposing the resulting Ga-Bi droplets to As$_2$ at temperatures ranging from 270 to 380\,^{\circ}C to precipitate GaAs$_{1-\text{x}}$Bi$_{\text{x}}$ only under the nanowire droplets. Microstructural and elemental characterization reveals the presence of single crystal zincblende GaAs$_{1-\text{x}}$Bi$_{\text{x}}$ axial nanowire segments with Bi contents up to (10$\pm$2)$\%$. This work illustrates how the unique local growth environment present during the VLS nanowire growth can be exploited to synthesize heterostructures with metastable compounds

A type system for Continuation Calculus

Continuation Calculus (CC), introduced by Geron and Geuvers, is a simple foundational model for functional computation. It is closely related to lambda calculus and term rewriting, but it has no variable binding and no pattern matching. It is Turing complete and evaluation is deterministic. Notions like "call-by-value" and "call-by-name" computation are available by choosing appropriate function definitions: e.g. there is a call-by-value and a call-by-name addition function. In the present paper we extend CC with types, to be able to define data types in a canonical way, and functions over these data types, defined by iteration. Data type definitions follow the so-called "Scott encoding" of data, as opposed to the more familiar "Church encoding". The iteration scheme comes in two flavors: a call-by-value and a call-by-name iteration scheme. The call-by-value variant is a double negation variant of call-by-name iteration. The double negation translation allows to move between call-by-name and call-by-value.Comment: In Proceedings CL&C 2014, arXiv:1409.259

Exact Hairy Black Holes and their Modification to the Universal Law of Gravitation

In this paper two things are done. First, it is pointed out the existence of exact asymptotically flat, spherically symmetric black holes when a self interacting, minimally coupled scalar field is the source of the energy momentum of the Einstein equations in four dimensions. The scalar field potential is the recently found to be compatible with the hairy generalization of the Plebanski-Demianski solution of general relativity. This paper describes the spherically symmetric solutions that smoothly connect the Schwarzschild black hole with its hairy counterpart. The geometry and scalar field are everywhere regular except at the usual Schwarzschild like singularity inside the black hole. The scalar field energy momentum tensor satisfies the null energy condition in the static region of the spacetime. The first law holds when the parameters of the scalar field potential are fixed under thermodynamical variation. Secondly, it is shown that an extra, dimensionless parameter, present in the hairy solution, allows to modify the gravitational field of a spherically symmetric black hole in a remarkable way. When the dimensionless parameter is increased, the scalar field generates a flat gravitational potential, that however asymptotically matches the Schwarzschild gravitational field. Finally, it is shown that a positive cosmological constant can render the scalar field potential convex if the parameters are within a specific rank.Comment: Two new references, 10 pages, 2 figure

Limits to Sympathetic Evaporative Cooling of a Two-Component Fermi Gas

We find a limit cycle in a quasi-equilibrium model of evaporative cooling of a two-component fermion gas. The existence of such a limit cycle represents an obstruction to reaching the quantum ground state evaporatively. We show that evaporatively the \beta\mu ~ 1. We speculate that one may be able to cool an atomic fermi gas further by photoassociating dimers near the bottom of the fermi sea.Comment: Submitted to Phys. Rev

Effective Bounds on Strong Unicity in L1-Approximation

In this paper we present another case study in the general project of Proof Mining which means the logical analysis of prima facie non-effective proofs with the aim of extracting new computationally relevant data. We use techniques based on monotone functional interpretation (developed in [17]) to analyze Cheney's simplification [6] of Jackson's original proof [9] from 1921 of the uniqueness of the best L1-approximation of continuous functions f in C[0, 1] by polynomials p in Pn of degre