The POINT-AGAPE survey II: An Unrestricted Search for Microlensing Events towards M31

An automated search is carried out for microlensing events using a catalogue of 44554 variable superpixel lightcurves derived from our three-year monitoring program of M31. Each step of our candidate selection is objective and reproducible by a computer. Our search is unrestricted, in the sense that it has no explicit timescale cut. So, it must overcome the awkward problem of distinguishing long-timescale microlensing events from long-period stellar variables. The basis of the selection algorithm is the fitting of the superpixel lightcurves to two different theoretical models, using variable star and blended microlensing templates. Only if microlensing is preferred is an event retained as a possible candidate. Further cuts are made with regard to (i) sampling, (ii) goodness of fit of the peak to a Paczynski curve, (iii) consistency of the microlensing hypothesis with the absence of a resolved source, (iv) achromaticity, (v) position in the colour-magnitude diagram and (vi) signal-to-noise ratio. Our results are reported in terms of first-level candidates, which are the most trustworthy, and second-level candidates, which are possible microlensing but have lower signal-to-noise and are more questionable. The pipeline leaves just 3 first-level candidates, all of which have very short full-width half-maximum timescale (<5 days) and 3 second-level candidates, which have timescales of 31, 36 and 51 days respectively. We also show 16 third-level lightcurves, as an illustration of the events that just fail the threshold for designation as microlensing candidates. They are almost certainly mainly variable stars. Two of the 3 first-level candidates correspond to known events (PA 00-S3 and PA 00-S4) already reported by the POINT-AGAPE project. The remaining first-level candidate is new.Comment: 22 pages, 18 figures, MNRAS, to appea

The principle of a virtual multi-channel lock-in amplifier and its application to magnetoelectric measurement system

This letter presents principles and applications of a virtual multi-channel lock-in amplifier that is a simple but effective method to recover small ac signal from noise with high presison. The fundamentals of this method are based on calculation of cross-correlation function. Via this method, we successfully built up a magnetoelectric measurement system which can perform precise and versatile measurements without any analog lock-in amplifier. Using the virtual multi-channel lock-in amplifier, the output of the magnetoelectric measurement system is extensively rich in magnetoelectric coupling behaviors, including coupling strength and phase lag, under various dc bias magnetic field and ac magnetic field.Comment: 11 pages, 6 figures. To be submitted to Rev. Sci. Instr

Entanglement production and decoherence-free subspace of two single-mode cavities embedded in a common environment

A system consisting of two identical single-mode cavities coupled to a common environment is investigated within the framework of algebraic dynamics. Based on the left and right representations of the Heisenberg-Weyl algebra, the algebraic structure of the master equation is explored and exact analytical solutions of this system are obtained. It is shown that for such a system, the environment can produce entanglement in contrast to its commonly believed role of destroying entanglement. In addition, the collective zero-mode eigen solutions of the system are found to be free of decoherence against the dissipation of the environment. These decoherence-free states may be useful in quantum information and quantum computation.Comment: 10 pages, 7 figures, Revtex

Should we screen for coronary artery disease in asymptomatic chronic dialysis patients?

The hemodialysis population is characterized by a high prevalence of ‘asymptomatic’ coronary artery disease (CAD), which should be interpreted differently from asymptomatic disease in the general population. A hemodynamically significant stenosis may not become clinically apparent owing to impaired exercise tolerance and autonomic neuropathy. The continuous presence of silent ischemia may cause heart failure, arrhythmias, and sudden death. Whether revascularization of an asymptomatic dialysis patient improves outcome remains a moot point, although several observational studies and one small RCT suggest a benefit. It can therefore be defended to screen asymptomatic dialysis patients for CAD. A number of noninvasive screening tests are available, but none has proved equally practical and reliable in the dialysis population as in the general population. Myocardial perfusion scintigraphy (MPS) before and after a pharmacological stress such as dipyridamole can reveal both ischemia and myocardial scarring. When compared with coronary angiography, low sensitivities were reported and attributed to impaired vasodilation to dipyridamole in dialysis patients. A more likely explanation is that not every anatomical stenosis will lead to impaired coronary blood flow on MPS. Numerous studies have shown an incremental prognostic value of dipyridamole-MPS over clinical data for prediction of adverse cardiac events, in some studies even over coronary angiography. Pending the availability of high-quality evidence, in our opinion asymptomatic dialysis patients could undergo dipyridamole-MPS, followed by coronary angiography in case of an abnormal scan. This combined physiological and anatomical evaluation of the coronary circulation allows us to determine which coronary stenosis is clinically relevant and therefore should be revascularized

Byzantine Gathering in Networks

This paper investigates an open problem introduced in [14]. Two or more mobile agents start from different nodes of a network and have to accomplish the task of gathering which consists in getting all together at the same node at the same time. An adversary chooses the initial nodes of the agents and assigns a different positive integer (called label) to each of them. Initially, each agent knows its label but does not know the labels of the other agents or their positions relative to its own. Agents move in synchronous rounds and can communicate with each other only when located at the same node. Up to f of the agents are Byzantine. A Byzantine agent can choose an arbitrary port when it moves, can convey arbitrary information to other agents and can change its label in every round, in particular by forging the label of another agent or by creating a completely new one. What is the minimum number M of good agents that guarantees deterministic gathering of all of them, with termination? We provide exact answers to this open problem by considering the case when the agents initially know the size of the network and the case when they do not. In the former case, we prove M=f+1 while in the latter, we prove M=f+2. More precisely, for networks of known size, we design a deterministic algorithm gathering all good agents in any network provided that the number of good agents is at least f+1. For networks of unknown size, we also design a deterministic algorithm ensuring the gathering of all good agents in any network but provided that the number of good agents is at least f+2. Both of our algorithms are optimal in terms of required number of good agents, as each of them perfectly matches the respective lower bound on M shown in [14], which is of f+1 when the size of the network is known and of f+2 when it is unknown

Classical novae from the POINT-AGAPE microlensing survey of M31 -- I. The nova catalogue

The POINT-AGAPE survey is an optical search for gravitational microlensing events towards the Andromeda Galaxy (M31). As well as microlensing, the survey is sensitive to many different classes of variable stars and transients. Here we describe the automated detection and selection pipeline used to identify M31 classical novae (CNe) and we present the resulting catalogue of 20 CN candidates observed over three seasons. CNe are observed both in the bulge region as well as over a wide area of the M31 disk. Nine of the CNe are caught during the final rise phase and all are well sampled in at least two colours. The excellent light-curve coverage has allowed us to detect and classify CNe over a wide range of speed class, from very fast to very slow. Among the light-curves is a moderately fast CN exhibiting entry into a deep transition minimum, followed by its final decline. We have also observed in detail a very slow CN which faded by only 0.01 mag day$^{-1}$ over a 150 day period. We detect other interesting variable objects, including one of the longest period and most luminous Mira variables. The CN catalogue constitutes a uniquely well-sampled and objectively-selected data set with which to study the statistical properties of classical novae in M31, such as the global nova rate, the reliability of novae as standard-candle distance indicators and the dependence of the nova population on stellar environment. The findings of this statistical study will be reported in a follow-up paper.Comment: 21 pages, 13 figures, re-submitted for publication in MNRAS, typos corrected, references updated, figures 5-9 made cleare

A model of the Universe including Dark Energy accounted for by both a Quintessence Field and a (negative) Cosmological Constant

In this work we present a model of the universe in which dark energy is modelled explicitely with both a dynamical quintessence field and a cosmological constant. Our results confirm the possibility of a future collapsing universe (for a given region of the parameter space), which is necessary for a consistent formulation of string theory and quantum field theory. We have also reproduced the measurements of modulus distance from supernovae with good accuracy.Comment: 11 pages, 4 figures, only the results for the single exponential potential are preserved. One author added. Some changes in the reference section. Submitted to Physical Review

Hybrid Equation/Agent-Based Model of Ischemia-Induced Hyperemia and Pressure Ulcer Formation Predicts Greater Propensity to Ulcerate in Subjects with Spinal Cord Injury

Pressure ulcers are costly and life-threatening complications for people with spinal cord injury (SCI). People with SCI also exhibit differential blood flow properties in non-ulcerated skin. We hypothesized that a computer simulation of the pressure ulcer formation process, informed by data regarding skin blood flow and reactive hyperemia in response to pressure, could provide insights into the pathogenesis and effective treatment of post-SCI pressure ulcers. Agent-Based Models (ABM) are useful in settings such as pressure ulcers, in which spatial realism is important. Ordinary Differential Equation-based (ODE) models are useful when modeling physiological phenomena such as reactive hyperemia. Accordingly, we constructed a hybrid model that combines ODEs related to blood flow along with an ABM of skin injury, inflammation, and ulcer formation. The relationship between pressure and the course of ulcer formation, as well as several other important characteristic patterns of pressure ulcer formation, was demonstrated in this model. The ODE portion of this model was calibrated to data related to blood flow following experimental pressure responses in non-injured human subjects or to data from people with SCI. This model predicted a higher propensity to form ulcers in response to pressure in people with SCI vs. non-injured control subjects, and thus may serve as novel diagnostic platform for post-SCI ulcer formation. © 2013 Solovyev et al

Several types of types in programming languages

Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper will present several remarks (some historical, some of more conceptual character) on the subject, as a basis for a further investigation. The thesis we will argue is that there are three different characters at play in programming languages, all of them now called types: the technical concept used in language design to guide implementation; the general abstraction mechanism used as a modelling tool; the classifying tool inherited from mathematical logic. We will suggest three possible dates ad quem for their presence in the programming language literature, suggesting that the emergence of the concept of type in computer science is relatively independent from the logical tradition, until the Curry-Howard isomorphism will make an explicit bridge between them.Comment: History and Philosophy of Computing, HAPOC 2015. To appear in LNC