Many-body Green's function theory for electron-phonon interactions: ground state properties of the Holstein dimer

We study ground-state properties of a two-site, two-electron Holstein model describing two molecules coupled indirectly via electron-phonon interaction by using both exact diagonalization and self-consistent diagrammatic many-body perturbation theory. The Hartree and self-consistent Born approximations used in the present work are studied at different levels of self-consistency. The governing equations are shown to exhibit multiple solutions when the electron-phonon interaction is sufficiently strong whereas at smaller interactions only a single solution is found. The additional solutions at larger electron-phonon couplings correspond to symmetry-broken states with inhomogeneous electron densities. A comparison to exact results indicates that this symmetry breaking is strongly correlated with the formation of a bipolaron state in which the two electrons prefer to reside on the same molecule. The results further show that the Hartree and partially self-consistent Born solutions obtained by enforcing symmetry do not compare well with exact energetics, while the fully self-consistent Born approximation improves the qualitative and quantitative agreement with exact results in the same symmetric case. This together with a presented natural occupation number analysis supports the conclusion that the fully self-consistent approximation describes partially the bipolaron crossover. These results contribute to better understanding how these approximations cope with the strong localizing effect of the electron-phonon interaction.Comment: 9 figures, corrected typo

An investigation of cotton for parachute cloth

This is a resume of the work of the Bureau of Standards on a cotton parachute cloth for use as a substitute for silk in the event of an emergency curtailing the supply. Cotton yarn of high strength in proportion to its weight and otherwise specially suitable for parachute cloth was developed. Cloth woven from this yarn in the bureau mill was equal or superior to parachute silk in strength and tear resistance, met the requirements with respect to air permeability, and weighed only a few tenths of an ounce per square yard more than the silk cloth. Practical trials of cotton parachutes carried out by the Navy Department clearly indicate that the cotton parachute closely approaches the silk parachute in performance as to rate of descent, opening time, strength and ability to function when stored in the pack for sixty days. The increase in weight of the equipment resulting from the use of cotton cloth instead of silk is considered to be well within practicable limits. A specification for cotton parachute cloth and the way in which the requirements of the specification have been met are given. Cotton yarns suitable for parachute cloth are now being woven commercially in the United States

Liveness-Based Garbage Collection for Lazy Languages

We consider the problem of reducing the memory required to run lazy first-order functional programs. Our approach is to analyze programs for liveness of heap-allocated data. The result of the analysis is used to preserve only live data---a subset of reachable data---during garbage collection. The result is an increase in the garbage reclaimed and a reduction in the peak memory requirement of programs. While this technique has already been shown to yield benefits for eager first-order languages, the lack of a statically determinable execution order and the presence of closures pose new challenges for lazy languages. These require changes both in the liveness analysis itself and in the design of the garbage collector. To show the effectiveness of our method, we implemented a copying collector that uses the results of the liveness analysis to preserve live objects, both evaluated (i.e., in WHNF) and closures. Our experiments confirm that for programs running with a liveness-based garbage collector, there is a significant decrease in peak memory requirements. In addition, a sizable reduction in the number of collections ensures that in spite of using a more complex garbage collector, the execution times of programs running with liveness and reachability-based collectors remain comparable

An implementation of Deflate in Coq

The widely-used compression format "Deflate" is defined in RFC 1951 and is based on prefix-free codings and backreferences. There are unclear points about the way these codings are specified, and several sources for confusion in the standard. We tried to fix this problem by giving a rigorous mathematical specification, which we formalized in Coq. We produced a verified implementation in Coq which achieves competitive performance on inputs of several megabytes. In this paper we present the several parts of our implementation: a fully verified implementation of canonical prefix-free codings, which can be used in other compression formats as well, and an elegant formalism for specifying sophisticated formats, which we used to implement both a compression and decompression algorithm in Coq which we formally prove inverse to each other -- the first time this has been achieved to our knowledge. The compatibility to other Deflate implementations can be shown empirically. We furthermore discuss some of the difficulties, specifically regarding memory and runtime requirements, and our approaches to overcome them

Coloring random graphs

We study the graph coloring problem over random graphs of finite average connectivity $c$. Given a number $q$ of available colors, we find that graphs with low connectivity admit almost always a proper coloring whereas graphs with high connectivity are uncolorable. Depending on $q$, we find the precise value of the critical average connectivity $c_q$. Moreover, we show that below $c_q$ there exist a clustering phase $c\in [c_d,c_q]$ in which ground states spontaneously divide into an exponential number of clusters and where the proliferation of metastable states is responsible for the onset of complexity in local search algorithms.Comment: 4 pages, 1 figure, version to app. in PR

A low-loss, broadband antenna for efficient photon collection from a coherent spin in diamond

We report the creation of a low-loss, broadband optical antenna giving highly directed output from a coherent single spin in the solid-state. The device, the first solid-state realization of a dielectric antenna, is engineered for individual nitrogen vacancy (NV) electronic spins in diamond. We demonstrate a directionality close to 10. The photonic structure preserves the high spin coherence of single crystal diamond (T2>100us). The single photon count rate approaches a MHz facilitating efficient spin readout. We thus demonstrate a key enabling technology for quantum applications such as high-sensitivity magnetometry and long-distance spin entanglement.Comment: 5 pages, 4 figures and supplementary information (5 pages, 8 figures). Comments welcome. Further information under http://www.quantum-sensing.physik.unibas.c

Developments in Rare Kaon Decay Physics

We review the current status of the field of rare kaon decays. The study of rare kaon decays has played a key role in the development of the standard model, and the field continues to have significant impact. The two areas of greatest import are the search for physics beyond the standard model and the determination of fundamental standard-model parameters. Due to the exquisite sensitivity of rare kaon decay experiments, searches for new physics can probe very high mass scales. Studies of the k->pnn modes in particular, where the first event has recently been seen, will permit tests of the standard-model picture of quark mixing and CP violation.Comment: One major revision to the text is the branching ratio of KL->ppg, based on a new result from KTeV. Several references were updated, with minor modifications to the text. A total of 48 pages, with 28 figures, in LaTeX; to be published in the Annual Review of Nuclear and Particle Science, Vol. 50, December 200

The Joint Vienna Institute

"How does the intellectual role played by international training organisations fit into the contemporary architecture of global governance? The international diffusion of economic policy ideas represents one of the core dimensions of contemporary global governance, which has generated heated controversy in recent years with international institutions such as the International Monetary Fund (IMF) and the World Bank castigated for championing a ‘one-size-fits-all’ brand of neoliberal economic reform. Yet while substantial scholarly attention has focused on analysing the effects of the formal compliance mechanisms that the IMF and the World Bank rely on to implement neoliberal policy changes in borrowing countries, such as loan conditionality, less attention has been devoted to exploring the intermediate avenues through which neoliberal ideas travel from global governance institutions to national governance contexts. This article aims to address this gap in the study of contemporary global governance and neoliberal policy diffusion through critically examining the evolving role of the Joint Vienna Institute (JVI), an international training organisation set up after the end of the Cold War to transmit global ‘best practice’ economic policy ideas to national officials in post-communist economies.