Study of variable stars in the MOA data base: long-period red variables in the Large Magellanic Cloud

One hundred and forty six long-period red variable stars in the Large Magellanic Cloud (LMC) from the three year MOA project database were analysed. A careful periodic analysis was performed on these stars and a catalogue of their magnitudes, colours, periods and amplitudes is presented. We convert our blue and red magnitudes to $K$ band values using 19 oxygen-rich stars. A group of red short-period stars separated from the Mira sequence has been found on a (log P, K) diagram. They are located at the short period side of the Mira sequence consistent with the work of Wood and Sebo (1996). There are two interpretations for such stars; a difference in pulsation mode or a difference in chemical composition. We investigated the properties of these stars together with their colour, amplitude and periodicity. We conclude that they have small amplitudes and less regular variability. They are likely to be higher mode pulsators. A large scatter has been also found on the long period side of the (log P, K) diagram. This is possibly a systematic spread given that the blue band of our photometric system covers both standard B and V bands and affects carbon-rich stars.Comment: 19 pages, 19 figures, accepted for publication in MNRA

Parametricity and Dependent Types

Reynolds' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. We (in second order predicate logic) about inhabitants of the type. We obtain a similar result for a single lambda calculus (a pure type system), in which terms, types and their relations are expressed. Working within a single system dispenses with the need for an interpretation layer, allowing for an unusually simple presentation. While the unification puts some constraints on the type system (which we spell out), the result applies to many interesting cases, including dependently-typed ones

Microlensing optical depth towards the Galactic bulge from MOA observations during 2000 with Difference Image Analysis

We analyze the data of the gravitational microlensing survey carried out by by the MOA group during 2000 towards the Galactic Bulge (GB). Our observations are designed to detect efficiently high magnification events with faint source stars and short timescale events, by increasing the the sampling rate up to 6 times per night and using Difference Image Analysis (DIA). We detect 28 microlensing candidates in 12 GB fields corresponding to 16 deg^2. We use Monte Carlo simulations to estimate our microlensing event detection efficiency, where we construct the I-band extinction map of our GB fields in order to find dereddened magnitudes. We find a systematic bias and large uncertainty in the measured value of the timescale $t_{\rm Eout}$ in our simulations. They are associated with blending and unresolved sources, and are allowed for in our measurements. We compute an optical depth tau = 2.59_{-0.64}^{+0.84} \times 10^{-6} towards the GB for events with timescales 0.3<t_E<200 days. We consider disk-disk lensing, and obtain an optical depth tau_{bulge} = 3.36_{-0.81}^{+1.11} \times 10^{-6}[0.77/(1-f_{disk})] for the bulge component assuming a 23% stellar contribution from disk stars. These observed optical depths are consistent with previous measurements by the MACHO and OGLE groups, and still higher than those predicted by existing Galactic models. We present the timescale distribution of the observed events, and find there are no significant short events of a few days, in spite of our high detection efficiency for short timescale events down to t_E = 0.3 days. We find that half of all our detected events have high magnification (>10). These events are useful for studies of extra-solar planets.Comment: 65 pages and 30 figures, accepted for publication in ApJ. A systematic bias and uncertainty in the optical depth measurement has been quantified by simulation

A Cauchy-Dirac delta function

The Dirac delta function has solid roots in 19th century work in Fourier analysis and singular integrals by Cauchy and others, anticipating Dirac's discovery by over a century, and illuminating the nature of Cauchy's infinitesimals and his infinitesimal definition of delta.Comment: 24 pages, 2 figures; Foundations of Science, 201

Study by MOA of extra-solar planets in gravitational microlensing events of high magnification

A search for extra-solar planets was carried out in three gravitational microlensing events of high magnification, MACHO 98-BLG-35, MACHO 99-LMC-2, and OGLE 00-BUL-12. Photometry was derived from observational images by the MOA and OGLE groups using an image subtraction technique. For MACHO 98-BLG-35, additional photometry derived from the MPS and PLANET groups was included. Planetary modeling of the three events was carried out in a super-cluster computing environment. The estimated probability for explaining the data on MACHO 98-BLG-35 without a planet is <1%. The best planetary model has a planet of mass ~(0.4-1.5) X 10^-5 M_Earth at a projected radius of either ~1.5 or ~2.3 AU. We show how multi-planet models can be applied to the data. We calculated exclusion regions for the three events and found that Jupiter-mass planets can be excluded with projected radii from as wide as about 30 AU to as close as around 0.5 AU for MACHO 98-BLG-35 and OGLE 00-BUL-12. For MACHO 99-LMC-2, the exclusion region extends out to around 10 AU and constitutes the first limit placed on a planetary companion to an extragalactic star. We derive a particularly high peak magnification of ~160 for OGLE 00-BUL-12. We discuss the detectability of planets with masses as low as Mercury in this and similar events.Comment: 14 pages, 16 embedded postscript figures, 3 PNG figures, revised version accepted by MNRA