arXiv subjects

David Barnes

Publications and source records attributed to David Barnes.

At least 19 recordsLinked to original sources

arXiv2026

REBAR: Reference Ethical Benchmark for Autonomy Readiness

As autonomous systems grow more advanced, objective metrics to evaluate their ethical and legal compliance are critical for informing end users of their limitations and ensuring accountability of those who misuse them. Current ethical embodied AI frameworks remain mostly qualitative, focusing on system design (through safety guardrails or targeted red teaming), and the realized guardrails often directly disallow unsafe behavior without providing the user with an override or interpretable reason. Instead, there is a need for computable metrics through rigorous testing that allow a user to determine the applicability of the system to the task. To address this gap, we introduce the Reference Ethical Benchmark for Autonomy Readiness (REBAR), a quantitative test and evaluation framework for autonomous systems. REBAR maps operating metrics into a computable Autonomy Readiness Level (ARL) rubric that can quantify ethical performance. Key innovations of the framework include a neuro-symbolic Large Language Model (LLM) approach to calculate and explain the ethical difficulty of scenarios, LLM-driven at-scale generation of test instances, and a versatile, photorealistic simulation environment. By evaluating white-box autonomy solutions through this rigorous testing pipeline, REBAR delivers an objective and repeatable benchmark score, bridging the gap between abstract principles and verifiable, accountable autonomy.

cs.RO↗

arXiv2026

Global dimension of the category of rational incomplete Mackey functors for a finite abelian group G

In this paper, we analyse the global dimension of the category of rational incomplete Mackey functors over a finite abelian group. Incomplete Mackey functors have recently risen to prominence in algebraic topology and hence it is valuable to understand their homological algebra invariants. When working over the rational numbers, results of Greenlees--May and Th\'evanez--Webb show that the homological algebra of complete Mackey functors is quite simple, but the incomplete case is more complicated. In this paper we use splitting results by the first, third and fourth authors to give an upper bound on the global dimension of rational incomplete Mackey functors where the incompleteness is governed by what is known as a disk-like transfer system. We then avail ourselves of a new connection to incidence algebras over posets to calculate the global dimension of rational incomplete Mackey functors in the disk-like case when the group is abelian.

math.AT↗

arXiv2026

Polarimetric Tomography Applied to Synthetic Multi-Spacecraft White-Light Images: Observing Coronal Mass Ejections in 3D

A discrete tomography method has been developed that is able to reconstruct three-dimensional coronal mass ejection (CME) density structure. We test the method by producing synthetic coronagraph imagery for three events using the CORona--HELiosphere (CORHEL) model. We combine images from different numbers of observing spacecraft and we perform the method separately using polarimetric and non-polarimetric reconstructions, as a means to test their relative effectiveness. We show that increasing the number of observing spacecraft consistently reduces the mean relative absolute error (MRAE) between the simulated and reconstructed density. Furthermore, the MRAE is generally lower when using polarimetric reconstructions compared to non-polarimetric reconstructions. Methods applied to localise the CME front work well for all spacecraft configurations, and are improved when using polarimetric, over non-polarimetric, reconstructions. The presence of a CME front can be identified with an accuracy of $(72\pm9)\%$, $(70\pm8)\%$ and $(52\pm12)\%$ for CME1, CME2 and CME3 via polarimetric reconstructions using only three spacecraft at L1, L4 and L5. The radial position of the CME front can be constrained to a high level of precision when using polarimetric reconstructions using the same three spacecraft; $0.003\pm0.004$\,au, $0.004\pm0.005$\,au and $0.005\pm0.004$\,au for CME1, CME2 and CME3, respectively. We expect that at least four spacecraft are required in order to derive accurate information about 3D CME structure. We find no strong evidence of improvement when including out-of-ecliptic observers, but that their inclusion increases the volume of space within which the inversion can be performed.

astro-ph.SR↗

arXiv2026

Deconstructing span categories for profinite groups

One of the major advantages of $\infty$-category theory over classical $1$-category theory is its robust and homotopically meaningful framework for taking (co)limits of diagrams of $\infty$-categories. However, it is both subtle and crucial to specify which variant of the $\infty$-category of $\infty$-categories is being used when forming such (co)limits. In this article, we present a concrete case study illustrating how (co)limits of $\infty$-categories behave in a specific setting. We demonstrate that the span category of a profinite group can be realised as the colimit of the span categories of its quotients by open normal subgroups and provide a number of applications to the world of equivariant (higher) algebra.

math.CT↗

arXiv2025

Predicting CME Arrivals with Heliospheric Imagers from L5: A Data Assimilation Approach

The Solar TErrestrial RElations Observatory (STEREO) mission has laid a foundation for advancing real-time space weather forecasting by enabling the evaluation of heliospheric imager (HI) data for predicting coronal mass ejection (CME) arrivals at Earth. This study employs the ELEvoHI model to assess how incorporating STEREO/HI data from the Lagrange 5 (L5) perspective can enhance prediction accuracy for CME arrival times and speeds. Our investigation, preparing for the upcoming ESA Vigil mission, explores whether the progressive incorporation of HI data in real-time enhances forecasting accuracy. The role of human tracking variability is evaluated by comparing predictions based on observations by three different scientists, highlighting the influence of manual biases on forecasting outcomes. Furthermore, the study examines the efficacy of deriving CME propagation directions using HI-specific methods versus coronagraph-based techniques, emphasising the trade-offs in prediction accuracy. Our results demonstrate the potential of HI data to significantly improve operational space weather forecasting when integrated with other observational platforms, especially when HI data from beyond 35{\deg} elongation are used. These findings pave the way for optimising real-time prediction methodologies, providing valuable groundwork for the forthcoming Vigil mission and enhancing preparedness for CME-driven space weather events.

astro-ph.SR↗

arXiv2025

A Dwyer-Rezk classification for polynomial functors in Weiss calculus

In Goodwillie calculus, unpublished work of Dwyer and Rezk provides a classification of reduced filtered colimit preserving $d$-excisive functors from pointed spaces to spectra as spectrum-valued functors on the category of finite sets of cardinality at most $d$ and epimorphisms. We prove through different methods the analogous result in Weiss calculus: $d$-polynomial functors are equivalent to spectrum-valued functors on the category of finite-dimensional inner product spaces of dimension at most $d$ and orthogonal epimorphisms. Via similar methods we obtain a new proof of the classification of homogeneous functors.

math.AT↗

arXiv2025

Solar Transient Recognition Using Deep Learning (STRUDL) for heliospheric imager data

Coronal Mass Ejections (CMEs) are space weather phenomena capable of causing significant disruptions to both space- and ground-based infrastructure. The timely and accurate detection and prediction of CMEs is a crucial steps towards implementing strategies to minimize the impacts of such events. CMEs are commonly observed using coronagraphs and heliospheric imagers (HIs), with some forecasting methods relying on manually tracking CMEs across successive images in order to provide an estimate of their arrival time and speed. This process is time-consuming and results may exhibiting considerable interpersonal variation. We investigate the application of machine learning (ML) techniques to the problem of automated CME detection, focusing on data from the HI instruments aboard the STEREO spacecraft. HI data facilitates the tracking of CMEs through interplanetary space, providing valuable information on their evolution. Building on advances in image segmentation, we present the Solar Transient Recognition Using Deep Learning (STRUDL) model. STRUDL is designed to automatically detect and segment CME fronts in HI data. We address the challenges inherent to this task and evaluate the model's performance across a range of solar activity conditions. To complement segmentation, we implement a basic tracking algorithm that links CME detections across successive frames, thus allowing us to automatically generate time-distance profiles. Our results demonstrate the feasibility of applying ML-based segmentation techniques to HI data, while highlighting areas for future improvement, particularly regarding the accurate segmentation and tracking of faint and interacting CMEs.

astro-ph.SR↗

arXiv2024

An algebraic model for rational excisive functors

We provide a new proof of the rational splitting of excisive endofunctors of spectra as a product of their homogeneous layers independent of rational Tate vanishing. We utilise the analogy between endofunctors of spectra and equivariant stable homotopy theory and as a consequence, we obtain an algebraic model for rational excisive functors.

math.AT↗

arXiv2024

Splitting rational incomplete Mackey functors

Inspired by equivariant homotopy theory, equivariant algebra studies generalisations of G-Mackey functors that do not have all transfer maps (also known as induction maps), for G a finite group. These incomplete Mackey functors have interesting and subtle properties that are more complicated than classical algebra. The levels of incompleteness that occur are indexed by simple combinatorial data known as transfer systems for G, which are refinements of the subgroup relation satisfying certain axioms. The aim of this paper is to generalise the Greenlees--May and Thevenaz--Webb splitting result of rational G-Mackey functors to the incomplete case. By calculating idempotents of the rational incomplete Burnside ring of G, we find the maximal splitting of the category of rational incomplete G-Mackey functors. These splittings are determined by maps of the form H to G in the transfer system. We give an intrinsic definition of the split pieces beyond the idempotent description in order to understand what is the minimal information needed to determine an arbitrary rational incomplete G-Mackey functor. We end the paper with a series of examples of possible splittings and illustrate how simpler transfer systems have fewer terms in the splitting but the split pieces are more complicated.

math.AT↗

arXiv2024

Profinite equivariant spectra and their tensor-triangular geometry

We study the tensor-triangular geometry of the category of equivariant $G$-spectra for $G$ a profinite group, $\mathsf{Sp}_G$. Our starting point is the construction of a ``continuous'' model for this category, which we show agrees with all other models in the literature. We describe the Balmer spectrum of finite $G$-spectra up to the ambiguity that is present in the finite group case; in particular, we obtain a thick subcategory theorem when $G$ is abelian. By verifying the bijectivity hypothesis for $\mathsf{Sp}_G$, we prove a nilpotence theorem for all profinite groups. Our study then moves to the realm of rational $G$-equivariant spectra. By exploiting the continuity of our model, we construct an equivalence between the category of rational $G$-spectra and the algebraic model of the second author and Sugrue, which improves their result to the symmetric monoidal and $\infty$-categorical level. Furthermore, we prove that the telescope conjecture holds in this category. Finally, we characterize when the category of rational $G$-spectra is stratified, resulting in a classification of the localizing ideals in terms of conjugacy classes of subgroups. To facilitate these results, we develop some foundational aspects of pro-tt-geometry. For instance, we establish and use the continuity of the homological spectrum and introduce a notion of von Neumann regular tt-categories, of which rational $G$-spectra is an example.

math.AT↗

arXiv2023

L1 and off Sun-Earth line visible-light imaging of Earth-directed CMEs: An analysis of inconsistent observations

The efficacy of coronal mass ejection (CME) observations as a key input to space weather forecasting is explored by comparing on and off Sun-Earth line observations from the ESA/NASA SOHO and NASA STEREO spacecraft. A comparison is made of CME catalogues based on L1 coronagraph imagery and off Sun-Earth line coronagraph and heliospheric imager (HI) observations, for the year 2011. Analysis reveals inconsistencies in the identification of a number of potentially Earth-directed CMEs. The catalogues reflect our ability to identify and characterise CMEs, so any discrepancies can impact our prediction of Earth-directed CMEs. We show that 15 CMEs, which were observed by STEREO, that had estimated directions compatible with Earth-directed events, had no identified halo/partial halo counterpart listed in the L1 coronagraph CME catalogue. In-situ data confirms that for 9 of these there was a consistent L1 Interplanetary CME (ICME). The number of such "discrepant" events is significant compared to the number of ICMEs recorded at L1 in 2011, stressing the need to address space weather monitoring capabilities, particularly with the inclusion of off Sun-Earth line observation. While the study provides evidence that some halo CMEs are simply not visible in near-Earth coronagraph imagery, there is evidence that some halo CMEs viewed from L1 are compromised by preceding CME remnants or the presence of multiple-CMEs. This underlines (1) the value of multiple vantage point CME observation, and (2) the benefit of off Sun-Earth line platform heliospheric imaging, and coronagraph imaging, for the efficient identification and tracking of Earth-directed events.

astro-ph.SR↗

arXiv2022

Classifying rational G-spectra for profinite G

For G an arbitrary profinite group, we construct an algebraic model for rational G-spectra in terms of G-equivariant sheaves over the space of subgroups of G. This generalises the known case of finite groups to a much wider class of topological groups, and improves upon earlier work of the first author on the case where G is the p-adic integers. As the purpose of an algebraic model is to allow one to use homological algebra to study questions of homotopy theory, we prove that the homological dimension (injective dimension) of the algebraic model is determined by the Cantor--Bendixson rank of the space of closed subgroups of the profinite group G. This also provides a calculation of the homological dimension of the category of rational Mackey functors.

math.AT↗

arXiv2022

Universal logic with encoded spin qubits in silicon

Qubits encoded in a decoherence-free subsystem and realized in exchange-coupled silicon quantum dots are promising candidates for fault-tolerant quantum computing. Benefits of this approach include excellent coherence, low control crosstalk, and configurable insensitivity to certain error sources. Key difficulties are that encoded entangling gates require a large number of control pulses and high-yielding quantum dot arrays. Here we show a device made using the single-layer etch-defined gate electrode architecture that achieves both the required functional yield needed for full control and the coherence necessary for thousands of calibrated exchange pulses to be applied. We measure an average two-qubit Clifford fidelity of $97.1 \pm 0.2\%$ with randomized benchmarking. We also use interleaved randomized benchmarking to demonstrate the controlled-NOT gate with $96.3 \pm 0.7\%$ fidelity, SWAP with $99.3 \pm 0.5\%$ fidelity, and a specialized entangling gate that limits spreading of leakage with $93.8 \pm 0.7\%$ fidelity.

quant-ph↗

arXiv2021

Magnetic Structure and Propagation of Two Interacting CMEs from the Sun to Saturn

One of the grand challenges in heliophysics is the characterisation of coronal mass ejection (CME) magnetic structure and evolution from eruption at the Sun through heliospheric propagation. At present, the main difficulties are related to the lack of direct measurements of the coronal magnetic fields and the lack of 3D in-situ measurements of the CME body in interplanetary space. Nevertheless, the evolution of a CME magnetic structure can be followed using a combination of multi-point remote-sensing observations and multi-spacecraft in-situ measurements as well as modelling. Accordingly, we present in this work the analysis of two CMEs that erupted from the Sun on 28 April 2012. We follow their eruption and early evolution using remote-sensing data, finding indications of CME--CME interaction, and then analyse their interplanetary counterpart(s) using in-situ measurements at Venus, Earth, and Saturn. We observe a seemingly single flux rope at all locations, but find possible signatures of interaction at Earth, where high-cadence plasma data are available. Reconstructions of the in-situ flux ropes provide almost identical results at Venus and Earth but show greater discrepancies at Saturn, suggesting that the CME was highly distorted and/or that further interaction with nearby solar wind structures took place before 10 AU. This work highlights the difficulties in connecting structures from the Sun to the outer heliosphere and demonstrates the importance of multi-spacecraft studies to achieve a deeper understanding of the magnetic configuration of CMEs.

astro-ph.SR↗

arXiv2021

CME Magnetic Structure and IMF Preconditioning Affecting SEP Transport

Coronal mass ejections (CMEs) and solar energetic particles (SEPs) are two phenomena that can cause severe space weather effects throughout the heliosphere. The evolution of CMEs, especially in terms of their magnetic structure, and the configuration of the interplanetary magnetic field (IMF) that influences the transport of SEPs are currently areas of active research. These two aspects are not necessarily independent of each other, especially during solar maximum when multiple eruptive events can occur close in time. Accordingly, we present the analysis of a CME that erupted on 2012 May 11 (SOL2012-05-11) and an SEP event following an eruption that took place on 2012 May 17 (SOL2012-05-17). After observing the May 11 CME using remote-sensing data from three viewpoints, we evaluate its propagation through interplanetary space using several models. Then, we analyse in-situ measurements from five predicted impact locations (Venus, Earth, the Spitzer Space Telescope, the Mars Science Laboratory en route to Mars, and Mars) in order to search for CME signatures. We find that all in-situ locations detect signatures of an SEP event, which we trace back to the May 17 eruption. These findings suggest that the May 11 CME provided a direct magnetic connectivity for the efficient transport of SEPs. We discuss the space weather implications of CME evolution, regarding in particular its magnetic structure, and CME-driven IMF preconditioning that facilitates SEP transport. Finally, this work remarks the importance of using data from multiple spacecraft, even those that do not include space weather research as their primary objective.

astro-ph.SR↗

arXiv2020

Equivariant sheaves for profinite groups

We study equivariant sheaves over profinite spaces, where the group is also taken to be profinite. We resolve a serious deficit in the existing theory by constructing a good notion of equivariant presheaves, with a suitable equivariant sheafification functor. Using equivariant sheafification, we develop the general theory of equivariant sheaves of modules over a ring, give explicit constructions of infinite products and introduce an equivariant analogue of skyscraper sheaves. These results underlie recent work by the authors which proves that there is an algebraic model for rational G-spectra in terms of equivariant sheaves over profinite spaces. That model is constructed in terms of Weyl-G-sheaves over the space of closed subgroups of G, where the term Weyl indicates that the stalk over H is H-fixed. In this paper, we prove that Weyl-G-sheaves of R-modules form an abelian category with enough injectives and is a coreflective subcategory of equivariant sheaves of R-modules. We end the paper with a structural result that provides another way to conveniently build equivariant sheaves from simpler data. We prove that a G-equivariant sheaf over a profinite base space X is a colimit of equivariant sheaves over finite discrete spaces X_i with actions of finite groups G_i, where X is the limit of the X_i and G is the limit of the G_i.

math.AT↗

arXiv2020

Is there enough star formation in simulated protoclusters?

As progenitors of the most massive objects, protoclusters are key to tracing the evolution and star-formation history of the Universe, and are responsible for ${\gtrsim}\,20$ per cent of the cosmic star formation at $z\,{>}\,2$. Using a combination of state-of-the-art hydrodynamical simulations and empirical models, we show that current galaxy-formation models do not produce enough star formation in protoclusters to match observations. We find that the star-formation rates (SFRs) predicted from the models are an order of magnitude lower than what is seen in observations, despite the relatively good agreement found for their mass-accretion histories, specifically that they lie on an evolutionary path to become Coma-like clusters at $z\,{\simeq}\, 0$. Using a well-studied protocluster core at $z\,{=}\,4.3$ as a test case, we find that star-formation efficiency of protocluster galaxies is higher than predicted by the models. We show that a large part of the discrepancy can be attributed to a dependence of SFR on the numerical resolution of the simulations, with a roughly factor of 3 drop in SFR when the spatial resolution decreases by a factor of 4. We also present predictions up to $z\,{\simeq}\,7$. Compared to lower redshifts, we find that centrals (the most massive member galaxies) are more distinct from the other galaxies, while protocluster galaxies are less distinct from field galaxies. All these results suggest that, as a rare and extreme population at high-$z$, protoclusters can help constrain galaxy formation models tuned to match the average population at $z\,{\simeq}\,0$.

astro-ph.GA↗

arXiv2020

Properties of the ionized CGM and IGM: a comparison of galaxy formation models via the Sunyaev-Zel'dovich effect

We present a comparison of the physical properties of the ionized gas in the circumgalactic (CGM) and intergalactic (IGM) media at $z\sim0$ between observations and four cosmological hydrodynamical simulations: Illustris, TNG300 of the IllustrisTNG project, EAGLE, and one of the Magneticum simulations. For the observational data, we use the gas properties that are inferred from cross-correlating the Sunyaev-Zel'dovich effect (SZE) from the {\it Planck} CMB maps with the haloes and the large-scale structure reconstructed from Sloan Digital Sky Survey data. Both the observational and simulation results indicate that the integrated gas pressure in haloes deviates from the self-similar case, showing that feedback impacts haloes with $M_{500}\sim 10^{12-13}\,{\rm M_\odot}$. The simulations predict that more than half the baryons are displaced from haloes, while the gas fraction inferred from our observational data roughly equals the cosmic baryon fraction throughout the $M_{500}\sim 10^{12-14.5}\,{\rm M_\odot}$ halo mass range. All simulations tested here predict that the mean gas temperature in haloes is about the virial temperature, while that inferred from the SZE is up to one order of magnitude lower than that from the simulations (and also from X-ray observations). While a remarkable agreement is found for the average properties of the IGM between the observation and some simulations, we show that their dependence on the large-scale tidal field can break the degeneracy between models that show similar predictions otherwise. Finally, we show that the gas pressure and the electron density profiles from simulations are not well described by a generalized NFW (GNFW) profile. Instead, we present a new model with a mass-dependent shape that fits the profiles accurately.

astro-ph.GA↗