arXiv ScienceSearch

arXiv subjects

Christopher Watson

Publications and source records attributed to Christopher Watson.

At least 19 recordsLinked to original sources

Let it Cook: Learning to Wait in Sequential Decision Making

In sequential decision making, an agent typically observes its environment and acts at every timestep. However, such active participation may not always be necessary; tasks such as brewing coffee include periods that are served equally well by letting the environment evolve without constant monitoring and control. During such periods, the agent could simply wait to conserve its resources, or redirect its attention to another task. We capitalize on these opportunities by training a "waiting policy" that decides where and how long to wait. This involves forgoing sensing to commit to a wait action, representing a deliberate pause for a set number of timesteps. We formalize "learning to wait" as minimizing the frequency of sensing and decision making without sacrificing task performance (e.g., the total amount of time to complete a task). To train a waiting policy, we propose an approach that employs reinforcement learning with lexicographically ordered objectives. In experiments across 4 discrete-state household tasks and 3 continuous-state environments, we show that our approach successfully learns waiting behaviors, and can adapt pre-trained policies to wait where appropriate. While different tasks permit different amounts of waiting without sacrificing task performance, our approach consistently finds solutions with significant waiting, sometimes waiting for over 50 percent of the task duration.

cs.LG

Towards understanding stellar variability at the sub m/s level: granulation-induced variability across the optical spectrum

Detecting the radial velocity signal of Earth-mass exoplanets requires the characterisation and removal of granulation-induced radial velocity variability from spectroscopic observations. By coupling three-dimensional (3D) hydrodynamic (HD) simulations to a radiative transfer code, we can isolate and study the effect of granulation on stellar lines. In this study we isolated the impact of granulation on spectral line shapes and shifts for the largest and most diverse synthetic spectral line sample to date. Our aims were twofold. First, we quantified how granulation affects the temporal evolution of shapes and shifts of 72 unblended spectral lines in two wavelength regions: 5500-5600 {\AA} and 6100-6200 {\AA}, from disc centre to the stellar limb. Second, we investigated if spectral lines behave coherently in their line shape variability. We find that weak lines show the largest radial-velocity variability due to granulation, up to 40 m/s at disc centre and 50 m/s at the stellar limb. On the other hand, strong lines exhibit larger variability in equivalent width than weak lines across the stellar disc. In addition, the equivalent width and line depth of a spectral line are strongly linearly correlated with its radial velocity. While granulation affects all three of these quantities, planetary Doppler shifts only affect radial velocities, opening the door to new granulation-mitigation methods. Lastly, we find that the radial velocity and equivalent width of most spectral lines in our sample evolve coherently in time, with the Fe I and Ca I lines behaving the most similarly. Due to the coherency, line blends will not significantly affect the temporal behaviour of RV and line shape, as induced by granulation. Besides, the coherency between spectral lines offer the opportunity to create disc-integrated spectra of many lines simultaneously, which will be explored in future work.

astro-ph.SR

NGTS-39 b: A 58 d transiting warm Jupiter in an eccentric orbit

We report the discovery and characterisation of NGTS-39 b (TIC 453147896 b), a warm Jupiter transiting a Sun-like star on a 58.2 day, eccentric (e = 0.386 +/- 0.019) orbit. NGTS-39 b was first identified from a TESS single-transit event, and subsequently confirmed with NGTS photometry and radial-velocity measurements from CORALIE and HARPS. The host star is a bright (Tmag = 11.02) F9 dwarf with an effective temperature of Teff = 6053 +67/-30 K. NGTS-39 b is a Jupiter-sized gas giant with a radius of 1.088 +/- 0.012 RJ and a mass of 1.467 +/- 0.081 MJ. Its equilibrium temperature is 519 +6/-5 K, placing it between short-period hot Jupiters and cold, Jupiter-like giants. The high orbital eccentricity and intermediate equilibrium temperature of NGTS-39 b make it a valuable test case for formation and migration models, particularly in the poorly sampled regime of long-period gas giants. The RV data show a linear trend of gamma dot = -17.75 m s^-1 yr^-1, which indicates the presence of an outer companion. The discovery of NGTS-39 b contributes to the small but growing population of transiting warm Jupiters with P > 50 days orbiting bright stars.

astro-ph.EP

TiPToP: A Modular Open-Vocabulary Robot Manipulation System That Plans

We present TiPToP, a modular manipulation system that integrates pretrained foundation models with a GPU-accelerated Task and Motion Planner to solve tasks directly from RGB images and natural language. TiPToP composes perception, planning, and execution modules and requires no robot training data. It can be deployed on a standard DROID setup in under an hour and adapted to new embodiments with minimal effort. We evaluate TiPToP against $\pi_{0.5}\text{-DROID}$, a state-of-the-art VLA fine-tuned on 350 hours of demonstrations, across two real-world DROID setups (one operated by an external team) and simulation, where TiPToP attains a higher average success rate and faster average completion time. We also evaluate on the MolmoSpaces benchmark, where TiPToP ranks first overall on pick and pick-and-place tasks among methods not trained on in-distribution data. We further show that TiPToP's modularity enables us to trace failures to specific components, revealing where to target improvements. We release TiPToP open-source to serve as a reproducible baseline and to enable further research on modular manipulation systems. Project website and code: https://tiptop-robot.github.io

cs.RO

Synthetic disk-integrated absorption lines isolating stellar granulation for high-precision RV studies

We present a novel method for constructing high-accuracy, time-varying disk-integrated stellar absorption line profiles that isolate the effects of granulation alone. This framework provides an effectively unlimited supply of physically consistent training data, offering a unique opportunity to study granulation-driven velocity variability with no contamination from other stellar processes or instrumental systematics. Our interpolation scheme enables accurate profile generation at arbitrary limb angles and successfully reproduces observed disk integrated solar bisector shapes from IAG spectra. Using four Fe I lines (525.0, 615.2, 617.3, and 627.1 nm), we produce 1000 model star disk-integrated realisations per line and find an isolated granulation-induced RV scatter of 0.16-0.21 m s^-1. Using our synthetic profiles and assuming infinite signal-to-noise, we find strong correlations between various line-shape metrics and convective blueshift, demonstrating that line-shape diagnostics can, in principle, trace granulation effects. Equivalent width proves the strongest diagnostic, achieving up to 60% scatter reduction. However, the strength of all simple line shape diagnostics rapidly diminishes once photon noise is injected. Even when artificially boosting the signal to represent a spectrum containing ~1000 spectral lines, the achievable improvement with these metrics remains below 10% at typical signal-to-noise ratios. Our results highlight the need for more robust, noise-resilient diagnostics and position our synthetic dataset as a valuable testbed for developing and benchmarking such methods.

astro-ph.SR

Transformational astrophysics and exoplanet science with Habitable Worlds Observatory's High Resolution Imager

Habitable Worlds Observatory (HWO) will be NASA's flagship space telescope of the 2040s, designed to search for life on other planets and to transform broad areas of astrophysics. NASA are seeking international partners, and the UK is well-placed to lead the design and construction of its imaging camera - which is likely to produce the mission's most visible public impact. Early participation in the mission would return investment to UK industry, and bring generational leadership for the UK in space science, space technology, and astrophysics.

astro-ph.IM

F2: Offline Reinforcement Learning for Hamiltonian Simulation via Free-Fermionic Subroutine Compilation

Compiling shallow and accurate quantum circuits for Hamiltonian simulation remains challenging due to hardware constraints and the combinatorial complexity of minimizing gate count and circuit depth. Existing optimization method pipelines rely on hand-engineered classical heuristics, which cannot learn input-dependent structure and therefore miss substantial opportunities for circuit reduction. We introduce F2, an offline reinforcement learning framework that exploits free-fermionic structure to efficiently compile Trotter-based Hamiltonian simulation circuits. F2 provides (i) a reinforcement-learning environment over classically simulatable free-fermionic subroutines, (ii) architectural and objective-level inductive biases that stabilize long-horizon value learning, and (iii) a reversible synthetic-trajectory generation mechanism that consistently yields abundant, guaranteed-successful offline data. Across benchmarks spanning lattice models, protein fragments, and crystalline materials (12-222 qubits), F2 reduces gate count by 47% and depth by 38% on average relative to strong baselines (Qiskit, Cirq/OpenFermion) while maintaining average errors of 10^(-7). These results show that aligning deep reinforcement learning with the algebraic structure of quantum dynamics enables substantial improvements in circuit synthesis, suggesting a promising direction for scalable, learning-based quantum compilation

quant-ph

The Transformer Cookbook

We present the transformer cookbook: a collection of techniques for directly encoding algorithms into a transformer's parameters. This work addresses the steep learning curve of such endeavors, a problem exacerbated by a fragmented literature where key results are scattered across numerous papers. In particular, we synthesize this disparate body of findings into a curated set of recipes that demonstrate how to implement everything from basic arithmetic in feed-forward layers to complex data routing via self-attention. Our mise en place of formulations is for both newcomers seeking an accessible entry point and experts in need of a systematic reference. This unified presentation of transformer constructions provides a foundation for future work spanning theoretical research in computational complexity to empirical investigations in architecture design and interpretability.

cs.LG

Scenario-based Compositional Verification of Autonomous Systems with Neural Perception

Recent advances in deep learning have enabled the development of autonomous systems that use deep neural networks for perception. Formal verification of these systems is challenging due to the size and complexity of the perception DNNs as well as hard-to-quantify, changing environment conditions. To address these challenges, we propose a probabilistic verification framework for autonomous systems based on the following key concepts: (1) Scenario-based Modeling: We decompose the task (e.g., car navigation) into a composition of scenarios, each representing a different environment condition. (2) Probabilistic Abstractions: For each scenario, we build a compact abstraction of perception based on the DNN's performance on an offline dataset that represents the scenario's environment condition. (3) Symbolic Reasoning and Acceleration: The abstractions enable efficient compositional verification of the autonomous system via symbolic reasoning and a novel acceleration proof rule that bounds the error probability of the system under arbitrary variations of environment conditions. We illustrate our approach on two case studies: an experimental autonomous system that guides airplanes on taxiways using high-dimensional perception DNNs and a simulation model of an F1Tenth autonomous car using LiDAR observations.

cs.LG

Towards understanding stellar variability at the sub m/s level: Isolating granulation signals in synthetic spectral lines

Granulation in the photospheres of FGK-type stars induces variability in absorption lines, complicating exoplanet detection via radial velocities and characterisation via transmission spectroscopy. We aim to quantify the impact of granulation on the radial velocity and bisector asymmetry of stellar absorption lines of varying strengths and at different limb angles. We use 3D radiation-hydrodynamic simulations from MURaM paired with MPS-ATLAS radiative transfer calculations to synthesise time series' for four Fe I lines at different limb angles for a solar-type star. Our line profiles are synthesised at an extremely high resolution (R = 2,000,000), exceeding what is possible observationally and allowing us to capture intricate line shape variations. We introduce a new method of classifying the stellar surface into three components and use this to parameterise the line profiles. Our parameterisation method allows us to disentangle the contributions from p-modes and granulation, providing the unique opportunity to study the effects of granulation without contamination from p-mode effects. We validate our method by comparing radial velocity power spectra of our granulation time series to observations from the LARS spectrograph. We find that we are able to replicate the granulation component extracted from observations of the Fe I 617 nm line at the solar disk centre. We use our granulation-isolated results to show variations in convective blueshift and bisector asymmetry at different limb angles, finding good agreement with empirical results. We show that weaker lines have higher velocity contrast between granules and lanes, resulting in higher granulation-induced velocity fluctuations. Our parameterisation provides a computationally efficient strategy to construct new line profiles, laying the groundwork for future improvements in mitigating stellar noise in exoplanet studies.

astro-ph.SR

Stream Types

We propose a rich foundational theory of typed data streams and stream transformers, motivated by two high-level goals: (1) The type of a stream should be able to express complex sequential patterns of events over time. And (2) it should describe the internal parallel structure of the stream to support deterministic stream processing on parallel and distributed systems. To these ends, we introduce stream types, with operators capturing sequential composition, parallel composition, and iteration, plus a core calculus lambda-ST of transformers over typed streams which naturally supports a number of common streaming idioms, including punctuation, windowing, and parallel partitioning, as first-class constructions. lambda-ST exploits a Curry-Howard-like correspondence with an ordered variant of the logic of Bunched Implication to program with streams compositionally and uses Brzozowski-style derivatives to enable an incremental, prefix-based operational semantics. To illustrate the programming style supported by the rich types of lambda-ST, we present a number of examples written in delta, a prototype high-level language design based on lambda-ST.

cs.PL

Constraints on a split superconducting transition under uniaxial strain in Sr$_2$RuO$_4$ from scanning SQUID microscopy

More than two decades after the discovery of superconductivity in Sr$_2$RuO$_4$, it is still unclear whether the order parameter has a single component or two degenerate components. For any two-component scenario, application of uniaxial strain is expected to lift the degeneracy, generating two distinct phase transitions. The presence of a second (lower-temperature) transition may be observable by probes that are sensitive to changes in the London penetration depth, $\lambda$, as a function of temperature, $T$. Here, we use scanning SQUID microscopy combined with a uniaxial strain device to test for a second transition under strain. We only observe a single transition. Within the temperature range where a second transition has been suggested by $\mu$SR measurements, we further place a tight upper bound of less than 1% on the change in the zero temperature superfluid density $n_s\propto\lambda^{-2}(0)$ due to a second transition, suggesting that such a transition does not occur. These results constrain theories of the order parameter in Sr$_2$RuO$_4$.

cond-mat.supr-con

Independent validation of the temperate Super-Earth HD79211 b using HARPS-N

We present high-precision radial velocities (RVs) from the HARPS-N spectrograph for HD79210 and HD79211, two M0V members of a gravitationally-bound binary system. We detect a planet candidate with a period of $24.421^{+0.016}_{-0.017}$ days around HD79211 in these HARPS-N RVs, validating the planet candidate originally identified in CARMENES RV data alone. Using HARPS-N, CARMENES and HIRES RVs spanning a total of 25 years, we further refine the planet candidate parameters to $P=24.422\pm0.014$ days, $K=3.19\pm0.27$ m/s, $M$ sin $i = 10.6 \pm 1.2 M_\oplus$, and $a = 0.142 \pm0.005$ au. We do not find any additional planet candidate signals in the data of HD79211 nor do we find any planet candidate signals in HD79210. This system adds to the number of exoplanets detected in binaries with M dwarf members, and serves as a case study for planet formation in stellar binaries.

astro-ph.EP

DebrisWatch I: A survey of faint geosynchronous debris

Recent anomalies exhibited by satellites and rocket bodies have highlighted that a population of faint debris exists at geosynchronous (GEO) altitudes, where there are no natural removal mechanisms. Despite previous optical surveys probing to around 10-20 cm in size, regular monitoring of faint sources at GEO is challenging, thus our knowledge remains sparse. It is essential that we continue to explore the faint debris population using large telescopes to better understand the risk posed to active GEO satellites. To this end, we present photometric results from a survey of the GEO region carried out with the 2.54 m Isaac Newton Telescope in La Palma, Canary Islands. We probe to 21st visual magnitude (around 10 cm, assuming Lambertian spheres with an albedo of 0.1), uncovering 129 orbital tracks with GEO-like motion across the eight nights of dark-grey time comprising the survey. The faint end of our brightness distribution continues to rise until the sensitivity limit of the sensor is reached, suggesting that the modal brightness could be even fainter. We uncover a number of faint, uncatalogued objects that show photometric signatures of rapid tumbling, many of which straddle the limiting magnitude of our survey over the course of a single exposure, posing a complex issue when estimating object size. This work presents the first instalment of DebrisWatch, an ongoing collaboration between the University of Warwick and the Defence Science and Technology Laboratory (UK) investigating the faint population of GEO debris.

astro-ph.EP

Doppler tomography as a tool for detecting exoplanet atmospheres

High-resolution Doppler spectroscopy is a powerful tool for identifying molecular species in the atmospheres of both transiting and non-transiting exoplanets. Currently, such data is analysed using cross-correlation techniques to detect the Doppler shifting signal from the orbiting planet. In this paper we demonstrate that, compared to cross-correlation methods currently used, the technique of Doppler tomography has improved sensitivity in detecting the subtle signatures expected from exoplanet atmospheres. This is partly due to the use of a regularizing statistic, which acts to suppress noise, coupled to the fact that all the data is fit simultaneously. In addition, we show that the technique can also effectively suppress contanimating spectral features that may arise due to overlapping lines, repeating line patterns, or the use of incorrect linelists. These issues can confuse conventional cross-correlation approaches, primarily due to aliasing issues inherent in such techniques, whereas Doppler tomography is less susceptible to such effects. In particular, Doppler tomography shows exceptional promise for simultaneously detecting multiple line species (e.g. isotopologues), even when there are high contrasts between such species -- and far outperforms current CCF analyses in this respect. Finally, we demonstrate that Doppler tomography is capable of recovering molecular signals from exoplanets using real data, by confirming the strong detection of CO in the atmosphere of Tau Boo b. We recover a signal with a planetary radial velocity semi-amplitude Kp = 109.6 +/- 2.2 km/s, in excellent agreement with the previously reported value of 110.0 +/- 3.2 km/s.

astro-ph.EP

The PDS 110 observing campaign - photometric and spectroscopic observations reveal eclipses are aperiodic

PDS 110 is a young disk-hosting star in the Orion OB1A association. Two dimming events of similar depth and duration were seen in 2008 (WASP) and 2011 (KELT), consistent with an object in a closed periodic orbit. In this paper we present data from a ground-based observing campaign designed to measure the star both photometrically and spectroscopically during the time of predicted eclipse in September 2017. Despite high-quality photometry, the predicted eclipse did not occur, although coherent structure is present suggesting variable amounts of stellar flux or dust obscuration. We also searched for RV oscillations caused by any hypothetical companion and can rule out close binaries to 0.1 $M_\odot$. A search of Sonneberg plate archive data also enabled us to extend the photometric baseline of this star back more than 50 years, and similarly does not re-detect any deep eclipses. Taken together, they suggest that the eclipses seen in WASP and KELT photometry were due to aperiodic events. It would seem that PDS 110 undergoes stochastic dimmings that are shallower and shorter-duration than those of UX Ori variables, but may have a similar mechanism.

astro-ph.SR

The Next Generation Transit Survey - Prototyping Phase

We present the prototype telescope for the Next Generation Transit Survey, which was built in the UK in 2008/09 and tested on La Palma in the Canary Islands in 2010. The goals for the prototype system were severalfold: to determine the level of systematic noise in an NGTS-like system; demonstrate that we can perform photometry at the (sub) millimagnitude level on transit timescales across a wide field; show that it is possible to detect transiting super-Earth and Neptune-sized exoplanets and prove the technical feasibility of the proposed planet survey. We tested the system for around 100 nights and met each of the goals above. Several key areas for improvement were highlighted during the prototyping phase. They have been subsequently addressed in the final NGTS facility which was recently commissioned at ESO Cerro Paranal, Chile.

astro-ph.IM

Roche tomography of cataclysmic variables - VI. Differential rotation of AE Aqr - Not tidally locked!

We present Roche tomograms of the K4V secondary star in the cataclysmic variable AE Aqr, reconstructed from two datasets taken 9 days apart, and measure the differential rotation of the stellar surface. The tomograms show many large, cool starspots, including a large high-latitude spot and a prominent appendage down the trailing hemisphere. We find two distinct bands of spots around 22$^{\circ}$ and 43$^{\circ}$ latitude, and estimate a spot coverage of 15.4-17% on the northern hemisphere. Assuming a solar-like differential rotation law, the differential rotation of AE Aqr was measured using two different techniques. The first method yields an equator-pole lap time of 269 d and the second yields a lap time of 262 d. This shows the star is not fully tidally locked, as was previously assumed for CVs, but has a co-rotation latitude of $\sim 40^{\circ}$. We discuss the implications that these observations have on stellar dynamo theory, as well as the impact that spot traversal across the first Lagrangian point may have on accretion rates in CVs as well as some of their other observed properties. The entropy landscape technique was applied to determine the system parameters of AE Aqr. For the two independent datasets we find M$_1$ = 1.20 and 1.17 M$_{\odot}$, M$_2$ = 0.81 and 0.78 M$_{\odot}$, and orbital inclinations of $50^{\circ}$ to $51^{\circ}$ at optimal systemic velocities of {\gamma} = -64.7 and -62.9 kms$^{-1}$.

astro-ph.SR