Variation of the Diameter of the Sun as Measured by the Solar Disk Sextant (SDS)

The balloon-borne Solar Disk Sextant (SDS) experiment has measured the angular size of the Sun on seven occasions spanning the years 1992 to 2011. The solar half-diameter -- observed in a 100-nm wide passband centred at 615 nm -- is found to vary over that period by up to 200 mas, while the typical estimated uncertainty of each measure is 20 mas. The diameter variation is not in phase with the solar activity cycle; thus, the measured diameter variation cannot be explained as an observational artefact of surface activity. Other possible instrument-related explanations for the observed variation are considered but found unlikely, leading us to conclude that the variation is real. The SDS is described here in detail, as is the complete analysis procedure necessary to calibrate the instrument and allow comparison of diameter measures across decades.Comment: 41 pages; appendix and 2 figures added plus some changes in text based on referee's comments; to appear in MNRA

Confirmation of the planet around HD 95086 by direct imaging

VLT/NaCo angular differential imaging at L' (3.8 microns) revealed a probable giant planet comoving with the young and early-type HD 95086 also known to harbor an extended debris disk. The discovery was based on the proper motion analysis of two datasets spanning 15 months. However, the second dataset suffered from bad atmospheric conditions, which limited the significance of the redetection at the 3 sigma level. In this Letter, we report new VLT/NaCo observations of HD 95086 obtained on 2013 June 26-27 at L' to recover the planet candidate. We unambiguously redetect the companion HD 95086 b with multiple independent pipelines at a signal-to-noise ratio greater than or equal to 5. Combined with previously reported measurements, our astrometry decisively shows that the planet is comoving with HD 95086 and inconsistent with a background object. With a revised mass of 5 pm 2 Jupiter masses, estimated from its L' photometry and "hot-start" models at 17 pm 4 Myr, HD 95086 b becomes a new benchmark for further physical and orbital characterization of young giant planets.Comment: accepted for publication to AP

Central Proper-Motion Kinematics of NGC 6752

We present proper motions derived from WFPC2 imaging for stars in the core of the peculiar globular cluster NGC 6752. The central velocity dispersion in both components of the proper motion is 12 km/s. We discuss the implications of this result as well as the intrinsic difficulties in making such measurements. We also give an alternative correction for the 34-row problem in the WFPC2 CCDs.Comment: 25 pages, 7 figures, 1 table included. Accepted for publication in A

Logic Programming and Logarithmic Space

We present an algebraic view on logic programming, related to proof theory and more specifically linear logic and geometry of interaction. Within this construction, a characterization of logspace (deterministic and non-deterministic) computation is given via a synctactic restriction, using an encoding of words that derives from proof theory. We show that the acceptance of a word by an observation (the counterpart of a program in the encoding) can be decided within logarithmic space, by reducing this problem to the acyclicity of a graph. We show moreover that observations are as expressive as two-ways multi-heads finite automata, a kind of pointer machines that is a standard model of logarithmic space computation