-
Europa's H$_2$O$_2$: Temperature Insensitivity and a Correlation with CO$_2$
Authors:
Peiyu Wu,
Samantha K. Trumbo,
Michael E. Brown,
Katherine de Kleer
Abstract:
H$_2$O$_2$ is part of Europa's water-ice radiolytic cycle and a potential source of oxidants to Europa's subsurface ocean. However, factors controlling the concentration of this critical surface species remain unclear. Though laboratory experiments suggest that Europa's H$_2$O$_2$ should be concentrated in the coldest, most ice-rich regions toward the poles, Keck adaptive optics observations have…
▽ More
H$_2$O$_2$ is part of Europa's water-ice radiolytic cycle and a potential source of oxidants to Europa's subsurface ocean. However, factors controlling the concentration of this critical surface species remain unclear. Though laboratory experiments suggest that Europa's H$_2$O$_2$ should be concentrated in the coldest, most ice-rich regions toward the poles, Keck adaptive optics observations have shown the strongest H$_2$O$_2$ signatures in comparatively warm, salt-bearing terrain at low latitudes. As a result, it was suggested that the local non-ice composition of these terrains -- particularly hypothesized enrichments of CO$_2$ -- may be a more dominant control on H$_2$O$_2$ than temperature or water-ice abundance. Here, we use observations of Europa from the NASA Infrared Telescope Facility, Keck Observatory, and JWST to disentangle the potential effects of temperature and composition. In order to isolate the effect of temperature on Europa's H$_2$O$_2$, we use the ground-based observations to assess its response to temperature changes over timescales associated with Europa's daily eclipse and diurnal cycle. We use JWST Cycle 1 data to look for any geographic correlation between Europa's H$_2$O$_2$ and CO$_2$. Both changes in Europa's 3.5-$μ$m H$_2$O$_2$ absorption band from pre to post eclipse and across a local day suggest minimal effects of the local temperature on these timescales. In contrast, the JWST observations show a strong positive correlation between Europa's H$_2$O$_2$ and CO$_2$ bands, supporting the previously suggested possibility that the presence of CO$_2$ in the ice may enhance H$_2$O$_2$ concentrations via electron-scavenging.
△ Less
Submitted 26 August, 2024;
originally announced August 2024.
-
Prompto: An open source library for asynchronous querying of LLM endpoints
Authors:
Ryan Sze-Yin Chan,
Federico Nanni,
Edwin Brown,
Ed Chapman,
Angus R. Williams,
Jonathan Bright,
Evelina Gabasova
Abstract:
Recent surge in Large Language Model (LLM) availability has opened exciting avenues for research. However, efficiently interacting with these models presents a significant hurdle since LLMs often reside on proprietary or self-hosted API endpoints, each requiring custom code for interaction. Conducting comparative studies between different models can therefore be time-consuming and necessitate sign…
▽ More
Recent surge in Large Language Model (LLM) availability has opened exciting avenues for research. However, efficiently interacting with these models presents a significant hurdle since LLMs often reside on proprietary or self-hosted API endpoints, each requiring custom code for interaction. Conducting comparative studies between different models can therefore be time-consuming and necessitate significant engineering effort, hindering research efficiency and reproducibility. To address these challenges, we present prompto, an open source Python library which facilitates asynchronous querying of LLM endpoints enabling researchers to interact with multiple LLMs concurrently, while maximising efficiency and utilising individual rate limits. Our library empowers researchers and developers to interact with LLMs more effectively and enabling faster experimentation and evaluation. prompto is released with an introductory video (https://youtu.be/-eZAmlV4ypk) under MIT License and is available via GitHub (https://github.com/alan-turing-institute/prompto).
△ Less
Submitted 12 August, 2024;
originally announced August 2024.
-
Strain stiffening due to stretching of entangled particles in random packings of granular materials
Authors:
Eric Brown,
Kevin A. Mitchell,
Alice Nasto,
Athanasios Athanassiadis,
Heinrich M. Jaeger
Abstract:
Stress-strain relations for random packings of entangling chains under triaxial compression can exhibit strain stiffening and sustain stresses several orders-of-magnitude beyond typical granular materials. X-ray tomography reveals the transition to this strong strain stiffening occurs when chains are long enough to entangle an average of about one chain each, which results in system-filling cluste…
▽ More
Stress-strain relations for random packings of entangling chains under triaxial compression can exhibit strain stiffening and sustain stresses several orders-of-magnitude beyond typical granular materials. X-ray tomography reveals the transition to this strong strain stiffening occurs when chains are long enough to entangle an average of about one chain each, which results in system-filling clusters of entangled chains. The number of entanglements is nearly proportional to the area surrounded by entangling particles with an excluded volume effect. A tendency was found for chain links to stretch when the packing was strained. The slope of the stress-strain relation of the packing can be calculated from a mean-field model consisting of the product of the effective extensional modulus of the chain, packing fraction, probability of stretched links, and the ratio of strain of stretched links to packing strain. The stress-strain model requires as input measurements of the ratio between local particle deformation and global average strain, and the probability of stretching for non-rigid particles. This results in a quadratic prediction for the stress-strain curve, with a curvature that agrees with experiments within the model uncertainties. This model explains that the strength of these packings comes from stretching of the links of chains, but only when the system-filling network of entanglements provides constraints that prevents failure by shear banding, so that particles must be deformed to move further under strain. In this model, the increasing slope of the stress-strain curve is mainly due to the fraction of stretched links increasing with strain. This model for the stress-strain relation is shown to be generalizable to different shapes of entangling particles by applying it to staples.
△ Less
Submitted 16 August, 2024;
originally announced August 2024.
-
The Trojan-like Colors of Low-Perihelion Kuiper Belt Objects
Authors:
Matthew Belyakov,
Michael E. Brown,
Alya al-Kibbi
Abstract:
An important testable prediction of dynamical instability models for the early evolution of the Solar System is that Jupiter Trojans share a source population with the Kuiper belt. Concrete evidence of this prediction remains elusive, as Kuiper belt objects (KBOs) and Jupiter Trojans appear to have different surface compositions. We address the long-standing question of Trojan origin by finding a…
▽ More
An important testable prediction of dynamical instability models for the early evolution of the Solar System is that Jupiter Trojans share a source population with the Kuiper belt. Concrete evidence of this prediction remains elusive, as Kuiper belt objects (KBOs) and Jupiter Trojans appear to have different surface compositions. We address the long-standing question of Trojan origin by finding a dynamical sub-population in the Kuiper belt with Trojan-like colors. Combining existing photometric data with our own surveys on Keck I and Palomar P200, we find that the low-perihelion ($q<30 $AU, $a>30 $AU) component of the Kuiper belt has colors that bifurcate similarly to the Jupiter Trojans, unlike Centaurs ($a<30 $AU) which have redder, Kuiper belt-like colors. To connect the Jupiter Trojans to the Kuiper belt, we test whether the distinct Trojan-like colors of low-perihelion KBOs result from surface processing, or are sourced from a specific population in the Kuiper belt. By simulating the evolution of the Canada-France Ecliptic Plane Survey synthetic population of KBOs for four billion years, we find that differences in heating timescales cannot result in a significant depletion of Very Red low-perihelion KBOs as compared to the Centaurs. We find that the neutrally-colored scattered disk objects ($e>0.6$ KBOs) contribute more to the low-perihelion KBO population rather than Centaurs, resulting in their different colors.
△ Less
Submitted 30 July, 2024;
originally announced July 2024.
-
Neural population dynamics in songbird RA and HVC during learned motor-vocal behavior
Authors:
Pablo Tostado-Marcos,
Ezequiel M. Arneodo,
Lauren Ostrowski,
Daril E. Brown II,
Xavier A. Perez,
Adam Kadwory,
Lauren L. Stanwicks,
Abdullah Alothman,
Timothy Q. Gentner,
Vikash Gilja
Abstract:
Complex, learned motor behaviors involve the coordination of large-scale neural activity across multiple brain regions, but our understanding of the population-level dynamics within different regions tied to the same behavior remains limited. Here, we investigate the neural population dynamics underlying learned vocal production in awake-singing songbirds. We use Neuropixels probes to record the s…
▽ More
Complex, learned motor behaviors involve the coordination of large-scale neural activity across multiple brain regions, but our understanding of the population-level dynamics within different regions tied to the same behavior remains limited. Here, we investigate the neural population dynamics underlying learned vocal production in awake-singing songbirds. We use Neuropixels probes to record the simultaneous extracellular activity of populations of neurons in two regions of the vocal motor pathway. In line with observations made in non-human primates during limb-based motor tasks, we show that the population-level activity in both the premotor nucleus HVC and the motor nucleus RA is organized on low-dimensional neural manifolds upon which coordinated neural activity is well described by temporally structured trajectories during singing behavior. Both the HVC and RA latent trajectories provide relevant information to predict vocal sequence transitions between song syllables. However, the dynamics of these latent trajectories differ between regions. Our state-space models suggest a unique and continuous-over-time correspondence between the latent space of RA and vocal output, whereas the corresponding relationship for HVC exhibits a higher degree of neural variability. We then demonstrate that comparable high-fidelity reconstruction of continuous vocal outputs can be achieved from HVC and RA neural latents and spiking activity. Unlike those that use spiking activity, however, decoding models using neural latents generalize to novel sub-populations in each region, consistent with the existence of preserved manifolds that confine vocal-motor activity in HVC and RA.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Answering real-world clinical questions using large language model based systems
Authors:
Yen Sia Low,
Michael L. Jackson,
Rebecca J. Hyde,
Robert E. Brown,
Neil M. Sanghavi,
Julian D. Baldwin,
C. William Pike,
Jananee Muralidharan,
Gavin Hui,
Natasha Alexander,
Hadeel Hassan,
Rahul V. Nene,
Morgan Pike,
Courtney J. Pokrzywa,
Shivam Vedak,
Adam Paul Yan,
Dong-han Yao,
Amy R. Zipursky,
Christina Dinh,
Philip Ballentine,
Dan C. Derieg,
Vladimir Polony,
Rehan N. Chawdry,
Jordan Davies,
Brigham B. Hyde
, et al. (2 additional authors not shown)
Abstract:
Evidence to guide healthcare decisions is often limited by a lack of relevant and trustworthy literature as well as difficulty in contextualizing existing research for a specific patient. Large language models (LLMs) could potentially address both challenges by either summarizing published literature or generating new studies based on real-world data (RWD). We evaluated the ability of five LLM-bas…
▽ More
Evidence to guide healthcare decisions is often limited by a lack of relevant and trustworthy literature as well as difficulty in contextualizing existing research for a specific patient. Large language models (LLMs) could potentially address both challenges by either summarizing published literature or generating new studies based on real-world data (RWD). We evaluated the ability of five LLM-based systems in answering 50 clinical questions and had nine independent physicians review the responses for relevance, reliability, and actionability. As it stands, general-purpose LLMs (ChatGPT-4, Claude 3 Opus, Gemini Pro 1.5) rarely produced answers that were deemed relevant and evidence-based (2% - 10%). In contrast, retrieval augmented generation (RAG)-based and agentic LLM systems produced relevant and evidence-based answers for 24% (OpenEvidence) to 58% (ChatRWD) of questions. Only the agentic ChatRWD was able to answer novel questions compared to other LLMs (65% vs. 0-9%). These results suggest that while general-purpose LLMs should not be used as-is, a purpose-built system for evidence summarization based on RAG and one for generating novel evidence working synergistically would improve availability of pertinent evidence for patient care.
△ Less
Submitted 29 June, 2024;
originally announced July 2024.
-
Imaging of single barium atoms in a second matrix site in solid xenon for barium tagging in a $^{136}$Xe double beta decay experiment
Authors:
M. Yvaine,
D. Fairbank,
J. Soderstrom,
C. Taylor,
J. Stanley,
T. Walton,
C. Chambers,
A. Iverson,
W. Fairbank,
S. Al Kharusi,
A. Amy,
E. Angelico,
A. Anker,
I. J. Arnquist,
A. Atencio,
J. Bane,
V. Belov,
E. P. Bernard,
T. Bhatta,
A. Bolotnikov,
J. Breslin,
P. A. Breur,
J. P. Brodsky,
E. Brown,
T. Brunner
, et al. (112 additional authors not shown)
Abstract:
Neutrinoless double beta decay is one of the most sensitive probes for new physics beyond the Standard Model of particle physics. One of the isotopes under investigation is $^{136}$Xe, which would double beta decay into $^{136}$Ba. Detecting the single $^{136}$Ba daughter provides a sort of ultimate tool in the discrimination against backgrounds. Previous work demonstrated the ability to perform s…
▽ More
Neutrinoless double beta decay is one of the most sensitive probes for new physics beyond the Standard Model of particle physics. One of the isotopes under investigation is $^{136}$Xe, which would double beta decay into $^{136}$Ba. Detecting the single $^{136}$Ba daughter provides a sort of ultimate tool in the discrimination against backgrounds. Previous work demonstrated the ability to perform single atom imaging of Ba atoms in a single-vacancy site of a solid xenon matrix. In this paper, the effort to identify signal from individual barium atoms is extended to Ba atoms in a hexa-vacancy site in the matrix and is achieved despite increased photobleaching in this site. Abrupt fluorescence turn-off of a single Ba atom is also observed. Significant recovery of fluorescence signal lost through photobleaching is demonstrated upon annealing of Ba deposits in the Xe ice. Following annealing, it is observed that Ba atoms in the hexa-vacancy site exhibit antibleaching while Ba atoms in the tetra-vacancy site exhibit bleaching. This may be evidence for a matrix site transfer upon laser excitation. Our findings offer a path of continued research toward tagging of Ba daughters in all significant sites in solid xenon.
△ Less
Submitted 28 June, 2024;
originally announced July 2024.
-
ProtoGMM: Multi-prototype Gaussian-Mixture-based Domain Adaptation Model for Semantic Segmentation
Authors:
Nazanin Moradinasab,
Laura S. Shankman,
Rebecca A. Deaton,
Gary K. Owens,
Donald E. Brown
Abstract:
Domain adaptive semantic segmentation aims to generate accurate and dense predictions for an unlabeled target domain by leveraging a supervised model trained on a labeled source domain. The prevalent self-training approach involves retraining the dense discriminative classifier of $p(class|pixel feature)$ using the pseudo-labels from the target domain. While many methods focus on mitigating the is…
▽ More
Domain adaptive semantic segmentation aims to generate accurate and dense predictions for an unlabeled target domain by leveraging a supervised model trained on a labeled source domain. The prevalent self-training approach involves retraining the dense discriminative classifier of $p(class|pixel feature)$ using the pseudo-labels from the target domain. While many methods focus on mitigating the issue of noisy pseudo-labels, they often overlook the underlying data distribution p(pixel feature|class) in both the source and target domains. To address this limitation, we propose the multi-prototype Gaussian-Mixture-based (ProtoGMM) model, which incorporates the GMM into contrastive losses to perform guided contrastive learning. Contrastive losses are commonly executed in the literature using memory banks, which can lead to class biases due to underrepresented classes. Furthermore, memory banks often have fixed capacities, potentially restricting the model's ability to capture diverse representations of the target/source domains. An alternative approach is to use global class prototypes (i.e. averaged features per category). However, the global prototypes are based on the unimodal distribution assumption per class, disregarding within-class variation. To address these challenges, we propose the ProtoGMM model. This novel approach involves estimating the underlying multi-prototype source distribution by utilizing the GMM on the feature space of the source samples. The components of the GMM model act as representative prototypes. To achieve increased intra-class semantic similarity, decreased inter-class similarity, and domain alignment between the source and target domains, we employ multi-prototype contrastive learning between source distribution and target samples. The experiments show the effectiveness of our method on UDA benchmarks.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
Multi-step Inference over Unstructured Data
Authors:
Aditya Kalyanpur,
Kailash Karthik Saravanakumar,
Victor Barres,
CJ McFate,
Lori Moon,
Nati Seifu,
Maksim Eremeev,
Jose Barrera,
Abraham Bautista-Castillo,
Eric Brown,
David Ferrucci
Abstract:
The advent of Large Language Models (LLMs) and Generative AI has revolutionized natural language applications across various domains. However, high-stakes decision-making tasks in fields such as medical, legal and finance require a level of precision, comprehensiveness, and logical consistency that pure LLM or Retrieval-Augmented-Generation (RAG) approaches often fail to deliver. At Elemental Cogn…
▽ More
The advent of Large Language Models (LLMs) and Generative AI has revolutionized natural language applications across various domains. However, high-stakes decision-making tasks in fields such as medical, legal and finance require a level of precision, comprehensiveness, and logical consistency that pure LLM or Retrieval-Augmented-Generation (RAG) approaches often fail to deliver. At Elemental Cognition (EC), we have developed a neuro-symbolic AI platform to tackle these problems. The platform integrates fine-tuned LLMs for knowledge extraction and alignment with a robust symbolic reasoning engine for logical inference, planning and interactive constraint solving. We describe Cora, a Collaborative Research Assistant built on this platform, that is designed to perform complex research and discovery tasks in high-stakes domains. This paper discusses the multi-step inference challenges inherent in such domains, critiques the limitations of existing LLM-based methods, and demonstrates how Cora's neuro-symbolic approach effectively addresses these issues. We provide an overview of the system architecture, key algorithms for knowledge extraction and formal reasoning, and present preliminary evaluation results that highlight Cora's superior performance compared to well-known LLM and RAG baselines.
△ Less
Submitted 24 July, 2024; v1 submitted 25 June, 2024;
originally announced June 2024.
-
Cambrian-1: A Fully Open, Vision-Centric Exploration of Multimodal LLMs
Authors:
Shengbang Tong,
Ellis Brown,
Penghao Wu,
Sanghyun Woo,
Manoj Middepogu,
Sai Charitha Akula,
Jihan Yang,
Shusheng Yang,
Adithya Iyer,
Xichen Pan,
Austin Wang,
Rob Fergus,
Yann LeCun,
Saining Xie
Abstract:
We introduce Cambrian-1, a family of multimodal LLMs (MLLMs) designed with a vision-centric approach. While stronger language models can enhance multimodal capabilities, the design choices for vision components are often insufficiently explored and disconnected from visual representation learning research. This gap hinders accurate sensory grounding in real-world scenarios. Our study uses LLMs and…
▽ More
We introduce Cambrian-1, a family of multimodal LLMs (MLLMs) designed with a vision-centric approach. While stronger language models can enhance multimodal capabilities, the design choices for vision components are often insufficiently explored and disconnected from visual representation learning research. This gap hinders accurate sensory grounding in real-world scenarios. Our study uses LLMs and visual instruction tuning as an interface to evaluate various visual representations, offering new insights into different models and architectures -- self-supervised, strongly supervised, or combinations thereof -- based on experiments with over 20 vision encoders. We critically examine existing MLLM benchmarks, addressing the difficulties involved in consolidating and interpreting results from various tasks, and introduce a new vision-centric benchmark, CV-Bench. To further improve visual grounding, we propose the Spatial Vision Aggregator (SVA), a dynamic and spatially-aware connector that integrates high-resolution vision features with LLMs while reducing the number of tokens. Additionally, we discuss the curation of high-quality visual instruction-tuning data from publicly available sources, emphasizing the importance of data source balancing and distribution ratio. Collectively, Cambrian-1 not only achieves state-of-the-art performance but also serves as a comprehensive, open cookbook for instruction-tuned MLLMs. We provide model weights, code, supporting tools, datasets, and detailed instruction-tuning and evaluation recipes. We hope our release will inspire and accelerate advancements in multimodal systems and visual representation learning.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
A Sim2Real Approach for Identifying Task-Relevant Properties in Interpretable Machine Learning
Authors:
Eura Nofshin,
Esther Brown,
Brian Lim,
Weiwei Pan,
Finale Doshi-Velez
Abstract:
Existing user studies suggest that different tasks may require explanations with different properties. However, user studies are expensive. In this paper, we introduce a generalizable, cost-effective method for identifying task-relevant explanation properties in silico, which can guide the design of more expensive user studies. We use our approach to identify relevant proxies for three example tas…
▽ More
Existing user studies suggest that different tasks may require explanations with different properties. However, user studies are expensive. In this paper, we introduce a generalizable, cost-effective method for identifying task-relevant explanation properties in silico, which can guide the design of more expensive user studies. We use our approach to identify relevant proxies for three example tasks and validate our simulation with real user studies.
△ Less
Submitted 31 May, 2024;
originally announced June 2024.
-
Supernova Electron-Neutrino Interactions with Xenon in the nEXO Detector
Authors:
nEXO Collaboration,
S. Hedges,
S. Al Kharusi,
E. Angelico,
J. P. Brodsky,
G. Richardson,
S. Wilde,
A. Amy,
A. Anker,
I. J. Arnquist,
P. Arsenault,
A. Atencio,
I. Badhrees,
J. Bane,
V. Belov,
E. P. Bernard,
T. Bhatta,
A. Bolotnikov,
J. Breslin,
P. A. Breur,
E. Brown,
T. Brunner,
E. Caden,
G. F. Cao,
L. Q. Cao
, et al. (121 additional authors not shown)
Abstract:
Electron-neutrino charged-current interactions with xenon nuclei were modeled in the nEXO neutrinoless double-beta decay detector (~5-tonne, 90% ${}^{136}$Xe, 10% ${}^{134}$Xe) to evaluate its sensitivity to supernova neutrinos. Predictions for event rates and detectable signatures were modeled using the MARLEY event generator. We find good agreement between MARLEY's predictions and existing theor…
▽ More
Electron-neutrino charged-current interactions with xenon nuclei were modeled in the nEXO neutrinoless double-beta decay detector (~5-tonne, 90% ${}^{136}$Xe, 10% ${}^{134}$Xe) to evaluate its sensitivity to supernova neutrinos. Predictions for event rates and detectable signatures were modeled using the MARLEY event generator. We find good agreement between MARLEY's predictions and existing theoretical calculations of the inclusive cross sections at supernova neutrino energies. The interactions modeled by MARLEY were simulated within the nEXO simulation framework and were run through an example reconstruction algorithm to determine the detector's efficiency for reconstructing these events. The simulated data, incorporating the detector response, were used to study the ability of nEXO to reconstruct the incident electron-neutrino spectrum and these results were extended to a larger xenon detector of the same isotope enrichment. We estimate that nEXO will be able to observe electron-neutrino interactions with xenon from supernovae as far as 5 to 8 kpc from earth, while the ability to reconstruct incident electron-neutrino spectrum parameters from observed interactions in nEXO is limited to closer supernovae.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Laboratory-Scale AI: Open-Weight Models are Competitive with ChatGPT Even in Low-Resource Settings
Authors:
Robert Wolfe,
Isaac Slaughter,
Bin Han,
Bingbing Wen,
Yiwei Yang,
Lucas Rosenblatt,
Bernease Herman,
Eva Brown,
Zening Qu,
Nic Weber,
Bill Howe
Abstract:
The rapid proliferation of generative AI has raised questions about the competitiveness of lower-parameter, locally tunable, open-weight models relative to high-parameter, API-guarded, closed-weight models in terms of performance, domain adaptation, cost, and generalization. Centering under-resourced yet risk-intolerant settings in government, research, and healthcare, we see for-profit closed-wei…
▽ More
The rapid proliferation of generative AI has raised questions about the competitiveness of lower-parameter, locally tunable, open-weight models relative to high-parameter, API-guarded, closed-weight models in terms of performance, domain adaptation, cost, and generalization. Centering under-resourced yet risk-intolerant settings in government, research, and healthcare, we see for-profit closed-weight models as incompatible with requirements for transparency, privacy, adaptability, and standards of evidence. Yet the performance penalty in using open-weight models, especially in low-data and low-resource settings, is unclear.
We assess the feasibility of using smaller, open-weight models to replace GPT-4-Turbo in zero-shot, few-shot, and fine-tuned regimes, assuming access to only a single, low-cost GPU. We assess value-sensitive issues around bias, privacy, and abstention on three additional tasks relevant to those topics. We find that with relatively low effort, very low absolute monetary cost, and relatively little data for fine-tuning, small open-weight models can achieve competitive performance in domain-adapted tasks without sacrificing generality. We then run experiments considering practical issues in bias, privacy, and hallucination risk, finding that open models offer several benefits over closed models. We intend this work as a case study in understanding the opportunity cost of reproducibility and transparency over for-profit state-of-the-art zero shot performance, finding this cost to be marginal under realistic settings.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
Bayesian Optimization of Sample Entropy Hyperparameters for Short Time Series
Authors:
Zachary Blanks,
Donald E. Brown
Abstract:
Quantifying the complexity and irregularity of time series data is a primary pursuit across various data-scientific disciplines. Sample entropy (SampEn) is a widely adopted metric for this purpose, but its reliability is sensitive to the choice of its hyperparameters, the embedding dimension $(m)$ and the similarity radius $(r)$, especially for short-duration signals. This paper presents a novel m…
▽ More
Quantifying the complexity and irregularity of time series data is a primary pursuit across various data-scientific disciplines. Sample entropy (SampEn) is a widely adopted metric for this purpose, but its reliability is sensitive to the choice of its hyperparameters, the embedding dimension $(m)$ and the similarity radius $(r)$, especially for short-duration signals. This paper presents a novel methodology that addresses this challenge. We introduce a Bayesian optimization framework, integrated with a bootstrap-based variance estimator tailored for short signals, to simultaneously and optimally select the values of $m$ and $r$ for reliable SampEn estimation. Through validation on synthetic signal experiments, our approach outperformed existing benchmarks. It achieved a 60 to 90% reduction in relative error for estimating SampEn variance and a 22 to 45% decrease in relative mean squared error for SampEn estimation itself ($p \leq 0.043$). Applying our method to publicly available short-signal benchmarks yielded promising results. Unlike existing competitors, our approach was the only one to successfully identify known entropy differences across all signal sets ($p \leq 0.042$). Additionally, we introduce "EristroPy," an open-source Python package that implements our proposed optimization framework for SampEn hyperparameter selection. This work holds potential for applications where accurate estimation of entropy from short-duration signals is paramount.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Pwyll and Manannán Craters as a Laboratory for Constraining Irradiation Timescales on Europa
Authors:
M. Ryleigh Davis,
Michael E. Brown
Abstract:
We examine high spatial resolution Galileo/NIMS observations of the young (~1 My - 20 My) impact features, Pwyll and Manannán craters, on Europa's trailing hemisphere in an effort to constrain irradiation timescales. We characterize their composition using a linear spectral modeling analysis and find that both craters and their ejecta are depleted in hydrated sulfuric acid relative to nearby older…
▽ More
We examine high spatial resolution Galileo/NIMS observations of the young (~1 My - 20 My) impact features, Pwyll and Manannán craters, on Europa's trailing hemisphere in an effort to constrain irradiation timescales. We characterize their composition using a linear spectral modeling analysis and find that both craters and their ejecta are depleted in hydrated sulfuric acid relative to nearby older terrain. This suggests that the radiolytic sulfur cycle has not yet had enough time to build up an equilibrium concentration of H2SO4, and places a strong lower limit of the age of the craters on the equilibrium timescale of the radiolytic sulfur cycle on Europa's trailing hemisphere. Additionally, we find that the dark and red material seen in the craters and proximal ejecta of Pwyll and Manannán show the spectroscopic signature of hydrated, presumably endogenic salts. This suggests that the irradiation-induced darkening and redenning of endogenic salts thought to occur on Europa's trailing hemisphere has already happened at Pwyll and Manannán, thereby placing an upper limit on the timescale by which salts are irradiation reddened.
△ Less
Submitted 23 April, 2024;
originally announced April 2024.
-
Symbolic Computation for All the Fun
Authors:
Chad E. Brown,
Mikoláš Janota,
Mirek Olšák
Abstract:
Motivated by the recent 10 million dollar AIMO challenge, this paper targets the problem of finding all functions conforming to a given specification. This is a popular problem at mathematical competitions and it brings about a number of challenges, primarily, synthesizing the possible solutions and proving that no other solutions exist. Often, there are infinitely many solutions and then the set…
▽ More
Motivated by the recent 10 million dollar AIMO challenge, this paper targets the problem of finding all functions conforming to a given specification. This is a popular problem at mathematical competitions and it brings about a number of challenges, primarily, synthesizing the possible solutions and proving that no other solutions exist. Often, there are infinitely many solutions and then the set of solutions has to be captured symbolically. We propose an approach to solving this problem and evaluate it on a set of problems that appeared in mathematical competitions and olympics.
△ Less
Submitted 23 June, 2024; v1 submitted 18 April, 2024;
originally announced April 2024.
-
Generation of Low-Inclination, Neptune-Crossing TNOs by Planet Nine
Authors:
Konstantin Batygin,
Alessandro Morbidelli,
Michael E. Brown,
David Nesvorny
Abstract:
The solar system's distant reaches exhibit a wealth of anomalous dynamical structure, hinting at the presence of a yet-undetected, massive trans-Neptunian body - Planet 9. Previous analyses have shown how orbital evolution induced by this object can explain the origins of a broad assortment of exotic orbits, ranging from those characterized by high perihelia to those with extreme inclinations. In…
▽ More
The solar system's distant reaches exhibit a wealth of anomalous dynamical structure, hinting at the presence of a yet-undetected, massive trans-Neptunian body - Planet 9. Previous analyses have shown how orbital evolution induced by this object can explain the origins of a broad assortment of exotic orbits, ranging from those characterized by high perihelia to those with extreme inclinations. In this work, we shift the focus toward a more conventional class of TNOs, and consider the observed census of long-period, nearly planar, Neptune-crossing objects as a hitherto-unexplored probe of the Planet 9 hypothesis. To this end, we carry out comprehensive $N-$body simulations that self-consistently model gravitational perturbations from all giant planets, the Galactic tide, as well as passing stars, stemming from initial conditions that account for the primordial giant planet migration and sun's early evolution within a star cluster. Accounting for observational biases, our results reveal that the orbital architecture of this group of objects aligns closely with the predictions of the P9-inclusive model. In stark contrast, the P9-free scenario is statistically rejected at a $\sim5\,σ$ confidence-level. Accordingly, this work introduces a new line of evidence supporting the existence of Planet 9 and further delineates a series of observational predictions poised for near-term resolution.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
GazePointAR: A Context-Aware Multimodal Voice Assistant for Pronoun Disambiguation in Wearable Augmented Reality
Authors:
Jaewook Lee,
Jun Wang,
Elizabeth Brown,
Liam Chu,
Sebastian S. Rodriguez,
Jon E. Froehlich
Abstract:
Voice assistants (VAs) like Siri and Alexa are transforming human-computer interaction; however, they lack awareness of users' spatiotemporal context, resulting in limited performance and unnatural dialogue. We introduce GazePointAR, a fully-functional context-aware VA for wearable augmented reality that leverages eye gaze, pointing gestures, and conversation history to disambiguate speech queries…
▽ More
Voice assistants (VAs) like Siri and Alexa are transforming human-computer interaction; however, they lack awareness of users' spatiotemporal context, resulting in limited performance and unnatural dialogue. We introduce GazePointAR, a fully-functional context-aware VA for wearable augmented reality that leverages eye gaze, pointing gestures, and conversation history to disambiguate speech queries. With GazePointAR, users can ask "what's over there?" or "how do I solve this math problem?" simply by looking and/or pointing. We evaluated GazePointAR in a three-part lab study (N=12): (1) comparing GazePointAR to two commercial systems; (2) examining GazePointAR's pronoun disambiguation across three tasks; (3) and an open-ended phase where participants could suggest and try their own context-sensitive queries. Participants appreciated the naturalness and human-like nature of pronoun-driven queries, although sometimes pronoun use was counter-intuitive. We then iterated on GazePointAR and conducted a first-person diary study examining how GazePointAR performs in-the-wild. We conclude by enumerating limitations and design considerations for future context-aware VAs.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Biomedical Open Source Software: Crucial Packages and Hidden Heroes
Authors:
Andrew Nesbitt,
Boris Veytsman,
Daniel Mietchen,
Eva Maxfield Brown,
James Howison,
João Felipe Pimentel,
Laurent Hèbert-Dufresne,
Stephan Druskat
Abstract:
Despite the importance of scientific software for research, it is often not formally recognized and rewarded. This is especially true for foundation libraries, which are used by the software packages visible to the users, being ``hidden'' themselves. The funders and other organizations need to understand the complex network of computer programs that the modern research relies upon.
In this work…
▽ More
Despite the importance of scientific software for research, it is often not formally recognized and rewarded. This is especially true for foundation libraries, which are used by the software packages visible to the users, being ``hidden'' themselves. The funders and other organizations need to understand the complex network of computer programs that the modern research relies upon.
In this work we used CZ Software Mentions Dataset to map the dependencies of the software used in biomedical papers and find the packages critical to the software ecosystems. We propose the centrality metrics for the network of software dependencies, analyze three ecosystems (PyPi, CRAN, Bioconductor) and determine the packages with the highest centrality.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
JWST Spectrophotometry of the Small Satellites of Uranus and Neptune
Authors:
Matthew Belyakov,
M. Ryleigh Davis,
Zachariah Milby,
Ian Wong,
Michael E. Brown
Abstract:
We use 1.4-4.6 micron multi-band photometry of the small inner Uranian and Neptunian satellites obtained with the James Webb Space Telescope's near-infrared imager NIRCam to characterize their surface compositions. We find that the satellites of the ice giants have, to first-order, similar compositions to one another, with a 3.0 micron absorption feature possibly associated with an O-H stretch, in…
▽ More
We use 1.4-4.6 micron multi-band photometry of the small inner Uranian and Neptunian satellites obtained with the James Webb Space Telescope's near-infrared imager NIRCam to characterize their surface compositions. We find that the satellites of the ice giants have, to first-order, similar compositions to one another, with a 3.0 micron absorption feature possibly associated with an O-H stretch, indicative of water ice or hydrated minerals. Additionally, the spectrophotometry for the small ice giant satellites matches spectra of some Neptune Trojans and excited Kuiper belt objects, suggesting shared properties. Future spectroscopy of these small satellites is necessary to identify and better constrain their specific surface compositions.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
A Formal Proof of R(4,5)=25
Authors:
Thibault Gauthier,
Chad E. Brown
Abstract:
In 1995, McKay and Radziszowski proved that the Ramsey number R(4,5) is equal to 25. Their proof relies on a combination of high-level arguments and computational steps. The authors have performed the computational parts of the proof with different implementations in order to reduce the possibility of an error in their programs. In this work, we prove this theorem in the interactive theorem prover…
▽ More
In 1995, McKay and Radziszowski proved that the Ramsey number R(4,5) is equal to 25. Their proof relies on a combination of high-level arguments and computational steps. The authors have performed the computational parts of the proof with different implementations in order to reduce the possibility of an error in their programs. In this work, we prove this theorem in the interactive theorem prover HOL4 limiting the uncertainty to the small HOL4 kernel. Instead of verifying their algorithms directly, we rely on the HOL4 interface to MiniSat SAT to prove gluing lemmas. To reduce the number of such lemmas and thus make the computational part of the proof feasible, we implement a generalization algorithm. We verify that its output covers all the possible cases by implementing a custom SAT-solver extended with a graph isomorphism checker.
△ Less
Submitted 12 June, 2024; v1 submitted 2 April, 2024;
originally announced April 2024.
-
TASR: A Novel Trust-Aware Stackelberg Routing Algorithm to Mitigate Traffic Congestion
Authors:
Doris E. M. Brown,
Venkata Sriram Siddhardh Nadendla,
Sajal K. Das
Abstract:
Stackelberg routing platforms (SRP) reduce congestion in one-shot traffic networks by proposing optimal route recommendations to selfish travelers. Traditionally, Stackelberg routing is cast as a partial control problem where a fraction of traveler flow complies with route recommendations, while the remaining respond as selfish travelers. In this paper, a novel Stackelberg routing framework is for…
▽ More
Stackelberg routing platforms (SRP) reduce congestion in one-shot traffic networks by proposing optimal route recommendations to selfish travelers. Traditionally, Stackelberg routing is cast as a partial control problem where a fraction of traveler flow complies with route recommendations, while the remaining respond as selfish travelers. In this paper, a novel Stackelberg routing framework is formulated where the agents exhibit \emph{probabilistic compliance} by accepting SRP's route recommendations with a \emph{trust} probability. A greedy \emph{\textbf{T}rust-\textbf{A}ware \textbf{S}tackelberg \textbf{R}outing} algorithm (in short, TASR) is proposed for SRP to compute unique path recommendations to each traveler flow with a unique demand. Simulation experiments are designed with random travel demands with diverse trust values on real road networks such as Sioux Falls, Chicago Sketch, and Sydney networks for both single-commodity and multi-commodity flows. The performance of TASR is compared with state-of-the-art Stackelberg routing methods in terms of traffic congestion and trust dynamics over repeated interaction between the SRP and the travelers. Results show that TASR improves network congestion without causing a significant reduction in trust towards the SRP, when compared to most well-known Stackelberg routing strategies.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
V-IRL: Grounding Virtual Intelligence in Real Life
Authors:
Jihan Yang,
Runyu Ding,
Ellis Brown,
Xiaojuan Qi,
Saining Xie
Abstract:
There is a sensory gulf between the Earth that humans inhabit and the digital realms in which modern AI agents are created. To develop AI agents that can sense, think, and act as flexibly as humans in real-world settings, it is imperative to bridge the realism gap between the digital and physical worlds. How can we embody agents in an environment as rich and diverse as the one we inhabit, without…
▽ More
There is a sensory gulf between the Earth that humans inhabit and the digital realms in which modern AI agents are created. To develop AI agents that can sense, think, and act as flexibly as humans in real-world settings, it is imperative to bridge the realism gap between the digital and physical worlds. How can we embody agents in an environment as rich and diverse as the one we inhabit, without the constraints imposed by real hardware and control? Towards this end, we introduce V-IRL: a platform that enables agents to scalably interact with the real world in a virtual yet realistic environment. Our platform serves as a playground for developing agents that can accomplish various practical tasks and as a vast testbed for measuring progress in capabilities spanning perception, decision-making, and interaction with real-world data across the entire globe.
△ Less
Submitted 18 July, 2024; v1 submitted 5 February, 2024;
originally announced February 2024.
-
A Pan-STARRS1 Search for Planet Nine
Authors:
Michael E. Brown,
Matthew J. Holman,
Konstantin Batygin
Abstract:
We present a search for Planet Nine using the second data release of the Pan-STARRS1survey. We rule out the existence of a Planet Nine with the characteristics of that predicted in Brown & Batygin (2021) to a 50% completion depth of $V=21.5$. This survey, along with previous analyses of the Zwicky Transient Facility (ZTF) and Dark EnergySurvey (DES) data, rules out 78% of the Brown \& Batygin para…
▽ More
We present a search for Planet Nine using the second data release of the Pan-STARRS1survey. We rule out the existence of a Planet Nine with the characteristics of that predicted in Brown & Batygin (2021) to a 50% completion depth of $V=21.5$. This survey, along with previous analyses of the Zwicky Transient Facility (ZTF) and Dark EnergySurvey (DES) data, rules out 78% of the Brown \& Batygin parameter space. Much of the remaining parameter space is at $V>21$ in regions near and in the area where the northern galactic plane crosses the ecliptic.
△ Less
Submitted 31 January, 2024;
originally announced January 2024.
-
The variable magnetic field of V889 Her and the challenge of detecting exoplanets around young Suns using Gaussian process regression
Authors:
E. L. Brown,
S. C. Marsden,
S. V. Jeffers,
A. Heitzmann,
J. R. Barnes,
C. P. Folsom
Abstract:
Discovering exoplanets orbiting young Suns can provide insight into the formation and early evolution of our own solar system, but the extreme magnetic activity of young stars obfuscates exoplanet detection. Here we monitor the long-term magnetic field and chromospheric activity variability of the young solar analogue V889 Her, model the activity-induced radial velocity variations and evaluate the…
▽ More
Discovering exoplanets orbiting young Suns can provide insight into the formation and early evolution of our own solar system, but the extreme magnetic activity of young stars obfuscates exoplanet detection. Here we monitor the long-term magnetic field and chromospheric activity variability of the young solar analogue V889 Her, model the activity-induced radial velocity variations and evaluate the impacts of extreme magnetism on exoplanet detection thresholds. We map the magnetic field and surface brightness for 14 epochs between 2004 and 2019. Our results show potential 3-4 yr variations of the magnetic field which evolves from weak and simple during chromospheric activity minima to strong and complex during activity maxima but without any polarity reversals. A persistent, temporally-varying polar spot coexists with weaker, short-lived lower-latitude spots. Due to their different decay time-scales, significant differential rotation and the limited temporal coverage of our legacy data, we were unable to reliably model the activity-induced radial velocity using Gaussian Process regression. Doppler Imaging can be a useful method for modelling the magnetic activity jitter of extremely active stars using data with large phase gaps. Given our data and using Doppler Imaging to filter activity jitter, we estimate that we could detect Jupiter-mass planets with orbital periods of $\sim$3 d. A longer baseline of continuous observations is the best observing strategy for the detection of exoplanets orbiting highly active stars.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
A Global Analysis of Pre-Earthquake Ionospheric Anomalies
Authors:
Luke Cullen,
Andy W Smith,
Asadullah H Galib,
Debvrat Varshney,
Edward J E Brown,
Peter J Chi,
Xiangning Chu,
Filip Svoboda
Abstract:
Local ionospheric density anomalies have been reported in the days prior to major earthquakes. This global study statistically investigates whether consistent ionospheric anomalies occur in the 24 hours prior to earthquakes across different regions, magnitudes, temporal and spatial scales. We match earthquake data to Total Electron Content (TEC) data from 2000-2020 at a higher resolution and caden…
▽ More
Local ionospheric density anomalies have been reported in the days prior to major earthquakes. This global study statistically investigates whether consistent ionospheric anomalies occur in the 24 hours prior to earthquakes across different regions, magnitudes, temporal and spatial scales. We match earthquake data to Total Electron Content (TEC) data from 2000-2020 at a higher resolution and cadence than previous assessed. Globally, no significant, consistent anomaly is found. Regionally, statistically significant ionospheric anomalies arise in the 12 hours prior to earthquakes with $p \leq 0.01$ following Wilcoxon tests. For the Japanese region we find a median negative ionospheric anomaly of around 0.5 TECU between 3 and 8 hours before earthquakes. For the South American region, the median TEC is enhanced by up to ~ 2 TECU, between 7 and 10 hours before an event. We show that the results are robust to different definitions of the ''local'' region and earthquake magnitude. This demonstrates the promise of monitoring the ionosphere as part of a multimodal earthquake forecasting system.
△ Less
Submitted 3 January, 2024;
originally announced January 2024.
-
MineObserver 2.0: A Deep Learning & In-Game Framework for Assessing Natural Language Descriptions of Minecraft Imagery
Authors:
Jay Mahajan,
Samuel Hum,
Jack Henhapl,
Diya Yunus,
Matthew Gadbury,
Emi Brown,
Jeff Ginger,
H. Chad Lane
Abstract:
MineObserver 2.0 is an AI framework that uses Computer Vision and Natural Language Processing for assessing the accuracy of learner-generated descriptions of Minecraft images that include some scientifically relevant content. The system automatically assesses the accuracy of participant observations, written in natural language, made during science learning activities that take place in Minecraft.…
▽ More
MineObserver 2.0 is an AI framework that uses Computer Vision and Natural Language Processing for assessing the accuracy of learner-generated descriptions of Minecraft images that include some scientifically relevant content. The system automatically assesses the accuracy of participant observations, written in natural language, made during science learning activities that take place in Minecraft. We demonstrate our system working in real-time and describe a teacher support dashboard to showcase observations, both of which advance our previous work. We present the results of a study showing that MineObserver 2.0 improves over its predecessor both in perceived accuracy of the system's generated descriptions as well as in usefulness of the system's feedback. In future work we intend improve system-generated descriptions, give teachers more control and upgrade the system to perform continuous learning to more effectively and rapidly respond to novel observations made by learners.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
Automatic Report Generation for Histopathology images using pre-trained Vision Transformers and BERT
Authors:
Saurav Sengupta,
Donald E. Brown
Abstract:
Deep learning for histopathology has been successfully used for disease classification, image segmentation and more. However, combining image and text modalities using current state-of-the-art (SOTA) methods has been a challenge due to the high resolution of histopathology images. Automatic report generation for histopathology images is one such challenge. In this work, we show that using an exist…
▽ More
Deep learning for histopathology has been successfully used for disease classification, image segmentation and more. However, combining image and text modalities using current state-of-the-art (SOTA) methods has been a challenge due to the high resolution of histopathology images. Automatic report generation for histopathology images is one such challenge. In this work, we show that using an existing pre-trained Vision Transformer (ViT) to encode 4096x4096 sized patches of the Whole Slide Image (WSI) and a pre-trained Bidirectional Encoder Representations from Transformers (BERT) model for language modeling-based decoder for report generation, we can build a performant and portable report generation mechanism that takes into account the whole high resolution image. Our method allows us to not only generate and evaluate captions that describe the image, but also helps us classify the image into tissue types and the gender of the patient as well. Our best performing model achieves a 89.52% accuracy in Tissue Type classification with a BLEU-4 score of 0.12 in our caption generation task.
△ Less
Submitted 15 March, 2024; v1 submitted 3 December, 2023;
originally announced December 2023.
-
JWST near-infrared spectroscopy of the Lucy Jupiter Trojan flyby targets: Evidence for OH absorption, aliphatic organics, and CO$_{2}$
Authors:
Ian Wong,
Michael E. Brown,
Joshua P. Emery,
Richard P. Binzel,
William M. Grundy,
Simone Marchi,
Audrey C. Martin,
Keith S. Noll,
Jessica M. Sunshine
Abstract:
We present observations obtained with the Near Infrared Spectrograph on JWST of the five Jupiter Trojans that will be visited by the Lucy spacecraft -- the Patroclus-Menoetius binary, Eurybates, Orus, Leucus, and Polymele. The measured 1.7-5.3 $μ$m reflectance spectra, which provide increased wavelength coverage, spatial resolution, and signal-to-noise ratio over previous ground-based spectroscopy…
▽ More
We present observations obtained with the Near Infrared Spectrograph on JWST of the five Jupiter Trojans that will be visited by the Lucy spacecraft -- the Patroclus-Menoetius binary, Eurybates, Orus, Leucus, and Polymele. The measured 1.7-5.3 $μ$m reflectance spectra, which provide increased wavelength coverage, spatial resolution, and signal-to-noise ratio over previous ground-based spectroscopy, reveal several distinct absorption features. We detect a broad OH band centered at 3 $μ$m that is most prominent on the less-red objects Eurybates, Patroclus-Menoetius, and Polymele. An additional absorption feature at 3.3-3.6 $μ$m, indicative of aliphatic organics, is systematically deeper on the red objects Orus and Leucus. The collisional fragment Eurybates is unique in displaying an absorption band at 4.25 $μ$m that we attribute to bound or trapped CO$_2$. Comparisons with other solar system small bodies reveal broad similarities in the 2.7-3.6 $μ$m bands with analogous features on Centaurs, Kuiper belt objects (KBOs), and the active asteroid 238P. In the context of recent solar system evolution models, which posit that the Trojans initially formed in the outer solar system, the significant attenuation of the 2.7-3.6 $μ$m absorption features on Trojans relative to KBOs may be the result of secondary thermal processing of the Trojans' surfaces at the higher temperatures of the Jupiter region. The CO$_2$ band manifested on the surface of Eurybates suggests that CO$_2$ may be a major constituent in the bulk composition of Trojans, but resides in the subsurface or deeper interior and is largely obscured by refractory material that formed from the thermophysical processes that were activated during their inward migration.
△ Less
Submitted 2 April, 2024; v1 submitted 19 November, 2023;
originally announced November 2023.
-
Automatic Report Generation for Histopathology images using pre-trained Vision Transformers
Authors:
Saurav Sengupta,
Donald E. Brown
Abstract:
Deep learning for histopathology has been successfully used for disease classification, image segmentation and more. However, combining image and text modalities using current state-of-the-art methods has been a challenge due to the high resolution of histopathology images. Automatic report generation for histopathology images is one such challenge. In this work, we show that using an existing pre…
▽ More
Deep learning for histopathology has been successfully used for disease classification, image segmentation and more. However, combining image and text modalities using current state-of-the-art methods has been a challenge due to the high resolution of histopathology images. Automatic report generation for histopathology images is one such challenge. In this work, we show that using an existing pre-trained Vision Transformer in a two-step process of first using it to encode 4096x4096 sized patches of the Whole Slide Image (WSI) and then using it as the encoder and an LSTM decoder for report generation, we can build a fairly performant and portable report generation mechanism that takes into account the whole of the high resolution image, instead of just the patches. We are also able to use representations from an existing powerful pre-trained hierarchical vision transformer and show its usefulness in not just zero shot classification but also for report generation.
△ Less
Submitted 13 November, 2023; v1 submitted 10 November, 2023;
originally announced November 2023.
-
Composition and thermal properties of Ganymede's surface from JWST/NIRSpec and MIRI observations
Authors:
D. Bockelee-Morvan,
E. Lellouch,
O. Poch,
E. Quirico,
S. Cazaux,
I. de Pater,
T. Fouchet,
P. M. Fry,
P. Rodriguez-Ovalle,
F. Tosi,
M. H. Wong,
I. Boshuizen,
K. de Kleer,
L. N. Fletcher,
L. Meunier,
A. Mura,
L. Roth,
J. Saur,
B. Schmitt,
S. K. Trumbo,
M. E. Brown,
J. O'Donoghue,
G. S. Orton,
M. R. Showalter
Abstract:
JWST NIRSpec IFU (2.9-5.3 mu) and MIRI MRS (4.9-28.5 mu) observations were performed on both the leading and trailing hemispheres of Ganymede with a spectral resolution of ~2700. Reflectance spectra show signatures of water ice, CO2 and H2O2. An absorption feature at 5.9 mu is revealed and is tentatively assigned to sulfuric acid hydrates. The CO2 4.26-mu band shows latitudinal and longitudinal va…
▽ More
JWST NIRSpec IFU (2.9-5.3 mu) and MIRI MRS (4.9-28.5 mu) observations were performed on both the leading and trailing hemispheres of Ganymede with a spectral resolution of ~2700. Reflectance spectra show signatures of water ice, CO2 and H2O2. An absorption feature at 5.9 mu is revealed and is tentatively assigned to sulfuric acid hydrates. The CO2 4.26-mu band shows latitudinal and longitudinal variations in depth, shape and position over the two hemispheres, unveiling different CO2 physical states. In the ice-rich polar regions, which are the most exposed to Jupiter's plasma irradiation, the CO2 band is redshifted with respect to other terrains. In the leading northern polar cap, the CO2 band is dominated by a high wavelength component at ~4.27 mu, consistent with CO2 trapped in amorphous water ice. At equatorial latitudes (and especially on dark terrains) the observed band is broader and shifted towards the blue, suggesting CO2 adsorbed on non-icy materials. Amorphous ice is detected in the ice-rich polar regions, and is especially abundant on the leading northern polar cap. In both hemispheres the north polar cap ice appears to be more processed than the south polar cap. A longitudinal modification of the H2O ice molecular structure and/or nano/micrometre-scale texture, of diurnal or geographic origin, is observed in both hemispheres. Ice frost is observed on the morning limb of the trailing hemisphere, possibly formed during the night from the recondensation of water subliming from the warmer subsurface. Reflectance spectra of the dark terrains are compatible with the presence of Na-/Mg-sulfate salts, sulfuric acid hydrates, and possibly phyllosilicates mixed with fine-grained opaque minerals, having an highly porous texture. Mid-IR brightness temperatures indicate a rough surface and a very low thermal inertia of 20-40 J m-2 s-0.5 K-1, consistent with a porous surface.
△ Less
Submitted 21 October, 2023;
originally announced October 2023.
-
The Crisscross and the Cup: Two Short 3-Twist Paper Moebius Bands
Authors:
Brienne Elisabeth Brown,
Richard Evan Schwartz
Abstract:
We introduce the crisscross and the cup, both of which are immersed $3$-twist polygonal paper Moebius band of aspect ratio $3$. We explain why these two objects are limits of smooth embedded paper Moebius bands having knotted boundary. We conjecture that any smooth embedded paper Moebius band with knotted boundary has aspect ratio greater than $3$. The crisscross is planar but the cup is not.
We introduce the crisscross and the cup, both of which are immersed $3$-twist polygonal paper Moebius band of aspect ratio $3$. We explain why these two objects are limits of smooth embedded paper Moebius bands having knotted boundary. We conjecture that any smooth embedded paper Moebius band with knotted boundary has aspect ratio greater than $3$. The crisscross is planar but the cup is not.
△ Less
Submitted 15 October, 2023;
originally announced October 2023.
-
The distribution of CO$_2$ on Europa indicates an internal source of carbon
Authors:
Samantha K. Trumbo,
Michael E. Brown
Abstract:
Jupiter's moon Europa has a subsurface ocean, the chemistry of which is largely unknown. Carbon dioxide (CO$_2$) has previously been detected on the surface of Europa, but it was not possible to determine whether it originated from subsurface ocean chemistry, was delivered by impacts, or was produced on the surface by radiation processing of impact-delivered material. We map the distribution of CO…
▽ More
Jupiter's moon Europa has a subsurface ocean, the chemistry of which is largely unknown. Carbon dioxide (CO$_2$) has previously been detected on the surface of Europa, but it was not possible to determine whether it originated from subsurface ocean chemistry, was delivered by impacts, or was produced on the surface by radiation processing of impact-delivered material. We map the distribution of CO$_2$ on Europa using observations obtained with the James Webb Space Telescope (JWST) and find a concentration of CO$_2$ within Tara Regio, a recently resurfaced terrain. This indicates the CO$_2$ is derived from an internal carbon source. We propose the CO$_2$ formed in the internal ocean, though we cannot rule out formation on the surface by radiolytic conversion of ocean-derived organics or carbonates.
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
Automated Interviewer or Augmented Survey? Collecting Social Data with Large Language Models
Authors:
Alejandro Cuevas Villalba,
Eva M. Brown,
Jennifer V. Scurrell,
Jason Entenmann,
Madeleine I. G. Daepp
Abstract:
Qualitative methods like interviews produce richer data in comparison with quantitative surveys, but are difficult to scale. Switching from web-based questionnaires to interactive chatbots offers a compromise, improving user engagement and response quality. Uptake remains limited, however, because of differences in users' expectations versus the capabilities of natural language processing methods.…
▽ More
Qualitative methods like interviews produce richer data in comparison with quantitative surveys, but are difficult to scale. Switching from web-based questionnaires to interactive chatbots offers a compromise, improving user engagement and response quality. Uptake remains limited, however, because of differences in users' expectations versus the capabilities of natural language processing methods. In this study, we evaluate the potential of large language models (LLMs) to support an information elicitation chatbot that narrows this "gulf of expectations" (Luger & Sellen 2016). We conduct a user study in which participants (N = 399) were randomly assigned to interact with a rule-based chatbot versus one of two LLM-augmented chatbots. We observe limited evidence of differences in user engagement or response richness between conditions. However, the addition of LLM-based dynamic probing skills produces significant improvements in both quantitative and qualitative measures of user experience, consistent with a narrowing of the expectations gulf.
△ Less
Submitted 10 October, 2023; v1 submitted 18 September, 2023;
originally announced September 2023.
-
Label-efficient Contrastive Learning-based model for nuclei detection and classification in 3D Cardiovascular Immunofluorescent Images
Authors:
Nazanin Moradinasab,
Rebecca A. Deaton,
Laura S. Shankman,
Gary K. Owens,
Donald E. Brown
Abstract:
Recently, deep learning-based methods achieved promising performance in nuclei detection and classification applications. However, training deep learning-based methods requires a large amount of pixel-wise annotated data, which is time-consuming and labor-intensive, especially in 3D images. An alternative approach is to adapt weak-annotation methods, such as labeling each nucleus with a point, but…
▽ More
Recently, deep learning-based methods achieved promising performance in nuclei detection and classification applications. However, training deep learning-based methods requires a large amount of pixel-wise annotated data, which is time-consuming and labor-intensive, especially in 3D images. An alternative approach is to adapt weak-annotation methods, such as labeling each nucleus with a point, but this method does not extend from 2D histopathology images (for which it was originally developed) to 3D immunofluorescent images. The reason is that 3D images contain multiple channels (z-axis) for nuclei and different markers separately, which makes training using point annotations difficult. To address this challenge, we propose the Label-efficient Contrastive learning-based (LECL) model to detect and classify various types of nuclei in 3D immunofluorescent images. Previous methods use Maximum Intensity Projection (MIP) to convert immunofluorescent images with multiple slices to 2D images, which can cause signals from different z-stacks to falsely appear associated with each other. To overcome this, we devised an Extended Maximum Intensity Projection (EMIP) approach that addresses issues using MIP. Furthermore, we performed a Supervised Contrastive Learning (SCL) approach for weakly supervised settings. We conducted experiments on cardiovascular datasets and found that our proposed framework is effective and efficient in detecting and classifying various types of nuclei in 3D immunofluorescent images.
△ Less
Submitted 14 January, 2024; v1 submitted 7 September, 2023;
originally announced September 2023.
-
The Spatial Distribution of the Unidentified 2.07 \textmu m Absorption Feature on Europa and Implications for its Origin
Authors:
M. Ryleigh Davis,
Michael E. Brown,
Samantha K. Trumbo
Abstract:
A weak absorption feature at 2.07 \textmu m on Europa's trailing hemisphere has been suggested to arise from radiolytic processing of an endogenic salt, possibly sourced from the interior ocean. However, if the genesis of this feature requires endogenic material to be present, one might expect to find a correlation between its spatial distribution and the recently disrupted chaos terrains. Using a…
▽ More
A weak absorption feature at 2.07 \textmu m on Europa's trailing hemisphere has been suggested to arise from radiolytic processing of an endogenic salt, possibly sourced from the interior ocean. However, if the genesis of this feature requires endogenic material to be present, one might expect to find a correlation between its spatial distribution and the recently disrupted chaos terrains. Using archived near-infrared observations from Very Large Telescope/SINFONI with a $\sim$1 nm spectral resolution and a linear spatial resolution $\sim$130 km, we examine the spatial distribution of this feature in an effort to explore this endogenic formation hypothesis. We find that while the presence of the 2.07 \textmu m feature is strongly associated with the irradiation pattern on Europa's trailing hemisphere, there is no apparent association between the presence or depth of the absorption feature and Europa's large-scale chaos terrain. This spatial distribution suggests that the formation pathway of the 2.07 \textmu m feature on Europa is independent of any endogenous salts within the recent geology. Instead, we propose that the source of this feature may simply be a product of the radiolytic sulfur cycle or arise from some unidentified parallel irradiation process. Notably, the 2.07 \textmu m absorption band is absent from the Pwyll crater ejecta blanket, suggesting that radiolytic processing has not had enough time to form the species responsible and placing a lower limit on the irradiation timescale. We are unable to find a plausible spectral match to the 2.07 \textmu m feature within the available laboratory data.
△ Less
Submitted 26 August, 2023;
originally announced August 2023.
-
Masses and densities of dwarf planet satellites measured with ALMA
Authors:
Michael E. Brown,
Bryan J. Butler
Abstract:
We have used the Atacama Large Millimeter Array (ALMA) to measure precise absolute astrometric positions and detect the astrometric wobble of dwarf planet Orcus and its satellite Vanth over a complete orbit. We also place upper limits to the astrometric wobble induced by Dysnomia on dwarf planet Eris around its orbit. From the Vanth-Orcus barycentric motion, we find a Vanth-Orcus mass ratio of 0.1…
▽ More
We have used the Atacama Large Millimeter Array (ALMA) to measure precise absolute astrometric positions and detect the astrometric wobble of dwarf planet Orcus and its satellite Vanth over a complete orbit. We also place upper limits to the astrometric wobble induced by Dysnomia on dwarf planet Eris around its orbit. From the Vanth-Orcus barycentric motion, we find a Vanth-Orcus mass ratio of 0.16$\pm$0.02 -- the highest of any known planet or dwarf planet. This large ratio is consistent with the hypothesis that Vanth is a largely-intact impactor from a giant collision in the system, and that the system has likely evolved to a double synchronous state. We find only an upper limit of the barycenter motion of Eris, which implies a one sigma upper limit to the Dysnomia-Eris mass ratio of 0.0085, close to the modeled transition region between giant impact generated satellites which are largely intact remnants of the original impactor and those which form out of reaccreted disk material left over post-impact. The low albedo of Dysnomia leads us to marginally favor the intact impactor scenario. We find that Dysnomia has density of <1.2 g cm$^{-3}$, significantly lower than the 2.4 g cm$^{-3}$ of Eris.
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
-
The state of CO and CO2 ices in the Kuiper belt as seen by JWST
Authors:
Michael E. Brown,
Wesley C. Fraser
Abstract:
JWST has shown that CO2 and CO are common on the surfaces of objects in the Kuiper belt and have apparent surface coverages even higher than that of water ice, though water ice is expected to be significantly more abundant in the bulk composition. Using full Mie scattering theory, we show that the high abundance and the unusual spectral behaviour around the 4.26 micron v1 band of CO2 can be explai…
▽ More
JWST has shown that CO2 and CO are common on the surfaces of objects in the Kuiper belt and have apparent surface coverages even higher than that of water ice, though water ice is expected to be significantly more abundant in the bulk composition. Using full Mie scattering theory, we show that the high abundance and the unusual spectral behaviour around the 4.26 micron v1 band of CO2 can be explained by a surface covered in a few micron thick layer of ~ 1-2 micron CO2 particles. CO is unstable at the temperatures in the Kuiper belt, so the CO must be trapped in some more stable species. While hydrate clathrates or amorphous water ice are often invoked as a trapping mechanism for outer solar system ices, the expected spectral shift of the absorption line for a CO hydrate clathrates or trapping in amorphous ice is not seen, nor does the H2O abundance appear to be high enough to explain the depth of the CO absorption line. Instead, we suggest that the CO is created via irradiation of CO2 and trapped in the CO2 grains during this process. The presence of a thin surface layer of CO2 with embedded CO suggests volatile differentiation driving CO2 from the interior as a major process driving the surface appearance of these mid-sized Kuiper belt objects, but the mechanisms that control the small grain size and depth of the surface layer remain unclear.
△ Less
Submitted 29 June, 2023;
originally announced June 2023.
-
Impact of Pycnonuclear Fusion Uncertainties on the Cooling of Accreting Neutron Star Crusts
Authors:
R. Jain,
E. F. Brown,
H. Schatz,
A. V. Afanasjev,
M. Beard,
L. R. Gasques,
S. S. Gupta,
G. W. Hitt,
W. R. Hix,
R. Lau,
P. Moller,
W. J. Ong,
M. Wiescher,
Y. Xu
Abstract:
The observation of X-rays during quiescence from transiently accreting neutron stars provides unique clues about the nature of dense matter. This, however, requires extensive modeling of the crusts and matching the results to observations. The pycnonuclear fusion reaction rates implemented in these models are theoretically calculated by extending phenomenological expressions and have large uncerta…
▽ More
The observation of X-rays during quiescence from transiently accreting neutron stars provides unique clues about the nature of dense matter. This, however, requires extensive modeling of the crusts and matching the results to observations. The pycnonuclear fusion reaction rates implemented in these models are theoretically calculated by extending phenomenological expressions and have large uncertainties spanning many orders of magnitude. We present the first sensitivity studies of these pycnonuclear fusion reactions in realistic network calculations. We also couple the reaction network with the thermal evolution code dStar to further study their impact on the neutron star cooling curves in quiescence. Varying the pycnonuclear fusion reaction rates alters the depth at which nuclear heat is deposited although the total heating remains constant. The enhancement of the pycnonuclear fusion reaction rates leads to an overall shallower deposition of nuclear heat. The impurity factors are also altered depending on the type of ashes deposited on the crust. These total changes correspond to a variation of up to 9 eV in the modeled cooling curves. While this is not sufficient to explain the shallow heat source, it is comparable to the observational uncertainties and can still be important for modeling the neutron star crust.
△ Less
Submitted 1 October, 2023; v1 submitted 20 June, 2023;
originally announced June 2023.
-
Network Analysis as a Tool for Shaping Conservation and Development Policy: A Case Study of Timber Market Optimization in India
Authors:
Xiou Ge,
Sarah E. Brown,
Pushpendra Rana,
Lav R. Varshney,
Daniel C. Miller
Abstract:
The incorporation of trees on farms can help to improve livelihoods and build resilience among small-holder farmers in developing countries. On-farm trees can help gen- erate additional income from commercial tree harvest as well as contribute significant environmental benefits and ecosystem services to increase resiliency. Long-term benefits from tree-based livelihoods, however, depend on sustain…
▽ More
The incorporation of trees on farms can help to improve livelihoods and build resilience among small-holder farmers in developing countries. On-farm trees can help gen- erate additional income from commercial tree harvest as well as contribute significant environmental benefits and ecosystem services to increase resiliency. Long-term benefits from tree-based livelihoods, however, depend on sustainable timber harvesting. In this paper, we discuss the potential for network analysis as a tool to inform conservation and development decision-making. Specifically, we formulate the commercial tree market between farmers and traders as a transportation problem and optimize the transactions. We create a model of the commercial tree market in the Bilaspur district of Himachal Pradesh, India based on a detailed dataset of market interactions between farmers and timber traders, using the existing road network of this region. Using this model, we perform a maximum-flow-minimum-cost optimization for tree commodity flow. We compare the results of our optimized model with actual flow within the network, and we find a high potential to increase efficiency of market transactions within this region, noting a significant reduction to the minimum- cost flow value for our optimized model compared to the flow cost for actual transactions. We propose that using this network flow optimization model to strategically distribute permits can reduce costs associated with market transactions. Our results suggest that this direct policy action would be beneficial to the region. Finally, we suggest that cost savings could be used to establish tree planting programs to support a long-term sustainable tree market. Shaping policies to address these market inefficiencies in developing regions could help support and elevate tree-based livelihoods for farmers, traders, and industries.
△ Less
Submitted 26 April, 2023;
originally announced April 2023.
-
An integrated online radioassay data storage and analytics tool for nEXO
Authors:
R. H. M. Tsang,
A. Piepke,
S. Al Kharusi,
E. Angelico,
I. J. Arnquist,
A. Atencio,
I. Badhrees,
J. Bane,
V. Belov,
E. P. Bernard,
A. Bhat,
T. Bhatta,
A. Bolotnikov,
P. A. Breur,
J. P. Brodsky,
E. Brown,
T. Brunner,
E. Caden,
G. F. Cao,
L. Q. Cao,
D. Cesmecioglu,
C. Chambers,
E. Chambers,
B. Chana,
S. A. Charlebois
, et al. (135 additional authors not shown)
Abstract:
Large-scale low-background detectors are increasingly used in rare-event searches as experimental collaborations push for enhanced sensitivity. However, building such detectors, in practice, creates an abundance of radioassay data especially during the conceptual phase of an experiment when hundreds of materials are screened for radiopurity. A tool is needed to manage and make use of the radioassa…
▽ More
Large-scale low-background detectors are increasingly used in rare-event searches as experimental collaborations push for enhanced sensitivity. However, building such detectors, in practice, creates an abundance of radioassay data especially during the conceptual phase of an experiment when hundreds of materials are screened for radiopurity. A tool is needed to manage and make use of the radioassay screening data to quantitatively assess detector design options. We have developed a Materials Database Application for the nEXO experiment to serve this purpose. This paper describes this database, explains how it functions, and discusses how it streamlines the design of the experiment.
△ Less
Submitted 20 June, 2023; v1 submitted 12 April, 2023;
originally announced April 2023.
-
A Mathematical Benchmark for Inductive Theorem Provers
Authors:
Thibault Gauthier,
Chad E. Brown,
Mikolas Janota,
Josef Urban
Abstract:
We present a benchmark of 29687 problems derived from the On-Line Encyclopedia of Integer Sequences (OEIS). Each problem expresses the equivalence of two syntactically different programs generating the same OEIS sequence. Such programs were conjectured by a learning-guided synthesis system using a language with looping operators. The operators implement recursion, and thus many of the proofs requi…
▽ More
We present a benchmark of 29687 problems derived from the On-Line Encyclopedia of Integer Sequences (OEIS). Each problem expresses the equivalence of two syntactically different programs generating the same OEIS sequence. Such programs were conjectured by a learning-guided synthesis system using a language with looping operators. The operators implement recursion, and thus many of the proofs require induction on natural numbers. The benchmark contains problems of varying difficulty from a wide area of mathematical domains. We believe that these characteristics will make it an effective judge for the progress of inductive theorem provers in this domain for years to come.
△ Less
Submitted 6 April, 2023;
originally announced April 2023.
-
Multi-wavelength aperture polarimetry of debris disc host stars
Authors:
Jonathan P. Marshall,
Daniel V. Cotton,
Kimberly Bott,
Jeremy Bailey,
Lucyna Kedziora-Chudczer,
Emma L. Brown
Abstract:
Debris discs around main sequence stars have been extensively characterised from infrared to millimetre wavelengths through imaging, spectroscopic, and total intensity (scattered light and/or thermal emission) measurements. Polarimetric observations have only been used sparingly to interpret the composition, structure, and size of dust grains in these discs. Here we present new multi-wavelength ap…
▽ More
Debris discs around main sequence stars have been extensively characterised from infrared to millimetre wavelengths through imaging, spectroscopic, and total intensity (scattered light and/or thermal emission) measurements. Polarimetric observations have only been used sparingly to interpret the composition, structure, and size of dust grains in these discs. Here we present new multi-wavelength aperture polarisation observations with parts-per-million sensitivity of a sample of twelve bright debris discs, spanning a broad range of host star spectral types, and disc properties. These measurements were mostly taken with the HIgh Precision Polarimetric Instrument on the Anglo-Australian Telescope. We combine these polarisation observations with the known disc architectures and geometries of the discs to interpret the measurements. We detect significant polarisation attributable to circumstellar dust from HD 377 and HD 39060, and find tentative evidence for HD 188228 and HD 202628.
△ Less
Submitted 30 March, 2023;
originally announced March 2023.
-
Your Diffusion Model is Secretly a Zero-Shot Classifier
Authors:
Alexander C. Li,
Mihir Prabhudesai,
Shivam Duggal,
Ellis Brown,
Deepak Pathak
Abstract:
The recent wave of large-scale text-to-image diffusion models has dramatically increased our text-based image generation abilities. These models can generate realistic images for a staggering variety of prompts and exhibit impressive compositional generalization abilities. Almost all use cases thus far have solely focused on sampling; however, diffusion models can also provide conditional density…
▽ More
The recent wave of large-scale text-to-image diffusion models has dramatically increased our text-based image generation abilities. These models can generate realistic images for a staggering variety of prompts and exhibit impressive compositional generalization abilities. Almost all use cases thus far have solely focused on sampling; however, diffusion models can also provide conditional density estimates, which are useful for tasks beyond image generation. In this paper, we show that the density estimates from large-scale text-to-image diffusion models like Stable Diffusion can be leveraged to perform zero-shot classification without any additional training. Our generative approach to classification, which we call Diffusion Classifier, attains strong results on a variety of benchmarks and outperforms alternative methods of extracting knowledge from diffusion models. Although a gap remains between generative and discriminative approaches on zero-shot recognition tasks, our diffusion-based approach has significantly stronger multimodal compositional reasoning ability than competing discriminative approaches. Finally, we use Diffusion Classifier to extract standard classifiers from class-conditional diffusion models trained on ImageNet. Our models achieve strong classification performance using only weak augmentations and exhibit qualitatively better "effective robustness" to distribution shift. Overall, our results are a step toward using generative over discriminative models for downstream tasks. Results and visualizations at https://diffusion-classifier.github.io/
△ Less
Submitted 12 September, 2023; v1 submitted 28 March, 2023;
originally announced March 2023.
-
Science opportunities with solar sailing smallsats
Authors:
Slava G. Turyshev,
Darren Garber,
Louis D. Friedman,
Andreas M. Hein,
Nathan Barnes,
Konstantin Batygin,
G. David Brin,
Michael E. Brown,
Leroy Cronin,
Artur Davoyan,
Amber Dubill,
T. Marshall Eubanks,
Sarah Gibson,
Donald M. Hassler,
Noam R. Izenberg,
Pierre Kervella,
Philip D. Mauskopf,
Neil Murphy,
Andrew Nutter,
Carolyn Porco,
Dario Riccobono,
James Schalkwyk,
Kevin B. Stevenson,
Mark V. Sykes,
Mahmooda Sultana
, et al. (3 additional authors not shown)
Abstract:
Recently, we witnessed how the synergy of small satellite technology and solar sailing propulsion enables new missions. Together, small satellites with lightweight instruments and solar sails offer affordable access to deep regions of the solar system, also making it possible to realize hard-to-reach trajectories that are not constrained to the ecliptic plane. Combining these two technologies can…
▽ More
Recently, we witnessed how the synergy of small satellite technology and solar sailing propulsion enables new missions. Together, small satellites with lightweight instruments and solar sails offer affordable access to deep regions of the solar system, also making it possible to realize hard-to-reach trajectories that are not constrained to the ecliptic plane. Combining these two technologies can drastically reduce travel times within the solar system, while delivering robust science. With solar sailing propulsion capable of reaching the velocities of ~5-10 AU/yr, missions using a rideshare launch may reach the Jovian system in two years, Saturn in three. The same technologies could allow reaching solar polar orbits in less than two years. Fast, cost-effective, and maneuverable sailcraft that may travel outside the ecliptic plane open new opportunities for affordable solar system exploration, with great promise for heliophysics, planetary science, and astrophysics. Such missions could be modularized to reach different destinations with different sets of instruments. Benefiting from this progress, we present the "Sundiver" concept, offering novel possibilities for the science community. We discuss some of the key technologies, the current design of the Sundiver sailcraft vehicle and innovative instruments, along with unique science opportunities that these technologies enable, especially as this exploration paradigm evolves. We formulate policy recommendations to allow national space agencies, industry, and other stakeholders to establish a strong scientific, programmatic, and commercial focus, enrich and deepen the space enterprise and broaden its advocacy base by including the Sundiver paradigm as a part of broader space exploration efforts.
△ Less
Submitted 19 July, 2023; v1 submitted 27 March, 2023;
originally announced March 2023.
-
Soft-Search: Two Datasets to Study the Identification and Production of Research Software
Authors:
Eva Maxfield Brown,
Lindsey Schwartz,
Richard Lewei Huang,
Nicholas Weber
Abstract:
Software is an important tool for scholarly work, but software produced for research is in many cases not easily identifiable or discoverable. A potential first step in linking research and software is software identification. In this paper we present two datasets to study the identification and production of research software. The first dataset contains almost 1000 human labeled annotations of so…
▽ More
Software is an important tool for scholarly work, but software produced for research is in many cases not easily identifiable or discoverable. A potential first step in linking research and software is software identification. In this paper we present two datasets to study the identification and production of research software. The first dataset contains almost 1000 human labeled annotations of software production from National Science Foundation (NSF) awarded research projects. We use this dataset to train models that predict software production. Our second dataset is created by applying the trained predictive models across the abstracts and project outcomes reports for all NSF funded projects between the years of 2010 and 2023. The result is an inferred dataset of software production for over 150,000 NSF awards. We release the Soft-Search dataset to aid in identifying and understanding research software production: https://github.com/si2-urssi/eager
△ Less
Submitted 27 February, 2023;
originally announced February 2023.
-
Internet Explorer: Targeted Representation Learning on the Open Web
Authors:
Alexander C. Li,
Ellis Brown,
Alexei A. Efros,
Deepak Pathak
Abstract:
Modern vision models typically rely on fine-tuning general-purpose models pre-trained on large, static datasets. These general-purpose models only capture the knowledge within their pre-training datasets, which are tiny, out-of-date snapshots of the Internet -- where billions of images are uploaded each day. We suggest an alternate approach: rather than hoping our static datasets transfer to our d…
▽ More
Modern vision models typically rely on fine-tuning general-purpose models pre-trained on large, static datasets. These general-purpose models only capture the knowledge within their pre-training datasets, which are tiny, out-of-date snapshots of the Internet -- where billions of images are uploaded each day. We suggest an alternate approach: rather than hoping our static datasets transfer to our desired tasks after large-scale pre-training, we propose dynamically utilizing the Internet to quickly train a small-scale model that does extremely well on the task at hand. Our approach, called Internet Explorer, explores the web in a self-supervised manner to progressively find relevant examples that improve performance on a desired target dataset. It cycles between searching for images on the Internet with text queries, self-supervised training on downloaded images, determining which images were useful, and prioritizing what to search for next. We evaluate Internet Explorer across several datasets and show that it outperforms or matches CLIP oracle performance by using just a single GPU desktop to actively query the Internet for 30--40 hours. Results, visualizations, and videos at https://internet-explorer-ssl.github.io/
△ Less
Submitted 6 September, 2023; v1 submitted 27 February, 2023;
originally announced February 2023.
-
Interactions between two adjacent convection rolls in turbulent Rayleigh-Benard convection
Authors:
Eric Brown,
Dandan Ji
Abstract:
Rayleigh-B{é}nard convection experiments were done with two adjacent cubic cells with a partial wall in between to force the generation of two interacting convection rolls. Observed stable states include both counter-rotating and co-rotating states. The stability of each of these states and their dynamics were modeled by stochastic ordinary differential equations of motion in terms of the orientat…
▽ More
Rayleigh-B{é}nard convection experiments were done with two adjacent cubic cells with a partial wall in between to force the generation of two interacting convection rolls. Observed stable states include both counter-rotating and co-rotating states. The stability of each of these states and their dynamics were modeled by stochastic ordinary differential equations of motion in terms of the orientation, amplitude, and mean temperature of each convection roll. The form of the interaction terms is predicted based on an effective turbulent diffusion of temperature between the adjacent rolls. Predictions are made for stable fixed points of the co- and counter-rotating states. This suggests that the same turbulent thermal diffusivity that describes macroscopically averaged heat transport also controls the interactions between neighboring convection rolls. The surprising stability of co-rotating states is due to the temperature difference between the neighboring rolls becoming large enough that the heat flux between the rolls stabilizes the temperature profile of aligned co-rotating states. This temperature difference can be driven by heating the plates of the two cells to different mean temperatures. This shifts the orientations of the rolls of counter-rotating states in opposite directions, and for large temperature differences only co-rotating states are stable Spontaneous switching between co-rotating and counter-rotating states is also observed. Switching to counter-rotating states occurs mainly due to cessation (a significant weakening of a convection roll), which reduces damping on changes in orientation, allowing the orientation to change rapidly due to diffusive fluctuations. Switching to co-rotating states is mainly driven by smaller diffusive fluctuations, which have a positive feedback that destabilizes the counter-rotating state.
△ Less
Submitted 12 June, 2023; v1 submitted 25 February, 2023;
originally announced February 2023.
-
The Optical Aurorae of Europa, Ganymede and Callisto
Authors:
Katherine de Kleer,
Zachariah Milby,
Carl Schmidt,
Maria Camarca,
Michael E. Brown
Abstract:
The tenuous atmospheres of the Galilean satellites are sourced from their surfaces and produced by a combination of plasma-surface interactions and thermal processes. Though thin, these atmospheres can be studied via their auroral emissions, and most work to date has focused on their aurora at UV wavelengths. Here we present the first detections of Ganymede's and Callisto's optical aurorae, as wel…
▽ More
The tenuous atmospheres of the Galilean satellites are sourced from their surfaces and produced by a combination of plasma-surface interactions and thermal processes. Though thin, these atmospheres can be studied via their auroral emissions, and most work to date has focused on their aurora at UV wavelengths. Here we present the first detections of Ganymede's and Callisto's optical aurorae, as well detections of new optical auroral lines at Europa, based on observations of the targets over ten Jupiter eclipses from 1998 to 2021 with Keck/HIRES. We present measurements of OI emission at 6300/6364, 5577, 7774, and 8446 A and place upper limits on hydrogen at 6563 A. These constitute the first detections of emissions at 7774 and 8446 A at a planetary body other than Earth. The simultaneous measurement of multiple emission lines provides robust constraints on atmospheric composition. We find that the eclipse atmospheres of Europa and Ganymede are composed predominantly of O2 with average column densities of (4.1 \pm 0.1) x 10^{14} cm^{-2} and (4.7 \pm 0.1) x 10^{14} cm^{-2}, respectively. We find weak evidence for H2O in Europa's bulk atmosphere at an H2O/O2 ratio of $\sim$0.25, and place only an upper limit on H2O in Ganymede's bulk atmosphere, corresponding to H2O/O2 < 0.6. The column density of O2 derived for Callisto is (4.0 \pm 0.9 x 10^{15} cm^{-2} for an assumed electron density of 0.15 cm^{-3}, but electron properties at Callisto's orbit are very poorly constrained.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
Poisson Cluster Process Models for Detecting Ultra-Diffuse Galaxies
Authors:
Dayi Li,
Alex Stringer,
Patrick E. Brown,
Gwendolyn M. Eadie,
Roberto G. Abraham
Abstract:
We propose a novel set of Poisson Cluster Process (PCP) models to detect Ultra-Diffuse Galaxies (UDGs), a class of extremely faint, enigmatic galaxies of substantial interest in modern astrophysics. We model the unobserved UDG locations as parent points in a PCP, and infer their positions based on the observed spatial point patterns of their old star cluster systems. Many UDGs have somewhere from…
▽ More
We propose a novel set of Poisson Cluster Process (PCP) models to detect Ultra-Diffuse Galaxies (UDGs), a class of extremely faint, enigmatic galaxies of substantial interest in modern astrophysics. We model the unobserved UDG locations as parent points in a PCP, and infer their positions based on the observed spatial point patterns of their old star cluster systems. Many UDGs have somewhere from a few to hundreds of these old star clusters, which we treat as offspring points in our models. We also present a new framework to construct a marked PCP model using the marks of star clusters. The marked PCP model may enhance the detection of UDGs and offers broad applicability to problems in other disciplines. To assess the overall model performance, we design an innovative assessment tool for spatial prediction problems where only point-referenced ground truth is available, overcoming the limitation of standard ROC analyses where spatial Boolean reference maps are required. We construct a bespoke blocked Gibbs adaptive spatial birth-death-move MCMC algorithm to infer the locations of UDGs using real data from a \textit{Hubble Space Telescope} imaging survey. Based on our performance assessment tool, our novel models significantly outperform existing approaches using the Log-Gaussian Cox Process. We also obtained preliminary evidence that the marked PCP model improves UDG detection performance compared to the model without marks. Furthermore, we find evidence of a potential new ``dark galaxy'' that was not detected by previous methods.
△ Less
Submitted 30 March, 2024; v1 submitted 13 February, 2023;
originally announced February 2023.