Showing 1–50 of 1,300 results for author: Miller, A

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.

Comments: 5 pages

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.

Comments: Supplemental tables available at 10.5281/zenodo.11534338

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.

Comments: 16 pages, 4 figures, 4 tables

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.

Comments: 10 pages, 1 figures,

Report number: NT@UW-24-07

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.

Comments: A preliminary version of this paper appeared in the proceedings of the 18th International Conference and Workshops on Algorithms and Computation (WALCOM 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.

Comments: arXiv admin note: text overlap with arXiv:2209.13753, arXiv:2307.15821

Report number: NT@UW-24-04

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.

Comments: to appear [with updates] in the book "Primordial Black Holes", ed. Chris Byrnes, Gabriele Franciolini, Tomohiro Harada, Paolo Pani, Misao Sasaki; Springer (2024); 23 pages + references, 11 figures, intended to be a pedagogical review of the field. Questions and comments are welcome!

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.

Comments: 23 pages, 6 figures

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.

Comments: 11 pages, 3 figures. Comments are welcome

Report number: TIFR/TH/24-1, N3AS-24-009

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.

Comments: Submitted to ApJL. Host galaxy analysis added. Comments are welcome

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.

Comments: 25 pages, 10 figures; typos in abstract corrected

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.

Comments: 6 pages, 2 figures

Report number: NT@UW-24-2

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.

Comments: 20 pages, 5 figures

Report number: LIGO-P2300250

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.

Comments: 6 pages main body, 2 pages appendix -- comments are welcome! Upper limit data on Zenodo: https://dx.doi.org/10.5281/zenodo.10724845

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.

Comments: 28 pages, 4 figures, 4 tables

MSC Class: 76M10; 65M12; 65M60; 76D05

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.

Comments: 18 pages, 13 figures, 4 tables

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.

Comments: 10 pages, 5 figures

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.

Comments: 6 pages, 4 figures

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.

Comments: 22 pages, 11 figures, 5 tables

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.

Comments: Comments welcome. 40 pages

MSC Class: 46L80; 20J05; 19K35; 18G80

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.

Comments: 26 pages, 12 figures; to be submitted to ApJ; comments welcome

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.

Comments: 26 pages, 20 figures

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.

Comments: 14 pages, 6 figures, to appear at CompleNet 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.

Comments: 23 pages; v2: added description of CRYSTALS-Dilithium, improved analysis of concrete parameters

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.

MSC Class: 20C30

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.

Comments: Camera ready version for ICLR 2024

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.

Comments: 7 pages, 7 figures

Journal ref: Phys. Plasmas 31, 030702 (2024)

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.

Comments: updated baseline results and dataset statistics to match the released v2 data; added table to appendix comparing stats of Ego-Exo4D alongside other datasets

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.

Comments: 29 pages, 2 figures, comments welcome. v4: minor changes

MSC Class: 57K10; 57K45; 11E16; 15A72

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.

Comments: A preliminary version of this paper appeared in the Proceedings of the 37th International Symposium on Distributed Computing (DISC 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.

Comments: In Proceedings FMAS 2023, arXiv:2311.08987

Journal ref: EPTCS 395, 2023, pp. 77-94

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.

Comments: Accepted at NLP-OSS at EMNLP 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.

Comments: 8 pages, 5 figures

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.

Journal ref: Nature 627, 759 (2024)

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.

Comments: 10 pages, 7 figures, proceedings of the 38th International Cosmic Ray Conference (ICRC 2023). arXiv admin note: substantial text overlap with arXiv:2112.09618, arXiv:1909.02663

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.

A 12.4 day periodicity in a close binary system after a supernova

Authors: ** Chen, Avishay Gal-Yam, Jesper Sollerman, Steve Schulze, Richard S. Post, Chang Liu, Eran O. Ofek, Kaustav K. Das, Christoffer Fremling, Assaf Horesh, Boaz Katz, Doron Kushnir, Mansi M. Kasliwal, Shri R. Kulkarni, Dezi Liu, Xiangkun Liu, Adam A. Miller, Kovi Rose, Eli Waxman, Sheng Yang, Yuhan Yao, Barak Zackay, Eric C. Bellm, Richard Dekany, Andrew J. Drake , et al. (15 additional authors not shown)

Abstract: Neutron stars and stellar-mass black holes are the remnants of massive star explosions. Most massive stars reside in close binary systems, and the interplay between the companion star and the newly formed compact object has been theoretically explored, but signatures for binarity or evidence for the formation of a compact object during a supernova explosion are still lacking. Here we report a stri… ▽ More Neutron stars and stellar-mass black holes are the remnants of massive star explosions. Most massive stars reside in close binary systems, and the interplay between the companion star and the newly formed compact object has been theoretically explored, but signatures for binarity or evidence for the formation of a compact object during a supernova explosion are still lacking. Here we report a stripped-envelope supernova, SN 2022jli, which shows 12.4-day periodic undulations during the declining light curve. Narrow H$α$ emission is detected in late-time spectra with concordant periodic velocity shifts, likely arising from hydrogen gas stripped from a companion and accreted onto the compact remnant. A new Fermi/LAT $γ$-ray source is temporally and positionally consistent with SN 2022jli. The observed properties of SN 2022jli, including periodic undulations in the optical light curve, coherent H$α$ emission shifting, and evidence for association with a $γ$-ray source, point to the explosion of a massive star in a binary system leaving behind a bound compact remnant. Mass accretion from the companion star onto the compact object powers the light curve of the supernova and generates the $γ$-ray emission. △ Less

Submitted 11 October, 2023; originally announced October 2023.

Comments: Accepted for publication in Nature

Large-scale Monte Carlo simulations for zeros in character tables of symmetric groups

Authors: Alexander R. Miller, Danny Scheinerman

Abstract: This is a brief report on some recent large-scale Monte Carlo simulations for approximating the density of zeros in character tables of large symmetric groups. Previous computations suggested that a large fraction of zeros can not be explained by classical vanishing results. Our computations eclipse previous ones and suggest that the opposite is true. We find empirically that almost all of the zer… ▽ More This is a brief report on some recent large-scale Monte Carlo simulations for approximating the density of zeros in character tables of large symmetric groups. Previous computations suggested that a large fraction of zeros can not be explained by classical vanishing results. Our computations eclipse previous ones and suggest that the opposite is true. We find empirically that almost all of the zeros are of a single classical type. △ Less

Submitted 8 November, 2023; v1 submitted 11 October, 2023; originally announced October 2023.

MSC Class: 20C30

Detection of anomalies amongst LIGO's glitch populations with autoencoders

Authors: Paloma Laguarta, Robin van der Laag, Melissa Lopez, Tom Dooney, Andrew L. Miller, Stefano Schmidt, Marco Cavaglia, Sarah Caudill, Kurt Driessens, Jöel Karel, Roy Lenders, Chris Van Den Broeck

Abstract: Gravitational-wave (GW) interferometers are able to detect a change in distance of $\sim$ 1/10,000th the size of a proton. Such sensitivity leads to large appearance rates of non-Gaussian transient noise bursts in the main detector strain, also known as glitches. These glitches come in a wide range of frequency-amplitude-time morphologies and are caused by environmental or instrumental processes,… ▽ More Gravitational-wave (GW) interferometers are able to detect a change in distance of $\sim$ 1/10,000th the size of a proton. Such sensitivity leads to large appearance rates of non-Gaussian transient noise bursts in the main detector strain, also known as glitches. These glitches come in a wide range of frequency-amplitude-time morphologies and are caused by environmental or instrumental processes, hindering searches for all sources of gravitational waves. Current approaches for their identification use supervised models to learn their morphology in the main strain, but do not consider relevant information provided by auxiliary channels that monitor the state of the interferometers nor provide a flexible framework for novel glitch morphologies. In this work, we present an unsupervised algorithm to find anomalous glitches. We encode a subset of auxiliary channels from LIGO Livingston in the fractal dimension, a measure for the complexity of the data, and learn the underlying distribution of the data using an auto-encoder with periodic convolutions. In this way, we uncover unknown glitch morphologies, and overlaps in time between different glitches and misclassifications. This led to the discovery of anomalies in $6.6 \%$ of the input data. The results of this investigation stress the learnable structure of auxiliary channels encoded in fractal dimension and provide a flexible framework to improve the state-of-the-art of glitch identification algorithms. △ Less

Submitted 5 October, 2023; originally announced October 2023.

Comments: 14 pages, 13 figues, to be published in Classical and Quantum Gravity

AGN STORM 2. VI. Map** Temperature Fluctuations in the Accretion Disk of Mrk 817

Authors: Jack M. M. Neustadt, Christopher S. Kochanek, John Montano, Jonathan Gelbord, Aaron J. Barth, Gisella De Rosa, Gerard A. Kriss, Edward M. Cackett, Keith Horne, Erin A. Kara, Hermine Landt, Hagai Netzer, Nahum Arav, Misty C. Bentz, Elena Dalla Bonta, Maryam Dehghanian, Pu Du, Rick Edelson, Gary J. Ferland, Carina Fian, Travis Fischer, Michael R. Goad, Diego H. Gonzalez Buitrago, Varoujan Gorjian, Catherine J. Grier , et al. (27 additional authors not shown)

Abstract: We fit the UV/optical lightcurves of the Seyfert 1 galaxy Mrk 817 to produce maps of the accretion disk temperature fluctuations $δT$ resolved in time and radius. The $δT$ maps are dominated by coherent radial structures that move slowly ($v \ll c$) inwards and outwards, which conflicts with the idea that disk variability is driven only by reverberation. Instead, these slow-moving temperature fluc… ▽ More We fit the UV/optical lightcurves of the Seyfert 1 galaxy Mrk 817 to produce maps of the accretion disk temperature fluctuations $δT$ resolved in time and radius. The $δT$ maps are dominated by coherent radial structures that move slowly ($v \ll c$) inwards and outwards, which conflicts with the idea that disk variability is driven only by reverberation. Instead, these slow-moving temperature fluctuations are likely due to variability intrinsic to the disk. We test how modifying the input lightcurves by smoothing and subtracting them changes the resulting $δT$ maps and find that most of the temperature fluctuations exist over relatively long timescales ($\sim$100s of days). We show how detrending AGN lightcurves can be used to separate the flux variations driven by the slow-moving temperature fluctuations from those driven by reverberation. We also simulate contamination of the continuum emission from the disk by continuum emission from the broad line region (BLR), which is expected to have spectral features localized in wavelength, such as the Balmer break contaminating the $U$ band. We find that a disk with a smooth temperature profile cannot produce a signal localized in wavelength and that any BLR contamination should appear as residuals in our model lightcurves. Given the observed residuals, we estimate that only $\sim$20% of the variable flux in the $U$ and $u$ lightcurves can be due to BLR contamination. Finally, we discus how these maps not only describe the data, but can make predictions about other aspects of AGN variability. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Comments: 23 pages, 18 figures, submitting to ApJ, comments welcome