Search

Over a 6-year period, a sociolinguistic and sociocultural project was undertaken by Alaska Native expert educators and linguists (aka the Yup'ik Expert Group) from the Yup'ik community in the Lower Kuskokwim School District, Central Alaska. The native experts developed their own culturally sustainable, valid, and reliable Kindergarten through Grade 6 Alaska Native language (Yugtun) assessment. Yup'ik experts named their assessment the Yugtun Piciryaranek Qaneryaranek-llu Cuqyun (aka Yup'ik Culture and Language Measurement). This paper focuses on a foundational component of the assessment, the Yup'ik Cultural Awareness subtest, which has two components, Nonverbal Communication and Yup'ik Worldview.

Unprecedented atomic-scale measurement resolution has recently been demonstrated in single-shot optical localization metrology based on deep-learning analyses of diffraction patterns of topologically structured light scattered from objects. Here we show that variations in the diffraction patterns caused by positional changes of an object depend upon the spatial derivatives of the magnitude and phase of the incident field, with the latter strongly enhanced at phase singularities. Despite lower intensity near the singularity, an orders-of-magnitude increase in Fisher information contained in the diffraction patterns can be achieved when a nano-object is illuminated by light containing phase singularities, rather than a plane wave. Our work provides a fundamental explanation and motivation for singularity-based metrology with deeply subwavelength precision., Comment: 7 pages, 4 figures

Disks around intermediate mass stars called Herbig disks are the formation sites of giant exoplanets. Obtaining a complete inventory of these disks will therefore give insights into giant planet formation. However, until now no complete disk survey has been done on Herbig disks in a single star-forming region. Orion is the only nearby region with a significant number of Herbig disks (N=35) to carry out such a survey. Using new NOEMA observations of 25 Herbig disks, in combination with ALMA archival data of 10 Herbig disks, results in a complete sample of all know Herbig disks in Orion. Using uv-plane analysis for the NOEMA observed disks, and literature values of the ALMA observed disks, we obtain the dust masses of all Herbig disks and obtain a cumulative dust mass distribution. Additionally, six disks with new CO isotopologues detections are presented, one of which is detected in C17O. We calculate the external ultraviolet (UV) irradiance on each disk and compare the dust mass to it. We find a median disk dust mass of 11.7 M_\oplus for the Herbig disks. Comparing the Herbig disks in Orion to previous surveys for mainly T Tauri disks in Orion, we find that while ~50% of the Herbig disks have a mass higher than 10 M_\oplus, this is at most 25% for the T~Tauri disks. This difference is especially striking when considering that the Herbig disks are around a factor of two older than the T Tauri disks. Comparing to the Herbig disks observed with ALMA from a previous study, no significant difference is found between the distributions. We find a steeper (slope of -7.6) relationship between the dust mass and external UV irradation compared to that of the T~Tauri disks (slope of -1.3). This work shows the importance of complete samples, giving rise to the need of a complete survey of the Herbig disk population., Comment: Accepted for publication in Astronomy and Astrophysics. 8 pages, 6 figures, plus appendices

The recent discovery of an axial amplitude (Higgs) mode in the long-studied charge density wave (CDW) systems GdTe$_3$ and LaTe$_3$ suggests a heretofore unidentified hidden order. A theoretical study proposed that the axial Higgs results from a hidden ferroaxial component of the CDW, which could arise from non-trivial orbital texture. Here, we report extensive experimental studies on ErTe$_3$ and HoTe$_3$ that possess a high-temperature CDW similar to other RTe$_3$ (R = rare earth), along with an additional low-temperature CDW with an orthogonal ordering vector. Combining Raman spectroscopy with large-angle convergent beam electron diffraction (LACBED), rotational anisotropy second-harmonic generation (RA-SHG), and muon-spin relaxation ($\mu$SR), we provide unambiguous evidence that the high-temperature CDW breaks translation, rotation, and all vertical and diagonal mirror symmetries, but not time-reversal or inversion. In contrast, the low-temperature CDW only additionally breaks translation symmetry. Simultaneously, Raman scattering shows the high-temperature CDW produces an axial Higgs mode while the low-temperature mode is scalar. The weak monoclinic structural distortion and clear axial response in Raman and SHG are consistent with a ferroaxial phase in \ch{RTe3} driven by coupled orbital and charge orders. Thus, our study provides a new standard for uncovering unconventional orders and confirms the power of Higgs modes to reveal them., Comment: 28 pages, 5 figures

Many of today's message-passing systems not only require messages to be exchanged in a certain order but also to happen at a certain \emph{time} or within a certain \emph{time window}. Such correctness conditions are particularly prominent in Internet of Things (IoT) and real-time systems applications, which interface with hardware devices that come with inherent timing constraints. Verifying compliance of such systems with the intended \emph{timed protocol} is challenged by their \emph{heterogeneity} -- ruling out any verification method that relies on the system to be implemented in one common language, let alone in a high-level and typed programming language. To address this challenge, this paper contributes a \emph{logical relation} to verify that its inhabitants (the applications and hardware devices to be proved correct) comply with the given timed protocol. To cater to the systems' heterogeneity, the logical relation is entirely \emph{semantic}, lifting the requirement that its inhabitants are syntactically well-typed. A semantic approach enables two modes of use of the logical relation for program verification: (i) \emph{once-and-for-all} verification of an \emph{arbitrary} well-typed application, given a type system, and (ii) \emph{per-instance} verification of a specific application / hardware device (a.k.a. foreign code). To facilitate mode (i), the paper develops a refinement type system for expressing timed message-passing protocols and proves that any well-typed program inhabits the logical relation (fundamental theorem). A type checker for the refinement type system has been implemented in Rust, using an SMT solver to check satisfiability of timing constraints. Then, the paper demonstrates both modes of use based on a small case study of a smart home system for monitoring air quality, consisting of a controller application and various environment sensors.

We introduce the GEM (Generative Estimator for Mutual Information), an evaluation metric for assessing language generation by Large Language Models (LLMs), particularly in generating informative judgments, without the need for a gold standard reference. GEM broadens the scenarios where we can benchmark LLM generation performance-from traditional ones, like machine translation and summarization, where gold standard references are readily available, to subjective tasks without clear gold standards, such as academic peer review. GEM uses a generative model to estimate mutual information between candidate and reference responses, without requiring the reference to be a gold standard. In experiments on a human-annotated dataset, GEM demonstrates competitive correlations with human scores compared to the state-of-the-art GPT-4o Examiner, and outperforms all other baselines. Additionally, GEM is more robust against strategic manipulations, such as rephrasing or elongation, which can artificially inflate scores under a GPT-4o Examiner. We also present GRE-bench (Generating Review Evaluation Benchmark) which evaluates LLMs based on how well they can generate high-quality peer reviews for academic research papers. Because GRE-bench is based upon GEM, it inherits its robustness properties. Additionally, GRE-bench circumvents data contamination problems (or data leakage) by using the continuous influx of new open-access research papers and peer reviews each year. We show GRE-bench results of various popular LLMs on their peer review capabilities using the ICLR2023 dataset.

As urbanization and climate change progress, urban heat becomes a priority for climate adaptation efforts. High temperatures concentrated in urban heat can drive increased risk of heat-related death and illness as well as increased energy demand for cooling. However, estimating the effects of urban heat is an ongoing field of research typically burdened by an imprecise description of the built environment, significant computational cost, and a lack of high-resolution estimates of the impacts of climate change. Here, we present open-source, computationally efficient machine learning methods that can improve the accuracy of urban temperature estimates when compared to historical reanalysis data. These models are applied to residential buildings in Los Angeles, and we compare the energy benefits of heat mitigation strategies to the impacts of climate change. We find that cooling demand is likely to increase substantially through midcentury, but engineered high-albedo surfaces could lessen this increase by more than 50%. The corresponding increase in heating demand complicates this narrative, but total annual energy use from combined heating and cooling with electric heat pumps in the Los Angeles urban climate is shown to benefit from the engineered cooling strategies under both current and future climates.

Experimental determination of the structure of the superconducting order parameter in the kagome lattice compound CsV$_3$Sb$_5$ is an essential step towards understanding the nature of the superconducting pairing in this material. Here we report measurements of the temperature dependence of the in-plane magnetic penetration depth, $\lambda(T)$, in crystals of CsV$_3$Sb$_5$ down to $\sim 60\,\mathrm{mK}$. We find that $\lambda(T)$ is consistent with a fully-gapped state but with significant gap anisotropy. The magnitude of the gap minima are in the range $\sim 0.2 - 0.3 T_\mathrm{c}$ for the measured samples, markedly smaller than previous estimates. We discuss different forms of potential anisotropy and how these can be linked to the V and Sb Fermi surface sheets. We highlight a significant discrepancy between the calculated and measured values of $\lambda(T=0)$ which we suggest is caused by spatially suppressed superconductivity.

Rapid ice recession in the Arctic Ocean, with predictions of ice-free summers by 2060, opens new maritime routes but requires reliable navigation solutions. Current approaches rely heavily on subjective expert judgment, underscoring the need for automated, data-driven solutions. This study leverages machine learning to assess ice conditions using ship-borne optical data, introducing a finely annotated dataset of 946 images, and a semi-manual, region-based annotation technique. The proposed video segmentation model, UPerFlow, advances the SegFlow architecture by incorporating a six-channel ResNet encoder, two UPerNet-based segmentation decoders for each image, PWCNet as the optical flow encoder, and cross-connections that integrate bi-directional flow features without loss of latent information. The proposed architecture outperforms baseline image segmentation networks by an average 38\% in occluded regions, demonstrating the robustness of video segmentation in addressing challenging Arctic conditions.

Hypoxic-Ischemic Encephalopathy (HIE) affects 1 to 5 out of every 1,000 newborns, with 30% to 50% of cases resulting in adverse neurocognitive outcomes. However, these outcomes can only be reliably assessed as early as age 2. Therefore, early and accurate prediction of HIE-related neurocognitive outcomes using deep learning models is critical for improving clinical decision-making, guiding treatment decisions and assessing novel therapies. However, a major challenge in developing deep learning models for this purpose is the scarcity of large, annotated HIE datasets. We have assembled the first and largest public dataset, however it contains only 156 cases with 2-year neurocognitive outcome labels. In contrast, we have collected 8,859 normal brain black Magnetic Resonance Imagings (MRIs) with 0-97 years of age that are available for brain age estimation using deep learning models. In this paper, we introduce AGE2HIE to transfer knowledge learned by deep learning models from healthy controls brain MRIs to a diseased cohort, from structural to diffusion MRIs, from regression of continuous age estimation to prediction of the binary neurocognitive outcomes, and from lifespan age (0-97 years) to infant (0-2 weeks). Compared to training from scratch, transfer learning from brain age estimation significantly improves not only the prediction accuracy (3% or 2% improvement in same or multi-site), but also the model generalization across different sites (5% improvement in cross-site validation)., Comment: Submitted to ISBI 2025

The large eccentricities of cold Jupiters and the existence of hot Jupiters have long challenged theories of planet formation. A proposed solution to both of these puzzles is high-eccentricity migration, in which an initially cold Jupiter is excited to high eccentricities before being tidally circularized. Secular perturbations from an inclined stellar companion are a potential source of eccentricity oscillations, a phenomenon known as the Eccentric Kozai-Lidov (EKL) mechanism. Previous studies have found that the cold Jupiter eccentricity distribution produced by EKL is inconsistent with observations. However, these studies assumed all planets start on circular orbits. Here, we revisit this question, considering that an initial period of planet-planet scattering on $\sim$Myr timescales likely places planets on slightly eccentric orbits before being modulated by EKL on $\sim$Myr-Gyr timescales. Small initial eccentricities can have a dramatic effect by enabling EKL to act at lower inclinations. We numerically integrate the secular hierarchical three-body equations of motion, including general relativity and tides, for populations of cold giant planets in stellar binaries with varied initial eccentricity distributions. For populations with modest initial mean eccentricities, the simulated eccentricity distribution produced by EKL is statistically consistent with the observed eccentricities of cold single-planet systems. The lower eccentricities in a multi-planet control sample suggest that planetary companions quench stellar EKL. We show that scattering alone is unlikely to reproduce the present-day eccentricity distribution. We also show that the anisotropic inclination distribution produced by EKL may lead radial velocity measurements to underestimate giant planet masses., Comment: Submitted to ApJL, 15 pages, 6 figures (typo corrected and reference added in v2)

We introduce FrontierMath, a benchmark of hundreds of original, exceptionally challenging mathematics problems crafted and vetted by expert mathematicians. The questions cover most major branches of modern mathematics -- from computationally intensive problems in number theory and real analysis to abstract questions in algebraic geometry and category theory. Solving a typical problem requires multiple hours of effort from a researcher in the relevant branch of mathematics, and for the upper end questions, multiple days. FrontierMath uses new, unpublished problems and automated verification to reliably evaluate models while minimizing risk of data contamination. Current state-of-the-art AI models solve under 2% of problems, revealing a vast gap between AI capabilities and the prowess of the mathematical community. As AI systems advance toward expert-level mathematical abilities, FrontierMath offers a rigorous testbed that quantifies their progress.

We introduce INQUIRE, a text-to-image retrieval benchmark designed to challenge multimodal vision-language models on expert-level queries. INQUIRE includes iNaturalist 2024 (iNat24), a new dataset of five million natural world images, along with 250 expert-level retrieval queries. These queries are paired with all relevant images comprehensively labeled within iNat24, comprising 33,000 total matches. Queries span categories such as species identification, context, behavior, and appearance, emphasizing tasks that require nuanced image understanding and domain expertise. Our benchmark evaluates two core retrieval tasks: (1) INQUIRE-Fullrank, a full dataset ranking task, and (2) INQUIRE-Rerank, a reranking task for refining top-100 retrievals. Detailed evaluation of a range of recent multimodal models demonstrates that INQUIRE poses a significant challenge, with the best models failing to achieve an mAP@50 above 50%. In addition, we show that reranking with more powerful multimodal models can enhance retrieval performance, yet there remains a significant margin for improvement. By focusing on scientifically-motivated ecological challenges, INQUIRE aims to bridge the gap between AI capabilities and the needs of real-world scientific inquiry, encouraging the development of retrieval systems that can assist with accelerating ecological and biodiversity research. Our dataset and code are available at https://inquire-benchmark.github.io, Comment: Published in NeurIPS 2024, Datasets and Benchmarks Track

In this note, we give a definitive basis for the dimension-eight operators leading to quartic -- but no cubic -- interactions among electroweak gauge bosons. These are often called anomalous quartic gauge couplings, or aQGCs. We distinguish in particular the CP-even ones from their CP-odd counterparts., Comment: LHC Effective Field Theory Working Group Note, 8 pages, 3 tables

Current volumetric biomedical foundation models struggle to generalize as public 3D datasets are small and do not cover the broad diversity of medical procedures, conditions, anatomical regions, and imaging protocols. We address this by creating a representation learning method that instead anticipates strong domain shifts at training time itself. We first propose a data engine that synthesizes highly variable training samples that enable generalization to new biomedical contexts. To then train a single 3D network for any voxel-level task, we develop a contrastive learning method that pretrains the network to be stable against nuisance imaging variation simulated by the data engine, a key inductive bias for generalization. This network's features can be used as robust representations of input images for downstream tasks and its weights provide a strong, dataset-agnostic initialization for finetuning on new datasets. As a result, we set new standards across both multimodality registration and few-shot segmentation, a first for any 3D biomedical vision model, all without (pre-)training on any existing dataset of real images., Comment: Code and model weights available at https://github.com/neel-dey/anatomix

Foundation models refer to artificial intelligence (AI) models that are trained on massive amounts of data and demonstrate broad generalizability across various tasks with high accuracy. These models offer versatile, one-for-many or one-for-all solutions, eliminating the need for developing task-specific AI models. Examples of such foundation models include the Chat Generative Pre-trained Transformer (ChatGPT) and the Segment Anything Model (SAM). These models have been trained on millions to billions of samples and have shown wide-ranging and accurate applications in numerous tasks such as text processing (using ChatGPT) and natural image segmentation (using SAM). In medical image segmentation - finding target regions in medical images - there is a growing need for these one-for-many or one-for-all foundation models. Such models could obviate the need to develop thousands of task-specific AI models, which is currently standard practice in the field. They can also be adapted to tasks with datasets too small for effective training. We discuss two paths to achieve foundation models for medical image segmentation and comment on progress, challenges, and opportunities. One path is to adapt or fine-tune existing models, originally developed for natural images, for use with medical images. The second path entails building models from scratch, exclusively training on medical images.

As millimeter-wave cosmology experiments refine their optical chains, precisely characterizing their optical materials under cryogenic conditions becomes increasingly important. For instance, as the aperture sizes and bandwidths of millimeter-wave receivers increase, the design of antireflection coatings becomes progressively more constrained by an accurate measure of material optical properties in order to achieve forecasted performance. Likewise, understanding dielectric and scattering losses is relevant to photon noise modeling in presently-deploying receivers such as BICEP Array and especially to future experiments such as CMB-S4. Additionally, the design of refractive elements such as lenses necessitates an accurate measure of the refractive index. High quality factor Fabry-P\'{e}rot open resonant cavities provide an elegant means for measuring these optical properties. Employing a hemispherical resonator that is compatible with a quick-turnaround 4 Kelvin cryostat, we can measure the dielectric and scattering losses of low-loss materials at both ambient and cryogenic temperatures. We review the design, characterization, and metrological applications of quasioptical cavities commissioned for measuring the dielectric materials in the BICEP3 (95 GHz) and BICEP Array mid-frequency (150 GHz) optics. We also discuss the efforts to improve the finesse of said cavities, for better resolution of degenerate higher order modes, which can provide stronger constraints on cavity parameters and sample material thickness., Comment: 12 pages, 4 figures

Classical Wolf-Rayet stars are descendants of massive OB-type stars that have lost their hydrogen-rich envelopes, and are in the final stages of stellar evolution, possibly exploding as type Ib/c supernovae. It is understood that the mechanisms driving this mass-loss are either strong stellar winds and or binary interactions, so intense studies of these binaries including their evolution can tell us about the importance of the two pathways in WR formation. WR 138 (HD 193077) has a period of just over 4 years and was previously reported to be resolved through interferometry. We report on new interferometric data combined with spectroscopic radial velocities in order to provide a three-dimensional orbit of the system. The precision on our parameters tend to be about an order of magnitude better than previous spectroscopic techniques. These measurements provide masses of the stars, namely $M_{\rm WR} = 13.93\pm1.49M_{\odot}$ and $M_{\rm O} = 26.28\pm1.71M_{\odot}$. The derived orbital parallax agrees with the parallax from \textit{Gaia}, namely with a distance of 2.13 kpc. We compare the system's orbit to models from BPASS, showing that the system likely may have been formed with little interaction but could have formed through some binary interactions either following or at the start of a red supergiant phase, but with the most likely scenario occurring as the red supergiant phase starts for a $\sim 40M_\odot$ star., Comment: accepted to ApJ

Online competitive action games have flourished as a space for entertainment and social connections, yet they face challenges from a small percentage of players engaging in disruptive behaviors. This study delves into the under-explored realm of understanding the effects of moderation on player behavior within online gaming on an example of a popular title - Call of Duty(R): Modern Warfare(R)II. We employ a quasi-experimental design and causal inference techniques to examine the impact of moderation in a real-world industry-scale moderation system. We further delve into novel aspects around the impact of delayed moderation, as well as the severity of applied punishment. We examine these effects on a set of four disruptive behaviors including cheating, offensive user name, chat, and voice. Our findings uncover the dual impact moderation has on reducing disruptive behavior and discouraging disruptive players from participating. We further uncover differences in the effectiveness of quick and delayed moderation and the varying severity of punishment. Our examination of real-world gaming interactions sets a precedent in understanding the effectiveness of moderation and its impact on player behavior. Our insights offer actionable suggestions for the most promising avenues for improving real-world moderation practices, as well as the heterogeneous impact moderation has on indifferent players.

As human-agent teaming (HAT) research continues to grow, computational methods for modeling HAT behaviors and measuring HAT effectiveness also continue to develop. One rising method involves the use of human digital twins (HDT) to approximate human behaviors and socio-emotional-cognitive reactions to AI-driven agent team members. In this paper, we address three research questions relating to the use of digital twins for modeling trust in HATs. First, to address the question of how we can appropriately model and operationalize HAT trust through HDT HAT experiments, we conducted causal analytics of team communication data to understand the impact of empathy, socio-cognitive, and emotional constructs on trust formation. Additionally, we reflect on the current state of the HAT trust science to discuss characteristics of HAT trust that must be replicable by a HDT such as individual differences in trust tendencies, emergent trust patterns, and appropriate measurement of these characteristics over time. Second, to address the question of how valid measures of HDT trust are for approximating human trust in HATs, we discuss the properties of HDT trust: self-report measures, interaction-based measures, and compliance type behavioral measures. Additionally, we share results of preliminary simulations comparing different LLM models for generating HDT communications and analyze their ability to replicate human-like trust dynamics. Third, to address how HAT experimental manipulations will extend to human digital twin studies, we share experimental design focusing on propensity to trust for HDTs vs. transparency and competency-based trust for AI agents., Comment: in review; submitted to Interaction Studies

We present the database of potential targets for the Large Interferometer For Exoplanets (LIFE), a space-based mid-infrared nulling interferometer mission proposed for the Voyage 2050 science program of the European Space Agency (ESA). The database features stars, their planets and disks, main astrophysical parameters, and ancillary observations. It allows users to create target lists based on various criteria to predict, for instance, exoplanet detection yields for the LIFE mission. As such, it enables mission design trade-offs, provides context for the analysis of data obtained by LIFE, and flags critical missing data. Work on the database is in progress, but given its relevance to LIFE and other space missions, including the Habitable Worlds Observatory (HWO), we present its main features here. A preliminary version of the LIFE database is publicly available on the German Astrophysical Virtual Observatory (GAVO)., Comment: RNAAS published, 3 pages, 1 figure

Modern scientific simulations generate massive volumes of data, creating significant challenges for I/O and storage systems. Error-bounded lossy compression (EBLC) offers a solution by reducing dataset sizes while preserving data quality within user-specified limits. This study provides the first comprehensive energy characterization of state-of-the-art EBLC algorithms across various scientific datasets, CPU architectures, and operational modes. We analyze the energy consumption patterns of compression and decompression operations, as well as the energy trade-offs in data I/O scenarios. Our findings demonstrate that EBLC can significantly reduce I/O energy consumption, with savings of up to two orders of magnitude compared to uncompressed I/O for large datasets. In multi-node HPC environments, we observe energy reductions of approximately 25% when using EBLC. We also show that EBLC can achieve compression ratios of 10-100x, potentially reducing storage device requirements by nearly two orders of magnitude. Our work demonstrates the relationships between compression ratios, energy efficiency, and data quality, highlighting the importance of considering compressors and error bounds for specific use cases. Based on our results, we estimate that large-scale HPC facilities could save nearly two orders of magnitude the energy on data writing and significantly reduce storage requirements by integrating EBLC into their I/O subsystems. This work provides a framework for system operators and computational scientists to make informed decisions about implementing EBLC for energy-efficient data management in HPC environments.

Large language models (LLMs) have achieved a degree of success in generating coherent and contextually relevant text, yet they remain prone to a significant challenge known as hallucination: producing information that is not substantiated by the input or external knowledge. Previous efforts to mitigate hallucinations have focused on techniques such as fine-tuning models on high-quality datasets, incorporating fact-checking mechanisms, and developing adversarial training methods. While these approaches have shown some promise, they often address the issue at the level of individual model outputs, leaving unexplored the effects of inter-model interactions on hallucination. This study investigates the phenomenon of hallucination in LLMs through a novel experimental framework where multiple instances of GPT-4o-Mini models engage in a debate-like interaction prompted with questions from the TruthfulQA dataset. One model is deliberately instructed to generate plausible but false answers while the other models are asked to respond truthfully. The experiment is designed to assess whether the introduction of misinformation by one model can challenge the truthful majority to better justify their reasoning, improving performance on the TruthfulQA benchmark. The findings suggest that inter-model interactions can offer valuable insights into improving the accuracy and robustness of LLM outputs, complementing existing mitigation strategies.

Preclinical diffusion MRI (dMRI) has proven value in methods development and validation, characterizing the biological basis of diffusion phenomena, and comparative anatomy. While dMRI enables in vivo non-invasive characterization of tissue, ex vivo dMRI is increasingly being used to probe tissue microstructure and brain connectivity. Ex vivo dMRI has several experimental advantages that facilitate high spatial resolution and high signal-to-noise ratio (SNR) images, cutting-edge diffusion contrasts, and direct comparison with histological data as a methodological validation. However, there are a number of considerations that must be made when performing ex vivo experiments. The steps from tissue preparation, image acquisition and processing, and interpretation of results are complex, with many decisions that not only differ dramatically from in vivo imaging of small animals, but ultimately affect what questions can be answered using the data. This work concludes a 3-part series of recommendations and considerations for preclinical dMRI. Herein, we describe best practices for dMRI of ex vivo tissue, with a focus on image pre-processing, data processing and model fitting, and tractography. In each section, we attempt to provide guidelines and recommendations, but also highlight areas for which no guidelines exist (and why), and where future work should lie. We end by providing guidelines on code sharing and data sharing, and point towards open-source software and databases specific to small animal and ex vivo imaging., Comment: Part 3 of 3 in "Considerations and recommendations for preclinical diffusion MRI"

Electroaerodynamic propulsion, where force is produced via the momentum-transferring collisions between accelerated ions and neutral air molecules, is a promising alternative mechanism for flight at the micro air vehicle scale due to its silent and solid-state nature. Its relatively low efficiency, however, has thus far precluded its use in a power-autonomous vehicle; leveraging the efficiency benefits of operation close to a fixed surface is a potential solution. While proximity effects like the ground and ceiling effects have been well-investigated for rotorcraft and flapping wing micro air vehicles, they have not been for electroaerodynamically-propelled fliers. In this work, we investigate the change in performance when centimeter-scale thrusters are operated close to a "ceiling" plane about the inlet. We show a surprising and, until now, unreported effect; a major electrostatic attractive component, analogous to electroadhesive pressure but instead mediated by a stable atmospheric plasma. The isolated electrostatic and fluid dynamic components of the ceiling effect are shown for different distances from the plane and for different materials. We further show that a flange attached to the inlet can vastly increase both components of force. A peak efficiency improvement of 600% is shown close to the ceiling. This work points the way towards effective use of the ceiling effect for power autonomous vehicles, extending flight duration, or as a perching mechanism.

In modular Bayesian analyses, complex models are composed of distinct modules, each representing different aspects of the data or prior information. In this context, fully Bayesian approaches can sometimes lead to undesirable feedback between modules, compromising the integrity of the inference. This paper focuses on the "cut-distribution" which prevents unwanted influence between modules by "cutting" feedback. The multiple imputation (DS) algorithm is standard practice for approximating the cut-distribution, but it can be computationally intensive, especially when the number of imputations required is large. An enhanced method is proposed, the Emulating the Conditional Posterior (ECP) algorithm, which leverages emulation to increase the number of imputations. Through numerical experiment it is demonstrated that the ECP algorithm outperforms the traditional DS approach in terms of accuracy and computational efficiency, particularly when resources are constrained. It is also shown how the DS algorithm can be improved using ideas from design of experiments. This work also provides practical recommendations on algorithm choice based on the computational demands of sampling from the prior and cut-distributions.

Evidence for high-redshift supermassive black holes challenges standard scenarios for how such objects form in the early universe. Here, we entertain the possibility that a fraction of the cosmological dark matter could be ultra-strongly self interacting. This would imply that gravothermal collapse occur at early times in the cores of dark matter halos, followed by accretion. We study under which conditions on the abundance and interaction strength and structure of such ultra self-interacting dark matter the black holes resulting from the end-point of gravothermal core collapse can seed the observed, early-forming supermassive black holes. We find, depending on the velocity dependence of the self-interaction cross section, a bimodal structure in the favored parameter space, where data points to either a small collapsing dark matter fraction with a large cross section, or a large fraction and a relatively small cross section. While self-interaction cross sections with different velocity dependence can explain observations, we find that the best, self-consistent results correspond to a Rutherford-like self-interaction, typical of long-range dark-sector forces with light mediators. We discuss complementary observational probes if this scenario is realized in nature, focusing especially on the expected intermediate mass black holes predicted to exist in smaller galaxies., Comment: 28 pages, 6 Figures

Ultraviolet wavelengths offer unique insights into aerosols in exoplanetary atmospheres. However, only a handful of exoplanets have been observed in the ultraviolet to date. Here, we present the ultraviolet-visible transmission spectrum of the inflated hot Jupiter WASP-127b. We observed one transit of WASP-127b with WFC3/UVIS G280 as part of the Hubble Ultraviolet-optical Survey of Transiting Legacy Exoplanets (HUSTLE), obtaining a transmission spectrum from 200-800 nm. Our reductions yielded a broad-band transit depth precision of 91 ppm and a median precision of 240 ppm across 59 spectral channels. Our observations are suggestive of a high-altitude cloud layer with forward modeling showing they are composed of sub-micron particles and retrievals indicating a high opacity patchy cloud. While our UVIS/G280 data only offers weak evidence for Na, adding archival HST WFC3/IR and STIS observations raises the overall Na detection significance to 4.1-sigma. Our work demonstrates the capabilities of HST WFC3/UVIS G280 observations to probe the aerosols and atmospheric composition of transiting hot Jupiters with comparable precision to HST STIS., Comment: 25 pages, 8 figures, 6 tables

The National Science Foundation (NSF) funded National Research Platform (NRP) is a hyper-converged cluster of nationally and globally interconnected heterogeneous computing resources. The dominant computing environment of the NRP is the x86 64 instruction set architecture (ISA), often with graphics processing units (GPUs). Researchers across the nation leverage containers and Kubernetes to execute high-throughput computing (HTC) workloads across the heterogeneous cyberinfrastructure with minimal friction and maximum flexibility. As part of the NSF-funded GP-ENGINE project, we stood up the first server with an NVIDIA Grace Hopper AI Chip (GH200), an alternative ARM ISA, for the NRP. This presents challenges, as containers must be specifically built for ARM versus x86 64. Herein, we describe the challenges encountered, as well as our resulting solutions and some relevant performance benchmarks. We specifically compare the GH200 to A100 for computer vision workloads, within compute nodes in the NRP.

Recently there has been a proliferation of intrinsic motivation (IM) reward-shaping methods to learn in complex and sparse-reward environments. These methods can often inadvertently change the set of optimal policies in an environment, leading to suboptimal behavior. Previous work on mitigating the risks of reward shaping, particularly through potential-based reward shaping (PBRS), has not been applicable to many IM methods, as they are often complex, trainable functions themselves, and therefore dependent on a wider set of variables than the traditional reward functions that PBRS was developed for. We present an extension to PBRS that we prove preserves the set of optimal policies under a more general set of functions than has been previously proven. We also present {\em Potential-Based Intrinsic Motivation} (PBIM) and {\em Generalized Reward Matching} (GRM), methods for converting IM rewards into a potential-based form that are useable without altering the set of optimal policies. Testing in the MiniGrid DoorKey and Cliff Walking environments, we demonstrate that PBIM and GRM successfully prevent the agent from converging to a suboptimal policy and can speed up training. Additionally, we prove that GRM is sufficiently general as to encompass all potential-based reward shaping functions. This paper expands on previous work introducing the PBIM method, and provides an extension to the more general method of GRM, as well as additional proofs, experimental results, and discussion., Comment: To be submit to joint AIJ-JAIR special track for award-winning papers. arXiv admin note: substantial text overlap with arXiv:2402.07411

Owing to their similarities with giant exoplanets, brown dwarf companions of stars provide insights into the fundamental processes of planet formation and evolution. From their orbits, several brown dwarf companions are found to be more massive than theoretical predictions given their luminosities and the ages of their host stars (e.g. Brandt et al. 2021, Cheetham et al. 2018, Li et al. 2023). Either the theory is incomplete or these objects are not single entities. For example, they could be two brown dwarfs each with a lower mass and intrinsic luminosity (Brandt et al. 2021, Howe et al. 2024). The most problematic example is Gliese 229 B (Nakajima et al. 1995, Oppenheimer et al. 1995), which is at least 2-6 times less luminous than model predictions given its dynamical mass of $71.4\pm0.6$ Jupiter masses ($M_{\rm Jup}$) (Brandt et al. 2021). We observed Gliese 229 B with the GRAVITY interferometer and, separately, the CRIRES+ spectrograph at the Very Large Telescope. Both sets of observations independently resolve Gliese 229 B into two components, Gliese 229 Ba and Bb, settling the conflict between theory and observations. The two objects have a flux ratio of $0.47\pm0.03$ at a wavelength of 2 $\mu$m and masses of $38.1\pm1.0$ and $34.4\pm1.5$ $M_{\rm Jup}$, respectively. They orbit each other every 12.1 days with a semimajor axis of 0.042 astronomical units (AU). The discovery of Gliese 229 BaBb, each only a few times more massive than the most massive planets, and separated by 16 times the Earth-moon distance, raises new questions about the formation and prevalence of tight binary brown dwarfs around stars., Comment: Published in Nature. The Version of Record of this article is located at https://www.nature.com/articles/s41586-024-08064-x

For Grassmannians, Lusztig's notion of total positivity coincides with positivity of the Plucker coordinates. This coincidence underpins the rich interaction between matroid theory, tropical geometry, and the theory of total positivity. Bloch and Karp furthermore characterized the (type A) partial flag varieties for which the two notions of positivity similarly coincide. We characterize the symplectic (type C) and odd-orthogonal (type B) partial flag varieties for which Lusztig's total positivity coincides with Plucker positivity., Comment: 36 pages; comments welcome. v2: minor revisions

We show that, given a rank 3 affine root system $\Phi$ with Weyl group $W$, there is a unique oriented matroid structure on $\Phi$ which is $W$-equivariant and restricts to the usual matroid structure on rank 2 subsystems. Such oriented matroids were called oriented matroid root systems in Dyer-Wang (2021), and are known to be non-unique in higher rank. We also show uniqueness for any finite root system or "clean" rank 3 root system (which conjecturally includes all rank 3 root systems)., Comment: 6 pages, 1 figure

Species range maps (SRMs) are essential tools for research and policy-making in ecology, conservation, and environmental management. However, traditional SRMs rely on the availability of environmental covariates and high-quality species location observation data, both of which can be challenging to obtain due to geographic inaccessibility and resource constraints. We propose a novel approach combining millions of citizen science species observations with textual descriptions from Wikipedia, covering habitat preferences and range descriptions for tens of thousands of species. Our framework maps locations, species, and text descriptions into a common space, facilitating the learning of rich spatial covariates at a global scale and enabling zero-shot range estimation from textual descriptions. Evaluated on held-out species, our zero-shot SRMs significantly outperform baselines and match the performance of SRMs obtained using tens of observations. Our approach also acts as a strong prior when combined with observational data, resulting in more accurate range estimation with less data. We present extensive quantitative and qualitative analyses of the learned representations in the context of range estimation and other spatial tasks, demonstrating the effectiveness of our approach.

We present multi-epoch optical spectropolarimetric and imaging polarimetric observations of the nearby Type II supernova (SN) 2023ixf discovered in M101 at a distance of 6.85 Mpc. The first imaging polarimetric observations were taken +2.33 days (60085.08 MJD) after the explosion, while the last imaging polarimetric data points (+73.19 and +76.19 days) were acquired after the fall from the light curve plateau. At +2.33 days there is strong evidence of circumstellar material (CSM) interaction in the spectra and the light curve. A significant level of polarization $P_r = 0.88\pm 0.06 \% $ seen during this phase indicates that this CSM is aspherical. We find that the polarization evolves with time toward the interstellar polarization level ($0.35\%$) during the photospheric phase, which suggests that the recombination photosphere is spherically symmetric. There is a jump in polarization ($P_r =0.65 \pm 0.08 \% $) at +73.19 days when the light curve falls from the plateau. This is a phase where polarimetric data is sensitive to non-spherical inner ejecta or a decrease in optical depth into the single scattering regime. We also present spectropolarimetric data that reveal line (de)polarization during most of the observed epochs. In addition, at +14.50 days we see an "inverse P Cygn" profile in the H and He line polarization, which clearly indicates the presence of asymmetrically distributed material overlying the photosphere. The overall temporal evolution of polarization is typical for Type II SNe, but the high level of polarization during the rising phase has only been observed in SN 2023ixf., Comment: 14 pages, 7 figures, submitted to ApJL, comments welcome

With the emergence of large-scale pre-trained neural networks, methods to adapt such "foundation" models to data-limited downstream tasks have become a necessity. Fine-tuning, preference optimization, and transfer learning have all been successfully employed for these purposes when the target task closely resembles the source task, but a precise theoretical understanding of "task similarity" is still lacking. While conventional wisdom suggests that simple measures of similarity between source and target distributions, such as $\phi$-divergences or integral probability metrics, can directly predict the success of transfer, we prove the surprising fact that, in general, this is not the case. We adopt, instead, a feature-centric viewpoint on transfer learning and establish a number of theoretical results that demonstrate that when the target task is well represented by the feature space of the pre-trained model, transfer learning outperforms training from scratch. We study deep linear networks as a minimal model of transfer learning in which we can analytically characterize the transferability phase diagram as a function of the target dataset size and the feature space overlap. For this model, we establish rigorously that when the feature space overlap between the source and target tasks is sufficiently strong, both linear transfer and fine-tuning improve performance, especially in the low data limit. These results build on an emerging understanding of feature learning dynamics in deep linear networks, and we demonstrate numerically that the rigorous results we derive for the linear case also apply to nonlinear networks., Comment: 29 pages, 7 figures

We present the first emission spectrum of the hot Jupiter WASP-17 b using one eclipse observation from the JWST Near Infrared Imager and Slitless Spectrograph (NIRISS) Single Object Slitless Spectroscopy (SOSS) mode. Covering a wavelength range of 0.6 to 2.8 microns, our retrieval analysis reveals a strong detection of H2O in WASP-17b dayside atmosphere (6.4sigma). Our retrievals consistently favor a super-solar dayside H2O abundance and a non-inverted temperature-pressure profile over a large pressure range. Additionally, our examination of the brightness temperature reveals excess emission below 1 microns, suggesting the possibility of a high internal temperature (600 to 700 K) and/or contributions from reflected light. We highlight that JWST emission spectroscopy retrieval results can be sensitive to whether negative eclipse depths are allowed at optical wavelengths during light curve fitting. Our findings deepen our understanding of WASP-17b atmospheric composition while also highlighting the sensitivity of our results to pressure-temperature profile parameterizations. This work is part of a series of studies by our JWST Telescope Scientist Team (JWST-TST), in which we will use Guaranteed Time Observations to perform Deep Reconnaissance of Exoplanet Atmospheres through Multi-instrument Spectroscopy (DREAMS)., Comment: Accepted for Publication in the Astronomical Journal (AJ) October 4, 2024

We present the first spectroscopic characterisation of the dayside atmosphere of WASP-17b in the mid-infrared using a single JWST MIRI/LRS eclipse observation. From forward-model fits to the 5-12 $\mu$m emission spectrum, we tightly constrain the heat redistribution factor of WASP-17b to be 0.92$\pm$0.02 at the pressures probed by this data, indicative of inefficient global heat redistribution. We also marginally detect a supersolar abundance of water, consistent with previous findings for WASP-17b, but note our weak constraints on this parameter. These results reflect the thermodynamically rich but chemically poor information content of MIRI/LRS emission data for high-temperature hot Jupiters. Using the eclipse mapping method, which utilises the signals that the spatial emission profile of an exoplanet imprints on the eclipse light curve during ingress/egress due to its partial occultation by the host star, we also construct the first eclipse map of WASP-17b, allowing us to diagnose its multidimensional atmospheric dynamics for the first time. We find a day-night temperature contrast of order 1000 K at the pressures probed by this data, consistent with our derived heat redistribution factor, along with an eastward longitudinal hotspot offset of $18.7^{+11.1\deg}_{-3.8}$, indicative of the presence of an equatorial jet induced by day-night thermal forcing being the dominant redistributor of heat from the substellar point. These dynamics are consistent with general circulation model predictions for WASP-17b. This work is part of a series of studies by the JWST Telescope Scientist Team (JWST-TST), in which we use Guaranteed Time Observations to perform Deep Reconnaissance of Exoplanet Atmospheres through Multi-instrument Spectroscopy (DREAMS)., Comment: 28 pages, 8 figures. Published in The Astronomical Journal

We present ExaDigiT, an open-source framework for developing comprehensive digital twins of liquid-cooled supercomputers. It integrates three main modules: (1) a resource allocator and power simulator, (2) a transient thermo-fluidic cooling model, and (3) an augmented reality model of the supercomputer and central energy plant. The framework enables the study of "what-if" scenarios, system optimizations, and virtual prototyping of future systems. Using Frontier as a case study, we demonstrate the framework's capabilities by replaying six months of system telemetry for systematic verification and validation. Such a comprehensive analysis of a liquid-cooled exascale supercomputer is the first of its kind. ExaDigiT elucidates complex transient cooling system dynamics, runs synthetic or real workloads, and predicts energy losses due to rectification and voltage conversion. Throughout our paper, we present lessons learned to benefit HPC practitioners developing similar digital twins. We envision the digital twin will be a key enabler for sustainable, energy-efficient supercomputing., Comment: 14 pages, 9 figures, To be published in the Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis. 2024

The Earth will pass approximately downstream of the previous position of comet C/2023 A3 (Tsuchinshan-ATLAS) during 2024 October 10-13. We predict that spacecraft at the Sun-Earth Lagrange Point 1, L1, have a significant likelihood to detect pickup ions from the comet, as well as changes in the solar wind associated with the crossing of the comet's ion tail. Given the Earth's magnetosphere is also likely to cross the ion tail, it is possible that geomagnetic signatures associated with this will be observed by spacecraft within the magnetosphere and possible at ground-based magnetometers, as observed during Comet 1P/Halley's apparition in 1910.

Discrete diffusion models have gained increasing attention for their ability to model complex distributions with tractable sampling and inference. However, the error analysis for discrete diffusion models remains less well-understood. In this work, we propose a comprehensive framework for the error analysis of discrete diffusion models based on L\'evy-type stochastic integrals. By generalizing the Poisson random measure to that with a time-independent and state-dependent intensity, we rigorously establish a stochastic integral formulation of discrete diffusion models and provide the corresponding change of measure theorems that are intriguingly analogous to It\^o integrals and Girsanov's theorem for their continuous counterparts. Our framework unifies and strengthens the current theoretical results on discrete diffusion models and obtains the first error bound for the $\tau$-leaping scheme in KL divergence. With error sources clearly identified, our analysis gives new insight into the mathematical properties of discrete diffusion models and offers guidance for the design of efficient and accurate algorithms for real-world discrete diffusion model applications.

This paper examines how the sequencing of images and text within multi-modal prompts influences the reasoning performance of large language models (LLMs). We performed empirical evaluations using three commercial LLMs. Our results demonstrate that the order in which modalities are presented can significantly affect performance, particularly in tasks of varying complexity. For simpler tasks involving a single image, modality sequencing had a clear impact on accuracy. However, in more complex tasks involving multiple images and intricate reasoning steps, the effect of sequencing diminished, likely due to the increased cognitive demands of the task. Our findings also highlight the importance of question/prompt structure. In nested and multi-step reasoning tasks, modality sequencing played a key role in shaping model performance. While LLMs excelled in the initial stages of reasoning, they struggled to re-incorporate earlier information, underscoring the challenges of multi-hop reasoning within transformer architectures. This suggests that aligning the sequence of modalities with the logical flow of reasoning steps is more critical than modality order alone. These insights offer valuable implications for improving multi-modal prompt design, with broader applications across fields such as education, medical imaging, and cross-modal learning.

This article proposes a new method to measure the proton detector efficiency for use in "beam" determinations of the free neutron lifetime. There is currently a 4{\sigma} disagreement between the "beam" and "storage" methods of measuring the lifetime of the neutron. A possible reason for this is a systematic uncertainty that is not properly accounted for in one or both types of experiments. Absolute proton counting is an essential facet of the "beam" experimental approach. The absolute detector efficiency is not currently known for existing experiments and could be a source of a hidden systematic error. The proposed absolute calibration techniques can also be extended to new, large area particle detectors designed for future experiments. We propose to laser ionize a beam of atomic hydrogen and simultaneously count both the outgoing protons and electrons. Due to recent advances in UV laser and atomic hydrogen beam technologies, we estimate a count rate as high as ~200k proton-electrons pairs per second under the most favorable scheme discussed. Our proposed technique would remove one of the leading systematic uncertainties in the determination of the neutron lifetime, making an precision of {\pm}0.16 s feasible. Precise and accurate knowledge of the proton detection efficiency is crucial to fully understanding the systematics of the "beam" measurement method as well as developing next generation experiments that will have the precision to test the Standard Model., Comment: 24 pages, 4 figures

The electron antinuetrino flux limits are presented for the brightest gamma-ray burst (GRB) of all time, GRB221009A, over a range of 1.8-200 MeV using the Kamioka Liquid Scintillator Anti Neutrino Detector (KamLAND). Using a variety of time windows to search for electron antineutrinos coincident with the GRB, we set an upper limit on the flux under the assumption of various neutrino source spectra. No excess was observed in any time windows ranging from seconds to days around the event trigger time. The limits are compared to the results presented by IceCube., Comment: 8 pages, 3 figures, 1 table

In arXiv:1811.01577 the VOAs associated to 4d $\mathcal{N}=2$ class-S theories were constructed in addition to a generalization for non-simply laced Lie algebras. However, 6d (2,0) theories have an ADE classification, and therefore class-S theories which are engineered by them come in ADE types. Thus, these non-simply laced VOAs are not thought to correspond to 4d physical theories. Regardless, we analyze these VOAs and their Drinfeld-Sokolov reductions in an effort to determine their properties. We find that many of these reduced VOAs appear to correspond to actual 4d $\mathcal{N}=2$ SCFTs. Additionally, we find what appear to be $F_4$ instanton VOAs, and hence from the proposal of arXiv:2201.13435 these correspond to 3d $\mathcal{N}=4$ quiver gauge theories whose Coulomb branches are $F_4$ instanton moduli spaces. Using a construction of twisted class-S VOAs from non-simply laced ones, we find additional evidence that the $F_4$ instanton VOAs do not correspond to four-dimensional field theories and outline an analogous argument for the $G_2$ instanton case. Our method appears to be quite general and may be a promising technique for ruling out 4d origins of VOAs that are similar to those of 4d $\mathcal{N}=2$ SCFTs, in addition to constructing VOAs of actual 4d theories., Comment: 30 pages + references, 13 figures, and 8 tables

The spatial arrangement of components within an mRNA encapsulating nanoparticle has consequences for its thermal stability, which is a key parameter for therapeutic utility. The mesostructure of mRNA nanoparticles formed with cationic polymers have several distinct putative structures: here, we develop a field theoretic simulation model to compute the phase diagram for amphiphilic block copolymers that balance coacervation and hydrophobicity as driving forces for assembly. We predict several distinct morphologies for the mesostructure of these nanoparticles, depending on salt conditions and hydrophobicity. We compare our predictions with cryogenic-electron microscopy images of mRNA encapsulated by charge altering releasable transporters. In addition, we provide a GPU-accelerated, open-source codebase for general purpose field theoretic simulations, which we anticipate will be a useful tool for the community.

Between 2021 and 2023, crypto assets valued at over \$US2.6 billion were stolen via attacks on "bridges" -- decentralized services designed to allow inter-blockchain exchange. While the individual exploits in each attack vary, a single design flaw underlies them all: the lack of end-to-end value accounting in cross-chain transactions. In this paper, we empirically analyze 10 million transactions used by key bridges during this period. We show that a simple invariant that balances cross-chain inflows and outflows is compatible with legitimate use, yet precisely identifies every known attack (and several likely attacks) in this data. Further, we show that this approach is not only sufficient for post-hoc audits, but can be implemented in-line in existing bridge designs to provide generic protection against a broad array of bridge vulnerabilities., Comment: Currently under submission

Hundreds of exoplanets between 1-1.8 times the size of the Earth have been discovered on close in orbits. However, these planets show such a diversity in densities that some appear to be made entirely of iron, while others appear to host gaseous envelopes. To test this diversity in composition, we update the masses of 5 rocky exoplanets (HD 93963 A b, Kepler-10 b, Kepler-100 b, Kepler-407 b, and TOI-1444 b) and present the confirmation of a new planet (TOI-1011) using 187 high precision RVs from Gemini/MAROON-X and Keck/KPF. Our updated planet masses suggest compositions closer to that of the Earth than previous literature values for all planets in our sample. In particular, we report that two previously identified ``super-Mercuries'' (Kepler-100 b and HD 93963 A b) have lower masses that suggest less iron-rich compositions. We then compare the ratio of iron to rock-building species to the abundance ratios of those elements in their host stars. These updated planet compositions do not suggest a steep relationship between planet and host star compositions, contradictory to previous results, and suggest that planets and host stars have similar abundance ratios., Comment: Submitted to AJ 09/30/2024