Evidence cross-validation and Bayesian inference of MAST plasma equilibria

In this paper, current profiles for plasma discharges on the Mega-Ampere Spherical Tokamak (MAST) are directly calculated from pickup coil, flux loop and Motional-Stark Effect (MSE) observations via methods based in the statistical theory of Bayesian analysis. By representing toroidal plasma current as a series of axisymmetric current beams with rectangular cross-section and inferring the current for each one of these beams, flux-surface geometry and q-profiles are subsequently calculated by elementary application of Biot-Savart's law. The use of this plasma model in the context of Bayesian analysis was pioneered by Svensson and Werner on the Joint-European Tokamak (JET) [J. Svensson and A. Werner. Current tomography for axisymmetric plasmas. Plasma Physics and Controlled Fusion, 50(8):085002, 2008]. In this framework, linear forward models are used to generate diagnostic predictions, and the probability distribution for the currents in the collection of plasma beams was subsequently calculated directly via application of Bayes' formula. In this work, we introduce a new diagnostic technique to identify and remove outlier observations associated with diagnostics falling out of calibration or suffering from an unidentified malfunction. These modifications enable good agreement between Bayesian inference of the last closed flux-surface (LCFS) with other corroborating data, such as such as that from force balance considerations using EFIT++ [L. Appel et al., Proc. 33rd EPS Conf., Rome, Italy, 2006]. In addition, this analysis also yields errors on the plasma current profile and flux-surface geometry, as well as directly predicting the Shafranov shift of the plasma core.This work was jointly funded by the Australian Government through International Science Linkages Grant No. CG130047, the Australian National University, the United Kingdom Engineering and Physical Sciences Research Council under Grant No. EP/G003955, and by the European Communities under the contract of Association between EURATOM and CCFE

Fullerene graphs have exponentially many perfect matchings

A fullerene graph is a planar cubic 3-connected graph with only pentagonal and hexagonal faces. We show that fullerene graphs have exponentially many perfect matchings.Comment: 7 pages, 3 figure

Iridium-coated rhenium thrusters by CVD

Operation of spacecraft thrusters at increased temperature reduces propellant requirements. Inasmuch as propellant comprises the bulk of a satellite's mass, even a small percentage reduction makes possible a significant enhancement of the mission in terms of increased payload. Because of its excellent high temperature strength, rhenium is often the structural material of choice. It can be fabricated into free-standing shapes by chemical vapor deposition (CVD) onto an expendable mandrel. What rhenium lacks is oxidation resistance, but this can be provided by a coating of iridium, also by CVD. This paper describes the process used by Ultramet to fabricate 22-N (5-lbf) and, more recently, 445-N (100-lbf) Ir/Re thrusters; characterizes the CVD-deposited materials; and summarizes the materials effects of firing these thrusters. Optimal propellant mixture ratios can be employed because the materials withstand an oxidizing environment up to the meltimg temperature of iridium, 2400 C (4350 F)

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

Excitations in time-dependent density-functional theory

An approximate solution to the time-dependent density functional theory (TDDFT) response equations for finite systems is developed, yielding corrections to the single-pole approximation. These explain why allowed Kohn-Sham transition frequencies and oscillator strengths are usually good approximations to the true values, and why sometimes they are not. The approximation yields simple expressions for G\"orling-Levy perturbation theory results, and a method for estimating expectation values of the unknown exchange-correlation kernel.Comment: 4 pages, 1 tabl

Mobile Resource Guarantees for Smart Devices

Abstract. We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached to code in the form of efficiently checkable proofs of resource bounds; in contrast to cryptographic certificates of code origin, these are independent of trust networks. A novel programming language with resource constraints encoded in function types is used to streamline the generation of proofs of resource usage.

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

Photoemission spectroscopy and sum rules in dilute electron-phonon systems

A family of exact sum rules for the one-polaron spectral function in the low-density limit is derived. An algorithm to calculate energy moments of arbitrary order of the spectral function is presented. Explicit expressions are given for the first two moments of a model with general electron-phonon interaction, and for the first four moments of the Holstein polaron. The sum rules are linked to experiments on momentum-resolved photoemission spectroscopy. The bare electronic dispersion and the electron-phonon coupling constant can be extracted from the first and second moments of spectrum. The sum rules could serve as constraints in analytical and numerical studies of electron-phonon models.Comment: 4 page