Search

Two-dimensional (2D) nanomaterials exhibit unique properties that are promising for diverse applications, including those relevant to concentration-gradient-driven transport of electrolyte solutions through porous membranes made from these materials, such as water desalination, osmotic power, and iontronics. Here we derive general equations, and determine scaling laws in the thick and thin electric-double-layer limits, that quantify the variation of the concentration-gradient-driven flow rate, solute flux and electric current with the pore radius, surface charge density and Debye screening length for the transport of a dilute electrolyte solution through a circular aperture in an infinitesimally thin planar membrane. We also determine scaling laws for the electric-field-driven flow rate in the thin electric-double-layer limit in the same geometry. We show that these scaling laws accurately capture the scaling relationships from finite-element numerical simulations within the Debye-H\"uckel regime, and extend the theory to obtain scaling laws in the thin electric-double-layer limit that hold even when the electric potential energy is large compared with the thermal energy. These scaling laws indicate unusual behavior for concentration-gradient-driven flow in a 2D membrane that is not seen in thicker membranes, which has broad implications for liquid transport through membranes whose thickness comparable to, or smaller than, their pore size.

Building on work of Doyle and Hyde on polynomial maps in one variable, we produce for each odd integer $d \geq 2$ a H\'enon map of degree $d$ defined over $\mathbb{Q}$ with at least $(d-4)^2$ integral periodic points. This provides a quadratic lower bound on any conjectural uniform bound for periodic rational points of H\'enon maps. In contrast with the work of Doyle and Hyde, our examples also admit integer cycles of large period., Comment: 22 pages, 2 figures

Guided data visualization systems are highly useful for domain experts to highlight important trends in their large-scale and complex datasets. However, more work is needed to understand the impact of guidance on interpreting data visualizations as well as on the resulting use of visualizations when communicating insights. We conducted two user studies with domain experts and found that experts benefit from a guided coarse-to-fine structure when using data visualization systems, as this is the same structure in which they communicate findings., Comment: Poster presented at IEEE VIS 2024: https://ieeevis.org/year/2024/program/poster_v-vis-posters-1030.html, Video demonstration: https://git.yale.edu/sq45/impact_guidance_datavis_domain_experts.git

Cognitive architectures are influential, integrated computational frameworks for modeling cognitive processes. Due to a variety of factors, however, researchers using cognitive architectures to explain and predict human performance rarely employ model validation, comparison, and selection techniques based on likelihood. This paper provides a primer on how to implement maximum likelihood techniques and its derivatives to fit and compare models at the individual and group level, using models implemented in the ACT-R cognitive architecture as examples. The paper covers the most common ways in which likelihood measures can be applied, under different scenarios, for models of different complexity, and provides further technical references for the interested reader. An accompanying notebook in Python provides the code to implement all of the suggestions., Comment: 67 page, 17 figures, 1 table

Euler's classic partition identity states that the number of partitions of $n$ into odd parts equals the number of partitions of $n$ into distinct parts. We develop a new generalization of this identity, which yields a previous generalization of Franklin as a special case, and prove an accompanying Beck-type companion identity.

Artificial Intelligence (AI), particularly large language models (LLMs), holds the potential to bridge language and information gaps, which can benefit the economies of developing nations. However, our analysis of FLORES-200, FLORES+, Ethnologue, and World Development Indicators data reveals that these benefits largely favor English speakers. Speakers of languages in low-income and lower-middle-income countries face higher costs when using OpenAI's GPT models via APIs because of how the system processes the input -- tokenization. Around 1.5 billion people, speaking languages primarily from lower-middle-income countries, could incur costs that are 4 to 6 times higher than those faced by English speakers. Disparities in LLM performance are significant, and tokenization in models priced per token amplifies inequalities in access, cost, and utility. Moreover, using the quality of translation tasks as a proxy measure, we show that LLMs perform poorly in low-resource languages, presenting a ``double jeopardy" of higher costs and poor performance for these users. We also discuss the direct impact of fragmentation in tokenizing low-resource languages on climate. This underscores the need for fairer algorithm development to benefit all linguistic groups., Comment: Project GitHub repository at https://github.com/worldbank/double-jeopardy-in-llms

Optically pumped magnetometers (OPMs) are compact and lightweight sensors that can measure magnetic fields generated by current flow in neuronal assemblies in the brain. Such sensors enable construction of magnetoencephalography (MEG) instrumentation, with significant advantages over conventional MEG devices including adaptability to head size, enhanced movement tolerance, lower complexity and improved data quality. However, realising the potential of OPMs depends on our ability to perform system calibration, which means finding sensor locations, orientations, and the relationship between the sensor output and magnetic field (termed sensor gain). Such calibration is complex in OPMMEG since, for example, OPM placement can change from subject to subject (unlike in conventional MEG where sensor locations or orientations are fixed). Here, we present two methods for calibration, both based on generating well-characterised magnetic fields across a sensor array. Our first device (the HALO) is a head mounted system that generates dipole like fields from a set of coils. Our second (the matrix coil (MC)) generates fields using coils embedded in the walls of a magnetically shielded room. Our results show that both methods offer an accurate means to calibrate an OPM array (e.g. sensor locations within 2 mm of the ground truth) and that the calibrations produced by the two methods agree strongly with each other. When applied to data from human MEG experiments, both methods offer improved signal to noise ratio after beamforming suggesting that they give calibration parameters closer to the ground truth than factory settings and presumed physical sensor coordinates and orientations. Both techniques are practical and easy to integrate into real world MEG applications. This advances the field significantly closer to the routine use of OPMs for MEG recording., Comment: 36 pages, 10 figures

Adjustment for prognostic baseline covariates when estimating treatment effects in randomized trials can reduce bias due to covariate imbalance and yield guaranteed efficiency gain in large-samples. Gains in precision and reductions in finite-sample bias are arguably most important in the resource-limited setting of early-phase trials. Despite their favorable large-sample properties, the utility of covariate-adjusted estimators in early-phase trials is complicated by precision loss due to adjustment for weakly prognostic covariates and type I error rate inflation and undercoverage of asymptotic confidence intervals in finite samples. We propose adjustment for a valid negative control outcomes (NCO), or an auxiliary post-randomization outcome assumed completely unaffected by treatment but correlated with the outcome of interest. We articulate the causal assumptions that permit adjustment for NCOs, describe when NCO adjustment may improve upon adjustment for baseline covariates, illustrate performance and provide practical recommendations regarding model selection and finite-sample variance corrections in early-phase trials using numerical experiments, and demonstrate superior performance of NCO adjustment in the reanalysis of two early-phase vaccine trials in HIV exposed uninfected (HEU) infants. In early-phase studies without knowledge of baseline predictors of outcomes, we advocate for eschewing baseline covariates adjustment in favor of adjustment for NCOs believed to be unaffected by the experimental intervention., Comment: 22 pages, 6 figure, 4 in main text

Safe and effective preventive vaccines have the potential to help stem the HIV epidemic. The efficacy of such vaccines is typically measured in randomized, double-blind phase IIb/III trials and described as a reduction in newly acquired HIV infections. However, such trials are often expensive, time-consuming, and/or logistically challenging. These challenges lead to a great interest in immune responses induced by vaccination, and in identifying which immune responses predict vaccine efficacy. These responses are termed vaccine correlates of protection. Studies of vaccine-induced immunogenicity vary in size and design, ranging from small, early phase trials, to case-control studies nested in a broader late-phase randomized trial. Moreover, trials can be conducted in geographically diverse study populations across the world. Such diversity presents a challenge for objectively comparing vaccine-induced immunogenicity. To address these practical challenges, we propose a framework that is capable of identifying appropriate causal estimands and estimators, which can be used to provide standardized comparisons of vaccine-induced immunogenicity across trials. We evaluate the performance of the proposed estimands via extensive simulation studies. Our estimators are well-behaved and enjoy robustness properties. The proposed technique is applied to compare vaccine immunogenicity using data from three recent HIV vaccine trials.

Nucleon structure functions, as measured in lepton-nucleon scattering, have historically provided a critical observable in the study of partonic dynamics within the nucleon. However, at very large parton momenta it is both experimentally and theoretically challenging to extract parton distributions due to the probable onset of non-perturbative contributions and the unavailability of high precision data at critical kinematics. Extraction of the neutron structure and the d-quark distribution have been further challenging due to the necessity of applying nuclear corrections when utilizing scattering data from a deuteron target to extract free neutron structure. However, a program of experiments has been carried out recently at the energy-upgraded Jefferson Lab electron accelerator aimed at significantly reducing the nuclear correction uncertainties on the d-quark distribution function at large partonic momentum. This allows leveraging the vast body of deuterium data covering a large kinematic range to be utilized for d-quark parton distribution function extraction. We present new data from experiment E12-10-002 carried out in Jefferson Lab Hall C on the deuteron to proton cross-section ratio at large BJorken-x. These results significantly improve the precision of existing data, and provide a first look at the expected impact on quark distributions extracted from global parton distribution function fits.

Precise automated delineation of post-operative gross tumor volume in glioblastoma cases is challenging and time-consuming owing to the presence of edema and the deformed brain tissue resulting from the surgical tumor resection. To develop a model for automated delineation of post-operative gross tumor volumes in glioblastoma, we proposed a novel 3D double pocket U-Net architecture that has two parallel pocket U-Nets. Both U-Nets were trained simultaneously with two different subsets of MRI sequences and the output from the models was combined to do the final prediction. We strategically combined the MRI input sequences (T1, T2, T1C, FL) for model training to achieve improved segmentation accuracy. The dataset comprised 82 post-operative studies collected from 23 glioblastoma patients who underwent maximal safe tumor resection. All had gross tumor volume (GTV) segmentations performed by human experts, and these were used as a reference standard. The results of 3D double pocket U-Net were compared with baseline 3D pocket U-Net models and the ensemble of 3D pocket U-Net models. All the models were evaluated with fivefold cross-validation in terms of the Dice similarity coefficient and Hausdorff distance. Our proposed double U-Net model trained with input sequences [T1, T1C, FL + T2, T1C] achieved a better mean Dice score of 0.8585 and Hausdorff distance of 4.1942 compared to all the baseline models and ensemble models trained. The presence of infiltrating tumors and vasogenic edema in the post-operative MRI scans tends to reduce segmentation accuracy when considering the MRI sequences T1, T2, T1C, and FL together for model training. The double U-Net approach of combining subsets of the MRI sequences as distinct inputs for model training improves segmentation accuracy by 7% when compared with the conventional method of model training with all four sequences.

Large wildlife image collections from camera traps are crucial for biodiversity monitoring, offering insights into species richness, occupancy, and activity patterns. However, manual processing of these data is time-consuming, hindering analytical processes. To address this, deep neural networks have been widely adopted to automate image analysis. Despite their growing use, the impact of model training decisions on downstream ecological metrics remains unclear. Here, we analyse camera trap data from an African savannah and an Asian sub-tropical dry forest to compare key ecological metrics derived from expert-generated species identifications with those generated from deep neural networks. We assess the impact of model architecture, training data noise, and dataset size on ecological metrics, including species richness, occupancy, and activity patterns. Our results show that while model architecture has minimal impact, large amounts of noise and reduced dataset size significantly affect these metrics. Nonetheless, estimated ecological metrics are resilient to considerable noise, tolerating up to 10% error in species labels and a 50% reduction in training set size without changing significantly. We also highlight that conventional metrics like classification error may not always be representative of a model's ability to accurately measure ecological metrics. We conclude that ecological metrics derived from deep neural network predictions closely match those calculated from expert labels and remain robust to variations in the factors explored. However, training decisions for deep neural networks can impact downstream ecological analysis. Therefore, practitioners should prioritize creating large, clean training sets and evaluate deep neural network solutions based on their ability to measure the ecological metrics of interest.

Particle-particle and particle-gas processes significantly impact planetary precursors such as dust aggregates and planetesimals. We investigate gas permeability ($\kappa$) in 12 granular samples, mimicking planetesimal dust regoliths. Using parabolic flights, this study assesses how gravitational compression -- and lack thereof -- influences gas permeation, impacting the equilibrium state of low-gravity objects. Transitioning between micro- and hyper-gravity induces granular sedimentation dynamics, revealing collective dust-grain aerodynamics. Our experiments measure $\kappa$ across Knudsen number (Kn) ranges, reflecting transitional flow. Using mass and momentum conservation, we derive $\kappa$ and calculate pressure gradients within the granular matrix. Key findings: 1. As confinement pressure increases with gravitational load and mass flow, $\kappa$ and average pore space decrease. This implies that a planetesimal's unique dust-compaction history limits sub-surface volatile outflows. 2. The derived pressure gradient enables tensile strength determination for asteroid regolith simulants with cohesion. This offers a unique approach to studying dust-layer properties when suspended in confinement pressures comparable to the equilibrium state on planetesimals surfaces, which will be valuable for modelling their collisional evolution. 3. We observe a dynamical flow symmetry breaking when granular material moves against the pressure gradient. This occurs even at low Reynolds numbers, suggesting that Stokes numbers for drifting dust aggregates near the Stokes-Epstein transition require a drag force modification based on permeability.

Recently, the authors with Lea Beneish established a recipe for constructing Ramanujan-Sato series for $1/\pi$, and used this to construct 11 explicit examples of Ramanujan-Sato series arising from modular forms for arithmetic triangle groups of non-compact type. Here, we use work of Chisholm, Deines, Long, Nebe and the third author to prove a general $p$-adic supercongruence theorem through an explicit connection to CM hypergeometric elliptic curves that provides $p$-adic analogues of these Ramanujan-Sato series. We further use this theorem to construct explicit examples related to each of our explicit Ramanujan-Sato series examples.

The relationship between Ly$\alpha$ forest opacity and local galaxy density (the opacity-density relation) is a key observational test of late reionization models. Using narrow-band surveys of z=5.7 Ly$\alpha$ emitters centered on quasar sight lines, Christenson et al. (2023) showed that two of the most transmissive forest segments at this redshift intersect galaxy underdensities. This is in tension with models of a strongly fluctuating ionizing background, including some late reionization models, which predict that the vast majority of these segments should intersect overdensities where the ionizing intensity is strongest. We use radiative transfer simulations to explore in detail the opacity-density relation in late reionization models. Fields like the one toward quasar PSO J359-06 -- the more underdense of the two transmissive sight lines in Christenson et al. (2023) -- typically contain recently reionized gas in cosmic voids where the hot temperatures and low densities enhance Ly$\alpha$ transmission. The opacity-density relation's transmissive end is sensitive to the amount of neutral gas in voids, and its morphology, set by the reionization source clustering. These effects are, however, degenerate. We demonstrate that models with very different source clustering can yield similar opacity-density relations when their reionization histories are calibrated to match Ly$\alpha$ forest mean flux measurements at z<6. In models with fixed source clustering, a lower neutral fraction increases the likelihood of intersecting hot, recently reionized gas in voids, increasing the likelihood of observing PSO J359-06. For instance, the probability of observing this field is 15% in a model with neutral fraction $x_{\rm HI}=5\%$ at z=5.7, three times more likely than in a model with $x_{\rm HI}=15\%$. The opacity-density relation may thus provide a complementary probe of reionization's end., Comment: 31 pages, 17 Figures

Conventional optical elements are bulky and limited to specific functionalities, contradicting the increasing demand of miniaturization and multi-functionalities. Optical metasurfaces enable tailoring light-matter interaction at will, especially important for the infrared spectral range which lacks commercially available beam-shaping elements. While the fabrication of those metasurfaces usually requires cumbersome techniques, direct laser writing promises a simple and convenient alternative. Here, we exploit the non-volatile laser-induced insulator-to-metal transition of the plasmonic phase-change material In3SbTe2 (IST) for optical programming of large-area metasurfaces for infrared beam-shaping. We tailor the geometric phase of metasurfaces with rotated crystalline IST rod antennas to achieve beam steering, lensing, and beams carrying orbital angular momenta. Finally, we investigate multi-functional and cascaded metasurfaces exploiting enlarged holography, and design a single metasurface creating two different holograms along the optical axis. Our approach facilitates fabrication of large-area metasurfaces within hours, enabling rapid-prototyping of customized infrared meta-optics for sensing, imaging and quantum information., Comment: 22 pages, 6 figures

The UN Office of Outer Space Affairs identifies synergy of space development activities and international cooperation through data and infrastructure sharing in their Sustainable Development Goal 17 (SDG17). Current multilateral space exploration paradigms, however, are divided between the Artemis and the Roscosmos-CNSA programs to return to the moon and establish permanent human settlements. As space agencies work to expand human presence in space, economic resource consolidation in pursuit of technologically ambitious space expeditions is the most sensible path to accomplish SDG17. This paper compiles a budget dataset for the top five federally-funded space agencies: CNSA, ESA, JAXA, NASA, and Roscosmos. Using time-series econometric anslysis methods in STATA, this work analyzes each agency's economic contributions toward space exploration. The dataset results are used to propose a multinational space mission, Vela, for the development of an orbiting space station around Mars in the late 2030s. Distribution of economic resources and technological capabilities by the respective space programs are proposed to ensure programmatic redundancy and increase the odds of success on the given timeline., Comment: 13 pages, 4 figures, Manuscript presented at the 73rd International Astronautical Congress, IAC 2022, Paris, France, 18 - 22 September 2022. Slideshow presentation: [https://hollydinkel.github.io/assets/pdf/IAC2022_presentation.pdf]

We present Perm, a learned parametric model of human 3D hair designed to facilitate various hair-related applications. Unlike previous work that jointly models the global hair shape and local strand details, we propose to disentangle them using a PCA-based strand representation in the frequency domain, thereby allowing more precise editing and output control. Specifically, we leverage our strand representation to fit and decompose hair geometry textures into low- to high-frequency hair structures. These decomposed textures are later parameterized with different generative models, emulating common stages in the hair modeling process. We conduct extensive experiments to validate the architecture design of \textsc{Perm}, and finally deploy the trained model as a generic prior to solve task-agnostic problems, further showcasing its flexibility and superiority in tasks such as 3D hair parameterization, hairstyle interpolation, single-view hair reconstruction, and hair-conditioned image generation. Our code, data, and supplemental can be found at our project page: https://cs.yale.edu/homes/che/projects/perm/, Comment: Project page: https://cs.yale.edu/homes/che/projects/perm/

The Alder-Andrews Theorem, a partition inequality generalizing Euler's partition identity, the first Rogers-Ramanujan identity, and a theorem of Schur to $d$-distinct partitions of $n$, was proved successively by Andrews in 1971, Yee in 2008, and Alfes, Jameson, and Lemke Oliver in 2010. While Andrews and Yee utilized $q$-series and combinatorial methods, Alfes et al. proved the finite number of remaining cases using asymptotics originating with Meinardus together with high-performance computing. In 2020, Kang and Park conjectured a "level $2$" Alder-Andrews type partition inequality which relates to the second Rogers-Ramanujan identity. Duncan, Khunger, the second author, and Tamura proved Kang and Park's conjecture for all but finitely many cases using a combinatorial shift identity. Here, we generalize the methods of Alfes et al. to resolve nearly all of the remaining cases of Kang and Park's conjecture.

The European Committee for Future Accelerators (ECFA) Early-Career Researcher (ECR) panel, which represents the interests of the ECR community to ECFA, presents in this document its initiatives and activities in the year 2023. This report summarises the process of the first big turnover in the panel composition at the start of 2023 and reports on the activities of the active working groups - either pursued from before or newly established. The overarching goal of the ECFA-ECR panel is to better understand and support the diverse interests of early-career researchers in the ECFA community and beyond., Comment: Editors: Jan-Hendrik Arling, Cecilia Borca, Armin Ilg, Arnau Morancho Tarda, Holly Pacey, Marko Pesut, Elisabetta Spadaro Norella and Marta Urbaniak. arXiv admin note: substantial text overlap with arXiv:2212.11238

In the quest for enhanced HIV prevention methods, the advent of antiretroviral drugs as pre-exposure prophylaxis (PrEP) has marked a significant stride forward. However, the ethical challenges in conducting placebo-controlled trials for new PrEP agents against a backdrop of highly effective existing PrEP options necessitates innovative approaches. This manuscript delves into the design and implementation of active-controlled trials that incorporate a counterfactual placebo estimate - a theoretical estimate of what HIV incidence would have been without effective prevention. We introduce a novel statistical framework for regulatory approval of new PrEP agents, predicated on the assumption of an available and consistent counterfactual placebo estimate. Our approach aims to assess the absolute efficacy (i.e., against placebo) of the new PrEP agent relative to the absolute efficacy of the active control. We propose a two-step procedure for hypothesis testing and further develop an approach that addresses potential biases inherent in non-randomized comparison to counterfactual placebos. By exploring different scenarios with moderately and highly effective active controls and counterfactual placebo estimates from various sources, we demonstrate how our design can significantly reduce sample sizes compared to traditional non-inferiority trials and offer a robust framework for evaluating new PrEP agents. This work contributes to the methodological repertoire for HIV prevention trials and underscores the importance of adaptability in the face of ethical and practical challenges.

In recent decades, computer science (CS) has undergone remarkable growth and diversification. Creating attractive, social, or hands-on games has already been identified as a possible approach to get teenagers and young adults interested in CS. However, overcoming the global gap between the interest and participation of men and women in CS is still a worldwide problem. To address this challenge, we present a multiplayer game that is used in a workshop setting to motivate girls to program through a 3D game environment. The paper aims to expand the educational landscape within computer science education by offering a motivating and engaging platform for young women to explore programming quests in a collaborative environment. The study involved 235 girls and 50 coaches for the workshop evaluation and a subset of 20 participants for an in-game analysis. In this paper, we explore the engagement in programming and assess the cognitive workload while playing and solving programming quests within the game, as well as the learning experience and the outcome. The results show that the positive outcomes of the workshop underscore the effectiveness of a game-based collaborative learning approach to get girls interested in computer science activities. The variety of solutions found for the different tasks demonstrates the creativity and problem-solving skills of the participants and underlines the effectiveness of the workshop in promoting critical thinking and computational skills.

Computer Science (CS) has experienced significant growth and diversification in recent decades. However, there is a lack of diversity in CS learning approaches. Traditional teaching methods and hands-on learning dominate this field, with limited use of playful and interactive learning methods such as educational games. This gap is particularly evident in game development as a subfield of CS. To address this problem, we present a game-based learning approach to teach foundational concepts for game development. The paper aims to expand the educational landscape within CSE, offering a unique and engaging platform for learners to explore the intricacies of game creation by integrating gamified learning strategies. In this paper, we investigate the user's learning experience and motivation, and the differences between traditional learning and game-based learning methods for teaching game development concepts. The study involves 57 participants in an AB test to assess learners' motivation, user experience, and learning outcomes. The results indicate a significantly increased learning outcome for the game-based learning approach, as well as higher motivation in learning game development concepts.

The next generation of space-based networks will contain optical clocks embedded within satellites. To fully realize the capabilities of such clocks, high-precision clock synchronization across the networks will be necessary. Current experiments have shown the potential for classical frequency combs to synchronize remote optical clocks over free-space. However, these classical combs are restricted in precision to the standard quantum limit. Quantum frequency combs, however, which exhibit quantum properties such as squeezing and entanglement, provide pathways for going beyond the standard quantum limit. Here, we present our perspective on the prospects for practical clock synchronization in space using both classical and quantum frequency combs. We detail the current outcomes achievable with a classical frequency comb approach to synchronization, before quantifying the potential outcomes offered by quantum frequency combs. Challenges to be overcome in deploying frequency combs in space are presented, and the implications of almost-perfect synchronization for future space-based applications and experiments discussed., Comment: 23 pages, 11 figures, perspective, comments welcome

Projecting sea-level change in various climate-change scenarios typically involves running forward simulations of the Earth's gravitational, rotational and deformational (GRD) response to ice mass change, which requires high computational cost and time. Here we build neural-network emulators of sea-level change at 27 coastal locations, due to the GRD effects associated with future Antarctic Ice Sheet mass change over the 21st century. The emulators are based on datasets produced using a numerical solver for the static sea-level equation and published ISMIP6-2100 ice-sheet model simulations referenced in the IPCC AR6 report. We show that the neural-network emulators have an accuracy that is competitive with baseline machine learning emulators. In order to quantify uncertainty, we derive well-calibrated prediction intervals for simulated sea-level change via a linear regression postprocessing technique that uses (nonlinear) machine learning model outputs, a technique that has previously been applied to numerical climate models. We also demonstrate substantial gains in computational efficiency: a feedforward neural-network emulator exhibits on the order of 100 times speedup in comparison to the numerical sea-level equation solver that is used for training.

In this effort, we demonstrate the performance of a highly stable time reference for the proposed Black Hole Explorer (BHEX) mission, a space-based extension to the Event Horizon Telescope (EHT) Very Long Baseline Interferometry (VLBI) project. This precision timing system is based on the use of a space-qualified, ultra-low noise laser developed as part of the Laser Interferometer Space Antenna (LISA) mission as the timing reference, and an optical frequency comb to transfer the stability of this laser to the microwave regime for instrumentation use. We describe the implementation of this system and experimental setup to characterize the stability performance. We present the results of this experiment that demonstrate the performance of this system meets requirements for the BHEX mission., Comment: To be published in the proceedings of SPIE Astronomical Telescopes + Instrumentation 2024

In a 2016 paper, Straub proved an analogue to Euler's partition identity for partitions with fixed perimeter. Later, Fu and Tang provided a refinement and generalization of Straub's analogue to $d$-distinct partitions as well as a result related to the first Rogers-Ramanujan identity. Motivated by Alder-type partition identities and their generalizations, we build on work of Fu and Tang to establish generalized Alder-type partition inequalities in a fixed perimeter setting, and notably, a reverse Alder-type inequality., Comment: 13 pages

Skills in the field of computer science (CS) are increasingly in demand. Often traditional teaching approaches are not sufficient to teach complex computational concepts. Interactive and digital learning experiences have been shown as valuable tools to support learners in understanding. However, the missing social interaction affects the quality of the learning experience. Adding collaborative and competitive elements can make the virtual learning environment even more social, engaging, and motivating for learners. In this paper, we explore the potential of collaborative and competitive elements in an interactive virtual laboratory environment with a focus on computer science education. In an AB study with 35 CS students, we investigated the effectiveness of collaborative and competitive elements in a virtual laboratory using interactive visualizations of sorting algorithms.

Advances in Large Language Models (LLMs) have led to significant interest in their potential to support human experts across a range of domains, including public health. In this work we present automated evaluations of LLMs for public health tasks involving the classification and extraction of free text. We combine six externally annotated datasets with seven new internally annotated datasets to evaluate LLMs for processing text related to: health burden, epidemiological risk factors, and public health interventions. We initially evaluate five open-weight LLMs (7-70 billion parameters) across all tasks using zero-shot in-context learning. We find that Llama-3-70B-Instruct is the highest performing model, achieving the best results on 15/17 tasks (using micro-F1 scores). We see significant variation across tasks with all open-weight LLMs scoring below 60% micro-F1 on some challenging tasks, such as Contact Classification, while all LLMs achieve greater than 80% micro-F1 on others, such as GI Illness Classification. For a subset of 12 tasks, we also evaluate GPT-4 and find comparable results to Llama-3-70B-Instruct, which scores equally or outperforms GPT-4 on 6 of the 12 tasks. Overall, based on these initial results we find promising signs that LLMs may be useful tools for public health experts to extract information from a wide variety of free text sources, and support public health surveillance, research, and interventions., Comment: 33 pages. Feedback and comments are highly appreciated

Large language models (LLMs) have transformed AI and achieved breakthrough performance on a wide range of tasks that require human intelligence. In science, perhaps the most interesting application of LLMs is for hypothesis formation. A feature of LLMs, which results from their probabilistic structure, is that the output text is not necessarily a valid inference from the training text. These are 'hallucinations', and are a serious problem in many applications. However, in science, hallucinations may be useful: they are novel hypotheses whose validity may be tested by laboratory experiments. Here we experimentally test the use of LLMs as a source of scientific hypotheses using the domain of breast cancer treatment. We applied the LLM GPT4 to hypothesize novel pairs of FDA-approved non-cancer drugs that target the MCF7 breast cancer cell line relative to the non-tumorigenic breast cell line MCF10A. In the first round of laboratory experiments GPT4 succeeded in discovering three drug combinations (out of 12 tested) with synergy scores above the positive controls. These combinations were itraconazole + atenolol, disulfiram + simvastatin and dipyridamole + mebendazole. GPT4 was then asked to generate new combinations after considering its initial results. It then discovered three more combinations with positive synergy scores (out of four tested), these were disulfiram + fulvestrant, mebendazole + quinacrine and disulfiram + quinacrine. A limitation of GPT4 as a generator of hypotheses was that its explanations for them were formulaic and unconvincing. We conclude that LLMs are an exciting novel source of scientific hypotheses., Comment: 13 pages, 6 tables, 1 figure. Supplementary information available

Lepton flavour violation (LFV), and lepton flavour university violation (LFUV), are striking signatures of beyond the Standard Model (BSM) physics. Recent searches for these at the ATLAS and CMS experiments are presented, using proton-proton collisions with a centre of mass energy of 13 TeV. A range of models and signatures are considered, including leptoquarks, heavy neutral leptons, LFV in $\tau$ lepton decays, and new measurements of $R(K)$ and $R(J/\Psi)$., Comment: Contribution to the 2024 QCD session of the 58th Rencontres de Moriond

A growing literature on speech interruptions describes how people interrupt one another with speech, but these behaviours have not yet been implemented in the design of artificial agents which interrupt. Perceptions of a prototype proactive speech agent which adapts its speech to both urgency and to the difficulty of the ongoing task it interrupts are compared against perceptions of a static proactive agent which does not. The study hypothesises that adaptive proactive speech modelled on human speech interruptions will lead to partner models which consider the proactive agent as a stronger conversational partner than a static agent, and that interruptions initiated by an adaptive agent will be judged as better timed and more appropriately asked. These hypotheses are all rejected however, as quantitative analysis reveals that participants view the adaptive agent as a poorer dialogue partner than the static agent and as less appropriate in the style it interrupts. Qualitative analysis sheds light on the source of this surprising finding, as participants see the adaptive agent as less socially appropriate and as less consistent in its interactions than the static agent., Comment: Accepted to CUI 2024 - 6th Conference on Conversational User Interfaces

This document presents the outcomes of a comprehensive survey conducted among early career researchers (ECRs) in academic particle physics. Running from September 24, 2022, to March 3, 2023, the survey gathered responses from 759 ECRs employed in 39 countries. The study aimed to gain insights into the career prospects and experiences of ECRs while also delving into diversity and sociological aspects within particle physics research. The survey results are presented in a manner consistent with the survey choices. The document offers insights for the particle physics community, and provides a set of recommendations for enhancing career prospects, fostering diversity, and addressing sociological dimensions within this field., Comment: Editors: Julia Allen, Kate\v{r}ina Jarkovsk\'a, Aleksandra Lelek, Holly Pacey, Guillaume Pietrzyk and G\'eraldine R\"auber

Quantum computers hold the promise of solving certain problems that lie beyond the reach of conventional computers. Establishing this capability, especially for impactful and meaningful problems, remains a central challenge. One such problem is the simulation of nonequilibrium dynamics of a magnetic spin system quenched through a quantum phase transition. State-of-the-art classical simulations demand resources that grow exponentially with system size. Here we show that superconducting quantum annealing processors can rapidly generate samples in close agreement with solutions of the Schr\"odinger equation. We demonstrate area-law scaling of entanglement in the model quench in two-, three- and infinite-dimensional spin glasses, supporting the observed stretched-exponential scaling of effort for classical approaches. We assess approximate methods based on tensor networks and neural networks and conclude that no known approach can achieve the same accuracy as the quantum annealer within a reasonable timeframe. Thus quantum annealers can answer questions of practical importance that classical computers cannot.

As efforts to mitigate the effects of climate change grow, reliable and thorough reporting of greenhouse gas emissions are essential for measuring progress towards international and domestic emissions reductions targets. New Zealand's national emissions inventories are currently reported between 15 to 27 months out-of-date. We present a machine learning approach to nowcast (dynamically estimate) national greenhouse gas emissions in New Zealand in advance of the national emissions inventory's release, with just a two month latency due to current data availability. Key findings include an estimated 0.2% decrease in national gross emissions since 2020 (as at July 2022). Our study highlights the predictive power of a dynamic view of emissions intensive activities. This methodology is a proof of concept that a machine learning approach can make sub-annual estimates of national greenhouse gas emissions by sector with a relatively low error that could be of value for policy makers.

Sketching is a powerful tool for creating abstract images that are sparse but meaningful. Sketch understanding poses fundamental challenges for general-purpose vision algorithms because it requires robustness to the sparsity of sketches relative to natural visual inputs and because it demands tolerance for semantic ambiguity, as sketches can reliably evoke multiple meanings. While current vision algorithms have achieved high performance on a variety of visual tasks, it remains unclear to what extent they understand sketches in a human-like way. Here we introduce SEVA, a new benchmark dataset containing approximately 90K human-generated sketches of 128 object concepts produced under different time constraints, and thus systematically varying in sparsity. We evaluated a suite of state-of-the-art vision algorithms on their ability to correctly identify the target concept depicted in these sketches and to generate responses that are strongly aligned with human response patterns on the same sketch recognition task. We found that vision algorithms that better predicted human sketch recognition performance also better approximated human uncertainty about sketch meaning, but there remains a sizable gap between model and human response patterns. To explore the potential of models that emulate human visual abstraction in generative tasks, we conducted further evaluations of a recently developed sketch generation algorithm (Vinker et al., 2022) capable of generating sketches that vary in sparsity. We hope that public release of this dataset and evaluation protocol will catalyze progress towards algorithms with enhanced capacities for human-like visual abstraction., Comment: Accepted to the Advances in Neural Information Processing Systems (Datasets and Benchmarks Track) 2023

This work presents an algorithm for scene change detection from point clouds to enable autonomous robotic caretaking in future space habitats. Autonomous robotic systems will help maintain future deep-space habitats, such as the Gateway space station, which will be uncrewed for extended periods. Existing scene analysis software used on the International Space Station (ISS) relies on manually-labeled images for detecting changes. In contrast, the algorithm presented in this work uses raw, unlabeled point clouds as inputs. The algorithm first applies modified Expectation-Maximization Gaussian Mixture Model (GMM) clustering to two input point clouds. It then performs change detection by comparing the GMMs using the Earth Mover's Distance. The algorithm is validated quantitatively and qualitatively using a test dataset collected by an Astrobee robot in the NASA Ames Granite Lab comprising single frame depth images taken directly by Astrobee and full-scene reconstructed maps built with RGB-D and pose data from Astrobee. The runtimes of the approach are also analyzed in depth. The source code is publicly released to promote further development., Comment: 15 pages, 7 figures, Manuscript was presented at the AIAA SciTech Forum in Orlando, FL, USA, 8 - 12 January 2024. Video presentation: [https://www.youtube.com/watch?v=7WHp0dQYG4Y]. Code: [https://github.com/nasa/isaac/tree/master/anomaly/gmm-change-detection]

With the current highest beam energy at Jefferson Lab and traditional methods, we have exhausted our sensitivity for observing the onset of proton color transparency in a nucleus in A(e,e'p) parallel scattering kinematics for up to $Q^{2}$ = 14 GeV$^{2}$ . One of the disadvantages in A(e,e'p) experiments is that even if a point-like color singlet is produced at such $Q^{2}$, its expansion is unconstrained over the full radius of the nuclei, with the potential to significantly reduce the size of the color transparency effect. Therefore, in order to be sensitive to the effects of color transparency, we enhance the sensitivity of the measurement to the production of a point-like color neutral object prior to the onset of wave-function expansion. In this experiment, we propose a color transparency measurement in maximal rescattering ("dirty") kinematics in deuterium where final-state interactions (FSIs) are known to be huge effects, thereby enhancing our sensitivity to a reduction in FSIs indicative of color transparency. The kinematics in exclusive processes in deuterium can be precisely chosen such that the inter-nucleon distances of the struck and spectator nucleon lead to well-controlled FSIs., Comment: 18 pages, 14 figures, Jefferson Lab Program Advisory Committee (PAC) 51 experimental proposal

Assistive free-flyer robots autonomously caring for future crewed outposts -- such as NASA's Astrobee robots on the International Space Station (ISS) -- must be able to detect day-to-day interior changes to track inventory, detect and diagnose faults, and monitor the outpost status. This work presents a framework for multi-agent cooperative mapping and change detection to enable robotic maintenance of space outposts. One agent is used to reconstruct a 3D model of the environment from sequences of images and corresponding depth information. Another agent is used to periodically scan the environment for inconsistencies against the 3D model. Change detection is validated after completing the surveys using real image and pose data collected by Astrobee robots in a ground testing environment and from microgravity aboard the ISS. This work outlines the objectives, requirements, and algorithmic modules for the multi-agent reconstruction system, including recommendations for its use by assistive free-flyers aboard future microgravity outposts., Comment: 11 pages, 8 figures, Manuscript presented at the 74th International Astronautical Congress, IAC 2023, Baku, Azerbaijan, 2 - 6 October 2023. Video presentation: [https://www.youtube.com/watch?v=VfjV-zwFEtU]. Code: [https://github.com/hollydinkel/astrobeecd]

This work presents an algorithm for tracking the shape of multiple entangling Deformable Linear Objects (DLOs) from a sequence of RGB-D images. This algorithm runs in real-time and improves on previous single-DLO tracking approaches by enabling tracking of multiple objects. This is achieved using Global-Local Topology Preservation (GLTP). This work uses the geodesic distance in GLTP to define the distance between separate objects and the distance between different parts of the same object. Tracking multiple entangling DLOs is demonstrated experimentally. The source code is publicly released., Comment: 3 pages, 3 figures, presented at the 3rd Workshop on Representing and Manipulating Deformable Objects at the IEEE International Conference on Robotics and Automation. Video presentation [https://youtu.be/hfiqwMxitqA]. 3rd Workshop on Representing and Manipulating Deformable Objects [https://deformable-workshop.github.io/icra2023/]

This work evaluates the impact of time step frequency and component scale on robotic manipulation simulation accuracy. Increasing the time step frequency for small-scale objects is shown to improve simulation accuracy. This simulation, demonstrating pre-assembly part picking for two object geometries, serves as a starting point for discussing how to improve Sim2Real transfer in robotic assembly processes., Comment: 3 pages, 3 figures, Best Poster Finalist at the 2023 Robotics and AI in Future Factory Workshop at the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Video presentation [https://www.youtube.com/watch?v=JOXrBpMmI0A]. Robotics and AI in Future Factory workshop [https://sites.google.com/view/robot-ai-future-factory/]

The rapid advancement of the Large Language Model (LLM) has created numerous potentials for integration with conversational assistants (CAs) assisting people in their daily tasks, particularly due to their extensive flexibility. However, users' real-world experiences interacting with these assistants remain unexplored. In this research, we chose cooking, a complex daily task, as a scenario to investigate people's successful and unsatisfactory experiences while receiving assistance from an LLM-based CA, Mango Mango. We discovered that participants value the system's ability to provide extensive information beyond the recipe, offer customized instructions based on context, and assist them in dynamically planning the task. However, they expect the system to be more adaptive to oral conversation and provide more suggestive responses to keep users actively involved. Recognizing that users began treating our LLM-CA as a personal assistant or even a partner rather than just a recipe-reading tool, we propose several design considerations for future development., Comment: Under submission to CHI2024

Scalable quantum processors require high-fidelity universal quantum logic operations in a manufacturable physical platform. Donors in silicon provide atomic size, excellent quantum coherence and compatibility with standard semiconductor processing, but no entanglement between donor-bound electron spins has been demonstrated to date. Here we present the experimental demonstration and tomography of universal 1- and 2-qubit gates in a system of two weakly exchange-coupled electrons, bound to single phosphorus donors introduced in silicon by ion implantation. We surprisingly observe that the exchange interaction has no effect on the qubit coherence. We quantify the fidelity of the quantum operations using gate set tomography (GST), and we use the universal gate set to create entangled Bell states of the electrons spins, with fidelity ~ 93%, and concurrence 0.91 +/- 0.08. These results form the necessary basis for scaling up donor-based quantum computers.

Network biology is an interdisciplinary field bridging computational and biological sciences that has proved pivotal in advancing the understanding of cellular functions and diseases across biological systems and scales. Although the field has been around for two decades, it remains nascent. It has witnessed rapid evolution, accompanied by emerging challenges. These challenges stem from various factors, notably the growing complexity and volume of data together with the increased diversity of data types describing different tiers of biological organization. We discuss prevailing research directions in network biology and highlight areas of inference and comparison of biological networks, multimodal data integration and heterogeneous networks, higher-order network analysis, machine learning on networks, and network-based personalized medicine. Following the overview of recent breakthroughs across these five areas, we offer a perspective on the future directions of network biology. Additionally, we offer insights into scientific communities, educational initiatives, and the importance of fostering diversity within the field. This paper establishes a roadmap for an immediate and long-term vision for network biology., Comment: 52 pages, 6 figures, 1 table