Source author record

Stephen Dolan

Stephen Dolan appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

8works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2022arXiv

Adversarial methods to reduce simulation bias in neutrino interaction event filtering at Liquid Argon Time Projection Chambers

For current and future neutrino oscillation experiments using large Liquid Argon Time Projection Chambers (LAr-TPCs), a key challenge is identifying neutrino interactions from the pervading cosmic-ray background. Rejection of such background is often possible using traditional cut-based selections, but this typically requires the prior use of computationally expensive reconstruction algorithms. This work demonstrates an alternative approach of using a 3D Submanifold Sparse Convolutional Network trained on low-level information from the scintillation light signal of interactions inside LAr-TPCs. This technique is applied to example simulations from ICARUS, the far detector of the Short Baseline Neutrino (SBN) program at Fermilab. The results of the network, show that cosmic background is reduced by up to 76.3% whilst neutrino interaction selection efficiency remains over 98.9%. We further present a way to mitigate potential biases from imperfect input simulations by applying Domain Adversarial Neural Networks (DANNs), for which modified simulated samples are introduced to imitate real data and a small portion of them are used for adverserial training. A series of mock-data studies are performed and demonstrate the effectiveness of using DANNs to mitigate biases, showing neutrino interaction selection efficiency performances significantly better than that achieved without the adversarial training.

preprint2022arXiv

Parametrising CCQE uncertainties in the Spectral Function model for neutrino oscillation analyses

A substantial fraction of systematic uncertainties in neutrino oscillation experiments stems from the lack of precision in modeling the nucleus when describing the neutrino-nucleus interactions. The Spectral Function (SF) model features a distribution of momenta and removal energies of nucleons inside the nucleus within the shell-model picture, and also accounts for short-range correlations between nucleons. These characteristics offer significant improvements with respect to the more commonly used Fermi gas-based models. Electron scattering experiments offer a precise probe of the structure of the nucleus and have been used to both construct and validate the SF model. SF is thus an interesting reference model for long baseline neutrino experiments. Based on constraints from electron scattering data, we develop a set of parameters that can alter the occupancy of the nuclear shells and the distribution of the nucleon momentum within each shell. In addition, the impact of final-state interactions on the outgoing lepton and nucleon kinematics, the contribution of short-range correlations and the effect of Pauli blocking can also be modified. In this document, we will first describe the development of these parameters, partially based on a comparison with electron scattering data. We then show fits of these parameters to available T2K and MINER$ν$A cross-section data and discuss how they can be used to constrain the systematic uncertainties related to the SF model in neutrino oscillation analyses.

preprint2020arXiv

Implementation of the SuSAv2-MEC 1p1h and 2p2h models in GENIE and analysis of nuclear effects in T2K measurements

We first present the implementation and validation of the SuSAv2-MEC 1p1h and 2p2h models in the GENIE neutrino-nucleus interaction event generator and a comparison of the subsequent predictions to measurements of lepton and hadron kinematics from the T2K experiment. These predictions are also compared to those of other available models in GENIE. We additionally compare the semi-inclusive predictions of the implemented 1p1h model to those of the microscopic model on which SuSAv2 is based - Relativistic Mean Field (RMF) - to begin to test the validity of widely-used `factorisation' assumptions employed by generators to predict hadron kinematics from inclusive input models. The results highlight that a more precise treatment of hadron kinematics in generators is essential in order to attain the few-% level uncertainty on neutrino interactions necessary for the next generation of accelerator-based long-baseline neutrino oscillation experiments.

preprint2020arXiv

Repairing and Mechanising the JavaScript Relaxed Memory Model

Modern JavaScript includes the SharedArrayBuffer feature, which provides access to true shared memory concurrency. SharedArrayBuffers are simple linear buffers of bytes, and the JavaScript specification defines an axiomatic relaxed memory model to describe their behaviour. While this model is heavily based on the C/C++11 model, it diverges in some key areas. JavaScript chooses to give a well-defined semantics to data-races, unlike the "undefined behaviour" of C/C++11. Moreover, the JavaScript model is mixed-size. This means that its accesses are not to discrete locations, but to (possibly overlapping) ranges of bytes. We show that the model, in violation of the design intention, does not support a compilation scheme to ARMv8 which is used in practice. We propose a correction, which also incorporates a previously proposed fix for a failure of the model to provide Sequential Consistency of Data-Race-Free programs (SC-DRF), an important correctness condition. We use model checking, in Alloy, to generate small counter-examples for these deficiencies, and investigate our correction. To accomplish this, we also develop a mixed-size extension to the existing ARMv8 axiomatic model. Guided by our Alloy experimentation, we mechanise (in Coq) the JavaScript model (corrected and uncorrected), our ARMv8 model, and, for the corrected JavaScript model, a "model-internal" SC-DRF proof and a compilation scheme correctness proof to ARMv8. In addition, we investigate a non-mixed-size subset of the corrected JavaScript model, and give proofs of compilation correctness for this subset to x86-TSO, Power, RISC-V, ARMv7, and (again) ARMv8, via the Intermediate Memory Model (IMM). As a result of our work, the JavaScript standards body (ECMA TC39) will include fixes for both issues in an upcoming edition of the specification.

preprint2020arXiv

Retrofitting Parallelism onto OCaml

OCaml is an industrial-strength, multi-paradigm programming language, widely used in industry and academia. OCaml is also one of the few modern managed system programming languages to lack support for shared memory parallel programming. This paper describes the design, a full-fledged implementation and evaluation of a mostly-concurrent garbage collector (GC) for the multicore extension of the OCaml programming language. Given that we propose to add parallelism to a widely used programming language with millions of lines of existing code, we face the challenge of maintaining backwards compatibility--not just in terms of the language features but also the performance of single-threaded code running with the new GC. To this end, the paper presents a series of novel techniques and demonstrates that the new GC strikes a balance between performance and feature backwards compatibility for sequential programs and scales admirably on modern multicore processors.

preprint2020arXiv

The Only Undoable CRDTs are Counters

In comparing well-known CRDTs representing sets that can grow and shrink, we find caveats. In one, the removal of an element cannot be reliably undone. In another, undesirable states are attainable, such as when an element is present -1 times (and so must be added for the set to become empty). The first lacks a general-purpose undo, while the second acts less like a set and more like a tuple of counters, one per possible element. Using some group theory, we show that this trade-off is unavoidable: every undoable CRDT is a tuple of counters.

preprint2020arXiv

Treatment of flux shape uncertainties in unfolded, flux-averaged neutrino cross-section measurements

The exact way of treating flux shape uncertainties in unfolded, flux-averaged neutrino cross-section measurements can lead to subtle issues when comparing the results to model predictions. There is a difference between reporting a cross section in the (unknown) real flux, and reporting a cross section that was extrapolated from the (unknown) real flux to a fixed reference flux. A lot of (most?) current analyses do the former, while the results are compared to model predictions as if they were the latter. This leads to (part of) the flux shape uncertainty being ignored, potentially leading to wrong physics conclusions. The size of the effect is estimated to be sub-dominant, but non-negligible in two example measurements from T2K and MINERvA. This paper describes how the issue arises and provides instructions for possible ways how to treat the flux shape uncertainties correctly.

preprint2016arXiv

A Multiwavelength Study of the Relativistic Tidal Disruption Candidate Sw J2058+05 at Late Times

We report a multiwavelength (X-ray, ultraviolet/optical/infrared, radio) analysis of the relativistic tidal disruption event candidate Sw J2058+05 from 3 months to 3 yr post-discovery in order to study its properties and compare its behavior with that of Sw J1644+57. Our main results are as follows. (1) The long-term X-ray light curve of Sw J2058+05 shows a remarkably similar trend to that of Sw J1644+57. After a prolonged power-law decay, the X-ray flux drops off rapidly by a factor of $\gtrsim 160$ within a span of $Δ$$t$/$t$ $\le$ 0.95. Associating this sudden decline with the transition from super-Eddington to sub-Eddington accretion, we estimate the black hole mass to be in the range of $10^{4-6}$ M$_{\odot}$. (2) We detect rapid ($\lesssim 500$ s) X-ray variability before the dropoff, suggesting that, even at late times, the X-rays originate from close to the black hole (ruling out a forward-shock origin). (3) We confirm using HST and VLBA astrometry that the location of the source coincides with the galaxy's center to within $\lesssim 400$ pc (in projection). (4) We modeled Sw J2058+05's ultraviolet/optical/infrared spectral energy distribution with a single-temperature blackbody and find that while the radius remains more or less constant at a value of $63.4 \pm 4.5$ AU ($\sim 10^{15}$ cm) at all times during the outburst, the blackbody temperature drops significantly from $\sim$ 30,000 K at early times to a value of $\sim$ 15,000 K at late times (before the X-ray dropoff). Our results strengthen Sw J2058+05's interpretation as a tidal disruption event similar to Sw J1644+57.