-
ZTF SN Ia DR2: The spectral diversity of Type Ia supernovae in a volume-limited sample
Authors:
U. Burgaz,
K. Maguire,
G. Dimitriadis,
L. Harvey,
R. Senzel,
J. Sollerman,
J. Nordin,
L. Galbany,
M. Rigault,
M. Smith,
A. Goobar,
J. Johansson,
P. Rosnet,
M. Amenouche,
M. Deckers,
S. Dhawan,
M. Ginolin,
Y. -L. Kim,
A. A. Miller,
T. E. Muller-Bravo,
P. E. Nugent,
J. H. Terwel,
R. Dekany,
A. Drake,
M. J. Graham
, et al. (8 additional authors not shown)
Abstract:
More than 3000 spectroscopically confirmed Type Ia supernovae (SNe Ia) are presented in the Zwicky Transient Facility SN Ia Data Release 2 (ZTF DR2). In this paper, we detail the spectral properties of 482 SNe Ia near maximum light, up to a redshift limit of $z$ $\leq$ 0.06. We measure the velocities and pseudo-equivalent widths (pEW) of key spectral features (Si II $λ$5972 and Si II $λ$6355) and…
▽ More
More than 3000 spectroscopically confirmed Type Ia supernovae (SNe Ia) are presented in the Zwicky Transient Facility SN Ia Data Release 2 (ZTF DR2). In this paper, we detail the spectral properties of 482 SNe Ia near maximum light, up to a redshift limit of $z$ $\leq$ 0.06. We measure the velocities and pseudo-equivalent widths (pEW) of key spectral features (Si II $λ$5972 and Si II $λ$6355) and investigate the relation between the properties of the spectral features and the photometric properties from the SALT2 light-curve parameters as a function of spectroscopic sub-class. We discuss the non-negligible impact of host galaxy contamination on SN Ia spectral classifications, as well as investigate the accuracy of spectral template matching of the ZTF DR2 sample. We define a new subclass of underluminous SNe Ia (`04gs-like') that lie spectroscopically between normal SNe Ia and transitional 86G-like SNe Ia (stronger Si II $λ$5972 than normal SNe Ia but significantly weaker Ti II features than `86G-like' SNe). We model these `04gs-like' SN Ia spectra using the radiative-transfer spectral synthesis code tardis and show that cooler temperatures alone are unable to explain their spectra; some changes in elemental abundances are also required. However, the broad continuity in spectral properties seen from bright (`91T-like') to faint normal SN Ia, including the transitional and 91bg-like SNe Ia, suggests that variations within a single explosion model may be able to explain their behaviour.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Power handling in a highly-radiative negative triangularity pilot plant
Authors:
M. A. Miller,
D. Arnold,
M. Wigram,
A. O. Nelson,
J. Witham,
G. Rutherford,
H. Choudhury,
C. Cummings,
C. Paz-Soldan,
D. G. Whyte
Abstract:
This work explores power handling solutions for high-field, highly-radiative negative triangularity (NT) reactors based around the MANTA concept \cite{rutherford_manta_2024}. The divertor design is kept as simple as possible, opting for a standard divertor with standard leg length. FreeGS is used to create an equilibrium for the boundary region, prioritizing a short outer leg length of only…
▽ More
This work explores power handling solutions for high-field, highly-radiative negative triangularity (NT) reactors based around the MANTA concept \cite{rutherford_manta_2024}. The divertor design is kept as simple as possible, opting for a standard divertor with standard leg length. FreeGS is used to create an equilibrium for the boundary region, prioritizing a short outer leg length of only $\sim$50 cm ($\sim$40\% of the minor radius). The UEDGE code package is used for the boundary plasma solution, to track plasma temperatures and fluxes to the divertor targets. It is found that for $P_\mathrm{SOL}$ = 25 MW and $n_\mathrm{sep} = 0.96 \times 10^{20}$ m$^{-3}$, conditions consistent with initial core transport modeling, little additional power mitigation is necessary. For external impurity injection of just 0.13\% Ne, the peak heat flux density at the more heavily loaded outer targets falls to 7.8 MW/m$^{2}$, while the electron temperature $T_\mathrm{e}$ remains just under 5 eV. Scans around the parameter space reveal that even at densities lower than in the primary operating scenario, $P_\mathrm{SOL}$ can be increased up to 50 MW, so long as a slightly higher fraction of extrinsic radiator is used. With less than 1\% neon (Ne) impurity content, the divertor still experiences less than 10 MW/m$^{2}$ at the outer target. Design of the plasma-facing components includes a close-fitting vacuum vessel with a tungsten inner surface as well as FLiBe-carrying cooling channels fashioned into the VV wall directly behind the divertor targets. For the seeded heat flux profile, Ansys Fluent heat transfer simulations estimate that the outer target temperature remains at just below 1550\degree C. Initial sco** of advanced divertor designs shows that for an X-divertor, detachment of the outer target becomes much simpler, and plasma fluxes to the targets drop considerably with only 0.01\% Ne content.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Enhanced pedestal transport driven by edge collisionality on Alcator C-Mod and its role in regulating H-mode pedestal gradients
Authors:
M. A. Miller,
J. W. Hughes,
A. M. Rosenthal,
S. Mordijck,
R. Reksoatmodjo,
M. Wigram,
J. Dunsmore,
F. Sciortino,
R. S. Wilcox,
T. Odstrčil
Abstract:
Experimental measurements of plasma and neutral profiles across the pedestal are used in conjunction with 2D edge modeling to examine pedestal stiffness in Alcator C-Mod H-mode plasmas. Experiments on Alcator C-Mod observed pedestal degradation and loss in confinement below a critical value of net power crossing the separatrix, $P_\mathrm{net} = P_\mathrm{net}^\mathrm{crit} \approx 2.3$ MW. New an…
▽ More
Experimental measurements of plasma and neutral profiles across the pedestal are used in conjunction with 2D edge modeling to examine pedestal stiffness in Alcator C-Mod H-mode plasmas. Experiments on Alcator C-Mod observed pedestal degradation and loss in confinement below a critical value of net power crossing the separatrix, $P_\mathrm{net} = P_\mathrm{net}^\mathrm{crit} \approx 2.3$ MW. New analysis of ionization and particle flux profiles reveal saturation of the pedestal electron density, $n_{e}^\mathrm{ped}$ despite continuous increases in ionization throughout the pedestal, inversely related to $P_\mathrm{net}$. A limit to the pedestal $\nabla n_{e}$ emerges as the particle flux, $Γ_{D}$ continues to grow, implying increases in the effective particle diffusivity, $D_\mathrm{eff}$. This is well-correlated with the separatrix collisionality, $ν^{*}_\mathrm{sep}$ and a turbulence control parameter, $α_{t}$, implying a possible transition in type of turbulence. The transition is well correlated with the experimentally observed value of $P_\mathrm{net}^\mathrm{crit}$. SOLPS-ITER modeling is performed for select discharges from the power scan, constrained with experimental electron and neutral densities, measured at the outer midplane. The modeling confirms general growth in $D_\mathrm{eff}$, consistent with experimental findings, and additionally suggests even larger growth in $χ_{e}$ at the same $P_\mathrm{net}^\mathrm{crit}$.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Particle control via cryopum** and its impact on the edge plasma profiles of Alcator C-Mod
Authors:
M. A. Miller,
J. W. Hughes,
S. Mordijck,
M. Wigram,
J. Dunsmore,
R. Reksoatmodjo,
R. S. Wilcox
Abstract:
At the high $n_{e}$ proposed for high-field fusion reactors, it is uncertain whether ionization, as opposed to plasma transport, will be most influential in determining $n_{e}$ at the pedestal and separatrix. A database of Alcator C-Mod discharges is analyzed to evaluate the impact of source modification via cryopum**. The database contains similarly-shaped H-modes at fixed $I_{p} =$ 0.8 MA and…
▽ More
At the high $n_{e}$ proposed for high-field fusion reactors, it is uncertain whether ionization, as opposed to plasma transport, will be most influential in determining $n_{e}$ at the pedestal and separatrix. A database of Alcator C-Mod discharges is analyzed to evaluate the impact of source modification via cryopum**. The database contains similarly-shaped H-modes at fixed $I_{p} =$ 0.8 MA and $B_{t} =$ 5.4 T, spanning a large range in $P_\mathrm{net}$ and ionization. Measurements from an edge Thomson Scattering system are combined with those from a midplane-viewing Ly$_α$ camera to evaluate changes to $n_{e}$ and $T_{e}$ in response to changes to ionization rates, $S_\mathrm{ion}$. $n_{e}^\mathrm{sep}$ and $T_{e}^\mathrm{ped}$ are found to be most sensitive to changes to $S_\mathrm{ion}^\mathrm{sep}$, as opposed to $n_{e}^\mathrm{ped}$ and $T_{e}^\mathrm{sep}$. Dimensionless quantities, namely $α_\mathrm{MHD}$ and $ν^{*}$, are found to regulate attainable pedestal values. Select discharges at different values of $P_\mathrm{net}$ and in different pum** configurations are analyzed further using SOLPS-ITER. It is determined that changes to plasma transport coefficients are required to self-consistently model both plasma and neutral edge dynamics. Pum** is found to modify the poloidal distribution of atomic neutral density, $n_{0}$, along the separatrix, increasing $n_{0}$ at the active X-point. Opaqueness to neutrals from high $n_{e}$ in the divertor is found to play a role in mediating neutral penetration lengths and hence, the poloidal distribution of neutrals along the separatrix. Pumped discharges thus require a larger particle diffusion coefficient than that inferred purely from 1D experimental profiles at the outer midplane.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Perfect cheating is impossible for single-qubit position verification
Authors:
Carl A. Miller,
Yusuf Alnawakhtha
Abstract:
In quantum position verification, a prover certifies her location by performing a quantum computation and returning the results (at the speed of light) to a set of trusted verifiers. One of the very first protocols for quantum position verification was proposed in (Kent, Munro, Spiller 2011): the prover receives a qubit $Q$ from one direction, receives an orthogonal basis $\{ v, v^\perp \}$ from t…
▽ More
In quantum position verification, a prover certifies her location by performing a quantum computation and returning the results (at the speed of light) to a set of trusted verifiers. One of the very first protocols for quantum position verification was proposed in (Kent, Munro, Spiller 2011): the prover receives a qubit $Q$ from one direction, receives an orthogonal basis $\{ v, v^\perp \}$ from the opposite direction, then measures $Q$ in $\{ v, v^\perp \}$ and broadcasts the result. A number of variants of this protocol have been proposed and analyzed, but the question of whether the original protocol itself is secure has never been fully resolved. In this work we show that there is no perfect finite-dimensional cheating strategy for the original KMS measurement protocol. Our approach makes use of tools from real algebraic geometry.
△ Less
Submitted 28 June, 2024;
originally announced June 2024.
-
pVACview: an interactive visualization tool for efficient neoantigen prioritization and selection
Authors:
Huiming Xia,
My Hoang,
Evelyn Schmidt,
Susanna Kiwala,
Joshua McMichael,
Zachary L. Skidmore,
Bryan Fisk,
Jonathan J. Song,
Jasreet Hundal,
Thomas Mooney,
Jason R. Walker,
S. Peter Goedegebuure,
Christopher A. Miller,
William E. Gillanders,
Obi L. Griffith,
Malachi Griffith
Abstract:
Neoantigen targeting therapies including personalized vaccines have shown promise in the treatment of cancers. Accurate identification/prioritization of neoantigens is highly relevant to designing clinical trials, predicting treatment response, and understanding mechanisms of resistance. With the advent of massively parallel sequencing technologies, it is now possible to predict neoantigens based…
▽ More
Neoantigen targeting therapies including personalized vaccines have shown promise in the treatment of cancers. Accurate identification/prioritization of neoantigens is highly relevant to designing clinical trials, predicting treatment response, and understanding mechanisms of resistance. With the advent of massively parallel sequencing technologies, it is now possible to predict neoantigens based on patient-specific variant information. However, numerous factors must be considered when prioritizing neoantigens for use in personalized therapies. Complexities such as alternative transcript annotations, various binding, presentation and immunogenicity prediction algorithms, and variable peptide lengths/registers all potentially impact the neoantigen selection process. While computational tools generate numerous algorithmic predictions for neoantigen characterization, results from these pipelines are difficult to navigate and require extensive knowledge of the underlying tools for accurate interpretation. Due to the intricate nature and number of salient neoantigen features, presenting all relevant information to facilitate candidate selection for downstream applications is a difficult challenge that current tools fail to address. We have created pVACview, the first interactive tool designed to aid in the prioritization and selection of neoantigen candidates for personalized neoantigen therapies. pVACview has a user-friendly and intuitive interface where users can upload, explore, select and export their neoantigen candidates. The tool allows users to visualize candidates using variant, transcript and peptide information. pVACview will allow researchers to analyze and prioritize neoantigen candidates with greater efficiency and accuracy in basic and translational settings. The application is available as part of the pVACtools pipeline at pvactools.org and as an online server at pvacview.org.
△ Less
Submitted 11 June, 2024;
originally announced June 2024.
-
What is my quantum computer good for? Quantum capability learning with physics-aware neural networks
Authors:
Daniel Hothem,
Ashe Miller,
Timothy Proctor
Abstract:
Quantum computers have the potential to revolutionize diverse fields, including quantum chemistry, materials science, and machine learning. However, contemporary quantum computers experience errors that often cause quantum programs run on them to fail. Until quantum computers can reliably execute large quantum programs, stakeholders will need fast and reliable methods for assessing a quantum compu…
▽ More
Quantum computers have the potential to revolutionize diverse fields, including quantum chemistry, materials science, and machine learning. However, contemporary quantum computers experience errors that often cause quantum programs run on them to fail. Until quantum computers can reliably execute large quantum programs, stakeholders will need fast and reliable methods for assessing a quantum computer's capability-i.e., the programs it can run and how well it can run them. Previously, off-the-shelf neural network architectures have been used to model quantum computers' capabilities, but with limited success, because these networks fail to learn the complex quantum physics that determines real quantum computers' errors. We address this shortcoming with a new quantum-physics-aware neural network architecture for learning capability models. Our architecture combines aspects of graph neural networks with efficient approximations to the physics of errors in quantum programs. This approach achieves up to $\sim50\%$ reductions in mean absolute error on both experimental and simulated data, over state-of-the-art models based on convolutional neural networks.
△ Less
Submitted 9 June, 2024;
originally announced June 2024.
-
MANTA: A Negative-Triangularity NASEM-Compliant Fusion Pilot Plant
Authors:
MANTA Collaboration,
G. Rutherford,
H. S. Wilson,
A. Saltzman,
D. Arnold,
J. L. Ball,
S. Benjamin,
R. Bielajew,
N. de Boucaud,
M. Calvo-Carrera,
R. Chandra,
H. Choudhury,
C. Cummings,
L. Corsaro,
N. DaSilva,
R. Diab,
A. R. Devitre,
S. Ferry,
S. J. Frank,
C. J. Hansen,
J. Jerkins,
J. D. Johnson,
P. Lunia,
J. van de Lindt,
S. Mackie
, et al. (16 additional authors not shown)
Abstract:
The MANTA (Modular Adjustable Negative Triangularity ARC-class) design study investigated how negative-triangularity (NT) may be leveraged in a compact, fusion pilot plant (FPP) to take a ``power-handling first" approach. The result is a pulsed, radiative, ELM-free tokamak that satisfies and exceeds the FPP requirements described in the 2021 National Academies of Sciences, Engineering, and Medicin…
▽ More
The MANTA (Modular Adjustable Negative Triangularity ARC-class) design study investigated how negative-triangularity (NT) may be leveraged in a compact, fusion pilot plant (FPP) to take a ``power-handling first" approach. The result is a pulsed, radiative, ELM-free tokamak that satisfies and exceeds the FPP requirements described in the 2021 National Academies of Sciences, Engineering, and Medicine report ``Bringing Fusion to the U.S. Grid". A self-consistent integrated modeling workflow predicts a fusion power of 450 MW and a plasma gain of 11.5 with only 23.5 MW of power to the scrape-off layer (SOL). This low $P_\text{SOL}$ together with impurity seeding and high density at the separatrix results in a peak heat flux of just 2.8 MW/m$^{2}$. MANTA's high aspect ratio provides space for a large central solenoid (CS), resulting in ${\sim}$15 minute inductive pulses. In spite of the high B fields on the CS and the other REBCO-based magnets, the electromagnetic stresses remain below structural and critical current density limits. Iterative optimization of neutron shielding and tritium breeding blanket yield tritium self-sufficiency with a breeding ratio of 1.15, a blanket power multiplication factor of 1.11, toroidal field coil lifetimes of $3100 \pm 400$ MW-yr, and poloidal field coil lifetimes of at least $890 \pm 40$ MW-yr. Following balance of plant modeling, MANTA is projected to generate 90 MW of net electricity at an electricity gain factor of ${\sim}2.4$. Systems-level economic analysis estimates an overnight cost of US\$3.4 billion, meeting the NASEM FPP requirement that this first-of-a-kind be less than US\$5 billion. The toroidal field coil cost and replacement time are the most critical upfront and lifetime cost drivers, respectively.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
The Quark Pauli Principle and the Transmutation of Nuclear Matter
Authors:
Larry McLerran,
Gerald A. Miller
Abstract:
The phase space density, $ρ^Q$, of quarks in nuclei is studied using realistic models of unintegrated quark distributions, known as transverse momentum densities (TMDs). If this density exceeds unity for matter at normal nuclear densities, the effects of the quark Pauli principle must play a role in nuclei, and models in which the nucleon density at low momentum is small (Quarkyonic matter) may be…
▽ More
The phase space density, $ρ^Q$, of quarks in nuclei is studied using realistic models of unintegrated quark distributions, known as transverse momentum densities (TMDs). If this density exceeds unity for matter at normal nuclear densities, the effects of the quark Pauli principle must play a role in nuclei, and models in which the nucleon density at low momentum is small (Quarkyonic matter) may become a starting point for an entirely new description of nuclei. We denote the nuclear density for which $ρ^Q=1$ to be a transmutation density, $n_T$, because quark degrees of freedom must be relevant at that density. Including the TMDs of [G. de Teramond et. al, \href{DOI:https://doi.org/10.1103/PhysRevLett.120.182001} Phys. Rev. Lett. {\bf 120}, 182002, (2018)] for the valence quarks and phenomenological TMDs for the sea quarks we find that $n_T=0.17 \pm 0.04\,\rm fm^{-3}$, the density of normal nuclear matter. Some of fhe implications of this finding are discussed.
△ Less
Submitted 17 May, 2024;
originally announced May 2024.
-
The Simons Observatory: Design, integration, and testing of the small aperture telescopes
Authors:
Nicholas Galitzki,
Tran Tsan,
Jake Spisak,
Michael Randall,
Max Silva-Feaver,
Joseph Seibert,
Jacob Lashner,
Shunsuke Adachi,
Sean M. Adkins,
Thomas Alford,
Kam Arnold,
Peter C. Ashton,
Jason E. Austermann,
Carlo Baccigalupi,
Andrew Bazarko,
James A. Beall,
Sanah Bhimani,
Bryce Bixler,
Gabriele Coppi,
Lance Corbett,
Kevin D. Crowley,
Kevin T. Crowley,
Samuel Day-Weiss,
Simon Dicker,
Peter N. Dow
, et al. (55 additional authors not shown)
Abstract:
The Simons Observatory (SO) is a cosmic microwave background (CMB) survey experiment that includes small-aperture telescopes (SATs) observing from an altitude of 5,200 m in the Atacama Desert in Chile. The SO SATs will cover six spectral bands between 27 and 280 GHz to search for primordial B-modes to a sensitivity of $σ(r)=0.002$, with quantified systematic errors well below this value. Each SAT…
▽ More
The Simons Observatory (SO) is a cosmic microwave background (CMB) survey experiment that includes small-aperture telescopes (SATs) observing from an altitude of 5,200 m in the Atacama Desert in Chile. The SO SATs will cover six spectral bands between 27 and 280 GHz to search for primordial B-modes to a sensitivity of $σ(r)=0.002$, with quantified systematic errors well below this value. Each SAT is a self-contained cryogenic telescope with a 35$^\circ$ field of view, 42 cm diameter optical aperture, 40 K half-wave plate, 1 K refractive optics, and $<0.1$ K focal plane that holds $>12,000$ TES detectors. We describe the nominal design of the SATs and present details about the integration and testing for one operating at 93 and 145 GHz.
△ Less
Submitted 10 May, 2024; v1 submitted 9 May, 2024;
originally announced May 2024.
-
Reconfiguration of Multisets with Applications to Bin Packing
Authors:
Jeffrey Kam,
Shahin Kamali,
Avery Miller,
Naomi Nishimura
Abstract:
We use the reconfiguration framework to analyze problems that involve the rearrangement of items among groups. In various applications, a group of items could correspond to the files or jobs assigned to a particular machine, and the goal of rearrangement could be improving efficiency or increasing locality.
To cover problems arising in a wide range of application areas, we define the general Rep…
▽ More
We use the reconfiguration framework to analyze problems that involve the rearrangement of items among groups. In various applications, a group of items could correspond to the files or jobs assigned to a particular machine, and the goal of rearrangement could be improving efficiency or increasing locality.
To cover problems arising in a wide range of application areas, we define the general Repacking problem as the rearrangement of multisets of multisets. We present hardness results for the general case and algorithms for various classes of instances that arise in real-life scenarios. By limiting the total size of items in each multiset, our results can be viewed as an offline approach to Bin Packing, in which each bin is represented as a multiset.
In addition to providing the first results on reconfiguration of multisets, our contributions open up several research avenues: the interplay between reconfiguration and online algorithms and parallel algorithms; the use of the tools of linear programming in reconfiguration; and, in the longer term, a focus on resources in reconfiguration.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Electromagnetic Form Factors for Nucleons in Short-Range Correlations and the EMC effect
Authors:
Dmitriy N. Kim,
Or Hen,
Gerald A. Miller,
E. Piasetzky,
M. Strikman,
L. Weinstein
Abstract:
The relationship between medium modifications of nucleon electromagnetic form factors and nucleon structure functions is examined using a model motivated by Light-Front Holographic QCD (LFHQCD). These modifications are closely connected with the influence of short-ranged correlations. The size of the modifications to nucleon form factors is shown to be about the same as the modifications to the st…
▽ More
The relationship between medium modifications of nucleon electromagnetic form factors and nucleon structure functions is examined using a model motivated by Light-Front Holographic QCD (LFHQCD). These modifications are closely connected with the influence of short-ranged correlations. The size of the modifications to nucleon form factors is shown to be about the same as the modifications to the structure functions. Thus, small limits on form factors modifications do not rule out an explanation of the EMC effect motivated by the influence of short range correlations, as claimed by a recent paper.
△ Less
Submitted 30 April, 2024; v1 submitted 23 April, 2024;
originally announced April 2024.
-
Gravitational waves from sub-solar mass primordial black holes
Authors:
Andrew L. Miller
Abstract:
Gravitational waves from inspiraling sub-solar mass compact objects would provide almost definitive evidence for the existence of primordial black holes. In this chapter, we explain why these exotic objects are interesting candidates for current and future gravitational-wave observatories, and provide detailed explanations of how they are searched for. We describe one method, matched filtering, to…
▽ More
Gravitational waves from inspiraling sub-solar mass compact objects would provide almost definitive evidence for the existence of primordial black holes. In this chapter, we explain why these exotic objects are interesting candidates for current and future gravitational-wave observatories, and provide detailed explanations of how they are searched for. We describe one method, matched filtering, to search for binaries with masses between $[0.01,1]M_\odot$. Furthermore, since signals from inspiraling planetary- and asteroid-mass mass compact binaries ($[10^{-9},10^{-2}]M_\odot$) would spend hours to years in the detector frequency band, we explain the novel pattern recognition techniques that have been developed to search for them. Finally, we describe extreme mass ratio inspiral (EMRI) systems, and how these will be searched for in future space-based detectors. For all mass regimes, we comment on the prospects for detection.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
The Artificial Intelligence Ontology: LLM-assisted construction of AI concept hierarchies
Authors:
Marcin P. Joachimiak,
Mark A. Miller,
J. Harry Caufield,
Ryan Ly,
Nomi L. Harris,
Andrew Tritt,
Christopher J. Mungall,
Kristofer E. Bouchard
Abstract:
The Artificial Intelligence Ontology (AIO) is a systematization of artificial intelligence (AI) concepts, methodologies, and their interrelations. Developed via manual curation, with the additional assistance of large language models (LLMs), AIO aims to address the rapidly evolving landscape of AI by providing a comprehensive framework that encompasses both technical and ethical aspects of AI tech…
▽ More
The Artificial Intelligence Ontology (AIO) is a systematization of artificial intelligence (AI) concepts, methodologies, and their interrelations. Developed via manual curation, with the additional assistance of large language models (LLMs), AIO aims to address the rapidly evolving landscape of AI by providing a comprehensive framework that encompasses both technical and ethical aspects of AI technologies. The primary audience for AIO includes AI researchers, developers, and educators seeking standardized terminology and concepts within the AI domain. The ontology is structured around six top-level branches: Networks, Layers, Functions, LLMs, Preprocessing, and Bias, each designed to support the modular composition of AI methods and facilitate a deeper understanding of deep learning architectures and ethical considerations in AI.
AIO's development utilized the Ontology Development Kit (ODK) for its creation and maintenance, with its content being dynamically updated through AI-driven curation support. This approach not only ensures the ontology's relevance amidst the fast-paced advancements in AI but also significantly enhances its utility for researchers, developers, and educators by simplifying the integration of new AI concepts and methodologies.
The ontology's utility is demonstrated through the annotation of AI methods data in a catalog of AI research publications and the integration into the BioPortal ontology resource, highlighting its potential for cross-disciplinary research. The AIO ontology is open source and is available on GitHub (https://github.com/berkeleybop/artificial-intelligence-ontology) and BioPortal (https://bioportal.bioontology.org/ontologies/AIO).
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
Might Normal Nuclear Matter be Quarkyonic?
Authors:
Volker Koch,
Larry McLerran,
Gerald A. Miller,
Volodymyr Vovchenko
Abstract:
The possibility that nuclear matter might be Quarkyonic is considered. Quarkyonic matter is high baryon density matter that is confined but can be approximately thought of as a filled Fermi sea of quarks surrounded by a shell of nucleons. Here, nuclear matter is described by the IdylliQ sigma model for Quarkyonic matter, generalizing the non-interacting IdylliQ model [Y. Fujimoto et al., Phys. Rev…
▽ More
The possibility that nuclear matter might be Quarkyonic is considered. Quarkyonic matter is high baryon density matter that is confined but can be approximately thought of as a filled Fermi sea of quarks surrounded by a shell of nucleons. Here, nuclear matter is described by the IdylliQ sigma model for Quarkyonic matter, generalizing the non-interacting IdylliQ model [Y. Fujimoto et al., Phys. Rev. Lett. 132, 112701 (2024) [arXiv:2306.04304]] to include interactions with a sigma meson and a pion. When such interactions are included, we find that isospin-symmetric nuclear matter binds, with acceptable values of the compressibility and other parameters for nuclear matter at saturation. The energy per nucleon and sound velocity of such matter is computed, and the isospin dependence is determined. Nuclear matter is formed at a density close to but slightly above the density at which Quarkyonic matter forms. Quarkyonic matter predicts a strong depletion of nucleons in normal nuclear matter at low momentum. Such a depletion for nucleon momenta $k \lesssim 120$ MeV is shown to be consistent with electron scattering data.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
Continuous Gravitational Waves: A New Window to Look for Heavy Non-annihilating Dark Matter
Authors:
Sulagna Bhattacharya,
Andrew L. Miller,
Anupam Ray
Abstract:
Sun-like stars can transmute into comparable mass black holes by steadily accumulating heavy non-annihilating dark matter particles over the course of their lives. If such stars form in binary systems, they could give rise to quasi-monochromatic, persistent gravitational waves, commonly known as continuous gravitational waves, as they inspiral towards one another. We demonstrate that next-generati…
▽ More
Sun-like stars can transmute into comparable mass black holes by steadily accumulating heavy non-annihilating dark matter particles over the course of their lives. If such stars form in binary systems, they could give rise to quasi-monochromatic, persistent gravitational waves, commonly known as continuous gravitational waves, as they inspiral towards one another. We demonstrate that next-generation space-based detectors, e.g., Laser Interferometer Space Antenna (LISA) and Big Bang Observer (BBO), can provide novel constraints on dark matter parameters (dark matter mass and its interaction cross-section with the nucleons) by probing gravitational waves from transmuted Sun-like stars that are in close binaries. Our projected constraints depend on several astrophysical uncertainties, nevertheless, are competitive with the existing constraints obtained from cosmological measurements as well as terrestrial direct searches, demonstrating a notable science-case for these space-based gravitational wave detectors as probes of particle dark matter.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Polaris: A Safety-focused LLM Constellation Architecture for Healthcare
Authors:
Subhabrata Mukherjee,
Paul Gamble,
Markel Sanz Ausin,
Neel Kant,
Kriti Aggarwal,
Neha Manjunath,
Debajyoti Datta,
Zhengliang Liu,
Jiayuan Ding,
Sophia Busacca,
Cezanne Bianco,
Swapnil Sharma,
Rae Lasko,
Michelle Voisard,
Sanchay Harneja,
Darya Filippova,
Gerry Meixiong,
Kevin Cha,
Amir Youssefi,
Meyhaa Buvanesh,
Howard Weingram,
Sebastian Bierman-Lytle,
Harpreet Singh Mangat,
Kim Parikh,
Saad Godil
, et al. (1 additional authors not shown)
Abstract:
We develop Polaris, the first safety-focused LLM constellation for real-time patient-AI healthcare conversations. Unlike prior LLM works in healthcare focusing on tasks like question answering, our work specifically focuses on long multi-turn voice conversations. Our one-trillion parameter constellation system is composed of several multibillion parameter LLMs as co-operative agents: a stateful pr…
▽ More
We develop Polaris, the first safety-focused LLM constellation for real-time patient-AI healthcare conversations. Unlike prior LLM works in healthcare focusing on tasks like question answering, our work specifically focuses on long multi-turn voice conversations. Our one-trillion parameter constellation system is composed of several multibillion parameter LLMs as co-operative agents: a stateful primary agent that focuses on driving an engaging conversation and several specialist support agents focused on healthcare tasks performed by nurses to increase safety and reduce hallucinations. We develop a sophisticated training protocol for iterative co-training of the agents that optimize for diverse objectives. We train our models on proprietary data, clinical care plans, healthcare regulatory documents, medical manuals, and other medical reasoning documents. We align our models to speak like medical professionals, using organic healthcare conversations and simulated ones between patient actors and experienced nurses. This allows our system to express unique capabilities such as rapport building, trust building, empathy and bedside manner. Finally, we present the first comprehensive clinician evaluation of an LLM system for healthcare. We recruited over 1100 U.S. licensed nurses and over 130 U.S. licensed physicians to perform end-to-end conversational evaluations of our system by posing as patients and rating the system on several measures. We demonstrate Polaris performs on par with human nurses on aggregate across dimensions such as medical safety, clinical readiness, conversational quality, and bedside manner. Additionally, we conduct a challenging task-based evaluation of the individual specialist support agents, where we demonstrate our LLM agents significantly outperform a much larger general-purpose LLM (GPT-4) as well as from its own medium-size class (LLaMA-2 70B).
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Max-stability under first-order stochastic dominance
Authors:
Christopher Chambers,
Alan Miller,
Ruodu Wang,
Qinyu Wu
Abstract:
Max-stability is the property that taking a maximum between two inputs results in a maximum between two outputs. We investigate max-stability with respect to first-order stochastic dominance, the most fundamental notion of stochastic dominance in decision theory. Under two additional standard axioms of monotonicity and lower semicontinuity, we establish a representation theorem for functionals sat…
▽ More
Max-stability is the property that taking a maximum between two inputs results in a maximum between two outputs. We investigate max-stability with respect to first-order stochastic dominance, the most fundamental notion of stochastic dominance in decision theory. Under two additional standard axioms of monotonicity and lower semicontinuity, we establish a representation theorem for functionals satisfying max-stability, which turns out to be represented by the supremum of a bivariate function. Our characterized functionals encompass special classes of functionals in the literature of risk measures, such as benchmark-loss Value at Risk (VaR) and $Λ$-quantile.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
SN 2023zaw: an ultra-stripped, nickel-poor supernova from a low-mass progenitor
Authors:
Kaustav K. Das,
Christoffer Fremling,
Mansi M. Kasliwal,
Steve Schulze,
Jesper Sollerman,
Viraj Karambelkar,
Sam Rose,
Shreya Anand,
Igor Andreoni,
Marie Aubert,
Sean J. Brennan,
S. Bradley Cenko,
Michael W. Coughlin,
B. O'Connor,
Kishalay De,
Jim Fuller,
Matthew Graham,
Erica Hammerstein,
Annastasia Haynie,
K-Ryan Hinds,
Io Kleiser,
S. R. Kulkarni,
Zeren Lin,
Chang Liu,
Ashish A. Mahabal
, et al. (12 additional authors not shown)
Abstract:
We present SN 2023zaw $-$ a sub-luminous ($\mathrm{M_r} = -16.7$ mag) and rapidly-evolving supernova ($\mathrm{t_{1/2,r}} = 4.9$ days), with the lowest nickel mass ($\approx0.002$ $\mathrm{M_\odot}$) measured among all stripped-envelope supernovae discovered to date. The photospheric spectra are dominated by broad He I and Ca NIR emission lines with velocities of $\sim10\ 000 - 12\ 000$…
▽ More
We present SN 2023zaw $-$ a sub-luminous ($\mathrm{M_r} = -16.7$ mag) and rapidly-evolving supernova ($\mathrm{t_{1/2,r}} = 4.9$ days), with the lowest nickel mass ($\approx0.002$ $\mathrm{M_\odot}$) measured among all stripped-envelope supernovae discovered to date. The photospheric spectra are dominated by broad He I and Ca NIR emission lines with velocities of $\sim10\ 000 - 12\ 000$ $\mathrm{km\ s^{-1}}$. The late-time spectra show prominent narrow He I emission lines at $\sim$1000$\ \mathrm{km\ s^{-1}}$, indicative of interaction with He-rich circumstellar material. SN 2023zaw is located in the spiral arm of a star-forming galaxy. We perform radiation-hydrodynamical and analytical modeling of the lightcurve by fitting with a combination of shock-cooling emission and nickel decay. The progenitor has a best-fit envelope mass of $\approx0.2$ $\mathrm{M_\odot}$ and an envelope radius of $\approx50$ $\mathrm{R_\odot}$. The extremely low nickel mass and low ejecta mass ($\approx0.5$ $\mathrm{M_\odot}$) suggest an ultra-stripped SN, which originates from a mass-losing low mass He-star (ZAMS mass $<$ 10 $\mathrm{M_\odot}$) in a close binary system. This is a channel to form double neutron star systems, whose merger is detectable with LIGO. SN 2023zaw underscores the existence of a previously undiscovered population of extremely low nickel mass ($< 0.005$ $\mathrm{M_\odot}$) stripped-envelope supernovae, which can be explored with deep and high-cadence transient surveys.
△ Less
Submitted 14 March, 2024; v1 submitted 12 March, 2024;
originally announced March 2024.
-
Treespilation: Architecture- and State-Optimised Fermion-to-Qubit Map**s
Authors:
Aaron Miller,
Adam Glos,
Zoltán Zimborás
Abstract:
Quantum computers hold great promise for efficiently simulating Fermionic systems, benefiting fields like quantum chemistry and materials science. To achieve this, algorithms typically begin by choosing a Fermion-to-qubit map** to encode the Fermioinc problem in the qubits of a quantum computer. In this work, we introduce "treespilation," a technique for efficiently map** Fermionic systems usi…
▽ More
Quantum computers hold great promise for efficiently simulating Fermionic systems, benefiting fields like quantum chemistry and materials science. To achieve this, algorithms typically begin by choosing a Fermion-to-qubit map** to encode the Fermioinc problem in the qubits of a quantum computer. In this work, we introduce "treespilation," a technique for efficiently map** Fermionic systems using a large family of favourable tree-based map**s previously introduced by some of the authors. We use this technique to minimise the number of CNOT gates required to simulate chemical groundstates found numerically using the ADAPT-VQE algorithm. We observe significant reductions, up to $74\%$, in CNOT counts on full connectivity and for limited qubit connectivity-type devices such as IBM Eagle and Google Sycamore, we observe similar reductions in CNOT counts. In many instances, the reductions achieved on these limited connectivity devices even surpass the initial full connectivity CNOT count. Additionally, we find our method improves the CNOT and parameter efficiency of QEB- and qubit-ADAPT-VQE, which are, to our knowledge, the most CNOT-efficient VQE protocols for molecular state preparation.
△ Less
Submitted 8 March, 2024; v1 submitted 6 March, 2024;
originally announced March 2024.
-
Quark Counting, Drell-Yan West, and the Pion Wave Function
Authors:
Mary Alberg,
Gerald A. Miller
Abstract:
The relation between the pion's quark distribution function, $q(x)$, its light-front wave function, and the elastic charge form factor, $F(Δ^2)$ is explored. The square of the leading-twist pion wave function at a special probe scale, $ζ_H$, is determined using models and Poincare covariance from realistic results for $q(x)$. This wave function is then used to compute form factors with the result…
▽ More
The relation between the pion's quark distribution function, $q(x)$, its light-front wave function, and the elastic charge form factor, $F(Δ^2)$ is explored. The square of the leading-twist pion wave function at a special probe scale, $ζ_H$, is determined using models and Poincare covariance from realistic results for $q(x)$. This wave function is then used to compute form factors with the result that the Drell-Yan-West and quark counting relationships are not satisfied. A new relationship between $q(x)$ and $F(Δ^2)$ is proposed.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Ultralight vector dark matter search using data from the KAGRA O3GK run
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
A. G. Abac,
R. Abbott,
H. Abe,
I. Abouelfettouh,
F. Acernese,
K. Ackley,
C. Adamcewicz,
S. Adhicary,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
V. B. Adya,
C. Affeldt,
D. Agarwal,
M. Agathos,
O. D. Aguiar,
I. Aguilar,
L. Aiello,
A. Ain,
P. Ajith,
T. Akutsu,
S. Albanesi
, et al. (1778 additional authors not shown)
Abstract:
Among the various candidates for dark matter (DM), ultralight vector DM can be probed by laser interferometric gravitational wave detectors through the measurement of oscillating length changes in the arm cavities. In this context, KAGRA has a unique feature due to differing compositions of its mirrors, enhancing the signal of vector DM in the length change in the auxiliary channels. Here we prese…
▽ More
Among the various candidates for dark matter (DM), ultralight vector DM can be probed by laser interferometric gravitational wave detectors through the measurement of oscillating length changes in the arm cavities. In this context, KAGRA has a unique feature due to differing compositions of its mirrors, enhancing the signal of vector DM in the length change in the auxiliary channels. Here we present the result of a search for $U(1)_{B-L}$ gauge boson DM using the KAGRA data from auxiliary length channels during the first joint observation run together with GEO600. By applying our search pipeline, which takes into account the stochastic nature of ultralight DM, upper bounds on the coupling strength between the $U(1)_{B-L}$ gauge boson and ordinary matter are obtained for a range of DM masses. While our constraints are less stringent than those derived from previous experiments, this study demonstrates the applicability of our method to the lower-mass vector DM search, which is made difficult in this measurement by the short observation time compared to the auto-correlation time scale of DM.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Gravitational wave constraints on planetary-mass primordial black holes using LIGO O3a data
Authors:
Andrew L. Miller,
Nancy Aggarwal,
Sébastien Clesse,
Federico De Lillo,
Surabhi Sachdev,
Pia Astone,
Cristiano Palomba,
Ornella J. Piccinni,
Lorenzo Pierini
Abstract:
Gravitational waves from sub-solar mass inspiraling compact objects would provide smoking-gun evidence for primordial black holes (PBHs). We perform the first search for inspiraling planetary-mass PBHs, both in equal-mass or asymmetric mass ratio binaries, using data from the first half of the LIGO-Virgo-KAGRA third observing run. We do not find any significant candidates, but determine the maximu…
▽ More
Gravitational waves from sub-solar mass inspiraling compact objects would provide smoking-gun evidence for primordial black holes (PBHs). We perform the first search for inspiraling planetary-mass PBHs, both in equal-mass or asymmetric mass ratio binaries, using data from the first half of the LIGO-Virgo-KAGRA third observing run. We do not find any significant candidates, but determine the maximum luminosity distance reachable with our search to be of $O(0.1-100)$ kpc, and corresponding model-independent upper limits on the merger rate densities to be $O(10^{3}-10^{-7})$ kpc$^{-3}$yr$^{-1}$ for systems with chirp masses $O(10^{-4}-10^{-2})M_\odot$, respectively. Furthermore, we interpret these rate densities as arising from PBH binaries, and thereby constrain the fraction of dark matter that these objects could compose. For equal-mass PBH binaries, we find $f_\text{PBH}<$ [1, 0.04] for $m_\text{PBH}\in [2\times 10^{-3},10^{-2}]M_\odot$, respectively. For asymmetric mass-ratio binaries, where $m_1=2.5M_\odot$ and $m_2\ll m_1$, we constrain the mass function $f(m_2)<1$ for $m_2\in [1.5\times10^{-5},2\times10^{-4}]M_\odot$, assuming $f_\text{PBH}=0.1$ and $f(m_1)\sim 1$. Our results constitute the first gravitational-wave constraints on planetary-mass PBHs in both equal-mass and highly asymmetric mass-ratio systems, provide a computationally efficient alternative to matched filtering in this mass regime, and complement microlensing experiments to probe the existence of these objects. The data necessary to produce the upper limit plots has also been released on Zenodo.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
Versatile mixed methods for compressible flows
Authors:
Edward A. Miller,
David M. Williams
Abstract:
Versatile mixed finite element methods were originally developed by Chen and Williams for isothermal incompressible flows in "Versatile mixed methods for the incompressible Navier-Stokes equations," Computers & Mathematics with Applications, Volume 80, 2020. Thereafter, these methods were extended by Miller, Chen, and Williams to non-isothermal incompressible flows in "Versatile mixed methods for…
▽ More
Versatile mixed finite element methods were originally developed by Chen and Williams for isothermal incompressible flows in "Versatile mixed methods for the incompressible Navier-Stokes equations," Computers & Mathematics with Applications, Volume 80, 2020. Thereafter, these methods were extended by Miller, Chen, and Williams to non-isothermal incompressible flows in "Versatile mixed methods for non-isothermal incompressible flows," Computers & Mathematics with Applications, Volume 125, 2022. The main advantage of these methods lies in their flexibility. Unlike traditional mixed methods, they retain the divergence terms in the momentum and temperature equations. As a result, the favorable properties of the schemes are maintained even in the presence of non-zero divergence. This makes them an ideal candidate for an extension to compressible flows, in which the divergence does not generally vanish. In the present article, we finally construct the fully-compressible extension of the methods. In addition, we demonstrate the excellent performance of the resulting methods for weakly-compressible flows that arise near the incompressible limit, as well as more strongly-compressible flows that arise near Mach 0.5.
△ Less
Submitted 28 February, 2024;
originally announced February 2024.
-
Homeostatic motion planning with innate physics knowledge
Authors:
Giulia Lafratta,
Bernd Porr,
Christopher Chandler,
Alice Miller
Abstract:
Living organisms interact with their surroundings in a closed-loop fashion, where sensory inputs dictate the initiation and termination of behaviours. Even simple animals are able to develop and execute complex plans, which has not yet been replicated in robotics using pure closed-loop input control. We propose a solution to this problem by defining a set of discrete and temporary closed-loop cont…
▽ More
Living organisms interact with their surroundings in a closed-loop fashion, where sensory inputs dictate the initiation and termination of behaviours. Even simple animals are able to develop and execute complex plans, which has not yet been replicated in robotics using pure closed-loop input control. We propose a solution to this problem by defining a set of discrete and temporary closed-loop controllers, called "tasks", each representing a closed-loop behaviour. We further introduce a supervisory module which has an innate understanding of physics and causality, through which it can simulate the execution of task sequences over time and store the results in a model of the environment. On the basis of this model, plans can be made by chaining temporary closed-loop controllers. The proposed framework was implemented for a real robot and tested in two scenarios as proof of concept.
△ Less
Submitted 23 February, 2024;
originally announced February 2024.
-
A Causal Framework to Evaluate Racial Bias in Law Enforcement Systems
Authors:
Jessy Xinyi Han,
Andrew Miller,
S. Craig Watkins,
Christopher Winship,
Fotini Christia,
Devavrat Shah
Abstract:
We are interested in develo** a data-driven method to evaluate race-induced biases in law enforcement systems. While the recent works have addressed this question in the context of police-civilian interactions using police stop data, they have two key limitations. First, bias can only be properly quantified if true criminality is accounted for in addition to race, but it is absent in prior works…
▽ More
We are interested in develo** a data-driven method to evaluate race-induced biases in law enforcement systems. While the recent works have addressed this question in the context of police-civilian interactions using police stop data, they have two key limitations. First, bias can only be properly quantified if true criminality is accounted for in addition to race, but it is absent in prior works. Second, law enforcement systems are multi-stage and hence it is important to isolate the true source of bias within the "causal chain of interactions" rather than simply focusing on the end outcome; this can help guide reforms. In this work, we address these challenges by presenting a multi-stage causal framework incorporating criminality. We provide a theoretical characterization and an associated data-driven method to evaluate (a) the presence of any form of racial bias, and (b) if so, the primary source of such a bias in terms of race and criminality. Our framework identifies three canonical scenarios with distinct characteristics: in settings like (1) airport security, the primary source of observed bias against a race is likely to be bias in law enforcement against innocents of that race; (2) AI-empowered policing, the primary source of observed bias against a race is likely to be bias in law enforcement against criminals of that race; and (3) police-civilian interaction, the primary source of observed bias against a race could be bias in law enforcement against that race or bias from the general public in reporting against the other race. Through an extensive empirical study using police-civilian interaction data and 911 call data, we find an instance of such a counter-intuitive phenomenon: in New Orleans, the observed bias is against the majority race and the likely reason for it is the over-reporting (via 911 calls) of incidents involving the minority race by the general public.
△ Less
Submitted 20 March, 2024; v1 submitted 22 February, 2024;
originally announced February 2024.
-
Observed epochal variations in X-ray lines from the O Supergiant $ζ$ Puppis do not require substantial changes in the wind mass flux
Authors:
Sean J. Gunderson,
Kenneth G. Gayley,
David P. Huenemoerder,
Pragati Pradhan,
Nathan A. Miller
Abstract:
We fit the high resolution \textit{Chandra} X-ray spectra of the O supergiant $ζ$ Puppis using the variable boundary condition (VBC) line model to test the stability of its mass-loss rate between two epochs of observation: 2000 March and 2018 July -- 2019 August. At issue is whether the observed variations are induced by global changes in the cool (unshocked) wind itself or are isolated to the loc…
▽ More
We fit the high resolution \textit{Chandra} X-ray spectra of the O supergiant $ζ$ Puppis using the variable boundary condition (VBC) line model to test the stability of its mass-loss rate between two epochs of observation: 2000 March and 2018 July -- 2019 August. At issue is whether the observed variations are induced by global changes in the cool (unshocked) wind itself or are isolated to the local pockets of hot gas (i.e., changes in the frequency and location of the shocks). Evidence in the literature favored the possibility of a 40 per cent increase in the mass flux of the entire stellar wind, based on X-ray reabsorption from a line-deshadowing-instability-inspired parameterization, whereas our fit parameters are consistent with a constant mass flux with a change in the velocity variations that determine the locations where shocks form. Our results suggest the shocks in the more recent data are formed at somewhat larger radii, mimicking the enhanced blueshifts and increased line fluxes interpreted in the previous analysis as being due to increases in both the X-ray generation and reabsorption from an overall stronger wind.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
Spaceport Facility Location Planning within the US National Airspace System
Authors:
Haochen Wu,
Kevin R. Sun,
Jackson A. Miller,
Oliver Jia-Richards,
Max Z. Li
Abstract:
The burgeoning commercial space transportation industry necessitates an expansion of launch infrastructure to meet rising demands. However, future operations from these large-scale infrastructures can result in new impacts, particularly to air traffic operations. To rigorously reason about where such future spaceports might be located and what their impacts might be, we introduce a facility locati…
▽ More
The burgeoning commercial space transportation industry necessitates an expansion of launch infrastructure to meet rising demands. However, future operations from these large-scale infrastructures can result in new impacts, particularly to air traffic operations. To rigorously reason about where such future spaceports might be located and what their impacts might be, we introduce a facility location planning model for future US spaceports (SPFLP). Central considerations for the SPFLP include population density, space launch trajectories, and potential impacts to air traffic within the US National Airspace System (NAS). The SPFLP outputs a cost-optimal set of candidate locations for future spaceports while satisfying a range of operational constraints. By conducting sensitivity analyses on the SPFLP, we are able to examine differences in flight rerouting costs and optimal launch mission allocations. Our model and numerical experiments offer valuable insights for future spaceport site selection, contributing to the strategic development of commercial space transportation while kee** in mind the need to integrate these operations within the NAS.
△ Less
Submitted 17 February, 2024;
originally announced February 2024.
-
A=3 (e,e') $x_B \geq 1$ cross-section ratios and the isospin structure of short-range correlations
Authors:
A. Schmidt,
A. W. Denniston,
E. M. Seroka,
N. Barnea,
D. W. Higinbotham,
I. Korover,
G. A. Miller,
E. Piasetzky,
M. Strikman,
L. B. Weinstein,
R. Weiss,
O. Hen
Abstract:
We study the relation between measured high-$x_B$, high-$Q^2$, Helium-3 to Tritium, $(e,e')$ inclusive-scattering cross-section ratios and the relative abundance of high-momentum neutron-proton ($np$) and proton-proton ($pp$) short-range correlated (SRC) nucleon pairs in three-body ($A=3$) nuclei. Analysis of this data using a simple pair-counting cross-section model suggested a much smaller…
▽ More
We study the relation between measured high-$x_B$, high-$Q^2$, Helium-3 to Tritium, $(e,e')$ inclusive-scattering cross-section ratios and the relative abundance of high-momentum neutron-proton ($np$) and proton-proton ($pp$) short-range correlated (SRC) nucleon pairs in three-body ($A=3$) nuclei. Analysis of this data using a simple pair-counting cross-section model suggested a much smaller $np/pp$ ratio than previously measured in heavier nuclei, questioning our understanding of $A=3$ nuclei and, by extension, all other nuclei. Here we examine this finding using spectral-function-based cross-section calculations, with both an \textit{ab initio} $A=3$ spectral function and effective Generalized Contact Formalism (GCF) spectral functions using different nucleon-nucleon interaction models. The \textit{ab initio} calculation agrees with the data, showing good understanding of the structure of $A=3$ nuclei. An 8\% uncertainty on the simple pair-counting model, as implied by the difference between it and the \textit{ab initio} calculation, gives a factor of 5 uncertainty in the extracted $np/pp$ ratio. Thus we see no evidence for the claimed ``unexpected structure in the high-momentum wavefunction for hydrogen-3 and helium-3''.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
Dramatic rebrightening of the type-changing stripped-envelope supernova SN 2023aew
Authors:
Yashvi Sharma,
Jesper Sollerman,
Shrinivas R. Kulkarni,
Takashi J. Moriya,
Steve Schulze,
Stan Barmentloo,
Michael Fausnaugh,
Avishay Gal-Yam,
Anders Jerkstrand,
Tomás Ahumada,
Eric C. Bellm,
Kaustav K. Das,
Andrew Drake,
Christoffer Fremling,
Saarah Hall,
K. R. Hinds,
Theophile Jegou du Laz,
Viraj Karambelkar,
Mansi M. Kasliwal,
Frank J. Masci,
Adam A. Miller,
Guy Nir,
Daniel A. Perley,
Josiah N. Purdum,
Yu-**g Qin
, et al. (10 additional authors not shown)
Abstract:
Multi-peaked supernovae with precursors, dramatic light-curve rebrightenings, and spectral transformation are rare, but are being discovered in increasing numbers by modern night-sky transient surveys like the Zwicky Transient Facility (ZTF). Here, we present the observations and analysis of SN 2023aew, which showed a dramatic increase in brightness following an initial luminous (-17.4 mag) and lo…
▽ More
Multi-peaked supernovae with precursors, dramatic light-curve rebrightenings, and spectral transformation are rare, but are being discovered in increasing numbers by modern night-sky transient surveys like the Zwicky Transient Facility (ZTF). Here, we present the observations and analysis of SN 2023aew, which showed a dramatic increase in brightness following an initial luminous (-17.4 mag) and long (~100 days) unusual first peak (possibly precursor). SN 2023aew was classified as a Type IIb supernova during the first peak but changed its type to resemble a stripped-envelope supernova (SESN) after the marked rebrightening. We present comparisons of SN 2023aew's spectral evolution with SESN subtypes and argue that it is similar to SNe Ibc during its main peak. P-Cygni Balmer lines are present during the first peak, but vanish during the second peak's photospheric phase, before H$α$ resurfaces again during the nebular phase. The nebular lines ([O I], [Ca II], Mg I], H$α$) exhibit a double-peaked structure which hints towards a clumpy or non-spherical ejecta. We analyze the second peak in the light curve of SN 2023aew and find it to be broader than normal SESNe as well as requiring a very high $^{56}$Ni mass to power the peak luminosity. We discuss the possible origins of SN 2023aew including an eruption scenario where a part of the envelope is ejected during the first peak which also powers the second peak of the light curve through SN-CSM interaction.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
Isomorphisms in K-theory from isomorphisms in groupoid homology theories
Authors:
Alistair Miller
Abstract:
We prove that for torsion-free amenable ample groupoids, an isomorphism in groupoid homology induced by an étale correspondence yields an isomorphism in the K-theory of the associated $\mathrm{C}^\ast$-algebras. We apply this to extend X. Li's K-theory formula for left regular inverse semigroup $\mathrm{C}^\ast$-algebras. These results are obtained by develo** the functoriality of the ABC spectr…
▽ More
We prove that for torsion-free amenable ample groupoids, an isomorphism in groupoid homology induced by an étale correspondence yields an isomorphism in the K-theory of the associated $\mathrm{C}^\ast$-algebras. We apply this to extend X. Li's K-theory formula for left regular inverse semigroup $\mathrm{C}^\ast$-algebras. These results are obtained by develo** the functoriality of the ABC spectral sequence.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
The Zwicky Transient Facility Bright Transient Survey. III. $\texttt{BTSbot}$: Automated Identification and Follow-up of Bright Transients with Deep Learning
Authors:
Nabeel Rehemtulla,
Adam A. Miller,
Theophile Jegou Du Laz,
Michael W. Coughlin,
Christoffer Fremling,
Daniel A. Perley,
Yu-**g Qin,
Jesper Sollerman,
Ashish A. Mahabal,
Russ R. Laher,
Reed Riddle,
Ben Rusholme,
Shrinivas R. Kulkarni
Abstract:
The Bright Transient Survey (BTS) aims to obtain a classification spectrum for all bright ($m_\mathrm{peak}\,\leq\,18.5\,$mag) extragalactic transients found in the Zwicky Transient Facility (ZTF) public survey. BTS critically relies on visual inspection ("scanning") to select targets for spectroscopic follow-up, which, while effective, has required a significant time investment over the past…
▽ More
The Bright Transient Survey (BTS) aims to obtain a classification spectrum for all bright ($m_\mathrm{peak}\,\leq\,18.5\,$mag) extragalactic transients found in the Zwicky Transient Facility (ZTF) public survey. BTS critically relies on visual inspection ("scanning") to select targets for spectroscopic follow-up, which, while effective, has required a significant time investment over the past $\sim5$ yr of ZTF operations. We present $\texttt{BTSbot}$, a multi-modal convolutional neural network, which provides a bright transient score to individual ZTF detections using their image data and 25 extracted features. $\texttt{BTSbot}$ is able to eliminate the need for daily human scanning by automatically identifying and requesting spectroscopic follow-up observations of new bright transient candidates. $\texttt{BTSbot}$ recovers all bright transients in our test split and performs on par with scanners in terms of identification speed (on average, $\sim$1 hour quicker than scanners). We also find that $\texttt{BTSbot}$ is not significantly impacted by any data shift by comparing performance across a concealed test split and a sample of very recent BTS candidates. $\texttt{BTSbot}$ has been integrated into Fritz and $\texttt{Kowalski}$, ZTF's first-party marshal and alert broker, and now sends automatic spectroscopic follow-up requests for the new transients it identifies. During the month of October 2023, $\texttt{BTSbot}$ selected 296 sources in real-time, 93% of which were real extragalactic transients. With $\texttt{BTSbot}$ and other automation tools, the BTS workflow has produced the first fully automatic end-to-end discovery and classification of a transient, representing a significant reduction in the human-time needed to scan. Future development has tremendous potential for creating similar models to identify and request follow-up observations for specific types of transients.
△ Less
Submitted 26 January, 2024;
originally announced January 2024.
-
A Survey of Deep Learning and Foundation Models for Time Series Forecasting
Authors:
John A. Miller,
Mohammed Aldosari,
Farah Saeed,
Nasid Habib Barna,
Subas Rana,
I. Budak Arpinar,
Ninghao Liu
Abstract:
Deep Learning has been successfully applied to many application domains, yet its advantages have been slow to emerge for time series forecasting. For example, in the well-known Makridakis (M) Competitions, hybrids of traditional statistical or machine learning techniques have only recently become the top performers. With the recent architectural advances in deep learning being applied to time seri…
▽ More
Deep Learning has been successfully applied to many application domains, yet its advantages have been slow to emerge for time series forecasting. For example, in the well-known Makridakis (M) Competitions, hybrids of traditional statistical or machine learning techniques have only recently become the top performers. With the recent architectural advances in deep learning being applied to time series forecasting (e.g., encoder-decoders with attention, transformers, and graph neural networks), deep learning has begun to show significant advantages. Still, in the area of pandemic prediction, there remain challenges for deep learning models: the time series is not long enough for effective training, unawareness of accumulated scientific knowledge, and interpretability of the model. To this end, the development of foundation models (large deep learning models with extensive pre-training) allows models to understand patterns and acquire knowledge that can be applied to new related problems before extensive training data becomes available. Furthermore, there is a vast amount of knowledge available that deep learning models can tap into, including Knowledge Graphs and Large Language Models fine-tuned with scientific domain knowledge. There is ongoing research examining how to utilize or inject such knowledge into deep learning models. In this survey, several state-of-the-art modeling techniques are reviewed, and suggestions for further work are provided.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
In situ coherent X-ray scattering reveals polycrystalline structure and discrete annealing events in strongly-coupled nanocrystal superlattices
Authors:
Matthew J. Hurley,
Christian P. N. Tanner,
Joshua Portner,
James K. Utterback,
Igor Coropceanu,
Garth J. Williams,
Avishek Das,
Andrei Fluerasu,
Yanwen Sun,
Sanghoon Song,
Leo M. Hamerlynck,
Alexander H. Miller,
Priyadarshini Bhattacharyya,
Dmitri V. Talapin,
Naomi S. Ginsberg,
Samuel W. Teitelbaum
Abstract:
Solution-phase bottom up self-assembly of nanocrystals into superstructures such as ordered superlattices is an attractive strategy to generate functional materials of increasing complexity, including very recent advances that incorporate strong interparticle electronic coupling. While the self-assembly kinetics in these systems have been elucidated and related to the product characteristics, the…
▽ More
Solution-phase bottom up self-assembly of nanocrystals into superstructures such as ordered superlattices is an attractive strategy to generate functional materials of increasing complexity, including very recent advances that incorporate strong interparticle electronic coupling. While the self-assembly kinetics in these systems have been elucidated and related to the product characteristics, the weak interparticle bonding interactions suggest the superstructures formed could continue to order within the solution long after the primary nucleation and growth have occurred, even though the mechanism of annealing remains to be elucidated. Here, we use a combination of Bragg coherent diffractive imaging and X-ray photon correlation spectroscopy to create real-space maps of supercrystalline order along with a real-time view of the strain fluctuations in aging strongly coupled nanocrystal superlattices while they remain suspended and immobilized in solution. By combining the results, we deduce that the self-assembled superstructures are polycrystalline, initially comprising multiple nucleation sites, and that shear avalanches at grain boundaries continue to increase crystallinity long after growth has substantially slowed. This multimodal approach should be generalizable to characterize a breadth of materials in situ in their native chemical environments, thus extending the reach of high-resolution coherent X-ray characterization to the benefit of a much wider range of physical systems.
△ Less
Submitted 3 March, 2024; v1 submitted 11 January, 2024;
originally announced January 2024.
-
From low resource information extraction to identifying influential nodes in knowledge graphs
Authors:
Erica Cai,
Olga Simek,
Benjamin A. Miller,
Danielle Sullivan-Pao,
Evan Young,
Christopher L. Smith
Abstract:
We propose a pipeline for identifying important entities from intelligence reports that constructs a knowledge graph, where nodes correspond to entities of fine-grained types (e.g. traffickers) extracted from the text and edges correspond to extracted relations between entities (e.g. cartel membership). The important entities in intelligence reports then map to central nodes in the knowledge graph…
▽ More
We propose a pipeline for identifying important entities from intelligence reports that constructs a knowledge graph, where nodes correspond to entities of fine-grained types (e.g. traffickers) extracted from the text and edges correspond to extracted relations between entities (e.g. cartel membership). The important entities in intelligence reports then map to central nodes in the knowledge graph. We introduce a novel method that extracts fine-grained entities in a few-shot setting (few labeled examples), given limited resources available to label the frequently changing entity types that intelligence analysts are interested in. It outperforms other state-of-the-art methods. Next, we identify challenges facing previous evaluations of zero-shot (no labeled examples) methods for extracting relations, affecting the step of populating edges. Finally, we explore the utility of the pipeline: given the goal of identifying important entities, we evaluate the impact of relation extraction errors on the identification of central nodes in several real and synthetic networks. The impact of these errors varies significantly by graph topology, suggesting that confidence in measurements based on automatically extracted relations should depend on observed network features.
△ Less
Submitted 9 January, 2024;
originally announced January 2024.
-
Evaluating the security of CRYSTALS-Dilithium in the quantum random oracle model
Authors:
Kelsey A. Jackson,
Carl A. Miller,
Daochen Wang
Abstract:
In the wake of recent progress on quantum computing hardware, the National Institute of Standards and Technology (NIST) is standardizing cryptographic protocols that are resistant to attacks by quantum adversaries. The primary digital signature scheme that NIST has chosen is CRYSTALS-Dilithium. The hardness of this scheme is based on the hardness of three computational problems: Module Learning wi…
▽ More
In the wake of recent progress on quantum computing hardware, the National Institute of Standards and Technology (NIST) is standardizing cryptographic protocols that are resistant to attacks by quantum adversaries. The primary digital signature scheme that NIST has chosen is CRYSTALS-Dilithium. The hardness of this scheme is based on the hardness of three computational problems: Module Learning with Errors (MLWE), Module Short Integer Solution (MSIS), and SelfTargetMSIS. MLWE and MSIS have been well-studied and are widely believed to be secure. However, SelfTargetMSIS is novel and, though classically as hard as MSIS, its quantum hardness is unclear. In this paper, we provide the first proof of the hardness of SelfTargetMSIS via a reduction from MLWE in the Quantum Random Oracle Model (QROM). Our proof uses recently developed techniques in quantum reprogramming and rewinding. A central part of our approach is a proof that a certain hash function, derived from the MSIS problem, is collapsing. From this approach, we deduce a new security proof for Dilithium under appropriate parameter settings. Compared to the previous work by Kiltz, Lyubashevsky, and Schaffner (EUROCRYPT 2018) that gave the only other rigorous security proof for a variant of Dilithium, our proof has the advantage of being applicable under the condition q = 1 mod 2n, where q denotes the modulus and n the dimension of the underlying algebraic ring. This condition is part of the original Dilithium proposal and is crucial for the efficient implementation of the scheme. We provide new secure parameter sets for Dilithium under the condition q = 1 mod 2n, finding that our public key size and signature size are about 2.9 times and 1.3 times larger, respectively, than those proposed by Kiltz et al. at the same security level.
△ Less
Submitted 7 March, 2024; v1 submitted 27 December, 2023;
originally announced December 2023.
-
Character and class parameters from entries of character tables of symmetric groups
Authors:
Alexander R. Miller
Abstract:
If all of the entries of a large $S_n$ character table are covered up and you are allowed to uncover one entry at a time, then how can you quickly identify all of the indexing characters and conjugacy classes? We present a fast algorithmic solution that works even when n is so large that almost none of the entries of the character table can be computed. The fraction of the character table that nee…
▽ More
If all of the entries of a large $S_n$ character table are covered up and you are allowed to uncover one entry at a time, then how can you quickly identify all of the indexing characters and conjugacy classes? We present a fast algorithmic solution that works even when n is so large that almost none of the entries of the character table can be computed. The fraction of the character table that needs to be uncovered has exponential decay, and for many of these entries we are only interested in whether the entry is zero.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
Large-scale Training of Foundation Models for Wearable Biosignals
Authors:
Salar Abbaspourazad,
Oussama Elachqar,
Andrew C. Miller,
Saba Emrani,
Udhyakumar Nallasamy,
Ian Shapiro
Abstract:
Tracking biosignals is crucial for monitoring wellness and preempting the development of severe medical conditions. Today, wearable devices can conveniently record various biosignals, creating the opportunity to monitor health status without disruption to one's daily routine. Despite widespread use of wearable devices and existing digital biomarkers, the absence of curated data with annotated medi…
▽ More
Tracking biosignals is crucial for monitoring wellness and preempting the development of severe medical conditions. Today, wearable devices can conveniently record various biosignals, creating the opportunity to monitor health status without disruption to one's daily routine. Despite widespread use of wearable devices and existing digital biomarkers, the absence of curated data with annotated medical labels hinders the development of new biomarkers to measure common health conditions. In fact, medical datasets are usually small in comparison to other domains, which is an obstacle for develo** neural network models for biosignals. To address this challenge, we have employed self-supervised learning using the unlabeled sensor data collected under informed consent from the large longitudinal Apple Heart and Movement Study (AHMS) to train foundation models for two common biosignals: photoplethysmography (PPG) and electrocardiogram (ECG) recorded on Apple Watch. We curated PPG and ECG datasets from AHMS that include data from ~141K participants spanning ~3 years. Our self-supervised learning framework includes participant level positive pair selection, stochastic augmentation module and a regularized contrastive loss optimized with momentum training, and generalizes well to both PPG and ECG modalities. We show that the pre-trained foundation models readily encode information regarding participants' demographics and health conditions. To the best of our knowledge, this is the first study that builds foundation models using large-scale PPG and ECG data collected via wearable consumer devices $\unicode{x2013}$ prior works have commonly used smaller-size datasets collected in clinical and experimental settings. We believe PPG and ECG foundation models can enhance future wearable devices by reducing the reliance on labeled data and hold the potential to help the users improve their health.
△ Less
Submitted 6 March, 2024; v1 submitted 8 December, 2023;
originally announced December 2023.
-
Kinetic-Ballooning-Bifurcation in Tokamak Pedestals Across Sha** and Aspect-Ratio
Authors:
J. F. Parisi,
A. O. Nelson,
R. Gaur,
S. M. Kaye,
F. I. Parra,
J. W. Berkery,
K. Barada,
C. Clauser,
A. J. Creely,
A. Diallo,
W. Guttenfelder,
J. W. Hughes,
L. A. Kogan,
A. Kleiner,
A. Q. Kuang,
M. Lampert,
T. Macwan,
J. E. Menard,
M. A. Miller
Abstract:
We use a new gyrokinetic threshold model to predict a bifurcation in tokamak pedestal width-height scalings that depends strongly on plasma sha** and aspect-ratio. The bifurcation arises from the first and second stability properties of kinetic-ballooning-modes that yields wide and narrow pedestal branches, expanding the space of accessible pedestal widths and heights. The wide branch offers pot…
▽ More
We use a new gyrokinetic threshold model to predict a bifurcation in tokamak pedestal width-height scalings that depends strongly on plasma sha** and aspect-ratio. The bifurcation arises from the first and second stability properties of kinetic-ballooning-modes that yields wide and narrow pedestal branches, expanding the space of accessible pedestal widths and heights. The wide branch offers potential for edge-localized-mode-free pedestals with high core pressure. For negative triangularity, low-aspect-ratio configurations are predicted to give steeper pedestals than conventional-aspect-ratio. Both wide and narrow branches have been attained in tokamak experiments.
△ Less
Submitted 7 April, 2024; v1 submitted 8 December, 2023;
originally announced December 2023.
-
Ego-Exo4D: Understanding Skilled Human Activity from First- and Third-Person Perspectives
Authors:
Kristen Grauman,
Andrew Westbury,
Lorenzo Torresani,
Kris Kitani,
Jitendra Malik,
Triantafyllos Afouras,
Kumar Ashutosh,
Vijay Baiyya,
Siddhant Bansal,
Bikram Boote,
Eugene Byrne,
Zach Chavis,
Joya Chen,
Feng Cheng,
Fu-Jen Chu,
Sean Crane,
Avijit Dasgupta,
**g Dong,
Maria Escobar,
Cristhian Forigua,
Abrham Gebreselasie,
Sanjay Haresh,
**g Huang,
Md Mohaiminul Islam,
Suyog Jain
, et al. (76 additional authors not shown)
Abstract:
We present Ego-Exo4D, a diverse, large-scale multimodal multiview video dataset and benchmark challenge. Ego-Exo4D centers around simultaneously-captured egocentric and exocentric video of skilled human activities (e.g., sports, music, dance, bike repair). 740 participants from 13 cities worldwide performed these activities in 123 different natural scene contexts, yielding long-form captures from…
▽ More
We present Ego-Exo4D, a diverse, large-scale multimodal multiview video dataset and benchmark challenge. Ego-Exo4D centers around simultaneously-captured egocentric and exocentric video of skilled human activities (e.g., sports, music, dance, bike repair). 740 participants from 13 cities worldwide performed these activities in 123 different natural scene contexts, yielding long-form captures from 1 to 42 minutes each and 1,286 hours of video combined. The multimodal nature of the dataset is unprecedented: the video is accompanied by multichannel audio, eye gaze, 3D point clouds, camera poses, IMU, and multiple paired language descriptions -- including a novel "expert commentary" done by coaches and teachers and tailored to the skilled-activity domain. To push the frontier of first-person video understanding of skilled human activity, we also present a suite of benchmark tasks and their annotations, including fine-grained activity understanding, proficiency estimation, cross-view translation, and 3D hand/body pose. All resources are open sourced to fuel new research in the community. Project page: http://ego-exo4d-data.org/
△ Less
Submitted 29 April, 2024; v1 submitted 30 November, 2023;
originally announced November 2023.
-
Seifert surfaces in the four-ball and composition of binary quadratic forms
Authors:
Menny Aka,
Peter Feller,
Alison Beth Miller,
Andreas Wieser
Abstract:
We use composition of binary quadratic forms to systematically create pairs of Seifert surfaces that are non-isotopic in the four-ball. Our main topological result employs Gauss composition to classify the pairs of binary quadratic forms that arise as the Seifert forms of pairs of disjoint Seifert surfaces of genus one. The main ingredient of the proof is number-theoretic and of independent intere…
▽ More
We use composition of binary quadratic forms to systematically create pairs of Seifert surfaces that are non-isotopic in the four-ball. Our main topological result employs Gauss composition to classify the pairs of binary quadratic forms that arise as the Seifert forms of pairs of disjoint Seifert surfaces of genus one. The main ingredient of the proof is number-theoretic and of independent interest. It establishes a new connection between the Bhargava cube and the geometric approach to Gauss composition via planes in the space of two-by-two matrices. In particular, we obtain a geometric recipe that given any two binary quadratic forms finds a Bhargava cube that gives rise to their composition.
△ Less
Submitted 10 March, 2024; v1 submitted 29 November, 2023;
originally announced November 2023.
-
Fast Deterministic Rendezvous in Labeled Lines
Authors:
Avery Miller,
Andrzej Pelc
Abstract:
Two mobile agents, starting from different nodes of a network modeled as a graph, and woken up at possibly different times, have to meet at the same node. This problem is known as rendezvous. We consider deterministic distributed rendezvous in the infinite path. Each node has a distinct label which is a positive integer. The time of rendezvous is the number of rounds until meeting, counted from th…
▽ More
Two mobile agents, starting from different nodes of a network modeled as a graph, and woken up at possibly different times, have to meet at the same node. This problem is known as rendezvous. We consider deterministic distributed rendezvous in the infinite path. Each node has a distinct label which is a positive integer. The time of rendezvous is the number of rounds until meeting, counted from the starting round of the earlier agent. We consider three scenarios. In the first scenario, each agent knows its position in the line, i.e., each of them knows its initial distance from the smallest-labeled node, on which side of this node it is located, and the direction towards it. For this scenario, we give a rendezvous algorithm working in time $O(D)$, where $D$ is the initial distance between the agents. This complexity is clearly optimal. In the second scenario, each agent initially knows only the label of its starting node and the initial distance $D$ between the agents. In this scenario, we give a rendezvous algorithm working in time $O(D\log^*\ell)$, where $\ell$ is the larger label of the starting nodes. We prove a matching lower bound $Ω(D\log^*\ell)$. Finally, in the most general scenario, where each agent initially knows only the label of its starting node, we give a rendezvous algorithm working in time $O(D^2(\log^*\ell)^3)$, which is at most cubic in the lower bound. All our results remain valid (with small changes) for arbitrary finite paths and for cycles. Our algorithms are drastically better than approaches that use graph exploration, whose running times depend on the graph's size or diameter. Our main methodological tool, and the main novelty of the paper, is a two way reduction: from fast colouring of the infinite labeled path using a constant number of colours in the LOCAL model to fast rendezvous in this path, and vice-versa.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
Model Checking for Closed-Loop Robot Reactive Planning
Authors:
Christopher Chandler,
Bernd Porr,
Alice Miller,
Giulia Lafratta
Abstract:
In this paper, we show how model checking can be used to create multi-step plans for a differential drive wheeled robot so that it can avoid immediate danger. Using a small, purpose built model checking algorithm in situ we generate plans in real-time in a way that reflects the egocentric reactive response of simple biological agents. Our approach is based on chaining temporary control systems whi…
▽ More
In this paper, we show how model checking can be used to create multi-step plans for a differential drive wheeled robot so that it can avoid immediate danger. Using a small, purpose built model checking algorithm in situ we generate plans in real-time in a way that reflects the egocentric reactive response of simple biological agents. Our approach is based on chaining temporary control systems which are spawned to eliminate disturbances in the local environment that disrupt an autonomous agent from its preferred action (or resting state). The method involves a novel discretization of 2D LiDAR data which is sensitive to bounded stochastic variations in the immediate environment. We operationalise multi-step planning using invariant checking by forward depth-first search, using a cul-de-sac scenario as a first test case. Our results demonstrate that model checking can be used to plan efficient trajectories for local obstacle avoidance, improving on the performance of a reactive agent which can only plan one step. We achieve this in near real-time using no pre-computed data. While our method has limitations, we believe our approach shows promise as an avenue for the development of safe, reliable and transparent trajectory planning in the context of autonomous vehicles.
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
GPT4All: An Ecosystem of Open Source Compressed Language Models
Authors:
Yuvanesh Anand,
Zach Nussbaum,
Adam Treat,
Aaron Miller,
Richard Guo,
Ben Schmidt,
GPT4All Community,
Brandon Duderstadt,
Andriy Mulyar
Abstract:
Large language models (LLMs) have recently achieved human-level performance on a range of professional and academic benchmarks. The accessibility of these models has lagged behind their performance. State-of-the-art LLMs require costly infrastructure; are only accessible via rate-limited, geo-locked, and censored web interfaces; and lack publicly available code and technical reports. In this paper…
▽ More
Large language models (LLMs) have recently achieved human-level performance on a range of professional and academic benchmarks. The accessibility of these models has lagged behind their performance. State-of-the-art LLMs require costly infrastructure; are only accessible via rate-limited, geo-locked, and censored web interfaces; and lack publicly available code and technical reports. In this paper, we tell the story of GPT4All, a popular open source repository that aims to democratize access to LLMs. We outline the technical details of the original GPT4All model family, as well as the evolution of the GPT4All project from a single model into a fully fledged open source ecosystem. It is our hope that this paper acts as both a technical overview of the original GPT4All models as well as a case study on the subsequent growth of the GPT4All open source ecosystem.
△ Less
Submitted 6 November, 2023;
originally announced November 2023.
-
Tunneling escape of waves
Authors:
David A. B. Miller,
Zeyu Kuang,
Owen D. Miller
Abstract:
We solve a long-standing set of problems in optics and waves: why does a volume have only so many useful orthogonal wave channels in or out of it, why do coupling strengths fall off dramatically past this number, and, indeed, just what precisely defines that number? Increasingly in applications in communications, information processing, and sensing, in optics, acoustics, and electromagnetic waves…
▽ More
We solve a long-standing set of problems in optics and waves: why does a volume have only so many useful orthogonal wave channels in or out of it, why do coupling strengths fall off dramatically past this number, and, indeed, just what precisely defines that number? Increasingly in applications in communications, information processing, and sensing, in optics, acoustics, and electromagnetic waves generally, we need to understand this number. We can numerically find such channels for many problems, but more fundamentally, these questions have arguably never had a clear answer or physical explanation. We have found a simple and general result and intuition that lets us understand and bound this behavior for any volume. This is based on a tunneling that has been somewhat hidden in the mathematics of spherical waves: beyond a certain complexity of the wave, it must tunnel to escape the volume. By counting the number of waves that do not have to tunnel, we get a simple and precise number or bound for well-coupled channels, even for arbitrary volumes. The necessary tunneling for other waves explains the rapid fall-off in their coupling, and shows all such waves do escape to propagation to some degree after tunneling. This approach connects multipole expansions in electromagnetic antennas and nanophotonics smoothly to apparently evanescent waves in large optics. It works over all size scales, from nanophotonics, small radio-frequency antennas, or acoustic microphones and loudspeakers up to imaging optics with millions of channels, and gives a precise diffraction limit for any volume.
△ Less
Submitted 6 November, 2023; v1 submitted 5 November, 2023;
originally announced November 2023.
-
Label Shift Estimators for Non-Ignorable Missing Data
Authors:
Andrew C. Miller,
Joseph Futoma
Abstract:
We consider the problem of estimating the mean of a random variable Y subject to non-ignorable missingness, i.e., where the missingness mechanism depends on Y . We connect the auxiliary proxy variable framework for non-ignorable missingness (West and Little, 2013) to the label shift setting (Saerens et al., 2002). Exploiting this connection, we construct an estimator for non-ignorable missing data…
▽ More
We consider the problem of estimating the mean of a random variable Y subject to non-ignorable missingness, i.e., where the missingness mechanism depends on Y . We connect the auxiliary proxy variable framework for non-ignorable missingness (West and Little, 2013) to the label shift setting (Saerens et al., 2002). Exploiting this connection, we construct an estimator for non-ignorable missing data that uses high-dimensional covariates (or proxies) without the need for a generative model. In synthetic and semi-synthetic experiments, we study the behavior of the proposed estimator, comparing it to commonly used ignorable estimators in both well-specified and misspecified settings. Additionally, we develop a score to assess how consistent the data are with the label shift assumption. We use our approach to estimate disease prevalence using a large health survey, comparing ignorable and non-ignorable approaches. We show that failing to account for non-ignorable missingness can have profound consequences on conclusions drawn from non-representative samples.
△ Less
Submitted 27 October, 2023;
originally announced October 2023.
-
Resolving the explosion of supernova 2023ixf in Messier 101 within its complex circumstellar environment
Authors:
E. A. Zimmerman,
I. Irani,
P. Chen,
A. Gal-Yam,
S. Schulze,
D. A. Perley,
J. Sollerman,
A. V. Filippenko,
T. Shenar,
O. Yaron,
S. Shahaf,
R. J. Bruch,
E. O. Ofek,
A. De Cia,
T. G. Brink,
Y. Yang,
S. S. Vasylyev,
S. Ben Ami,
M. Aubert,
A. Badash,
J. S. Bloom,
P. J. Brown,
K. De,
G. Dimitriadis,
C. Fransson
, et al. (32 additional authors not shown)
Abstract:
Observing a supernova explosion shortly after it occurs can reveal important information about the physics of stellar explosions and the nature of the progenitor stars of supernovae (SNe). When a star with a well-defined edge explodes in vacuum, the first photons to escape from its surface appear as a brief shock-breakout flare. The duration of this flare can extend to at most a few hours even for…
▽ More
Observing a supernova explosion shortly after it occurs can reveal important information about the physics of stellar explosions and the nature of the progenitor stars of supernovae (SNe). When a star with a well-defined edge explodes in vacuum, the first photons to escape from its surface appear as a brief shock-breakout flare. The duration of this flare can extend to at most a few hours even for nonspherical breakouts from supergiant stars, after which the explosion ejecta should expand and cool. Alternatively, for stars exploding within a distribution of sufficiently dense optically thick circumstellar material, the first photons escape from the material beyond the stellar edge, and the duration of the initial flare can extend to several days, during which the esca** emission indicates photospheric heating. The difficulty in detecting SN explosions promptly after the event has so far limited data regarding supergiant stellar explosions mostly to serendipitous observations that, owing to the lack of ultraviolet (UV) data, were unable to determine whether the early emission is heating or cooling, and hence the nature of the early explosion event. Here, we report observations of SN 2023ixf in the nearby galaxy M101, covering the early days of the event. Using UV spectroscopy from the Hubble Space Telescope (HST) as well as a comprehensive set of additional multiwavelength observations, we trace the photometric and spectroscopic evolution of the event and are able to temporally resolve the emergence and evolution of the SN emission.
△ Less
Submitted 27 March, 2024; v1 submitted 16 October, 2023;
originally announced October 2023.
-
Infrared Cloud Monitoring with UCIRC2
Authors:
Rebecca Diesing,
Stephan S. Meyer,
Johannes Eser,
Alexa Bukowski,
Alex Miller,
Jake Apfel,
Gerard Beck,
Angela V. Olinto
Abstract:
The second generation of the Extreme Universe Space Observatory on a Super Pressure Balloon (EUSO-SPB2) is a balloon instrument that searched for ultra high energy cosmic rays (UHECRs) with energies above 1 EeV and very high energy neutrinos with energies above 1 PeV. EUSO-SPB2 consists of two telescopes: a fluorescence telescope pointed downward for the detection of UHECRs and a Cherenkov telesco…
▽ More
The second generation of the Extreme Universe Space Observatory on a Super Pressure Balloon (EUSO-SPB2) is a balloon instrument that searched for ultra high energy cosmic rays (UHECRs) with energies above 1 EeV and very high energy neutrinos with energies above 1 PeV. EUSO-SPB2 consists of two telescopes: a fluorescence telescope pointed downward for the detection of UHECRs and a Cherenkov telescope toward the limb for the detection of PeV-scale showers produced by neutrino-sourced tau decay (just below the limb) and by cosmic rays (just above the limb). Clouds inside the fields of view of these telescopes--particularly that of the fluorescence telescope--reduce EUSO-SPB2's geometric aperture. As such, cloud coverage and cloud-top altitude within the field of view of the fluorescence telescope must be monitored throughout data-taking. The University of Chicago Infrared Camera (UCIRC2) monitored these clouds using two infrared cameras centered at 10 and 12 $μ$m. By capturing images at wavelengths spanning the cloud thermal emission peak, UCIRC2 measured cloud color-temperatures and thus cloud-top altitudes. In this contribution, we provide an overview of UCIRC2, including an update on its construction and performance. We also show first results from the flight.
△ Less
Submitted 11 October, 2023;
originally announced October 2023.
-
GRASP: Accelerating Shortest Path Attacks via Graph Attention
Authors:
Zohair Shafi,
Benjamin A. Miller,
Ayan Chatterjee,
Tina Eliassi-Rad,
Rajmonda S. Caceres
Abstract:
Recent advances in machine learning (ML) have shown promise in aiding and accelerating classical combinatorial optimization algorithms. ML-based speed ups that aim to learn in an end to end manner (i.e., directly output the solution) tend to trade off run time with solution quality. Therefore, solutions that are able to accelerate existing solvers while maintaining their performance guarantees, ar…
▽ More
Recent advances in machine learning (ML) have shown promise in aiding and accelerating classical combinatorial optimization algorithms. ML-based speed ups that aim to learn in an end to end manner (i.e., directly output the solution) tend to trade off run time with solution quality. Therefore, solutions that are able to accelerate existing solvers while maintaining their performance guarantees, are of great interest. We consider an APX-hard problem, where an adversary aims to attack shortest paths in a graph by removing the minimum number of edges. We propose the GRASP algorithm: Graph Attention Accelerated Shortest Path Attack, an ML aided optimization algorithm that achieves run times up to 10x faster, while maintaining the quality of solution generated. GRASP uses a graph attention network to identify a smaller subgraph containing the combinatorial solution, thus effectively reducing the input problem size. Additionally, we demonstrate how careful representation of the input graph, including node features that correlate well with the optimization task, can highlight important structure in the optimization solution.
△ Less
Submitted 23 October, 2023; v1 submitted 11 October, 2023;
originally announced October 2023.
-
Graph-SCP: Accelerating Set Cover Problems with Graph Neural Networks
Authors:
Zohair Shafi,
Benjamin A. Miller,
Tina Eliassi-Rad,
Rajmonda S. Caceres
Abstract:
Machine learning (ML) approaches are increasingly being used to accelerate combinatorial optimization (CO) problems. We look specifically at the Set Cover Problem (SCP) and propose Graph-SCP, a graph neural network method that can augment existing optimization solvers by learning to identify a much smaller sub-problem that contains the solution space. We evaluate the performance of Graph-SCP on sy…
▽ More
Machine learning (ML) approaches are increasingly being used to accelerate combinatorial optimization (CO) problems. We look specifically at the Set Cover Problem (SCP) and propose Graph-SCP, a graph neural network method that can augment existing optimization solvers by learning to identify a much smaller sub-problem that contains the solution space. We evaluate the performance of Graph-SCP on synthetic weighted and unweighted SCP instances with diverse problem characteristics and complexities, and on instances from the OR Library, a canonical benchmark for SCP. We show that Graph-SCP reduces the problem size by 30-70% and achieves run time speedups up to~25x when compared to commercial solvers (Gurobi). Given a desired optimality threshold, Graph-SCP will improve upon it or even achieve 100% optimality. This is in contrast to fast greedy solutions that significantly compromise solution quality to achieve guaranteed polynomial run time. Graph-SCP can generalize to larger problem sizes and can be used with other conventional or ML-augmented CO solvers to lead to potential additional run time improvement.
△ Less
Submitted 11 October, 2023;
originally announced October 2023.