title: Global trends of the electric dipole polarizability from shell-model calculations

abstract: Shell-model calculations of the electric dipole (E1) polarizability have been performed for the ground state of selected p- and sd-shell nuclei, substantially advancing previous knowledge. Our results are slightly larger compared with the somewhat more scattered photo-absorption cross-section data, albeit agreeing with ab initio calculations at shell closures and presenting a smooth trend that follows the leptodermus approximation provided by the finite-range droplet model (FRDM). The total E1 strengths also show an increasing trend proportional to the mass number which follows from the classical oscillator strength (TRK) sum rule for the E1 operator. The enhancement of the energy-weighted sum over E1 excitations with respect to the TRK sum rule arises from the use of experimental single-particle energies and the residual particle-hole interaction.


title: Subgroup and Coset Intersection in abelian-by-cyclic groups

abstract: We consider two decision problems in infinite groups. The first problem is Subgroup Intersection: given two finitely generated subgroups $\langle \mathcal{G} \rangle, \langle \mathcal{H} \rangle$ of a group $G$, decide whether the intersection $\langle \mathcal{G} \rangle \cap \langle \mathcal{H} \rangle$ is trivial. The second problem is Coset Intersection: given two finitely generated subgroups $\langle \mathcal{G} \rangle, \langle \mathcal{H} \rangle$ of a group $G$, as well as elements $g, h \in G$, decide whether the intersection of the two cosets $g \langle \mathcal{G} \rangle \cap h \langle \mathcal{H} \rangle$ is empty. We show that both problems are decidable in finitely generated abelian-by-cyclic groups. In particular, we reduce them to the Shifted Monomial Membership problem (whether an ideal of the Laurent polynomial ring over integers contains any element of the form $X^z - f,\; z \in \mathbb{Z} \setminus \{0\}$). We also point out some obstacles for generalizing these results from abelian-by-cyclic groups to arbitrary metabelian groups.


title: Radio Proper Motions of the Nearby Ultra-cool dwarf binary VHS 1256$-$1257AB

abstract: The proper motions of a source obtained at different epochs or in different spectral regions should in principle be consistent. However, in the case of a binary source or a source with associated ejecta, they could be different depending on the epochs when the observations were made and on what emission is traced in each spectral region. In this paper we determine the radio proper motions of the ultra-cool dwarf binary VHS 1256$-$1257AB from Very Large Array (VLA) observations, that we find are consistent within error ($\simeq 2-3\%$) with those reported by Gaia DR3. The comparison of the proper motions and the analysis of the VLA data imply that, as in the optical, the radio emission is coming in comparable amounts from both components of the unresolved binary.


title: Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach

abstract: This paper considers the safety-critical navigation problem with Signal Temporal Logic (STL) tasks. We developed an explicit reference governor-guided control barrier function (ERG-guided CBF) method that enables the application of first-order CBFs to high-order linearizable systems. This method significantly reduces the conservativeness of the existing CBF approaches for high-order systems. Furthermore, our framework provides safety-critical guarantees in the sense of obstacle avoidance by constructing the margin of safety and updating direction of safe evolution in the agent's state space. To improve control performance and enhance STL satisfaction, we employ efficient gradient-based methods for iteratively learning optimal parameters of ERG-guided CBF. We validate the algorithm through both high-order linear and nonlinear systems. A video demonstration can be found on: \url{https://youtu.be/ZRmsA2FeFR4}


title: URA*: Uncertainty-aware Path Planning using Image-based Aerial-to-Ground Traversability Estimation for Off-road Environments

abstract: A major challenge with off-road autonomous navigation is the lack of maps or road markings that can be used to plan a path for autonomous robots. Classical path planning methods mostly assume a perfectly known environment without accounting for the inherent perception and sensing uncertainty from detecting terrain and obstacles in off-road environments. Recent work in computer vision and deep neural networks has advanced the capability of terrain traversability segmentation from raw images; however, the feasibility of using these noisy segmentation maps for navigation and path planning has not been adequately explored. To address this problem, this research proposes an uncertainty-aware path planning method, URA* using aerial images for autonomous navigation in off-road environments. An ensemble convolutional neural network (CNN) model is first used to perform pixel-level traversability estimation from aerial images of the region of interest. The traversability predictions are represented as a grid of traversal probability values. An uncertainty-aware planner is then applied to compute the best path from a start point to a goal point given these noisy traversal probability estimates. The proposed planner also incorporates replanning techniques to allow rapid replanning during online robot operation. The proposed method is evaluated on the Massachusetts Road Dataset, the DeepGlobe dataset, as well as a dataset of aerial images from off-road proving grounds at Mississippi State University. Results show that the proposed image segmentation and planning methods outperform conventional planning algorithms in terms of the quality and feasibility of the initial path, as well as the quality of replanned paths.


title: Hybrid Quantum-Classical Multilevel Approach for Maximum Cuts on Graphs

abstract: Combinatorial optimization is one of the fields where near term quantum devices are being utilized with hybrid quantum-classical algorithms to demonstrate potentially practical applications of quantum computing. One of the most well studied problems in combinatorial optimization is the Max-Cut problem. The problem is also highly relevant to quantum and other types of "post Moore" architectures due to its similarity with the Ising model and other reasons. In this paper, we introduce a scalable hybrid multilevel approach to solve large instances of Max-Cut using both classical only solvers and quantum approximate optimization algorithm (QAOA). We compare the results of our solver to existing state of the art large-scale Max-Cut solvers. We demonstrate excellent performance of both classical and hybrid quantum-classical approaches and show that using QAOA within our framework is comparable to classical approaches.


title: EgoObjects: A Large-Scale Egocentric Dataset for Fine-Grained Object Understanding

abstract: Object understanding in egocentric visual data is arguably a fundamental research topic in egocentric vision. However, existing object datasets are either non-egocentric or have limitations in object categories, visual content, and annotation granularities. In this work, we introduce EgoObjects, a large-scale egocentric dataset for fine-grained object understanding. Its Pilot version contains over 9K videos collected by 250 participants from 50+ countries using 4 wearable devices, and over 650K object annotations from 368 object categories. Unlike prior datasets containing only object category labels, EgoObjects also annotates each object with an instance-level identifier, and includes over 14K unique object instances. EgoObjects was designed to capture the same object under diverse background complexities, surrounding objects, distance, lighting and camera motion. In parallel to the data collection, we conducted data annotation by developing a multi-stage federated annotation process to accommodate the growing nature of the dataset. To bootstrap the research on EgoObjects, we present a suite of 4 benchmark tasks around the egocentric object understanding, including a novel instance level- and the classical category level object detection. Moreover, we also introduce 2 novel continual learning object detection tasks. The dataset and API are available at https://github.com/facebookresearch/EgoObjects.


title: GPT as a Baseline for Recommendation Explanation Texts

abstract: In this work, we establish a baseline potential for how modern model-generated text explanations of movie recommendations may help users, and explore what different components of these text explanations that users like or dislike, especially in contrast to existing human movie reviews. We found that participants gave no significantly different rankings between movies, nor did they give significantly different individual quality scores to reviews of movies that they had never seen before. However, participants did mark reviews as significantly better when they were movies they had seen before. We also explore specific aspects of movie review texts that participants marked as important for each quality. Overall, we establish that modern LLMs are a promising source of recommendation explanations, and we intend on further exploring personalizable text explanations in the future.


title: A supersymmetric SYK model with a curious low energy behavior

abstract: We consider $\mathcal{N}$ = 2, 4 supersymmetric SYK models that have a peculiar low energy behavior, with the entropy going like $S = S_{0} + \text{(constant)}T^{a}$, where $a \neq 1$. The large $N$ equations for these models are a generalization of equations that have been previously studied as an unjustified truncation of the planar diagrams describing the BFSS matrix quantum mechanics or other related matrix models. Here we reanalyze these equations in order to better understand the low energy physics of these models. We find that the scalar fields develop large expectation values which explore the low energy valleys in the potential. The low energy physics is dominated by quadratic fluctuations around these values. These models were previously conjectured to have a spin glass phase. We did not find any evidence for this phase by using the usual diagnostics, such as searching for replica symmetry breaking solutions.

categories: hep-th cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el


title: The Cohen-Macaulay type of edge-weighted r-path ideals

abstract: We describe combinatorially the Cohen-Macaulay type of edge-weighted r-path suspensions of edge-weighted graphs for an arbitrary positive integer r. The computation of the Cohen-Macaulay type of edge-weighted suspensions of edge-weighted graphs becomes a special case of r = 1.


title: Dynamical chirality production in one dimension

abstract: We discuss the quantum computation of dynamical chirality production in lattice gauge theory. Although the chirality of a lattice fermion is complicated in general dimensions, it can be simply formulated on a one-dimensional lattice. The chiral fermion formalism enables us to extract the physical part of the chirality production that would be interpreted as the chiral anomaly in the continuous theory. We demonstrate the computation of the $Z_2$ lattice gauge theory on a classical emulator.


title: Distributionally Robust CVaR-Based Safety Filtering for Motion Planning in Uncertain Environments

abstract: Safety is a core challenge of autonomous robot motion planning, especially in the presence of dynamic and uncertain obstacles. Many recent results use learning and deep learning-based motion planners and prediction modules to predict multiple possible obstacle trajectories and generate obstacle-aware ego robot plans. However, planners that ignore the inherent uncertainties in such predictions incur collision risks and lack formal safety guarantees. In this paper, we present a computationally efficient safety filtering solution to reduce the collision risk of ego robot motion plans using multiple samples of obstacle trajectory predictions. The proposed approach reformulates the collision avoidance problem by computing safe halfspaces based on obstacle sample trajectories using distributionally robust optimization (DRO) techniques. The safe halfspaces are used in a model predictive control (MPC)-like safety filter to apply corrections to the reference ego trajectory thereby promoting safer planning. The efficacy and computational efficiency of our approach are demonstrated through numerical simulations.


title: A Categorical Framework for Program Semantics and Semantic Abstraction

abstract: Categorical semantics of type theories are often characterized as structure-preserving functors. This is because in category theory both the syntax and the domain of interpretation are uniformly treated as structured categories, so that we can express interpretations as structure-preserving functors between them. This mathematical characterization of semantics makes it convenient to manipulate and to reason about relationships between interpretations. Motivated by this success of functorial semantics, we address the question of finding a functorial analogue in abstract interpretation, a general framework for comparing semantics, so that we can bring similar benefits of functorial semantics to semantic abstractions used in abstract interpretation. Major differences concern the notion of interpretation that is being considered. Indeed, conventional semantics are value-based whereas abstract interpretation typically deals with more complex properties. In this paper, we propose a functorial approach to abstract interpretation and study associated fundamental concepts therein. In our approach, interpretations are expressed as oplax functors in the category of posets, and abstraction relations between interpretations are expressed as lax natural transformations representing concretizations. We present examples of these formal concepts from monadic semantics of programming languages and discuss soundness.


title: Mapping the AMS-02 and CALET Data onto the Source Spectra and Residence Times of Galactic Cosmic Rays

abstract: The recent measurements of the spectral intensities of cosmic-ray nuclei have suggested that the ratio of Boron to Carbon nuclei, $R(E)$, comprises two components, $R_1(E)$ which carries all of the energy dependence and the other $R_A$, a constant independent of energy per nucleon. This finding supports the earlier theoretical expectations and results of gamma-ray astronomy that one of these components is attributable to spallation in a cocoon like region surrounding the sources and the other in the general interstellar medium before cosmic rays leak away from the Galaxy. A new model-independent way of analyzing cosmic-ray spectra is presented here to shed light on the recent findings: Imposing the single constraint that the source function of B nuclei is minimal we use a cascade of rate equations to map point-by-point the observed cosmic ray spectra of p, B, C, O and Fe on to their source spectra and the two life-times of cosmic rays $\tau_G$ in the Galaxy and $\tau_S$ in the cocoons surrounding the sources. The model independent results show that the appropriate choice is $\tau_S(E)$ is responsible for $R_1(E)$ and the source spectra are power laws with indices of $\sim-2.7$.


title: Azimuthal distribution of exponential format for particle collective motions in heavy-ion collisions under asynchronous assumption

abstract: Particle azimuth distributions are widely studied in heavy-ion collisions. They are often expanded in Fourier series to extract anisotropic flow harmonics simultaneously. It was recently proposed that the different orders of flows could happen asynchronously or noninterdependently. This study extends this idea to an exponential format of the azimuth distribution, which makes it straightforward to extract the asynchronous flow coefficients. We compare these new coefficients to the conventional ones, and find consistency in the leading coefficient and discrepancy in higher-order ones.


title: Distributionally Robust Post-hoc Classifiers under Prior Shifts

abstract: The generalization ability of machine learning models degrades significantly when the test distribution shifts away from the training distribution. We investigate the problem of training models that are robust to shifts caused by changes in the distribution of class-priors or group-priors. The presence of skewed training priors can often lead to the models overfitting to spurious features. Unlike existing methods, which optimize for either the worst or the average performance over classes or groups, our work is motivated by the need for finer control over the robustness properties of the model. We present an extremely lightweight post-hoc approach that performs scaling adjustments to predictions from a pre-trained model, with the goal of minimizing a distributionally robust loss around a chosen target distribution. These adjustments are computed by solving a constrained optimization problem on a validation set and applied to the model during test time. Our constrained optimization objective is inspired by a natural notion of robustness to controlled distribution shifts. Our method comes with provable guarantees and empirically makes a strong case for distributional robust post-hoc classifiers. An empirical implementation is available at https://github.com/weijiaheng/Drops.


title: Dual-Camera Joint Deblurring-Denoising

abstract: Recent image enhancement methods have shown the advantages of using a pair of long and short-exposure images for low-light photography. These image modalities offer complementary strengths and weaknesses. The former yields an image that is clean but blurry due to camera or object motion, whereas the latter is sharp but noisy due to low photon count. Motivated by the fact that modern smartphones come equipped with multiple rear-facing camera sensors, we propose a novel dual-camera method for obtaining a high-quality image. Our method uses a synchronized burst of short exposure images captured by one camera and a long exposure image simultaneously captured by another. Having a synchronized short exposure burst alongside the long exposure image enables us to (i) obtain better denoising by using a burst instead of a single image, (ii) recover motion from the burst and use it for motion-aware deblurring of the long exposure image, and (iii) fuse the two results to further enhance quality. Our method is able to achieve state-of-the-art results on synthetic dual-camera images from the GoPro dataset with five times fewer training parameters compared to the next best method. We also show that our method qualitatively outperforms competing approaches on real synchronized dual-camera captures.


title: S3-DST: Structured Open-Domain Dialogue Segmentation and State Tracking in the Era of LLMs

abstract: The traditional Dialogue State Tracking (DST) problem aims to track user preferences and intents in user-agent conversations. While sufficient for task-oriented dialogue systems supporting narrow domain applications, the advent of Large Language Model (LLM)-based chat systems has introduced many real-world intricacies in open-domain dialogues. These intricacies manifest in the form of increased complexity in contextual interactions, extended dialogue sessions encompassing a diverse array of topics, and more frequent contextual shifts. To handle these intricacies arising from evolving LLM-based chat systems, we propose joint dialogue segmentation and state tracking per segment in open-domain dialogue systems. Assuming a zero-shot setting appropriate to a true open-domain dialogue system, we propose S3-DST, a structured prompting technique that harnesses Pre-Analytical Recollection, a novel grounding mechanism we designed for improving long context tracking. To demonstrate the efficacy of our proposed approach in joint segmentation and state tracking, we evaluate S3-DST on a proprietary anonymized open-domain dialogue dataset, as well as publicly available DST and segmentation datasets. Across all datasets and settings, S3-DST consistently outperforms the state-of-the-art, demonstrating its potency and robustness the next generation of LLM-based chat systems.


title: Boosting End-to-End Multilingual Phoneme Recognition through Exploiting Universal Speech Attributes Constraints

abstract: We propose a first step toward multilingual end-to-end automatic speech recognition (ASR) by integrating knowledge about speech articulators. The key idea is to leverage a rich set of fundamental units that can be defined "universally" across all spoken languages, referred to as speech attributes, namely manner and place of articulation. Specifically, several deterministic attribute-to-phoneme mapping matrices are constructed based on the predefined set of universal attribute inventory, which projects the knowledge-rich articulatory attribute logits, into output phoneme logits. The mapping puts knowledge-based constraints to limit inconsistency with acoustic-phonetic evidence in the integrated prediction. Combined with phoneme recognition, our phone recognizer is able to infer from both attribute and phoneme information. The proposed joint multilingual model is evaluated through phoneme recognition. In multilingual experiments over 6 languages on benchmark datasets LibriSpeech and CommonVoice, we find that our proposed solution outperforms conventional multilingual approaches with a relative improvement of 6.85% on average, and it also demonstrates a much better performance compared to monolingual model. Further analysis conclusively demonstrates that the proposed solution eliminates phoneme predictions that are inconsistent with attributes.


title: Exact description of limiting SIR and SEIR dynamics on locally tree-like graphs

abstract: We study the Susceptible-Infected-Recovered (SIR) and the Susceptible-Exposed-Infected-Recovered (SEIR) models of epidemics, with possibly time-varying rates, on a class of networks that are locally tree-like, which includes sparse Erd\H{o}s-R\`enyi random graphs, random regular graphs, and other configuration models. We identify tractable systems of ODEs that exactly describe the dynamics of the SIR and SEIR processes in a suitable asymptotic regime in which the population size goes to infinity. Moreover, in the case of constant recovery and infection rates, we characterize the outbreak size as the unique zero of an explicit functional. We use this to show that a (suitably defined) mean-field prediction always overestimates the outbreak size, and that the outbreak sizes for SIR and SEIR processes with the same initial condition and constant infection and recovery rates coincide. In contrast, we show that the outbreak sizes for SIR and SEIR processes with the same time-varying infection and recovery rates can in general be quite different. We also demonstrate via simulations the efficacy of our approximations for populations of moderate size.


title: Expansion of the Critical Intensity for the Random Connection Model

abstract: We derive an asymptotic expansion for the critical percolation density of the random connection model as the dimension of the encapsulating space tends to infinity. We calculate rigorously the first expansion terms for the Gilbert disk model, the hyper-cubic model, the Gaussian connection kernel, and a coordinate-wise Cauchy kernel.


title: Global kinematics study of OH masers in W49N

abstract: Star formation is underway in the W49N molecular cloud (MC) at a high level of efficiency, with almost twenty ultra-compact (UC) HII regions observed thus far, indicating a recent formation of massive stars. Previous works have suggested that this cloud is undergoing a global contraction. We analyse the data on OH masers in the molecular cloud W49N, observed with the VLBA at the 1612, 1665, and 1667 MHz transitions in LCP and RCP with an aim to study the global kinematics of the masers. We carried out our study based on the locations and observed velocities of the maser spots. The velocities were fitted to the straight line of V$_{obs}$-V$_{sys}$ versus d$_{(\alpha, \delta)m}$, resulting in V$_{ftd}$. The difference between the fitted values and those obtained from observations is $\Delta $V. The V$_{obs}$-V$_{sys}$ velocity shows a gradient as a function of the distance to ($\alpha, \delta$)$_{m}$, where the closer spots have the largest velocities. Spots with similar velocities are located in different sectors, with respect to ($\alpha, \delta$)$_{m}$. Then, we assumed that the spots are moving towards a contraction centre (CC$_{OH}$), which is at the apex of a CONUS. We also assumed that the distance of each spot to CC$_{OH}$ is d$_{cc}$ and that they fall with a velocity V$_{CC}$, with the total velocity being V$_{Tot}$. Using this velocity, we estimated the free-fall velocity. The observed dispersion with respect to the global trend against $d_{cc}$, shows a maximum at 0.12 pc, with a decay from 0.12 to 0.19 pc, which is faster than that taking place between 0.19 and 0.42 pc. Based on $V_{tot}$ an inner mass of M$_{inn}$=2500 $M_{\odot}$ was estimated.The velocities of the OH spots at W49N, together with their positions respect $(\alpha, \delta)_m$, make it possible to trace a global kinematics, which seems to be due to a subcollapse in the W49N molecular cloud.


title: SLIDE: Reference-free Evaluation for Machine Translation using a Sliding Document Window

abstract: Reference-based metrics that operate at the sentence-level typically outperform quality estimation metrics, which have access only to the source and system output. This is unsurprising, since references resolve ambiguities that may be present in the source. In this paper, we investigate whether additional source context can effectively substitute for a reference. We present a metric named SLIDE (SLIding Document Evaluator), which operates on blocks of sentences. SLIDE leverages a moving window that slides over each document in the test set, feeding each chunk of sentences into an unmodified, off-the-shelf quality estimation model. We find that SLIDE obtains significantly higher pairwise system accuracy than its sentence-level baseline, in some cases even eliminating the gap with reference-base metrics. This suggests that source context may provide the same information as a human reference in disambiguating source ambiguities. This finding is especially pertinent for reference-free document-level evaluation, wherein SLIDE could provide higher-quality pairwise system assessments while only requiring document boundary annotations.


title: Black-Body Radiation in a Uniformly Accelerated Frame

abstract: We derive Planck's radiation law in a uniformly accelerated frame expressed in Rindler coordinates. The black-body spectrum is time-dependent by its temperature and Planckian at each instantaneous time, but it is scaled by an emissivity factor that depends on the Rindler spatial coordinate and the acceleration magnitude. The observer in an accelerated frame will perceive the black-body as black, hyperblack, or grey, depending on its position with respect to the source (moving away or towards), the acceleration magnitude, and the case of whether it is accelerated or decelerated. For an observer accelerating away from the source, there exists a threshold on the acceleration magnitude beyond which it stops receiving radiation from the black-body. Since the frequency and the number of modes in Planck's law evolve over time, the spectrum is continuously red or blue-shifted towards lower (or higher) frequencies as time progresses, and the radiation modes (photons) could be created or annihilated, depending on the observer's position and its acceleration or deceleration relative to the source of radiation.


title: Random Maps with Sociological Flavor

abstract: A map of a set to itself admits a representation by a graph with vertices being the elements of the set and an edge between every vertex and its image. Communities defined as the maximal connected components are uni-cyclic. The distributions of the sizes of communities and lengths of cycles for unconstrained random maps is a classical subject. We call experts the images and followers the remaining vertexes, and we further define prophets, egocentrics, and introverts. We introduce and analyze classes of random maps with sociological flavor.


title: Intelligent machines work in unstructured environments by differential neuromorphic computing

abstract: Efficient operation of intelligent machines in the real world requires methods that allow them to understand and predict the uncertainties presented by the unstructured environments with good accuracy, scalability and generalization, similar to humans. Current methods rely on pretrained networks instead of continuously learning from the dynamic signal properties of working environments and suffer inherent limitations, such as data-hungry procedures, and limited generalization capabilities. Herein, we present a memristor-based differential neuromorphic computing, perceptual signal processing and learning method for intelligent machines. The main features of environmental information such as amplification (>720%) and adaptation (<50%) of mechanical stimuli encoded in memristors, are extracted to obtain human-like processing in unstructured environments. The developed method takes advantage of the intrinsic multi-state property of memristors and exhibits good scalability and generalization, as confirmed by validation in two different application scenarios: object grasping and autonomous driving. In the former, a robot hand experimentally realizes safe and stable grasping through fast learning (in ~1 ms) the unknown object features (e.g., sharp corner and smooth surface) with a single memristor. In the latter, the decision-making information of 10 unstructured environments in autonomous driving (e.g., overtaking cars, pedestrians) is accurately (94%) extracted with a 40*25 memristor array. By mimicking the intrinsic nature of human low-level perception mechanisms, the electronic memristive neuromorphic circuit-based method, presented here shows the potential for adapting to diverse sensing technologies and helping intelligent machines generate smart high-level decisions in the real world.


title: Bias and Fairness in Chatbots: An Overview

abstract: Chatbots have been studied for more than half a century. With the rapid development of natural language processing (NLP) technologies in recent years, chatbots using large language models (LLMs) have received much attention nowadays. Compared with traditional ones, modern chatbots are more powerful and have been used in real-world applications. There are however, bias and fairness concerns in modern chatbot design. Due to the huge amounts of training data, extremely large model sizes, and lack of interpretability, bias mitigation and fairness preservation of modern chatbots are challenging. Thus, a comprehensive overview on bias and fairness in chatbot systems is given in this paper. The history of chatbots and their categories are first reviewed. Then, bias sources and potential harms in applications are analyzed. Considerations in designing fair and unbiased chatbot systems are examined. Finally, future research directions are discussed.


title: FastGraphTTS: An Ultrafast Syntax-Aware Speech Synthesis Framework

abstract: This paper integrates graph-to-sequence into an end-to-end text-to-speech framework for syntax-aware modelling with syntactic information of input text. Specifically, the input text is parsed by a dependency parsing module to form a syntactic graph. The syntactic graph is then encoded by a graph encoder to extract the syntactic hidden information, which is concatenated with phoneme embedding and input to the alignment and flow-based decoding modules to generate the raw audio waveform. The model is experimented on two languages, English and Mandarin, using single-speaker, few samples of target speakers, and multi-speaker datasets, respectively. Experimental results show better prosodic consistency performance between input text and generated audio, and also get higher scores in the subjective prosodic evaluation, and show the ability of voice conversion. Besides, the efficiency of the model is largely boosted through the design of the AI chip operator with 5x acceleration.


title: AOSR-Net: All-in-One Sandstorm Removal Network

abstract: Most existing sandstorm image enhancement methods are based on traditional theory and prior knowledge, which often restrict their applicability in real-world scenarios. In addition, these approaches often adopt a strategy of color correction followed by dust removal, which makes the algorithm structure too complex. To solve the issue, we introduce a novel image restoration model, named all-in-one sandstorm removal network (AOSR-Net). This model is developed based on a re-formulated sandstorm scattering model, which directly establishes the image mapping relationship by integrating intermediate parameters. Such integration scheme effectively addresses the problems of over-enhancement and weak generalization in the field of sand dust image enhancement. Experimental results on synthetic and real-world sandstorm images demonstrate the superiority of the proposed AOSR-Net over state-of-the-art (SOTA) algorithms.


title: Contrastive Latent Space Reconstruction Learning for Audio-Text Retrieval

abstract: Cross-modal retrieval (CMR) has been extensively applied in various domains, such as multimedia search engines and recommendation systems. Most existing CMR methods focus on image-to-text retrieval, whereas audio-to-text retrieval, a less explored domain, has posed a great challenge due to the difficulty to uncover discriminative features from audio clips and texts. Existing studies are restricted in the following two ways: 1) Most researchers utilize contrastive learning to construct a common subspace where similarities among data can be measured. However, they considers only cross-modal transformation, neglecting the intra-modal separability. Besides, the temperature parameter is not adaptively adjusted along with semantic guidance, which degrades the performance. 2) These methods do not take latent representation reconstruction into account, which is essential for semantic alignment. This paper introduces a novel audio-text oriented CMR approach, termed Contrastive Latent Space Reconstruction Learning (CLSR). CLSR improves contrastive representation learning by taking intra-modal separability into account and adopting an adaptive temperature control strategy. Moreover, the latent representation reconstruction modules are embedded into the CMR framework, which improves modal interaction. Experiments in comparison with some state-of-the-art methods on two audio-text datasets have validated the superiority of CLSR.


title: Oscillator strengths and excited-state couplings for double excitations in time-dependent density functional theory

abstract: Although useful to extract excitation energies of states of double-excitation character in time-dependent density functional theory that are missing in the adiabatic approximation, the frequency-dependent kernel derived earlier [J. Chem. Phys. {\bf 120}, 5932 (2004)] was not designed to yield oscillator strengths. These are required to fully determine linear absorption spectra and they also impact excited-to-excited-state couplings that appear in dynamics simulations and other quadratic response properties. Here we derive a modified non-adiabatic kernel that yields both accurate excitation energies and oscillator strengths for these states. We demonstrate its performance on a model two-electron system, the Be atom, and on excited-state transition dipoles in the LiH molecule at stretched bond-lengths, in all cases producing significant improvements over the traditional approximations.


title: A central limit theorem for a card shuffling problem

abstract: Given a positive integer $n$, consider a random permutation $\tau$ of the set $\{1,2,\ldots, n\}$. In $\tau$, we look for sequences of consecutive integers that appear in adjacent positions: a maximal such a sequence is called a block. Each block in $\tau$ is merged, and after all the merges, the elements of this new set are relabeled from $1$ to the current number of elements. We continue to randomly permute and merge this new set until only one integer is left. In this paper, we investigate the asymptotic behavior of $X_n$, the number of permutations needed for this process to end. In particular, we find an explicit asymptotic expression for each of $\mathbf{E}[X_n]$ and $\mathbf{Var} [X_n]$ as well as for every higher central moment, and show that $X_n$ satisfies a central limit theorem.


title: MA-SAM: Modality-agnostic SAM Adaptation for 3D Medical Image Segmentation

abstract: The Segment Anything Model (SAM), a foundation model for general image segmentation, has demonstrated impressive zero-shot performance across numerous natural image segmentation tasks. However, SAM's performance significantly declines when applied to medical images, primarily due to the substantial disparity between natural and medical image domains. To effectively adapt SAM to medical images, it is important to incorporate critical third-dimensional information, i.e., volumetric or temporal knowledge, during fine-tuning. Simultaneously, we aim to harness SAM's pre-trained weights within its original 2D backbone to the fullest extent. In this paper, we introduce a modality-agnostic SAM adaptation framework, named as MA-SAM, that is applicable to various volumetric and video medical data. Our method roots in the parameter-efficient fine-tuning strategy to update only a small portion of weight increments while preserving the majority of SAM's pre-trained weights. By injecting a series of 3D adapters into the transformer blocks of the image encoder, our method enables the pre-trained 2D backbone to extract third-dimensional information from input data. The effectiveness of our method has been comprehensively evaluated on four medical image segmentation tasks, by using 10 public datasets across CT, MRI, and surgical video data. Remarkably, without using any prompt, our method consistently outperforms various state-of-the-art 3D approaches, surpassing nnU-Net by 0.9%, 2.6%, and 9.9% in Dice for CT multi-organ segmentation, MRI prostate segmentation, and surgical scene segmentation respectively. Our model also demonstrates strong generalization, and excels in challenging tumor segmentation when prompts are used. Our code is available at: https://github.com/cchen-cc/MA-SAM.


title: Recent developments on the lifespan estimate for classical solutions of nonlinear wave equations in one space dimension

abstract: In this paper, we overview the recent progresses on the lifespan estimates of classical solutions of the initial value problems for nonlinear wave equations in one space dimension. There are mainly two directions of the developments on the model equations which ensure the optimality of the general theory. One is on the so-called "combined effect" of two kinds of the different nonlinear terms, which shows the possibility to improve the general theory. Another is on the extension to the non-autonomous nonlinear terms which includes the application to nonlinear damped wave equations with the time-dependent critical case.


title: Emerging Approaches for THz Array Imaging: A Tutorial Review and Software Tool

abstract: Accelerated by the increasing attention drawn by 5G, 6G, and Internet of Things applications, communication and sensing technologies have rapidly evolved from millimeter-wave (mmWave) to terahertz (THz) in recent years. Enabled by significant advancements in electromagnetic (EM) hardware, mmWave and THz frequency regimes spanning 30 GHz to 300 GHz and 300 GHz to 3000 GHz, respectively, can be employed for a host of applications. The main feature of THz systems is high-bandwidth transmission, enabling ultra-high-resolution imaging and high-throughput communications; however, challenges in both the hardware and algorithmic arenas remain for the ubiquitous adoption of THz technology. Spectra comprising mmWave and THz frequencies are well-suited for synthetic aperture radar (SAR) imaging at sub-millimeter resolutions for a wide spectrum of tasks like material characterization and nondestructive testing (NDT). This article provides a tutorial review of systems and algorithms for THz SAR in the near-field with an emphasis on emerging algorithms that combine signal processing and machine learning techniques. As part of this study, an overview of classical and data-driven THz SAR algorithms is provided, focusing on object detection for security applications and SAR image super-resolution. We also discuss relevant issues, challenges, and future research directions for emerging algorithms and THz SAR, including standardization of system and algorithm benchmarking, adoption of state-of-the-art deep learning techniques, signal processing-optimized machine learning, and hybrid data-driven signal processing algorithms...


title: Has Sentiment Returned to the Pre-pandemic Level? A Sentiment Analysis Using U.S. College Subreddit Data from 2019 to 2022

abstract: As impact of COVID-19 pandemic winds down, both individuals and society gradually return to pre-pandemic activities. This study aims to explore how people's emotions have changed from the pre-pandemic during the pandemic to post-emergency period and whether it has returned to pre-pandemic level. We collected Reddit data in 2019 (pre-pandemic), 2020 (peak pandemic), 2021, and 2022 (late stages of pandemic, transitioning period to post-emergency period) from subreddits in 128 universities/colleges in the U.S., and a set of school-level characteristics. We predicted two sets of sentiments from a pre-trained Robustly Optimized BERT pre-training approach (RoBERTa) and graph attention network (GAT) that leverages both rich semantic and relational information among posted messages and then applied a logistic stacking method to obtain the final sentiment classification. After obtaining sentiment label for each message, we used a generalized linear mixed-effects model to estimate temporal trend in sentiment from 2019 to 2022 and how school-level factors may affect sentiment. Compared to the year 2019, the odds of negative sentiment in years 2020, 2021, and 2022 are 24%, 4.3%, and 10.3% higher, respectively, which are all statistically significant(adjusted $p$<0.05). Our study findings suggest a partial recovery in the sentiment composition in the post-pandemic-emergency era. The results align with common expectations and provide a detailed quantification of how sentiments have evolved from 2019 to 2022.


title: Twisted convolution algebras with coefficients on a differential subalgebra

abstract: Let $(\alpha, \omega)$ be a measurable twisted action of the locally compact group ${\sf G}$ on a Banach $^*$-algebra $\mathfrak B$ and $\mathfrak A$ a differential $^*$-subalgebra of $\mathfrak B$, invariant under $(\alpha, \omega)$. We observe that $L^1_{\alpha,\omega}({\sf G},\mathfrak A)$ is a differential subalgebra of $L^1_{\alpha,\omega}({\sf G},\mathfrak B)$. We use this fact to provide new examples of groups with symmetric Banach $^*$-algebras. In particular, we prove that discrete rigidly symmetric extensions of compact groups are symmetric or that semidirect products ${\sf K}\rtimes{\sf H}$, with ${\sf H}$ symmetric and ${\sf K}$ compact, are symmetric.


title: Computational Optimal Transport and Filtering on Riemannian manifolds

abstract: In this paper we extend recent developments in computational optimal transport to the setting of Riemannian manifolds. In particular, we show how to learn optimal transport maps from samples that relate probability distributions defined on manifolds. Specializing these maps for sampling conditional probability distributions provides an ensemble approach for solving nonlinear filtering problems defined on such geometries. The proposed computational methodology is illustrated with examples of transport and nonlinear filtering on Lie groups, including the circle $S^1$, the special Euclidean group $SE(2)$, and the special orthogonal group $SO(3)$.


title: On Effective Sato-Tate Distributions for Surfaces Arising from Products of Elliptic Curves

abstract: We prove, with an unconditional effective error bound, the Sato-Tate distributions for two families of surfaces arising from products of elliptic curves, namely a one-parameter family of K3 surfaces and double quadric surfaces. To prove these effective Sato-Tate distributions, we prove an effective form of the joint Sato-Tate distribution for two twist-inequivalent elliptic curves, along with an effective form of the Sato-Tate distribution for an elliptic curve for primes in arithmetic progressions. The former completes the previous work of Thorner by including the cases in which one of the elliptic curves has CM.


title: Learning a Stable Dynamic System with a Lyapunov Energy Function for Demonstratives Using Neural Networks

abstract: Autonomous Dynamic System (DS)-based algorithms hold a pivotal and foundational role in the field of Learning from Demonstration (LfD). Nevertheless, they confront the formidable challenge of striking a delicate balance between achieving precision in learning and ensuring the overall stability of the system. In response to this substantial challenge, this paper introduces a novel DS algorithm rooted in neural network technology. This algorithm not only possesses the capability to extract critical insights from demonstration data but also demonstrates the capacity to learn a candidate Lyapunov energy function that is consistent with the provided data. The model presented in this paper employs a straightforward neural network architecture that excels in fulfilling a dual objective: optimizing accuracy while simultaneously preserving global stability. To comprehensively evaluate the effectiveness of the proposed algorithm, rigorous assessments are conducted using the LASA dataset, further reinforced by empirical validation through a robotic experiment.


title: Vertex Operators of the KP hierarchy and Singular Algebraic Curves

abstract: Quasi-periodic solutions of the KP hierarchy acted by vertex operators are studied. We show, with the aid of the Sato Grassmannian, that solutions thus constructed correspond to torsion free rank one sheaves on some singular algebraic curves whose normalizations are the non-singular curves corresponding to the seed quasi-periodic solutions. It means that the action of the vertex operator has an effect of creating singular points on an algebraic curve. We further check, by examples, that solutions obtained here can be considered as solitons on quasi-periodic backgrounds, where the soliton matrices are deterimed by parameters in the vertex operators.


title: Enhancing Visual Perception in Novel Environments via Incremental Data Augmentation Based on Style Transfer

abstract: The deployment of autonomous agents in real-world scenarios is challenged by "unknown unknowns", i.e. novel unexpected environments not encountered during training, such as degraded signs. While existing research focuses on anomaly detection and class imbalance, it often fails to address truly novel scenarios. Our approach enhances visual perception by leveraging the Variational Prototyping Encoder (VPE) to adeptly identify and handle novel inputs, then incrementally augmenting data using neural style transfer to enrich underrepresented data. By comparing models trained solely on original datasets with those trained on a combination of original and augmented datasets, we observed a notable improvement in the performance of the latter. This underscores the critical role of data augmentation in enhancing model robustness. Our findings suggest the potential benefits of incorporating generative models for domain-specific augmentation strategies.


title: RNN Controller for Lane-Keeping Systems with Robustness and Safety Verification

abstract: This paper proposes a Recurrent Neural Network (RNN) controller for lane-keeping systems, effectively handling model uncertainties and disturbances. First, quadratic constraints cover the nonlinearities brought by the RNN controller, and the linear fractional transformation method models the dynamics of system uncertainties. Second, we prove the robust stability of the lane-keeping system in the presence of uncertain vehicle speed using a linear matrix inequality. Then, we define a reachable set for the lane-keeping system. Finally, to confirm the safety of the lane-keeping system with tracking error bound, we formulate semidefinite programming to approximate the outer set of the reachable set. Numerical experiments demonstrate that this approach confirms the stabilizing RNN controller and validates the safety with an untrained dataset with untrained varying road curvatures.


title: Computational Enhancement for Day-Ahead Energy Scheduling with Sparse Neural Network-based Battery Degradation Model

abstract: Battery energy storage systems (BESS) play a pivotal role in future power systems as they contribute to achiev-ing the net-zero carbon emission objectives. The BESS systems, predominantly employing lithium-ion batteries, have been exten-sively deployed. The degradation of these batteries significantly affects system efficiency. Deep neural networks can accurately quantify the battery degradation, however, the model complexity hinders their applications in energy scheduling for various power systems at different scales. To address this issue, this paper pre-sents a novel approach, introducing a linearized sparse neural network-based battery degradation model (SNNBD), specifically tailored to quantify battery degradation based on the scheduled BESS daily operational profiles. By leveraging sparse neural networks, this approach achieves accurate degradation predic-tion while substantially reducing the complexity associated with a dense neural network model. The computational burden of inte-grating battery degradation into day-ahead energy scheduling is thus substantially alleviated. Case studies, conducted on both microgrids and bulk power grids, demonstrated the efficiency and suitability of the proposed SNNBD-integrated scheduling model that can effectively address battery degradation concerns while optimizing day-ahead energy scheduling operations.


title: Intention-Aware Planner for Robust and Safe Aerial Tracking

abstract: Autonomous target tracking with quadrotors has wide applications in many scenarios, such as cinematographic follow-up shooting or suspect chasing. Target motion prediction is necessary when designing the tracking planner. However, the widely used constant velocity or constant rotation assumption can not fully capture the dynamics of the target. The tracker may fail when the target happens to move aggressively, such as sudden turn or deceleration. In this paper, we propose an intention-aware planner by additionally considering the intention of the target to enhance safety and robustness in aerial tracking applications. Firstly, a designated intention prediction method is proposed, which combines a user-defined potential assessment function and a state observation function. A reachable region is generated to specifically evaluate the turning intentions. Then we design an intention-driven hybrid A* method to predict the future possible positions for the target. Finally, an intention-aware optimization approach is designed to generate a spatial-temporal optimal trajectory, allowing the tracker to perceive unexpected situations from the target. Benchmark comparisons and real-world experiments are conducted to validate the performance of our method.


title: An Empirical Analysis on Remittances and Financial Development in Latin American Countries

abstract: Remittances have become one of the driving forces of development for countries all over the world, especially in lower-middle-income nations. This paper empirically investigates the association between remittance flows and financial development in 4 lower-middle-income countries of Latin America. By using a panel data set from 1996 to 2019, the study revealed that remittances and financial development are positively associated in these countries. The study also discovered that foreign direct investment and inflation were positively correlated with financial development while trade openness had a negative association with financial development. Therefore, policymakers of these countries should implement and formulate such policies so that migrant workers would have the incentives to send money through formal channels, which will augment the effect of remittances on the recipient country.


title: Entangling two giant atoms via a topological waveguide

abstract: The entanglement generation of two two-level giant atoms coupled to a photonic waveguide, which is formed by a Su-Schrieffer-Heeger (SSH) type coupled-cavity array is studied. Here, each atom is coupled to the waveguide through two coupling points. The two-atom separate-coupling case is studied, and 16 coupling configurations are considered for the coupling-point distributions between the two atoms and the waveguide. Quantum master equations are derived to govern the evolution of the two atoms and characterize atomic entanglement by calculating the concurrence of the two-atom states. It is found that the two giant-atom entanglement depends on the coupling configurations and the coupling-point distance of the giant atoms. In particular, the entanglement dynamics of the two giant atoms in 14 coupling configurations depend on the dimerization parameter of the SSH waveguide. According to the self-energies of the two giant atoms, it is found that ten of these 16 coupling configurations can be divided into five pairs. It is also showed that the delayed sudden birth of entanglement between the two giant atoms is largely enhanced in these five pairs of coupling configurations. This work will promote the study of quantum effects and coherent manipulation in giant-atom topological-waveguide-QED systems.


title: Exploring orbital-charge conversion mediated by interfaces with copper through spin-orbital pumping

abstract: We investigated how different materials affect the orbital-charge conversion in heterostructures with the naturally oxidized cooper capping layer. When we added a thin layer of $CuOx(3nm)$ onto yttrium iron garnet $(YIG)/W$ stacks, we observed a significant reduction in the charge current signal measured by means the spin pumping effect technique. This finding contrasts with the results of a prior study conducted on YIG/Pt/CuOx, which reported the opposite effect. On the other hand, when we added the same $CuOx(3nm)$ layer to $YIG/Ti(4nm)$ structures, there was not much change in the spin pumping signal. This occurred because Ti does not generate much orbital current at the $Ti/CuOx$ interface, unlike Pt, due to its weaker spin-orbit coupling. Interestingly, when we added the $CuOx(3nm)$ layer to $SiO_{2}/Py(5nm)/Pt(4nm)$ structures, the spin pumping signal increased. However, in $SiO_{2}/CuOx(3nm)/Pt(4nm)/Py(5nm)$ structures, the signal decreased. Finally, we delve into a theoretical analysis of the spin (orbital) Hall effect in YIG/Heavy-metal systems. These findings have the potential to advance research in the innovative field of orbitronics and contribute to the development of new technologies based on spin-orbital conversion.


title: Two-mode correlated multiphoton bundle emission

abstract: The preparation of correlated multiphoton sources is an important research topic in quantum optics and quantum information science. Here, two-mode correlated multiphoton bundle emission in a nondegenerate multiphoton Jaynes-Cummings model, which is comprised of a two-level system coupled with two cavity modes is studied. The two-level system is driven by a near-resonant strong laser such that the Mollow regime dominates the physical processes in this system. Under certain resonance conditions, a perfect super-Rabi oscillation between the zero-photon state $|0\rangle_{a}|0\rangle_{b}$ and the ($n+m$)-photon state $|n\rangle_{a}|m\rangle_{b}$ of the two cavity modes can take place. Induced by the photon decay, the two-mode correlated multiphoton bundle emission occurs in this system. More importantly, the results show that there is an antibunching effect between the strongly-correlated photon bundles, so that the system behaves as an antibunched ($n+m$)-photon source. The work opens up a route towards achieving two-mode correlated multiphoton source device, which has potential applications in modern quantum technology.


title: Rethinking Learning Rate Tuning in the Era of Large Language Models

abstract: Large Language Models (LLMs) represent the recent success of deep learning in achieving remarkable human-like predictive performance. It has become a mainstream strategy to leverage fine-tuning to adapt LLMs for various real-world applications due to the prohibitive expenses associated with LLM training. The learning rate is one of the most important hyperparameters in LLM fine-tuning with direct impacts on both fine-tuning efficiency and fine-tuned LLM quality. Existing learning rate policies are primarily designed for training traditional deep neural networks (DNNs), which may not work well for LLM fine-tuning. We reassess the research challenges and opportunities of learning rate tuning in the coming era of Large Language Models. This paper makes three original contributions. First, we revisit existing learning rate policies to analyze the critical challenges of learning rate tuning in the era of LLMs. Second, we present LRBench++ to benchmark learning rate policies and facilitate learning rate tuning for both traditional DNNs and LLMs. Third, our experimental analysis with LRBench++ demonstrates the key differences between LLM fine-tuning and traditional DNN training and validates our analysis.


title: DenseTact-Mini: An Optical Tactile Sensor for Grasping Multi-Scale Objects From Flat Surfaces

abstract: Dexterous manipulation, especially of small daily objects, continues to pose complex challenges in robotics. This paper introduces the DenseTact-Mini, an optical tactile sensor with a soft, rounded, smooth gel surface and compact design equipped with a synthetic fingernail. We propose three distinct grasping strategies: tap grasping using adhesion forces such as electrostatic and van der Waals, fingernail grasping leveraging rolling/sliding contact between the object and fingernail, and fingertip grasping with two soft fingertips. Through comprehensive evaluations, the DenseTact-Mini demonstrates a lifting success rate exceeding 90.2% when grasping various objects, spanning items from 1mm basil seeds and small paperclips to items nearly 15mm. This work demonstrates the potential of soft optical tactile sensors for dexterous manipulation and grasping.


title: Demo: Intelligent Radar Detection in CBRS Band in the Colosseum Wireless Network Emulator

abstract: The ever-growing number of wireless communication devices and technologies demands spectrum-sharing techniques. Effective coexistence management is crucial to avoid harmful interference, especially with critical systems like nautical and aerial radars in which incumbent radios operate mission-critical communication links. In this demo, we showcase a framework that leverages Colosseum, the world's largest wireless network emulator with hardware-in-the-loop, as a playground to study commercial radar waveforms coexisting with a cellular network in CBRS band in complex environments. We create an ad-hoc high-fidelity spectrum-sharing scenario for this purpose. We deploy a cellular network to collect IQ samples with the aim of training an ML agent that runs at the base station. The agent has the goal of detecting incumbent radar transmissions and vacating the cellular bandwidth to avoid interfering with the radar operations. Our experiment results show an average detection accuracy of 88%, with an average detection time of 137 ms.


title: Retention of CO Ice and Gas Within 486958 Arrokoth

abstract: Kuiper Belt Objects (KBOs) represent some of the most ancient remnants of our solar system, having evaded significant thermal or evolutionary processing. This makes them important targets for exploration as they offer a unique opportunity to scrutinize materials that are remnants of the epoch of planet formation. Moreover, with recent and upcoming observations of KBOs, there is a growing interest in understanding the extent to which these objects can preserve their most primitive, hypervolatile ices. Here, we present a theoretical framework that revisits this issue for small, cold classical KBOs like Arrokoth. Our analytical approach is consistent with prior studies but assumes an extreme cold end-member thermophysical regime for Arrokoth, enabling us to capture the essential physics without computationally expensive simulations. Under reasonable assumptions for interior temperatures, thermal conductivities, and permeabilities, we demonstrate that Arrokoth can retain its original CO stock for Gyrs if it was assembled long after the decay of radionuclides. The sublimation of CO ice generates an effective CO `atmosphere' within Arrokoth's porous matrix, which remains in near vapor-pressure equilibrium with the ice layer just below, thereby limiting CO loss. According to our findings, Arrokoth expels no more than $\approx 10^{22}$ particles s$^{-1}$, in agreement with upper limits inferred from \textit{New Horizons}' 2019 flyby observations. While our framework challenges recent predictions, it can serve as a benchmark for existing numerical models and be applied to future KBO observations from next-generation telescopes.


title: Trajectory Tracking Control of Skid-Steering Mobile Robots with Slip and Skid Compensation using Sliding-Mode Control and Deep Learning

abstract: Compensating for slip and skid is crucial for mobile robots navigating outdoor terrains. In these challenging environments, slipping and skidding introduce uncertainties into trajectory tracking systems, potentially compromising the safety of the vehicle. Despite research in this field, having a real-world feasible online slip and skid compensation remains challenging due to the complexity of wheel-terrain interaction in outdoor environments. This paper proposes a novel trajectory tracking technique featuring real-world feasible online slip and skid compensation at the vehicle level for skid-steering mobile robots operating outdoors. The approach employs sliding-mode control to design a robust trajectory tracking system, accounting for the inherent uncertainties in this type of robot. To estimate the robot's slipping and undesired skidding and compensate for them in real-time, two previously developed deep learning models are integrated into the control-feedback loop. The main advantages of the proposed technique are that it (1) considers two slip-related parameters for the entire robot, as opposed to the conventional approach involving two slip components for each wheel along with the robot's skidding, and (2) has an online real-world feasible slip and skid compensator, reducing the tracking errors in unforeseen environments. Experimental results demonstrate a significant improvement, enhancing the trajectory tracking system's performance by over 27%.


title: A Synergy between On- and Off-Chip Data Reuse for GPU-based Out-of-Core Stencil Computation

abstract: Stencil computation is an extensively-utilized class of scientific-computing applications that can be efficiently accelerated by graphics processing units (GPUs). Out-of-core approaches enable a GPU to handle large stencil codes whose data size is beyond the memory capacity of the GPU. However, current research on out-of-core stencil computation primarily focus on minimizing the amount of data transferred between the CPU and GPU. Few studies consider simultaneously optimizing data transfer and kernel execution. To fill the research gap, this work presents a synergy between on- and off-chip data reuse for out-of-core stencil codes, termed SO2DR. First, overlapping regions between data chunks are shared in the off-chip memory to eliminate redundant CPU-GPU data transfer. Secondly, redundant computation at the off-chip memory level is intentionally introduced to decouple kernel execution from region sharing, hence enabling data reuse in the on-chip memory. Experimental results demonstrate that SO2DR significantly enhances the kernel-execution performance while reducing the CPU-GPU data-transfer time. Specifically, SO2DR achieves average speedups of 2.78x and 1.14x for five stencil benchmarks, compared to an out-of-core stencil code which is free of redundant transfer and computation, and an in-core stencil code which is free of data transfer, respectively.


title: ARTEMIS: AI-driven Robotic Triage Labeling and Emergency Medical Information System

abstract: Mass casualty incidents (MCIs) pose a significant challenge to emergency medical services by overwhelming available resources and personnel. Effective victim assessment is the key to minimizing casualties during such a crisis. We introduce ARTEMIS, an AI-driven Robotic Triage Labeling and Emergency Medical Information System, to aid first responders in MCI events. It leverages speech processing, natural language processing, and deep learning to help with acuity classification. This is deployed on a quadruped that performs victim localization and preliminary injury severity assessment. First responders access victim information through a Graphical User Interface that is updated in real-time. To validate our proposed algorithmic triage protocol, we used the Unitree Go1 quadruped. The robot identifies humans, interacts with them, gets vitals and information, and assigns an acuity label. Simulations of an MCI in software and a controlled environment outdoors were conducted. The system achieved a triage-level classification precision of over 74% on average and 99% for the most critical victims, i.e. level 1 acuity, outperforming state-of-the-art deep learning-based triage labeling systems. In this paper, we showcase the potential of human-robot interaction in assisting medical personnel in MCI events.


title: Measuring COVID-19 Related Media Consumption on Twitter

abstract: The COVID-19 pandemic has been affecting the world dramatically ever since 2020. The minimum availability of physical interactions during the lockdown has caused more and more people to turn to online activities on social media platforms. These platforms have provided essential updates regarding the pandemic, serving as bridges for communications. Research on studying these communications on different platforms emerges during the meantime. Prior studies focus on areas such as topic modeling, sentiment analysis and prediction tasks such as predicting COVID-19 positive cases, misinformation spread, etc. However, online communications with media outlets remain unexplored on an international scale. We have little knowledge about the patterns of the media consumption geographically and their association with offline political preference. We believe addressing these questions could help governments and researchers better understand human behaviors during the pandemic. In this thesis, we specifically investigate the online consumption of media outlets on Twitter through a set of quantitative analyses. We make use of several public media outlet datasets to extract media consumption from tweets collected based on COVID-19 keyword matching. We make use of a metric "interaction" to quantify media consumption through weighted Twitter activities. We further construct a matrix based on it which could be directly used to measure user-media consumption in different granularities. We then conduct analyses on the United States level and global level. To the best of our knowledge, this thesis presents the first-of-its-kind study on media consumption on COVID-19 across countries, it sheds light on understanding how people consume media outlets during the pandemic and provides potential insights for peer researchers.


title: Optimizing Equitable Resource Allocation in Parallel Any-Scale Queues with Service Abandonment and its Application to Liver Transplant

abstract: We study the problem of equitably and efficiently allocating an arriving resource to multiple queues with customer abandonment. The problem is motivated by the cadaveric liver allocation system of the United States, which includes a large number of small-scale (in terms of yearly arrival intensities) patient waitlists with the possibility of patients abandoning (due to death) until the required service is completed (matched donor liver arrives). We model each waitlist as a GI/MI/1+GI queue, in which a virtual server receives a donor liver for the patient at the top of the waitlist, and patients may abandon while waiting or during service. To evaluate the performance of each queue, we develop a finite approximation technique as an alternative to fluid or diffusion approximations, which are inaccurate unless the queue's arrival intensity is large. This finite approximation for hundreds of queues is used within an optimization model to optimally allocate donor livers to each waitlist. A piecewise linear approximation of the optimization model is shown to provide the desired accuracy. Computational results show that solutions obtained in this way provide greater flexibility, and improve system performance when compared to solutions from the fluid models. Importantly, we find that appropriately increasing the proportion of livers allocated to waitlists with small scales or high mortality risks improves the allocation equity. This suggests a proportionately greater allocation of organs to smaller transplant centers and/or those with more vulnerable populations in an allocation policy. While our motivation is from liver allocation, the solution approach developed in this paper is applicable in other operational contexts with similar modeling frameworks.


title: MHLAT: Multi-hop Label-wise Attention Model for Automatic ICD Coding

abstract: International Classification of Diseases (ICD) coding is the task of assigning ICD diagnosis codes to clinical notes. This can be challenging given the large quantity of labels (nearly 9,000) and lengthy texts (up to 8,000 tokens). However, unlike the single-pass reading process in previous works, humans tend to read the text and label definitions again to get more confident answers. Moreover, although pretrained language models have been used to address these problems, they suffer from huge memory usage. To address the above problems, we propose a simple but effective model called the Multi-Hop Label-wise ATtention (MHLAT), in which multi-hop label-wise attention is deployed to get more precise and informative representations. Extensive experiments on three benchmark MIMIC datasets indicate that our method achieves significantly better or competitive performance on all seven metrics, with much fewer parameters to optimize.


title: Proof of the Kresch-Tamvakis Conjecture

abstract: In this paper we resolve a conjecture of Kresch and Tamvakis. Our result is the following. Theorem: For any positive integer $D$ and any integers $i,j$ $(0\leq i,j \leq D)$, the absolute value of the following hypergeometric series is at most 1: \begin{equation*} {_4F_3} \left[ \begin{array}{c} -i, \; i+1, \; -j, \; j+1 \\ 1, \; D+2, \; -D \end{array} ; 1 \right]. \end{equation*} To prove this theorem, we use the Biedenharn-Elliott identity, the theory of Leonard pairs, and the Perron-Frobenius theorem.


title: Multidimensional stability and transverse bifurcation of hydraulic shocks and roll waves in open channel flow

abstract: We study by a combination of analytical and numerical methods multidimensional stability and transverse bifurcation of planar hydraulic shock and roll wave solutions of the inviscid Saint Venant equations for inclined shallow-water flow, both in the whole space and in a channel of finite width, obtaining complete stability diagrams across the full parameter range of existence. Technical advances include development of efficient multi-d Evans solvers, low- and high-frequency asymptotics, explicit/semi-explicit computation of stability boundaries, and rigorous treatment of channel flow with wall-type physical boundary. Notable behavioral phenomena are a novel essential transverse bifurcation of hydraulic shocks to invading planar periodic roll-wave or doubly-transverse periodic herringbone patterns, with associated metastable behavior driven by mixed roll- and herringbone-type waves initiating from localized perturbation of an unstable constant state; and Floquet-type transverse ``flapping'' bifurcation of roll wave patterns.


title: Towards Geometric Motion Planning for High-Dimensional Systems: Gait-Based Coordinate Optimization and Local Metrics

abstract: Geometric motion planning offers effective and interpretable gait analysis and optimization tools for locomoting systems. However, due to the curse of dimensionality in coordinate optimization, a key component of geometric motion planning, it is almost infeasible to apply current geometric motion planning to high-dimensional systems. In this paper, we propose a gait-based coordinate optimization method that overcomes the curse of dimensionality. We also identify a unified geometric representation of locomotion by generalizing various nonholonomic constraints into local metrics. By combining these two approaches, we take a step towards geometric motion planning for high-dimensional systems. We test our method in two classes of high-dimensional systems - low Reynolds number swimmers and free-falling Cassie - with up to 11-dimensional shape variables. The resulting optimal gait in the high-dimensional system shows better efficiency compared to that of the reduced-order model. Furthermore, we provide a geometric optimality interpretation of the optimal gait.


title: PDFTriage: Question Answering over Long, Structured Documents

abstract: Large Language Models (LLMs) have issues with document question answering (QA) in situations where the document is unable to fit in the small context length of an LLM. To overcome this issue, most existing works focus on retrieving the relevant context from the document, representing them as plain text. However, documents such as PDFs, web pages, and presentations are naturally structured with different pages, tables, sections, and so on. Representing such structured documents as plain text is incongruous with the user's mental model of these documents with rich structure. When a system has to query the document for context, this incongruity is brought to the fore, and seemingly trivial questions can trip up the QA system. To bridge this fundamental gap in handling structured documents, we propose an approach called PDFTriage that enables models to retrieve the context based on either structure or content. Our experiments demonstrate the effectiveness of the proposed PDFTriage-augmented models across several classes of questions where existing retrieval-augmented LLMs fail. To facilitate further research on this fundamental problem, we release our benchmark dataset consisting of 900+ human-generated questions over 80 structured documents from 10 different categories of question types for document QA. Our code and datasets will be released soon on Github.


title: X-PARADE: Cross-Lingual Textual Entailment and Information Divergence across Paragraphs

abstract: Understanding when two pieces of text convey the same information is a goal touching many subproblems in NLP, including textual entailment and fact-checking. This problem becomes more complex when those two pieces of text are in different languages. Here, we introduce X-PARADE (Cross-lingual Paragraph-level Analysis of Divergences and Entailments), the first cross-lingual dataset of paragraph-level information divergences. Annotators label a paragraph in a target language at the span level and evaluate it with respect to a corresponding paragraph in a source language, indicating whether a given piece of information is the same, new, or new but can be inferred. This last notion establishes a link with cross-language NLI. Aligned paragraphs are sourced from Wikipedia pages in different languages, reflecting real information divergences observed in the wild. Armed with our dataset, we investigate a diverse set of approaches for this problem, including token alignment from machine translation, textual entailment methods that localize their decisions, and prompting LLMs. Our results show that these methods vary in their capability to handle inferable information, but they all fall short of human performance.


title: Generalised Whittaker models as instances of relative Langlands duality

abstract: The recent proposal by Ben-Zvi, Sakellaridis and Venkatesh of a duality in the relative Langlands program, leads, via the process of quantization of Hamiltonian varieties, to a duality theory of branching problems. This often unexpectedly relates two a priori unrelated branching problems. We examine how the generalised Whittaker (or Gelfand-Graev) models serve as the prototypical example for such branching problems. We give a characterization, for the orthogonal and symplectic groups, of the generalised Whittaker models possibly contained in this duality theory. We then exhibit an infinite family of examples of this duality, which, provably at the local level via the theta correspondence, satisfy the conjectural expectations of duality.


title: Some Algebraic Aspects of Assume-Guarantee Reasoning

abstract: We present the algebra of assume-guarantee (AG) contracts. We define contracts, provide new as well as known operations, and show how these operations are related. Contracts are functorial: any Boolean algebra has an associated contract algebra. We study monoid and semiring structures in contract algebra -- and the mappings between such structures. We discuss the actions of a Boolean algebra on its contract algebra.


title: Decoder-only Architecture for Speech Recognition with CTC Prompts and Text Data Augmentation

abstract: Collecting audio-text pairs is expensive; however, it is much easier to access text-only data. Unless using shallow fusion, end-to-end automatic speech recognition (ASR) models require architecture modifications or additional training schemes to use text-only data. Inspired by recent advances in decoder-only language models (LMs), such as GPT-3 and PaLM adopted for speech-processing tasks, we propose using a decoder-only architecture for ASR with simple text augmentation. To provide audio information, encoder features compressed by CTC prediction are used as prompts for the decoder, which can be regarded as refining CTC prediction using the decoder-only model. Because the decoder architecture is the same as an autoregressive LM, it is simple to enhance the model by leveraging external text data with LM training. An experimental comparison using LibriSpeech and Switchboard shows that our proposed models with text augmentation training reduced word error rates from ordinary CTC by 0.3% and 1.4% on LibriSpeech test-clean and testother set, respectively, and 2.9% and 5.0% on Switchboard and CallHome. The proposed model had advantage on computational efficiency compared with conventional encoder-decoder ASR models with a similar parameter setup, and outperformed them on the LibriSpeech 100h and Switchboard training scenarios.


title: Renormalization Group Improvement and QCD Sum Rules

abstract: We summarize the results obtained for the quark masses (u,d,s,c, and b) in Refs.~\cite{AlamKhan:2023ili,AlamKhan:2023kgs} and strong coupling ($\alpha_s$) using renormalization group (RG) improvement of the theoretical expressions and experimental inputs that enter in the QCD sum rules. We obtain $m_{u}(2 GeV)=2.00_{-0.40}^{+0.33}$ MeV, $m_{d}(2 GeV)=4.21_{-0.45}^{+0.48}$ MeV, and $m_{s}(2 GeV)=104.34_{-4.24}^{+4.32}$ MeV using Borel Laplace sum rules for the divergence of the axial vector currents. The relativistic sum rules for the moments of the heavy quark currents lead to the determination of $\alpha_s(M_Z)=0.1171(7)$, $\overline{m}_{c}=1281.1(3.8)$ MeV and $\overline{m}_{b}=4174.3(9.5)$ MeV.


title: Surface Extraction from Neural Unsigned Distance Fields

abstract: We propose a method, named DualMesh-UDF, to extract a surface from unsigned distance functions (UDFs), encoded by neural networks, or neural UDFs. Neural UDFs are becoming increasingly popular for surface representation because of their versatility in presenting surfaces with arbitrary topologies, as opposed to the signed distance function that is limited to representing a closed surface. However, the applications of neural UDFs are hindered by the notorious difficulty in extracting the target surfaces they represent. Recent methods for surface extraction from a neural UDF suffer from significant geometric errors or topological artifacts due to two main difficulties: (1) A UDF does not exhibit sign changes; and (2) A neural UDF typically has substantial approximation errors. DualMesh-UDF addresses these two difficulties. Specifically, given a neural UDF encoding a target surface $\bar{S}$ to be recovered, we first estimate the tangent planes of $\bar{S}$ at a set of sample points close to $\bar{S}$. Next, we organize these sample points into local clusters, and for each local cluster, solve a linear least squares problem to determine a final surface point. These surface points are then connected to create the output mesh surface, which approximates the target surface. The robust estimation of the tangent planes of the target surface and the subsequent minimization problem constitute our core strategy, which contributes to the favorable performance of DualMesh-UDF over other competing methods. To efficiently implement this strategy, we employ an adaptive Octree. Within this framework, we estimate the location of a surface point in each of the octree cells identified as containing part of the target surface. Extensive experiments show that our method outperforms existing methods in terms of surface reconstruction quality while maintaining comparable computational efficiency.


title: Semantic Information Extraction for Text Data with Probability Graph

abstract: In this paper, the problem of semantic information extraction for resource constrained text data transmission is studied. In the considered model, a sequence of text data need to be transmitted within a communication resource-constrained network, which only allows limited data transmission. Thus, at the transmitter, the original text data is extracted with natural language processing techniques. Then, the extracted semantic information is captured in a knowledge graph. An additional probability dimension is introduced in this graph to capture the importance of each information. This semantic information extraction problem is posed as an optimization framework whose goal is to extract most important semantic information for transmission. To find an optimal solution for this problem, a Floyd's algorithm based solution coupled with an efficient sorting mechanism is proposed. Numerical results testify the effectiveness of the proposed algorithm with regards to two novel performance metrics including semantic uncertainty and semantic similarity.


title: Data-Driven H-infinity Control with a Real-Time and Efficient Reinforcement Learning Algorithm: An Application to Autonomous Mobility-on-Demand Systems

abstract: Reinforcement learning (RL) is a class of artificial intelligence algorithms being used to design adaptive optimal controllers through online learning. This paper presents a model-free, real-time, data-efficient Q-learning-based algorithm to solve the H$_{\infty}$ control of linear discrete-time systems. The computational complexity is shown to reduce from $\mathcal{O}(\underline{q}^3)$ in the literature to $\mathcal{O}(\underline{q}^2)$ in the proposed algorithm, where $\underline{q}$ is quadratic in the sum of the size of state variables, control inputs, and disturbance. An adaptive optimal controller is designed and the parameters of the action and critic networks are learned online without the knowledge of the system dynamics, making the proposed algorithm completely model-free. Also, a sufficient probing noise is only needed in the first iteration and does not affect the proposed algorithm. With no need for an initial stabilizing policy, the algorithm converges to the closed-form solution obtained by solving the Riccati equation. A simulation study is performed by applying the proposed algorithm to real-time control of an autonomous mobility-on-demand (AMoD) system for a real-world case study to evaluate the effectiveness of the proposed algorithm.


title: ChatGPT-4 with Code Interpreter can be used to solve introductory college-level vector calculus and electromagnetism problems

abstract: We evaluated ChatGPT 3.5, 4, and 4 with Code Interpreter on a set of college-level engineering-math and electromagnetism problems, such as those often given to sophomore electrical engineering majors. We selected a set of 13 problems, and had ChatGPT solve them multiple times, using a fresh instance (chat) each time. We found that ChatGPT-4 with Code Interpreter was able to satisfactorily solve most problems we tested most of the time -- a major improvement over the performance of ChatGPT-4 (or 3.5) without Code Interpreter. The performance of ChatGPT was observed to be somewhat stochastic, and we found that solving the same problem N times in new ChatGPT instances and taking the most-common answer was an effective strategy. Based on our findings and observations, we provide some recommendations for instructors and students of classes at this level.


title: Implementation of a level-set based volume penalization method for solving fluid flows around bluff bodies in OpenFOAM

abstract: A volume penalization-based immersed boundary technique is developed and thoroughly validated for fluid flow problems, specifically flow over bluff bodies. The proposed algorithm has been implemented in an Open Source Field Operation and Manipulation (OpenFOAM). For capturing the fluid-solid interface more accurately, the grid is refined near the solid surface using topoSetDict and refineMeshDict utilities in OpenFOAM. In order to avoid any numerical oscillation, the present volume penalization method (VPM) is integrated with a signed distance function, which is also referred to as a level-set function. Benchmark problems, such as flows around a cylinder and a sphere, are considered and thoroughly validated with the results available in the literature. For the flow over a stationary cylinder, the Reynolds number is varied so that it covers from a steady 2D (two-dimensional) flow to an unsteady 3D (three-dimensional) flow. The capability of the present solver has been further verified by considering the flow past a vibrating cylinder in the cross-stream direction. In addition, a flow over a sphere, which is inherently three-dimensional due to its geometrical shape, is validated in both steady and unsteady regimes. The results obtained by the present VPM show good agreement with those obtained by a body-fitted grid using the same numerical scheme as that of the VPM, and also with those reported in the literature. The present results indicate that the VPM-based immersed boundary technique can be widely applicable to scientific and engineering problems involving flow past stationary and moving bluff bodies of arbitrary geometry.


title: Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees

abstract: Satisfiability Modulo Counting (SMC) encompasses problems that require both symbolic decision-making and statistical reasoning. Its general formulation captures many real-world problems at the intersection of symbolic and statistical Artificial Intelligence. SMC searches for policy interventions to control probabilistic outcomes. Solving SMC is challenging because of its highly intractable nature($\text{NP}^{\text{PP}}$-complete), incorporating statistical inference and symbolic reasoning. Previous research on SMC solving lacks provable guarantees and/or suffers from sub-optimal empirical performance, especially when combinatorial constraints are present. We propose XOR-SMC, a polynomial algorithm with access to NP-oracles, to solve highly intractable SMC problems with constant approximation guarantees. XOR-SMC transforms the highly intractable SMC into satisfiability problems, by replacing the model counting in SMC with SAT formulae subject to randomized XOR constraints. Experiments on solving important SMC problems in AI for social good demonstrate that XOR-SMC finds solutions close to the true optimum, outperforming several baselines which struggle to find good approximations for the intractable model counting in SMC.


title: Robust Online Covariance and Sparse Precision Estimation Under Arbitrary Data Corruption

abstract: Gaussian graphical models are widely used to represent correlations among entities but remain vulnerable to data corruption. In this work, we introduce a modified trimmed-inner-product algorithm to robustly estimate the covariance in an online scenario even in the presence of arbitrary and adversarial data attacks. At each time step, data points, drawn nominally independently and identically from a multivariate Gaussian distribution, arrive. However, a certain fraction of these points may have been arbitrarily corrupted. We propose an online algorithm to estimate the sparse inverse covariance (i.e., precision) matrix despite this corruption. We provide the error-bound and convergence properties of the estimates to the true precision matrix under our algorithms.


title: Single-frequency lasers' linewidth elegantly characterized with Sigmoid functions of observation time

abstract: Linewidth is the most important parameter for characterizing the coherence properties of a single-frequency laser, but unfortunately only the natural linewidth representing the contributions of the spontaneous emission or quantum noise can be described with an analytical expression known as the Schawlow-Townes-Henry formula. To the best of authors' knowledge, no analytical expression is formulized after 63 years since laser's invention for characterizing the effective linewidth of a single-frequency laser including the linewidth broadening caused by the flicker noises, which strongly depends on the measurement duration and is much larger than the natural linewidth. By carefully measuring the instantaneous frequency fluctuations of multiple commercial single-frequency lasers using a self-built optical frequency analyzer with ultra-high resolution and speed to obtain their linewidths with our time domain statistical analysis method, we discover and validate that the laser linewidths can be expressed as one or more Sigmoid functions of observation time. Not only the simple Sigmoid linewidth expression provides clear linewidth information of the laser, but also better understanding of the physical origins affecting the laser linewidths, which will benefit a large number of applications ranging from coherent distributed sensing to gravitational wave detection and therefore is worthy to be widely adopted to fully and elegantly characterize the linewidths of single-frequency lasers.


title: Heights of Special Points on Quaternionic Shimura Varieties

abstract: Let $B/F$ be a quaternion algebra over a totally real number field. We give an explicit formula for heights of special points on the quaternionic Shimura variety associated with $B$ in terms of Faltings heights of CM abelian varieties. Special points correspond to CM fields $E$ and partial CM-types $\phi \subset \mathrm{Hom}(E, \mathbb{C})$. We then show that our height is compatible with the canonical height of a partial CM-type defined by Pila, Shankar, and Tsimerman. This gives another proof that the height of a partial CM-type is bounded subpolynomially in terms of the discriminant of $E$.


title: GRaCE: Balancing Multiple Criteria to Achieve Stable, Collision-Free, and Functional Grasps

abstract: This paper addresses the multi-faceted problem of robot grasping, where multiple criteria may conflict and differ in importance. We introduce a probabilistic framework, Grasp Ranking and Criteria Evaluation (GRaCE), which employs hierarchical rule-based logic and a rank-preserving utility function for grasps based on various criteria such as stability, kinematic constraints, and goal-oriented functionalities. GRaCE's probabilistic nature means the framework handles uncertainty in a principled manner, i.e., the method is able to leverage the probability that a given criteria is satisfied. Additionally, we propose GRaCE-OPT, a hybrid optimization strategy that combines gradient-based and gradient-free methods to effectively navigate the complex, non-convex utility function. Experimental results in both simulated and real-world scenarios show that GRaCE requires fewer samples to achieve comparable or superior performance relative to existing methods. The modular architecture of GRaCE allows for easy customization and adaptation to specific application needs.


title: GCL: Gradient-Guided Contrastive Learning for Medical Image Segmentation with Multi-Perspective Meta Labels

abstract: Since annotating medical images for segmentation tasks commonly incurs expensive costs, it is highly desirable to design an annotation-efficient method to alleviate the annotation burden. Recently, contrastive learning has exhibited a great potential in learning robust representations to boost downstream tasks with limited labels. In medical imaging scenarios, ready-made meta labels (i.e., specific attribute information of medical images) inherently reveal semantic relationships among images, which have been used to define positive pairs in previous work. However, the multi-perspective semantics revealed by various meta labels are usually incompatible and can incur intractable "semantic contradiction" when combining different meta labels. In this paper, we tackle the issue of "semantic contradiction" in a gradient-guided manner using our proposed Gradient Mitigator method, which systematically unifies multi-perspective meta labels to enable a pre-trained model to attain a better high-level semantic recognition ability. Moreover, we emphasize that the fine-grained discrimination ability is vital for segmentation-oriented pre-training, and develop a novel method called Gradient Filter to dynamically screen pixel pairs with the most discriminating power based on the magnitude of gradients. Comprehensive experiments on four medical image segmentation datasets verify that our new method GCL: (1) learns informative image representations and considerably boosts segmentation performance with limited labels, and (2) shows promising generalizability on out-of-distribution datasets.


title: SafeShift: Safety-Informed Distribution Shifts for Robust Trajectory Prediction in Autonomous Driving

abstract: As autonomous driving technology matures, safety and robustness of its key components, including trajectory prediction, is vital. Though real-world datasets, such as Waymo Open Motion, provide realistic recorded scenarios for model development, they often lack truly safety-critical situations. Rather than utilizing unrealistic simulation or dangerous real-world testing, we instead propose a framework to characterize such datasets and find hidden safety-relevant scenarios within. Our approach expands the spectrum of safety-relevance, allowing us to study trajectory prediction models under a safety-informed, distribution shift setting. We contribute a generalized scenario characterization method, a novel scoring scheme to find subtly-avoided risky scenarios, and an evaluation of trajectory prediction models in this setting. We further contribute a remediation strategy, achieving a 10% average reduction in prediction collision rates. To facilitate future research, we release our code to the public: github.com/cmubig/SafeShift


title: Stochastic Schr\"odinger equation approach to real-time dynamics of Anderson-Holstein impurities: an open quantum system perspective

abstract: We develop a stochastic Schr\"odinger equation (SSE) framework to simulate real-time dynamics of Anderson-Holstein (AH) impurities coupled to a continuous fermionic bath. The bath degrees of freedom are incorporated through fluctuating terms determined by exact system-bath correlations, which is derived in an ab initio manner. We show that such an SSE treatment provides a middle ground between numerically expansive microscopic simulations and macroscopic master equations. Computationally, the SSE model enables efficient numerical methods for propagating stochastic trajectories. We demonstrate that this approach not only naturally provides microscopically-detailed information unavailable from reduced models, but also captures effects beyond master equations, thus serves as a promising tool to study open quantum dynamics emerging in physics and chemistry.


title: V2CE: Video to Continuous Events Simulator

abstract: Dynamic Vision Sensor (DVS)-based solutions have recently garnered significant interest across various computer vision tasks, offering notable benefits in terms of dynamic range, temporal resolution, and inference speed. However, as a relatively nascent vision sensor compared to Active Pixel Sensor (APS) devices such as RGB cameras, DVS suffers from a dearth of ample labeled datasets. Prior efforts to convert APS data into events often grapple with issues such as a considerable domain shift from real events, the absence of quantified validation, and layering problems within the time axis. In this paper, we present a novel method for video-to-events stream conversion from multiple perspectives, considering the specific characteristics of DVS. A series of carefully designed losses helps enhance the quality of generated event voxels significantly. We also propose a novel local dynamic-aware timestamp inference strategy to accurately recover event timestamps from event voxels in a continuous fashion and eliminate the temporal layering problem. Results from rigorous validation through quantified metrics at all stages of the pipeline establish our method unquestionably as the current state-of-the-art (SOTA).