The Transiting System GJ1214: High-Precision Defocused Transit Observations and a Search for Evidence of Transit Timing Variation

Aims: We present 11 high-precision photometric transit observations of the transiting super-Earth planet GJ1214b. Combining these data with observations from other authors, we investigate the ephemeris for possible signs of transit timing variations (TTVs) using a Bayesian approach. Methods: The observations were obtained using telescope-defocusing techniques, and achieve a high precision with random errors in the photometry as low as 1mmag per point. To investigate the possibility of TTVs in the light curve, we calculate the overall probability of a TTV signal using Bayesian methods. Results: The observations are used to determine the photometric parameters and the physical properties of the GJ1214 system. Our results are in good agreement with published values. Individual times of mid-transit are measured with uncertainties as low as 10s, allowing us to reduce the uncertainty in the orbital period by a factor of two. Conclusions: A Bayesian analysis reveals that it is highly improbable that the observed transit times is explained by TTV, when compared with the simpler alternative of a linear ephemeris.Comment: Submitted to A&

High-precision photometry by telescope defocussing - VI. WASP-24, WASP-25 and WASP-26

The research leading to these results has received funding from the European Community's Seventh Framework Programme (FP7/2007-2013/) under grant agreement nos. 229517 and 268421. This publication was supported by grants NPRP 09-476-1-078 and NPRP X-019-1-006 from Qatar National Research Fund (a member of Qatar Foundation). TCH acknowledges financial support from the Korea Research Council for Fundamental Science and Technology (KRCF) through the Young Research Scientist Fellowship Programme and is supported by the KASI (Korea Astronomy and Space Science Institute) grant 2012-1-410-02/2013-9-400-00. SG, XW and XF acknowledge the support from NSFC under the grant no. 10873031. The research is supported by the ASTERISK project (ASTERoseismic Investigations with SONG and Kepler) funded by the European Research Council (grant agreement no. 267864). DR, YD, AE, FF (ARC), OW (FNRS research fellow) and J Surdej acknowledge support from the Communauté française de Belgique – Actions de recherche concertées – Académie Wallonie-Europe.We present time series photometric observations of 13 transits in the planetary systems WASP-24, WASP-25 and WASP-26. All three systems have orbital obliquity measurements, WASP-24 and WASP-26 have been observed with Spitzer, and WASP-25 was previously comparatively neglected. Our light curves were obtained using the telescope-defocussing method and have scatters of 0.5–1.2 mmag relative to their best-fitting geometric models. We use these data to measure the physical properties and orbital ephemerides of the systems to high precision, finding that our improved measurements are in good agreement with previous studies. High-resolution Lucky Imaging observations of all three targets show no evidence for faint stars close enough to contaminate our photometry. We confirm the eclipsing nature of the star closest to WASP-24 and present the detection of a detached eclipsing binary within 4.25 arcmin of WASP-26.Publisher PDFPeer reviewe

A Case of Problematic Diffusion

Sex determination techniques have diffused rapidly in India, and are being used to detect female fetuses and subsequently to abort them. This technology has spread rapidly because it imparts knowledge that is of great value within the Indian context, and because it fits in neatly with the modernization dynamic within India, which itself has enmeshed with traditional patriarchal institutions to oppress Indian women. More research needs to be done on ways to stem the adoption of problematic innovations.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/68396/2/10.1177_107554709401500301.pd

Characterizing Low-Mass Binaries From Observation of Long Time-scale Caustic-crossing Gravitational Microlensing Events

Despite astrophysical importance of binary star systems, detections are limited to those located in small ranges of separations, distances, and masses and thus it is necessary to use a variety of observational techniques for a complete view of stellar multiplicity across a broad range of physical parameters. In this paper, we report the detections and measurements of 2 binaries discovered from observations of microlensing events MOA-2011-BLG-090 and OGLE-2011-BLG-0417. Determinations of the binary masses are possible by simultaneously measuring the Einstein radius and the lens parallax. The measured masses of the binary components are 0.43 $M_{\odot}$ and 0.39 $M_{\odot}$ for MOA-2011-BLG-090 and 0.57 $M_{\odot}$ and 0.17 $M_{\odot}$ for OGLE-2011-BLG-0417 and thus both lens components of MOA-2011-BLG-090 and one component of OGLE-2011-BLG-0417 are M dwarfs, demonstrating the usefulness of microlensing in detecting binaries composed of low-mass components. From modeling of the light curves considering full Keplerian motion of the lens, we also measure the orbital parameters of the binaries. The blended light of OGLE-2011-BLG-0417 comes very likely from the lens itself, making it possible to check the microlensing orbital solution by follow-up radial-velocity observation. For both events, the caustic-crossing parts of the light curves, which are critical for determining the physical lens parameters, were resolved by high-cadence survey observations and thus it is expected that the number of microlensing binaries with measured physical parameters will increase in the future.Comment: 8 pages, 5 figures, 4 table

Gaia GraL: Gaia DR2 Gravitational Lens Systems. V. Doubly-imaged QSOs discovered from entropy and wavelets

The discovery of multiply-imaged gravitationally lensed QSOs is fundamental to many astronomical and cosmological studies. However, these objects are rare and challenging to discover due to requirements of high-angular resolution astrometric, multiwavelength photometric and spectroscopic data. This has limited the number of known systems to a few hundred objects. We aim to reduce the constraints on angular resolution and discover multiply-imaged QSO candidates by using new candidate selection principles based on unresolved photometric time-series and ground-based images from public surveys. We selected candidates for multiply-imaged QSOs based on low levels of entropy computed from Catalina unresolved photometric time-series or Euclidean similarity to known lenses in a space defined by the wavelet power spectra of Pan-STARSS DR2 or DECaLS DR7 images, combined with multiple {\it Gaia} DR2 sources or large astrometric errors and supervised and unsupervised learning methods. We then confirmed spectroscopically some candidates with the Palomar Hale, Keck-I, and ESO/NTT telescopes. Here we report the discovery and confirmation of seven doubly-imaged QSOs and one likely double quasar. This demonstrates the potential of combining space-astrometry, even if unresolved, with low spatial-resolution photometric time-series and/or low-spatial resolution multi-band imaging to discover multiply-imaged lensed QSOs

Candidate Glutamatergic Neurons in the Visual System of Drosophila

The visual system of Drosophila contains approximately 60,000 neurons that are organized in parallel, retinotopically arranged columns. A large number of these neurons have been characterized in great anatomical detail. However, studies providing direct evidence for synaptic signaling and the neurotransmitter used by individual neurons are relatively sparse. Here we present a first layout of neurons in the Drosophila visual system that likely release glutamate as their major neurotransmitter. We identified 33 different types of neurons of the lamina, medulla, lobula and lobula plate. Based on the previous Golgi-staining analysis, the identified neurons are further classified into 16 major subgroups representing lamina monopolar (L), transmedullary (Tm), transmedullary Y (TmY), Y, medulla intrinsic (Mi, Mt, Pm, Dm, Mi Am), bushy T (T), translobula plate (Tlp), lobula intrinsic (Lcn, Lt, Li), lobula plate tangential (LPTCs) and lobula plate intrinsic (LPi) cell types. In addition, we found 11 cell types that were not described by the previous Golgi analysis. This classification of candidate glutamatergic neurons fosters the future neurogenetic dissection of information processing in circuits of the fly visual system

A Model-based Completeness Proof of Extended Narrowing And Resolution

We give a proof of refutational completeness for Extended Narrowing And Resolution (ENAR), a calculus introduced by Dowek, Hardin and Kirchner in the context of Theorem Proving Modulo. ENAR integrates narrowing with respect to a set of rewrite rules on propositions into automated first-order theorem proving by resolution. Our proof allows to impose ordering restriction- s on ENAR and provides general redundancy criteria, which are crucial for finding nontrivial proofs. On the other hand, it requires confluence and termination of the rewrite system, and in addition the existence of a well-founded ordering on propositions that is compatible with rewriting, compatible with ground inferences, total on ground clauses, and has some additional technical properties. Such orderings exist for hierarchical definitions of predicates. As an exampe we provide such an ordering for a fragment of set theory