arXiv subjects

Christopher Williams

Publications and source records attributed to Christopher Williams.

At least 19 recordsLinked to original sources

arXiv2026

A spatio-temporal block aggregation model for latent log Gaussian outcomes: application on modelling wastewater virus concentration in Wales

Wastewater-based epidemiology has emerged as a valuable tool for monitoring community-level infectious disease dynamics, providing population-wide signals that complement clinical surveillance. However, wastewater measurements are often observed as aggregated values over irregular spatial units. This work develops an approach to link an underlying spatially continuous processes and an aggregated outcome. We propose a spatio-temporal model for latent log-Gaussian outcomes that provides a coherent framework for inference and prediction, allowing the process to be integrated over arbitrary spatial configurations. This framework can also be used for subsequent analyses, such as linking wastewater signal to health outcomes at administrative areas. We use a Bayesian framework for inference via the linearised integrated nested Laplace approximation (INLA) approach. We apply the proposed methodology to model SARS-CoV-2 N1 gene copies in wastewater across 47 catchment areas in Wales from the beginning of August 2022 to the end of July 2023. The results demonstrate that the model captures spatial and temporal patterns and has good predictive performance. Results also show that estimated viral gene copies are strongly linked to positivity rates from COVID-19 PCR tests at the local authority level. Our findings highlight the importance of explicitly modelling block aggregation when analysing wastewater surveillance data. The proposed framework provides a flexible and principled approach for integrating environmental surveillance data into public health monitoring systems.

stat.AP↗

arXiv2026

A Social Network Analysis of JWST General Observer Programs: The Emergence of a Decentralized Heterarchy

Developing proposals to execute programs on space telescopes involves networks of astronomers coalescing around ideas and plans for observations. When aggregated, these program level networks allow a collective structure of the overall social network of astronomers using a telescope to be created and analysed. We do this using program level investigator data over the first five cycles of accepted General Observer (GO) programs on the James Webb Space Telescope (JWST). The aggregate network contains 5252 unique astronomers with 144740 connections between them based on their program level participation. We apply a modularity class coefficient to visualize the sub communities that evolved within the aggregate network. Ten dominant sub communities emerge that are shown to correlate at various levels with the JWST scientific categories as defined by the Space Telescope Science Institute (STScI). These sub communities vary in size as well as diversity of countries and institutions represented. Analysis of the research interests of investigators within sub communities reveals that separation along the long axis of the graph is associated with the scale of science performed at community level (AU scale vs kpc Gpc scale). While the social network structures based on institutional affiliation and country of institution are highly centralized, the aggregate network at the investigator level is highly heterarchical and decentralized. It appears to be supportive of cross disciplinary interaction, and institutionalized integration between planetary system and cosmic structure science that is wide and redundant, rather than mediated by a small set of critical brokers. Results have implications for access policy (time allocation processes on telescopes leaving behind a legacy of heterarchical social networks) and access strategy (astronomer need to access networks before accessing telescopes).

astro-ph.IM↗

arXiv2026

An update to Allocating Time on Scientific Platforms in Outer Space using five cycles of JWST General Observer programs

Allocating Time on Scientific Platforms in Outer Space (Williams, 2025 in Research Policy) explored time allocated to astronomers to use the James Webb Space Telescope (JWST). It was based on data from the first three Cycles of General Observer (GO) programs (2022, 2023 and 2024) and used multi-variable regression modelling. Analysis provided support for progress towards reducing bias in time allocation decisions in terms of Principal Investigator (PI) gen-der, institution and country. It also provided strong evidence that higher time allocation is linked to larger teams and data non-exclusivity. However, a question was raised concerning a possible swing towards long-standing PI gender bias as the Cycles progressed, i.e., that equality might only be temporary. In addition, the possibility of a Trump-era effect on time allocation bias towards USA PIs could not be tested as data predated 2025. Furthermore, changes in telescope allocation committee policy and the potential effect of telescope overhead changes were not fully assessed. The current research note provides an update by using the latest Cycles and expands the sample to Cycles 1 to 5 (n=1208 JWST programs) to provide tentative answers to these unresolved issues. While there is strong support to the overall findings for Cycles 1 to 3, we now note the emergence of USA PI and prior JWST experience as positive determinants of time allocation in regression models. The updated analysis also provides new insights concerning bias in the extra-galactic scientific categories.

astro-ph.IM↗

arXiv2026

Metropolis-Adjusted Diffusion Models

Sampling from score-based diffusion models incurs bias due to both time discretisation and the approximation of the score function. A common strategy for reducing this bias is to apply corrector steps based on the unadjusted Langevin algorithm (ULA) at each noise level within a predictor-corrector framework. However, ULA is itself a biased sampler, as it discretises a continuous diffusion process. In this work, we consider adjusted Langevin correctors that employ Metropolis--Hastings (MH) or Barker's accept-reject steps to correct for this bias. Since the target density ratio typically required by MH-based algorithms is unavailable, we propose methods that instead utilise the score function to compute the correct acceptance probability. We introduce the first exact method for adjusting Langevin corrections in diffusion models, based on a two-coin Bernoulli factory algorithm. We also propose an efficient approximation based on Simpson's rule that achieves accuracy of order $5/2$ in the step size at near-zero marginal cost. We demonstrate that these procedures improve sample quality on both synthetic and image datasets, yielding consistent gains in Fr\'echet Inception Distance (FID) on the latter.

stat.ML↗

arXiv2024

Score-Optimal Diffusion Schedules

Denoising diffusion models (DDMs) offer a flexible framework for sampling from high dimensional data distributions. DDMs generate a path of probability distributions interpolating between a reference Gaussian distribution and a data distribution by incrementally injecting noise into the data. To numerically simulate the sampling process, a discretisation schedule from the reference back towards clean data must be chosen. An appropriate discretisation schedule is crucial to obtain high quality samples. However, beyond hand crafted heuristics, a general method for choosing this schedule remains elusive. This paper presents a novel algorithm for adaptively selecting an optimal discretisation schedule with respect to a cost that we derive. Our cost measures the work done by the simulation procedure to transport samples from one point in the diffusion path to the next. Our method does not require hyperparameter tuning and adapts to the dynamics and geometry of the diffusion path. Our algorithm only involves the evaluation of the estimated Stein score, making it scalable to existing pre-trained models at inference time and online during training. We find that our learned schedule recovers performant schedules previously only discovered through manual search and obtains competitive FID scores on image datasets.

stat.ML↗

arXiv2024

Approximations to the Fisher Information Metric of Deep Generative Models for Out-Of-Distribution Detection

Likelihood-based deep generative models such as score-based diffusion models and variational autoencoders are state-of-the-art machine learning models approximating high-dimensional distributions of data such as images, text, or audio. One of many downstream tasks they can be naturally applied to is out-of-distribution (OOD) detection. However, seminal work by Nalisnick et al. which we reproduce showed that deep generative models consistently infer higher log-likelihoods for OOD data than data they were trained on, marking an open problem. In this work, we analyse using the gradient of a data point with respect to the parameters of the deep generative model for OOD detection, based on the simple intuition that OOD data should have larger gradient norms than training data. We formalise measuring the size of the gradient as approximating the Fisher information metric. We show that the Fisher information matrix (FIM) has large absolute diagonal values, motivating the use of chi-square distributed, layer-wise gradient norms as features. We combine these features to make a simple, model-agnostic and hyperparameter-free method for OOD detection which estimates the joint density of the layer-wise gradient norms for a given data point. We find that these layer-wise gradient norms are weakly correlated, rendering their combined usage informative, and prove that the layer-wise gradient norms satisfy the principle of (data representation) invariance. Our empirical results indicate that this method outperforms the Typicality test for most deep generative models and image dataset pairings.

stat.ML↗

arXiv2023

A Unified Framework for U-Net Design and Analysis

U-Nets are a go-to, state-of-the-art neural architecture across numerous tasks for continuous signals on a square such as images and Partial Differential Equations (PDE), however their design and architecture is understudied. In this paper, we provide a framework for designing and analysing general U-Net architectures. We present theoretical results which characterise the role of the encoder and decoder in a U-Net, their high-resolution scaling limits and their conjugacy to ResNets via preconditioning. We propose Multi-ResNets, U-Nets with a simplified, wavelet-based encoder without learnable parameters. Further, we show how to design novel U-Net architectures which encode function constraints, natural bases, or the geometry of the data. In diffusion models, our framework enables us to identify that high-frequency information is dominated by noise exponentially faster, and show how U-Nets with average pooling exploit this. In our experiments, we demonstrate how Multi-ResNets achieve competitive and often superior performance compared to classical U-Nets in image segmentation, PDE surrogate modelling, and generative modelling with diffusion models. Our U-Net framework paves the way to study the theoretical properties of U-Nets and design natural, scalable neural architectures for a multitude of problems beyond the square.

stat.ML↗

arXiv2023

A Multi-Resolution Framework for U-Nets with Applications to Hierarchical VAEs

U-Net architectures are ubiquitous in state-of-the-art deep learning, however their regularisation properties and relationship to wavelets are understudied. In this paper, we formulate a multi-resolution framework which identifies U-Nets as finite-dimensional truncations of models on an infinite-dimensional function space. We provide theoretical results which prove that average pooling corresponds to projection within the space of square-integrable functions and show that U-Nets with average pooling implicitly learn a Haar wavelet basis representation of the data. We then leverage our framework to identify state-of-the-art hierarchical VAEs (HVAEs), which have a U-Net architecture, as a type of two-step forward Euler discretisation of multi-resolution diffusion processes which flow from a point mass, introducing sampling instabilities. We also demonstrate that HVAEs learn a representation of time which allows for improved parameter efficiency through weight-sharing. We use this observation to achieve state-of-the-art HVAE performance with half the number of parameters of existing models, exploiting the properties of our continuous-time formulation.

stat.ML↗

arXiv2022

Optimal Operation of a Tidal Lagoon as a Flexible Source of Electricity

As the demand for electricity and the need for power systems flexibility grow, it is crucial to exploit more reliable and clean sources of energy to produce electricity when needed most. Tidal lagoons generate renewable electricity by creating an artificial head difference between water levels on the seaside, driven by tides, and water levels inside the basin, controlled by flow through the structure. Depending on the level of seawater, power generation from a tidal lagoon can be controlled, i.e. shifting power generation in time. This paper aims to investigate the operation of a tidal lagoon in response to fluctuating electricity prices. By developing an optimal operation model of a tidal lagoon, its schedule in the day-ahead wholesale electricity market was optimized to achieve maximum revenue. The Swansea Bay tidal lagoon was used as a case study. It was demonstrated that by exploiting the flexibility offered by the tidal lagoon, it can achieve a higher revenue in the day-ahead market, although their total electricity generation is reduced.

eess.SY↗

arXiv2022

Accurate simulations of nonlinear dynamic shear ruptures on pre-existing faults in 3D elastic solids with dual-pairing SBP methods

In this paper we derive and analyse efficient and stable numerical methods for accurate numerical simulations of nonlinear dynamic shear ruptures on non-planar faults embedded in 3D elastic solids using dual-paring (DP) summation by parts (SBP) finite difference (FD) methods. Specifically, for nonlinear dynamic earthquake ruptures, we demonstrate that the DP SBP FD operators [K. Mattsson. J. Comput. Phys., 335:283-310, 2017] generate spurious catastrophic high frequency wave modes that do not diminish with mesh refinement. Meanwhile our new dispersion relation preserving (DRP) SBP FD operators [C. Williams and K Duru, arXiv:2110.04957, 2021] have more accurate numerical dispersion relation properties and do not support poisonous spurious high frequency wave modes. Numerical simulations are performed in 3D with geometrically complex fault surfaces verifying the efficacy of the method. Our method accurately reproduces community developed dynamic rupture benchmark problems, proposed by Southern California Earthquake Center, with less computational effort than standard methods based on traditional SBP FD operators.

math.NA↗

arXiv2021

Provably Stable Full-Spectrum Dispersion Relation Preserving Schemes

The dispersion error is often the dominant error for computed solutions of wave propagation problems with high-frequency components. In this paper, we define and give explicit examples of $\alpha$-dispersion-relation-preserving schemes. These are dual-pair finite-difference schemes for systems of hyperbolic partial differential equations which preserve the dispersion-relation of the continuous problem uniformly to an $\alpha \%$-error tolerance. We give a general framework to design provably stable finite difference operators that preserve the dispersion relation for hyperbolic systems such as the elastic wave equation. The operators we derive here can resolve the highest frequency ($\pi$-mode) present on any equidistant grid at a tolerance of $5\%$ error. This significantly improves on the current standard that have a tolerance of $100 \%$ error.

math.NA↗

arXiv2021

MeerTRAP in the era of multi-messenger astrophysics

Real-time detections of transients and rapid multi-wavelength follow-up are at the core of modern multi-messenger astrophysics. MeerTRAP is one such instrument that has been deployed on the MeerKAT radio telescope in South Africa to search for fast radio transients in real-time. This, coupled with the ability to rapidly localize the transient in combination with optical co-pointing by the MeerLICHT telescope gives the instrument the edge in finding and identifying the nature of the transient on short timescales. The commensal nature of the project means that MeerTRAP will keep looking for transients even if the telescope is not being used specifically for that purpose. Here, we present a brief overview of the MeerTRAP project. We describe the overall design, specifications and the software stack required to implement such an undertaking. We conclude with some science highlights that have been enabled by this venture over the last 10 months of operation.

astro-ph.IM↗

arXiv2021

ColoRadar: The Direct 3D Millimeter Wave Radar Dataset

Millimeter wave radar is becoming increasingly popular as a sensing modality for robotic mapping and state estimation. However, there are very few publicly available datasets that include dense, high-resolution millimeter wave radar scans and there are none focused on 3D odometry and mapping. In this paper we present a solution to that problem. The ColoRadar dataset includes 3 different forms of dense, high-resolution radar data from 2 FMCW radar sensors as well as 3D lidar, IMU, and highly accurate groundtruth for the sensor rig's pose over approximately 2 hours of data collection in highly diverse 3D environments.

cs.RO↗

arXiv2021

Towards Stratified Space Learning: Linearly Embedded Graphs

In this paper, we consider the simplest class of stratified spaces -- linearly embedded graphs. We present an algorithm that learns the abstract structure of an embedded graph and models the specific embedding from a point cloud sampled from it. We use tools and inspiration from computational geometry, algebraic topology, and topological data analysis and prove the correctness of the identified abstract structure under assumptions on the embedding. The algorithm is implemented in the Julia package http://github.com/yossibokor/Skyler.jl , which we used for the numerical simulations in this paper.

math.AT↗

arXiv2020

Upwind summation by parts finite difference methods for large scale elastic wave simulations in 3D complex geometries

High-order accurate summation-by-parts (SBP) finite difference (FD) methods constitute efficient numerical methods for simulating large-scale hyperbolic wave propagation problems. Traditional SBP FD operators that approximate first-order spatial derivatives with central-difference stencils often have spurious unresolved numerical wave-modes in their computed solutions. Recently derived high order accurate upwind SBP operators based upwind FD stencils have the potential to suppress these poisonous spurious wave-modes on marginally resolved computational grids. In this paper, we demonstrate that not all high order upwind SBP FD operators are applicable. Numerical dispersion relation analysis shows that odd-order upwind SBP FD operators also support spurious unresolved high-frequencies on marginally resolved meshes. Meanwhile, even-order upwind SBP FD operators (of order 2, 4, 6) do not support spurious unresolved high frequency wave modes and also have better numerical dispersion properties. We discretise the three space dimensional (3D) elastic wave equation on boundary-conforming curvilinear meshes. Using the energy method we prove that the semi-discrete approximation is stable and energy-conserving. We derive a priori error estimate and prove the convergence of the numerical error. Numerical experiments for the 3D elastic wave equation in complex geometries corroborate the theoretical analysis. Numerical simulations of the 3D elastic wave equation in heterogeneous media with complex non-planar free surface topography are given, including numerical simulations of community developed seismological benchmark problems. Computational results show that even-order upwind SBP FD operators are more efficient, robust and less prone to numerical dispersion errors on marginally resolved meshes when compared to the odd-order upwind and traditional SBP FD operators.

math.NA↗

arXiv2018

Generalised Sierpinski Triangles

The family of Generalised Sierpinski triangles consist of the classical Sierpinski triangle, the previously well investigated Pedal triangle and two new triangular shaped fractal objects denoted by $\triangle FNN$ and $\triangle FFN$. All of the generalised Sierpinski triangles are defined in terms of iterated functions systems (IFS's) found by generalising the classic IFS used for the Sierpinski triangle. In this paper the new IFSs for the two new types of fractal triangles are defined, the dimensions of the triangles are analysed, and applications for pedagogical use and tiling theory discussed.

math.DS↗

arXiv2017

L-Edge Spectroscopy of Dilute, Radiation-Sensitive Systems Using a Transition-Edge-Sensor Array

We present X-ray absorption spectroscopy and resonant inelastic X-ray scattering (RIXS) measurements on the iron L-edge of 0.5 mM aqueous ferricyanide. These measurements demonstrate the ability of high-throughput transition-edge-sensor (TES) spectrometers to access the rich soft X-ray (100-2000eV) spectroscopy regime for dilute and radiation-sensitive samples. Our low-concentration data are in agreement with high-concentration measurements recorded by conventional grating-based spectrometers. These results show that soft X-ray RIXS spectroscopy acquired by high-throughput TES spectrometers can be used to study the local electronic structure of dilute metal-centered complexes relevant to biology, chemistry and catalysis. In particular, TES spectrometers have a unique ability to characterize frozen solutions of radiation- and temperature-sensitive samples.

physics.ins-det↗

arXiv2017

SETIBURST: A Robotic, Commensal, Realtime Multi-Science Backend for the Arecibo Telescope

Radio astronomy has traditionally depended on observatories allocating time to observers for exclusive use of their telescopes. The disadvantage of this scheme is that the data thus collected is rarely used for other astronomy applications, and in many cases, is unsuitable. For example, properly calibrated pulsar search data can, with some reduction, be used for spectral line surveys. A backend that supports plugging in multiple applications to a telescope to perform commensal data analysis will vastly increase the science throughput of the facility. In this paper, we present 'SETIBURST', a robotic, commensal, realtime multi-science backend for the 305-m Arecibo Telescope. The system uses the 1.4 GHz, seven-beam Arecibo L-band Feed Array (ALFA) receiver whenever it is operated. SETIBURST currently supports two applications: SERENDIP VI, a SETI spectrometer that is conducting a search for signs of technological life, and ALFABURST, a fast transient search system that is conducting a survey of fast radio bursts (FRBs). Based on the FRB event rate and the expected usage of ALFA, we expect 0-5 FRB detections over the coming year. SETIBURST also provides the option of plugging in more applications. We outline the motivation for our instrumentation scheme and the scientific motivation of the two surveys, along with their descriptions and related discussions.

astro-ph.IM↗