Calibrated Ultra Fast Image Simulations for the Dark Energy Survey

Weak lensing by large-scale structure is a powerful technique to probe the dark components of the universe. To understand the measurement process of weak lensing and the associated systematic effects, image simulations are becoming increasingly important. For this purpose we present a first implementation of the $\textit{Monte Carlo Control Loops}$ ($\textit{MCCL}$; Refregier & Amara 2014), a coherent framework for studying systematic effects in weak lensing. It allows us to model and calibrate the shear measurement process using image simulations from the Ultra Fast Image Generator (UFig; Berge et al. 2013). We apply this framework to a subset of the data taken during the Science Verification period (SV) of the Dark Energy Survey (DES). We calibrate the UFig simulations to be statistically consistent with DES images. We then perform tolerance analyses by perturbing the simulation parameters and study their impact on the shear measurement at the one-point level. This allows us to determine the relative importance of different input parameters to the simulations. For spatially constant systematic errors and six simulation parameters, the calibration of the simulation reaches the weak lensing precision needed for the DES SV survey area. Furthermore, we find a sensitivity of the shear measurement to the intrinsic ellipticity distribution, and an interplay between the magnitude-size and the pixel value diagnostics in constraining the noise model. This work is the first application of the $\textit{MCCL}$ framework to data and shows how it can be used to methodically study the impact of systematics on the cosmic shear measurement.Comment: 14 pages, 9 Figures, submitted to Ap

Non-BPS Branes of Supersymmetric Brane Worlds

We consider five-dimensional brane worlds with N=2 gauged supergravity in the bulk coupled supersymmetrically to two boundary branes at the fixed points of a Z_2 symmetry. We analyse two mechanisms that break supersymmetry either by choosing flipped fermionic boundary conditions on the boundary branes or by modifying the gravitino variation to include both Z_2-odd and Z_2-even operators. In all cases we find the corresponding background. Including an even part in the gravitino variation leads to tilted branes. Choosing the flipped boundary conditions leads to AdS_4 branes and stabilized radion in the detuned case, when the expectation value of the even variation is nonzero. Another solution has the interpretation of moving AdS_4 branes separated by a horizon. The solution with moving branes separated by a horizon can be extended to the tuned case. In the presence of a horizon, temperature mediation communicates supersymmetry breakdown to the branes.Comment: 13 pages, 1 figure, Latex, typos corrected, references adde

Classification and Moduli Kahler Potentials of G_2 Manifolds

Compact manifolds of G_2 holonomy may be constructed by dividing a seven-torus by some discrete symmetry group and then blowing up the singularities of the resulting orbifold. We classify possible group elements that may be used in this construction and use this classification to find a set of possible orbifold groups. We then derive the moduli Kahler potential for M-theory on the resulting class of G_2 manifolds with blown up co-dimension four singularities.Comment: 30 pages, Latex, references adde

Quantifying fenbendazole and its metabolites in self-medicating wild red grouse Lagopus lagopus scoticus using an HPLC–MS–MS approach

On red grouse estates in the UK the nematode parasite Trichostrongylus tenuis is often controlled by application of grit medicated with the anthelmintic fenbendazole (FBZ). To date, assessment of the efficacy has been inhibited by the inability to quantify uptake of FBZ by the birds. We have developed a simple and sensitive HPLC–MS–MS method for detecting and quantifying FBZ and its metabolites from a 300 mg sample of red grouse liver. This method could be used to improve the efficacy of medicated grit treatment by allowing the identification of conditions and application methods that optimize the uptake of FBZ. With the necessary modifications, our method will also be applicable to other wildlife species where self-medication is used for parasite control

Four-Dimensional Supergravities from Five-Dimensional Brane Worlds

We give the explicit form of the four dimensional effective supergravity action, which describes low energy physics of the Randall-Sundrum model with moduli fields in the bulk and charged chiral matter living on the branes. The relation between 5d and 4d physics is explicit: the low energy action is derived from the compactification of a locally supersymmetric model in five dimension. The presence of odd $Z_2$ parity scalars in the bulk gives rise to effective potential for the radion in four dimensions. We describe the mechanism of supersymmetry breaking mediation, which relies on non-trivial configuration of these $Z_2$-odd bulk fields. Broken supersymmetry leads to stabilization of the interbrane distance.Comment: 27 pages, plain Latex, typos correcte

Eye velocity gain fields for visuo- motor coordinate transformations

’Gain-field-like’ tuning behavior is characterized by a modulation of the neuronal response depending on a certain variable, without changing the actual receptive field characteristics in relation to another variable. Eye position gain fields were first observed in area 7a of the posterior parietal cortex (PPC), where visually responsive neurons are modulated by ocular position. Analysis of artificial neural networks has shown that this type of tuning function might comprise the neuronal substrate for coordinate transformations. In this work, neuronal activity in the dorsal medial superior temporal area (MSTd) has been analyzed with an focus on it’s involvement in oculomotor control. MSTd is part of the extrastriate visual cortex and located in the PPC. Lesion studies suggested a participation of this cortical area in the control of eye movements. Inactivation of MSTd severely impairs the optokinetic response (OKR), which is an reflex-like kind of eye movement that compensates for motion of the whole visual scene. Using a novel, information-theory based approach for neuronal data analysis, we were able to identify those visual and eye movement related signals which were most correlated to the mean rate of spiking activity in MSTd neurons during optokinetic stimulation. In a majority of neurons firing rate was non-linearly related to a combination of retinal image velocity and eye velocity. The observed neuronal latency relative to these signals is in line with a system-level model of OKR, where an efference copy of the motor command signal is used to generate an internal estimate of the head-centered stimulus velocity signal. Tuning functions were obtained by using a probabilistic approach. In most MSTd neurons these functions exhibited gain-field-like shapes, with eye velocity modulating the visual response in a multiplicative manner. Population analysis revealed a large diversity of tuning forms including asymmetric and non-separable functions. The distribution of gain fields was almost identical to the predictions from a neural network model trained to perform the summation of image and eye velocity. These findings therefore strongly support the hypothesis of MSTd’s participation in the OKR control system by implementing the transformation from retinal image velocity to an estimate of stimulus velocity. In this sense, eye velocity gain fields constitute an intermediate step in transforming the eye-centered to a head-centered visual motion signal.Another aspect that was addressed in this work was the comparison of the irregularity of MSTd spiking activity during optokinetic response with the behavior during pure visual stimulation. The goal of this study was an evaluation of potential neuronal mechanisms underlying the observed gain field behavior. We found that both inter- and intra-trial variability were decreased with increasing retinal image velocity, but increased with eye velocity. This observation argues against a symmetrical integration of driving and modulating inputs. Instead, we propose an architecture where multiplicative gain modulation is achieved by simultaneous increase of excitatory and inhibitory background synaptic input. A conductance-based single-compartment model neuron was able to reproduce realistic gain modulation and the observed stimulus-dependence of neural variability, at the same time. In summary, this work leads to improved knowledge about MSTd’s role in visuomotor transformation by analyzing various functional and mechanistic aspects of eye velocity gain fields on a systems-, network-, and neuronal level

Directed evolution of a far-red fluorescent rhodopsin

Microbial rhodopsins are a diverse group of photoactive transmembrane proteins found in all three domains of life. A member of this protein family, Archaerhodopsin-3 (Arch) of halobacterium Halorubrum sodomense, was recently shown to function as a fluorescent indicator of membrane potential when expressed in mammalian neurons. Arch fluorescence, however, is very dim and is not optimal for applications in live-cell imaging. We used directed evolution to identify mutations that dramatically improve the absolute brightness of Arch, as confirmed biochemically and with live-cell imaging (in Escherichia coli and human embryonic kidney 293 cells). In some fluorescent Arch variants, the pK_a of the protonated Schiff-base linkage to retinal is near neutral pH, a useful feature for voltage-sensing applications. These bright Arch variants enable labeling of biological membranes in the far-red/infrared and exhibit the furthest red-shifted fluorescence emission thus far reported for a fluorescent protein (maximal excitation/emission at ∼620 nm/730 nm)

Recursive Definitions of Monadic Functions

Using standard domain-theoretic fixed-points, we present an approach for defining recursive functions that are formulated in monadic style. The method works both in the simple option monad and the state-exception monad of Isabelle/HOL's imperative programming extension, which results in a convenient definition principle for imperative programs, which were previously hard to define. For such monadic functions, the recursion equation can always be derived without preconditions, even if the function is partial. The construction is easy to automate, and convenient induction principles can be derived automatically.Comment: In Proceedings PAR 2010, arXiv:1012.455