SearcharxivSearch

arXiv subjects

James Davenport

Publications and source records attributed to James Davenport.

14 recordsLinked to original sources

Scalable Bayesian Additive Models for Stellar Flare Detection via Amortized Gaussian Process Inference and Hidden Markov Models

Gaussian Processes (GPs) are a powerful tool for Bayesian time-series modeling, yet their cubic computational cost remains a severe barrier for application to long, high-cadence datasets in astronomy. While specialized scalable solvers like Celerite elegantly reduce this scaling to linear time, repeatedly evaluating the exact likelihood during iterative Bayesian sampling is a bottleneck for developing more complex models, like hierarchical or additive models in which Celerite is only one component. To make this inference computationally tractable, we introduce a generative surrogate framework. By utilizing a Variational Autoencoder (VAE) to learn a compressed representation of the Celerite prior, we map highly correlated stochastic dependencies into a low-dimensional, isotropic manifold. This transition completely bypasses exact covariance operations, shifting the computational burden to a rapid neural network forward pass. Through an extensive simulation study, we show that the generative surrogate accurately reproduces the structural fidelity of exact physical kernels like Celerite. Finally, we demonstrate embedding our VAE approximation into an additive model that combines Celerite and a hidden Markov model (HMM) for stellar flare detection in time series data of stars. We evaluate the joint VAE+HMM architecture against the exact Celerite+HMM framework on empirical astrophysical time series and demonstrate that the proposed methodology achieves significant reductions in computational time, enabling the rigorous, large-scale characterization of stellar flares across massive data archives.

stat.ML

Detecting stellar flares in photometric data using hidden Markov models

We present a hidden Markov model (HMM) for discovering stellar flares in light curve data of stars. HMMs provide a framework to model time series data that are not stationary; they allow for systems to be in different states at different times and consider the probabilities that describe the switching dynamics between states. In the context of stellar flares discovery, we exploit the HMM framework by allowing the light curve of a star to be in one of three states at any given time step: Quiet, Firing, or Decaying. This three state HMM formulation is designed to enable straightforward identification of stellar flares, their duration, and associated uncertainty. This is crucial for estimating the flare's energy, and is useful for studies of stellar flare energy distributions. We combine our HMM with a celerite model that accounts for quasi periodic stellar oscillations. Through an injection recovery experiment, we demonstrate and evaluate the ability of our method to detect and characterize flares in stellar time series. We also show that the proposed HMM flags fainter and lower energy flares more easily than traditional sigma clipping methods. Lastly, we visually demonstrate that simultaneously conducting detrending and flare detection can mitigate biased estimations arising in multistage modelling approaches. Thus, this method paves a new way to calculating stellar flare energy. We conclude with an example application to one star observed by TESS, showing how the HMM compares with sigma clipping when using real data.

astro-ph.SR

The Breakthrough Listen Search for Intelligent Life: Detection and Characterization of Anomalous Transits in Kepler Lightcurves

Never before has the detection and characterization of exoplanets via transit photometry been as promising and feasible as it is now, due to the increasing breadth and sensitivity of time domain optical surveys. Past works have made use of phase-folded stellar lightcurves in order to study the properties of exoplanet transits, because this provides the highest signal that a transit is present at a given period and ephemeris. Characterizing transits on an individual, rather than phase-folded, basis is much more challenging due to the often low signal-to-noise ratio (SNR) of lightcurves, missing data, and low sampling rates. However, by phase-folding a lightcurve we implicitly assume that all transits have the same expected properties, and lose all information about the nature and variability of the transits. We miss the natural variability in transit shapes, or even the deliberate or inadvertent modification of transit signals by an extraterrestrial civilization (for example, via laser emission or orbiting megastructures). In this work, we develop an algorithm to search stellar lightcurves for individual anomalous (in timing or depth) transits, and we report the results of that search for 218 confirmed transiting exoplanet systems from Kepler.

astro-ph.EP

The Influence of Domain-Based Preprocessing on Subject-Specific Clustering

The sudden change of moving the majority of teaching online at Universities due to the global Covid-19 pandemic has caused an increased amount of workload for academics. One of the contributing factors is answering a high volume of queries coming from students. As these queries are not limited to the synchronous time frame of a lecture, there is a high chance of many of them being related or even equivalent. One way to deal with this problem is to cluster these questions depending on their topic. In our previous work, we aimed to find an improved method of clustering that would give us a high efficiency, using a recurring LDA model. Our data set contained questions posted online from a Computer Science course at the University of Bath. A significant number of these questions contained code excerpts, which we found caused a problem in clustering, as certain terms were being considered as common words in the English language and not being recognised as specific code terms. To address this, we implemented tagging of these technical terms using Python, as part of preprocessing the data set. In this paper, we explore the realms of tagging data sets, focusing on identifying code excerpts and providing empirical results in order to justify our reasoning.

cs.LG

Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper

This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocates (i) improved teaching of formal methods; (ii) systematic highlighting of formal methods within existing, `classical' computer science courses; and (iii) the inclusion of a compulsory formal methods course in computer science and software engineering curricula. These recommendations are based on the observations that (a) formal methods are an essential and cost-effective means to increase software quality; however (b) computer science and software engineering programmes typically fail to provide adequate training in formal methods; and thus (c) there is a lack of computer science graduates who are qualified to apply formal methods in industry. This white paper is the result of a collective effort by authors and participants of the 1st International Workshop on "Formal Methods, Fun for Everybody" which was held in Bergen, Norway, 2-3 December 2019. As such, it represents insights based on learning and teaching computer science and software engineering (with or without formal methods) at various universities across Europe.

cs.SE

Unification of HDP and LDA Models for Optimal Topic Clustering of Subject Specific Question Banks

There has been an increasingly popular trend in Universities for curriculum transformation to make teaching more interactive and suitable for online courses. An increase in the popularity of online courses would result in an increase in the number of course-related queries for academics. This, coupled with the fact that if lectures were delivered in a video on demand format, there would be no fixed time where the majority of students could ask questions. When questions are asked in a lecture there is a negligible chance of having similar questions repeatedly, but asynchronously this is more likely. In order to reduce the time spent on answering each individual question, clustering them is an ideal choice. There are different unsupervised models fit for text clustering, of which the Latent Dirichlet Allocation model is the most commonly used. We use the Hierarchical Dirichlet Process to determine an optimal topic number input for our LDA model runs. Due to the probabilistic nature of these topic models, the outputs of them vary for different runs. The general trend we found is that not all the topics were being used for clustering on the first run of the LDA model, which results in a less effective clustering. To tackle probabilistic output, we recursively use the LDA model on the effective topics being used until we obtain an efficiency ratio of 1. Through our experimental results we also establish a reasoning on how Zeno's paradox is avoided.

cs.IR

New Opportunities for the Formal Proof of Computational Real Geometry?

The purpose of this paper is to explore the question "to what extent could we produce formal, machine-verifiable, proofs in real algebraic geometry?" The question has been asked before but as yet the leading algorithms for answering such questions have not been formalised. We present a thesis that a new algorithm for ascertaining satisfiability of formulae over the reals via Cylindrical Algebraic Coverings [Ábrahám, Davenport, England, Kremer, \emph{Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driver Search Using Cylindrical Algebraic Coverings}, 2020] might provide trace and outputs that allow the results to be more susceptible to machine verification than those of competing algorithms.

cs.SC

Machine-Assisted Proofs (ICM 2018 Panel)

This submission to arXiv is the report of a panel session at the 2018 International Congress of Mathematicians (Rio de Janeiro, August). It is intended that, while v1 is that report, this stays a living document containing the panelists', and others', reflections on the topic.

math.HO

Modeling Repeated M-dwarf Flaring at an Earth-like Planet in the Habitable Zone: I. Atmospheric Effects for an Unmagnetized Planet

Understanding the impact of active M-dwarf stars on the atmospheric equilibrium and surface conditions of a habitable zone Earth-like planet is key to assessing M dwarf planet habitability. Previous modeling of the impact of electromagnetic (EM) radiation and protons from a single large flare on an Earth-like atmosphere indicated that significant and long-term reductions in ozone were possible, but the atmosphere recovered. These stars more realistically exhibit frequent flaring with a power-law distribution of energies. Here we use a coupled 1D photochemical and radiative-convective model to investigate the effects of repeated flaring on the photochemistry and surface UV of an Earth-like planet unprotected by an intrinsic magnetic field. We use time-resolved flare spectra obtained for the dM3 star AD Leo, combined with flare occurrence frequencies and total energies (typically 10$^{30.5}$ to 10$^{34}$ erg) from the 4-year Kepler light curve for the dM4 flare star GJ1243. Our model results show repeated EM-only flares have little effect on the ozone column depth, but that multiple proton events can rapidly destroy the ozone column. Combining the realistic flare and proton event frequencies with nominal CME & SEP geometries, we find the ozone column for an Earth-like planet can be depleted by 94% in 10 years, with a downward trend that makes recovery unlikely and suggests further destruction. For more extreme stellar inputs O3 depletion allows a constant 0.1-1 W m$^{-2}$ of UV-C at the planet's surface, which is likely detrimental to organic complexity. Our results suggest that active M dwarf hosts may comprehensively destroy ozone shields and subject the surface of magnetically-unprotected Earth-like planets to long-term radiation that can damage complex organic structures. However, this does not preclude habitability, as a safe haven for life could still exist below an ocean surface.

astro-ph.EP

Science-Driven Optimization of the LSST Observing Strategy

The Large Synoptic Survey Telescope is designed to provide an unprecedented optical imaging dataset that will support investigations of our Solar System, Galaxy and Universe, across half the sky and over ten years of repeated observation. However, exactly how the LSST observations will be taken (the observing strategy or "cadence") is not yet finalized. In this dynamically-evolving community white paper, we explore how the detailed performance of the anticipated science investigations is expected to depend on small changes to the LSST observing strategy. Using realistic simulations of the LSST schedule and observation properties, we design and compute diagnostic metrics and Figures of Merit that provide quantitative evaluations of different observing strategies, analyzing their impact on a wide range of proposed science projects. This is work in progress: we are using this white paper to communicate to each other the relative merits of the observing strategy choices that could be made, in an effort to maximize the scientific value of the survey. The investigation of some science cases leads to suggestions for new strategies that could be simulated and potentially adopted. Notably, we find motivation for exploring departures from a spatially uniform annual tiling of the sky: focusing instead on different parts of the survey area in different years in a "rolling cadence" is likely to have significant benefits for a number of time domain and moving object astronomy projects. The communal assembly of a suite of quantified and homogeneously coded metrics is the vital first step towards an automated, systematic, science-based assessment of any given cadence simulation, that will enable the scheduling of the LSST to be as well-informed as possible.

astro-ph.IM

Orbiting Clouds of Material at the Keplerian Co-Rotation Radius of Rapidly Rotating Low Mass WTTs in Upper Sco

Using K2 data, we have identified 23 very low mass members of the $ρ$ Oph and Upper Scorpius star-forming region as having periodic photometric variability not easily explained by well-established physical mechanisms such as star spots, eclipsing binaries, or pulsation. All of these unusual stars are mid-to-late M dwarfs without evidence of active accretion, and with photometric periods generally $<$1 day. Often the unusual light curve signature takes the form of narrow flux dips; when we also have rotation periods from star spots, the two periods agree, suggesting that the flux dips are due to material orbiting the star at the Keplerian co-rotation radius. We sometimes see "state-changes" in the phased light curve morphologies where $\sim$25% of the waveform changes shape on timescales less than a day; often, the "state-change" takes place immediately after a strong flare. For the group of stars with these sudden light curve morphology shifts, we attribute their flux dips as most probably arising from eclipses of warm coronal gas clouds, analogous to the sling-shot prominences postulated to explain transient H$α$ absorption features in AB Doradus itself and other rapidly rotating late type stars. For another group of stars with somewhat longer periods, we find the short duration flux dips to be highly variable on both short and long timescales, with generally asymmetric flux dip profiles. We believe that these flux dips are due to particulate clouds possibly associated with a close-in planet or resulting from a recent collisional event.

astro-ph.SR

Characterizing the Habitable Zones of Exoplanetary Systems with a Large Ultraviolet/Visible/Near-IR Space Observatory

Understanding the surface and atmospheric conditions of Earth-size, rocky planets in the habitable zones (HZs) of low-mass stars is currently one of the greatest astronomical endeavors. Knowledge of the planetary effective surface temperature alone is insufficient to accurately interpret biosignature gases when they are observed in the coming decades. The UV stellar spectrum drives and regulates the upper atmospheric heating and chemistry on Earth-like planets, is critical to the definition and interpretation of biosignature gases, and may even produce false-positives in our search for biologic activity. This white paper briefly describes the scientific motivation for panchromatic observations of exoplanetary systems as a whole (star and planet), argues that a future NASA UV/Vis/near-IR space observatory is well-suited to carry out this work, and describes technology development goals that can be achieved in the next decade to support the development of a UV/Vis/near-IR flagship mission in the 2020s.

astro-ph.SR

On Kahan's Rules for Determining Branch Cuts

In computer algebra there are different ways of approaching the mathematical concept of functions, one of which is by defining them as solutions of differential equations. We compare different such approaches and discuss the occurring problems. The main focus is on the question of determining possible branch cuts. We explore the extent to which the treatment of branch cuts can be rendered (more) algorithmic, by adapting Kahan's rules to the differential equation setting.

cs.SC

Computational approach to finite size and shape effects in iron nanomagnets

We develop and validate a computational approach to nanomagnets. It is built on the spin wave approximation to a Heisenberg ferromagnet whose parameters can be calculated from a first principles theory (e.g. density functional theory). The method can be used for high throughput analysis of a variety of nanomagnetic materials. We compute the dependence of the magnetization of an iron nanomagnet on temperature, size and shape. The approach is applied to nanomagnets in the range of 432 atoms to 59 million atoms, a size which is several orders of magnitude beyond the scalability of density functional theory.

cond-mat.mtrl-sci