Detecting the Rise and Fall of 21 cm Fluctuations with the Murchison Widefield Array

We forecast the sensitivity with which the Murchison Widefield Array (MWA) can measure the 21 cm power spectrum of cosmic hydrogen, using radiative transfer simulations to model reionization and the 21 cm signal. The MWA is sensitive to roughly a decade in scale (wavenumbers of k ~ 0.1 - 1 h Mpc^{-1}), with foreground contamination precluding measurements on larger scales, and thermal detector noise limiting the small scale sensitivity. This amounts primarily to constraints on two numbers: the amplitude and slope of the 21 cm power spectrum on the scales probed. We find, however, that the redshift evolution in these quantities can yield important information about reionization. Although the power spectrum differs substantially across plausible models, a generic prediction is that the amplitude of the 21 cm power spectrum on MWA scales peaks near the epoch when the intergalactic medium (IGM) is ~ 50% ionized. Moreover, the slope of the 21 cm power spectrum on MWA scales flattens as the ionization fraction increases and the sizes of the HII regions grow. Considering detection sensitivity, we show that the optimal MWA antenna configuration for power spectrum measurements would pack all 500 antenna tiles as close as possible in a compact core. The MWA is sensitive enough in its optimal configuration to measure redshift evolution in the slope and amplitude of the 21 cm power spectrum. Detecting the characteristic redshift evolution of our models will confirm that observed 21 cm fluctuations originate from the IGM, and not from foregrounds, and provide an indirect constraint on the volume-filling factor of HII regions during reionization. After two years of observations under favorable conditions, the MWA can constrain the filling factor at an epoch when ~ 0.5 to within roughly +/- 0.1 at 2-sigma.Comment: 14 pages, 9 figures, submitted to Ap

A role for loop G in the β1 strand in GABA_A receptor activation

The GABAA receptor α subunit β1 strand runs anti-parallel to the β2 strand, which contains loop D, known to participate in receptor activation and agonist binding. However, a role for the β1 strand has yet to be established. We used molecular dynamics simulation to quantify the solvent accessible surface area (SASA) of β1 strand residues in the GABAA β3 homopentamer structure. Residues in the complementary interface equivalent to those between Asp43 and Thr47 in the a1 subunit have an alternating pattern of high and low SASA consistent with a β strand structure. We investigated the functional role of these β1 strand residues in the α1 subunit by individually replacing them with Cys residues. D43C and T47C substitutions reduced the apparent potency of GABA at α1β2γ2 receptors by around 50-fold and 8-fold, respectively, whereas the F45C substitution caused a biphasic GABA concentration-response relationship and increased spontaneous gating. Receptors with D43C or T47C substitutions were sensitive to MTSEA modification. However, GABA-evoked currents mediated by α1(F45C)β2γ2 receptors were unaffected by MTSEA, suggesting that this residue is inaccessible. Both GABA and the allosteric agonist propofol reduced MTSEA modification of α1(D43C)β2γ2 and α1(T47C)β2γ2 receptors indicating movement of the β1 strand even during allosteric activation. This is in contrast to α1(F64C)β2γ2 receptors where only GABA, but not propofol reduced MTSEA modification. These findings provide the first functional evidence for movement of the β1 strand during gating of the receptor and identify residues that are critical for maintaining GABAA receptor function. This article is protected by copyright. All rights reserved.</p

Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs

This extended abstract is about an effort to build a formal description of a triangulation algorithm starting with a naive description of the algorithm where triangles, edges, and triangulations are simply given as sets and the most complex notions are those of boundary and separating edges. When performing proofs about this algorithm, questions of symmetry appear and this exposition attempts to give an account of how these symmetries can be handled. All this work relies on formal developments made with Coq and the mathematical components library

Phase field approach to optimal packing problems and related Cheeger clusters

In a fixed domain of $\Bbb{R}^N$ we study the asymptotic behaviour of optimal clusters associated to $\alpha$-Cheeger constants and natural energies like the sum or maximum: we prove that, as the parameter $\alpha$ converges to the "critical" value $\Big (\frac{N-1}{N}\Big ) _+$, optimal Cheeger clusters converge to solutions of different packing problems for balls, depending on the energy under consideration. As well, we propose an efficient phase field approach based on a multiphase Gamma convergence result of Modica-Mortola type, in order to compute $\alpha$-Cheeger constants, optimal clusters and, as a consequence of the asymptotic result, optimal packings. Numerical experiments are carried over in two and three space dimensions

Seasonal patterns of estuarine acidification in seagrass beds of the Snohomish Estuary, WA

Recent studies have begun to explore physical and biogeochemical mechanisms of carbonate chemistry variability in a variety of coastal habitats, including coral reefs, upwelling margins, and inland seas. To our knowledge, there have been limited mechanistic studies of annual carbonate chemistry variability in nearshore estuarine environments. Here, we present autonomous sensor and grab sample data of carbonate chemistry covering a 10 month period from two subtidal seagrass bed sites in Possession Sound, WA. Simple mass balance stoichiometric models are used to evaluate seasonal drivers of carbonate system parameters in the seagrass beds. Simulations of increasing anthropogenic carbon (Canth) burdens in the habitats reveal seasonal differences in the magnitude of carbonate system responses. The addition of Canth alters the thermodynamic buffer factors (e.g. the Revelle factor) of the carbonate system, decreasing the system’s ability to buffer natural variability in the seagrass habitat on high-frequency (e.g. tidal, diel) and seasonal timescales. As a result, the most harmful carbonate system indices for many estuarine organisms (minimum pHT, minimum Ωarag, and maximum pCO2(s.w.)) change most rapidly with increasing Canth. We highlight how the observed seasonal climatology and non-linear response of the carbonate system to increasing Canth drive the timing of the crossing of established physiological stress thresholds for endemic organisms, as well as thresholds relevant for water quality management. In this system, the relative benefits of the seagrass beds in locally mitigating ocean acidification during the growing season increase with the higher atmospheric CO2 levels predicted toward 2100. Presently however, these mitigating effects are mixed due to intense diel cycling of CO2 driven by community metabolism

Src Kinase Inhibition Attenuates Morphine Tolerance without Affecting Reinforcement or Psychomotor Stimulation

BACKGROUND: Prolonged opioid administration leads to tolerance characterized by reduced analgesic potency. Pain management is additionally compromised by the hedonic effects of opioids, the cause of their misuse. The multifunctional protein β-arrestin2 regulates the hedonic effects of morphine and participates in tolerance. These actions might reflect µ opioid receptor up-regulation through reduced endocytosis. β-Arrestin2 also recruits kinases to µ receptors. We explored the role of Src kinase in morphine analgesic tolerance, locomotor stimulation, and reinforcement in C57BL/6 mice.METHODS: Analgesic (tail withdrawal latency; percentage of maximum possible effect, n = 8 to 16), locomotor (distance traveled, n = 7 to 8), and reinforcing (conditioned place preference, n = 7 to 8) effects of morphine were compared in wild-type, µ, µ, and β-arrestin2 mice. The influence of c-Src inhibitors dasatinib (n = 8) and PP2 (n = 12) was examined.RESULTS: Analgesia in morphine-treated wild-type mice exhibited tolerance, declining by day 10 to a median of 62% maximum possible effect (interquartile range, 29 to 92%). Tolerance was absent from mice receiving dasatinib. Tolerance was enhanced in µ mice (34% maximum possible effect; interquartile range, 5 to 52% on day 5); dasatinib attenuated tolerance (100% maximum possible effect; interquartile range, 68 to 100%), as did PP2 (91% maximum possible effect; interquartile range, 78 to 100%). By contrast, c-Src inhibition affected neither morphine-evoked locomotor stimulation nor reinforcement. Remarkably, dasatinib not only attenuated tolerance but also reversed established tolerance in µ mice.CONCLUSIONS: The ability of c-Src inhibitors to inhibit tolerance, thereby restoring analgesia, without altering the hedonic effect of morphine, makes c-Src inhibitors promising candidates as adjuncts to opioid analgesics.</p

Radio Frequency Spectra of 388 Bright 74 MHz Sources

As a service to the community, we have compiled radio frequency spectra from the literature for all sources within the VLA Low Frequency Sky Survey (VLSS) that are brighter than 15 Jy at 74 MHz. Over 160 references were used to maximize the amount of spectral data used in the compilation of the spectra, while also taking care to determine the corrections needed to put the flux densities from all reference on the same absolute flux density scale. With the new VLSS data, we are able to vastly improve upon previous efforts to compile spectra of bright radio sources to frequencies below 100 MHz because (1) the VLSS flux densities are more reliable than those from some previous low frequency surveys and (2) the VLSS covers a much larger area of the sky (declination >-30 deg.) than many other low frequency surveys (e.g., the 8C survey). In this paper, we discuss how the spectra were constructed and how parameters quantifying the shapes of the spectra were derived. Both the spectra and the shape parameters are made available here to assist in the calibration of observations made with current and future low frequency radio facilities.Comment: Accepted to ApJ

Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar

This paper presents a combination of several automated reasoning and proof presentation tools with the Mizar system for formalization of mathematics. The combination forms an online service called MizAR, similar to the SystemOnTPTP service for first-order automated reasoning. The main differences to SystemOnTPTP are the use of the Mizar language that is oriented towards human mathematicians (rather than the pure first-order logic used in SystemOnTPTP), and setting the service in the context of the large Mizar Mathematical Library of previous theorems,definitions, and proofs (rather than the isolated problems that are solved in SystemOnTPTP). These differences poses new challenges and new opportunities for automated reasoning and for proof presentation tools. This paper describes the overall structure of MizAR, and presents the automated reasoning systems and proof presentation tools that are combined to make MizAR a useful mathematical service.Comment: To appear in 10th International Conference on. Artificial Intelligence and Symbolic Computation AISC 201