title: SHIMM as an atmospheric profiler on the Nickel Telescope

abstract: Optimal atmospheric conditions are beneficial for detecting exoplanets via high contrast imaging (HCI), as speckles from adaptive optics' (AO's) residuals can make it difficult to identify exoplanets. While AO systems greatly improve our image quality, having access to real-time estimates of atmospheric conditions could also help astronomers use their telescope time more efficiently in the search for exoplanets as well as aid in the data reduction process. The Shack-Hartmann Imaging Motion Monitor (SHIMM) is an atmospheric profiler that utilizes a Shack-Hartmann wavefront sensor to create spot images of a single star in order to reconstruct important atmospheric parameters such as the Fried parameter ($r_0$), $C_n^2$ profile and coherence time. Due to its simplicity, the SHIMM can be directly used on a telescope to get in situ measurements while observing. We present our implementation of the Nickel-SHIMM design for the one meter Nickel Telescope at Lick Observatory. We utilize an HCIPy simulation of turbulence propagating across a telescope aperture to verify the SHIMM data reduction pipeline as we begin on-sky testing. We also used on-sky data from the AO system on the Shane Telescope to further validate our analysis, finding that both our simulation and data reduction pipeline are consistent with previously determined results for the Fried parameter at the Lick Observatory. Finally, we present first light results from commissioning of the Nickel-SHIMM.


title: A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo

abstract: Temporal logic is an important tool for specifying complex behaviors of systems. It can be used to define properties for verification and monitoring, as well as goals for synthesis tools, allowing users to specify rich missions and tasks. Some of the most popular temporal logics include Metric Temporal Logic (MTL), Signal Temporal Logic (STL), and weighted STL (wSTL), which also allow the definition of timing constraints. In this work, we introduce PyTeLo, a modular and versatile Python-based software that facilitates working with temporal logic languages, specifically MTL, STL, and wSTL. Applying PyTeLo requires only a string representation of the temporal logic specification and, optionally, the dynamics of the system of interest. Next, PyTeLo reads the specification using an ANTLR-generated parser and generates an Abstract Syntax Tree (AST) that captures the structure of the formula. For synthesis, the AST serves to recursively encode the specification into a Mixed Integer Linear Program (MILP) that is solved using a commercial solver such as Gurobi. We describe the architecture and capabilities of PyTeLo and provide example applications highlighting its adaptability and extensibility for various research problems.


title: Toward Joint Language Modeling for Speech Units and Text

abstract: Speech and text are two major forms of human language. The research community has been focusing on mapping speech to text or vice versa for many years. However, in the field of language modeling, very little effort has been made to model them jointly. In light of this, we explore joint language modeling for speech units and text. Specifically, we compare different speech tokenizers to transform continuous speech signals into discrete units and use different methods to construct mixed speech-text data. We introduce automatic metrics to evaluate how well the joint LM mixes speech and text. We also fine-tune the LM on downstream spoken language understanding (SLU) tasks with different modalities (speech or text) and test its performance to assess the model's learning of shared representations. Our results show that by mixing speech units and text with our proposed mixing techniques, the joint LM improves over a speech-only baseline on SLU tasks and shows zero-shot cross-modal transferability.


title: Transformer Choice Net: A Transformer Neural Network for Choice Prediction

abstract: Discrete-choice models, such as Multinomial Logit, Probit, or Mixed-Logit, are widely used in Marketing, Economics, and Operations Research: given a set of alternatives, the customer is modeled as choosing one of the alternatives to maximize a (latent) utility function. However, extending such models to situations where the customer chooses more than one item (such as in e-commerce shopping) has proven problematic. While one can construct reasonable models of the customer's behavior, estimating such models becomes very challenging because of the combinatorial explosion in the number of possible subsets of items. In this paper we develop a transformer neural network architecture, the Transformer Choice Net, that is suitable for predicting multiple choices. Transformer networks turn out to be especially suitable for this task as they take into account not only the features of the customer and the items but also the context, which in this case could be the assortment as well as the customer's past choices. On a range of benchmark datasets, our architecture shows uniformly superior out-of-sample prediction performance compared to the leading models in the literature, without requiring any custom modeling or tuning for each instance.


title: Designing Observables for Measurements with Deep Learning

abstract: Many analyses in particle and nuclear physics use simulations to infer fundamental, effective, or phenomenological parameters of the underlying physics models. When the inference is performed with unfolded cross sections, the observables are designed using physics intuition and heuristics. We propose to design optimal observables with machine learning. Unfolded, differential cross sections in a neural network output contain the most information about parameters of interest and can be well-measured by construction. We demonstrate this idea using two physics models for inclusive measurements in deep inelastic scattering.


title: A Framework for Developing and Evaluating Algorithms for Estimating Multipath Propagation Parameters from Channel Sounder Measurements

abstract: A framework is proposed for developing and evaluating algorithms for extracting multipath propagation components (MPCs) from measurements collected by channel sounders at millimeter-wave frequencies. Sounders equipped with an omnidirectional transmitter and a receiver with a uniform planar array (UPA) are considered. An accurate mathematical model is developed for the spatial frequency response of the sounder that incorporates the non-ideal cross-polar beampatterns for the UPA elements. Due to the limited Field-of-View (FoV) of each element, the model is extended to accommodate multi-FoV measurements in distinct azimuth directions. A beamspace representation of the spatial frequency response is leveraged to develop three progressively complex algorithms aimed at solving the singlesnapshot maximum likelihood estimation problem: greedy matching pursuit (CLEAN), space-alternative generalized expectationmaximization (SAGE), and RiMAX. The first two are based on purely specular MPCs whereas RiMAX also accommodates diffuse MPCs. Two approaches for performance evaluation are proposed, one with knowledge of ground truth parameters, and one based on reconstruction mean-squared error. The three algorithms are compared through a demanding channel model with hundreds of MPCs and through real measurements. The results demonstrate that CLEAN gives quite reasonable estimates which are improved by SAGE and RiMAX. Lessons learned and directions for future research are discussed.


title: Measuring Sources of Bias in Diving Competitions

abstract: We examine bias in diving scores from high school meets. Usually, examination of bias in sports where judges assign subjective scores has been examined in terms of nationalistic bias, where judges award favorable scores to athletes from their own home countries. In this work, bias is defined as difference between the judge's scores for a given meet and the ability of the diver. As a measure of the ability of a diver, we calculate a mean score for all dives and all meets in which the diver has participated. We call this mean score a diver's competency score. We use the difference between judges' scores within a given meet and the diver's competency to define a discrepancy: the difference between a judge's estimation of a diver's ability and their true ability. We examine this discrepancy with respect to age, gender, direction of dive, position of dive, round of competition, and dive difficulty.


title: PDRs4All III: JWST's NIR spectroscopic view of the Orion Bar

abstract: (Abridged) We investigate the impact of radiative feedback from massive stars on their natal cloud and focus on the transition from the HII region to the atomic PDR (crossing the ionisation front (IF)), and the subsequent transition to the molecular PDR (crossing the dissociation front (DF)). We use high-resolution near-IR integral field spectroscopic data from NIRSpec on JWST to observe the Orion Bar PDR as part of the PDRs4All JWST Early Release Science Program. The NIRSpec data reveal a forest of lines including, but not limited to, HeI, HI, and CI recombination lines, ionic lines, OI and NI fluorescence lines, Aromatic Infrared Bands (AIBs including aromatic CH, aliphatic CH, and their CD counterparts), CO2 ice, pure rotational and ro-vibrational lines from H2, and ro-vibrational lines HD, CO, and CH+, most of them detected for the first time towards a PDR. Their spatial distribution resolves the H and He ionisation structure in the Huygens region, gives insight into the geometry of the Bar, and confirms the large-scale stratification of PDRs. We observe numerous smaller scale structures whose typical size decreases with distance from Ori C and IR lines from CI, if solely arising from radiative recombination and cascade, reveal very high gas temperatures consistent with the hot irradiated surface of small-scale dense clumps deep inside the PDR. The H2 lines reveal multiple, prominent filaments which exhibit different characteristics. This leaves the impression of a "terraced" transition from the predominantly atomic surface region to the CO-rich molecular zone deeper in. This study showcases the discovery space created by JWST to further our understanding of the impact radiation from young stars has on their natal molecular cloud and proto-planetary disk, which touches on star- and planet formation as well as galaxy evolution.


title: Drug Supply Chain Optimization for Adaptive Clinical Trials

abstract: With increasing interest in adaptive clinical trial designs, challenges are present to drug supply chain management which may offset the benefit of adaptive designs. Thus, it is necessary to develop an optimization tool to facilitate the decision making and analysis of drug supply chain planning. The challenges include the uncertainty of maximum drug supply needed, the shifting of supply requirement, and rapid availability of new supply at decision points. In this paper, statistical simulations are designed to optimize the pre-study medication supply strategy and monitor ongoing drug supply using real-time data collected with the progress of study. Particle swarm algorithm is applied when performing optimization, where feature extraction is implemented to reduce dimensionality and save computational cost.


title: Free-space and near-wall dynamics of a flexible sheet sedimenting in Stokes flow

abstract: We present a numerical study of a thin elastic sheet with small extensibility freely sedimenting in a viscous fluid. Two scenarios are investigated: sedimentation in free space and near an infinite wall, where the wall may be vertical or tilted. Elastic sheets with a rest shape of a square are modeled with a finite-element-based continuum model that accounts for in-plane stretching and out-of-plane bending. The fluid motion is computed by the method of regularized Stokeslets in free space and regularized Blakelets near a wall. During sedimentation, the interplay between gravity and the elastic response of sheets gives rise to complex deformation and reorientation dynamics, measured by a dimensionless elasto-gravitational number. In free space, sheets attain a stable orientation by aligning perpendicular to gravity. Sheets with larger deformability adopt more compact conformations and experience smaller hydrodynamic drag, thereby sedimenting faster. A sheet with a random initial orientation reorients to align perpendicular to gravity, accompanied by lateral drift due to the symmetry-breaking in conformations. We identified two reorientation mechanisms depending on flexibility. When a sheet is placed near an infinite wall, sedimentation is hindered compared to that in free space due to wall-induced hydrodynamic drag. Near a vertical wall, sheets exhibit asymmetric conformations that cause the sheet to drift, with the drifting dynamics determined by elasto-gravitational number. The difference in flexibility leads to a non-monotonic trend in the evolution of wall-normal distance. Near a tilted wall, sheets show qualitatively different dynamics when the wall angle is large: they either deposit on or slide along the wall with a fixed wall-normal distance.


title: Computing centralizers in [f.g. free]-by-cyclic groups

abstract: We prove that centralizers of elements in [f.g. free]-by-cyclic groups are computable. As a corollary we get that, given two conjugate elements in a [f.g. free]-by-cyclic group, the set of conjugators can be computed and that the conjugacy problem with context-free constraints is decidable. In the end, we pose several problems arising naturally from this work.


title: When the horseshoe fits: Characterizing 2023 FY3 with the 10.4 m Gran Telescopio Canarias and the Two-meter Twin Telescope

abstract: Context. The Arjuna asteroid belt is loosely defined as a diverse group of small asteroids that follow dynamically cold, Earth-like orbits. Most of them are not actively engaged in resonant, co-orbital behavior with Earth. Some of them experience temporary but recurrent horseshoe episodes. Objects in horseshoe paths tend to approach Earth at a low velocity, leading to captures as Earth's temporary satellites or mini-moons. Four such objects have already been identified: 1991 VG, 2006 RH120, 2020 CD3, and 2022 NX1. Here, we focus on 2023 FY3, a recent finding, the trajectory of which might have a co-orbital status and perhaps lead to temporary captures. Aims. We want to determine the physical properties of 2023 FY3 and explore its dynamical evolution. Methods. We carried out an observational study of 2023 FY3 using the OSIRIS camera spectrograph at the 10.4 m Gran Telescopio Canarias, to derive its spectral class, and time-series photometry obtained with QHY411M cameras and two units of the Two-meter Twin Telescope to investigate its rotational state. N-body simulations were also performed to examine its possible resonant behavior. Results. The visible reflectance spectrum of 2023 FY3 is consistent with that of an S-type asteroid; its light curve gives a rotation period of 9.3$\pm$0.6 min, with an amplitude of 0.48$\pm$0.13 mag. We confirm that 2023 FY3 roams the edge of Earth's co-orbital space. Conclusions. Arjuna 2023 FY3, an S-type asteroid and fast rotator, currently exhibits horseshoe-like resonant behavior and in the past experienced mini-moon engagements of the temporarily captured flyby type that may repeat in the future. The spectral type result further confirms that mini-moons are a diverse population in terms of surface composition.


title: Heterophily-Based Graph Neural Network for Imbalanced Classification

abstract: Graph neural networks (GNNs) have shown promise in addressing graph-related problems, including node classification. However, conventional GNNs assume an even distribution of data across classes, which is often not the case in real-world scenarios, where certain classes are severely underrepresented. This leads to suboptimal performance of standard GNNs on imbalanced graphs. In this paper, we introduce a unique approach that tackles imbalanced classification on graphs by considering graph heterophily. We investigate the intricate relationship between class imbalance and graph heterophily, revealing that minority classes not only exhibit a scarcity of samples but also manifest lower levels of homophily, facilitating the propagation of erroneous information among neighboring nodes. Drawing upon this insight, we propose an efficient method, called Fast Im-GBK, which integrates an imbalance classification strategy with heterophily-aware GNNs to effectively address the class imbalance problem while significantly reducing training time. Our experiments on real-world graphs demonstrate our model's superiority in classification performance and efficiency for node classification tasks compared to existing baselines.


title: Design-Based RCT Estimators and Central Limit Theorems for Baseline Subgroup and Related Analyses

abstract: There is a growing literature on design-based methods to estimate average treatment effects (ATEs) for randomized controlled trials (RCTs) for full sample analyses. This article extends these methods to estimate ATEs for discrete subgroups defined by pre-treatment variables, with an application to an RCT testing subgroup effects for a school voucher experiment in New York City. We consider ratio estimators for subgroup effects using regression methods, allowing for model covariates to improve precision, and prove a finite population central limit theorem. We discuss extensions to blocked and clustered RCT designs, and to other common estimators with random treatment-control sample sizes (or weights): post-stratification estimators, weighted estimators that adjust for data nonresponse, and estimators for Bernoulli trials. We also develop simple variance estimators that share features with robust estimators. Simulations show that the design-based subgroup estimators yield confidence interval coverage near nominal levels, even for small subgroups.


title: Sub-0.6 eV Inverted Metamorphic GaInAs Cells Grown on InP and GaAs Substrates for Thermophotovoltaics and Laser Power Conversion

abstract: We present inverted metamorphic Ga0.3In0.7As photovoltaic converters with sub-0.60 eV bandgaps grown on InP and GaAs substrates. The compositionally graded buffers in these devices have threading dislocation densities of 1.3x10^6 cm^-2 and 8.9x10^6 cm^-2 on InP and GaAs, respectively. The devices generate open-circuit voltages of 0.386 V and 0.383 V, respectively, at a current density of ~10 A/cm^2, yielding bandgap-voltage offsets of 0.20 and 0.21 V. We measured their broadband reflectance and used it to estimate thermophotovoltaic efficiency. The InP-based cell is estimated to yield 1.09 W/cm^2 at 1100 degrees C vs. 0.92 W/cm^2 for the GaAs-based cell, with efficiencies of 16.8 vs. 9.2%. The efficiencies of both devices are limited by sub-bandgap absorption, with power weighted sub-bandgap reflectances of 81% and 58%, respectively, which we assess largely occurs in the graded buffers. We estimate that the thermophotovoltaic efficiencies would peak at ~1100 degrees C at 24.0% and 20.7% in structures with the graded buffer removed, if previously demonstrated reflectance is achieved. These devices also have application to laser power conversion in the 2.0-2.3 micron atmospheric window. We estimate peak LPC efficiencies of 36.8% and 32.5% under 2.0 micron irradiances of 1.86 W/cm^2 and 2.81 W/cm^2, respectively.


title: Quantum Communication Countermeasures

abstract: Quantum communication, particularly quantum key distribution, is poised to play a pivotal role in our communication system in the near future. Consequently, it is imperative to not only assess the vulnerability of quantum communication to eavesdropping (one aspect of quantum hacking), but also to scrutinise the feasibility of executing a denial-of-service attack, specifically, stopping quantum communication from working. Focusing primarily on the free-space quantum channel, the investigation of possible denial-of-service attacks from a strategic perspective is performed. This encompasses the analysis of various scenarios, numerical modelling, risk estimation and attack classification. The out-of-FOV (field of view) attack emerges as a particularly severe threat across nearly all scenarios. This is accompanied by proposed counter-countermeasures and recommendations.


title: Feshbach resonances of composite charge carrier states in atomically thin semiconductor heterostructures

abstract: Feshbach resonances play a vital role in the success of cold atoms investigating strongly-correlated physics. The recent observation of their solid-state analog in the scattering of holes and intralayer excitons in transition metal dichalcogenides [Schwartz et al., Science 374, 336 (2021)] holds compelling promise for bringing fully controllable interactions to the field of semiconductors. Here, we demonstrate how tunneling-induced layer hybridization can lead to the emergence of two distinct classes of Feshbach resonances in atomically thin semiconductors. Based on microscopic scattering theory we show that these two types of Feshbach resonances allow to tune interactions between electrons and both short-lived intralayer, as well as long-lived interlayer excitons. We predict the exciton-electron scattering phase shift from first principles and show that the exciton-electron coupling is fully tunable from strong to vanishing interactions. The tunability of interactions opens the avenue to explore Bose-Fermi mixtures in solid-state systems in regimes that were previously only accessible in cold atom experiments.

categories: cond-mat.mes-hall cond-mat.quant-gas cond-mat.str-el quant-ph


title: On the nature of two-photon transitions for a Collection of Molecules in a Fabry-Perot Cavity

abstract: We investigate the effect of a cavity on nonlinear two-photon transitions of a molecular system and how such an effect depends on the cavity quality factor, the field enhancement and the possibility of dephasing. We find that the molecular response to strong light fields in a cavity with variable quality factor can be understood as arising from a balance between (i) the ability of the cavity to enhance the field of an external probe and promote multiphoton transitions more easily and (ii) the fact that the strict selection rules on multiphoton transitions in a cavity support only one resonant frequency within the excitation range. Although our simulations use a classical-level description of the radiation field (i.e. we solve Maxwell-Bloch or Maxwell-Liouville equations within the Ehrenfest approximation for the field-molecule interaction), based on experience with this level of approximation in past studies of plasmonic and polaritonic systems, we believe that our results are valid over a wide range of external probing.


title: Novelty Detection in Reinforcement Learning with World Models

abstract: Reinforcement learning (RL) using world models has found significant recent successes. However, when a sudden change to world mechanics or properties occurs then agent performance and reliability can dramatically decline. We refer to the sudden change in visual properties or state transitions as novelties. Implementing novelty detection within generated world model frameworks is a crucial task for protecting the agent when deployed. In this paper, we propose straightforward bounding approaches to incorporate novelty detection into world model RL agents, by utilizing the misalignment of the world model's hallucinated states and the true observed states as an anomaly score. We provide effective approaches to detecting novelties in a distribution of transitions learned by an agent in a world model. Finally, we show the advantage of our work in a novel environment compared to traditional machine learning novelty detection methods as well as currently accepted RL focused novelty detection algorithms.


title: Provably Robust Cost-Sensitive Learning via Randomized Smoothing

abstract: We study the problem of robust learning against adversarial perturbations under cost-sensitive scenarios, where the potential harm of different types of misclassifications is encoded in a cost matrix. Existing approaches are either empirical and cannot certify robustness or suffer from inherent scalability issues. In this work, we investigate whether randomized smoothing, a scalable framework for robustness certification, can be leveraged to certify and train for cost-sensitive robustness. Built upon the notion of cost-sensitive certified radius, we first illustrate how to adapt the standard certification algorithm of randomized smoothing to produce tight robustness certificates for any binary cost matrix, and then develop a robust training method to promote certified cost-sensitive robustness while maintaining the model's overall accuracy. Through extensive experiments on image benchmarks, we demonstrate the superiority of our proposed certification algorithm and training method under various cost-sensitive scenarios. Our implementation is available as open source code at: https://github.com/TrustMLRG/CS-RS.


title: Circumstellar interaction models for the early bolometric light curve of SN 2023ixf

abstract: SNe II show growing evidence of interaction with CSM surrounding their progenitor stars as a consequence of enhanced mass loss during the last years of the progenitor's life. We present an analysis of the progenitor mass-loss history of SN2023ixf, a nearby SN II showing signs of interaction. We calculate the early-time bolometric light curve (LC) for SN2023ixf based on the integration of the observed flux covering UV, optical and NIR bands, and black-body extrapolations for the unobserved flux. Our calculations spot the sudden increase to maximum luminosity and temperature, in addition to the subsequent fall, displaying an evident peak. This is the first time that this phase can be precisely estimated for a SN II showing interesting characteristics as: 1) slope changes during the rise to maximum luminosity; and 2) a very sharp peak with a maximum luminosity of $\sim$3$\times$10$^{45}$erg s$^{-1}$. We use the bolometric LC of SN2023ixf to test the calibrations of bolometric corrections against colours from the literature. In addition, we include SN2023ixf into some of the available calibrations to extend their use to earlier epochs. Comparison of the observed bolometric LC to SN II explosion models with CSM interaction suggests a progenitor mass-loss rate of 3$\times$10$^{-3}M_{\odot}$yr$^{-1}$ confined to 12000$R_{\odot}$ and a wind acceleration parameter of $\beta$=5. This model reproduces the early bolometric LC, expansion velocities, and the epoch of disappearance of interacting lines in the spectra. This model indicates that the wind was launched $\sim$80yr before the explosion. If the effect of the wind acceleration is not taken into account, the enhanced wind must have developed over the final months to years prior to the SN, which may not be consistent with the lack of outburst detection in pre-explosion images over the last $\sim$20yr before explosion.


title: Space-time symmetry and parametric resonance in dynamic mechanical systems

abstract: Linear mechanical systems with time-modulated parameters can harbor oscillations with amplitudes that grow or decay exponentially with time due to the phenomenon of parametric resonance. While the resonance properties of individual oscillators are well understood, identifying the conditions for parametric resonance in systems of coupled oscillators remains challenging. Here, we identify internal symmetries that arise from the real-valued and symplectic nature of classical mechanics and determine the parametric resonance conditions for periodically time-modulated mechanical metamaterials using these symmetries. Upon including external symmetries, we find additional conditions that prohibit resonances at some modulation frequencies for which parametric resonance would be expected from the internal symmetries alone. In particular, we analyze systems with space-time symmetry where the system remains invariant after a combination of discrete translation in both space and time. For such systems, we identify a combined space-time translation operator that provides more information about the system than the Floquet operator does, and use it to derive conditions for one-way amplification of traveling waves. Our results establish an exact theoretical framework based on symmetries to engineer exotic responses such as nonreciprocal transport and one-way amplification in space-time modulated mechanical systems, and can be generalized to all physical systems that obey space-time symmetry.


title: Noise driven phase transitions in eco-evolutionary systems

abstract: In complex ecosystems such as microbial communities, there is constant ecological and evolutionary feedback between the residing species and the environment occurring on concurrent timescales. Species respond and adapt to their surroundings by modifying their phenotypic traits, which in turn alters their environment and the resources available. To study this interplay between ecological and evolutionary mechanisms, we develop a consumer-resource model that incorporates phenotypic mutations. In the absence of noise, we find that phase transitions require finely-tuned interaction kernels. Additionally, we quantify the effects of noise on frequency dependent selection by defining a time-integrated mutation current, which accounts for the rate at which mutations and speciation occurs. We find three distinct phases: homogeneous, patterned, and patterned traveling waves. The last phase represents one way in which co-evolution of species can happen in a fluctuating environment. Our results highlight the principal roles that noise and non-reciprocal interactions between resources and consumers play in phase transitions within eco-evolutionary systems.


title: Comment on pressure driven flow of superfluid $^4$He through a nanopipe (Botimer and Taborek 2016)

abstract: Botimer and Taborek (2016) measured the mass flux of superfluid $^4$He through a capillary into an evacuated chamber for various temperatures and pressures of the reservoir chamber. They found a sharp transition from low flux at low pressures to high flux at large pressures. Here it is shown that the superfluid condition of chemical potential equality predicts the induced temperature and also the transition pressure, which is attributed to the transition from a semispherical cap to a pool of $^4$He at the exit of the capillary. The results show that the two-fluid equations of superfluid flow, Landau's phonon-roton theory, and Feynman's critical vortex theory are unnecessary for a quantitative account of the measured transition pressure.


title: Real-Time Event Detection with Random Forests and Temporal Convolutional Networks for More Sustainable Petroleum Industry

abstract: The petroleum industry is crucial for modern society, but the production process is complex and risky. During the production, accidents or failures, resulting from undesired production events, can cause severe environmental and economic damage. Previous studies have investigated machine learning (ML) methods for undesired event detection. However, the prediction of event probability in real-time was insufficiently addressed, which is essential since it is important to undertake early intervention when an event is expected to happen. This paper proposes two ML approaches, random forests and temporal convolutional networks, to detect undesired events in real-time. Results show that our approaches can effectively classify event types and predict the probability of their appearance, addressing the challenges uncovered in previous studies and providing a more effective solution for failure event management during the production.


title: Splicing Up Your Predictions with RNA Contrastive Learning

abstract: In the face of rapidly accumulating genomic data, our understanding of the RNA regulatory code remains incomplete. Recent self-supervised methods in other domains have demonstrated the ability to learn rules underlying the data-generating process such as sentence structure in language. Inspired by this, we extend contrastive learning techniques to genomic data by utilizing functional similarities between sequences generated through alternative splicing and gene duplication. Our novel dataset and contrastive objective enable the learning of generalized RNA isoform representations. We validate their utility on downstream tasks such as RNA half-life and mean ribosome load prediction. Our pre-training strategy yields competitive results using linear probing on both tasks, along with up to a two-fold increase in Pearson correlation in low-data conditions. Importantly, our exploration of the learned latent space reveals that our contrastive objective yields semantically meaningful representations, underscoring its potential as a valuable initialization technique for RNA property prediction.


title: Voyager: MTD-Based Aggregation Protocol for Mitigating Poisoning Attacks on DFL

abstract: The growing concern over malicious attacks targeting the robustness of both Centralized and Decentralized Federated Learning (FL) necessitates novel defensive strategies. In contrast to the centralized approach, Decentralized FL (DFL) has the advantage of utilizing network topology and local dataset information, enabling the exploration of Moving Target Defense (MTD) based approaches. This work presents a theoretical analysis of the influence of network topology on the robustness of DFL models. Drawing inspiration from these findings, a three-stage MTD-based aggregation protocol, called Voyager, is proposed to improve the robustness of DFL models against poisoning attacks by manipulating network topology connectivity. Voyager has three main components: an anomaly detector, a network topology explorer, and a connection deployer. When an abnormal model is detected in the network, the topology explorer responds strategically by forming connections with more trustworthy participants to secure the model. Experimental evaluations show that Voyager effectively mitigates various poisoning attacks without imposing significant resource and computational burdens on participants. These findings highlight the proposed reactive MTD as a potent defense mechanism in the context of DFL.


title: A Zero-Shot Language Agent for Computer Control with Structured Reflection

abstract: Large language models (LLMs) have shown increasing capacity at planning and executing a high-level goal in a live computer environment (e.g. MiniWoB++). To perform a task, recent works often require a model to learn from trace examples of the task via either supervised learning or few/many-shot prompting. Without these trace examples, it remains a challenge how an agent can autonomously learn and improve its control on a computer, which limits the ability of an agent to perform a new task. We approach this problem with a zero-shot agent that requires no given expert traces. Our agent plans for executable actions on a partially observed environment, and iteratively progresses a task by identifying and learning from its mistakes via self-reflection and structured thought management. On the easy tasks of MiniWoB++, we show that our zero-shot agent often outperforms recent SoTAs, with more efficient reasoning. For tasks with more complexity, our reflective agent performs on par with prior best models, even though previous works had the advantages of accessing expert traces or additional screen information.


title: An adaptive ensemble filter for heavy-tailed distributions: tuning-free inflation and localization

abstract: Heavy tails is a common feature of filtering distributions that results from the nonlinear dynamical and observation processes as well as the uncertainty from physical sensors. In these settings, the Kalman filter and its ensemble version - the ensemble Kalman filter (EnKF) - that have been designed under Gaussian assumptions result in degraded performance. t-distributions are a parametric family of distributions whose tail-heaviness is modulated by a degree of freedom $\nu$. Interestingly, Cauchy and Gaussian distributions correspond to the extreme cases of a t-distribution for $\nu = 1$ and $\nu = \infty$, respectively. Leveraging tools from measure transport (Spantini et al., SIAM Review, 2022), we present a generalization of the EnKF whose prior-to-posterior update leads to exact inference for t-distributions. We demonstrate that this filter is less sensitive to outlying synthetic observations generated by the observation model for small $\nu$. Moreover, it recovers the Kalman filter for $\nu = \infty$. For nonlinear state-space models with heavy-tailed noise, we propose an algorithm to estimate the prior-to-posterior update from samples of joint forecast distribution of the states and observations. We rely on a regularized expectation-maximization (EM) algorithm to estimate the mean, scale matrix, and degree of freedom of heavy-tailed \textit{t}-distributions from limited samples (Finegold and Drton, arXiv preprint, 2014). Leveraging the conditional independence of the joint forecast distribution, we regularize the scale matrix with an $l1$ sparsity-promoting penalization of the log-likelihood at each iteration of the EM algorithm. By sequentially estimating the degree of freedom at each analysis step, our filter can adapt its prior-to-posterior update to the tail-heaviness of the data. We demonstrate the benefits of this new ensemble filter on challenging filtering problems.


title: Half-Wave Dipolar Metal-Semiconductor Laser

abstract: Nano-scale lasers harnessing metallic plasmons hold promise across physical sciences and industrial applications. Plasmons are categorized as surface plasmon polaritons (SPP) and localized surface plasmons (LSP). While SPP has gained popularity for nano-lasers by fitting a few cycles of SPP waves into resonators, achieving LSP lasing in single nanoparticles remains an elusive goal. Here, we highlight the equivalence of LSP and SPP within resonant systems and present lasers oscillating in the lowest-order LSP or, equivalently, half-cycle SPP. This diffraction-limited dipolar emitter is realized through strong coupling of plasmonic oscillation in gold and dielectric resonance in high-gain III-V semiconductor in the near infrared away from surface plasmon frequencies. The resulting single-mode stimulated emission peak exhibits linewidth Q factors over 50 at room temperature, with wide tunability spanning from 1190 to 1460 nm determined by resonator sizes ranging from 190 to 280 nm. A semiconductor laser model elucidates the temporal and spectral buildup dynamics under optical pumping. Notably, linewidth Q values surpassing 250 are attained from higher-order, isolated laser particles within live biological cells. These results offer fresh perspectives in nanophotonics and indicate promising opportunities for multiplexed biological applications.


title: Development and Validation of a Deep Learning-Based Microsatellite Instability Predictor from Prostate Cancer Whole-Slide Images

abstract: Microsatellite instability-high (MSI-H) is a tumor agnostic biomarker for immune checkpoint inhibitor therapy. However, MSI status is not routinely tested in prostate cancer, in part due to low prevalence and assay cost. As such, prediction of MSI status from hematoxylin and eosin (H&E) stained whole-slide images (WSIs) could identify prostate cancer patients most likely to benefit from confirmatory testing and becoming eligible for immunotherapy. Prostate biopsies and surgical resections from de-identified records of consecutive prostate cancer patients referred to our institution were analyzed. Their MSI status was determined by next generation sequencing. Patients before a cutoff date were split into an algorithm development set (n=4015, MSI-H 1.8%) and a paired validation set (n=173, MSI-H 19.7%) that consisted of two serial sections from each sample, one stained and scanned internally and the other at an external site. Patients after the cutoff date formed the temporal validation set (n=1350, MSI-H 2.3%). Attention-based multiple instance learning models were trained to predict MSI-H from H&E WSIs. The MSI-H predictor achieved area under the receiver operating characteristic curve values of 0.78 (95% CI [0.69-0.86]), 0.72 (95% CI [0.63-0.81]), and 0.72 (95% CI [0.62-0.82]) on the internally prepared, externally prepared, and temporal validation sets, respectively. While MSI-H status is significantly correlated with Gleason score, the model remained predictive within each Gleason score subgroup. In summary, we developed and validated an AI-based MSI-H diagnostic model on a large real-world cohort of routine H&E slides, which effectively generalized to externally stained and scanned samples and a temporally independent validation cohort. This algorithm has the potential to direct prostate cancer patients toward immunotherapy and to identify MSI-H cases secondary to Lynch syndrome.


title: Circuit Component Reuse Across Tasks in Transformer Language Models

abstract: Recent work in mechanistic interpretability has shown that behaviors in language models can be successfully reverse-engineered through circuit analysis. A common criticism, however, is that each circuit is task-specific, and thus such analysis cannot contribute to understanding the models at a higher level. In this work, we present evidence that insights (both low-level findings about specific heads and higher-level findings about general algorithms) can indeed generalize across tasks. Specifically, we study the circuit discovered in Wang et al. (2022) for the Indirect Object Identification (IOI) task and 1.) show that it reproduces on a larger GPT2 model, and 2.) that it is mostly reused to solve a seemingly different task: Colored Objects (Ippolito & Callison-Burch, 2023). We provide evidence that the process underlying both tasks is functionally very similar, and contains about a 78% overlap in in-circuit attention heads. We further present a proof-of-concept intervention experiment, in which we adjust four attention heads in middle layers in order to 'repair' the Colored Objects circuit and make it behave like the IOI circuit. In doing so, we boost accuracy from 49.6% to 93.7% on the Colored Objects task and explain most sources of error. The intervention affects downstream attention heads in specific ways predicted by their interactions in the IOI circuit, indicating that this subcircuit behavior is invariant to the different task inputs. Overall, our results provide evidence that it may yet be possible to explain large language models' behavior in terms of a relatively small number of interpretable task-general algorithmic building blocks and computational components.


title: AcTExplore: Active Tactile Exploration of Unknown Objects

abstract: Tactile exploration plays a crucial role in understanding object structures for fundamental robotics tasks such as grasping and manipulation. However, efficiently exploring such objects using tactile sensors is challenging, primarily due to the large-scale unknown environments and limited sensing coverage of these sensors. To this end, we present AcTExplore, an active tactile exploration method driven by reinforcement learning for object reconstruction at scales that automatically explores the object surfaces in a limited number of steps. Through sufficient exploration, our algorithm incrementally collects tactile data and reconstructs 3D shapes of the objects as well, which can serve as a representation for higher-level downstream tasks. Our method achieves an average of 95.97% IoU coverage on unseen YCB objects while just being trained on primitive shapes. Project Webpage: https://prg.cs.umd.edu/AcTExplore


title: Robustness to Multi-Modal Environment Uncertainty in MARL using Curriculum Learning

abstract: Multi-agent reinforcement learning (MARL) plays a pivotal role in tackling real-world challenges. However, the seamless transition of trained policies from simulations to real-world requires it to be robust to various environmental uncertainties. Existing works focus on finding Nash Equilibrium or the optimal policy under uncertainty in one environment variable (i.e. action, state or reward). This is because a multi-agent system itself is highly complex and unstationary. However, in real-world situation uncertainty can occur in multiple environment variables simultaneously. This work is the first to formulate the generalised problem of robustness to multi-modal environment uncertainty in MARL. To this end, we propose a general robust training approach for multi-modal uncertainty based on curriculum learning techniques. We handle two distinct environmental uncertainty simultaneously and present extensive results across both cooperative and competitive MARL environments, demonstrating that our approach achieves state-of-the-art levels of robustness.


title: Pump Pulse Bandwidth-Activated Nonlinear Phononic Coupling in CdWO$_4$

abstract: To control structure-function relationships in solids with light, we must harness the shape of the potential energy surface, as expressed in anharmonic coupling coefficients. We use two-dimensional terahertz (THz) spectroscopy to identify trilinear coupling between sets of vibrational modes in CdWO$_4$. It is generally understood that efficient trilinear coupling occurs when the frequencies of two coupled modes add or subtract to the frequency of the third mode. Interestingly, we observe that this condition is not necessary: the THz driving-pulse itself can activate the coupling by contributing broad frequency content to the initial motion of the excited modes. Understanding that the bandwidth of the driving force can activate energy-flow pathways has broad implications for coherent control of collective modes using intense THz light pulses.


title: Evolutionary Dynamic Optimization and Machine Learning

abstract: Evolutionary Computation (EC) has emerged as a powerful field of Artificial Intelligence, inspired by nature's mechanisms of gradual development. However, EC approaches often face challenges such as stagnation, diversity loss, computational complexity, population initialization, and premature convergence. To overcome these limitations, researchers have integrated learning algorithms with evolutionary techniques. This integration harnesses the valuable data generated by EC algorithms during iterative searches, providing insights into the search space and population dynamics. Similarly, the relationship between evolutionary algorithms and Machine Learning (ML) is reciprocal, as EC methods offer exceptional opportunities for optimizing complex ML tasks characterized by noisy, inaccurate, and dynamic objective functions. These hybrid techniques, known as Evolutionary Machine Learning (EML), have been applied at various stages of the ML process. EC techniques play a vital role in tasks such as data balancing, feature selection, and model training optimization. Moreover, ML tasks often require dynamic optimization, for which Evolutionary Dynamic Optimization (EDO) is valuable. This paper presents the first comprehensive exploration of reciprocal integration between EDO and ML. The study aims to stimulate interest in the evolutionary learning community and inspire innovative contributions in this domain.


title: On the Convergence of the Density of Terras' Set

abstract: The Collatz Conjecture's connection to dynamical systems opens it to a variety of techniques aimed at recurrence and density results. First, we turn to density results and strengthen the result of Terras through finding a strict rate of convergence. This rate gives a preliminary result on the Triangle Conjecture, which describes a set nodes that would dominate $L^{C} = \{y \in \N \, | \, T^{k}(y) > y , \,\forall k \in \N \}$. Second, we extend prior arguments to show that the construction of several classes of measures imply the bounded trajectories piece of the Collatz Conjecture.


title: Search-Adaptor: Embedding Customization for Information Retrieval

abstract: Embeddings extracted by pre-trained Large Language Models (LLMs) have significant potential to improve information retrieval and search. Beyond the zero-shot setup in which they are being conventionally used, being able to take advantage of the information from the relevant query-corpus paired data can further boost the LLM capabilities. In this paper, we propose a novel method, Search-Adaptor, for customizing LLMs for information retrieval in an efficient and robust way. Search-Adaptor modifies the embeddings generated by pre-trained LLMs, and can be integrated with any LLM, including those only available via prediction APIs. On multiple English, multilingual, and multimodal retrieval datasets, we show consistent and significant performance benefits for Search-Adaptor -- e.g., more than 5% improvements for Google Embedding APIs in nDCG@10 averaged over 14 BEIR datasets.


title: Constrained Bayesian Optimization with Adaptive Active Learning of Unknown Constraints

abstract: Optimizing objectives under constraints, where both the objectives and constraints are black box functions, is a common scenario in real-world applications such as scientific experimental design, design of medical therapies, and industrial process optimization. One popular approach to handling these complex scenarios is Bayesian Optimization (BO). In terms of theoretical behavior, BO is relatively well understood in the unconstrained setting, where its principles have been well explored and validated. However, when it comes to constrained Bayesian optimization (CBO), the existing framework often relies on heuristics or approximations without the same level of theoretical guarantees. In this paper, we delve into the theoretical and practical aspects of constrained Bayesian optimization, where the objective and constraints can be independently evaluated and are subject to noise. By recognizing that both the objective and constraints can help identify high-confidence regions of interest (ROI), we propose an efficient CBO framework that intersects the ROIs identified from each aspect to determine the general ROI. The ROI, coupled with a novel acquisition function that adaptively balances the optimization of the objective and the identification of feasible regions, enables us to derive rigorous theoretical justifications for its performance. We showcase the efficiency and robustness of our proposed CBO framework through empirical evidence and discuss the fundamental challenge of deriving practical regret bounds for CBO algorithms.


title: Cell-free Massive MIMO and SWIPT: Access Point Operation Mode Selection and Power Control

abstract: This paper studies cell-free massive multiple-input multiple-output (CF-mMIMO) systems incorporating simultaneous wireless information and power transfer (SWIPT) for separate information users (IUs) and energy users (EUs) in Internet of Things (IoT) networks. To optimize both the spectral efficiency (SE) of IUs and harvested energy (HE) of EUs, we propose a joint access point (AP) operation mode selection and power control design, wherein certain APs are designated for energy transmission to EUs, while others are dedicated to information transmission to IUs. We investigate the problem of maximizing the total HE for EUs, considering constraints on SE for individual IUs and minimum HE for individual EUs. Our numerical results showcase that the proposed AP operation mode selection algorithm can provide up to $76\%$ and $130\%$ performance gains over random AP operation mode selection with and without power control, respectively.


title: CompA: Addressing the Gap in Compositional Reasoning in Audio-Language Models

abstract: A fundamental characteristic of audio is its compositional nature. Audio-language models (ALMs) trained using a contrastive approach (e.g., CLAP) that learns a shared representation between audio and language modalities have improved performance in many downstream applications, including zero-shot audio classification, audio retrieval, etc. However, the ability of these models to effectively perform compositional reasoning remains largely unexplored and necessitates additional research. In this paper, we propose CompA, a collection of two expert-annotated benchmarks with a majority of real-world audio samples, to evaluate compositional reasoning in ALMs. Our proposed CompA-order evaluates how well an ALM understands the order or occurrence of acoustic events in audio, and CompA-attribute evaluates attribute-binding of acoustic events. An instance from either benchmark consists of two audio-caption pairs, where both audios have the same acoustic events but with different compositions. An ALM is evaluated on how well it matches the right audio to the right caption. Using this benchmark, we first show that current ALMs perform only marginally better than random chance, thereby struggling with compositional reasoning. Next, we propose CompA-CLAP, where we fine-tune CLAP using a novel learning method to improve its compositional reasoning abilities. To train CompA-CLAP, we first propose improvements to contrastive training with composition-aware hard negatives, allowing for more focused training. Next, we propose a novel modular contrastive loss that helps the model learn fine-grained compositional understanding and overcomes the acute scarcity of openly available compositional audios. CompA-CLAP significantly improves over all our baseline models on the CompA benchmark, indicating its superior compositional reasoning capabilities.


title: Tokenizer Choice For LLM Training: Negligible or Crucial?

abstract: The recent success of Large Language Models (LLMs) has been predominantly driven by curating the training dataset composition, scaling of model architectures and dataset sizes and advancements in pretraining objectives, leaving tokenizer influence as a blind spot. Shedding light on this underexplored area, we conduct a comprehensive study on the influence of tokenizer choice on LLM downstream performance by training 24 mono- and multilingual LLMs at a 2.6B parameter scale, ablating different tokenizer algorithms and parameterizations. Our studies highlight that the tokenizer choice can significantly impact the model's downstream performance and training costs. In particular, we find that the common tokenizer evaluation metrics fertility and parity are not always predictive of model downstream performance, rendering these metrics a questionable proxy for the model's downstream performance. Furthermore, we show that multilingual tokenizers trained on the five most frequent European languages require vocabulary size increases of factor three in comparison to English. While English-centric tokenizers have been applied to the training of multi-lingual LLMs in the past, we find that this approach results in a severe downstream performance degradation and additional training costs of up to 68%, due to an inefficient tokenization vocabulary.


title: PU-Ray: Domain-Independent Point Cloud Upsampling via Ray Marching on Neural Implicit Surface

abstract: While recent advancements in deep-learning point cloud upsampling methods have improved the input to intelligent transportation systems, they still suffer from issues of domain dependency between synthetic and real-scanned point clouds. This paper addresses the above issues by proposing a new ray-based upsampling approach with an arbitrary rate, where a depth prediction is made for each query ray and its corresponding patch. Our novel method simulates the sphere-tracing ray marching algorithm on the neural implicit surface defined with an unsigned distance function (UDF) to achieve more precise and stable ray-depth predictions by training a point-transformer-based network. The rule-based mid-point query sampling method generates more evenly distributed points without requiring an end-to-end model trained using a nearest-neighbor-based reconstruction loss function, which may be biased towards the training dataset. Self-supervised learning becomes possible with accurate ground truths within the input point cloud. The results demonstrate the method's versatility across domains and training scenarios with limited computational resources and training data. Comprehensive analyses of synthetic and real-scanned applications provide empirical evidence for the significance of the upsampling task across the computer vision and graphics domains to real-world applications of ITS.


title: Intelligent Scoliosis Screening and Diagnosis: A Survey

abstract: Scoliosis is a three-dimensional spinal deformity, which may lead to abnormal morphologies, such as thoracic deformity, and pelvic tilt. Severe patients may suffer from nerve damage and urinary abnormalities. At present, the number of scoliosis patients in primary and secondary schools has exceeded five million in China, the incidence rate is about 3% to 5% which is growing every year. The research on scoliosis, therefore, has important clinical value. This paper systematically introduces computer-assisted scoliosis screening and diagnosis as well as analyzes the advantages and limitations of different algorithm models in the current issue field. Moreover, the paper also discusses the current development bottlenecks in this field and looks forward to future development trends.


title: Detection and prediction of clopidogrel treatment failures using longitudinal structured electronic health records

abstract: We propose machine learning algorithms to automatically detect and predict clopidogrel treatment failure using longitudinal structured electronic health records (EHR). By drawing analogies between natural language and structured EHR, we introduce various machine learning algorithms used in natural language processing (NLP) applications to build models for treatment failure detection and prediction. In this regard, we generated a cohort of patients with clopidogrel prescriptions from UK Biobank and annotated if the patients had treatment failure events within one year of the first clopidogrel prescription; out of 502,527 patients, 1,824 patients were identified as treatment failure cases, and 6,859 patients were considered as control cases. From the dataset, we gathered diagnoses, prescriptions, and procedure records together per patient and organized them into visits with the same date to build models. The models were built for two different tasks, i.e., detection and prediction, and the experimental results showed that time series models outperform bag-of-words approaches in both tasks. In particular, a Transformer-based model, namely BERT, could reach 0.928 AUC in detection tasks and 0.729 AUC in prediction tasks. BERT also showed competence over other time series models when there is not enough training data, because it leverages the pre-training procedure using large unlabeled data.


title: Simple method to generate magnetically charged ultra-static traversable wormholes without exotic matter in Einstein-scalar-Gauss-Bonnet gravity

abstract: All the magnetically charged ultrastatic and spherically symmetric spacetime solutions in the framework of linear/nonlinear electrodynamics, with an arbitrary electromagnetic Lagrangian density $\mathcal{L}(\mathcal{F})$ depending only of the electromagnetic invariant $\mathcal{F}\!=\!F_{\alpha\beta}F^{\alpha\beta}\!/4$, minimally coupled to Einstein-scalar-Gauss-Bonnet gravity [EsGB-$\mathcal{L}(\mathcal{F})$], are found. We also show that a magnetically charged ultrastatic and spherically symmetric EsGB-$\mathcal{L}(\mathcal{F})$ solution with invariant $\mathcal{F}$ having a strict global maximum value $\mathcal{F}_{_{0}}$ in the entire domain of the solution, and such that $\mathcal{L}_{_{0}}=\mathcal{L}(\mathcal{F}_{_{0}})>0$, can be interpreted as an ultrastatic wormhole spacetime geometry with throat radius determined by the scalar charge and the quantity $\mathcal{L}_{_{0}}$. We provide some examples, including Maxwell's theory of electrodynamics (linear electrodynamics) $\mathcal{L}_{_{_{\mathrm{LED}}}} \!=\! \mathcal{F}$, producing the magnetic dual of the purely electric Ellis-Bronnikov EsGB Maxwell wormhole derived in [P. Ca\~nate, J. Sultana, D. Kazanas, Phys. Rev. D {\bf100}, 064007 (2019)]; and the nonlinear electrodynamics (NLED) models given by Born-Infeld $\mathcal{L}_{_{_{\mathrm{BI}}}} \!=\! -4\beta^{2} + 4\beta^{2} \sqrt{ 1 + \mathcal{F}\!/\!(2\beta^{2})~}$, and Euler-Heisenberg in the approximation of the weak-field limit $\mathcal{L}_{_{_{\mathrm{EH}}}} \!=\! \mathcal{L}_{_{_{\mathrm{LED}}}} + \gamma \mathcal{F}^{2}\!/2$. With those NLED models, two novel magnetically charged ultrastatic traversable wormholes (EsGB Born-Infeld and EsGB Euler-Heisenberg wormholes) are presented as exact solutions without exotic matter in EsGB-$\mathcal{L}(\mathcal{F})$ gravity.


title: Question Answering for Electronic Health Records: A Scoping Review of datasets and models

abstract: Question Answering (QA) systems on patient-related data can assist both clinicians and patients. They can, for example, assist clinicians in decision-making and enable patients to have a better understanding of their medical history. Significant amounts of patient data are stored in Electronic Health Records (EHRs), making EHR QA an important research area. In EHR QA, the answer is obtained from the medical record of the patient. Because of the differences in data format and modality, this differs greatly from other medical QA tasks that employ medical websites or scientific papers to retrieve answers, making it critical to research EHR question answering. This study aimed to provide a methodological review of existing works on QA over EHRs. We searched for articles from January 1st, 2005 to September 30th, 2023 in four digital sources including Google Scholar, ACL Anthology, ACM Digital Library, and PubMed to collect relevant publications on EHR QA. 4111 papers were identified for our study, and after screening based on our inclusion criteria, we obtained a total of 47 papers for further study. Out of the 47 papers, 25 papers were about EHR QA datasets, and 37 papers were about EHR QA models. It was observed that QA on EHRs is relatively new and unexplored. Most of the works are fairly recent. Also, it was observed that emrQA is by far the most popular EHR QA dataset, both in terms of citations and usage in other papers. Furthermore, we identified the different models used in EHR QA along with the evaluation metrics used for these models.


title: Positronium laser cooling via the $1^3S$-$2^3P$ transition with a broadband laser pulse

abstract: We report on laser cooling of a large fraction of positronium (Ps) in free-flight by strongly saturating the $1^3S$-$2^3P$ transition with a broadband, long-pulsed 243 nm alexandrite laser. The ground state Ps cloud is produced in a magnetic and electric field-free environment. We observe two different laser-induced effects. The first effect is an increase in the number of atoms in the ground state after the time Ps has spent in the long-lived $3^3P$ states. The second effect is the one-dimensional Doppler cooling of Ps, reducing the cloud's temperature from 380(20) K to 170(20) K. We demonstrate a 58(9) % increase in the coldest fraction of the Ps ensemble.


title: Laser cooling of positronium

abstract: When laser radiation is skilfully applied, atoms and molecules can be cooled allowing precise measurements and control of quantum systems. This is essential in fundamental studies of physics as well as practical applications such as precision spectroscopy, quantum-statistical-property manifesting ultracold gases, and quantum computing. In laser cooling, repeated cycles of laser photon absorption and direction-independent spontaneous emission can slow atoms and molecules to otherwise unattainable velocities. Simple systems can provide a rigorous testing ground for fundamental theories of physics; one such system is the purely leptonic positronium, an exotic atom of an electron and its antiparticle, the positron. However, the cooling of positronium has hitherto remained unrealised. Here, we demonstrate laser cooling of positronium. A novel laser system of a train of broadband pulses with successively increasing central frequencies was used to overcome major challenges presented by the short lifetime of positronium and the significant Doppler broadening and recoil as a consequence of its very light mass. One-dimensional chirp cooling of the dilute positronium gas in a counter-propagating configuration gave a final velocity distribution corresponding to approximately 1 K in a short time of 100 ns. This study on a pure leptonic system is a major step in the field of low-temperature fundamental physics of antimatter, and is complementary to the laser cooling of antihydrogen, a hadron-containing exotic atom. Progress in this field is vital in elucidating the origin of the matter-antimatter asymmetry in the universe. The application of laser cooling to positronium may afford a unique opportunity to rigorously test bound-state quantum electrodynamics. Moreover, laser cooling of positronium is key to the realisation of Bose-Einstein condensation in this matter-antimatter system.


title: Stabilizing Subject Transfer in EEG Classification with Divergence Estimation

abstract: Classification models for electroencephalogram (EEG) data show a large decrease in performance when evaluated on unseen test sub jects. We reduce this performance decrease using new regularization techniques during model training. We propose several graphical models to describe an EEG classification task. From each model, we identify statistical relationships that should hold true in an idealized training scenario (with infinite data and a globally-optimal model) but that may not hold in practice. We design regularization penalties to enforce these relationships in two stages. First, we identify suitable proxy quantities (divergences such as Mutual Information and Wasserstein-1) that can be used to measure statistical independence and dependence relationships. Second, we provide algorithms to efficiently estimate these quantities during training using secondary neural network models. We conduct extensive computational experiments using a large benchmark EEG dataset, comparing our proposed techniques with a baseline method that uses an adversarial classifier. We find our proposed methods significantly increase balanced accuracy on test subjects and decrease overfitting. The proposed methods exhibit a larger benefit over a greater range of hyperparameters than the baseline method, with only a small computational cost at training time. These benefits are largest when used for a fixed training period, though there is still a significant benefit for a subset of hyperparameters when our techniques are used in conjunction with early stopping regularization.


title: Targeted computation of nonlocal closure operators via an adjoint-based macroscopic forcing method

abstract: Reynolds-averaged Navier--Stokes (RANS) closure must be sensitive to the flow physics, including nonlocality and anisotropy of the effective eddy viscosity. Recent approaches used forced direct numerical simulations to probe these effects, including the macroscopic forcing method (MFM) of Mani and Park ($\textit{Phys. Rev. Fluids}$ $\textbf{6}$, 054607 (2021)) and the Green's function approach of Hamba ($\textit{Phys. Fluids}$ $\textbf{17}$, 115102 (2005)). The resulting nonlocal and anisotropic eddy viscosities are exact and relate Reynolds stresses to mean velocity gradients at all locations. They can be used to inform RANS models of the sensitivity to the mean velocity gradient and the suitability of local and isotropic approximations. However, these brute-force approaches are expensive. They force the mean velocity gradient at each point in the averaged space and measure the Reynolds stress response, requiring a separate simulation for each mean velocity gradient location. Thus, computing the eddy viscosity requires as many simulations as degrees of freedom in the averaged space, which can be cost-prohibitive for problems with many degrees of freedom. In this work, we develop an adjoint-based MFM to obtain the eddy viscosity at a given Reynolds stress location using a single simulation. This approach recovers the Reynolds stress dependence at a location of interest, such as a separation point or near a wall, on the mean velocity gradient at all locations. We demonstrate using adjoint MFM to compute the eddy viscosity for a specified wall-normal location in an incompressible turbulent channel flow using one simulation. In contrast, a brute-force approach for the same problem requires $N=144$ simulations (the number of grid points in the non-averaged coordinate direction). We show that a local approximation for the eddy viscosity would have been inappropriate.


title: Calibrating Likelihoods towards Consistency in Summarization Models

abstract: Despite the recent advances in abstractive text summarization, current summarization models still suffer from generating factually inconsistent summaries, reducing their utility for real-world application. We argue that the main reason for such behavior is that the summarization models trained with maximum likelihood objective assign high probability to plausible sequences given the context, but they often do not accurately rank sequences by their consistency. In this work, we solve this problem by calibrating the likelihood of model generated sequences to better align with a consistency metric measured by natural language inference (NLI) models. The human evaluation study and automatic metrics show that the calibrated models generate more consistent and higher-quality summaries. We also show that the models trained using our method return probabilities that are better aligned with the NLI scores, which significantly increase reliability of summarization models.


title: Stability of coherent pattern formation through invasion in the FitzHugh-Nagumo system

abstract: We establish sharp nonlinear stability results for fronts that describe the creation of a periodic pattern through the invasion of an unstable state. The fronts we consider are critical, in the sense that they are expected to mediate pattern selection from compactly supported or steep initial data. We focus on pulled fronts, that is, on fronts whose propagation speed is determined by the linearization about the unstable state in the leading edge, only. We present our analysis in the specific setting of the FitzHugh-Nagumo system, where pattern-forming uniformly translating fronts have recently been constructed rigorously, but our methods can be used to establish nonlinear stability of pulled pattern-forming fronts in general reaction-diffusion systems. This is the first stability result of critical pattern-selecting fronts and provides a rigorous foundation for heuristic, universal wave number selection laws in growth processes based on a marginal stability conjecture. The main technical challenge is to describe the interaction between two separate modes of marginal stability, one associated with the spreading process in the leading edge, and one associated with the pattern in the wake. We develop tools based on far-field/core decompositions to characterize, and eventually control, the interaction between these two different types of diffusive modes. Linear decay rates are insufficient to close a nonlinear stability argument and we therefore need a sharper description of the relaxation in the wake of the front using a phase modulation ansatz. We control regularity in the resulting quasilinear equation for the modulated perturbation using nonlinear damping estimates.


title: Quantum hydrodynamics of coupled electron-nuclear systems

abstract: The quantum dynamics of electron-nuclear systems is analyzed from the perspective of the exact factorization of the wavefunction, with the aim of defining gauge invariant equations of motion for both the nuclei and the electrons. For pure states this is accomplished with a quantum hydrodynamical description of the nuclear dynamics and electronic density operators tied to the fluid elements. For statistical mixtures of states the exact factorization approach is extended to two limiting situations that we call "type-n" and "type-e" mixtures, depending on whether the nuclei or the electrons are, respectively, in an intrinsically mixed state. In both cases a fully gauge invariant formulation of the dynamics is obtained again in hydrodynamic form with the help of mechanical momentum moments (MMMs). Nuclear MMMs extend in a gauge invariant way the ordinary momentum moments of the Wigner distribution associated with a density matrix of positional variables, electron MMMs are operator-valued and represent a generalization of the (conditional) density operators used for pure states. The theory presented here bridges exact quantum dynamics with several mixed quantum-classical approaches currently in use to tackle non-adiabatic molecular problems, offering a foundation for systematic improvements. It further connects to non-adiabatic theories in condensed-phase systems. As an example, we re-derive the finite-temperature theory of electronic friction of Dou, Miao \& Subotnik (Phys. Rev. Lett. 119, 046001 (2017)) from the dynamics of "type-e" mixtures and discuss possible improvements.


title: Modeling Fission Gas Release at the Mesoscale using Multiscale DenseNet Regression with Attention Mechanism and Inception Blocks

abstract: Mesoscale simulations of fission gas release (FGR) in nuclear fuel provide a powerful tool for understanding how microstructure evolution impacts FGR, but they are computationally intensive. In this study, we present an alternate, data-driven approach, using deep learning to predict instantaneous FGR flux from 2D nuclear fuel microstructure images. Four convolutional neural network (CNN) architectures with multiscale regression are trained and evaluated on simulated FGR data generated using a hybrid phase field/cluster dynamics model. All four networks show high predictive power, with $R^{2}$ values above 98%. The best performing network combine a Convolutional Block Attention Module (CBAM) and InceptionNet mechanisms to provide superior accuracy (mean absolute percentage error of 4.4%), training stability, and robustness on very low instantaneous FGR flux values.


title: Rational surfaces with a non-arithmetic automorphism group

abstract: In arXiv:1008.3825, Totaro gave examples of a K3 surface such that its automorphism group is not commensurable with an arithmetic group, answering a question of Mazur. We give examples of rational surfaces with the same property. Our examples $Y$ are log Calabi--Yau surfaces, i.e., there is a reduced normal crossing divisor $D \subset Y$ such that $K_{Y} + D = 0$.


title: Extragalactic electromagnetic cascades and cascade gamma-ray emission in magnetic fields of various strength

abstract: We discuss the magnetic field influence on diffuse gamma-ray emission from extragalactic electromagnetic cascades initiated by ultra-high energy cosmic rays. Regions in space vary considerably in field strength: it is possibly of 10^(-12) G and lower in voids, of ~10^(-6) G inside galaxies, galactic clusters and groups, of ~10^(-7) G around them, and of ~ 10^(-8)-10^(-9) G in filaments. Structures having fields higher than in voids occupy comparatively small fraction of the Universe, so they affect weakly on cascade emission. Still knowledge of this influence may be relevant studying large-scale component of the extragalactic magnetic field and to the search for exotic particles, as in the latter case contribution of all components to extragalactic gamma-ray background should be known, one of which is cascade emission. To study magnetic field effect we simulate particle propagation in homogeneous magnetic field of ~10^(-6), 10^(-9), and 10^(-12) G and lower. It is found that in fields of ~10^(-9) G and lower the spectra of diffuse cascade gamma-rays at energies E<=10^17 eV coincide. Thus no specific models of EGMF are required to study contribution of cascade emission in the extragalactic gamma-ray background at E<=10^17 eV. In the case of uniform field of 10^(-6) G (which seems to be unrealistic), this inference is valid in the energy range of ~10^7-10^9 eV. Results obtained can be also used studying large-scale component of the extragalactic magnetic field.


title: Cross-correlation image analysis for real-time particle tracking

abstract: Accurately measuring the translations of objects between images is essential in many fields, including biology, medicine, chemistry, and physics. One important application is tracking one or more particles by measuring their apparent displacements in a series of images. Popular methods, such as the center-of-mass, often require idealized scenarios to reach the shot-noise limit of particle tracking and are, therefore, not generally applicable to multiple image types. More general methods, like maximum likelihood estimation, reliably approach the shot-noise limit, but are too computationally intense for use in real-time applications. These limitations are significant, as real-time, shot-noise-limited particle tracking is of paramount importance for feedback control systems. To fill this gap, we introduce a new cross-correlation-based algorithm that approaches shot-noise-limited displacement detection and a GPU-based implementation for real-time image analysis of a single particle.


title: Complex dimensions for IFS with overlaps

abstract: The notion of complex dimension of a one-dimensional Cantor set $C=\bigcap_{n=1}^\infty C_n$ dates back decades. It is defined as the set of poles of the meromorphic $\zeta$-function $\zeta(s)=\sum_{n=1}^{\infty}d_j^s$, where $\Re s>0$, and $d_j$ is the length of the $j$th interval in $C_n$. Following the trend, I switch from sets to measures, which will allow me to generalize the construction to iterated function schemes that do not necessarily satisfy the Open Set Condition.


title: Investigating the Robustness and Properties of Detection Transformers (DETR) Toward Difficult Images

abstract: Transformer-based object detectors (DETR) have shown significant performance across machine vision tasks, ultimately in object detection. This detector is based on a self-attention mechanism along with the transformer encoder-decoder architecture to capture the global context in the image. The critical issue to be addressed is how this model architecture can handle different image nuisances, such as occlusion and adversarial perturbations. We studied this issue by measuring the performance of DETR with different experiments and benchmarking the network with convolutional neural network (CNN) based detectors like YOLO and Faster-RCNN. We found that DETR performs well when it comes to resistance to interference from information loss in occlusion images. Despite that, we found that the adversarial stickers put on the image require the network to produce a new unnecessary set of keys, queries, and values, which in most cases, results in a misdirection of the network. DETR also performed poorer than YOLOv5 in the image corruption benchmark. Furthermore, we found that DETR depends heavily on the main query when making a prediction, which leads to imbalanced contributions between queries since the main query receives most of the gradient flow.


title: Examining the Potential and Pitfalls of ChatGPT in Science and Engineering Problem-Solving

abstract: The study explores the capabilities of OpenAI's ChatGPT in solving different types of physics problems. ChatGPT (with GPT-4) was queried to solve a total of 40 problems from a college-level engineering physics course. These problems ranged from well-specified problems, where all data required for solving the problem was provided, to under-specified, real-world problems where not all necessary data were given. Our findings show that ChatGPT could successfully solve 62.5% of the well-specified problems, but its accuracy drops to 8.3% for under-specified problems. Analysis of the model's incorrect solutions revealed three distinct failure modes: 1) failure to construct accurate models of the physical world, 2) failure to make reasonable assumptions about missing data, and 3) calculation errors. The study offers implications for how to leverage LLM-augmented instructional materials to enhance STEM education. The insights also contribute to the broader discourse on AI's strengths and limitations, serving both educators aiming to leverage the technology and researchers investigating human-AI collaboration frameworks for problem-solving and decision-making.


title: PhyloGFN: Phylogenetic inference with generative flow networks

abstract: Phylogenetics is a branch of computational biology that studies the evolutionary relationships among biological entities. Its long history and numerous applications notwithstanding, inference of phylogenetic trees from sequence data remains challenging: the high complexity of tree space poses a significant obstacle for the current combinatorial and probabilistic techniques. In this paper, we adopt the framework of generative flow networks (GFlowNets) to tackle two core problems in phylogenetics: parsimony-based and Bayesian phylogenetic inference. Because GFlowNets are well-suited for sampling complex combinatorial structures, they are a natural choice for exploring and sampling from the multimodal posterior distribution over tree topologies and evolutionary distances. We demonstrate that our amortized posterior sampler, PhyloGFN, produces diverse and high-quality evolutionary hypotheses on real benchmark datasets. PhyloGFN is competitive with prior works in marginal likelihood estimation and achieves a closer fit to the target distribution than state-of-the-art variational inference methods. Our code is available at https://github.com/zmy1116/phylogfn.


title: When Machine Learning Models Leak: An Exploration of Synthetic Training Data

abstract: We investigate an attack on a machine learning model that predicts whether a person or household will relocate in the next two years, i.e., a propensity-to-move classifier. The attack assumes that the attacker can query the model to obtain predictions and that the marginal distribution of the data on which the model was trained is publicly available. The attack also assumes that the attacker has obtained the values of non-sensitive attributes for a certain number of target individuals. The objective of the attack is to infer the values of sensitive attributes for these target individuals. We explore how replacing the original data with synthetic data when training the model impacts how successfully the attacker can infer sensitive attributes.


title: Prescribed projections and efficient coverings by curves in the plane

abstract: Davies efficient covering theorem states that an arbitrary measurable set $W$ in the plane can be covered by full lines so that the measure of the union of the lines has the same measure as $W$. This result has an interesting dual formulation in the form of a prescribed projection theorem. In this paper, we formulate each of these results in a nonlinear setting and consider some applications. In particular, given a measurable set $W$ and a curve $\Gamma=\{(t,f(t)): t\in [a,b]\}$, where $f$ is $C^1$ with strictly monotone derivative, we show that $W$ can be covered by translations of $\Gamma$ in such a way that the union of the translated curves has the same measure as $W$. This is achieved by proving an equivalent prescribed generalized projection result, which relies on a Venetian blind construction.


title: Anisotropic mean flow enhancement and anomalous transport of finite-size spherical particles in turbulent flows

abstract: We investigate the influence of dispersed solid spherical particles on the largest scales of the turbulent Arnold-Beltrami-Childress (ABC) flow. The ABC flow is an ideal instance of a complex flow: it does not have solid boundaries, but possesses an inhomogeneous and three-dimensional mean shear. By tuning the parameters of the suspension, we show that particles deviate towards quasi-straight trajectories and exhibit anomalous transport. In doing this, they enhance the mean-flow energy and modulate the largest scales of the flow towards an anisotropic and quasi two-dimensional state.


title: 3D Self-Localization of Drones using a Single Millimeter-Wave Anchor

abstract: We present the design, implementation, and evaluation of MiFly, a self-localization system for autonomous drones that works across indoor and outdoor environments, including low-visibility, dark, and GPS-denied settings. MiFly performs 6DoF self-localization by leveraging a single millimeter-wave (mmWave) anchor in its vicinity - even if that anchor is visually occluded. MmWave signals are used in radar and 5G systems and can operate in the dark and through occlusions. MiFly introduces a new mmWave anchor design and mounts light-weight high-resolution mmWave radars on a drone. By jointly designing the localization algorithms and the novel low-power mmWave anchor hardware (including its polarization and modulation), the drone is capable of high-speed 3D localization. Furthermore, by intelligently fusing the location estimates from its mmWave radars and its IMUs, it can accurately and robustly track its 6DoF trajectory. We implemented and evaluated MiFly on a DJI drone. We demonstrate a median localization error of 7cm and a 90th percentile less than 15cm, even when the anchor is fully occluded (visually) from the drone.


title: A Completeness Theorem for Probabilistic Regular Expressions

abstract: We introduce Probabilistic Regular Expressions (PRE), a probabilistic analogue of regular expressions denoting probabilistic languages in which every word is assigned a probability of being generated. We present and prove the completeness of an inference system for reasoning about probabilistic language equivalence of PRE based on Salomaa's axiomatisation of Kleene Algebra.


title: "Im not Racist but...": Discovering Bias in the Internal Knowledge of Large Language Models

abstract: Large language models (LLMs) have garnered significant attention for their remarkable performance in a continuously expanding set of natural language processing tasks. However, these models have been shown to harbor inherent societal biases, or stereotypes, which can adversely affect their performance in their many downstream applications. In this paper, we introduce a novel, purely prompt-based approach to uncover hidden stereotypes within any arbitrary LLM. Our approach dynamically generates a knowledge representation of internal stereotypes, enabling the identification of biases encoded within the LLM's internal knowledge. By illuminating the biases present in LLMs and offering a systematic methodology for their analysis, our work contributes to advancing transparency and promoting fairness in natural language processing systems.


title: Unified first law of thermodynamics in Gauss-Bonnet gravity on an FLRW background

abstract: Employing the thermodynamic unified first law through the thermodynamic-gravity conjecture, in this article, we derive for a FLRW universe the Friedmann equations in the framework of Gauss-Bonnet gravity theory. To do this, we project this generalized first law along the Kodama vector field and along the direction of an orthogonal vector to the Kodama vector. The second Friedmann equation is obtained by projecting on the Kodama vector, while the first is obtained by projecting along the flux on the Cauchy hypersurfaces. This result does not assume a priory temperature and an entropy, so the Clausius relation is not used here. Nevertheless, it is used to obtain the corresponding Gauss-Bonnet entropy. In this way, the validity of the generalized second law of thermodynamics is proved for the Gauss-Bonnet gravity theory.


title: Selectivity Drives Productivity: Efficient Dataset Pruning for Enhanced Transfer Learning

abstract: Massive data is often considered essential for deep learning applications, but it also incurs significant computational and infrastructural costs. Therefore, dataset pruning (DP) has emerged as an effective way to improve data efficiency by identifying and removing redundant training samples without sacrificing performance. In this work, we aim to address the problem of DP for transfer learning, i.e., how to prune a source dataset for improved pretraining efficiency and lossless finetuning accuracy on downstream target tasks. To our best knowledge, the problem of DP for transfer learning remains open, as previous studies have primarily addressed DP and transfer learning as separate problems. By contrast, we establish a unified viewpoint to integrate DP with transfer learning and find that existing DP methods are not suitable for the transfer learning paradigm. We then propose two new DP methods, label mapping and feature mapping, for supervised and self-supervised pretraining settings respectively, by revisiting the DP problem through the lens of source-target domain mapping. Furthermore, we demonstrate the effectiveness of our approach on numerous transfer learning tasks. We show that source data classes can be pruned by up to 40% ~ 80% without sacrificing downstream performance, resulting in a significant 2 ~ 5 times speed-up during the pretraining stage. Besides, our proposal exhibits broad applicability and can improve other computationally intensive transfer learning techniques, such as adversarial pretraining. Codes are available at https://github.com/OPTML-Group/DP4TL.


title: Optimal divergence rate of the focusing Gibbs measure

abstract: We study the focusing Gibbs measure with critical/supercritical potentials. In particular, we prove asymptotic formulae for the frequency approximation of the partition function, which captures the optimal divergence rate of the partition function as the frequency truncation is removed.


title: Implicit Shape and Appearance Priors for Few-Shot Full Head Reconstruction

abstract: Recent advancements in learning techniques that employ coordinate-based neural representations have yielded remarkable results in multi-view 3D reconstruction tasks. However, these approaches often require a substantial number of input views (typically several tens) and computationally intensive optimization procedures to achieve their effectiveness. In this paper, we address these limitations specifically for the problem of few-shot full 3D head reconstruction. We accomplish this by incorporating a probabilistic shape and appearance prior into coordinate-based representations, enabling faster convergence and improved generalization when working with only a few input images (even as low as a single image). During testing, we leverage this prior to guide the fitting process of a signed distance function using a differentiable renderer. By incorporating the statistical prior alongside parallelizable ray tracing and dynamic caching strategies, we achieve an efficient and accurate approach to few-shot full 3D head reconstruction. Moreover, we extend the H3DS dataset, which now comprises 60 high-resolution 3D full head scans and their corresponding posed images and masks, which we use for evaluation purposes. By leveraging this dataset, we demonstrate the remarkable capabilities of our approach in achieving state-of-the-art results in geometry reconstruction while being an order of magnitude faster than previous approaches.


title: DeltaSpace: A Semantic-aligned Feature Space for Flexible Text-guided Image Editing

abstract: Text-guided image editing faces significant challenges to training and inference flexibility. Much literature collects large amounts of annotated image-text pairs to train text-conditioned generative models from scratch, which is expensive and not efficient. After that, some approaches that leverage pre-trained vision-language models are put forward to avoid data collection, but they are also limited by either per text-prompt optimization or inference-time hyper-parameters tuning. To address these issues, we investigate and identify a specific space, referred to as CLIP DeltaSpace, where the CLIP visual feature difference of two images is semantically aligned with the CLIP textual feature difference of their corresponding text descriptions. Based on DeltaSpace, we propose a novel framework called DeltaEdit, which maps the CLIP visual feature differences to the latent space directions of a generative model during the training phase, and predicts the latent space directions from the CLIP textual feature differences during the inference phase. And this design endows DeltaEdit with two advantages: (1) text-free training; (2) generalization to various text prompts for zero-shot inference. Extensive experiments validate the effectiveness and versatility of DeltaEdit with different generative models, including both the GAN model and the diffusion model, in achieving flexible text-guided image editing. Code is available at https://github.com/Yueming6568/DeltaEdit.


title: A study on the ideal magnitude and phase of reconstructed point targets in SAR imaging

abstract: In this paper, the magnitude and phase of the reconstructed point targets in SAR imaging are studied quantitatively by using inverse crime. Two scenarios, one with single point target in the imaging area and the other with two point targets, are considered. The theorems on the magnitude and phase are established and proved for each scenario. In addition, several numerical examples are presented and the numerical results show that they agree with the corresponding theorems. This study is useful for appreciating the limitations of formulating inversion algorithms based on simplistic point target building blocks.


title: Flagellum Pumping Efficacy in Shear-Thinning Viscoelastic Fluids

abstract: Microorganism motility often takes place within complex, viscoelastic fluid environments, e.g., sperm in cervicovaginal mucus and bacteria in biofilms. In such complex fluids, strains and stresses generated by the microorganism are stored and relax across a spectrum of length and time scales and the complex fluid can be driven out of its linear response regime. Phenomena not possible in viscous media thereby arise from feedback between the "swimmer" and the complex fluid, making swimming efficiency co-dependent on the propulsion mechanism and fluid properties. Here we parameterize a flagellar motor and filament properties together with elastic relaxation and nonlinear shear-thinning properties of the fluid in a computational immersed boundary model. We then explore swimming efficiency over this parameter space. One exemplary insight is that motor efficiency (measured by the volumetric flow rate) can be boosted vs.\ degraded by moderate vs.\ strong shear-thinning of the viscoelastic environment.


title: Sensory Manipulation as a Countermeasure to Robot Teleoperation Delays: System and Evidence

abstract: In the field of robotics, robot teleoperation for remote or hazardous environments has become increasingly vital. A major challenge is the lag between command and action, negatively affecting operator awareness, performance, and mental strain. Even with advanced technology, mitigating these delays, especially in long-distance operations, remains challenging. Current solutions largely focus on machine-based adjustments. Yet, there's a gap in using human perceptions to improve the teleoperation experience. This paper presents a unique method of sensory manipulation to help humans adapt to such delays. Drawing from motor learning principles, it suggests that modifying sensory stimuli can lessen the perception of these delays. Instead of introducing new skills, the approach uses existing motor coordination knowledge. The aim is to minimize the need for extensive training or complex automation. A study with 41 participants explored the effects of altered haptic cues in delayed teleoperations. These cues were sourced from advanced physics engines and robot sensors. Results highlighted benefits like reduced task time and improved perceptions of visual delays. Real-time haptic feedback significantly contributed to reduced mental strain and increased confidence. This research emphasizes human adaptation as a key element in robot teleoperation, advocating for improved teleoperation efficiency via swift human adaptation, rather than solely optimizing robots for delay adjustment.


title: Quickest Change Detection in Autoregressive Models

abstract: The problem of quickest change detection (QCD) in autoregressive (AR) models is investigated. A system is being monitored with sequentially observed samples. At some unknown time, a disturbance signal occurs and changes the distribution of the observations. The disturbance signal follows an AR model, which is dependent over time. Before the change, observations only consist of measurement noise, and are independent and identically distributed (i.i.d.). After the change, observations consist of the disturbance signal and the measurement noise, are dependent over time, which essentially follow a continuous-state hidden Markov model (HMM). The goal is to design a stopping time to detect the disturbance signal as quickly as possible subject to false alarm constraints. Existing approaches for general non-i.i.d. settings and discrete-state HMMs cannot be applied due to their high computational complexity and memory consumption, and they usually assume some asymptotic stability condition. In this paper, the asymptotic stability condition is firstly theoretically proved for the AR model by a novel design of forward variable and auxiliary Markov chain. A computationally efficient Ergodic CuSum algorithm that can be updated recursively is then constructed and is further shown to be asymptotically optimal. The data-driven setting where the disturbance signal parameters are unknown is further investigated, and an online and computationally efficient gradient ascent CuSum algorithm is designed. The algorithm is constructed by iteratively updating the estimate of the unknown parameters based on the maximum likelihood principle and the gradient ascent approach. The lower bound on its average running length to false alarm is also derived for practical false alarm control. Simulation results are provided to demonstrate the performance of the proposed algorithms.