Calibration of the high-frequency magnetic fluctuation diagnostic in plasma devices

The increasing reservoirs of energetic particles which drive high-frequency modes, together with advances in the understanding of magnetohydrodynamics, have led to a need for higher-frequency (50 kHz to >20MHz) measurements of magnetic field fluctuations in magnetic fusion devices such as tokamaks. This article uses transmission line equations to derive the voltage response of a Mirnov coil at the digitizer end of a transmission line of length ℓ. It is shown that, depending on the terminations of the line, resonances can occur even for ℓ/λ⪡1, with λ the wavelength of a fluctuation in the transmission line. A lumped-circuit model based on the approach of Heeter et al. [R. F. Heeter, A. F. Fasoli, S. Ali-Arshad, and J. M. Moret. Rev. Sci. Instrum.71, 4092 (2000)] is extended to enable the inclusion simultaneously of both serial resistance and parallel conductance elements. As originally proposed by Heeter et al. the lumped-circuit model offers the advantage of remote calibration; this may be of particular value when upgrading existing systems to operate at frequencies above the original design specification. It is formally shown that the transmission line equations for the transfer function and measured impedance reduce to those of the lumped circuit model of Heeter et al. under specific conditions. The result extends the use of the lumped-circuit model of Heeter et al., which can be used to extract the transfer function from measurement of the impedance, beyond the case of an open-circuit termination. Although the numerical procedure does exhibit some problems associated with non-uniqueness, it provides a simple calibration method for systems that are not well defined. Using typical parameters for a high-frequency Mirnov coil installed on the Joint European Torus (JET) tokamak, the lumped-circuit approximation agrees with the steady-state transmission line model to within 0.015° in phase and 22% in amplitude for frequencies up to 1 MHz. A matched termination, though eliminating line resonances and reducing the length of time for the system to reach steady state, is inappropriate for the JET-type coils which exhibit significant temperature-dependent resistance. Finally, for fluctuations of finite duration, a method of computing the discrepancy due to the simplifying assumption of Fourier-stationary conditions is described.This work was funded jointly by the United Kingdom Engineering and Physical Sciences Research Council and by EURATOM

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

Seasonal habitat selection of the North American porcupine (Erethizon dorsatum) in a coastal dune forest

Wildlife-habitat relationship studies are important for understanding the factors that determine where species occur in space and time. Habitat selection by generalist species should be studied on fine spatial and temporal scales to avoid masking important differences between seasons, localities, or orders of selection. I conducted the first study of habitat use and general ecology of North American porcupines (Erethizon dorsatum) in a coastal dune environment. Specifically, I assessed changes in body mass, home range size, and habitat selection in relation to the potential for seasonal nutritional and survival bottlenecks as reported elsewhere. Although they are considered generalists, porcupines have adapted specialized feeding strategies allowing them to survive periods of harsh weather and low food availability. In this study, porcupines were selective in their habitat use at the home-range and within-home-range scales during both summer and winter. In summer, porcupines selected willow-dominated swales, marshes, and fruit trees, and during the winter they selected coastal scrub, dunes, and conifer forests. These changes were most likely driven by forage availability, leading to dramatic body mass loss between summer and winter. On average, females lost 7.5% of their body mass and males lost 17.8%. Further, four out of five mortalities occurred during the winter, which is consistent with nutritional decline. Porcupines had larger home ranges during the summer than the winter by approximately 31%. These spatiotemporal changes are similar to those reported elsewhere, indicating that similar strategies are used by this habitat generalist across its range

A new proof that alternating links are non-trivial

We use a simple geometric argument and small cancellation properties of link groups to prove that alternating links are non-trivial. This proof uses only classic results in topology and combinatorial group theory.Comment: Minor changes. To appear in Fundamenta Mathematica

Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker

Since the proof of the four color theorem in 1976, computer-generated proofs have become a reality in mathematics and computer science. During the last decade, we have seen formal proofs using verified proof assistants being used to verify the validity of such proofs. In this paper, we describe a formalized theory of size-optimal sorting networks. From this formalization we extract a certified checker that successfully verifies computer-generated proofs of optimality on up to 8 inputs. The checker relies on an untrusted oracle to shortcut the search for witnesses on more than 1.6 million NP-complete subproblems.Comment: IMADA-preprint-c

Fermi-Polaron: Diagrammatic Monte Carlo for Divergent Sign-Alternating Series

Diagrammatic Monte Carlo approach is applied to a problem of a single spin-down fermion resonantly interacting with the sea of ideal spin-up fermions. On one hand, we develop a generic, sign-problem tolerant, method of exact numerical solution of polaron-type models. On the other hand, our solution is important for understanding the phase diagram and properties of the BCS-BEC crossover in the strongly imbalanced regime. This is the first, and possibly characteristic, example of how the Monte Carlo approach can be applied to a divergent sign-alternating diagrammatic series.Comment: 4 pages, 7 figure

Generation and detection of a sub-Poissonian atom number distribution in a one-dimensional optical lattice

We demonstrate preparation and detection of an atom number distribution in a one-dimensional atomic lattice with the variance $-14$ dB below the Poissonian noise level. A mesoscopic ensemble containing a few thousand atoms is trapped in the evanescent field of a nanofiber. The atom number is measured through dual-color homodyne interferometry with a pW-power shot noise limited probe. Strong coupling of the evanescent probe guided by the nanofiber allows for a real-time measurement with a precision of $\pm 8$ atoms on an ensemble of some $10^3$ atoms in a one-dimensional trap. The method is very well suited for generating collective atomic entangled or spin-squeezed states via a quantum non-demolition measurement as well as for tomography of exotic atomic states in a one-dimensional lattice