-
Information Seeking Using AI Assistants
Authors:
Ebtesam Al Haque,
Chris Brown,
Thomas D. LaToza,
Brittany Johnson
Abstract:
A good portion of a software practitioners' day involves seeking and using information to support task completion. Although the information needs of software practitioners have been studied extensively, the impact of AI-assisted tools on their needs and information-seeking behaviors remains largely unexplored. To addresses this gap, we conducted a mixed-method study to understand AI-assisted infor…
▽ More
A good portion of a software practitioners' day involves seeking and using information to support task completion. Although the information needs of software practitioners have been studied extensively, the impact of AI-assisted tools on their needs and information-seeking behaviors remains largely unexplored. To addresses this gap, we conducted a mixed-method study to understand AI-assisted information seeking behavior of practitioners and its impact on their perceived productivity and skill development. We found that developers are increasingly using AI tools to support their information seeking, citing increased efficiency as a key benefit. Our findings also amplify caveats that come with effectively using AI tools for information seeking, especially for learning and skill development, such as the importance of foundational developer knowledge that can guide and inform the information provided by AI tools. Our efforts have implications for the effective integration of AI tools into developer workflows as information retrieval and learning aids.
△ Less
Submitted 7 August, 2024;
originally announced August 2024.
-
Exploring the Evidence-Based Beliefs and Behaviors of LLM-Based Programming Assistants
Authors:
Chris Brown,
Jason Cusati
Abstract:
Recent innovations in artificial intelligence (AI), primarily powered by large language models (LLMs), have transformed how programmers develop and maintain software -- leading to new frontiers in software engineering (SE). The advanced capabilities of LLM-based programming assistants to support software development tasks have led to a rise in the adoption of LLMs in SE. However, little is known a…
▽ More
Recent innovations in artificial intelligence (AI), primarily powered by large language models (LLMs), have transformed how programmers develop and maintain software -- leading to new frontiers in software engineering (SE). The advanced capabilities of LLM-based programming assistants to support software development tasks have led to a rise in the adoption of LLMs in SE. However, little is known about the evidenced-based practices, tools and processes verified by research findings, supported and adopted by AI programming assistants. To this end, our work conducts a preliminary evaluation exploring the beliefs and behaviors of LLM used to support software development tasks. We investigate 17 evidence-based claims posited by empirical SE research across five LLM-based programming assistants. Our findings show that LLM-based programming assistants have ambiguous beliefs regarding research claims, lack credible evidence to support responses, and are incapable of adopting practices demonstrated by empirical SE research to support development tasks. Based on our results, we provide implications for practitioners adopting LLM-based programming assistants in development contexts and shed light on future research directions to enhance the reliability and trustworthiness of LLMs -- aiming to increase awareness and adoption of evidence-based SE research findings in practice.
△ Less
Submitted 18 July, 2024;
originally announced July 2024.
-
ResearchBot: Bridging the Gap between Academic Research and Practical Programming Communities
Authors:
Sahar Farzanehpour,
Swetha Rajeev,
Huayu Liang,
Ritvik Prabhu,
Chris Brown
Abstract:
Software developers commonly rely on platforms like Stack Overflow for problem-solving and learning. However, academic research is an untapped resource that could greatly benefit industry practitioners. The challenge lies in connecting the innovative insights from academia to real-world problems faced by developers. This project introduces ResearchBot, a tool designed to bridge this academia-indus…
▽ More
Software developers commonly rely on platforms like Stack Overflow for problem-solving and learning. However, academic research is an untapped resource that could greatly benefit industry practitioners. The challenge lies in connecting the innovative insights from academia to real-world problems faced by developers. This project introduces ResearchBot, a tool designed to bridge this academia-industry gap. ResearchBot employs a modular approach, encompassing understanding questions, curating queries to obtain relevant papers in the CrossRef repository, summarizing paper content and finally answering user questions based on paper summaries. The core objective of ResearchBot is to democratize access to academic knowledge for industry professionals. By providing concise summaries of cutting-edge research directly in response to SE-related questions, ResearchBot facilitates the application of academic insights to practical contexts. Ultimately, it aims to bridge the gap between academia and industry, using research evidence to support learning and decision-making in software development.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Synthesis and characterization of the novel breathing pyrochlore compound Ba3Tm2Zn5O11
Authors:
Lalit Yadav,
Rabindranath Bag,
Ramesh Dhakal,
Stephen M. Winter,
Jeffrey G. Rau,
Alexander I. Kolesnikov,
Andrey A. Podlesnyak,
Craig M. Brown,
Nicholas P. Butch,
David Graf,
Michel J. P. Gingras,
Sara Haravifard
Abstract:
In this study, a novel material from the rare-earth based breathing pyrochlore family, Ba3Tm2Zn5O11, was successfully synthesized. Powder X-ray diffraction and high-resolution powder neutron diffraction confirmed phase purity and crystal structure, while thermogravimetric analysis revealed incongruent melting behavior compared to its counterpart, Ba3Yb2Zn5O11. High-quality single crystals of Ba3Tm…
▽ More
In this study, a novel material from the rare-earth based breathing pyrochlore family, Ba3Tm2Zn5O11, was successfully synthesized. Powder X-ray diffraction and high-resolution powder neutron diffraction confirmed phase purity and crystal structure, while thermogravimetric analysis revealed incongruent melting behavior compared to its counterpart, Ba3Yb2Zn5O11. High-quality single crystals of Ba3Tm2Zn5O11 were grown using the traveling solvent floating zone technique and assessed using Laue diffractometer and single crystal X-ray diffraction. Thermodynamic characterization indicated paramagnetic behavior down to 0.05 K, and inelastic neutron scattering measurements identified distinct crystal electric field bands. Additional low-energy excitation studies on single crystals revealed dispersionless bands at 0.8 and 1 meV. Computed phonon dispersions from first principles calculations ruled out phonons as the source of these modes, further illustrating the puzzling and unique properties of Ba3Tm2Zn5O11.
△ Less
Submitted 28 June, 2024;
originally announced July 2024.
-
An Exploratory Mixed-Methods Study on General Data Protection Regulation (GDPR) Compliance in Open-Source Software
Authors:
Lucas Franke,
Huayu Liang,
Sahar Farzanehpour,
Aaron Brantly,
James C. Davis,
Chris Brown
Abstract:
Background: Governments worldwide are considering data privacy regulations. These laws, e.g. the European Union's General Data Protection Regulation (GDPR), require software developers to meet privacy-related requirements when interacting with users' data. Prior research describes the impact of such laws on software development, but only for commercial software. Open-source software is commonly in…
▽ More
Background: Governments worldwide are considering data privacy regulations. These laws, e.g. the European Union's General Data Protection Regulation (GDPR), require software developers to meet privacy-related requirements when interacting with users' data. Prior research describes the impact of such laws on software development, but only for commercial software. Open-source software is commonly integrated into regulated software, and thus must be engineered or adapted for compliance. We do not know how such laws impact open-source software development.
Aims: To understand how data privacy laws affect open-source software development. We studied the European Union's GDPR, the most prominent such law. We investigated how GDPR compliance activities influence OSS developer activity (RQ1), how OSS developers perceive fulfilling GDPR requirements (RQ2), the most challenging GDPR requirements to implement (RQ3), and how OSS developers assess GDPR compliance (RQ4).
Method: We distributed an online survey to explore perceptions of GDPR implementations from open-source developers (N=56). We further conducted a repository mining study to analyze development metrics on pull requests (N=31462) submitted to open-source GitHub repositories.
Results: GDPR policies complicate open-source development processes and introduce challenges for developers, primarily regarding the management of users' data, implementation costs and time, and assessments of compliance. Moreover, we observed negative perceptions of GDPR from open-source developers and significant increases in development activity, in particular metrics related to coding and reviewing activity, on GitHub pull requests related to GDPR compliance.
Conclusions: Our findings motivate policy-related resources and automated tools to support data privacy regulation implementation and compliance efforts in open-source software.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
Clock-line-mediated Sisyphus Cooling
Authors:
Chun-Chia Chen,
Jacob L. Siegel,
Benjamin D. Hunt,
Tanner Grogan,
Youssef S. Hassan,
Kyle Beloy,
Kurt Gibble,
Roger C. Brown,
Andrew D. Ludlow
Abstract:
We demonstrate sub-recoil Sisyphus cooling using the long-lived $^{3}\mathrm{P}_{0}$ clock state in alkaline-earth-like ytterbium. A 1388 nm optical standing wave nearly resonant with the $^{3}\textrm{P}_{0}$$\,\rightarrow$$\,^{3}\textrm{D}_{1}$ transition creates a spatially periodic light shift of the $^{3}\textrm{P}_{0}$ clock state. Following excitation on the ultranarrow clock transition, we…
▽ More
We demonstrate sub-recoil Sisyphus cooling using the long-lived $^{3}\mathrm{P}_{0}$ clock state in alkaline-earth-like ytterbium. A 1388 nm optical standing wave nearly resonant with the $^{3}\textrm{P}_{0}$$\,\rightarrow$$\,^{3}\textrm{D}_{1}$ transition creates a spatially periodic light shift of the $^{3}\textrm{P}_{0}$ clock state. Following excitation on the ultranarrow clock transition, we observe Sisyphus cooling in this potential, as the light shift is correlated with excitation to $^{3}\textrm{D}_{1}$ and subsequent spontaneous decay to the $^{1}\textrm{S}_{0}$ ground state. We observe that cooling enhances the loading efficiency of atoms into a 759 nm magic-wavelength one-dimensional (1D) optical lattice, as compared to standard Doppler cooling on the $^{1}\textrm{S}_{0}$$\,\rightarrow\,$$^{3}\textrm{P}_{1}$ transition. Sisyphus cooling yields temperatures below 200 nK in the weakly confined, transverse dimensions of the 1D optical lattice. These lower temperatures improve optical lattice clocks by facilitating the use of shallow lattices with reduced light shifts, while retaining large atom numbers to reduce the quantum projection noise. This Sisyphus cooling can be pulsed or continuous and is applicable to a range of quantum metrology applications.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
Measurement of $J/ψ$ and $ψ\left(2S\right)$ production in $p+p$ and $p+d$ interactions at 120 GeV
Authors:
C. H. Leung,
K. Nagai,
K. Nakano,
D. Nawarathne,
J. Dove,
S. Prasad,
N. Wuerfel,
C. A. Aidala,
J. Arrington,
C. Ayuso,
C. L. Barker,
C. N. Brown,
W. C. Chang,
A. Chen,
D. C. Christian,
B. P. Dannowitz,
M. Daugherity,
L. El Fassi,
D. F. Geesaman,
R. Gilman,
Y. Goto,
R. Guo,
T. J. Hague,
R. J. Holt,
M. F. Hossain
, et al. (36 additional authors not shown)
Abstract:
We report the $p+p$ and $p+d$ differential cross sections measured in the SeaQuest experiment for $J/ψ$ and $ψ\left(2S\right)$ production at 120 GeV beam energy covering the forward $x$-Feynman ($x_F$) range of $0.5 < x_F <0.9$. The measured cross sections are in good agreement with theoretical calculations based on the nonrelativistic QCD (NRQCD) using the long-distance matrix elements deduced fr…
▽ More
We report the $p+p$ and $p+d$ differential cross sections measured in the SeaQuest experiment for $J/ψ$ and $ψ\left(2S\right)$ production at 120 GeV beam energy covering the forward $x$-Feynman ($x_F$) range of $0.5 < x_F <0.9$. The measured cross sections are in good agreement with theoretical calculations based on the nonrelativistic QCD (NRQCD) using the long-distance matrix elements deduced from a recent global analysis of proton- and pion-induced charmonium production data. The $σ_{ψ\left(2S\right)} / σ_{J/ψ}$ cross section ratios are found to increase as $x_F$ increases, indicating that the $q \bar{q}$ annihilation process has larger contributions in the $ψ\left(2S\right)$ production than the $J/ψ$ production. The $σ_{pd}/2σ_{pp}$ cross section ratios are observed to be significantly different for the Drell-Yan process and $J/ψ$ production, reflecting their different production mechanisms. We find that the $σ_{pd}/2σ_{pp}$ ratios for $J/ψ$ production at the forward $x_F$ region are sensitive to the $\bar{d}/ \bar{u}$ flavor asymmetry of the proton sea, analogous to the Drell-Yan process. The transverse momentum ($p_T$) distributions for $J/ψ$ and $ψ\left(2S\right)$ production are also presented and compared with data collected at higher center-of-mass energies.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
Systematic analysis of search strategies for $L_μ-L_τ$ gauge bosons at Belle II
Authors:
C. Brown,
J. Fiaschi,
O. Fischer,
T. Teubner
Abstract:
Extensions of the Standard Model with masses at or below the GeV scale are motivated by searches for dark matter and precision measurements in the quark and lepton flavour sectors, including that of the muon anomalous magnetic moment. An excellent experimental environment to test such light new physics is given by the Belle II experiment, which foresees to take up to 50 ab$^{-1}$ of data. Here we…
▽ More
Extensions of the Standard Model with masses at or below the GeV scale are motivated by searches for dark matter and precision measurements in the quark and lepton flavour sectors, including that of the muon anomalous magnetic moment. An excellent experimental environment to test such light new physics is given by the Belle II experiment, which foresees to take up to 50 ab$^{-1}$ of data. Here we consider a model with an additional gauged $U(1)_{L_μ- L_τ}$ symmetry that introduces a neutral gauge boson, a Dark Photon, with possibly large couplings to muon- and tau-flavored leptons, including neutrinos. Dark Photon mixing with the Standard Model photon is loop induced, allowing it to couple to electrically charged fermions other than muons and taus. We systematically investigate the possible search strategies for Dark Photons with four fermions final states. We identified search channels with muons as the most promising ones, and we analyse the kinematic distributions to obtain cuts that optimise the sensitivity of Belle II searches for the Dark Photon. Summarising the sensitivities from the most promising search channels we provide a comprehensive overview of future searches at Belle II.
△ Less
Submitted 25 July, 2024; v1 submitted 14 June, 2024;
originally announced June 2024.
-
Genons, Double Covers and Fault-tolerant Clifford Gates
Authors:
Simon Burton,
Elijah Durso-Sabina,
Natalie C. Brown
Abstract:
A great deal of work has been done developing quantum codes with varying overhead and connectivity constraints. However, given the such an abundance of codes, there is a surprising shortage of fault-tolerant logical gates supported therein. We define a construction, such that given an input $[[n,k,d]]$ code, yields a $[[2n,2k,\ge d]]$ symplectic double code with naturally occurring fault-tolerant…
▽ More
A great deal of work has been done developing quantum codes with varying overhead and connectivity constraints. However, given the such an abundance of codes, there is a surprising shortage of fault-tolerant logical gates supported therein. We define a construction, such that given an input $[[n,k,d]]$ code, yields a $[[2n,2k,\ge d]]$ symplectic double code with naturally occurring fault-tolerant logical Clifford gates. As applied to 2-dimensional $D(\mathbb{Z}_2)$-topological codes with genons (twists) and domain walls, we find the symplectic double is genon free, and of possibly higher genus. Braiding of genons on the original code becomes Dehn twists on the symplectic double. Such topological operations are particularly suited for architectures with all-to-all connectivity, and we demonstrate this experimentally on Quantinuum's H1-1 trapped-ion quantum computer.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
Universal properties of the evolution of the Universe in modified loop quantum cosmology
Authors:
Jamal Saeed,
Rui Pan,
Christian Brown,
Gerald Clevear,
Anzhong Wang
Abstract:
In this paper, we systematically study the evolution of the Universe in the framework of a modified loop quantum cosmological model (mLQC-I) with various inflationary potentials, including chaotic, Starobinsky, generalized Starobinsky, polynomials of the first and second kinds, generalized T- models and natural inflation. In all these models, the big bang singularity is represented by a quantum bo…
▽ More
In this paper, we systematically study the evolution of the Universe in the framework of a modified loop quantum cosmological model (mLQC-I) with various inflationary potentials, including chaotic, Starobinsky, generalized Starobinsky, polynomials of the first and second kinds, generalized T- models and natural inflation. In all these models, the big bang singularity is represented by a quantum bounce, and the evolution of the Universe both before and after the bounce is universal and weakly depends on the inflationary potentials, as long as the evolution is dominated by the kinetic energy of the inflaton at the bounce. In particular, the evolution in the pre-bounce region can be universally divided into three different phases: pre-bouncing, pre-transition, and pre-de Sitter. The pre-bouncing phase occurs immediately before the quantum bounce, during which the evolution of the Universe is dominated by the kinetic energy of the inflaton. Thus, the equation of state of the inflaton is about one, w = 1. Soon, the inflation potential takes over, so w rapidly falls from one to negative one. This pre-transition phase is very short and quickly turns into the pre-de Sitter phase, whereby the effective cosmological constant with a Planck size takes over and dominates the rest of the contracting phase. In the entire pre-bounce regime, the evolution of the expansion factor and the inflaton can be approximated by analytical solutions, which are universal and independent of the inflation potentials.
△ Less
Submitted 5 August, 2024; v1 submitted 10 June, 2024;
originally announced June 2024.
-
Faraday tomography with CHIME: the `tadpole' feature G137+7
Authors:
Nasser Mohammed,
Anna Ordog,
Rebecca A. Booth,
Andrea Bracco,
Jo-Anne C. Brown,
Ettore Carretti,
John M. Dickey,
Simon Foreman,
Mark Halpern,
Marijke Haverkorn,
Alex S. Hill,
Gary Hinshaw,
Joseph W Kania,
Roland Kothes,
T. L. Landecker,
Joshua MacEachern,
Kiyoshi W. Masui,
Aimee Menard,
Ryan R. Ransom,
Wolfgang Reich,
Patricia Reich,
J. Richard Shaw,
Seth R. Siegel,
Mehrnoosh Tahani,
Alec J. M. Thomson
, et al. (5 additional authors not shown)
Abstract:
A direct consequence of Faraday rotation is that the polarized radio sky does not resemble the total intensity sky at long wavelengths. We analyze G137+7, which is undetectable in total intensity but appears as a depolarization feature. We use the first polarization maps from the Canadian Hydrogen Intensity Mapping Experiment. Our $400-729$ MHz bandwidth and angular resolution, $17'$ to $30'$, all…
▽ More
A direct consequence of Faraday rotation is that the polarized radio sky does not resemble the total intensity sky at long wavelengths. We analyze G137+7, which is undetectable in total intensity but appears as a depolarization feature. We use the first polarization maps from the Canadian Hydrogen Intensity Mapping Experiment. Our $400-729$ MHz bandwidth and angular resolution, $17'$ to $30'$, allow us to use Faraday synthesis to analyze the polarization structure. In polarized intensity and polarization angle maps, we find a "tail" extending $10^\circ$ from the "head" and designate the combined object the "tadpole". Similar polarization angles, distinct from the background, indicate that the head and tail are physically associated. The head appears as a depolarized ring in single channels, but wideband observations show that it is a Faraday rotation feature. Our investigations of H I and H$α$ find no connections to the tadpole. The tail suggests motion of either the gas or an ionizing star through the ISM; the B2(e) star HD 20336 is a candidate. While the head features a coherent, $\sim -8$ rad m$^2$ Faraday depth, Faraday synthesis also identifies multiple components in both the head and tail. We verify the locations of the components in the spectra using QU fitting. Our results show that $\sim$octave-bandwidth Faraday rotation observations at $\sim 600$ MHz are sensitive to low-density ionized or partially-ionized gas which is undetectable in other tracers.
△ Less
Submitted 31 July, 2024; v1 submitted 24 May, 2024;
originally announced May 2024.
-
BenthicNet: A global compilation of seafloor images for deep learning applications
Authors:
Scott C. Lowe,
Benjamin Misiuk,
Isaac Xu,
Shakhboz Abdulazizov,
Amit R. Baroi,
Alex C. Bastos,
Merlin Best,
Vicki Ferrini,
Ariell Friedman,
Deborah Hart,
Ove Hoegh-Guldberg,
Daniel Ierodiaconou,
Julia Mackin-McLaughlin,
Kathryn Markey,
Pedro S. Menandro,
Jacquomo Monk,
Shreya Nemani,
John O'Brien,
Elizabeth Oh,
Luba Y. Reshitnyk,
Katleen Robert,
Chris M. Roelfsema,
Jessica A. Sameoto,
Alexandre C. G. Schimel,
Jordan A. Thomson
, et al. (4 additional authors not shown)
Abstract:
Advances in underwater imaging enable the collection of extensive seafloor image datasets that are necessary for monitoring important benthic ecosystems. The ability to collect seafloor imagery has outpaced our capacity to analyze it, hindering expedient mobilization of this crucial environmental information. Recent machine learning approaches provide opportunities to increase the efficiency with…
▽ More
Advances in underwater imaging enable the collection of extensive seafloor image datasets that are necessary for monitoring important benthic ecosystems. The ability to collect seafloor imagery has outpaced our capacity to analyze it, hindering expedient mobilization of this crucial environmental information. Recent machine learning approaches provide opportunities to increase the efficiency with which seafloor image datasets are analyzed, yet large and consistent datasets necessary to support development of such approaches are scarce. Here we present BenthicNet: a global compilation of seafloor imagery designed to support the training and evaluation of large-scale image recognition models. An initial set of over 11.4 million images was collected and curated to represent a diversity of seafloor environments using a representative subset of 1.3 million images. These are accompanied by 2.6 million annotations translated to the CATAMI scheme, which span 190,000 of the images. A large deep learning model was trained on this compilation and preliminary results suggest it has utility for automating large and small-scale image analysis tasks. The compilation and model are made openly available for use by the scientific community at https://doi.org/10.20383/103.0614.
△ Less
Submitted 11 July, 2024; v1 submitted 8 May, 2024;
originally announced May 2024.
-
Approaching the conformal limit of quark matter with different chemical potentials
Authors:
Connor Brown,
Veronica Dexheimer,
Rafael Bán Jacobsen,
Ricardo Luciano Sonego Farias
Abstract:
We study in detail the influence of different chemical potentials (baryon, charged, strange, and neutrino) on how and how fast a free gas of quarks in the zero-temperature limit reaches the conformal limit. We discuss the influence of non-zero masses, the inclusion of leptons, and different constraints, such as charge neutrality, zero-net strangeness, and fixed lepton fraction. We also investigate…
▽ More
We study in detail the influence of different chemical potentials (baryon, charged, strange, and neutrino) on how and how fast a free gas of quarks in the zero-temperature limit reaches the conformal limit. We discuss the influence of non-zero masses, the inclusion of leptons, and different constraints, such as charge neutrality, zero-net strangeness, and fixed lepton fraction. We also investigate for the first time how the symmetry energy of the system under some of these conditions approaches the conformal limit. Finally, we briefly discuss what kind of corrections are expected from perturbative QCD as one goes away from the conformal limit.
△ Less
Submitted 10 July, 2024; v1 submitted 2 May, 2024;
originally announced May 2024.
-
High-fidelity and Fault-tolerant Teleportation of a Logical Qubit using Transversal Gates and Lattice Surgery on a Trapped-ion Quantum Computer
Authors:
C. Ryan-Anderson,
N. C. Brown,
C. H. Baldwin,
J. M. Dreiling,
C. Foltz,
J. P. Gaebler,
T. M. Gatterman,
N. Hewitt,
C. Holliman,
C. V. Horst,
J. Johansen,
D. Lucchetti,
T. Mengle,
M. Matheny,
Y. Matsuoka,
K. Mayer,
M. Mills,
S. A. Moses,
B. Neyenhuis,
J. Pino,
P. Siegfried,
R. P. Stutz,
J. Walker,
D. Hayes
Abstract:
Quantum state teleportation is commonly used in designs for large-scale fault-tolerant quantum computers. Using Quantinuum's H2 trapped-ion quantum processor, we implement the first demonstration of a fault-tolerant state teleportation circuit for a quantum error correction code - in particular, the planar topological [[7,1,3]] color code, or Steane code. The circuits use up to 30 trapped ions at…
▽ More
Quantum state teleportation is commonly used in designs for large-scale fault-tolerant quantum computers. Using Quantinuum's H2 trapped-ion quantum processor, we implement the first demonstration of a fault-tolerant state teleportation circuit for a quantum error correction code - in particular, the planar topological [[7,1,3]] color code, or Steane code. The circuits use up to 30 trapped ions at the physical layer qubits and employ real-time quantum error correction - decoding mid-circuit measurement of syndromes and implementing corrections during the protocol. We conduct experiments on several variations of logical teleportation circuits using both transversal gates and lattice surgery protocols. Among the many measurements we report on, we measure the logical process fidelity of the transversal teleportation circuit to be 0.975(2) and the logical process fidelity of the lattice surgery teleportation circuit to be 0.851(9). Additionally, we run a teleportation circuit that is equivalent to Knill-style quantum error correction and measure the process fidelity to be 0.989(2).
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
Quantum-Enhanced Neural Exchange-Correlation Functionals
Authors:
Igor O. Sokolov,
Gert-Jan Both,
Art D. Bochevarov,
Pavel A. Dub,
Daniel S. Levine,
Christopher T. Brown,
Shaheen Acheche,
Panagiotis Kl. Barkoutsos,
Vincent E. Elfving
Abstract:
Kohn-Sham Density Functional Theory (KS-DFT) provides the exact ground state energy and electron density of a molecule, contingent on the as-yet-unknown universal exchange-correlation (XC) functional. Recent research has demonstrated that neural networks can efficiently learn to represent approximations to that functional, offering accurate generalizations to molecules not present during the train…
▽ More
Kohn-Sham Density Functional Theory (KS-DFT) provides the exact ground state energy and electron density of a molecule, contingent on the as-yet-unknown universal exchange-correlation (XC) functional. Recent research has demonstrated that neural networks can efficiently learn to represent approximations to that functional, offering accurate generalizations to molecules not present during the training process. With the latest advancements in quantum-enhanced machine learning (ML), evidence is growing that Quantum Neural Network (QNN) models may offer advantages in ML applications. In this work, we explore the use of QNNs for representing XC functionals, enhancing and comparing them to classical ML techniques. We present QNNs based on differentiable quantum circuits (DQCs) as quantum (hybrid) models for XC in KS-DFT, implemented across various architectures. We assess their performance on 1D and 3D systems. To that end, we expand existing differentiable KS-DFT frameworks and propose strategies for efficient training of such functionals, highlighting the importance of fractional orbital occupation for accurate results. Our best QNN-based XC functional yields energy profiles of the H$_2$ and planar H$_4$ molecules that deviate by no more than 1 mHa from the reference DMRG and FCI/6-31G results, respectively. Moreover, they reach chemical precision on a system, H$_2$H$_2$, not present in the training dataset, using only a few variational parameters. This work lays the foundation for the integration of quantum models in KS-DFT, thereby opening new avenues for expressing XC functionals in a differentiable way and facilitating computations of various properties.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
Symbolic Computation for All the Fun
Authors:
Chad E. Brown,
Mikoláš Janota,
Mirek Olšák
Abstract:
Motivated by the recent 10 million dollar AIMO challenge, this paper targets the problem of finding all functions conforming to a given specification. This is a popular problem at mathematical competitions and it brings about a number of challenges, primarily, synthesizing the possible solutions and proving that no other solutions exist. Often, there are infinitely many solutions and then the set…
▽ More
Motivated by the recent 10 million dollar AIMO challenge, this paper targets the problem of finding all functions conforming to a given specification. This is a popular problem at mathematical competitions and it brings about a number of challenges, primarily, synthesizing the possible solutions and proving that no other solutions exist. Often, there are infinitely many solutions and then the set of solutions has to be captured symbolically. We propose an approach to solving this problem and evaluate it on a set of problems that appeared in mathematical competitions and olympics.
△ Less
Submitted 23 June, 2024; v1 submitted 18 April, 2024;
originally announced April 2024.
-
Bridging Gaps, Building Futures: Advancing Software Developer Diversity and Inclusion Through Future-Oriented Research
Authors:
Sonja M. Hyrynsalmi,
Sebastian Baltes,
Chris Brown,
Rafael Prikladnicki,
Gema Rodriguez-Perez,
Alexander Serebrenik,
Jocelyn Simmonds,
Bianca Trinkenreich,
Yi Wang,
Grischa Liebel
Abstract:
Software systems are responsible for nearly all aspects of modern life and society. However, the demographics of software development teams that are tasked with designing and maintaining these software systems rarely match the demographics of users. As the landscape of software engineering (SE) evolves due to technological innovations, such as the rise of automated programming assistants powered b…
▽ More
Software systems are responsible for nearly all aspects of modern life and society. However, the demographics of software development teams that are tasked with designing and maintaining these software systems rarely match the demographics of users. As the landscape of software engineering (SE) evolves due to technological innovations, such as the rise of automated programming assistants powered by artificial intelligence (AI) and machine learning, more effort is needed to promote software developer diversity and inclusion (SDDI) to ensure inclusive work environments for development teams and usable software for diverse populations. To this end, we present insights from SE researchers and practitioners on challenges and solutions regarding diversity and inclusion in SE. Based on these findings, we share potential utopian and dystopian visions of the future and provide future research directions and implications for academia and industry to promote SDDI in the age of AI-driven SE.
△ Less
Submitted 10 April, 2024;
originally announced April 2024.
-
Observation of Gravitational Waves from the Coalescence of a $2.5\text{-}4.5~M_\odot$ Compact Object and a Neutron Star
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
A. G. Abac,
R. Abbott,
I. Abouelfettouh,
F. Acernese,
K. Ackley,
S. Adhicary,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
D. Agarwal,
M. Agathos,
M. Aghaei Abchouyeh,
O. D. Aguiar,
I. Aguilar,
L. Aiello,
A. Ain,
P. Ajith,
S. Akçay,
T. Akutsu,
S. Albanesi,
R. A. Alfaidi,
A. Al-Jodah
, et al. (1771 additional authors not shown)
Abstract:
We report the observation of a coalescing compact binary with component masses $2.5\text{-}4.5~M_\odot$ and $1.2\text{-}2.0~M_\odot$ (all measurements quoted at the 90% credible level). The gravitational-wave signal GW230529_181500 was observed during the fourth observing run of the LIGO-Virgo-KAGRA detector network on 2023 May 29 by the LIGO Livingston Observatory. The primary component of the so…
▽ More
We report the observation of a coalescing compact binary with component masses $2.5\text{-}4.5~M_\odot$ and $1.2\text{-}2.0~M_\odot$ (all measurements quoted at the 90% credible level). The gravitational-wave signal GW230529_181500 was observed during the fourth observing run of the LIGO-Virgo-KAGRA detector network on 2023 May 29 by the LIGO Livingston Observatory. The primary component of the source has a mass less than $5~M_\odot$ at 99% credibility. We cannot definitively determine from gravitational-wave data alone whether either component of the source is a neutron star or a black hole. However, given existing estimates of the maximum neutron star mass, we find the most probable interpretation of the source to be the coalescence of a neutron star with a black hole that has a mass between the most massive neutron stars and the least massive black holes observed in the Galaxy. We provisionally estimate a merger rate density of $55^{+127}_{-47}~\text{Gpc}^{-3}\,\text{yr}^{-1}$ for compact binary coalescences with properties similar to the source of GW230529_181500; assuming that the source is a neutron star-black hole merger, GW230529_181500-like sources constitute about 60% of the total merger rate inferred for neutron star-black hole coalescences. The discovery of this system implies an increase in the expected rate of neutron star-black hole mergers with electromagnetic counterparts and provides further evidence for compact objects existing within the purported lower mass gap.
△ Less
Submitted 26 July, 2024; v1 submitted 5 April, 2024;
originally announced April 2024.
-
A Formal Proof of R(4,5)=25
Authors:
Thibault Gauthier,
Chad E. Brown
Abstract:
In 1995, McKay and Radziszowski proved that the Ramsey number R(4,5) is equal to 25. Their proof relies on a combination of high-level arguments and computational steps. The authors have performed the computational parts of the proof with different implementations in order to reduce the possibility of an error in their programs. In this work, we prove this theorem in the interactive theorem prover…
▽ More
In 1995, McKay and Radziszowski proved that the Ramsey number R(4,5) is equal to 25. Their proof relies on a combination of high-level arguments and computational steps. The authors have performed the computational parts of the proof with different implementations in order to reduce the possibility of an error in their programs. In this work, we prove this theorem in the interactive theorem prover HOL4 limiting the uncertainty to the small HOL4 kernel. Instead of verifying their algorithms directly, we rely on the HOL4 interface to MiniSat SAT to prove gluing lemmas. To reduce the number of such lemmas and thus make the computational part of the proof feasible, we implement a generalization algorithm. We verify that its output covers all the possible cases by implementing a custom SAT-solver extended with a graph isomorphism checker.
△ Less
Submitted 12 June, 2024; v1 submitted 2 April, 2024;
originally announced April 2024.
-
An SVD-like Decomposition of Bounded-Input Bounded-Output Functions
Authors:
Brian Charles Brown,
Michael King,
Sean Warnick,
Enoch Yeung,
David Grimsman
Abstract:
The Singular Value Decomposition (SVD) of linear functions facilitates the calculation of their 2-induced norm and row and null spaces, hallmarks of linear control theory. In this work, we present a function representation that, similar to SVD, provides an upper bound on the 2-induced norm of bounded-input bounded-output functions, as well as facilitates the computation of generalizations of the n…
▽ More
The Singular Value Decomposition (SVD) of linear functions facilitates the calculation of their 2-induced norm and row and null spaces, hallmarks of linear control theory. In this work, we present a function representation that, similar to SVD, provides an upper bound on the 2-induced norm of bounded-input bounded-output functions, as well as facilitates the computation of generalizations of the notions of row and null spaces. Borrowing from the notion of "lifting" in Koopman operator theory, we construct a finite-dimensional lifting of inputs that relaxes the unitary property of the right-most matrix in traditional SVD, $V^*$, to be an injective, norm-preserving mapping to a slightly higher-dimensional space.
△ Less
Submitted 29 March, 2024;
originally announced April 2024.
-
Layer buckling and absence of superconductivity in LaNiO2
Authors:
S. Rathnayaka,
S. Yano,
K. Kawashima,
J. Akimitsu,
C. M. Brown,
J. Neuefeind,
D. Louca
Abstract:
The recent observation of unconventional superconductivity in thin films of LaNiO2 (critical temperature, Tc~10 K) and in bulk single crystals of La3Ni2O7 (327) under pressure (Tc~80 K), has brought to light a long sought-after class of superconducting nickelates. Through structural measurements in the 327-system, it was shown that the absence of superconductivity is related to bending of the O-Ni…
▽ More
The recent observation of unconventional superconductivity in thin films of LaNiO2 (critical temperature, Tc~10 K) and in bulk single crystals of La3Ni2O7 (327) under pressure (Tc~80 K), has brought to light a long sought-after class of superconducting nickelates. Through structural measurements in the 327-system, it was shown that the absence of superconductivity is related to bending of the O-Ni-O bonds. Similarly, the bond bending may be linked to the absence of superconductivity in bulk LaNiO2. Neutron diffraction was used on bulk non-superconducting La(1-x)Sr(x)NiO(2) samples to show that the layers are naturally buckled, creating a Ni-O-Ni bond angle of 177 at 2 K and ambient pressure. The buckling angle increases to 170 on warming to room temperature. Furthermore, a broad paramagnetic continuum is observed that decreases in intensity on cooling from room temperature signaling a possible transition to a coherent state. However, no antiferromagnetic (AFM) peaks are detected, although enhancement of ferromagnetic (FM) correlations cannot be excluded.
△ Less
Submitted 14 March, 2024;
originally announced March 2024.
-
Material Properties of Popular Radiation Detection Scintillator Crystals for Optical Physics Transport Modelling in Geant4
Authors:
Lysander Miller,
Airlie Chapman,
Katie Auchettl,
Jeremy M. C. Brown
Abstract:
Radiation detection is vital for space, medical imaging, homeland security, and environmental monitoring applications. In the past, the Monte Carlo radiation transport toolkit, Geant4, has been employed to enable the effective development of emerging technologies in these fields. Radiation detectors utilising scintillator crystals have benefited from Geant4; however, Geant4 optical physics paramet…
▽ More
Radiation detection is vital for space, medical imaging, homeland security, and environmental monitoring applications. In the past, the Monte Carlo radiation transport toolkit, Geant4, has been employed to enable the effective development of emerging technologies in these fields. Radiation detectors utilising scintillator crystals have benefited from Geant4; however, Geant4 optical physics parameters for scintillator crystal modelling are sparse. This work outlines scintillator properties for GAGG:Ce, CLLBC:Ce, BGO, NaI:Tl, and CsI:Tl. These properties were implemented in a detailed SiPM-based single-volume scintillation detector simulation platform developed in this work. It was validated by its comparison to experimental measurements. For all five scintillation materials, the platform successfully predicted the spectral features for selected gamma ray emitting isotopes with energies between 30 keV to 2 MeV. The full width half maximum (FWHM) and normalised cross-correlation coefficient (NCCC) between simulated and experimental energy spectra were also compared. The majority of simulated FWHM values reproduced the experimental results within a 2% difference, and the majority of NCCC values demonstrated agreement between the simulated and experimental energy spectra. Discrepancies in these figures of merit were attributed to detector signal processing electronics modelling and geometry approximations within the detector and surrounding experimental environment.
△ Less
Submitted 31 July, 2024; v1 submitted 5 March, 2024;
originally announced March 2024.
-
A First Look at the General Data Protection Regulation (GDPR) in Open-Source Software
Authors:
Lucas Franke,
Huayu Liang,
Aaron Brantly,
James C Davis,
Chris Brown
Abstract:
This poster describes work on the General Data Protection Regulation (GDPR) in open-source software. Although open-source software is commonly integrated into regulated software, and thus must be engineered or adapted for compliance, we do not know how such laws impact open-source software development.
We surveyed open-source developers (N=47) to understand their experiences and perceptions of G…
▽ More
This poster describes work on the General Data Protection Regulation (GDPR) in open-source software. Although open-source software is commonly integrated into regulated software, and thus must be engineered or adapted for compliance, we do not know how such laws impact open-source software development.
We surveyed open-source developers (N=47) to understand their experiences and perceptions of GDPR. We learned many engineering challenges, primarily regarding the management of users' data and assessments of compliance. We call for improved policy-related resources, especially tools to support data privacy regulation implementation and compliance in open-source software.
△ Less
Submitted 25 January, 2024;
originally announced January 2024.
-
Harmonizing the Generation and Pre-publication Stewardship of FAIR Image Data
Authors:
Nikki Bialy,
Frank Alber,
Brenda Andrews,
Michael Angelo,
Brian Beliveau,
Lacramioara Bintu,
Alistair Boettiger,
Ulrike Boehm,
Claire M. Brown,
Mahmoud Bukar Maina,
James J. Chambers,
Beth A. Cimini,
Kevin Eliceiri,
Rachel Errington,
Orestis Faklaris,
Nathalie Gaudreault,
Ronald N. Germain,
Wojtek Goscinski,
David Grunwald,
Michael Halter,
Dorit Hanein,
John W. Hickey,
Judith Lacoste,
Alex Laude,
Emma Lundberg
, et al. (22 additional authors not shown)
Abstract:
Together with the molecular knowledge of genes and proteins, biological images promise to significantly enhance the scientific understanding of complex cellular systems and to advance predictive and personalized therapeutic products for human health. For this potential to be realized, quality-assured image data must be shared among labs at a global scale to be compared, pooled, and reanalyzed, thu…
▽ More
Together with the molecular knowledge of genes and proteins, biological images promise to significantly enhance the scientific understanding of complex cellular systems and to advance predictive and personalized therapeutic products for human health. For this potential to be realized, quality-assured image data must be shared among labs at a global scale to be compared, pooled, and reanalyzed, thus unleashing untold potential beyond the original purpose for which the data was generated. There are two broad sets of requirements to enable image data sharing in the life sciences. One set of requirements is articulated in the companion White Paper entitled Enabling Global Image Data Sharing in the Life Sciences, which is published in parallel and addresses the need to build the cyberinfrastructure for sharing the digital array data. In this White Paper, we detail a broad set of requirements, which involves collecting, managing, presenting, and propagating contextual information essential to assess the quality, understand the content, interpret the scientific implications, and reuse image data in the context of the experimental details. We start by providing an overview of the main lessons learned to date through international community activities, which have recently made considerable progress toward generating community standard practices for imaging Quality Control (QC) and metadata. We then provide a clear set of recommendations for amplifying this work. The driving goal is to address remaining challenges and democratize access to everyday practices and tools for a spectrum of biomedical researchers, regardless of their expertise, access to resources, and geographical location.
△ Less
Submitted 30 August, 2024; v1 submitted 23 January, 2024;
originally announced January 2024.
-
An almost linear time algorithm testing whether the Markoff graph modulo $p$ is connected
Authors:
Colby Austin Brown
Abstract:
The Markoff graph modulo $p$ is known to be connected for all but finitely many primes $p$ (see Eddy, Fuchs, Litman, Martin, Tripeny, and Vanyo [arxiv:2308.07579]), and it is conjectured that these graphs are connected for all primes. In this paper, we provide an algorithmic realization of the process introduced by Bourgain, Gamburd, and Sarnak [arxiv:1607.01530] to test whether the Markoff graph…
▽ More
The Markoff graph modulo $p$ is known to be connected for all but finitely many primes $p$ (see Eddy, Fuchs, Litman, Martin, Tripeny, and Vanyo [arxiv:2308.07579]), and it is conjectured that these graphs are connected for all primes. In this paper, we provide an algorithmic realization of the process introduced by Bourgain, Gamburd, and Sarnak [arxiv:1607.01530] to test whether the Markoff graph modulo $p$ is connected for arbitrary primes. Our algorithm runs in $o(p^{1 + ε})$ time for every $ε> 0$. We demonstrate this algorithm by confirming that the Markoff graph modulo $p$ is connected for all primes less than one million.
△ Less
Submitted 25 January, 2024; v1 submitted 31 December, 2023;
originally announced January 2024.
-
Killing Invariants: An approach to the sub-classification of geometries with symmetry
Authors:
C. Brown,
M. Gorban,
W. Julius,
R. Radhakrishnan,
G. Cleaver,
D. McNutt
Abstract:
In principle, the local classification of spacetimes is always possible using the Cartan-Karlhede algorithm. However, in practice, the process of determining equivalence of two spacetimes is potentially computationally difficult or not at all possible. This difficulty will arise whenever the classifying invariants are either high-degree rational functions or depend on transcendental functions with…
▽ More
In principle, the local classification of spacetimes is always possible using the Cartan-Karlhede algorithm. However, in practice, the process of determining equivalence of two spacetimes is potentially computationally difficult or not at all possible. This difficulty will arise whenever the classifying invariants are either high-degree rational functions or depend on transcendental functions without standard inverses. In the case that spacetimes admit Killing vectors with non-trivial orbits, we propose a new set of invariant quantities, called Killing invariants. These invariants will allow for the sub-classification of spacetimes admitting the same group of symmetries and will, in principle, be substantially less complicated than any other known set. We apply this approach to the class of static spherically symmetric geometries as an illustrative example.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
Tuning the spontaneous exchange bias effect in La1.5Sr0.5CoMnO6 with sintering temperature
Authors:
C. Macchiutti,
J. R. Jesus,
F. B. Carneiro,
L. Bufaical,
R. A. Klein,
Q. Zhang,
M. Kirkham,
C. M. Brown,
R. D. dos Reis,
G. Perez,
E. M. Bittar
Abstract:
Here, we present a study of the influence of microstructure on the magnetic properties of polycrystalline samples of the La1.5Sr0.5CoMnO6 double perovskite, with primary attention to the spontaneous exchange bias effect, a fascinating recently discovered phenomena for which some materials exhibit unidirectional magnetic anisotropy after being cooled in zero magnetic fields. By sintering La1.5Sr0.5…
▽ More
Here, we present a study of the influence of microstructure on the magnetic properties of polycrystalline samples of the La1.5Sr0.5CoMnO6 double perovskite, with primary attention to the spontaneous exchange bias effect, a fascinating recently discovered phenomena for which some materials exhibit unidirectional magnetic anisotropy after being cooled in zero magnetic fields. By sintering La1.5Sr0.5CoMnO6 at different temperatures, we obtained samples with distinct average grain sizes, ranging from 1.54 to 6.65 mu_m. A detailed investigation of the material's structural, morphologic, electronic, and magnetic properties using X-ray powder diffraction, powder neutron diffraction, X-ray absorption near edge structure spectroscopy, scanning electron microscopy, and AC and DC magnetometry has revealed a systematic enhancement of the exchange bias effect with increasing the average grain size. This evolution is discussed in terms of changes in the material's porosity and grain morphology and its influence on the exchange couplings at the magnetic interfaces.
△ Less
Submitted 29 April, 2024; v1 submitted 14 December, 2023;
originally announced December 2023.
-
Quantum Pathways for Charged Track Finding in High-Energy Collisions
Authors:
Christopher Brown,
Michael Spannowsky,
Alexander Tapper,
Simon Williams,
Ioannis Xiotidis
Abstract:
In high-energy particle collisions, charged track finding is a complex yet crucial endeavour. We propose a quantum algorithm, specifically quantum template matching, to enhance the accuracy and efficiency of track finding. Abstracting the Quantum Amplitude Amplification routine by introducing a data register, and utilising a novel oracle construction, allows data to be parsed to the circuit and ma…
▽ More
In high-energy particle collisions, charged track finding is a complex yet crucial endeavour. We propose a quantum algorithm, specifically quantum template matching, to enhance the accuracy and efficiency of track finding. Abstracting the Quantum Amplitude Amplification routine by introducing a data register, and utilising a novel oracle construction, allows data to be parsed to the circuit and matched with a hit-pattern template, without prior knowledge of the input data. Furthermore, we address the challenges posed by missing hit data, demonstrating the ability of the quantum template matching algorithm to successfully identify charged-particle tracks from hit patterns with missing hits. Our findings therefore propose quantum methodologies tailored for real-world applications and underline the potential of quantum computing in collider physics.
△ Less
Submitted 1 November, 2023;
originally announced November 2023.
-
Advances in compilation for quantum hardware -- A demonstration of magic state distillation and repeat-until-success protocols
Authors:
Natalie C. Brown,
John Peter Campora III,
Cassandra Granade,
Bettina Heim,
Stefan Wernli,
Ciaran Ryan-Anderson,
Dominic Lucchetti,
Adam Paetznick,
Martin Roetteler,
Krysta Svore,
Alex Chernoguzov
Abstract:
Fault-tolerant protocols enable large and precise quantum algorithms. Many such protocols rely on a feed-forward processing of data, enabled by a hybrid of quantum and classical logic. Representing the control structure of such programs can be a challenge. Here we explore two such fault-tolerant subroutines and analyze the performance of the subroutines using Quantum Intermediate Representation (Q…
▽ More
Fault-tolerant protocols enable large and precise quantum algorithms. Many such protocols rely on a feed-forward processing of data, enabled by a hybrid of quantum and classical logic. Representing the control structure of such programs can be a challenge. Here we explore two such fault-tolerant subroutines and analyze the performance of the subroutines using Quantum Intermediate Representation (QIR) as their underlying intermediate representation. First, we look at QIR's ability to leverage the LLVM compiler toolchain to unroll the quantum iteration logic required to perform magic state distillation on the $[[5,1,3]]$ quantum error-correcting code as originally introduced by Bravyi and Kitaev [Phys. Rev. A 71, 022316 (2005)]. This allows us to not only realize the first implementation of a real-time magic state distillation protocol on quantum hardware, but also demonstrate QIR's ability to optimize complex program structures without degrading machine performance. Next, we investigate a different fault-tolerant protocol that was first introduced by Paetznick and Svore [arXiv:1311.1074 (2013)], that reduces the amount of non-Clifford gates needed for a particular algorithm. We look at four different implementations of this two-stage repeat-until-success algorithm to analyze the performance changes as the results of programming choices. We find the QIR offers a viable representation for a compiled high-level program that performs nearly as well as a hand-optimized version written directly in quantum assembly. Both of these results demonstrate QIR's ability to accurately and efficiently expand the complexity of fault-tolerant protocols that can be realized today on quantum hardware.
△ Less
Submitted 18 October, 2023;
originally announced October 2023.
-
On the natal kick of the black hole X-ray binary H 1705--250
Authors:
Cordelia Dashwood Brown,
Poshak Gandhi,
Yue Zhao
Abstract:
When a compact object is formed, an impulse (kick) will be imparted to the system by the mass lost during the core-collapse supernova (SN). A number of other mechanisms may impart an additional kick on the system, although evidence for these natal kicks in black hole systems remains limited. Updated Gaia astrometry has recently identified a number of high peculiar velocity (in excess of Galactic m…
▽ More
When a compact object is formed, an impulse (kick) will be imparted to the system by the mass lost during the core-collapse supernova (SN). A number of other mechanisms may impart an additional kick on the system, although evidence for these natal kicks in black hole systems remains limited. Updated Gaia astrometry has recently identified a number of high peculiar velocity (in excess of Galactic motion) compact objects. Here, we focus on the black hole low-mass X-ray binary H 1705--250, which has a peculiar velocity $\upsilon_{\mathrm{pec}}\,=\,221^{+101}_{-108}\,\mathrm{km}\,\mathrm{s}^{-1}$. Using population synthesis to reconstruct its evolutionary history (assuming formation via isolated binary evolution within the Galactic plane), we constrain the properties of the progenitor and pre-SN orbit. The magnitude of a kick solely due to mass loss is found to be $\sim\,30\,\mathrm{km}\,\mathrm{s}^{-1}$, which cannot account for the high present-day peculiar motion. We therefore deduce that the black hole received an additional natal kick at formation, and place limits on its magnitude, finding it to be $\sim\,295\,\mathrm{km}\,\mathrm{s}^{-1}$ (minimum $90\,\mathrm{km}\,\mathrm{s}^{-1}$). This furthers the argument that these kicks are not limited to neutron stars.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
Transverse Emittance Reduction in Muon Beams by Ionization Cooling
Authors:
The MICE Collaboration,
M. Bogomilov,
R. Tsenov,
G. Vankova-Kirilova,
Y. P. Song,
J. Y. Tang,
Z. H. Li,
R. Bertoni,
M. Bonesini,
F. Chignoli,
R. Mazza,
A. de Bari,
D. Orestano,
L. Tortora,
Y. Kuno,
H. Sakamoto,
A. Sato,
S. Ishimoto,
M. Chung,
C. K. Sung,
F. Filthaut,
M. Fedorov,
D. Jokovic,
D. Maletic,
M. Savic
, et al. (112 additional authors not shown)
Abstract:
Accelerated muon beams have been considered for next-generation studies of high-energy lepton-antilepton collisions and neutrino oscillations. However, high-brightness muon beams have not yet been produced. The main challenge for muon acceleration and storage stems from the large phase-space volume occupied by the beam, derived from the muon production mechanism through the decay of pions from pro…
▽ More
Accelerated muon beams have been considered for next-generation studies of high-energy lepton-antilepton collisions and neutrino oscillations. However, high-brightness muon beams have not yet been produced. The main challenge for muon acceleration and storage stems from the large phase-space volume occupied by the beam, derived from the muon production mechanism through the decay of pions from proton collisions. Ionization cooling is the technique proposed to decrease the muon beam phase-space volume. Here we demonstrate a clear signal of ionization cooling through the observation of transverse emittance reduction in beams that traverse lithium hydride or liquid hydrogen absorbers in the Muon Ionization Cooling Experiment (MICE). The measurement is well reproduced by the simulation of the experiment and the theoretical model. The results shown here represent a substantial advance towards the realization of muon-based facilities that could operate at the energy and intensity frontiers.
△ Less
Submitted 13 October, 2023; v1 submitted 9 October, 2023;
originally announced October 2023.
-
Localising two sub-diffraction emitters in 3D using quantum correlation microscopy
Authors:
Shuo Li,
Wenchao Li,
Qiang Sun,
Bill Moran,
Timothy C. Brown,
Brant C. Gibson,
Andrew D. Greentree
Abstract:
The localisation of fluorophores is an important aspect of the determination of the biological function of cellular systems. Quantum correlation microscopy (QCM) is a promising technique for providing diffraction unlimited emitter localisation that can be used with either confocal or widefield modalities. However, so far, QCM has not been applied to three dimensional localisation problems. Here we…
▽ More
The localisation of fluorophores is an important aspect of the determination of the biological function of cellular systems. Quantum correlation microscopy (QCM) is a promising technique for providing diffraction unlimited emitter localisation that can be used with either confocal or widefield modalities. However, so far, QCM has not been applied to three dimensional localisation problems. Here we show that quantum correlation microscopy provides diffraction-unlimited three-dimensional localisation for two emitters within a single diffraction-limited spot. By introducing a two-stage maximum likelihood estimator, our modelling shows that localisation precision scales as $1/\sqrt{t}$ where $t$ is the total detection time. Diffraction unlimited localisation is achieved using both intensity and photon correlation from Hanbury Brown and Twiss measurements at as few as four measurement locations.
△ Less
Submitted 4 October, 2023;
originally announced October 2023.
-
Direct mass measurements of neutron-rich zinc and gallium isotopes: an investigation of the formation of the first r-process peak
Authors:
Andrew Jacobs,
Stylianos Nikas,
John Ash,
Behnam Ashrafkhani,
Ivana Belosovic,
Julian Bergmann,
Callum Brown,
Jaime Cardona,
Eleanor Dunling,
Timo Dickel,
Gabriella Gelinas,
Zach Hockenbery,
Sakshi Kakkar,
Brian Kootte,
Ali Molaebrahimi,
Eleni Marina Lykiardopoulou,
Tobias Murboeck,
Stefan Paul,
Wolfgang R. Plass,
William S. Porter,
Rane Simpson,
Coulter Walls,
Yilin Wang,
Jens Dilling,
Ania Kwiatkowski
Abstract:
The prediction of isotopic abundances resulting from the rapid neutron capture process (r-process) requires high-precision mass measurements. Mass measurements of $^{79-83}$Zn and $^{85,86}$Ga using TITAN's on-line time-of-flight spectrometer. First time measurements are performed for $^{79m}$Zn, $^{83}$Zn, and $^{86}$Ga. These measurements reduced uncertainties, and are used to calculate isotopic…
▽ More
The prediction of isotopic abundances resulting from the rapid neutron capture process (r-process) requires high-precision mass measurements. Mass measurements of $^{79-83}$Zn and $^{85,86}$Ga using TITAN's on-line time-of-flight spectrometer. First time measurements are performed for $^{79m}$Zn, $^{83}$Zn, and $^{86}$Ga. These measurements reduced uncertainties, and are used to calculate isotopic abundances near the first r-process abundance peak using astrophysical conditions present during a binary neutron star (BNS) merger. Good agreement across a range of trajectories is found when comparing to several metal-poor stellar abundances. Particularly, this subset of trajectories produces agreement with the abundance pattern of both the `r/s-star' HD94028 as well as the `r-process star' HD222925. These findings point to a high degree of sensitivity to the electron fraction of a BNS merger on the final elemental abundance pattern near the first r-process peak. In particular, we find that small changes in electron fraction produce distinct abundance patterns that match those of metal-poor stars with different classifications, calls the need for an i-process into question.
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
Breakdown of sound in superfluid helium
Authors:
Marc D. Nichitiu,
Craig Brown,
Igor A. Zaliznyak
Abstract:
Like elementary particles carry energy and momentum in the Universe, quasiparticles are the elementary carriers of energy and momentum quanta in condensed matter. And, like elementary particles, under certain conditions quasiparticles can be unstable and decay, emitting pairs of less energetic ones. Pitaevskii proposed that such processes exist in superfluid helium, a quantum fluid where the very…
▽ More
Like elementary particles carry energy and momentum in the Universe, quasiparticles are the elementary carriers of energy and momentum quanta in condensed matter. And, like elementary particles, under certain conditions quasiparticles can be unstable and decay, emitting pairs of less energetic ones. Pitaevskii proposed that such processes exist in superfluid helium, a quantum fluid where the very concept of quasiparticles was borne, and which provided the first spectacular triumph of that concept. Pitaevskii's decays have important consequences, including possible breakdown of a quasiparticle. Here, we present neutron scattering experiments, which provide evidence that such decays explain the collapsing lifetime (strong damping) of higher-energy phonon-roton sound-wave quasiparticles in superfluid helium. This damping develops when helium is pressurized towards crystallization or warmed towards approaching the superfluid transition. Our results resolve a number of puzzles posed by previous experiments and reveal the ubiquity of quasiparticle decays and their importance for understanding quantum matter.
△ Less
Submitted 15 September, 2023;
originally announced September 2023.
-
Unravelling Metastable Markovian Open Quantum Systems
Authors:
Calum A. Brown,
Katarzyna Macieszczak,
Robert L. Jack
Abstract:
We analyse the dynamics of metastable Markovian open quantum systems by unravelling their average dynamics into stochastic trajectories. We use quantum reset processes as examples to illustrate metastable phenomenology, including a simple three-state model whose metastability is of classical type, and a two-qubit model that features a metastable decoherence free subspace. In the three-state model,…
▽ More
We analyse the dynamics of metastable Markovian open quantum systems by unravelling their average dynamics into stochastic trajectories. We use quantum reset processes as examples to illustrate metastable phenomenology, including a simple three-state model whose metastability is of classical type, and a two-qubit model that features a metastable decoherence free subspace. In the three-state model, the trajectories exhibit classical metastable phenomenology: fast relaxation into distinct phases and slow transitions between them. This extends the existing correspondence between classical and quantum metastability. It enables the computation of committors for the quantum phases, and the mechanisms of rare transitions between them. For the two-qubit model, the decoherence-free subspace appears in the unravelled trajectories as a slow manifold on which the quantum state has a continuous slow evolution. This provides a classical (non-metastable) analogue of this quantum effect. We discuss the general implications of these results, and we highlight the useful role of quantum reset processes for analysis of quantum trajectories in metastable systems.
△ Less
Submitted 5 April, 2024; v1 submitted 27 August, 2023;
originally announced August 2023.
-
Evidence for mass-dependent peculiar velocities in compact object binaries: Towards better constraints on natal kicks
Authors:
Yue Zhao,
Poshak Gandhi,
Cordelia Dashwood Brown,
Christian Knigge,
Phil A. Charles,
Thomas J. Maccarone,
Pornisara Nuchvanichakul
Abstract:
We compile a catalogue of low-mass and high-mass X-ray binaries, some recently reported binaries that likely host a neutron star (NS) or a black hole (BH), and binary pulsars (a pulsar and a non-degenerated companion) that have measured systemic radial velocities ($γ$). Using Gaia and radio proper motions together with $γ$, we integrate their Galactic orbits and infer their post-supernova (post-SN…
▽ More
We compile a catalogue of low-mass and high-mass X-ray binaries, some recently reported binaries that likely host a neutron star (NS) or a black hole (BH), and binary pulsars (a pulsar and a non-degenerated companion) that have measured systemic radial velocities ($γ$). Using Gaia and radio proper motions together with $γ$, we integrate their Galactic orbits and infer their post-supernova (post-SN) 3D peculiar velocities ($v_\mathrm{pec}^{z=0}$ at Galactic plane crossing); these velocities bear imprint of natal kicks that compact objects received at birth. With the sample totalling 85 objects, we model the overall distribution of $v_\mathrm{pec}^{z=0}$ and find a two-component Maxwellian distribution with a low- ($σ_v \approx 21\,\mathrm{km~s^{-1}}$) and a high-velocity ($σ_v \approx 107\,\mathrm{km~s^{-1}}$) component. A further comparison between distributions of binary subgroups suggests that binaries hosting high-mass donors/luminous companions mostly have $v_\mathrm{pec}^{z=0}\lesssim 100\,\mathrm{km~s^{-1}}$, while binaries with low-mass companions exhibit a broader distribution that extends up to $\sim 400\,\mathrm{km~s^{-1}}$. We also find significant anti-correlations of $v_\mathrm{pec}^{z=0}$ with binary total mass ($M_\mathrm{tot}$) and orbital period ($P_\mathrm{orb}$), at over 99% confidence. Specifically, our fit suggests $v_\mathrm{pec}^{z=0}\propto M_\mathrm{tot}^{-0.5}$ and $v_\mathrm{pec}^{z=0}\propto P_\mathrm{orb}^{-0.2}$. Discussions are presented on possible interpretation of the correlations in the context of kinematics and possible biases. The sample should enable a range of follow-up studies on compact object binary kinematics and evolution.
△ Less
Submitted 12 July, 2023;
originally announced July 2023.
-
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
Authors:
Philipp Bär,
Jasper Nalbach,
Erika Ábrahám,
Christopher W. Brown
Abstract:
One of the few available complete methods for checking the satisfiability of sets of polynomial constraints over the reals is the cylindrical algebraic covering (CAlC) method. In this paper, we propose an extension for this method to exploit the strictness of input constraints for reducing the computational effort. We illustrate the concepts on a multidimensional example and provide experimental r…
▽ More
One of the few available complete methods for checking the satisfiability of sets of polynomial constraints over the reals is the cylindrical algebraic covering (CAlC) method. In this paper, we propose an extension for this method to exploit the strictness of input constraints for reducing the computational effort. We illustrate the concepts on a multidimensional example and provide experimental results to evaluate the usefulness of our proposed extension.
△ Less
Submitted 29 June, 2023;
originally announced June 2023.
-
New Compact Object Binary Populations with Precision Astrometry (Roman White Paper)
Authors:
P. Gandhi,
C. Dashwood Brown,
Y. Zhao,
K. El-Badry,
T. J. Maccarone,
C. Knigge,
J. Anderson,
M. Middleton,
J. C. A. Miller-Jones
Abstract:
Compact object binaries (a black hole or a neutron star orbiting a non-degenerate stellar companion) are key to our understanding of late massive star evolution, in addition to being some of the best probes of extreme gravity and accretion physics. Gaia has opened the door to astrometric studies of these systems, enabling geometric distance measurements, kinematic estimation, and the ability to fi…
▽ More
Compact object binaries (a black hole or a neutron star orbiting a non-degenerate stellar companion) are key to our understanding of late massive star evolution, in addition to being some of the best probes of extreme gravity and accretion physics. Gaia has opened the door to astrometric studies of these systems, enabling geometric distance measurements, kinematic estimation, and the ability to find new previously unknown systems through measurement of binary orbital elements. Particularly puzzling are newly found massive black holes in wide orbits (~AU or more) whose evolutionary history is difficult to explain. Astrometric identification of such binaries is challenging for Gaia, with only two such examples currently known. Roman's enormous grasp, superb sensitivity, sharp PSF and controlled survey strategy can prove to be a game-changer in this field, extending astrometric studies of compact object binaries several mag deeper than Gaia. We propose to use the microlensing Galactic Bulge Time Domain Survey to identify new wide-orbit black hole compact object binaries, determine their prevalence and their spatial distribution, thus opening up new parameter space in binary population studies.
△ Less
Submitted 28 June, 2023;
originally announced June 2023.
-
Automated Grading and Feedback Tools for Programming Education: A Systematic Review
Authors:
Marcus Messer,
Neil C. C. Brown,
Michael Kölling,
Miaojing Shi
Abstract:
We conducted a systematic literature review on automated grading and feedback tools for programming education.
We analysed 121 research papers from 2017 to 2021 inclusive and categorised them based on skills assessed, approach, language paradigm, degree of automation and evaluation techniques.
Most papers assess the correctness of assignments in object-oriented languages.
Typically, these to…
▽ More
We conducted a systematic literature review on automated grading and feedback tools for programming education.
We analysed 121 research papers from 2017 to 2021 inclusive and categorised them based on skills assessed, approach, language paradigm, degree of automation and evaluation techniques.
Most papers assess the correctness of assignments in object-oriented languages.
Typically, these tools use a dynamic technique, primarily unit testing, to provide grades and feedback to the students or static analysis techniques to compare a submission with a reference solution or with a set of correct student submissions.
However, these techniques' feedback is often limited to whether the unit tests have passed or failed, the expected and actual output, or how they differ from the reference solution.
Furthermore, few tools assess the maintainability, readability or documentation of the source code, with most using static analysis techniques, such as code quality metrics, in conjunction with grading correctness.
Additionally, we found that most tools offered fully automated assessment to allow for near-instantaneous feedback and multiple resubmissions, which can increase student satisfaction and provide them with more opportunities to succeed.
In terms of techniques used to evaluate the tools' performance, most papers primarily use student surveys or compare the automatic assessment tools to grades or feedback provided by human graders.
However, because the evaluation dataset is frequently unavailable, it is more difficult to reproduce results and compare tools to a collection of common assignments.
△ Less
Submitted 5 December, 2023; v1 submitted 20 June, 2023;
originally announced June 2023.
-
Neural Volumetric Reconstruction for Coherent Synthetic Aperture Sonar
Authors:
Albert W. Reed,
Juhyeon Kim,
Thomas Blanford,
Adithya Pediredla,
Daniel C. Brown,
Suren Jayasuriya
Abstract:
Synthetic aperture sonar (SAS) measures a scene from multiple views in order to increase the resolution of reconstructed imagery. Image reconstruction methods for SAS coherently combine measurements to focus acoustic energy onto the scene. However, image formation is typically under-constrained due to a limited number of measurements and bandlimited hardware, which limits the capabilities of exist…
▽ More
Synthetic aperture sonar (SAS) measures a scene from multiple views in order to increase the resolution of reconstructed imagery. Image reconstruction methods for SAS coherently combine measurements to focus acoustic energy onto the scene. However, image formation is typically under-constrained due to a limited number of measurements and bandlimited hardware, which limits the capabilities of existing reconstruction methods. To help meet these challenges, we design an analysis-by-synthesis optimization that leverages recent advances in neural rendering to perform coherent SAS imaging. Our optimization enables us to incorporate physics-based constraints and scene priors into the image formation process. We validate our method on simulation and experimental results captured in both air and water. We demonstrate both quantitatively and qualitatively that our method typically produces superior reconstructions than existing approaches. We share code and data for reproducibility.
△ Less
Submitted 16 June, 2023;
originally announced June 2023.
-
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems
Authors:
Benjamin Rouxel,
Christopher Brown,
Emad Ebeid,
Kerstin Eder,
Heiko Falk,
Clemens Grelck,
Jesper Holst,
Shashank Jadhav,
Yoann Marquer,
Marcos Martinez De Alejandro,
Kris Nikov,
Ali Sahafi,
Ulrik Pagh Schultz Lundquist,
Adam Seewald,
Vangelis Vassalos,
Simon Wegener,
Olivier Zendra
Abstract:
Non-functional properties, such as energy, time, and security (ETS) are becoming increasingly important in Cyber-Physical Systems (CPS) programming. This article describes TeamPlay, a research project funded under the EU Horizon 2020 programme between January 2018 and June 2021. TeamPlay aimed to provide the system designer with a toolchain for developing embedded applications where ETS properties…
▽ More
Non-functional properties, such as energy, time, and security (ETS) are becoming increasingly important in Cyber-Physical Systems (CPS) programming. This article describes TeamPlay, a research project funded under the EU Horizon 2020 programme between January 2018 and June 2021. TeamPlay aimed to provide the system designer with a toolchain for developing embedded applications where ETS properties are first-class citizens, allowing the developer to reflect directly on energy, time and security properties at the source code level. In this paper we give an overview of the TeamPlay methodology, introduce the challenges and solutions of our approach and summarise the results achieved. Overall, applying our TeamPlay methodology led to an improvement of up to 18% performance and 52% energy usage over traditional approaches.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Longitudinal Position and Cancer Risk in the United States Revisited
Authors:
Jin Niu,
Charlotte Brown,
Michael Law,
Justin Colacino,
Ya'acov Ritov
Abstract:
Background: The debate over daylight saving time has surged, with interests in the effects of sunlight exposure on health. \commentnj{Prior studies simulated daylight saving time and standard time conditions by analyzing different locations within time zones and neighboring areas across time zone borders.
Methods: We analyzed cancer incidence rates from various longitudinal positions within time…
▽ More
Background: The debate over daylight saving time has surged, with interests in the effects of sunlight exposure on health. \commentnj{Prior studies simulated daylight saving time and standard time conditions by analyzing different locations within time zones and neighboring areas across time zone borders.
Methods: We analyzed cancer incidence rates from various longitudinal positions within time zones and at time zone borders in the contiguous United States. Using data from State Cancer Profiles (2016-2020), we analyzed total cancer of 19 types and specific rates for eight cancers, adjusted for age and includes all demographics. Log-linear regression is used to replicate a previous study, and spatial regression models are employed to explore discontinuities at borders.
Results: Cancer rate differences lack statistical significance within time zones and near borders for total cancer and most individual cancers. Exceptions included breast, prostate, and liver \& bile duct cancers, which exhibited significant relationships with relative position at the 95\% significance level. Breast and liver and bile duct cancers saw decreases, while prostate cancer incidence increased from west to east within time zones.
Conclusions: Relative position does not have a significant impact on cancer incidence, hence cancer development in general. Isolated exceptions may warrant further investigation as more data becomes available.
Impact: Our findings challenge prior research, revealing numerous inconsistencies. These disparities urge a reconsideration of the potential disparities in human health associated with daylight saving time and standard time. They offer insights contribute to the ongoing discussion surrounding the retention or abandonment of DST.
△ Less
Submitted 28 November, 2023; v1 submitted 9 June, 2023;
originally announced June 2023.
-
Estimation of the number of single-photon emitters for multiple fluorophores with the same spectral signature
Authors:
Wenchao Li,
Shuo Li,
Timothy C. Brown,
Qiang Sun,
Xuezhi Wang,
Vladislav V. Yakovlev,
Allison Kealy,
Bill Moran,
Andrew D. Greentree
Abstract:
Fluorescence microscopy is of vital importance for understanding biological function. However most fluorescence experiments are only qualitative inasmuch as the absolute number of fluorescent particles can often not be determined. Additionally, conventional approaches to measuring fluorescence intensity cannot distinguish between two or more fluorophores that are excited and emit in the same spect…
▽ More
Fluorescence microscopy is of vital importance for understanding biological function. However most fluorescence experiments are only qualitative inasmuch as the absolute number of fluorescent particles can often not be determined. Additionally, conventional approaches to measuring fluorescence intensity cannot distinguish between two or more fluorophores that are excited and emit in the same spectral window, as only the total intensity in a spectral window can be obtained. Here we show that, by using photon number resolving experiments, we are able to determine the number of emitters and their probability of emission for a number of different species, all with the same measured spectral signature. We illustrate our ideas by showing the determination of the number of emitters per species and the probability of photon collection from that species, for one, two, and three otherwise unresolvable fluorophores. The convolution Binomial model is presented to model the counted photons emitted by multiple species. And then the Expectation-Maximization (EM) algorithm is used to match the measured photon counts to the expected convolution Binomial distribution function. In applying the EM algorithm, to leverage the problem of being trapped in a sub-optimal solution, the moment method is introduced in finding the initial guess of the EM algorithm. Additionally, the associated Cramér-Rao lower bound is derived and compared with the simulation results.
△ Less
Submitted 12 February, 2024; v1 submitted 8 June, 2023;
originally announced June 2023.
-
Exploring the Role of AI Assistants in Computer Science Education: Methods, Implications, and Instructor Perspectives
Authors:
Tianjia Wang,
Daniel Vargas-Díaz,
Chris Brown,
Yan Chen
Abstract:
The use of AI assistants, along with the challenges they present, has sparked significant debate within the community of computer science education. While these tools demonstrate the potential to support students' learning and instructors' teaching, they also raise concerns about enabling unethical uses by students. Previous research has suggested various strategies aimed at addressing these issue…
▽ More
The use of AI assistants, along with the challenges they present, has sparked significant debate within the community of computer science education. While these tools demonstrate the potential to support students' learning and instructors' teaching, they also raise concerns about enabling unethical uses by students. Previous research has suggested various strategies aimed at addressing these issues. However, they concentrate on the introductory programming courses and focus on one specific type of problem. The present research evaluated the performance of ChatGPT, a state-of-the-art AI assistant, at solving 187 problems spanning three distinct types that were collected from six undergraduate computer science. The selected courses covered different topics and targeted different program levels. We then explored methods to modify these problems to adapt them to ChatGPT's capabilities to reduce potential misuse by students. Finally, we conducted semi-structured interviews with 11 computer science instructors. The aim was to gather their opinions on our problem modification methods, understand their perspectives on the impact of AI assistants on computer science education, and learn their strategies for adapting their courses to leverage these AI capabilities for educational improvement. The results revealed issues ranging from academic fairness to long-term impact on students' mental models. From our results, we derived design implications and recommended tools to help instructors design and create future course material that could more effectively adapt to AI assistants' capabilities.
△ Less
Submitted 12 November, 2023; v1 submitted 5 June, 2023;
originally announced June 2023.
-
The LHCb upgrade I
Authors:
LHCb collaboration,
R. Aaij,
A. S. W. Abdelmotteleb,
C. Abellan Beteta,
F. Abudinén,
C. Achard,
T. Ackernley,
B. Adeva,
M. Adinolfi,
P. Adlarson,
H. Afsharnia,
C. Agapopoulou,
C. A. Aidala,
Z. Ajaltouni,
S. Akar,
K. Akiba,
P. Albicocco,
J. Albrecht,
F. Alessio,
M. Alexander,
A. Alfonso Albero,
Z. Aliouche,
P. Alvarez Cartelle,
R. Amalric,
S. Amato
, et al. (1298 additional authors not shown)
Abstract:
The LHCb upgrade represents a major change of the experiment. The detectors have been almost completely renewed to allow running at an instantaneous luminosity five times larger than that of the previous running periods. Readout of all detectors into an all-software trigger is central to the new design, facilitating the reconstruction of events at the maximum LHC interaction rate, and their select…
▽ More
The LHCb upgrade represents a major change of the experiment. The detectors have been almost completely renewed to allow running at an instantaneous luminosity five times larger than that of the previous running periods. Readout of all detectors into an all-software trigger is central to the new design, facilitating the reconstruction of events at the maximum LHC interaction rate, and their selection in real time. The experiment's tracking system has been completely upgraded with a new pixel vertex detector, a silicon tracker upstream of the dipole magnet and three scintillating fibre tracking stations downstream of the magnet. The whole photon detection system of the RICH detectors has been renewed and the readout electronics of the calorimeter and muon systems have been fully overhauled. The first stage of the all-software trigger is implemented on a GPU farm. The output of the trigger provides a combination of totally reconstructed physics objects, such as tracks and vertices, ready for final analysis, and of entire events which need further offline reprocessing. This scheme required a complete revision of the computing model and rewriting of the experiment's software.
△ Less
Submitted 17 May, 2023;
originally announced May 2023.
-
Translating SUMO-K to Higher-Order Set Theory
Authors:
Chad Brown,
Adam Pease,
Josef Urban
Abstract:
We describe a translation from a fragment of SUMO (SUMO-K) into higher-order set theory. The translation provides a formal semantics for portions of SUMO which are beyond first-order and which have previously only had an informal interpretation. It also for the first time embeds a large common-sense ontology into a very secure interactive theorem proving system. We further extend our previous work…
▽ More
We describe a translation from a fragment of SUMO (SUMO-K) into higher-order set theory. The translation provides a formal semantics for portions of SUMO which are beyond first-order and which have previously only had an informal interpretation. It also for the first time embeds a large common-sense ontology into a very secure interactive theorem proving system. We further extend our previous work in finding contradictions in SUMO from first order constructs to include a portion of SUMO's higher order constructs. Finally, using the translation, we can create problems that can be proven using higher-order interactive and automated theorem provers. This is tested in several systems and can be used to form a corpus of higher-order common-sense reasoning problems.
△ Less
Submitted 13 May, 2023;
originally announced May 2023.
-
Suggestion Bot: Analyzing the Impact of Automated Suggested Changes on Code Reviews
Authors:
Nivishree Palvannan,
Chris Brown
Abstract:
Peer code reviews are crucial for maintaining the quality of the code in software repositories. Developers have introduced a number of software bots to help with the code review process. Despite the benefits of automating code review tasks, many developers face challenges interacting with these bots due to non-comprehensive feedback and disruptive notifications. In this paper, we analyze how incor…
▽ More
Peer code reviews are crucial for maintaining the quality of the code in software repositories. Developers have introduced a number of software bots to help with the code review process. Despite the benefits of automating code review tasks, many developers face challenges interacting with these bots due to non-comprehensive feedback and disruptive notifications. In this paper, we analyze how incorporating a bot in software development cycle will decrease turnaround time of pull request. We created a bot called SUGGESTION BOT to automatically review the code base using GitHub's suggested changes functionality in order to solve this issue. A preliminary comparative empirical investigation between the utilization of this bot and manual review procedures was also conducted in this study. We evaluate SUGGESTION BOT concerning its impact on review time and also analyze whether the comments given by the bot are clear and useful for users. Our results provide implications for the design of future systems and improving human-bot interactions for code review.
△ Less
Submitted 10 May, 2023;
originally announced May 2023.
-
Coronal Heating as Determined by the Solar Flare Frequency Distribution Obtained by Aggregating Case Studies
Authors:
James Paul Mason,
Alexandra Werth,
Colin G. West,
Allison A. Youngblood,
Donald L. Woodraska,
Courtney Peck,
Kevin Lacjak,
Florian G. Frick,
Moutamen Gabir,
Reema A. Alsinan,
Thomas Jacobsen,
Mohammad Alrubaie,
Kayla M. Chizmar,
Benjamin P. Lau,
Lizbeth Montoya Dominguez,
David Price,
Dylan R. Butler,
Connor J. Biron,
Nikita Feoktistov,
Kai Dewey,
N. E. Loomis,
Michal Bodzianowski,
Connor Kuybus,
Henry Dietrick,
Aubrey M. Wolfe
, et al. (977 additional authors not shown)
Abstract:
Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms th…
▽ More
Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms that could explain it: nanoflares or Alfvén waves. To date, neither can be directly observed. Nanoflares are, by definition, extremely small, but their aggregate energy release could represent a substantial heating mechanism, presuming they are sufficiently abundant. One way to test this presumption is via the flare frequency distribution, which describes how often flares of various energies occur. If the slope of the power law fitting the flare frequency distribution is above a critical threshold, $α=2$ as established in prior literature, then there should be a sufficient abundance of nanoflares to explain coronal heating. We performed $>$600 case studies of solar flares, made possible by an unprecedented number of data analysts via three semesters of an undergraduate physics laboratory course. This allowed us to include two crucial, but nontrivial, analysis methods: pre-flare baseline subtraction and computation of the flare energy, which requires determining flare start and stop times. We aggregated the results of these analyses into a statistical study to determine that $α= 1.63 \pm 0.03$. This is below the critical threshold, suggesting that Alfvén waves are an important driver of coronal heating.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
A Race Track Trapped-Ion Quantum Processor
Authors:
S. A. Moses,
C. H. Baldwin,
M. S. Allman,
R. Ancona,
L. Ascarrunz,
C. Barnes,
J. Bartolotta,
B. Bjork,
P. Blanchard,
M. Bohn,
J. G. Bohnet,
N. C. Brown,
N. Q. Burdick,
W. C. Burton,
S. L. Campbell,
J. P. Campora III,
C. Carron,
J. Chambers,
J. W. Chan,
Y. H. Chen,
A. Chernoguzov,
E. Chertkov,
J. Colina,
J. P. Curtis,
R. Daniel
, et al. (71 additional authors not shown)
Abstract:
We describe and benchmark a new quantum charge-coupled device (QCCD) trapped-ion quantum computer based on a linear trap with periodic boundary conditions, which resembles a race track. The new system successfully incorporates several technologies crucial to future scalability, including electrode broadcasting, multi-layer RF routing, and magneto-optical trap (MOT) loading, while maintaining, and…
▽ More
We describe and benchmark a new quantum charge-coupled device (QCCD) trapped-ion quantum computer based on a linear trap with periodic boundary conditions, which resembles a race track. The new system successfully incorporates several technologies crucial to future scalability, including electrode broadcasting, multi-layer RF routing, and magneto-optical trap (MOT) loading, while maintaining, and in some cases exceeding, the gate fidelities of previous QCCD systems. The system is initially operated with 32 qubits, but future upgrades will allow for more. We benchmark the performance of primitive operations, including an average state preparation and measurement error of 1.6(1)$\times 10^{-3}$, an average single-qubit gate infidelity of $2.5(3)\times 10^{-5}$, and an average two-qubit gate infidelity of $1.84(5)\times 10^{-3}$. The system-level performance of the quantum processor is assessed with mirror benchmarking, linear cross-entropy benchmarking, a quantum volume measurement of $\mathrm{QV}=2^{16}$, and the creation of 32-qubit entanglement in a GHZ state. We also tested application benchmarks including Hamiltonian simulation, QAOA, error correction on a repetition code, and dynamics simulations using qubit reuse. We also discuss future upgrades to the new system aimed at adding more qubits and capabilities.
△ Less
Submitted 16 May, 2023; v1 submitted 5 May, 2023;
originally announced May 2023.
-
A Mathematical Benchmark for Inductive Theorem Provers
Authors:
Thibault Gauthier,
Chad E. Brown,
Mikolas Janota,
Josef Urban
Abstract:
We present a benchmark of 29687 problems derived from the On-Line Encyclopedia of Integer Sequences (OEIS). Each problem expresses the equivalence of two syntactically different programs generating the same OEIS sequence. Such programs were conjectured by a learning-guided synthesis system using a language with looping operators. The operators implement recursion, and thus many of the proofs requi…
▽ More
We present a benchmark of 29687 problems derived from the On-Line Encyclopedia of Integer Sequences (OEIS). Each problem expresses the equivalence of two syntactically different programs generating the same OEIS sequence. Such programs were conjectured by a learning-guided synthesis system using a language with looping operators. The operators implement recursion, and thus many of the proofs require induction on natural numbers. The benchmark contains problems of varying difficulty from a wide area of mathematical domains. We believe that these characteristics will make it an effective judge for the progress of inductive theorem provers in this domain for years to come.
△ Less
Submitted 6 April, 2023;
originally announced April 2023.