Searcharxiv⌕ Search

arXiv subjects

Stephen Dolan

Publications and source records attributed to Stephen Dolan.

32 records · Page 2Linked to original sources

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.

hep-ex↗

Retrofitting Effect Handlers onto OCaml

Effect handlers have been gathering momentum as a mechanism for modular programming with user-defined effects. Effect handlers allow for non-local control flow mechanisms such as generators, async/await, lightweight threads and coroutines to be composably expressed. We present a design and evaluate a full-fledged efficient implementation of effect handlers for OCaml, an industrial-strength multi-paradigm programming language. Our implementation strives to maintain the backwards compatibility and performance profile of existing OCaml code. Retrofitting effect handlers onto OCaml is challenging since OCaml does not currently have any non-local control flow mechanisms other than exceptions. Our implementation of effect handlers for OCaml: (i) imposes a mean 1% overhead on a comprehensive macro benchmark suite that does not use effect handlers; (ii) remains compatible with program analysis tools that inspect the stack; and (iii) is efficient for new code that makes use of effect handlers.

cs.PL↗

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.

hep-ex↗

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.

cs.PL↗

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.

cs.DC↗

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.

cs.PL↗

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.

hep-ex↗

First-Class Subtypes

First class type equalities, in the form of generalized algebraic data types (GADTs), are commonly found in functional programs. However, first-class representations of other relations between types, such as subtyping, are not yet directly supported in most functional programming languages. We present several encodings of first-class subtypes using existing features of the OCaml language (made more convenient by the proposed modular implicits extension), show that any such encodings are interconvertible, and illustrate the utility of the encodings with several examples.

cs.PL↗

Exploring Nuclear Effects in Neutrino-Nucleus Interactions Using Measurements of Transverse Kinematic Imbalance from T2K and MINERvA

Predictions from widely-used neutrino-nucleus interaction event generators are compared to measurements of transverse kinematic imbalances, made by both the T2K and MINERvA experiments, to allow a joint characterisation of the nuclear physics processes responsible for some of the largest uncertainties in measurements of neutrino oscillations. The role of nucleon-nucleon correlations, initial state nucleon Fermi motion and hadronic re-interactions inside the nuclear medium are explored and areas requiring more theoretical input are identified.

hep-ex↗

Sensitivity of Neutrino-Nucleus Interaction Measurements to 2p2h Excitations

We calculate the charged-current cross sections obtained at the T2K off-axis near detector for $ν_μ$-induced events without pions and any number of protons in the final state using transport theory as encoded in the GiBUU model. In a comparison with recent T2K data the strength of the 2p2h multinucleon correlations is determined. Linking this to the isospin (T) of the initial nuclear state, it is found that T=0 leads to a significantly better fit of the recent cross sections obtained by T2K, thus achieving consistency of the 2p2h multi-nucleon correlation contributions between electron-nucleus and neutrino-nucleus reactions.

hep-ex↗

Results and prospects of the latest $ν_μ$CC0$π$ analyses from the T2K near detectors

In order to make precision measurements of GeV-scale neutrino oscillations a detailed understanding of both GeV-scale neutrino-nucleon scattering cross sections and nuclear effects are essential. To achieve this, many of the latest analyses at the T2K off-axis near detector (ND280) complement existing results by utilising new techniques to measure muon neutrino charged-current interactions without pions in the final state (CC0$π$ interactions). These techniques include water subtraction to obtain a double-differential cross section on oxygen and measurements of differential cross sections using proton kinematics or composite proton-muon variables (such as single transverse kinematic imbalance). In this work these latest CC0$π$ measurements are presented with a view to demonstrating their potential to provide complementary precision cross-section measurements and innovative probes of nuclear effects.}

hep-ex↗

Probing Nuclear Effects at the T2K Near Detector Using Single-Transverse Kinematic Imbalance

In order to make precision measurements of neutrino oscillations using few-GeV neutrino beams a detailed understanding of nuclear effects in neutrino scattering is essential. Recent studies have revealed that single-transverse kinematic imbalance (STKI), defined in the plane transverse to an incoming neutrino beam, can act as a unique probe of these nuclear effects. This work first illustrates that an exclusive measurement of STKI at the off-axis near detector of the T2K experiment (ND280) is expected distinguish the presence of interactions with two nucleons producing two holes (2p-2h) from alterations of the predominant underlying cross-section parameter ($M_A$ - the nucleon axial mass). Such a measurement is then demonstrated with fake data, showing substantial nuclear model separation potential.

hep-ex↗

Probing Nuclear Effects at the T2K Near Detector Using Transverse Kinematic Imbalance

In this work we utilise variables characterising kinematic imbalance in the plane transverse to an incoming neutrino, which have recently been shown to act as a direct probe of nuclear effects (such as final state interactions, Fermi motion and multi-nucleon processes) in $\mathcal{O}$(GeV) neutrino scattering. We present a methodology to measure the charged current differential cross-section with no final state pions and at least one final state proton ($CC0π+Np, N \geq 1$) in these variables at the near detector of the T2K experiment (ND280), using the upstream Fine Grained Detector (FGD1) as a hydrocarbon target. Overall these measurements will allow us to better understand the impact of nuclear effects on the observables in neutrino scattering, providing valuable constraints on the systematic uncertainties associated with neutrino oscillation and scattering measurements for both T2K and other experiments with similar energy neutrino beams.

hep-ex↗

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.

astro-ph.HE↗