Showing 1–50 of 104 results for author: Carneiro, M

Scintillation Light in SBND: Simulation, Reconstruction, and Expected Performance of the Photon Detection System

Authors: SBND Collaboration, P. Abratenko, R. Acciarri, C. Adams, L. Aliaga-Soplin, O. Alterkait, R. Alvarez-Garrote, C. Andreopoulos, A. Antonakis, L. Arellano, J. Asaadi, W. Badgett, S. Balasubramanian, V. Basque, A. Beever, B. Behera, E. Belchior, M. Betancourt, A. Bhat, M. Bishai, A. Blake, B. Bogart, J. Bogenschuetz, D. Brailsford, A. Brandt , et al. (158 additional authors not shown)

Abstract: SBND is the near detector of the Short-Baseline Neutrino program at Fermilab. Its location near to the Booster Neutrino Beam source and relatively large mass will allow the study of neutrino interactions on argon with unprecedented statistics. This paper describes the expected performance of the SBND photon detection system, using a simulated sample of beam neutrinos and cosmogenic particles. Its… ▽ More SBND is the near detector of the Short-Baseline Neutrino program at Fermilab. Its location near to the Booster Neutrino Beam source and relatively large mass will allow the study of neutrino interactions on argon with unprecedented statistics. This paper describes the expected performance of the SBND photon detection system, using a simulated sample of beam neutrinos and cosmogenic particles. Its design is a dual readout concept combining a system of 120 photomultiplier tubes, used for triggering, with a system of 192 X-ARAPUCA devices, located behind the anode wire planes. Furthermore, covering the cathode plane with highly-reflective panels coated with a wavelength-shifting compound recovers part of the light emitted towards the cathode, where no optical detectors exist. We show how this new design provides a high light yield and a more uniform detection efficiency, an excellent timing resolution and an independent 3D-position reconstruction using only the scintillation light. Finally, the whole reconstruction chain is applied to recover the temporal structure of the beam spill, which is resolved with a resolution on the order of nanoseconds. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Comments: 21 pages, 17 figures

Report number: FERMILAB-PUB-24-0303-PPD

Formal Verification of the Empty Hexagon Number

Authors: Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden Codel, Mario Carneiro, Marijn J. H. Heule

Abstract: A recent breakthrough in computer-assisted mathematics showed that every set of $30$ points in the plane in general position (i.e., without three on a common line) contains an empty convex hexagon, thus closing a line of research dating back to the 1930s. Through a combination of geometric insights and automated reasoning techniques, Heule and Scheucher constructed a CNF formula $φ_n$, with… ▽ More A recent breakthrough in computer-assisted mathematics showed that every set of $30$ points in the plane in general position (i.e., without three on a common line) contains an empty convex hexagon, thus closing a line of research dating back to the 1930s. Through a combination of geometric insights and automated reasoning techniques, Heule and Scheucher constructed a CNF formula $φ_n$, with $O(n^4)$ clauses, whose unsatisfiability implies that no set of $n$ points in general position can avoid an empty convex hexagon. An unsatisfiability proof for n = 30 was then found with a SAT solver using 17300 CPU hours of parallel computation, thus implying that the empty hexagon number h(6) is equal to 30. In this paper, we formalize and verify this result in the Lean theorem prover. Our formalization covers discrete computational geometry ideas and SAT encoding techniques that have been successfully applied to similar Erdős-Szekeres-type problems. In particular, our framework provides tools to connect standard mathematical objects to propositional assignments, which represents a key step towards the formal verification of other SAT-based mathematical results. Overall, we hope that this work sets a new standard for verification when extensive computation is used for discrete geometry problems, and that it increases the trust the mathematical community has in computer-assisted proofs in this area. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Comments: submitted to ITP 2024

Lean4Lean: Towards a formalized metatheory for the Lean theorem prover

Authors: Mario Carneiro

Abstract: In this paper we present a new "external verifier" for the Lean theorem prover, written in Lean itself. This is the first complete verifier for Lean 4 other than the reference implementation in C++ used by Lean itself, and our new verifier is competitive with the original, running between 20% and 50% slower and usable to verify all of Lean's mathlib library, forming an additional step in Lean's ai… ▽ More In this paper we present a new "external verifier" for the Lean theorem prover, written in Lean itself. This is the first complete verifier for Lean 4 other than the reference implementation in C++ used by Lean itself, and our new verifier is competitive with the original, running between 20% and 50% slower and usable to verify all of Lean's mathlib library, forming an additional step in Lean's aim to self-host the full elaborator and compiler. Moreover, because the verifier is written in a language which admits formal verification, it is possible to state and prove properties about the kernel itself, and we report on some initial steps taken in this direction to formalize the Lean type theory abstractly and show that the kernel correctly implements this theory, to eliminate the possibility of implementation bugs in the kernel and increase the trustworthiness of proofs conducted in it. This work is still ongoing but we plan to use this project to help justify any future changes to the kernel and type theory and ensure unsoundness does not sneak in through either the abstract theory or implementation bugs. △ Less

Submitted 20 March, 2024; originally announced March 2024.

Comments: 17 pages, submitted to ITP 2024

ACM Class: F.4.1; G.4; D.2.4

Performance of a modular ton-scale pixel-readout liquid argon time projection chamber

Authors: DUNE Collaboration, A. Abed Abud, B. Abi, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, M. Adamowski, D. Adams, M. Adinolfi, C. Adriano, A. Aduszkiewicz, J. Aguilar, B. Aimard, F. Akbar, K. Allison, S. Alonso Monsalve, M. Alrashed, A. Alton, R. Alvarez, T. Alves, H. Amar, P. Amedo, J. Anderson, D. A. Andrade , et al. (1340 additional authors not shown)

Abstract: The Module-0 Demonstrator is a single-phase 600 kg liquid argon time projection chamber operated as a prototype for the DUNE liquid argon near detector. Based on the ArgonCube design concept, Module-0 features a novel 80k-channel pixelated charge readout and advanced high-coverage photon detection system. In this paper, we present an analysis of an eight-day data set consisting of 25 million cosmi… ▽ More The Module-0 Demonstrator is a single-phase 600 kg liquid argon time projection chamber operated as a prototype for the DUNE liquid argon near detector. Based on the ArgonCube design concept, Module-0 features a novel 80k-channel pixelated charge readout and advanced high-coverage photon detection system. In this paper, we present an analysis of an eight-day data set consisting of 25 million cosmic ray events collected in the spring of 2021. We use this sample to demonstrate the imaging performance of the charge and light readout systems as well as the signal correlations between the two. We also report argon purity and detector uniformity measurements, and provide comparisons to detector simulations. △ Less

Submitted 5 March, 2024; originally announced March 2024.

Comments: 47 pages, 41 figures

Report number: FERMILAB-PUB-24-0073-LBNF

Do** Liquid Argon with Xenon in ProtoDUNE Single-Phase: Effects on Scintillation Light

Authors: DUNE Collaboration, A. Abed Abud, B. Abi, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, M. Adamowski, D. Adams, M. Adinolfi, C. Adriano, A. Aduszkiewicz, J. Aguilar, B. Aimard, F. Akbar, K. Allison, S. Alonso Monsalve, M. Alrashed, A. Alton, R. Alvarez, H. Amar Es-sghir, P. Amedo, J. Anderson, D. A. Andrade, C. Andreopoulos , et al. (1300 additional authors not shown)

Abstract: Do** of liquid argon TPCs (LArTPCs) with a small concentration of xenon is a technique for light-shifting and facilitates the detection of the liquid argon scintillation light. In this paper, we present the results of the first do** test ever performed in a kiloton-scale LArTPC. From February to May 2020, we carried out this special run in the single-phase DUNE Far Detector prototype (ProtoDUN… ▽ More Do** of liquid argon TPCs (LArTPCs) with a small concentration of xenon is a technique for light-shifting and facilitates the detection of the liquid argon scintillation light. In this paper, we present the results of the first do** test ever performed in a kiloton-scale LArTPC. From February to May 2020, we carried out this special run in the single-phase DUNE Far Detector prototype (ProtoDUNE-SP) at CERN, featuring 770 t of total liquid argon mass with 410 t of fiducial mass. The goal of the run was to measure the light and charge response of the detector to the addition of xenon, up to a concentration of 18.8 ppm. The main purpose was to test the possibility for reduction of non-uniformities in light collection, caused by deployment of photon detectors only within the anode planes. Light collection was analysed as a function of the xenon concentration, by using the pre-existing photon detection system (PDS) of ProtoDUNE-SP and an additional smaller set-up installed specifically for this run. In this paper we first summarize our current understanding of the argon-xenon energy transfer process and the impact of the presence of nitrogen in argon with and without xenon dopant. We then describe the key elements of ProtoDUNE-SP and the injection method deployed. Two dedicated photon detectors were able to collect the light produced by xenon and the total light. The ratio of these components was measured to be about 0.65 as 18.8 ppm of xenon were injected. We performed studies of the collection efficiency as a function of the distance between tracks and light detectors, demonstrating enhanced uniformity of response for the anode-mounted PDS. We also show that xenon do** can substantially recover light losses due to contamination of the liquid argon by nitrogen. △ Less

Submitted 9 February, 2024; v1 submitted 2 February, 2024; originally announced February 2024.

Comments: 35 pages, 20 figures

Report number: CERN-EP-2024-024; FERMILAB-PUB-23-0819-LBNF

The DUNE Far Detector Vertical Drift Technology, Technical Design Report

Authors: DUNE Collaboration, A. Abed Abud, B. Abi, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, M. Adamowski, D. Adams, M. Adinolfi, C. Adriano, A. Aduszkiewicz, J. Aguilar, B. Aimard, F. Akbar, K. Allison, S. Alonso Monsalve, M. Alrashed, A. Alton, R. Alvarez, H. Amar, P. Amedo, J. Anderson, D. A. Andrade, C. Andreopoulos , et al. (1304 additional authors not shown)

Abstract: DUNE is an international experiment dedicated to addressing some of the questions at the forefront of particle physics and astrophysics, including the mystifying preponderance of matter over antimatter in the early universe. The dual-site experiment will employ an intense neutrino beam focused on a near and a far detector as it aims to determine the neutrino mass hierarchy and to make high-precisi… ▽ More DUNE is an international experiment dedicated to addressing some of the questions at the forefront of particle physics and astrophysics, including the mystifying preponderance of matter over antimatter in the early universe. The dual-site experiment will employ an intense neutrino beam focused on a near and a far detector as it aims to determine the neutrino mass hierarchy and to make high-precision measurements of the PMNS matrix parameters, including the CP-violating phase. It will also stand ready to observe supernova neutrino bursts, and seeks to observe nucleon decay as a signature of a grand unified theory underlying the standard model. The DUNE far detector implements liquid argon time-projection chamber (LArTPC) technology, and combines the many tens-of-kiloton fiducial mass necessary for rare event searches with the sub-centimeter spatial resolution required to image those events with high precision. The addition of a photon detection system enhances physics capabilities for all DUNE physics drivers and opens prospects for further physics explorations. Given its size, the far detector will be implemented as a set of modules, with LArTPC designs that differ from one another as newer technologies arise. In the vertical drift LArTPC design, a horizontal cathode bisects the detector, creating two stacked drift volumes in which ionization charges drift towards anodes at either the top or bottom. The anodes are composed of perforated PCB layers with conductive strips, enabling reconstruction in 3D. Light-trap-style photon detection modules are placed both on the cryostat's side walls and on the central cathode where they are optically powered. This Technical Design Report describes in detail the technical implementations of each subsystem of this LArTPC that, together with the other far detector modules and the near detector, will enable DUNE to achieve its physics goals. △ Less

Submitted 5 December, 2023; originally announced December 2023.

Comments: 425 pages; 281 figures Central editing team: A. Heavey, S. Kettell, A. Marchionni, S. Palestini, S. Rajogopalan, R. J. Wilson

Report number: Fermilab Report no: TM-2813-LBNF

The Twist Property and the Existence of Invariant Curves for Convex Billiards on Surfaces

Authors: Mario Jorge Dias Carneiro, Sonia Pinto-de-Carvalho, Sylvie Oliffson Kamphors, Cassio Henrique Vieira Morais

Abstract: This work presents a framework for billiards in convex domains on two dimensional Riemannian manifolds. These domains are contained in connected, simply connected open subsets which are totally normal. In this context, some basic properties that have long been known for billiards on the plane are established. We prove the twist property and investigate conditions on the billiard for the existence… ▽ More This work presents a framework for billiards in convex domains on two dimensional Riemannian manifolds. These domains are contained in connected, simply connected open subsets which are totally normal. In this context, some basic properties that have long been known for billiards on the plane are established. We prove the twist property and investigate conditions on the billiard for the existence and non existence of rotational invariant curves. △ Less

Submitted 30 August, 2023; v1 submitted 28 August, 2023; originally announced August 2023.

Studying Socially Unacceptable Discourse Classification (SUD) through different eyes: "Are we on the same page ?"

Authors: Bruno Machado Carneiro, Michele Linardi, Julien Longhi

Abstract: We study Socially Unacceptable Discourse (SUD) characterization and detection in online text. We first build and present a novel corpus that contains a large variety of manually annotated texts from different online sources used so far in state-of-the-art Machine learning (ML) SUD detection solutions. This global context allows us to test the generalization ability of SUD classifiers that acquire… ▽ More We study Socially Unacceptable Discourse (SUD) characterization and detection in online text. We first build and present a novel corpus that contains a large variety of manually annotated texts from different online sources used so far in state-of-the-art Machine learning (ML) SUD detection solutions. This global context allows us to test the generalization ability of SUD classifiers that acquire knowledge around the same SUD categories, but from different contexts. From this perspective, we can analyze how (possibly) different annotation modalities influence SUD learning by discussing open challenges and open research directions. We also provide several data insights which can support domain experts in the annotation task. △ Less

Submitted 8 August, 2023; originally announced August 2023.

Reimplementing Mizar in Rust

Authors: Mario Carneiro

Abstract: This paper describes a new open-source proof processing tool, mizar-rs, a wholesale reimplementation of core parts of the Mizar proof system, written in Rust. In particular, the "checker" and "analyzer" of Mizar are implemented, which together form the trusted core of Mizar. This is to our knowledge the first and only external implementation of these components. Thanks to the loose coupling of Miz… ▽ More This paper describes a new open-source proof processing tool, mizar-rs, a wholesale reimplementation of core parts of the Mizar proof system, written in Rust. In particular, the "checker" and "analyzer" of Mizar are implemented, which together form the trusted core of Mizar. This is to our knowledge the first and only external implementation of these components. Thanks to the loose coupling of Mizar's passes, it is possible to use the checker as a drop-in replacement for the original, and we have used this to verify the entire MML in 11.8 minutes on 8 cores, a 4.8x speedup over the original Pascal implementation. Since Mizar is not designed to have a small trusted core, checking Mizar proofs entails following Mizar closely, so our ability to detect bugs is limited. Nevertheless, we were able to find multiple memory errors, four soundness bugs in the original (which were not being exploited in MML), in addition to one non-critical bug which was being exploited in 46 different MML articles. We hope to use this checker as a base for proof export tooling, as well as revitalizing development of the language. △ Less

Submitted 26 February, 2023; originally announced April 2023.

Comments: 16 pages, submitted to ITP 2023

ACM Class: F.4.1; G.4; D.2.4

Impact of cross-section uncertainties on supernova neutrino spectral parameter fitting in the Deep Underground Neutrino Experiment

Authors: DUNE Collaboration, A. Abed Abud, B. Abi, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, M. Adamowski, D. Adams, M. Adinolfi, C. Adriano, A. Aduszkiewicz, J. Aguilar, Z. Ahmad, J. Ahmed, B. Aimard, F. Akbar, K. Allison, S. Alonso Monsalve, M. Alrashed, A. Alton, R. Alvarez, P. Amedo, J. Anderson, D. A. Andrade , et al. (1294 additional authors not shown)

Abstract: A primary goal of the upcoming Deep Underground Neutrino Experiment (DUNE) is to measure the $\mathcal{O}(10)$ MeV neutrinos produced by a Galactic core-collapse supernova if one should occur during the lifetime of the experiment. The liquid-argon-based detectors planned for DUNE are expected to be uniquely sensitive to the $ν_e$ component of the supernova flux, enabling a wide variety of physics… ▽ More A primary goal of the upcoming Deep Underground Neutrino Experiment (DUNE) is to measure the $\mathcal{O}(10)$ MeV neutrinos produced by a Galactic core-collapse supernova if one should occur during the lifetime of the experiment. The liquid-argon-based detectors planned for DUNE are expected to be uniquely sensitive to the $ν_e$ component of the supernova flux, enabling a wide variety of physics and astrophysics measurements. A key requirement for a correct interpretation of these measurements is a good understanding of the energy-dependent total cross section $σ(E_ν)$ for charged-current $ν_e$ absorption on argon. In the context of a simulated extraction of supernova $ν_e$ spectral parameters from a toy analysis, we investigate the impact of $σ(E_ν)$ modeling uncertainties on DUNE's supernova neutrino physics sensitivity for the first time. We find that the currently large theoretical uncertainties on $σ(E_ν)$ must be substantially reduced before the $ν_e$ flux parameters can be extracted reliably: in the absence of external constraints, a measurement of the integrated neutrino luminosity with less than 10\% bias with DUNE requires $σ(E_ν)$ to be known to about 5%. The neutrino spectral shape parameters can be known to better than 10% for a 20% uncertainty on the cross-section scale, although they will be sensitive to uncertainties on the shape of $σ(E_ν)$. A direct measurement of low-energy $ν_e$-argon scattering would be invaluable for improving the theoretical precision to the needed level. △ Less

Submitted 7 July, 2023; v1 submitted 29 March, 2023; originally announced March 2023.

Comments: 25 pages, 21 figures

Report number: FERMILAB-PUB-23-132-CSAID-LBNF-ND-T

Journal ref: Phys. Rev. D 107, 112012 (2023)

Simultaneous measurement of muon neutrino quasielastic-like cross sections on CH, C, water, Fe, and Pb as a function of muon kinematics at MINERvA

Authors: J. Kleykamp, S. Akhter, Z. Ahmad Dar, V. Ansari, M. V. Ascencio, M. Sajjad Athar, A. Bashyal, A. Bercellie, M. Betancourt, A. Bodek, J. L. Bonilla, A. Bravar, H. Budd, G. Caceres, T. Cai, M. F. Carneiro, G. A. Díaz, H. da Motta, S. A. Dytman, J. Felix, L. Fields, A. Filkins, R. Fine, A. M. Gago, H. Gallagher , et al. (43 additional authors not shown)

Abstract: This paper presents the first simultaneous measurement of the quasielastic-like neutrino-nucleus cross sections on C, water, Fe, Pb and scintillator (hydrocarbon or CH) as a function of longitudinal and transverse muon momentum. The ratio of cross sections per nucleon between Pb and CH is always above unity and has a characteristic shape as a function of transverse muon momentum that evolves slowl… ▽ More This paper presents the first simultaneous measurement of the quasielastic-like neutrino-nucleus cross sections on C, water, Fe, Pb and scintillator (hydrocarbon or CH) as a function of longitudinal and transverse muon momentum. The ratio of cross sections per nucleon between Pb and CH is always above unity and has a characteristic shape as a function of transverse muon momentum that evolves slowly as a function of longitudinal muon momentum. The ratio is constant versus longitudinal momentum within uncertainties above a longitudinal momentum of 4.5GeV/c. The cross section ratios to CH for C, water, and Fe remain roughly constant with increasing longitudinal momentum, and the ratios between water or C to CH do not have any significant deviation from unity. Both the overall cross section level and the shape for Pb and Fe as a function of transverse muon momentum are not reproduced by current neutrino event generators. These measurements provide a direct test of nuclear effects in quasielastic-like interactions, which are major contributors to long-baseline neutrino oscillation data samples. △ Less

Submitted 5 January, 2023; originally announced January 2023.

Comments: 9 pages, 8 flgures, including supplemental material

Report number: FERMILAB-PUB-23-001-ND

Highly-parallelized simulation of a pixelated LArTPC on a GPU

Authors: DUNE Collaboration, A. Abed Abud, B. Abi, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, M. Adamowski, D. Adams, M. Adinolfi, C. Adriano, A. Aduszkiewicz, J. Aguilar, Z. Ahmad, J. Ahmed, B. Aimard, F. Akbar, K. Allison, S. Alonso Monsalve, M. Alrashed, C. Alt, A. Alton, R. Alvarez, P. Amedo, J. Anderson , et al. (1282 additional authors not shown)

Abstract: The rapid development of general-purpose computing on graphics processing units (GPGPU) is allowing the implementation of highly-parallelized Monte Carlo simulation chains for particle physics experiments. This technique is particularly suitable for the simulation of a pixelated charge readout for time projection chambers, given the large number of channels that this technology employs. Here we pr… ▽ More The rapid development of general-purpose computing on graphics processing units (GPGPU) is allowing the implementation of highly-parallelized Monte Carlo simulation chains for particle physics experiments. This technique is particularly suitable for the simulation of a pixelated charge readout for time projection chambers, given the large number of channels that this technology employs. Here we present the first implementation of a full microphysical simulator of a liquid argon time projection chamber (LArTPC) equipped with light readout and pixelated charge readout, developed for the DUNE Near Detector. The software is implemented with an end-to-end set of GPU-optimized algorithms. The algorithms have been written in Python and translated into CUDA kernels using Numba, a just-in-time compiler for a subset of Python and NumPy instructions. The GPU implementation achieves a speed up of four orders of magnitude compared with the equivalent CPU version. The simulation of the current induced on $10^3$ pixels takes around 1 ms on the GPU, compared with approximately 10 s on the CPU. The results of the simulation are compared against data from a pixel-readout LArTPC prototype. △ Less

Submitted 28 February, 2023; v1 submitted 19 December, 2022; originally announced December 2022.

Comments: 26 pages, 15 figures

Report number: FERMILAB-PUB-22-926-LBNF

High-Statistics Measurement of Antineutrino Quasielastic-like scattering at $E_ν\sim$ 6~GeV on a Hydrocarbon Target

Authors: A. Bashyal, S. Akhter, Z. Ahmad Dar, F. Akbar, V. Ansari, M. V. Ascencio, M. Sajjad Athar, A. Bercellie, M. Betancourt, A. Bodek, J. L. Bonilla, A. Bravar, H. Budd, G. Caceres, M. F. Carneiro, G. A. Díaz, J. Felix, L. Fields, A. Filkins, R. Fine, A. M. Gago, H. Gallagher, P. K. Gaur, S. M. Gilligan, R. Gran , et al. (44 additional authors not shown)

Abstract: We present measurements of the cross section for anti-neutrino charged-current quasielastic-like scattering on hydrocarbon using the medium energy (ME) NuMI wide-band neutrino beam peaking at $<E_ν>\sim 6$ GeV. The cross section measurements are presented as a function of the longitudinal momentum ($p_{||}$) and transverse momentum ($p_{T}$) of the final state muon. This work complements our previ… ▽ More We present measurements of the cross section for anti-neutrino charged-current quasielastic-like scattering on hydrocarbon using the medium energy (ME) NuMI wide-band neutrino beam peaking at $<E_ν>\sim 6$ GeV. The cross section measurements are presented as a function of the longitudinal momentum ($p_{||}$) and transverse momentum ($p_{T}$) of the final state muon. This work complements our previously reported high statistics measurement in the neutrino channel and extends the previous anti-neutrino measurement made in the low energy (LE) beam at neutrino energy($<E_ν>$) $\sim$ 3.5 GeV to $p_{T}$ of 2.5 GeV/c. Current theoretical models do not completely describe the data in this previously unexplored high $p_{T}$ region. The single differential cross section as a function of four momentum transfer ($Q^{2}_{QE}$) now extends to 4 GeV$^2$ with high statistics. The cross section as a function of $Q^{2}_{QE}$ shows that the tuned simulations developed by the MINERvA collaboration that agreed well with the low energy beam measurements do not agree as well with the medium energy beam measurements. Newer neutrino interaction models such as the GENIE 3 tunes are better able to simulate the high $Q^{2}_{QE}$. △ Less

Submitted 25 June, 2023; v1 submitted 18 November, 2022; originally announced November 2022.

Comments: 17 pages, 14 figures

Report number: FERMILAB-PUB-22-835

Identification and reconstruction of low-energy electrons in the ProtoDUNE-SP detector

Authors: DUNE Collaboration, A. Abed Abud, B. Abi, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, M. Adamowski, D. Adams, M. Adinolfi, C. Adriano, A. Aduszkiewicz, J. Aguilar, Z. Ahmad, J. Ahmed, B. Aimard, F. Akbar, K. Allison, S. Alonso Monsalve, M. Alrashed, C. Alt, A. Alton, R. Alvarez, P. Amedo, J. Anderson , et al. (1235 additional authors not shown)

Abstract: Measurements of electrons from $ν_e$ interactions are crucial for the Deep Underground Neutrino Experiment (DUNE) neutrino oscillation program, as well as searches for physics beyond the standard model, supernova neutrino detection, and solar neutrino measurements. This article describes the selection and reconstruction of low-energy (Michel) electrons in the ProtoDUNE-SP detector. ProtoDUNE-SP is… ▽ More Measurements of electrons from $ν_e$ interactions are crucial for the Deep Underground Neutrino Experiment (DUNE) neutrino oscillation program, as well as searches for physics beyond the standard model, supernova neutrino detection, and solar neutrino measurements. This article describes the selection and reconstruction of low-energy (Michel) electrons in the ProtoDUNE-SP detector. ProtoDUNE-SP is one of the prototypes for the DUNE far detector, built and operated at CERN as a charged particle test beam experiment. A sample of low-energy electrons produced by the decay of cosmic muons is selected with a purity of 95%. This sample is used to calibrate the low-energy electron energy scale with two techniques. An electron energy calibration based on a cosmic ray muon sample uses calibration constants derived from measured and simulated cosmic ray muon events. Another calibration technique makes use of the theoretically well-understood Michel electron energy spectrum to convert reconstructed charge to electron energy. In addition, the effects of detector response to low-energy electron energy scale and its resolution including readout electronics threshold effects are quantified. Finally, the relation between the theoretical and reconstructed low-energy electron energy spectrum is derived and the energy resolution is characterized. The low-energy electron selection presented here accounts for about 75% of the total electron deposited energy. After the addition of lost energy using a Monte Carlo simulation, the energy resolution improves from about 40% to 25% at 50~MeV. These results are used to validate the expected capabilities of the DUNE far detector to reconstruct low-energy electrons. △ Less

Submitted 31 May, 2023; v1 submitted 2 November, 2022; originally announced November 2022.

Comments: 19 pages, 10 figures

Report number: FERMILAB-PUB-22-784, CERN-EP-DRAFT-MISC-2022-008

Journal ref: Phys. Rev. D 107, 092012 (2023)

Snowmass Early Career

Authors: Garvita Agarwal, Joshua L. Barrow, Mateus F. Carneiro, Thomas Y. Chen, Erin Conley, Rob Fine, Julia Gonski, Erin V. Hansen, Sam Hedges, Christian Herwig, Samuel Homiller, Tiffany R. Lewis, Tanaz A. Mohayai, Maria Elidaiana da Silva Pereira, Fernanda Psihas, Amber Roepe-Gier, Sara M. Simon, Jorge Torres, Jacob Zettlemoyer

Abstract: The Snowmass 2021 strategic planning process provided an essential opportunity for the United States high energy physics and astroparticle (HEPA) community to come together and discuss upcoming physics goals and experiments. As this forward-looking perspective on the field often reaches far enough into the future to surpass the timescale of a single career, consideration of the next generation of… ▽ More The Snowmass 2021 strategic planning process provided an essential opportunity for the United States high energy physics and astroparticle (HEPA) community to come together and discuss upcoming physics goals and experiments. As this forward-looking perspective on the field often reaches far enough into the future to surpass the timescale of a single career, consideration of the next generation of physicists is crucial. The 2021 Snowmass Early Career (SEC) organization aimed to unite this group, with the purpose of both educating the newest generation of physicists while informing the senior generation of their interests and opinions. SEC is the latest in a series of the previously dubbed "Snowmass Young" organizations, from 2013 and 2001. This iteration has expanded on these efforts to significantly increase involvement and broaden the representation of the early career community in the process. Early career physicists are the future of the field. They will design, build, and operate next-generation experiments, and put in the work to usher in new discoveries. They are also disproportionately involved in work to improve the climate within HEPA. This document summarizes the work of SEC in consolidating a huge variety of physics perspectives and community opinions towards a bright, strategic future. △ Less

Submitted 18 November, 2022; v1 submitted 20 October, 2022; originally announced October 2022.

Comments: 27 pages, 11 figures. arXiv admin note: substantial text overlap with arXiv:2203.07328

Hyperbolicity and Abundance of Elliptical Islands in Annular Billiards

Authors: R. B. Batista, M. J. Dias Carneiro, S. Oliffson Kamphorst

Abstract: We study the billiard dynamics in annular tables between two excentric circles. As the center and the radius of the inner circle change, a two parameters map is defined by the first return of trajectories to the obstacle. We obtain an increasing family of hyperbolic sets, in the sense of the Hausdorff distance, as the radius goes to zero and the center of the obstacle approximates the outer bounda… ▽ More We study the billiard dynamics in annular tables between two excentric circles. As the center and the radius of the inner circle change, a two parameters map is defined by the first return of trajectories to the obstacle. We obtain an increasing family of hyperbolic sets, in the sense of the Hausdorff distance, as the radius goes to zero and the center of the obstacle approximates the outer boundary. The dynamics on each of these sets is conjugate to a shift with an increasing number of symbols. We also show that for many parameters the system presents quadratic homoclinic tangencies whose bifurcation gives rise to elliptical islands (Conservative Newhouse Phenomenon). Thus, for many parameters we obtain the coexistence of a "large" hyperbolic set with many elliptical islands. △ Less

Submitted 8 August, 2022; originally announced August 2022.

MSC Class: 37C83

Snowmass '21 Community Engagement Frontier 6: Public Policy and Government Engagement: Congressional Advocacy for HEP Funding (The "DC Trip'')

Authors: Mateus Carneiro, Richie Diurba, Rob Fine, Mandeep Gill, Ketino Kaadze, Harvey Newman, Kevin Pedro, Alexx Perloff, Louise Suter, Shawn Westerdale

Abstract: This document has been prepared as a Snowmass contributed paper by the Public Policy \& Government Engagement topical group (CEF06) within the Community Engagement Frontier. The charge of CEF06 is to review all aspects of how the High Energy Physics (HEP) community engages with government at all levels and how public policy impacts members of the community and the community at large, and to assess… ▽ More This document has been prepared as a Snowmass contributed paper by the Public Policy \& Government Engagement topical group (CEF06) within the Community Engagement Frontier. The charge of CEF06 is to review all aspects of how the High Energy Physics (HEP) community engages with government at all levels and how public policy impacts members of the community and the community at large, and to assess and raise awareness within the community of direct community-driven engagement of the U.S. federal government (\textit{i.e.} advocacy). The focus of this paper is the advocacy undertaken by the HEP community that pertains directly to the funding of the field by the U.S. federal government. △ Less

Submitted 11 July, 2022; v1 submitted 30 June, 2022; originally announced July 2022.

Reconstruction of interactions in the ProtoDUNE-SP detector with Pandora

Authors: DUNE Collaboration, A. Abed Abud, B. Abi, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, M. Adamowski, D. Adams, M. Adinolfi, C. Adriano, A. Aduszkiewicz, J. Aguilar, Z. Ahmad, J. Ahmed, B. Aimard, F. Akbar, B. Ali-Mohammadzadeh, K. Allison, S. Alonso Monsalve, M. AlRashed, C. Alt, A. Alton, R. Alvarez, P. Amedo , et al. (1203 additional authors not shown)

Abstract: The Pandora Software Development Kit and algorithm libraries provide pattern-recognition logic essential to the reconstruction of particle interactions in liquid argon time projection chamber detectors. Pandora is the primary event reconstruction software used at ProtoDUNE-SP, a prototype for the Deep Underground Neutrino Experiment far detector. ProtoDUNE-SP, located at CERN, is exposed to a char… ▽ More The Pandora Software Development Kit and algorithm libraries provide pattern-recognition logic essential to the reconstruction of particle interactions in liquid argon time projection chamber detectors. Pandora is the primary event reconstruction software used at ProtoDUNE-SP, a prototype for the Deep Underground Neutrino Experiment far detector. ProtoDUNE-SP, located at CERN, is exposed to a charged-particle test beam. This paper gives an overview of the Pandora reconstruction algorithms and how they have been tailored for use at ProtoDUNE-SP. In complex events with numerous cosmic-ray and beam background particles, the simulated reconstruction and identification efficiency for triggered test-beam particles is above 80% for the majority of particle type and beam momentum combinations. Specifically, simulated 1 GeV/$c$ charged pions and protons are correctly reconstructed and identified with efficiencies of 86.1$\pm0.6$% and 84.1$\pm0.6$%, respectively. The efficiencies measured for test-beam data are shown to be within 5% of those predicted by the simulation. △ Less

Submitted 17 July, 2023; v1 submitted 29 June, 2022; originally announced June 2022.

Comments: 39 pages, 20 figures. Accepted version. Published version available in Eur. Phys. J. C 83, 618 (2023) https://doi.org/10.1140/epjc/s10052-023-11733-2

Report number: FERMILAB-PUB-22-488-AD-ESH-LBNF-ND-SCD, CERN-EP-DRAFT-MISC-2022-007

Journal ref: Eur. Phys. J. C 83, 618 (2023)

Separation of track- and shower-like energy deposits in ProtoDUNE-SP using a convolutional neural network

Authors: DUNE Collaboration, A. Abed Abud, B. Abi, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, M. Adamowski, D. Adams, M. Adinolfi, A. Aduszkiewicz, J. Aguilar, Z. Ahmad, J. Ahmed, B. Aimard, B. Ali-Mohammadzadeh, T. Alion, K. Allison, S. Alonso Monsalve, M. AlRashed, C. Alt, A. Alton, R. Alvarez, P. Amedo, J. Anderson , et al. (1204 additional authors not shown)

Abstract: Liquid argon time projection chamber detector technology provides high spatial and calorimetric resolutions on the charged particles traversing liquid argon. As a result, the technology has been used in a number of recent neutrino experiments, and is the technology of choice for the Deep Underground Neutrino Experiment (DUNE). In order to perform high precision measurements of neutrinos in the det… ▽ More Liquid argon time projection chamber detector technology provides high spatial and calorimetric resolutions on the charged particles traversing liquid argon. As a result, the technology has been used in a number of recent neutrino experiments, and is the technology of choice for the Deep Underground Neutrino Experiment (DUNE). In order to perform high precision measurements of neutrinos in the detector, final state particles need to be effectively identified, and their energy accurately reconstructed. This article proposes an algorithm based on a convolutional neural network to perform the classification of energy deposits and reconstructed particles as track-like or arising from electromagnetic cascades. Results from testing the algorithm on data from ProtoDUNE-SP, a prototype of the DUNE far detector, are presented. The network identifies track- and shower-like particles, as well as Michel electrons, with high efficiency. The performance of the algorithm is consistent between data and simulation. △ Less

Submitted 30 June, 2022; v1 submitted 31 March, 2022; originally announced March 2022.

Comments: 31 pages, 15 figures

Report number: FERMILAB-PUB-22-240-AD-ESH-LBNF-ND-SCD, CERN-EP-2022-077

Journal ref: Eur.Phys.J.C 82 (2022) 10, 903

Scintillation light detection in the 6-m drift-length ProtoDUNE Dual Phase liquid argon TPC

Authors: DUNE Collaboration, A. Abed Abud, B. Abi, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, M. Adamowski, D. Adams, M. Adinolfi, A. Aduszkiewicz, J. Aguilar, Z. Ahmad, J. Ahmed, B. Aimard, B. Ali-Mohammadzadeh, T. Alion, K. Allison, S. Alonso Monsalve, M. AlRashed, C. Alt, A. Alton, R. Alvarez, P. Amedo, J. Anderson , et al. (1202 additional authors not shown)

Abstract: DUNE is a dual-site experiment for long-baseline neutrino oscillation studies, neutrino astrophysics and nucleon decay searches. ProtoDUNE Dual Phase (DP) is a 6x6x6m3 liquid argon time-projection-chamber (LArTPC) that recorded cosmic-muon data at the CERN Neutrino Platform in 2019-2020 as a prototype of the DUNE Far Detector. Charged particles propagating through the LArTPC produce ionization and… ▽ More DUNE is a dual-site experiment for long-baseline neutrino oscillation studies, neutrino astrophysics and nucleon decay searches. ProtoDUNE Dual Phase (DP) is a 6x6x6m3 liquid argon time-projection-chamber (LArTPC) that recorded cosmic-muon data at the CERN Neutrino Platform in 2019-2020 as a prototype of the DUNE Far Detector. Charged particles propagating through the LArTPC produce ionization and scintillation light. The scintillation light signal in these detectors can provide the trigger for non-beam events. In addition, it adds precise timing capabilities and improves the calorimetry measurements. In ProtoDUNE-DP, scintillation and electroluminescence light produced by cosmic muons in the LArTPC is collected by photomultiplier tubes placed up to 7 m away from the ionizing track. In this paper, the ProtoDUNE-DP photon detection system performance is evaluated with a particular focus on the different wavelength shifters, such as PEN and TPB, and the use of Xe-doped LAr, considering its future use in giant LArTPCs. The scintillation light production and propagation processes are analyzed and a comparison of simulation to data is performed, improving understanding of the liquid argon properties △ Less

Submitted 3 June, 2022; v1 submitted 30 March, 2022; originally announced March 2022.

Comments: 31 pages, 29 figures

Report number: CERN-EP-DRAFT-MISC-2022-003; FERMILAB-PUB-22-242-LBNF

The need for structural changes to create impactful public engagement in US particle physics

Authors: Kétévi Adiklè Assamagan, Mateus Carneiro, Sarah Demers, Kathryn Jepsen, Don Lincoln, Azwinndini Muronga

Abstract: This Snowmass21 Contributed Paper addresses the structural changes that need to occur in the many groups and organizations that intersect with the US particle physics community to enable impactful public engagement to flourish. The impetus for these changes should come from the particle physics community, which should acknowledge the importance of public engagement and act on the recommendations i… ▽ More This Snowmass21 Contributed Paper addresses the structural changes that need to occur in the many groups and organizations that intersect with the US particle physics community to enable impactful public engagement to flourish. The impetus for these changes should come from the particle physics community, which should acknowledge the importance of public engagement and act on the recommendations in this Snowmass contributed paper. Scientists have expressed frustration at the barriers, penalties and lack of support that discourage them from participating in public engagement. In this paper, we provide many ways to create a supportive, enabling atmosphere for public engagement among physicists. △ Less

Submitted 16 March, 2022; originally announced March 2022.

Comments: 22 pages

Simultaneous measurement of proton and lepton kinematics in quasielastic-like $ν_μ$-hydrocarbon interactions from 2 to 20 GeV

Authors: The MINERvA Collaboration, D. Ruterbories, S. Akhter, Z. Ahmad Dar, F. Akbar, V. Ansari, M. V. Ascencio, M. Sajjad Athar, A. Bashyal, A. Bercellie, M. Betancourt, A. Bodek, J. L. Bonilla, A. Bravar, H. Budd, G. Caceres, T. Cai, M. F. Carneiro, G. A. Díaz, H. da Motta, J. Felix, L. Fields, A. Filkins, R. Fine, A. M. Gago , et al. (49 additional authors not shown)

Abstract: Neutrino charged-current quasielastic-like scattering, a reaction category extensively used in neutrino oscillation measurements, probes nuclear effects that govern neutrino-nucleus interactions. This Letter reports the first measurement of the triple-differential cross section for $ν_μ$ quasielastic-like reactions using the hydrocarbon medium of the MINERvA detector exposed to a wide-band beam sp… ▽ More Neutrino charged-current quasielastic-like scattering, a reaction category extensively used in neutrino oscillation measurements, probes nuclear effects that govern neutrino-nucleus interactions. This Letter reports the first measurement of the triple-differential cross section for $ν_μ$ quasielastic-like reactions using the hydrocarbon medium of the MINERvA detector exposed to a wide-band beam spanning 2 $\leq$ E$_ν\leq$ 20 GeV. The measurement maps the correlations among transverse and longitudinal muon momenta and summed proton kinetic energies, and compares them to predictions from a state-of-art simulation. Discrepancies are observed that likely reflect shortfalls with modeling of pion and nucleon intranuclear scattering and/or spectator nucleon ejection from struck nuclei. The separate determination of leptonic and hadronic variables can inform experimental approaches to neutrino-energy estimation. △ Less

Submitted 25 May, 2022; v1 submitted 14 March, 2022; originally announced March 2022.

Comments: 6 pages, 4 figures. Supplementary 18 figures

Report number: FERMILAB-PUB-22-130-PPD-QIS-SCD

Snowmass 2021 Community Survey Report

Authors: Garvita Agarwal, Joshua L. Barrow, Mateus F. Carneiro, Erin Conley, Maria Elidaiana da Silva Pereira, Sam Hedges, Samuel Homiller, Ivan Lepetic, Tianhuan Luo

Abstract: The Snowmass Community Survey was designed by the Snowmass Early Career (SEC) Survey Core Initiative team between April 2020 and June 2021, and released to the community on June 28, 2021. It aims to be a comprehensive assessment of the state of the high-energy particle and astrophysics (HEPA) community, if not the field, though the Snowmass process is largely based within the United States. Among… ▽ More The Snowmass Community Survey was designed by the Snowmass Early Career (SEC) Survey Core Initiative team between April 2020 and June 2021, and released to the community on June 28, 2021. It aims to be a comprehensive assessment of the state of the high-energy particle and astrophysics (HEPA) community, if not the field, though the Snowmass process is largely based within the United States. Among other topics, some of the central foci of the Survey were to gather demographic, career, physics outlook, and workplace culture data on a large segment of the Snowmass community. With nearly $1500$ total interactions with the Survey, the SEC Survey team hopes the findings and discussions within this report will be of service to the community over the next decade. Some conclusions should reinforce the aspects of HEPA which are already functional and productive, while others should strengthen arguments for cultural and policy changes within the field. △ Less

Submitted 23 July, 2022; v1 submitted 14 March, 2022; originally announced March 2022.

Comments: Contribution to Snowmass 2021. Submitted by the Snowmass Early Career Survey Initiative

A Gaseous Argon-Based Near Detector to Enhance the Physics Capabilities of DUNE

Authors: A. Abed Abud, B. Abi, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, M. Adamowski, D. Adams, M. Adinolfi, C. Adriano, A. Aduszkiewicz, J. Aguilar, Z. Ahmad, J. Ahmed, B. Aimard, F. Akbar, B. Ali-Mohammadzadeh, T. Alion, K. Allison, S. Alonso Monsalve, M. AlRashed, C. Alt, A. Alton, R. Alvarez, P. Amedo , et al. (1220 additional authors not shown)

Abstract: This document presents the concept and physics case for a magnetized gaseous argon-based detector system (ND-GAr) for the Deep Underground Neutrino Experiment (DUNE) Near Detector. This detector system is required in order for DUNE to reach its full physics potential in the measurement of CP violation and in delivering precision measurements of oscillation parameters. In addition to its critical r… ▽ More This document presents the concept and physics case for a magnetized gaseous argon-based detector system (ND-GAr) for the Deep Underground Neutrino Experiment (DUNE) Near Detector. This detector system is required in order for DUNE to reach its full physics potential in the measurement of CP violation and in delivering precision measurements of oscillation parameters. In addition to its critical role in the long-baseline oscillation program, ND-GAr will extend the overall physics program of DUNE. The LBNF high-intensity proton beam will provide a large flux of neutrinos that is sampled by ND-GAr, enabling DUNE to discover new particles and search for new interactions and symmetries beyond those predicted in the Standard Model. △ Less

Submitted 11 March, 2022; originally announced March 2022.

Comments: Contribution to Snowmass 2021

Snowmass Neutrino Frontier: DUNE Physics Summary

Authors: DUNE Collaboration, A. Abed Abud, B. Abi, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, M. Adamowski, D. Adams, M. Adinolfi, C. Adriano, A. Aduszkiewicz, J. Aguilar, Z. Ahmad, J. Ahmed, B. Aimard, F. Akbar, B. Ali-Mohammadzadeh, T. Alion, K. Allison, S. Alonso Monsalve, M. AlRashed, C. Alt, A. Alton, R. Alvarez , et al. (1221 additional authors not shown)

Abstract: The Deep Underground Neutrino Experiment (DUNE) is a next-generation long-baseline neutrino oscillation experiment with a primary physics goal of observing neutrino and antineutrino oscillation patterns to precisely measure the parameters governing long-baseline neutrino oscillation in a single experiment, and to test the three-flavor paradigm. DUNE's design has been developed by a large, internat… ▽ More The Deep Underground Neutrino Experiment (DUNE) is a next-generation long-baseline neutrino oscillation experiment with a primary physics goal of observing neutrino and antineutrino oscillation patterns to precisely measure the parameters governing long-baseline neutrino oscillation in a single experiment, and to test the three-flavor paradigm. DUNE's design has been developed by a large, international collaboration of scientists and engineers to have unique capability to measure neutrino oscillation as a function of energy in a broadband beam, to resolve degeneracy among oscillation parameters, and to control systematic uncertainty using the exquisite imaging capability of massive LArTPC far detector modules and an argon-based near detector. DUNE's neutrino oscillation measurements will unambiguously resolve the neutrino mass ordering and provide the sensitivity to discover CP violation in neutrinos for a wide range of possible values of $δ_{CP}$. DUNE is also uniquely sensitive to electron neutrinos from a galactic supernova burst, and to a broad range of physics beyond the Standard Model (BSM), including nucleon decays. DUNE is anticipated to begin collecting physics data with Phase I, an initial experiment configuration consisting of two far detector modules and a minimal suite of near detector components, with a 1.2 MW proton beam. To realize its extensive, world-leading physics potential requires the full scope of DUNE be completed in Phase II. The three Phase II upgrades are all necessary to achieve DUNE's physics goals: (1) addition of far detector modules three and four for a total FD fiducial mass of at least 40 kt, (2) upgrade of the proton beam power from 1.2 MW to 2.4 MW, and (3) replacement of the near detector's temporary muon spectrometer with a magnetized, high-pressure gaseous argon TPC and calorimeter. △ Less

Submitted 11 March, 2022; originally announced March 2022.

Comments: Contribution to Snowmass 2021

Vertex finding in neutrino-nucleus interaction: A Model Architecture Comparison

Authors: F. Akbar, A. Ghosh, S. Young, S. Akhter, Z. Ahmad Dar, V. Ansari, M. V. Ascencio, M. Sajjad Athar, A. Bodek, J. L. Bonilla, A. Bravar, H. Budd, G. Caceres, T. Cai, M. F. Carneiro, G. A. Díaz, J. Felix, L. Fields, A. Filkins, R. Fine, P. K. Gaura, R. Gran, D. A. Harris, D. Jena, S. Jena , et al. (26 additional authors not shown)

Abstract: We compare different neural network architectures for Machine Learning (ML) algorithms designed to identify the neutrino interaction vertex position in the MINERvA detector. The architectures developed and optimized by hand are compared with the architectures developed in an automated way using the package "Multi-node Evolutionary Neural Networks for Deep Learning" (MENNDL), developed at Oak Ridge… ▽ More We compare different neural network architectures for Machine Learning (ML) algorithms designed to identify the neutrino interaction vertex position in the MINERvA detector. The architectures developed and optimized by hand are compared with the architectures developed in an automated way using the package "Multi-node Evolutionary Neural Networks for Deep Learning" (MENNDL), developed at Oak Ridge National Laboratory (ORNL). The two architectures resulted in a similar performance which suggests that the systematics associated with the optimized network architecture are small. Furthermore, we find that while the domain expert hand-tuned network was the best performer, the differences were negligible and the auto-generated networks performed well. There is always a trade-off between human, and computer resources for network optimization and this work suggests that automated optimization, assuming resources are available, provides a compelling way to save significant expert time. △ Less

Submitted 7 January, 2022; originally announced January 2022.

An Efficient Contact Algorithm for Rigid/Deformable Interaction based on the Dual Mortar Method

Authors: R. Pinto Carvalho, A. M. Couto Carneiro, F. M. Andrade Pires, A. Popp

Abstract: In a wide range of practical problems, such as forming operations and impact tests, assuming that one of the contacting bodies is rigid is an excellent approximation to the physical phenomenon. In this work, the well-established dual mortar method is adopted to enforce interface constraints in the finite deformation frictionless contact of rigid and deformable bodies. The efficiency of the nonline… ▽ More In a wide range of practical problems, such as forming operations and impact tests, assuming that one of the contacting bodies is rigid is an excellent approximation to the physical phenomenon. In this work, the well-established dual mortar method is adopted to enforce interface constraints in the finite deformation frictionless contact of rigid and deformable bodies. The efficiency of the nonlinear contact algorithm proposed here is based on two main contributions. Firstly, a variational formulation of the method using the so-called Petrov-Galerkin scheme is investigated, as it unlocks a significant simplification by removing the need to explicitly evaluate the dual basis functions. The corresponding first-order dual mortar interpolation is presented in detail. Particular focus is, then, placed on the extension for second-order interpolation by employing a piecewise linear interpolation scheme, which critically retains the geometrical information of the finite element mesh. Secondly, a new definition for the nodal orthonormal moving frame attached to each contact node is suggested. It reduces the geometrical coupling between the nodes and consequently decreases the stiffness matrix bandwidth. The proposed contributions decrease the computational complexity of dual mortar methods for rigid/deformable interaction, especially in the three-dimensional setting, while preserving accuracy and robustness. △ Less

Submitted 6 October, 2022; v1 submitted 4 January, 2022; originally announced January 2022.

Journal ref: Computational Mechanics 2022

Measurement of inclusive charged-current $ν_{\numu}$ scattering on hydrocarbon at {<Enu>} 6 GeV with low three-momentum transfer

Authors: M. V. Ascencio, D. A. Andrade, I. Mahbub, Z. Ahmad Dar, F. Akbar, A. Bashyal, S. Bender, A. Bercellie, M. Betancourt, A. Bodek, J. L. Bonilla, K. Bonin, H. Budd, T. Cai, M. F. Carneiro, G. A. Diaz, H. da Motta, J. Felix, L. Fields, A. Filkins, R. Fine, N. Fuad, A. M. Gago, H. Gallagher, A. Ghosh , et al. (41 additional authors not shown)

Abstract: The \minerva experiment reports double-differential cross-section measurements for $ν_μ$-carbon interactions with three-momentum transfer $|\vec{q}| < 1.2$ GeV obtained with medium energy exposures in the NuMI beam. These measurements are performed as a function of the three-momentum transfer and an energy transfer estimator called the available energy defined as the energy that would be visible i… ▽ More The \minerva experiment reports double-differential cross-section measurements for $ν_μ$-carbon interactions with three-momentum transfer $|\vec{q}| < 1.2$ GeV obtained with medium energy exposures in the NuMI beam. These measurements are performed as a function of the three-momentum transfer and an energy transfer estimator called the available energy defined as the energy that would be visible in the detector. The double differential cross sections are compared to the GENIE and NuWro predictions along with the modified version of GENIE which incorporates new models for better agreement with earlier measurements from MINERvA. In these measurements, the quasi-elastic, resonance, and multi-nucleon knockout processes appear at different kinematics in this two-dimensional space. The results can be used to improve models for neutrino interactions needed by neutrino oscillation experiments. △ Less

Submitted 25 July, 2022; v1 submitted 25 October, 2021; originally announced October 2021.

A Flexible Proof Format for SAT Solver-Elaborator Communication

Authors: Seulkee Baek, Mario Carneiro, Marijn J. H. Heule

Abstract: We introduce FRAT, a new proof format for unsatisfiable SAT problems, and its associated toolchain. Compared to DRAT, the FRAT format allows solvers to include more information in proofs to reduce the computational cost of subsequent elaboration to LRAT. The format is easy to parse forward and backward, and it is extensible to future proof methods. The provision of optional proof steps allows SAT… ▽ More We introduce FRAT, a new proof format for unsatisfiable SAT problems, and its associated toolchain. Compared to DRAT, the FRAT format allows solvers to include more information in proofs to reduce the computational cost of subsequent elaboration to LRAT. The format is easy to parse forward and backward, and it is extensible to future proof methods. The provision of optional proof steps allows SAT solver developers to balance implementation effort against elaboration time, with little to no overhead on solver time. We benchmark our FRAT toolchain against a comparable DRAT toolchain and confirm >84% median reduction in elaboration time and >94% median decrease in peak memory usage. △ Less

Submitted 15 April, 2022; v1 submitted 20 September, 2021; originally announced September 2021.

Journal ref: Logical Methods in Computer Science, Volume 18, Issue 2 (April 18, 2022) lmcs:8509

Low exposure long-baseline neutrino oscillation sensitivity of the DUNE experiment

Authors: DUNE Collaboration, A. Abed Abud, B. Abi, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, D. Adams, M. Adinolfi, A. Aduszkiewicz, J. Aguilar, Z. Ahmad, J. Ahmed, B. Aimard, B. Ali-Mohammadzadeh, T. Alion, K. Allison, S. Alonso Monsalve, M. AlRashed, C. Alt, A. Alton, P. Amedo, J. Anderson, C. Andreopoulos, M. Andreotti , et al. (1132 additional authors not shown)

Abstract: The Deep Underground Neutrino Experiment (DUNE) will produce world-leading neutrino oscillation measurements over the lifetime of the experiment. In this work, we explore DUNE's sensitivity to observe charge-parity violation (CPV) in the neutrino sector, and to resolve the mass ordering, for exposures of up to 100 kiloton-megawatt-years (kt-MW-yr). The analysis includes detailed uncertainties on t… ▽ More The Deep Underground Neutrino Experiment (DUNE) will produce world-leading neutrino oscillation measurements over the lifetime of the experiment. In this work, we explore DUNE's sensitivity to observe charge-parity violation (CPV) in the neutrino sector, and to resolve the mass ordering, for exposures of up to 100 kiloton-megawatt-years (kt-MW-yr). The analysis includes detailed uncertainties on the flux prediction, the neutrino interaction model, and detector effects. We demonstrate that DUNE will be able to unambiguously resolve the neutrino mass ordering at a 3$σ$ (5$σ$) level, with a 66 (100) kt-MW-yr far detector exposure, and has the ability to make strong statements at significantly shorter exposures depending on the true value of other oscillation parameters. We also show that DUNE has the potential to make a robust measurement of CPV at a 3$σ$ level with a 100 kt-MW-yr exposure for the maximally CP-violating values $δ_{\rm CP}} = \pmπ/2$. Additionally, the dependence of DUNE's sensitivity on the exposure taken in neutrino-enhanced and antineutrino-enhanced running is discussed. An equal fraction of exposure taken in each beam mode is found to be close to optimal when considered over the entire space of interest. △ Less

Submitted 3 September, 2021; originally announced September 2021.

Report number: FERMILAB-PUB-21-391-ND

Design, construction and operation of the ProtoDUNE-SP Liquid Argon TPC

Authors: DUNE Collaboration, A. Abed Abud, B. Abi, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, D. Adams, M. Adinolfi, A. Aduszkiewicz, J. Aguilar, Z. Ahmad, J. Ahmed, B. Ali-Mohammadzadeh, T. Alion, K. Allison, S. Alonso Monsalve, M. Alrashed, C. Alt, A. Alton, P. Amedo, J. Anderson, C. Andreopoulos, M. Andreotti, M. P. Andrews , et al. (1158 additional authors not shown)

Abstract: The ProtoDUNE-SP detector is a single-phase liquid argon time projection chamber (LArTPC) that was constructed and operated in the CERN North Area at the end of the H4 beamline. This detector is a prototype for the first far detector module of the Deep Underground Neutrino Experiment (DUNE), which will be constructed at the Sandford Underground Research Facility (SURF) in Lead, South Dakota, USA.… ▽ More The ProtoDUNE-SP detector is a single-phase liquid argon time projection chamber (LArTPC) that was constructed and operated in the CERN North Area at the end of the H4 beamline. This detector is a prototype for the first far detector module of the Deep Underground Neutrino Experiment (DUNE), which will be constructed at the Sandford Underground Research Facility (SURF) in Lead, South Dakota, USA. The ProtoDUNE-SP detector incorporates full-size components as designed for DUNE and has an active volume of $7\times 6\times 7.2$~m$^3$. The H4 beam delivers incident particles with well-measured momenta and high-purity particle identification. ProtoDUNE-SP's successful operation between 2018 and 2020 demonstrates the effectiveness of the single-phase far detector design. This paper describes the design, construction, assembly and operation of the detector components. △ Less

Submitted 23 September, 2021; v1 submitted 4 August, 2021; originally announced August 2021.

Searching for solar KDAR with DUNE

Authors: DUNE Collaboration, A. Abed Abud, B. Abi, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, D. Adams, M. Adinolfi, A. Aduszkiewicz, J. Aguilar, Z. Ahmad, J. Ahmed, B. Ali-Mohammadzadeh, T. Alion, K. Allison, S. Alonso Monsalve, M. Alrashed, C. Alt, A. Alton, P. Amedo, J. Anderson, C. Andreopoulos, M. Andreotti, M. P. Andrews , et al. (1157 additional authors not shown)

Abstract: The observation of 236 MeV muon neutrinos from kaon-decay-at-rest (KDAR) originating in the core of the Sun would provide a unique signature of dark matter annihilation. Since excellent angle and energy reconstruction are necessary to detect this monoenergetic, directional neutrino flux, DUNE with its vast volume and reconstruction capabilities, is a promising candidate for a KDAR neutrino search.… ▽ More The observation of 236 MeV muon neutrinos from kaon-decay-at-rest (KDAR) originating in the core of the Sun would provide a unique signature of dark matter annihilation. Since excellent angle and energy reconstruction are necessary to detect this monoenergetic, directional neutrino flux, DUNE with its vast volume and reconstruction capabilities, is a promising candidate for a KDAR neutrino search. In this work, we evaluate the proposed KDAR neutrino search strategies by realistically modeling both neutrino-nucleus interactions and the response of DUNE. We find that, although reconstruction of the neutrino energy and direction is difficult with current techniques in the relevant energy range, the superb energy resolution, angular resolution, and particle identification offered by DUNE can still permit great signal/background discrimination. Moreover, there are non-standard scenarios in which searches at DUNE for KDAR in the Sun can probe dark matter interactions. △ Less

Submitted 26 October, 2021; v1 submitted 19 July, 2021; originally announced July 2021.

Comments: 19 pages, 13 figures

Report number: FERMILAB-PUB-21-322-LBNF-ND

Journal ref: JCAP10(2021)065

Exploring Neutrino-Nucleus Interactions in the GeV Regime using MINERvA

Authors: X. -G. Lu, Z. Ahmad Dar, F. Akbar, D. A. Andrade, M. V. Ascencio, G. D. Barr, A. Bashyal, L. Bellantoni, A. Bercellie, M. Betancourt, A. Bodek, J. L. Bonilla, H. Budd, G. Caceres, T. Cai, M. F. Carneiro, H. da Motta, G. A. Diaz, J. Felix, L. Fields, A. Filkins, R. Fine, A. M. Gago, H. Gallagher, S. M. Gilligan , et al. (42 additional authors not shown)

Abstract: With the advance of particle accelerator and detector technologies, the neutrino physics landscape is rapidly expanding. As neutrino oscillation experiments enter the intensity and precision frontiers, neutrino-nucleus interaction measurements are providing crucial input. MINERvA is an experiment at Fermilab dedicated to the study of neutrino-nucleus interactions in the regime of incident neutrino… ▽ More With the advance of particle accelerator and detector technologies, the neutrino physics landscape is rapidly expanding. As neutrino oscillation experiments enter the intensity and precision frontiers, neutrino-nucleus interaction measurements are providing crucial input. MINERvA is an experiment at Fermilab dedicated to the study of neutrino-nucleus interactions in the regime of incident neutrino energies from one to few GeV. The experiment recorded neutrino and antineutrino scattering data with the NuMI beamline from 2009 to 2019 using the Low-Energy and Medium-Energy beams that peak at 3 GeV and 6 GeV, respectively. This article reviews the broad spectrum of interesting nuclear and particle physics that MINERvA investigations have illuminated. The newfound, detailed knowledge of neutrino interactions with nuclear targets thereby obtained is proving essential to continued progress in the neutrino physics sector. △ Less

Submitted 30 October, 2021; v1 submitted 5 July, 2021; originally announced July 2021.

Comments: 22 pages, 17 figures. Accepted as invited contribution to EPJ special issue "Neutrino Interactions in the Intermediate and High Energy Region. Guest editors: Mohammad Sajjad Athar and Shri Krishna Singh"

Report number: FERMILAB-PUB-21-314-ND

Constraining the NuMI neutrino flux using inverse muon decay reactions in MINERvA

Authors: D. Ruterbories, Z. Ahmad Dar, F. Akbar, M. V. Ascencio, A. Bashyal, A. Bercellie, M. Betancourt, A. Bodek, J. L. Bonilla, A. Bravar, H. Budd, G. Caceres, T. Cai, M. F. Carneiro, G. A. DÍaz, H. da Motta, J. Felix, L. Fields, A. Filkins, R. Fine, A. M. Gago, H. Gallagher, A. Ghosh, R. Gran, D. A. Harris , et al. (39 additional authors not shown)

Abstract: Inverse muon decay, $ν_μe^-\toμ^-ν_e$, is a reaction whose cross-section can be predicted with very small uncertainties. It has a neutrino energy threshold of $\approx 11$ GeV and can be used to constrain the high-energy part of the flux in the NuMI neutrino beam. This reaction is the dominant source of events which only contain high-energy muons nearly parallel to the direction of the neutrino be… ▽ More Inverse muon decay, $ν_μe^-\toμ^-ν_e$, is a reaction whose cross-section can be predicted with very small uncertainties. It has a neutrino energy threshold of $\approx 11$ GeV and can be used to constrain the high-energy part of the flux in the NuMI neutrino beam. This reaction is the dominant source of events which only contain high-energy muons nearly parallel to the direction of the neutrino beam. We have isolated a sample of hundreds of such events in neutrino and anti-neutrino enhanced beams, and have constrained the predicted high-energy flux. △ Less

Submitted 23 November, 2021; v1 submitted 2 July, 2021; originally announced July 2021.

Comments: 9 pages, 8 figures, submitted to Physical Review D. Minor corrections and clarifications

Report number: FERMILAB-PUB-21-312-E-SCD

Journal ref: Phys. Rev. D 104, 092010 (2021)

Measurement of inclusive charged-current $ν_μ$ cross sections as a function of muon kinematics at $<E_ν>\sim6~GeV$ on hydrocarbon

Authors: D. Ruterbories, A. Filkins, Z. Ahmad Dar, F. Akbar, D. A. Andrade, M. V. Ascencio, A. Bashyal, L. Bellantoni, A. Bercellie, M. Betancourt, A. Bodek, J. L. Bonilla, A. Bravar, H. Budd, G. Caceres, T. Cai, M. F. Carneiro, G. A. Díaz, H. da Motta, S. A. Dytman, J. Felix, L. Fields, A. M. Gago, H. Gallagher, R. Gran , et al. (38 additional authors not shown)

Abstract: MINERvA presents a new analysis of inclusive charged-current neutrino interactions on a hydrocarbon target. We report single and double-differential cross sections in muon transverse and longitudinal momentum. These measurements are compared to neutrino interaction generator predictions from GENIE, NuWro, GiBUU, and NEUT. In addition, comparisons against models with different treatments of multi-n… ▽ More MINERvA presents a new analysis of inclusive charged-current neutrino interactions on a hydrocarbon target. We report single and double-differential cross sections in muon transverse and longitudinal momentum. These measurements are compared to neutrino interaction generator predictions from GENIE, NuWro, GiBUU, and NEUT. In addition, comparisons against models with different treatments of multi-nucleon correlations, nuclear effects, resonant pion production, and deep inelastic scattering are presented. The data recorded corresponds to $10.61\times10^{20}$ protons on target with a peak neutrino energy of approximately 6 GeV. The higher energy and larger statistics of these data extend the kinematic range for model testing beyond previous MINERvA inclusive charged-current measurements. The results are not well modeled by several generator predictions using a variety of input models. △ Less

Submitted 2 November, 2022; v1 submitted 30 June, 2021; originally announced June 2021.

Comments: 20 pages, 19 figures

Report number: FERMILAB-PUB-21-300-E-QIS-SCD

Use of Neutrino Scattering Events with Low Hadronic Recoil to Inform Neutrino Flux and Detector Energy Scale

Authors: A. Bashyal, D. Rimal, B. Messerly, Z. Ahmad Dar, F. Akbar, M. V. Ascencio, A. Bercellie, M. Betancourt, A. Bodek, J. L. Bonilla, A. Bravar, H. Budd, G. Caceres, T. Cai, M. F. Carneiro, H. da Motta, S. A. Dytman, G. A. Díaz, J. Felix, L. Fields, A. Filkins, R. Fine, A. M. Gago, H. Gallagher, A. Ghosh , et al. (38 additional authors not shown)

Abstract: Charged-current neutrino interactions with low hadronic recoil ("low-nu") have a cross-section that is approximately constant versus neutrino energy. These interactions have been used to measure the shape of neutrino fluxes as a function of neutrino energy at accelerator-based neutrino experiments such as CCFR, NuTeV, MINOS and MINERvA. In this paper, we demonstrate that low-nu events can be used… ▽ More Charged-current neutrino interactions with low hadronic recoil ("low-nu") have a cross-section that is approximately constant versus neutrino energy. These interactions have been used to measure the shape of neutrino fluxes as a function of neutrino energy at accelerator-based neutrino experiments such as CCFR, NuTeV, MINOS and MINERvA. In this paper, we demonstrate that low-nu events can be used to measure parameters of neutrino flux and detector models and that utilization of event distributions over the upstream detector face can discriminate among parameters that affect the neutrino flux model. From fitting a large sample of low-nu events obtained by exposing MINERvA to the NuMI medium-energy beam, we find that the best-fit flux parameters are within their a priori uncertainties, but the energy scale of muons reconstructed in the MINOS detector is shifted by 3.6% (or 1.8 times the a priori uncertainty on that parameter). These fit results are now used in all MINERvA cross-section measurements, and this technique can be applied by other experiments operating at MINERvA energies, such as DUNE. △ Less

Submitted 17 May, 2022; v1 submitted 12 April, 2021; originally announced April 2021.

Comments: 18 pages, 10 figures, Replaced with accepted version

Report number: FNAL PUB-21-181-ND

Dielectric behavior of Water in [bmim] [Tf 2 N] room-temperature Ionic Liquid, molecular dynamic study

Authors: Raúl Fuentes-Azcatl, Gabriel J. C. Araujo, Tuanan C. Lourenço, Cauê T. O. G. Costa, José Walkimar de M. Carneiro, Luciano T. Costa

Abstract: In this work we present the dielectric behavior of water with a novel flexible model that improved all three sites water models Different concentrations of the ionic liquid 1- butyl-3-methylimidazolium [bmim] bis(trifluoromethanesulfonyl)imide [Tf 2 N] with water was investigated. The study was performed by molecular dynamics simulations using three water models, being two non-polarizable 3-site S… ▽ More In this work we present the dielectric behavior of water with a novel flexible model that improved all three sites water models Different concentrations of the ionic liquid 1- butyl-3-methylimidazolium [bmim] bis(trifluoromethanesulfonyl)imide [Tf 2 N] with water was investigated. The study was performed by molecular dynamics simulations using three water models, being two non-polarizable 3-site SPC/E and SPC/e, and a novel flexible 3-site FAB/epsilon model. Systematic thermodynamics, dynamical and dielectric properties were investigated, such as density, diffusion coefficient, heat of vaporization Delta-Hvap, and surface tension at 300 K and 1 bar. We extrapolated the experimental molar fraction of the mixtures and a pattern change for all properties was observed, evidencing the phase separation previously reported by experimental data. The results also display the dielectric effect of the system on the calculated properties. △ Less

Submitted 11 April, 2021; originally announced April 2021.

Comments: No comments

An Error Analysis Toolkit for Binned Counting Experiments

Authors: B. Messerly, R. Fine, A. Olivier, Z. Ahmad Dar, F. Akbar, M. V. Ascencio, A. Bashyal, L. Bellantoni, A. Bercellie, J. L. Bonilla, G. Caceres, T. Cai, M. F. Carneiro, G. A. Díaz, J. Felix, L. Fields, A. Filkins, A. Ghosh, S. Gilligan, R. Gran, H. Haider, D. A. Harris, S. Henry, S. Jena, D. Jena , et al. (20 additional authors not shown)

Abstract: We introduce the MINERvA Analysis Toolkit (MAT), a utility for centralizing the handling of systematic uncertainties in HEP analyses. The fundamental utilities of the toolkit are the MnvHnD, a powerful histogram container class, and the systematic Universe classes, which provide a modular implementation of the many universe error analysis approach. These products can be used stand-alone or as part… ▽ More We introduce the MINERvA Analysis Toolkit (MAT), a utility for centralizing the handling of systematic uncertainties in HEP analyses. The fundamental utilities of the toolkit are the MnvHnD, a powerful histogram container class, and the systematic Universe classes, which provide a modular implementation of the many universe error analysis approach. These products can be used stand-alone or as part of a complete error analysis prescription. They support the propagation of systematic uncertainty through all stages of analysis, and provide flexibility for an arbitrary level of user customization. This extensible solution to error analysis enables the standardization of systematic uncertainty definitions across an experiment and a transparent user interface to lower the barrier to entry for new analyzers. △ Less

Submitted 15 March, 2021; originally announced March 2021.

Neutral pion reconstruction using machine learning in the MINERvA experiment at $\langle E_ν\rangle \sim 6$ GeV

Authors: A. Ghosh, B. Yaeggy, R. Galindo, Z. Ahmad Dar, F. Akbar, M. V. Ascencio, A. Bashyal, A. Bercellie, J. L. Bonilla, G. Caceres, T. Cai, M. F. Carneiro, H. da Motta, G. A. Díaz, J. Felix, A. Filkins, R. Fine, A. M. Gago, T. Golan, R. Gran, D. A. Harris, S. Henry, S. Jena, D. Jena, J. Kleykamp , et al. (31 additional authors not shown)

Abstract: This paper presents a novel neutral-pion reconstruction that takes advantage of the machine learning technique of semantic segmentation using MINERvA data collected between 2013-2017, with an average neutrino energy of $6$ GeV. Semantic segmentation improves the purity of neutral pion reconstruction from two gammas from 71\% to 89\% and improves the efficiency of the reconstruction by approximatel… ▽ More This paper presents a novel neutral-pion reconstruction that takes advantage of the machine learning technique of semantic segmentation using MINERvA data collected between 2013-2017, with an average neutrino energy of $6$ GeV. Semantic segmentation improves the purity of neutral pion reconstruction from two gammas from 71\% to 89\% and improves the efficiency of the reconstruction by approximately 40\%. We demonstrate our method in a charged current neutral pion production analysis where a single neutral pion is reconstructed. This technique is applicable to modern tracking calorimeters, such as the new generation of liquid-argon time projection chambers, exposed to neutrino beams with $\langle E_ν\rangle$ between 1-10 GeV. In such experiments it can facilitate the identification of ionization hits which are associated with electromagnetic showers, thereby enabling improved reconstruction of charged-current $ν_e$ events arising from $ν_μ \rightarrow ν_{e}$ appearance. △ Less

Submitted 10 April, 2022; v1 submitted 11 March, 2021; originally announced March 2021.

Comments: 26 pages, v2 matches published version

Journal ref: JINST 16 P07060 2021

Cosmic Background Removal with Deep Neural Networks in SBND

Authors: SBND Collaboration, R. Acciarri, C. Adams, C. Andreopoulos, J. Asaadi, M. Babicz, C. Backhouse, W. Badgett, L. Bagby, D. Barker, V. Basque, M. C. Q. Bazetto, M. Betancourt, A. Bhanderi, A. Bhat, C. Bonifazi, D. Brailsford, A. G. Brandt, T. Brooks, M. F. Carneiro, Y. Chen, H. Chen, G. Chisnall, J. I. Crespo-Anadón, E. Cristaldo , et al. (106 additional authors not shown)

Abstract: In liquid argon time projection chambers exposed to neutrino beams and running on or near surface levels, cosmic muons and other cosmic particles are incident on the detectors while a single neutrino-induced event is being recorded. In practice, this means that data from surface liquid argon time projection chambers will be dominated by cosmic particles, both as a source of event triggers and as t… ▽ More In liquid argon time projection chambers exposed to neutrino beams and running on or near surface levels, cosmic muons and other cosmic particles are incident on the detectors while a single neutrino-induced event is being recorded. In practice, this means that data from surface liquid argon time projection chambers will be dominated by cosmic particles, both as a source of event triggers and as the majority of the particle count in true neutrino-triggered events. In this work, we demonstrate a novel application of deep learning techniques to remove these background particles by applying semantic segmentation on full detector images from the SBND detector, the near detector in the Fermilab Short-Baseline Neutrino Program. We use this technique to identify, at single image-pixel level, whether recorded activity originated from cosmic particles or neutrino interactions. △ Less

Submitted 19 April, 2021; v1 submitted 2 December, 2020; originally announced December 2020.

Double-Differential Inclusive Charged-Current $ν_μ$ Cross Sections on Hydrocarbon in MINERvA at $\langle E_ν \rangle \sim$ 3.5 GeV

Authors: A. Filkins, D. Ruterbories, Y. Liu, Z. Ahmad Dar, F. Akbar, O. Altinok, D. A. Andrade, M. V. Ascencio, A. Bashyal, A. Bercellie, M. Betancourt, A. Bodek, J. L. Bonilla, A. Bravar, H. Budd, G. Caceres, T. Cai, M. F. Carneiro, H. da Motta, S. A. Dytman, G. A. Díaz, J. Felix, L. Fields, R. Fine, A. M. Gago , et al. (42 additional authors not shown)

Abstract: MINERvA reports inclusive charged-current cross sections for muon neutrinos on hydrocarbon in the NuMI beamline. We measured the double-differential cross section in terms of the longitudinal and transverse muon momenta, as well as the single-differential cross sections in those variables. The data used in this analysis correspond to an exposure of $3.34 \times 10^{20}$ protons on target with a pe… ▽ More MINERvA reports inclusive charged-current cross sections for muon neutrinos on hydrocarbon in the NuMI beamline. We measured the double-differential cross section in terms of the longitudinal and transverse muon momenta, as well as the single-differential cross sections in those variables. The data used in this analysis correspond to an exposure of $3.34 \times 10^{20}$ protons on target with a peak neutrino energy of approximately 3.5 GeV. Measurements are compared to the GENIE, NuWro and GiBUU neutrino cross-section predictions, as well as a version of GENIE modified to produce better agreement with prior exclusive MINERvA measurements. None of the models or variants were able to successfully reproduce the data across the entire phase space, which includes areas dominated by each interaction channel. △ Less

Submitted 23 June, 2020; v1 submitted 27 February, 2020; originally announced February 2020.

Comments: 20 pages, 16 figures

Report number: FERMILAB-PUB-20-098-ND-SCD

Journal ref: Phys. Rev. D 101, 112007 (2020)

Construction of precision wire readout planes for the Short-Baseline Near Detector (SBND)

Authors: R. Acciarri, C. Adams, C. Andreopoulos, J. Asaadi, M. Babicz, C. Backhouse, W. Badgett, L. F. Bagby, D. Barker, C. Barnes, A. Basharina-Freshville, V. Basque, A. Baxter, M. C. Q. Bazetto, O. Beltramello, M. Betancourt, A. Bhanderi, A. Bhat, M. R. M. Bishai, A. Bitadze, A. S. T. Blake, J. Boissevain, C. Bonifazi, J. Y. Book, D. Brailsford , et al. (170 additional authors not shown)

Abstract: The Short-Baseline Near Detector time projection chamber is unique in the design of its charge readout planes. These anode plane assemblies (APAs) have been fabricated and assembled to meet strict accuracy and precision requirements: wire spacing of 3 mm +/- 0.5 mm and wire tension of 7 N +/- 1 N across 3,964 wires per APA, and flatness within 0.5 mm over the 4 m +/- 2.5 m extent of each APA. This… ▽ More The Short-Baseline Near Detector time projection chamber is unique in the design of its charge readout planes. These anode plane assemblies (APAs) have been fabricated and assembled to meet strict accuracy and precision requirements: wire spacing of 3 mm +/- 0.5 mm and wire tension of 7 N +/- 1 N across 3,964 wires per APA, and flatness within 0.5 mm over the 4 m +/- 2.5 m extent of each APA. This paper describes the design, manufacture and assembly of these key detector components, with a focus on the quality assurance at each stage. △ Less

Submitted 24 April, 2020; v1 submitted 19 February, 2020; originally announced February 2020.

Comments: 42 pages, 45 figures. Prepared for submission to JINST

Probing nuclear effects with neutrino-induced charged-current neutral pion production

Authors: D. Coplowe, O. Altinok, Z. Ahmad Dar, F. Akbar, D. A. Andrade, G. D. Barr, A. Bashyal, A. Bercellie, M. Betancourt, A. Bodek, A. Bravar, H. Budd, G. Caceres, T. Cai, M. F. Carneiro, H. da Motta, S. A. Dytman, G. A. Díaz, J. Felix, L. Fields, A. Filkins, R. Fine, A. M. Gago, H. Gallagher, A. Ghosh , et al. (43 additional authors not shown)

Abstract: We study neutrino-induced charged-current (CC) $π^0$ production on carbon nuclei using events with fully imaged final-state proton-$π^0$ systems. Novel use of final-state correlations based on transverse kinematic imbalance enable the first measurements of the struck nucleon's Fermi motion, of the intranuclear momentum transfer (IMT) dynamics, and of the final-state hadronic momentum configuration… ▽ More We study neutrino-induced charged-current (CC) $π^0$ production on carbon nuclei using events with fully imaged final-state proton-$π^0$ systems. Novel use of final-state correlations based on transverse kinematic imbalance enable the first measurements of the struck nucleon's Fermi motion, of the intranuclear momentum transfer (IMT) dynamics, and of the final-state hadronic momentum configuration in neutrino pion production. Event distributions are presented for i) the momenta of neutrino-struck neutrons below the Fermi surface, ii) the direction of missing transverse momentum characterizing the strength of IMT, and iii) proton-pion momentum imbalance with respect to the lepton scattering plane. The observed Fermi motion and IMT strength are compared to the previous MINERvA measurement of neutrino CC quasielastic-like production. The measured shapes and absolute rates of these distributions, as well as the cross-section asymmetries show tensions with predictions from current neutrino generator models. △ Less

Submitted 11 November, 2020; v1 submitted 13 February, 2020; originally announced February 2020.

Comments: 9 pages, 8 figures. v3: PRD-accepted version, with full package of supplemental materials; v4: added 2 missing references

Report number: FERMILAB-PUB-20-077-ND-SCD

Journal ref: Phys. Rev. D 102, 072007 (2020)

High-statistics measurement of neutrino quasielastic-like scattering at <E_nu>=~6 GeV on a hydrocarbon target

Authors: M. F. Carneiro, D. Ruterbories, Z. Ahmad Dar, F. Akbar, D. A. Andrade, M. V. Ascencio, W. Badgett, A. Bashyal, A. Bercellie, M. Betancourt, K. Bonin, A. Bravar, H. Budd, G. Caceres, T. Cai, H. da Motta, G. A. Diaz, J. Felix, L. Fields, A. Filkins, R. Fine, A. M. Gago, A. Ghosh, R. Gran, D. Hahn , et al. (43 additional authors not shown)

Abstract: We measure neutrino charged current quasielastic-like scattering on hydrocarbon at high statistics using the wide-band NuMI beam with neutrino energy peaked at 6 GeV. The double-differential cross section is reported in terms of muon longitudinal and transverse momentum. Cross-section contours versus lepton momentum components are approximately described by a conventional generator-based simulatio… ▽ More We measure neutrino charged current quasielastic-like scattering on hydrocarbon at high statistics using the wide-band NuMI beam with neutrino energy peaked at 6 GeV. The double-differential cross section is reported in terms of muon longitudinal and transverse momentum. Cross-section contours versus lepton momentum components are approximately described by a conventional generator-based simulation, however discrepancies are observed for transverse momenta above 0.5 GeV/c for longitudinal momentum ranges 3 to 5 GeV/c and 9 to 20 GeV/c. The single differential cross section versus momentum transfer squared ($dσ/dQ_{QE}^2$) is measured over a four-decade range of $Q^2$ that extends to $10~GeV^2$. The cross section turn-over and fall-off in the $Q^2$ range 0.3 to $10~GeV^2$ is not fully reproduced by generator predictions that rely on dipole form factors. Our measurement probes the axial-vector content of the hadronic current and complements the electromagnetic form factor data obtained using electron-nucleon elastic scattering. These results help oscillation experiments because they probe the importance of various correlations and final-state interaction effects within the nucleus, which have different effects on the visible energy in detectors. △ Less

Submitted 7 August, 2020; v1 submitted 20 December, 2019; originally announced December 2019.

Comments: 10 pages, 7 figures

Report number: FERMILAB-PUB-19-632-ND

Journal ref: Phys. Rev. Lett. 124, 121801 (2020)

Metamath Zero: The Cartesian Theorem Prover

Authors: Mario Carneiro

Abstract: As the usage of theorem prover technology expands, so too does the reliance on correctness of the tools. Metamath Zero is a verification system that aims for simplicity of logic and implementation, without compromising on efficiency of verification. It is formally specified in its own language, and supports a number of translations to and from other proof languages. This paper describes the abstra… ▽ More As the usage of theorem prover technology expands, so too does the reliance on correctness of the tools. Metamath Zero is a verification system that aims for simplicity of logic and implementation, without compromising on efficiency of verification. It is formally specified in its own language, and supports a number of translations to and from other proof languages. This paper describes the abstract logic of Metamath Zero, essentially a multi-sorted first order logic, as well as the binary proof format and the way in which it can ensure essentially linear time verification while still being concise and efficient at scale. Metamath Zero currently holds the record for fastest verification of the $\mathtt{set .mm}$ Metamath library of proofs in ZFC (including 71 of Wiedijk's 100 formalization targets), at less than 200 ms. Ultimately, we intend to use it to verify the correctness of the implementation of the verifier down to binary executable, so it can be used as a root of trust for more complex proof systems. △ Less

Submitted 29 March, 2020; v1 submitted 22 October, 2019; originally announced October 2019.

Comments: 34 pages, 4 figures, extended version of a paper submitted to CICM 2020

MSC Class: 97P40 (Primary) 68Q60; 68N30 (Secondary)

Nuclear binding energy and transverse momentum imbalance in neutrino-nucleus reactions

Authors: T. Cai, X. -G. Lu, L. A. Harewood, C. Wret, F. Akbar, D. A. Andrade, M. V. Ascencio, L. Bellantoni, A. Bercellie, M. Betancourt, A. Bodek, J. L. Bonilla, A. Bravar, H. Budd, G. Caceres, M. F. Carneiro, D. Coplowe, H. da Motta, Zubair Ahmad Dar, G. A. Díaz, J. Felix, L. Fields, A. Filkins, R. Fine, A. M. Gago , et al. (42 additional authors not shown)

Abstract: We have measured new observables based on the final state kinematic imbalances in the mesonless production of $ν_μ+A\rightarrowμ^-+p+X$ in the $\text{MINER}ν\text{A}$ tracker. Components of the muon-proton momentum imbalances parallel ($δp_\mathrm{Ty}$) and perpendicular($δp_\mathrm{Tx}$) to the momentum transfer in the transverse plane are found to be sensitive to the nuclear effects such as Ferm… ▽ More We have measured new observables based on the final state kinematic imbalances in the mesonless production of $ν_μ+A\rightarrowμ^-+p+X$ in the $\text{MINER}ν\text{A}$ tracker. Components of the muon-proton momentum imbalances parallel ($δp_\mathrm{Ty}$) and perpendicular($δp_\mathrm{Tx}$) to the momentum transfer in the transverse plane are found to be sensitive to the nuclear effects such as Fermi motion, binding energy and non-QE contributions. The QE peak location in $δp_\mathrm{Ty}$ is particularly sensitive to the binding energy. Differential cross sections are compared to predictions from different neutrino interaction models. The Fermi gas models presented in this study cannot simultaneously describe features such as QE peak location, width and the non-QE events contributing to the signal process. Correcting the GENIE's binding energy implementation according to theory causes better agreement with data. Hints of proton left-right asymmetry are observed in $δp_\mathrm{Tx}$. Better modeling of the binding energy can reduce bias in neutrino energy reconstruction and these observables can be applied in current and future experiments to better constrain nuclear effects. △ Less

Submitted 3 May, 2020; v1 submitted 18 October, 2019; originally announced October 2019.

Comments: 14 pages, 12 figures; Added data release file in .root format

Report number: FERMILAB-PUB-19-539-ND

Journal ref: Phys. Rev. D 101, 092001 (2020)

Differentiating Photoexcited Carrier and Phonon Dynamics in the Δ, L, and Γ Valleys of Si(100) with Transient Extreme Ultraviolet Spectroscopy

Authors: Scott K. Cushing, Angela Lee, Ilana J. Porter, Lucas M. Carneiro, Hung-Tzu Chang, Michael Zürch, Stephen R. Leone

Abstract: Transient extreme ultraviolet (XUV) spectroscopy probes core level transitions to unoccupied valence and conduction band states. Uncertainty remains to what degree the core-hole created by the XUV transition modifies the measurement of photoexcited electron and hole energies. Here, the Si {Ł_{2,3}} edge is measured after photoexcitation of electrons to the Δ, L, and Γ valleys of Si(100). The measu… ▽ More Transient extreme ultraviolet (XUV) spectroscopy probes core level transitions to unoccupied valence and conduction band states. Uncertainty remains to what degree the core-hole created by the XUV transition modifies the measurement of photoexcited electron and hole energies. Here, the Si {Ł_{2,3}} edge is measured after photoexcitation of electrons to the Δ, L, and Γ valleys of Si(100). The measured changes in the XUV transition probability do not energetically agree with the increasing electron photoexcitation energy. The data therefore experimentally confirm that, for the Si {Ł_{2,3}} edge, the time-dependent electron and hole energies are partially obscured by the core-hole perturbation. A model based on many-body approximations and the Bethe-Salpeter equation is successfully used to predict the core-hole{\apos}s modification of the final transition density of states in terms of both electronic and structural dynamics. The resulting fit time constants match the excited state electron thermalization time and the inter-valley electron-phonon, intra-valley electron-phonon, and phonon-phonon scattering times previously measured in silicon. The outlined approach is a more comprehensive framework for interpreting transient XUV absorption spectra in photoexcited semiconductors. △ Less

Submitted 26 August, 2019; originally announced August 2019.

Journal ref: J. Phys. Chem. C, 2019, 123, 6, 3343-3352

Photoexcited Small Polaron Formation in Goethite (α-FeOOH) Nanorods Probed by Transient Extreme Ultraviolet Spectroscopy

Authors: Ilana J. Porter, Scott K. Cushing, Lucas M. Carneiro, Angela Lee, Justin C. Ondry, Jakob C. Dahl, Hung-Tzu Chang, A. Paul Alivisatos, Stephen R. Leone

Abstract: Small polaron formation limits the mobility and lifetimes of photoexcited carriers in metal oxides. As the ligand field strength increases, the carrier mobility decreases, but the effect on the photoexcited small polaron formation is still unknown. Extreme ultraviolet transient absorption spectroscopy is employed to measure small polaron formation rates and probabilities in goethite (α-FeOOH) crys… ▽ More Small polaron formation limits the mobility and lifetimes of photoexcited carriers in metal oxides. As the ligand field strength increases, the carrier mobility decreases, but the effect on the photoexcited small polaron formation is still unknown. Extreme ultraviolet transient absorption spectroscopy is employed to measure small polaron formation rates and probabilities in goethite (α-FeOOH) crystalline nanorods at pump photon energies from 2.2 to 3.1 eV. The measured polaron formation time increases with excitation photon energy from 70 {\pm} 10 fs at 2.2 eV to 350 {\pm} 30 fs at 2.6 eV, whereas the polaron formation probability (85 {\pm} 10%) remains constant. By comparison to hematite (α-Fe2O3), an oxide analog, the role of ligand composition and metal center density in small polaron formation time is discussed. This work suggests that incorporating small changes in ligands and crystal structure could enable the control of photoexcited small polaron formation in metal oxides. △ Less

Submitted 22 August, 2019; originally announced August 2019.

Journal ref: J. Phys. Chem. Lett.2018,9,14,4120-4124

Specifying verified x86 software from scratch

Authors: Mario Carneiro

Abstract: We present a simple framework for specifying and proving facts about the input/output behavior of ELF binary files on the x86-64 architecture. A strong emphasis has been placed on simplicity at all levels: the specification says only what it needs to about the target executable, the specification is performed inside a simple logic (equivalent to first-order Peano Arithmetic), and the verification… ▽ More We present a simple framework for specifying and proving facts about the input/output behavior of ELF binary files on the x86-64 architecture. A strong emphasis has been placed on simplicity at all levels: the specification says only what it needs to about the target executable, the specification is performed inside a simple logic (equivalent to first-order Peano Arithmetic), and the verification language and proof checker are custom-designed to have only what is necessary to perform efficient general purpose verification. This forms a part of the Metamath Zero project, to build a minimal verifier that is capable of verifying its own binary. In this paper, we will present the specification of the dynamic semantics of x86 machine code, together with enough information about Linux system calls to perform simple IO. △ Less

Submitted 2 July, 2019; originally announced July 2019.

Comments: 4 pages, submitted to SpISA 2019

MSC Class: 68Q60 (Primary) 68N30 (Secondary)

Measurement of $\barν_μ$ charged-current single $π^{-}$ production on hydrocarbon in the few-GeV region using MINERvA

Authors: T. Le, F. Akbar, L. Aliaga, D. A. Andrade, M. V. Ascencio, A. Bashyal, A. Bercellie, M. Betancourt, A. Bodek, J. L. Bonilla, A. Bravar, H. Budd, G. Caceres, T. Cai, M. F. Carneiro, D. Coplowe, S. A. Dytman, G. A. Díaz, 5 J. Felix, L. Fields, A. Filkins, R. Fine, N. Fiza, A. M. Gago, H. Gallagher , et al. (41 additional authors not shown)

Abstract: The antineutrino scattering channel $\barν_μ \,\text{CH} \rightarrow μ^{+} \,π^{-} \,X$(nucleon(s)) is analyzed in the incident energy range 1.5 to 10 GeV using the MINERvA detector at Fermilab. Differential cross sections are reported as functions of $μ^{+}$ momentum and production angle, $π^{-}$ kinetic energy and production angle, and antineutrino energy and squared four-momentum transfer. Dist… ▽ More The antineutrino scattering channel $\barν_μ \,\text{CH} \rightarrow μ^{+} \,π^{-} \,X$(nucleon(s)) is analyzed in the incident energy range 1.5 to 10 GeV using the MINERvA detector at Fermilab. Differential cross sections are reported as functions of $μ^{+}$ momentum and production angle, $π^{-}$ kinetic energy and production angle, and antineutrino energy and squared four-momentum transfer. Distribution shapes are generally reproduced by simulations based on the GENIE, NuWro, and GiBUU event generators, however GENIE (GiBUU) overestimates (underestimates) the cross-section normalizations by 8% (10%). Comparisons of data with the GENIE-based reference simulation probe conventional treatments of cross sections and pion intranuclear rescattering. The distribution of non-track vertex energy is used to decompose the signal sample into reaction categories, and cross sections are determined for the exclusive reactions $μ^{+} π^{-} n$ and $ μ^+ π^{-} p$. A similar treatment applied to the published MINERvA sample $\barν_μ \,\text{CH} \rightarrow μ^{+} \,π^{0} \,X$(nucleon(s)) has determined the $μ^{+} π^{0} n$ cross section, and the latter is used with $σ(π^{-} n)$ and $σ(π^{-} p)$ to carry out an isospin decomposition of $\barν_μ$-induced CC($π$). The ratio of magnitudes and relative phase for isospin amplitudes $A_{3}$ and $A_{1}$ thereby obtained are: $R^{\barν} = 0.99 \pm 0.19$ and $φ^{\barν} = 93^{\circ} \pm 7^{\circ}$. Our results are in agreement with bubble chamber measurements made four decades ago. △ Less

Submitted 27 August, 2019; v1 submitted 19 June, 2019; originally announced June 2019.

Comments: 22 pages, 17 figures

Report number: FERMILAB-PUB-18-578-ND

Journal ref: Phys. Rev. D 100, 052008 (2019)