Model Data Fusion: developing Bayesian inversion to constrain equilibrium and mode structure

Recently, a new probabilistic "data fusion" framework based on Bayesian principles has been developed on JET and W7-AS. The Bayesian analysis framework folds in uncertainties and inter-dependencies in the diagnostic data and signal forward-models, together with prior knowledge of the state of the plasma, to yield predictions of internal magnetic structure. A feature of the framework, known as MINERVA (J. Svensson, A. Werner, Plasma Physics and Controlled Fusion 50, 085022, 2008), is the inference of magnetic flux surfaces without the use of a force balance model. We discuss results from a new project to develop Bayesian inversion tools that aim to (1) distinguish between competing equilibrium theories, which capture different physics, using the MAST spherical tokamak; and (2) test the predictions of MHD theory, particularly mode structure, using the H-1 Heliac.Comment: submitted to Journal of Plasma Fusion Research 10/11/200

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

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

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

A high resolution Mirnov array for the Mega Ampere Spherical Tokamak

Over the past two decades, the increase in neutral-beam heating and alpha particle production in magnetically confined fusion plasmas has led to an increase in energetic particle driven mode activity, much of which has an electromagnetic signature which can be detected by the use of external Mirnov coils. Typically, the frequency and spatial wave number band of such oscillations increase with increasing injection energy, offering new challenges for diagnostic design. In particular, as the frequency approaches the megahertz range, care must be taken to model the stray capacitance of the coil, which limits the resonant frequency of the probe; model transmission line effects in the system, which if unchecked can produce system resonances; and minimize coil conductive shielding, so as to minimize skin currents which limit the frequency response of the coil. As well as optimizing the frequency response, the coils should also be positioned to confidently identify oscillations over a wide wave number band. This work, which draws on new techniques in stray capacitance modeling and coil positioning, is a case study of the outboard Mirnov array for high-frequency acquisition in the Mega Ampere Spherical Tokamak, and is intended as a roadmap for the design of high frequency, weak field strength magnetic diagnostics.This work was partly funded by the Australian National University, the United Kingdom Engineering and Physical Sciences Research Council, and by the European Communities under the contract of Association between EURATOM and CCFE

Inositol Polyphosphates Regulate Zebrafish Left-Right Asymmetry

SummaryVertebrate body plans have a conserved left-right (LR) asymmetry manifested in the position and anatomy of the heart, visceral organs, and brain. Recent studies have suggested that LR asymmetry is established by asymmetric Ca2+ signaling resulting from cilia-driven flow of extracellular fluid across the node. We report here that inositol 1,3,4,5,6-pentakisphosphate 2-kinase (Ipk1), which generates inositol hexakisphosphate, is critical for normal LR axis determination in zebrafish. Zebrafish embryos express ipk1 symmetrically during gastrulation and early segmentation. ipk1 knockdown by antisense morpholino oligonucleotide injection randomized LR-specific gene expression and organ placement, effects that were associated with reduced intracellular Ca2+ flux in cells surrounding the ciliated Kupffer’s vesicle, a structure analogous to the mouse node. Our data suggest that the pathway for inositol hexakisphosphate production is a key regulator of asymmetric Ca2+ flux during LR specification

Odd Parity and Line Nodes in Heavy Fermion Superconductors

Group theory arguments have demonstrated that a general odd parity order parameter cannot have line nodes in the presence of spin-orbit coupling. In this paper, it is shown that these arguments do not hold on the $k_z = \pi/c$ zone face of a hexagonal close packed lattice. In particular, three of the six odd parity representations vanish identically on this face. This has potential relevance to the heavy fermion superconductor $UPt_3$.Comment: 5 pages, revte

Polynomial iterative algorithms for coloring and analyzing 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. Furthermore, we extended our considerations to the case of single instances showing consistent results. This lead us to propose a new algorithm able to color in polynomial time random graphs in the hard but colorable region, i.e when $c\in [c_d,c_q]$.Comment: 23 pages, 10 eps figure

Heterodyne non-demolition measurements on cold atomic samples: towards the preparation of non-classical states for atom interferometry

We report on a novel experiment to generate non-classical atomic states via quantum non-demolition (QND) measurements on cold atomic samples prepared in a high finesse ring cavity. The heterodyne technique developed for the QND detection exhibits an optical shot-noise limited behavior for local oscillator optical power of a few hundred \muW, and a detection bandwidth of several GHz. This detection tool is used in single pass to follow non destructively the internal state evolution of an atomic sample when subjected to Rabi oscillations or a spin-echo interferometric sequence.Comment: 23 page