title: A spectral boundary integral method for simulating electrohydrodynamic flows in viscous drops

abstract: A weakly conducting liquid droplet immersed in another leaky dielectric liquid can exhibit rich dynamical behaviors under the effect of an applied electric field. Depending on material properties and field strength, the nonlinear coupling of interfacial charge transport and fluid flow can trigger electrohydrodynamic instabilities that lead to shape deformations and complex dynamics. We present a spectral boundary integral method to simulate droplet electrohydrodynamics in a uniform electric field. All physical variables, such as drop shape and interfacial charge density, are represented using spherical harmonic expansions. In addition to its exponential accuracy, the spectral representation affords a nondissipative dealiasing method required for numerical stability. A comprehensive charge transport model, valid under a wide range of electric field strengths, accounts for charge relaxation, Ohmic conduction, and surface charge convection by the flow. A shape reparametrization technique enables the exploration of significant droplet deformation regimes. For low-viscosity drops, the convection by the flow drives steep interfacial charge gradients near the drop equator. This introduces numerical ringing artifacts we treat via a weighted spherical harmonic expansion, resulting in solution convergence. The method and simulations are validated against experimental data and analytical predictions in the axisymmetric Taylor and Quincke electrorotation regimes.


title: Mining Causality from Continuous-time Dynamics Models: An Application to Tsunami Forecasting

abstract: Continuous-time dynamics models, such as neural ordinary differential equations, have enabled the modeling of underlying dynamics in time-series data and accurate forecasting. However, parameterization of dynamics using a neural network makes it difficult for humans to identify causal structures in the data. In consequence, this opaqueness hinders the use of these models in the domains where capturing causal relationships carries the same importance as accurate predictions, e.g., tsunami forecasting. In this paper, we address this challenge by proposing a mechanism for mining causal structures from continuous-time models. We train models to capture the causal structure by enforcing sparsity in the weights of the input layers of the dynamics models. We first verify the effectiveness of our method in the scenario where the exact causal-structures of time-series are known as a priori. We next apply our method to a real-world problem, namely tsunami forecasting, where the exact causal-structures are difficult to characterize. Experimental results show that the proposed method is effective in learning physically-consistent causal relationships while achieving high forecasting accuracy.


title: Characterization of anomalous diffusion through convolutional transformers

abstract: The results of the Anomalous Diffusion Challenge (AnDi Challenge) have shown that machine learning methods can outperform classical statistical methodology at the characterization of anomalous diffusion in both the inference of the anomalous diffusion exponent alpha associated with each trajectory (Task 1), and the determination of the underlying diffusive regime which produced such trajectories (Task 2). Furthermore, of the five teams that finished in the top three across both tasks of the AnDi challenge, three of those teams used recurrent neural networks (RNNs). While RNNs, like the long short-term memory (LSTM) network, are effective at learning long-term dependencies in sequential data, their key disadvantage is that they must be trained sequentially. In order to facilitate training with larger data sets, by training in parallel, we propose a new transformer based neural network architecture for the characterization of anomalous diffusion. Our new architecture, the Convolutional Transformer (ConvTransformer) uses a bi-layered convolutional neural network to extract features from our diffusive trajectories that can be thought of as being words in a sentence. These features are then fed to two transformer encoding blocks that perform either regression or classification. To our knowledge, this is the first time transformers have been used for characterizing anomalous diffusion. Moreover, this may be the first time that a transformer encoding block has been used with a convolutional neural network and without the need for a transformer decoding block or positional encoding. Apart from being able to train in parallel, we show that the ConvTransformer is able to outperform the previous state of the art at determining the underlying diffusive regime in short trajectories (length 10-50 steps), which are the most important for experimental researchers.


title: Kinetic Simulations Verifying Reconnection Rates Measured in the Laboratory, Spanning the Ion-Coupled to Near Electron-Only Regimes

abstract: The rate of reconnection characterizes how quickly flux and mass can move into and out of the reconnection region. In the Terrestrial Reconnection EXperiment (TREX), the rate at which antiparallel asymmetric reconnection occurs is modulated by the presence of a shock and a region of flux pileup in the high-density inflow. Simulations utilizing a generalized Harris-sheet geometry have tentatively shown agreement with TREX's measured reconnection rate scaling relative to system size, which is indicative of the transition from ion-coupled toward electron-only reconnection. Here we present simulations tailored to reproduce the specific TREX geometry, which confirm both the reconnection rate scale as well as the shock jump conditions previously characterized experimentally in TREX. The simulations also establish an interplay between the reconnection layer and the Alfv\'enic expansions of the background plasma associated with the energization of the TREX drive coils; this interplay has not yet been experimentally observed.


title: Non-synchronous rotation on Europa driven by ocean currents

abstract: It has been suggested that the ice shell of Jupiter's moon Europa may drift non-synchronously due to tidal torques. Here we argue that torques applied by the underlying ocean are also important and can result in non-synchronous rotation (NSR). The resulting spin rate can be slightly slower than the synchronous angular rate that would have kept the same point of the ice shell facing Jupiter. We develop an ice shell rotation model, driven by ocean stress calculated using a high-resolution state-of-the-art ocean general circulation model, and take into account the viscoelastic deformation of the ice shell. We use the ice shell model results together with observed limits on the ice shell drift speed to constrain ice shell parameters such as effective viscosity, which is currently uncertain by at least four orders of magnitude. Our results suggest, at best, sluggish ice shell convection. Depending on the relaxation time scale of the ice shell and on the ocean currents, the ice shell may exhibit negligible drift, constant drift, or oscillatory drift superimposed on random fluctuations. The expected rotation rate exceeds $\sim$30~m/yr; future spacecraft observations can be used to test these predictions and yield insight into the properties of the ice shell and underlying ocean.


title: Domain-Specific Word Embeddings with Structure Prediction

abstract: Complementary to finding good general word embeddings, an important question for representation learning is to find dynamic word embeddings, e.g., across time or domain. Current methods do not offer a way to use or predict information on structure between sub-corpora, time or domain and dynamic embeddings can only be compared after post-alignment. We propose novel word embedding methods that provide general word representations for the whole corpus, domain-specific representations for each sub-corpus, sub-corpus structure, and embedding alignment simultaneously. We present an empirical evaluation on New York Times articles and two English Wikipedia datasets with articles on science and philosophy. Our method, called Word2Vec with Structure Prediction (W2VPred), provides better performance than baselines in terms of the general analogy tests, domain-specific analogy tests, and multiple specific word embedding evaluations as well as structure prediction performance when no structure is given a priori. As a use case in the field of Digital Humanities we demonstrate how to raise novel research questions for high literature from the German Text Archive.


title: Every word counts: A multilingual analysis of individual human alignment with model attention

abstract: Human fixation patterns have been shown to correlate strongly with Transformer-based attention. Those correlation analyses are usually carried out without taking into account individual differences between participants and are mostly done on monolingual datasets making it difficult to generalise findings. In this paper, we analyse eye-tracking data from speakers of 13 different languages reading both in their native language (L1) and in English as language learners (L2). We find considerable differences between languages but also that individual reading behaviour such as skipping rate, total reading time and vocabulary knowledge (LexTALE) influence the alignment between humans and models to an extent that should be considered in future studies.


title: Generating Executable Action Plans with Environmentally-Aware Language Models

abstract: Large Language Models (LLMs) trained using massive text datasets have recently shown promise in generating action plans for robotic agents from high level text queries. However, these models typically do not consider the robot's environment, resulting in generated plans that may not actually be executable, due to ambiguities in the planned actions or environmental constraints. In this paper, we propose an approach to generate environmentally-aware action plans that agents are better able to execute. Our approach involves integrating environmental objects and object relations as additional inputs into LLM action plan generation to provide the system with an awareness of its surroundings, resulting in plans where each generated action is mapped to objects present in the scene. We also design a novel scoring function that, along with generating the action steps and associating them with objects, helps the system disambiguate among object instances and take into account their states. We evaluated our approach using the VirtualHome simulator and the ActivityPrograms knowledge base and found that action plans generated from our system had a 310% improvement in executability and a 147% improvement in correctness over prior work. The complete code and a demo of our method is publicly available at https://github.com/hri-ironlab/scene_aware_language_planner.


title: State Preparation in the Heisenberg Model through Adiabatic Spiraling

abstract: An adiabatic state preparation technique, called the adiabatic spiral, is proposed for the Heisenberg model. This technique is suitable for implementation on a number of quantum simulation platforms such as Rydberg atoms, trapped ions, or superconducting qubits. Classical simulations of small systems suggest that it can be successfully implemented in the near future. A comparison to Trotterized time evolution is performed and it is shown that the adiabatic spiral is able to outperform Trotterized adiabatics.

categories: quant-ph cond-mat.quant-gas hep-lat nucl-th


title: Simulation studies to compare bayesian wavelet shrinkage methods in aggregated functional data

abstract: The present work describes simulation studies to compare the performances of bayesian wavelet shrinkage methods in estimating component curves from aggregated functional data. To do so, five methods were considered: the bayesian shrinkage rule under logistic prior by Sousa (2020), bayesian shrinkage rule under beta prior by Sousa et al. (2020), Large Posterior Mode method by Cutillo et al. (2008), Amplitude-scale invariant Bayes Estimator by Figueiredo and Nowak (2001) and Bayesian Adaptive Multiresolution Smoother by Vidakovic and Ruggeri (2001). Further, the so called Donoho-Johnstone test functions, Logit and SpaHet functions were considered as component functions. It was observed that the signal to noise ratio of the data had impact on the performances of the methods.


title: Partitioning of a graph into induced subgraphs not containing prescribed cliques

abstract: Let $K_p$ be a complete graph of order $p\geq 2$. A $K_p$-free $k$-coloring of a graph $H$ is a partition of $V(H)$ into $V_1, V_2\ldots,V_k$ such that $H[V_i]$ does not contain $K_p$ for each $i\leq k $. In 1977 Borodin and Kostochka conjectured that any graph $H$ with maximum degree $\Delta(H)\geq 9$ and without $K_{\Delta(H)}$ as a subgraph has chromatic number at most $\Delta(H)-1$. As analogue of the Borodin-Kostochka conjecture, we prove that if $p_1\geq \cdots\geq p_k\geq 2$, $p_1+p_2\geq 7$, $\sum_{i=1}^kp_i=\Delta(H)-1+k$, and $H$ does not contain $K_{\Delta(H)}$ as a subgraph, then there is a partition of $V(H)$ into $V_1,\ldots,V_k$ such that for each $i$, $H[V_i]$ does not contain $K_{p_i}$. In particular, if $p\geq 4$ and $H$ does not contain $K_{\Delta(H)}$ as a subgraph, then $H$ admits a $K_p$-free $\lceil{\Delta(H)-1\over p-1}\rceil$-coloring. Catlin showed that every connected non-complete graph $H$ with $\Delta(H)\geq 3$ has a $\Delta(H)$-coloring such that one of the color classes is maximum $K_2$-free subset (maximum independent set). In this regard, we show that there is a partition of vertices of $H$ into $V_1$ and $V_2$ such that $H[V_1]$ does not contain $K_{p}$, $H[V_2]$ does not contain $K_{q}$, and $V_1$ is a maximum $K_p$-free subset of V(H) if $p\geq 4$, $q\geq 3$, $p+q=\Delta(H)+1$, and its clique number $\omega(H)=p$.


title: The coverage ratio of the frog model on complete graphs

abstract: The frog model is a system of interacting random walks. Initially, there is one particle at each vertex of a connected graph $\mathcal{G}$. All particles are inactive at time zero, except for the one which is placed at the root of $\mathcal{G}$, which is active. At each instant of time, each active particle may die with probability $1-p$. Once an active particle survives, it jumps on one of its nearest vertices, chosen with uniform probability, performing a discrete time simple symmetric random walk (SRW) on $\mathcal{G}$. Up to the time it dies, it activates all inactive particles it hits along its way. From the moment they are activated on, every such particle starts to walk, performing exactly the same dynamics, independent of everything else. In this paper, we take $\mathcal{G}$ as the $n-$complete graph ($\mathcal{K}_n$, a finite graph with each pair of vertices linked by an edge). We study the limit in $n$ of the coverage ratio, that is, the proportion of visited vertices by some active particle up to the end of the process, after all active particles have died.


title: Excited oscillons: cascading levels and higher multipoles

abstract: Two types of excited oscillons are investigated. We first focus on spherical symmetry and find that there are a tower of spherical oscillons with higher energies. Despite having multiple approximate "nodes" in their energy density profiles, these oscillons are long-lived. We find that during the lifetime of a highly excited oscillon it will cascade down all the lower energy levels before its disintegration. We also point out the existence of excited oscillons with higher approximate multipoles, which generally have shorter lifespans than the spherical ones. Apart from performing nonlinear simulations with absorbing boundary conditions, we also apply a perturbative method to analyze some features of these excited oscillons.


title: On Hopfian(co-Hopfian) and Fitting S-acts (I)

abstract: The main purpose of the present work is an investigation of the notions Hopfian (co-Hopfian) acts whose their surjective (injective) endomorphisms are isomorphisms. While we investigate conditions that are relevant to these classes of acts, their interrelationship with some other concepts for example quasi-injective and Dedekind-finite acts is studied. Using Hopfian and co-Hopfian concepts, several conditions are given for a quasi-injective act to be Dedekind-finite. Moreover we bring out some properties of strongly Hopfian and strongly co-Hopfian $S$-acts. Ultimately we introduce and study the concept of Fitting acts and over a monoid $S$, some equivalent conditions are found to have all its finitely generated (cyclic) acts Fitting. It is shown that an $S$-act is Fitting if and only if it is both strongly Hopfian and strongly co-Hopfian.


title: Multi-step Planning for Automated Hyperparameter Optimization with OptFormer

abstract: As machine learning permeates more industries and models become more expensive and time consuming to train, the need for efficient automated hyperparameter optimization (HPO) has never been more pressing. Multi-step planning based approaches to hyperparameter optimization promise improved efficiency over myopic alternatives by more effectively balancing out exploration and exploitation. However, the potential of these approaches has not been fully realized due to their technical complexity and computational intensity. In this work, we leverage recent advances in Transformer-based, natural-language-interfaced hyperparameter optimization to circumvent these barriers. We build on top of the recently proposed OptFormer which casts both hyperparameter suggestion and target function approximation as autoregressive generation thus making planning via rollouts simple and efficient. We conduct extensive exploration of different strategies for performing multi-step planning on top of the OptFormer model to highlight its potential for use in constructing non-myopic HPO strategies.


title: Far-ultraviolet Dust Extinction and Molecular Hydrogen in the Diffuse Milky Way Interstellar Medium

abstract: We aim to compare variations in the full-UV dust extinction curve (912-3000 Angstrom), with the HI/H$_2$/total H content along diffuse Milky Way sightlines, to investigate possible connections between ISM conditions and dust properties. We combine an existing sample of 75 UV extinction curves based on IUE and FUSE data, with atomic and molecular column densities measured through UV absorption. The H$_2$ column density data are based on existing Lyman-Werner absorption band models from earlier work on the extinction curves. Literature values for the HI column density were compiled, and improved for 23 stars by fitting a Ly$\alpha$ profile to archived spectra. We discover a strong correlation between the H$_2$ column and the far-UV extinction, and the underlying cause is a linear relationship between H$_2$ and the strength of the far-UV rise feature. This extinction does not scale with HI, and the total H column scales best with $A(V)$ instead. The carrier of the far-UV rise therefore coincides with molecular gas, and further connections are shown by comparing the UV extinction features to the molecular fraction. Variations in the gas-to-extinction ratio $N(\rm{H})/A(V)$ correlate with the UV-to-optical extinction ratio, and we speculate this could be due to coagulation or shattering effects. Based on the H$_2$ temperature, the strongest far-UV rise strengths are found to appear in colder and denser sightlines.


title: Solution of master equations by fermionic-duality: Time-dependent charge and heat currents through an interacting quantum dot proximized by a superconductor

abstract: We analyze the time-dependent solution of master equations by exploiting fermionic duality, a dissipative symmetry applicable to a large class of open systems describing quantum transport. Whereas previous studies mostly exploited duality relations after partially solving the evolution equations, we here systematically exploit the invariance under the fermionic duality mapping from the very beginning when setting up these equations. Moreover, we extend the resulting simplifications -- so far applied to the local state evolution- to non-local observables such as transport currents. We showcase the exploitation of fermionic duality for a quantum dot with strong interaction -- covering both the repulsive and attractive case -- proximized by contact with a large-gap superconductor which is weakly probed by charge and heat currents into a wide-band normal-metal electrode. We derive the complete time-dependent analytical solution of this problem involving non-equilibrium Cooper pair transport, Andreev bound states and strong interaction. Additionally exploiting detailed balance we show that even for this relatively complex problem the evolution towards the stationary state can be understood analytically in terms of the stationary state of the system itself via its relation to the stationary state of a dual system with inverted Coulomb interaction, superconducting pairing and applied voltages.


title: Function-space regularized R\'enyi divergences

abstract: We propose a new family of regularized R\'enyi divergences parametrized not only by the order $\alpha$ but also by a variational function space. These new objects are defined by taking the infimal convolution of the standard R\'enyi divergence with the integral probability metric (IPM) associated with the chosen function space. We derive a novel dual variational representation that can be used to construct numerically tractable divergence estimators. This representation avoids risk-sensitive terms and therefore exhibits lower variance, making it well-behaved when $\alpha>1$; this addresses a notable weakness of prior approaches. We prove several properties of these new divergences, showing that they interpolate between the classical R\'enyi divergences and IPMs. We also study the $\alpha\to\infty$ limit, which leads to a regularized worst-case-regret and a new variational representation in the classical case. Moreover, we show that the proposed regularized R\'enyi divergences inherit features from IPMs such as the ability to compare distributions that are not absolutely continuous, e.g., empirical measures and distributions with low-dimensional support. We present numerical results on both synthetic and real datasets, showing the utility of these new divergences in both estimation and GAN training applications; in particular, we demonstrate significantly reduced variance and improved training performance.


title: MACARONS: A Modular and Open-Sourced Automation System for Vertical Farming

abstract: The Modular Automated Crop Array Online System (MACARONS) is an extensible, scalable, open hardware system for plant transport in automated horticulture systems such as vertical farms. It is specified to move trays of plants up to 1060mm x 630mm and 12.5kg at a rate of 100mm/s along the guide rails and 41.7mm/s up the lifts, such as between stations for monitoring and actuating plants. The cost for the construction of one grow unit of MACARONS is 144.96USD which equates to 128.85USD/m2 of grow area. The designs are released and meets the requirements of CERN-OSH-W, which includes step-by-step graphical build instructions and can be built by a typical technical person in one day at a cost of 1535.50USD. Integrated tests are included in the build instructions are used to validate against the specifications, and we report on a successful build. Through a simple analysis, we demonstrate that MACARONS can operate at a rate sufficient to automate tray loading/unloading, to reduce labour costs in a vertical farm.


title: Optimal wireless rate and power control in the presence of jammers using reinforcement learning

abstract: Future wireless networks require high throughput and energy efficiency. This paper studies using Reinforcement Learning (RL) to do transmission rate and power control for maximizing a joint reward function consisting of both throughput and energy consumption. We design the system state to include factors that reflect packet queue length, interference from other nodes, quality of the wireless channel, battery status, etc. The reward function is normalized and does not involve unit conversion. It can be used to train three different types of agents: throughput-critical, energy-critical, and throughput and energy balanced. Using the NS-3 network simulation software, we implement and train these agents in an 802.11ac network with the presence of a jammer. We then test the agents with two jamming nodes interfering with the packets received at the receiver. We compare the performance of our RL optimal policies with the popular Minstrel rate adaptation algorithm: our approach can achieve (i) higher throughput when using the throughput-critical reward function; (ii) lower energy consumption when using the energy-critical reward function; and (iii) higher throughput and slightly higher energy when using the throughput and energy balanced reward function. Although our discussion is focused on 802.11ac networks, our method is readily applicable to other types of wireless networks.


title: Domain-guided data augmentation for deep learning on medical imaging

abstract: While domain-specific data augmentation can be useful in training neural networks for medical imaging tasks, such techniques have not been widely used to date. Here, we test whether domain-specific data augmentation is useful for medical imaging using a well-benchmarked task: view classification on fetal ultrasound FETAL-125 and OB-125 datasets. We found that using a context-preserving cut-paste strategy, we could create valid training data as measured by performance of the resulting trained model on the benchmark test dataset. When used in an online fashion, models trained on this data performed similarly to those trained using traditional data augmentation (FETAL-125 F-score 85.33+/-0.24 vs 86.89+/-0.60, p-value 0.0139; OB-125 F-score 74.60+/-0.11 vs 72.43+/-0.62, p-value 0.0039). Furthermore, the ability to perform augmentations during training time, as well as the ability to apply chosen augmentations equally across data classes, are important considerations in designing a bespoke data augmentation. Finally, we provide open-source code to facilitate running bespoke data augmentations in an online fashion. Taken together, this work expands the ability to design and apply domain-guided data augmentations for medical imaging tasks.


title: Discrete homogeneity and ends of manifolds

abstract: It is shown that a connected non-compact metrizable manifold of dimension $\ge 2$ is strongly discrete homogeneous if and only if it has one end (in the sense of Freudenthal compactification).


title: Label-free segmentation from cardiac ultrasound using self-supervised learning

abstract: Segmentation and measurement of cardiac chambers is critical in cardiac ultrasound but is laborious and poorly reproducible. Neural networks can assist, but supervised approaches require the same laborious manual annotations. We built a pipeline for self-supervised (no manual labels) segmentation combining computer vision, clinical domain knowledge, and deep learning. We trained on 450 echocardiograms (93,000 images) and tested on 8,393 echocardiograms (4,476,266 images; mean 61 years, 51% female), using the resulting segmentations to calculate biometrics. We also tested against external images from an additional 10,030 patients with available manual tracings of the left ventricle. r2 between clinically measured and pipeline-predicted measurements were similar to reported inter-clinician variation and comparable to supervised learning across several different measurements (r2 0.56-0.84). Average accuracy for detecting abnormal chamber size and function was 0.85 (range 0.71-0.97) compared to clinical measurements. A subset of test echocardiograms (n=553) had corresponding cardiac MRIs, where MRI is the gold standard. Correlation between pipeline and MRI measurements was similar to that between clinical echocardiogram and MRI. Finally, the pipeline accurately segments the left ventricle with an average Dice score of 0.89 (95% CI [0.89]) in the external, manually labeled dataset. Our results demonstrate a manual-label free, clinically valid, and highly scalable method for segmentation from ultrasound, a noisy but globally important imaging modality.


title: Hierarchical Bayes estimation of small area means using statistical linkage of disparate data sources

abstract: We propose a Bayesian approach to estimate finite population means for small areas. The proposed methodology improves on the traditional sample survey methods because, unlike the traditional methods, our proposed method borrows strength from multiple data sources. Our approach is fundamentally different from the existing small area Bayesian approach to the finite population sampling, which typically assumes a hierarchical model for all units of the finite population. We assume such model only for the units of the finite population in which the outcome variable is observed; because for these units, the assumed model can be checked using existing statistical tools. Modeling unobserved units of the finite population is challenging because the assumed model cannot be checked in the absence of data on the outcome variable. To make reasonable modeling assumptions, we propose to form several cells for each small area using factors that potentially influence the outcome variable of interest. This strategy is expected to bring some degree of homogeneity within a given cell and also among cells from different small areas that are constructed with the same factor level combination. Instead of modeling true probabilities for unobserved individual units, we assume that population means of cells with the same combination of factor levels are identical across small areas and the population mean of true probabilities for a cell is identical to the mean of true values for the observed units in that cell. We apply our proposed methodology to a real-life COVID-19 survey, linking information from multiple disparate data sources to estimate vaccine-hesitancy rates (proportions) for 50 US states and Washington, D.C. (small areas). We also provide practical ways of model selection that can be applied to a wider class of models under similar setting but for a diverse range of scientific problems.


title: Hybrid DoF: Ray-Traced and Post-Processed Hybrid Depth of Field Effect for Real-Time Rendering

abstract: Depth of Field (DoF) in games is usually achieved as a post-process effect by blurring pixels in the sharp rasterized image based on the defined focus plane. This paper describes a novel real-time DoF technique that uses ray tracing with image filtering to achieve more accurate partial occlusion semi-transparencies on edges of blurry foreground geometry. This hybrid rendering technique leverages ray tracing hardware acceleration as well as spatio-temporal reconstruction techniques to achieve interactive frame rates.


title: REV: Information-Theoretic Evaluation of Free-Text Rationales

abstract: Generating free-text rationales is a promising step towards explainable NLP, yet evaluating such rationales remains a challenge. Existing metrics have mostly focused on measuring the association between the rationale and a given label. We argue that an ideal metric should focus on the new information uniquely provided in the rationale that is otherwise not provided in the input or the label. We investigate this research problem from an information-theoretic perspective using conditional V-information (Hewitt et al., 2021). More concretely, we propose a metric called REV (Rationale Evaluation with conditional V-information), to quantify the amount of new, label-relevant information in a rationale beyond the information already available in the input or the label. Experiments across four benchmarks with reasoning tasks, including chain-of-thought, demonstrate the effectiveness of REV in evaluating rationale-label pairs, compared to existing metrics. We further demonstrate REV is consistent with human judgments on rationale evaluations and provides more sensitive measurements of new information in free-text rationales. When used alongside traditional performance metrics, REV provides deeper insights into models' reasoning and prediction processes.


title: Inverse thermodynamic uncertainty relations: general upper bounds on the fluctuations of trajectory observables

abstract: Thermodynamic uncertainty relations (TURs) are general lower bounds on the size of fluctutations of dynamical observables. They have important consequences, one being that the precision of estimation of a current is limited by the amount of entropy production. Here we prove the existence of general upper bounds on the size of fluctuations of any linear combination of fluxes (including all time-integrated currents or dynamical activities) for continuous-time Markov chains. We obtain these general relations by means of concentration bound techniques. These ``inverse TURs'' are valid for all times and not only in the long time limit. We illustrate our analytical results with a simple model, and discuss wider implications of these new relations.


title: Light emission in delta-T-driven mesoscopic conductors

abstract: The scattering picture of electron transport in mesoscopic conductors shows that fluctuations of the current reveal additional information on the scattering mechanism not available through the conductance alone. The electronic fluctuations are coupled to the electromagnetic field and a junction at finite bias or temperature will emit radiation. The nonsymmetrized current-current correlators characterize the emission and absorption spectrum. Recent interest is focused on the so-called delta-T noise, which is the nonequilibrium noise caused by a temperature difference between the terminals. Here, we generalize the notion of delta-T noise to the nonsymmetrized current-current correlator at finite frequencies. We investigate the spectral density for energy-independent scattering and for a resonant level as an example of energy-dependent scattering. We find that a temperature difference $\Delta T$ leads to a partial reduction of the noise for certain frequency ranges. This is a consequence of temperature broadening in combination with a frequency shift of the involved Fermi distributions. In the case of energy-independent scattering, the lowest order is a quadratic $\propto (\Delta T)^2$ correction of the thermal-like noise spectrum. For the resonance, additional contributions to the delta-T noise spectrum arise that are $\propto \Delta T$ to the lowest order.


title: Distance and age of the massive stellar cluster Westerlund 1. II. The eclipsing binary W36

abstract: Westerlund 1 (Wd 1) is one of the most relevant star clusters in the Milky Way to study massive star formation, although it is still poorly known. Here, we used photometric and spectroscopic data to model the eclipsing binary W36, showing that its spectral type is O6.5 III + O9.5 IV, hotter and more luminous than thought before. Its distance $d_{\rm W36}$ $=$ 4.03$\pm$0.25 kpc agrees, within the errors, with three recent Gaia-EDR3-based distances reported in Paper I, Beasor & Davies, and by Negueruela's group. However, they follow different approaches to fix the zero-points for red sources such as those in Wd 1 and to select the best approach, we used an accurate modelling of W36. The weighted mean distance of our parallax (Paper I) and binary distances results in $d_{\rm wd1}$ = 4.05 $\pm$0.20 kpc, with an unprecedented accuracy of 5%. We adopted isochrones based on the Geneva code with supersolar abundances to infer the age of W36B as 6.4 $\pm$ 0.7 Myr. This object seems to be part of the prolific star formation burst represented by OB giants and supergiants that occurred at 7.1 $\pm$ 0.5 Myr ago, which coincides with the recently published PMS isochrone with age 7.2 Myr. Other BA-type luminous evolved stars and Yellow Hypergiants spread in the age range of 8--11 Myr. The four Red Supergiants discussed in paper I represent the oldest population of the cluster with an age of 10.7 $\pm$ 1 Myr. The multiple episodes of star formation in Wd 1 are reminiscent of that reported for the R136/30 Dor LMC cluster.


title: Understanding the Energy Gap Law under Vibrational Strong Coupling

abstract: The rate of non-radiative decay between two molecular electronic states is succinctly described by the energy gap law, which suggests an approximately-exponential dependence of the rate on the electronic energy gap. Here, we inquire whether this rate is modified under vibrational strong coupling, a regime whereby the molecular vibrations are strongly coupled to an infrared cavity. We show that, under most conditions, the collective light-matter coupling strength is not large enough to counter the entropic penalty involved with using the polariton modes, so the energy gap law remains unchanged. This effect (or the lack thereof) may be reversed with deep strong light-matter couplings or large detunings, both of which increase the upper polariton frequency. Finally, we demonstrate how vibrational polariton condensates mitigate the entropy problem by providing large occupation numbers in the polariton modes.


title: Loop Unrolled Shallow Equilibrium Regularizer (LUSER) -- A Memory-Efficient Inverse Problem Solver

abstract: In inverse problems we aim to reconstruct some underlying signal of interest from potentially corrupted and often ill-posed measurements. Classical optimization-based techniques proceed by optimizing a data consistency metric together with a regularizer. Current state-of-the-art machine learning approaches draw inspiration from such techniques by unrolling the iterative updates for an optimization-based solver and then learning a regularizer from data. This loop unrolling (LU) method has shown tremendous success, but often requires a deep model for the best performance leading to high memory costs during training. Thus, to address the balance between computation cost and network expressiveness, we propose an LU algorithm with shallow equilibrium regularizers (LUSER). These implicit models are as expressive as deeper convolutional networks, but far more memory efficient during training. The proposed method is evaluated on image deblurring, computed tomography (CT), as well as single-coil Magnetic Resonance Imaging (MRI) tasks and shows similar, or even better, performance while requiring up to 8 times less computational resources during training when compared against a more typical LU architecture with feedforward convolutional regularizers.


title: Simulating Coverage Path Planning with Roomba

abstract: Coverage Path Planning involves visiting every unoccupied state in an environment with obstacles. In this paper, we explore this problem in environments which are initially unknown to the agent, for purposes of simulating the task of a vacuum cleaning robot. A survey of prior work reveals sparse effort in applying learning to solve this problem. In this paper, we explore modeling a Cover Path Planning problem using Deep Reinforcement Learning, and compare it with the performance of the built-in algorithm of the Roomba, a popular vacuum cleaning robot.


title: On Designing Day Ahead and Same Day Ridership Level Prediction Models for City-Scale Transit Networks Using Noisy APC Data

abstract: The ability to accurately predict public transit ridership demand benefits passengers and transit agencies. Agencies will be able to reallocate buses to handle under or over-utilized bus routes, improving resource utilization, and passengers will be able to adjust and plan their schedules to avoid overcrowded buses and maintain a certain level of comfort. However, accurately predicting occupancy is a non-trivial task. Various reasons such as heterogeneity, evolving ridership patterns, exogenous events like weather, and other stochastic variables, make the task much more challenging. With the progress of big data, transit authorities now have access to real-time passenger occupancy information for their vehicles. The amount of data generated is staggering. While there is no shortage in data, it must still be cleaned, processed, augmented, and merged before any useful information can be generated. In this paper, we propose the use and fusion of data from multiple sources, cleaned, processed, and merged together, for use in training machine learning models to predict transit ridership. We use data that spans a 2-year period (2020-2022) incorporating transit, weather, traffic, and calendar data. The resulting data, which equates to 17 million observations, is used to train separate models for the trip and stop level prediction. We evaluate our approach on real-world transit data provided by the public transit agency of Nashville, TN. We demonstrate that the trip level model based on Xgboost and the stop level model based on LSTM outperform the baseline statistical model across the entire transit service day.


title: Racial Disparities in Pulse Oximetry Cannot Be Fixed With Race-Based Correction

abstract: Studies have shown pulse oximeter measurements of blood oxygenation have statistical bias that is a function of race, which results in higher rates of occult hypoxemia, i.e., missed detection of dangerously low oxygenation, in patients of color. This paper further characterizes the statistical distribution of pulse ox measurements, showing they also have a higher variance for patients racialized as Black, compared to those racialized as white. We show that no single race-based correction factor will provide equal performance in the detection of hypoxemia. The results have implications for racially equitable pulse oximetry.


title: Enhanced diastereocontrol via strong light-matter interactions in an optical cavity

abstract: The enantiopurification of racemic mixtures of chiral molecules is important for a range of applications. Recent work has shown that chiral group-directed photoisomerization is a promising approach to enantioenrich racemic mixtures of BINOL, but increased control of the diasteriomeric excess (de) is necessary for its broad utility. Here we develop a cavity quantum electrodynamics (QED) generalization of time-dependent density functional theory and demonstrate computationally that strong light-matter coupling can alter the de of chiral group-directed photoisomerization of BINOL. The relative orientation of the cavity mode polarization and the molecules in the cavity dictates the nature of the cavity interactions, which either enhance the de of the (R)-BINOL diasteriomer (from 17% to $\approx$ 40%) or invert the favorability to the (S)-BINOL derivative (to $\approx$ 34% de). The latter outcome is particularly remarkable because it indicates that the preference in diasteriomer can be influenced via orientational control, without changing the chirality of the directing group. We demonstrate that the observed effect stems from cavity-induced changes to the Kohn-Sham orbitals of the ground state.


title: Extracting or Guessing? Improving Faithfulness of Event Temporal Relation Extraction

abstract: In this paper, we seek to improve the faithfulness of TempRel extraction models from two perspectives. The first perspective is to extract genuinely based on contextual description. To achieve this, we propose to conduct counterfactual analysis to attenuate the effects of two significant types of training biases: the event trigger bias and the frequent label bias. We also add tense information into event representations to explicitly place an emphasis on the contextual description. The second perspective is to provide proper uncertainty estimation and abstain from extraction when no relation is described in the text. By parameterization of Dirichlet Prior over the model-predicted categorical distribution, we improve the model estimates of the correctness likelihood and make TempRel predictions more selective. We also employ temperature scaling to recalibrate the model confidence measure after bias mitigation. Through experimental analysis on MATRES, MATRES-DS, and TDDiscourse, we demonstrate that our model extracts TempRel and timelines more faithfully compared to SOTA methods, especially under distribution shifts.


title: Continual Learning with Evolving Class Ontologies

abstract: Lifelong learners must recognize concept vocabularies that evolve over time. A common yet underexplored scenario is learning with class labels that continually refine/expand old classes. For example, humans learn to recognize ${\tt dog}$ before dog breeds. In practical settings, dataset $\textit{versioning}$ often introduces refinement to ontologies, such as autonomous vehicle benchmarks that refine a previous ${\tt vehicle}$ class into ${\tt school-bus}$ as autonomous operations expand to new cities. This paper formalizes a protocol for studying the problem of $\textit{Learning with Evolving Class Ontology}$ (LECO). LECO requires learning classifiers in distinct time periods (TPs); each TP introduces a new ontology of "fine" labels that refines old ontologies of "coarse" labels (e.g., dog breeds that refine the previous ${\tt dog}$). LECO explores such questions as whether to annotate new data or relabel the old, how to leverage coarse labels, and whether to finetune the previous TP's model or train from scratch. To answer these questions, we leverage insights from related problems such as class-incremental learning. We validate them under the LECO protocol through the lens of image classification (CIFAR and iNaturalist) and semantic segmentation (Mapillary). Our experiments lead to surprising conclusions; while the current status quo is to relabel existing datasets with new ontologies (such as COCO-to-LVIS or Mapillary1.2-to-2.0), LECO demonstrates that a far better strategy is to annotate $\textit{new}$ data with the new ontology. However, this produces an aggregate dataset with inconsistent old-vs-new labels, complicating learning. To address this challenge, we adopt methods from semi-supervised and partial-label learning. Such strategies can surprisingly be made near-optimal, approaching an "oracle" that learns on the aggregate dataset exhaustively labeled with the newest ontology.


title: Sampling-based inference for large linear models, with application to linearised Laplace

abstract: Large-scale linear models are ubiquitous throughout machine learning, with contemporary application as surrogate models for neural network uncertainty quantification; that is, the linearised Laplace method. Alas, the computational cost associated with Bayesian linear models constrains this method's application to small networks, small output spaces and small datasets. We address this limitation by introducing a scalable sample-based Bayesian inference method for conjugate Gaussian multi-output linear models, together with a matching method for hyperparameter (regularisation) selection. Furthermore, we use a classic feature normalisation method (the g-prior) to resolve a previously highlighted pathology of the linearised Laplace method. Together, these contributions allow us to perform linearised neural network inference with ResNet-18 on CIFAR100 (11M parameters, 100 outputs x 50k datapoints), with ResNet-50 on Imagenet (50M parameters, 1000 outputs x 1.2M datapoints) and with a U-Net on a high-resolution tomographic reconstruction task (2M parameters, 251k output~dimensions).


title: FEAMOE: Fair, Explainable and Adaptive Mixture of Experts

abstract: Three key properties that are desired of trustworthy machine learning models deployed in high-stakes environments are fairness, explainability, and an ability to account for various kinds of "drift". While drifts in model accuracy, for example due to covariate shift, have been widely investigated, drifts in fairness metrics over time remain largely unexplored. In this paper, we propose FEAMOE, a novel "mixture-of-experts" inspired framework aimed at learning fairer, more explainable/interpretable models that can also rapidly adjust to drifts in both the accuracy and the fairness of a classifier. We illustrate our framework for three popular fairness measures and demonstrate how drift can be handled with respect to these fairness constraints. Experiments on multiple datasets show that our framework as applied to a mixture of linear experts is able to perform comparably to neural networks in terms of accuracy while producing fairer models. We then use the large-scale HMDA dataset and show that while various models trained on HMDA demonstrate drift with respect to both accuracy and fairness, FEAMOE can ably handle these drifts with respect to all the considered fairness measures and maintain model accuracy as well. We also prove that the proposed framework allows for producing fast Shapley value explanations, which makes computationally efficient feature attribution based explanations of model decisions readily available via FEAMOE.


title: Graph2Vid: Flow graph to Video Grounding for Weakly-supervised Multi-Step Localization

abstract: In this work, we consider the problem of weakly-supervised multi-step localization in instructional videos. An established approach to this problem is to rely on a given list of steps. However, in reality, there is often more than one way to execute a procedure successfully, by following the set of steps in slightly varying orders. Thus, for successful localization in a given video, recent works require the actual order of procedure steps in the video, to be provided by human annotators at both training and test times. Instead, here, we only rely on generic procedural text that is not tied to a specific video. We represent the various ways to complete the procedure by transforming the list of instructions into a procedure flow graph which captures the partial order of steps. Using the flow graphs reduces both training and test time annotation requirements. To this end, we introduce the new problem of flow graph to video grounding. In this setup, we seek the optimal step ordering consistent with the procedure flow graph and a given video. To solve this problem, we propose a new algorithm - Graph2Vid - that infers the actual ordering of steps in the video and simultaneously localizes them. To show the advantage of our proposed formulation, we extend the CrossTask dataset with procedure flow graph information. Our experiments show that Graph2Vid is both more efficient than the baselines and yields strong step localization results, without the need for step order annotation.


title: Understanding spectral states of sub-Keplerian accretion discs around compact objects as transitions between steady states

abstract: We present here a simple hydrodynamic model based on a sequence of steady states of the inner sub-Keplerian accretion disc to model its spectral states. Correlations between different hydrodynamic steady states are studied with a goal to understand the origin of, e.g., the aperiodic variabilities. The plausible source of corona/outflow close to the central compact object is shown to be a consequence of steady state transition in the underlying accretion flow. We envisage that this phenomenological model can give insight on the influence of environment on the inner sub-Keplerian accretion disc.


title: Testing unit root non-stationarity in the presence of missing data in univariate time series of mobile health studies

abstract: The use of digital devices to collect data in mobile health (mHealth) studies introduces a novel application of time series methods, with the constraint of potential data missing at random (MAR) or missing not at random (MNAR). In time series analysis, testing for stationarity is an important preliminary step to inform appropriate later analyses. The augmented Dickey-Fuller (ADF) test was developed to test the null hypothesis of unit root non-stationarity, under no missing data. Beyond recommendations under data missing completely at random (MCAR) for complete case analysis or last observation carry forward imputation, researchers have not extended unit root non-stationarity testing to a context with more complex missing data mechanisms. Multiple imputation with chained equations, Kalman smoothing imputation, and linear interpolation have also been proposed for time series data, however such methods impose constraints on the autocorrelation structure, and thus impact unit root testing. We propose maximum likelihood estimation and multiple imputation using state space model approaches to adapt the ADF test to a context with missing data. We further develop sensitivity analysis techniques to examine the impact of MNAR data. We evaluate the performance of existing and proposed methods across different missing mechanisms in extensive simulations and in their application to a multi-year smartphone study of bipolar patients.


title: Edgeworth-type expansion for the one-point distribution of the KPZ fixed point with a large height at a prior location

abstract: We consider the Kardar-Parisi-Zhang (KPZ) fixed point $\mathrm{H}(x,\tau)$ with the step initial condition and investigate the distribution of $\mathrm{H}(x,\tau)$ conditioned on a large height at an earlier space-time point $\mathrm{H}(x',\tau')$. As $\mathrm{H}(x',\tau')$ tends to infinity, we prove that the conditional one-point distribution of $\mathrm{H}(x,\tau)$ in the regime $\tau>\tau'$ converges to the Gaussian Unitary Ensemble (GUE) Tracy-Widom distribution and the next two lower-order error terms can be expressed as derivatives of the GUE Tracy-Widom distribution, which is a conceptual analogue to the Edgeworth expansion in the central limit theorem. These KPZ-type limiting behaviors are different from the Gaussian-type ones obtained in \cite{Liu-Wang22} where they study the finite-dimensional distribution of $\mathrm{H}(x,\tau)$ conditioned on a large height at a later space-time point $\mathrm{H}(x',\tau')$. They show, with the step initial condition, that the conditional random field $\mathrm{H}(x,\tau)$ in the regime $\tau<\tau'$ converges to the minimum of two independent Brownian bridges modified by linear drifts as $\mathrm{H}(x',\tau')$ goes to infinity. The two results stated above provide the phase diagram of the asymptotic behaviors of a conditional law of KPZ fixed point in the regimes $\tau>\tau'$ and $\tau<\tau'$ when $\mathrm{H}(x',\tau')$ goes to infinity.


title: A Hierarchical Grouping Algorithm for the Multi-Vehicle Dial-a-Ride Problem

abstract: Ride-sharing is an essential aspect of modern urban mobility. In this paper, we consider a classical problem in ride-sharing - the Multi-Vehicle Dial-a-Ride Problem (Multi-Vehicle DaRP). Given a fleet of vehicles with a fixed capacity stationed at various locations and a set of ride requests specified by origins and destinations, the goal is to serve all requests such that no vehicle is assigned more passengers than its capacity at any point along its trip. We propose an algorithm HRA, which is the first non-trivial approximation algorithm for the Multi-Vehicle DaRP. The main technical contribution is to reduce the Multi-Vehicle DaRP to a certain capacitated partitioning problem, which we solve using a novel hierarchical grouping algorithm. Experimental results show that the vehicle routes produced by our algorithm not only exhibit less total travel distance compared to state-of-the-art baselines, but also enjoy a small in-transit latency, which crucially relates to riders' traveling times. This suggests that HRA enhances rider experience while being energy-efficient.


title: Social Media Personal Event Notifier Using NLP and Machine Learning

abstract: Social media apps have become very promising and omnipresent in daily life. Most social media apps are used to deliver vital information to those nearby and far away. As our lives become more hectic, many of us strive to limit our usage of social media apps because they are too addictive, and the majority of us have gotten preoccupied with our daily lives. Because of this, we frequently overlook crucial information, such as invitations to weddings, interviews, birthday parties, etc., or find ourselves unable to attend the event. In most cases, this happens because users are more likely to discover the invitation or information only before the event, giving them little time to prepare. To solve this issue, in this study, we created a system that will collect social media chat and filter it using Natural Language Processing (NLP) methods like Tokenization, Stop Words Removal, Lemmatization, Segmentation, and Named Entity Recognition (NER). Also, Machine Learning Algorithms such as K-Nearest Neighbor (KNN) Algorithm are implemented to prioritize the received invitation and to sort the level of priority. Finally, a customized notification will be delivered to the users where they acknowledge the upcoming event. So, the chances of missing the event are less or can be planned.


title: Codimension one intersections between components of the Emerton-Gee stack for $\mathrm{GL}_2$

abstract: Let $p$ be a fixed odd prime, and let $K$ be a finite extension of $\mathbb{Q}_p$ with ring of integers $\mathcal{O}_K$. The Emerton-Gee stack for $\mathrm{GL}_2$ is a stack of $(\varphi, \Gamma)$-modules. The stack, denoted $\mathcal{X}_2$, can be interpreted as a moduli stack of representations of the absolute Galois group of $K$ with $p$-adic coefficients. The reduced part of the Emerton-Gee stack, denoted $\mathcal{X}_{2, \text{red}}$, is an algebraic stack defined over a finite field of characteristic $p$ and can be viewed as a moduli stack of Galois representations with mod $p$ coefficients. The irreducible components of $\mathcal{X}_{2, \text{red}}$ are labelled in a natural way by Serre weights, which are the irreducible mod $p$ representations of $\mathrm{GL}_2(\mathcal{O}_K)$. Each irreducible component of $\mathcal{X}_{2, \text{red}}$ has dimension $[K:\mathbb{Q}_p]$. Motivated by the conjectural categorical $p$-adic Langlands programme, we find representation-theoretic criteria for codimension one intersections of the irreducible components of $\mathcal{X}_{2, \text{red}}$. The methods involve two separate computations and a final comparison between the two. The first of these computations determines extension groups of Serre weights and the second determines all the pairs of irreducible components that intersect in codimension one. We show that a non-trivial extension of a pair of non-isomorphic Serre weights implies a codimension one intersection of the corresponding irreducible components. The converse of this statement is also true when the Serre weights are chosen to be sufficiently generic. Furthermore, we show that the number of top-dimensional components in a codimension one intersection is related to the nature of the extension group of corresponding Serre weights.


title: A non-interacting Galactic black hole candidate in a binary system with a main-sequence star

abstract: We describe the discovery of a solar neighborhood (d=468 pc) binary system with a main-sequence sunlike star and a massive non-interacting black hole candidate. The spectral energy distribution (SED) of the visible star is described by a single stellar model. We derive stellar parameters from a high signal-to-noise Magellan/MIKE spectrum, classifying the star as a main-sequence star with $T_{\rm eff} = 5972 \rm K$, $\log{g} = 4.54$, and $M = 0.91$ \msun. The spectrum shows no indication of a second luminous component. To determine the spectroscopic orbit of the binary, we measured radial velocities of this system with the Automated Planet Finder, Magellan, and Keck over four months. We show that the velocity data are consistent with the \textit{Gaia} astrometric orbit and provide independent evidence for a massive dark companion. From a combined fit of our spectroscopic data and the astrometry, we derive a companion mass of $11.39^{+1.51}_{-1.31}$\msun. We conclude that this binary system harbors a massive black hole on an eccentric $(e =0.46 \pm 0.02)$, $185.4 \pm 0.1$ d orbit. These conclusions are independent of \cite{ElBadry2022Disc}, who recently reported the discovery of the same system. A joint fit to all available data (including \cite{ElBadry2022Disc}'s) yields a comparable period solution, but a lower companion mass of $9.32^{+0.22}_{-0.21} M_{\odot}$. Radial velocity fits to all available data produce a unimodal solution for the period that is not possible with either data set alone. The combination of both data sets yields the most accurate orbit currently available.


title: Rethinking the protein folding problem from a new perspective

abstract: One of the main concerns of Anfinsen was to reveal the connection between the amino acid sequence and their biologically active conformation. This search gave rise to two crucial questions in structural biology, namely, why the proteins fold and how a sequence encodes its folding. As to the why, he proposes a plausible answer, namely, at a given milieu a protein folds into its functional form -- native state -- because such structure represents the lowest free-energy minimum among all feasible conformations -- the thermodynamic hypothesis or Anfinsen dogma. As to the how, this remains as an unsolved challenge and, hence, this inquiry is examined here from a new perspective of protein folding, namely, as an analytic whole -- a notion proposed by Leibnitz and Kant. This new perspective forces us to discuss in detail why the theoretical force-field-based approaches have failed in both their ability to predict the three-dimensional structure of a protein accurately and in their capacity to answer one of the most critical questions in structural biology: how a sequence encodes its folding.


title: Quadratic Zeeman Spectral Diffusion of Thulium Ion Population in a Yttrium Gallium Garnet Crystal

abstract: The creation of well understood structures using spectral hole burning is an important task in the use of technologies based on rare earth ion doped crystals. We apply a series of different techniques to model and improve the frequency dependent population change in the atomic level structure of Thulium Yttrium Gallium Garnet (Tm:YGG). In particular we demonstrate that at zero applied magnetic field, numerical solutions to frequency dependent three-level rate equations show good agreement with spectral hole burning results. This allows predicting spectral structures given a specific hole burning sequence, the underpinning spectroscopic material properties, and the relevant laser parameters. This enables us to largely eliminate power dependent hole broadening through the use of adiabatic hole-burning pulses. Though this system of rate equations shows good agreement at zero field, the addition of a magnetic field results in unexpected spectral diffusion proportional to the induced Tm ion magnetic dipole moment and average magnetic field strength, which, through the quadratic Zeeman effect, dominates the optical spectrum over long time scales. Our results allow optimization of the preparation process for spectral structures in a large variety of rare earth ion doped materials for quantum memories and other applications.


title: Energy-Efficient Deployment of Machine Learning Workloads on Neuromorphic Hardware

abstract: As the technology industry is moving towards implementing tasks such as natural language processing, path planning, image classification, and more on smaller edge computing devices, the demand for more efficient implementations of algorithms and hardware accelerators has become a significant area of research. In recent years, several edge deep learning hardware accelerators have been released that specifically focus on reducing the power and area consumed by deep neural networks (DNNs). On the other hand, spiking neural networks (SNNs) which operate on discrete time-series data, have been shown to achieve substantial power reductions over even the aforementioned edge DNN accelerators when deployed on specialized neuromorphic event-based/asynchronous hardware. While neuromorphic hardware has demonstrated great potential for accelerating deep learning tasks at the edge, the current space of algorithms and hardware is limited and still in rather early development. Thus, many hybrid approaches have been proposed which aim to convert pre-trained DNNs into SNNs. In this work, we provide a general guide to converting pre-trained DNNs into SNNs while also presenting techniques to improve the deployment of converted SNNs on neuromorphic hardware with respect to latency, power, and energy. Our experimental results show that when compared against the Intel Neural Compute Stick 2, Intel's neuromorphic processor, Loihi, consumes up to 27x less power and 5x less energy in the tested image classification tasks by using our SNN improvement techniques.


title: Optimal input states for quantifying the performance of continuous-variable unidirectional and bidirectional teleportation

abstract: Continuous-variable (CV) teleportation is a foundational protocol in quantum information science. A number of experiments have been designed to simulate ideal teleportation under realistic conditions. In this paper, we detail an analytical approach for determining optimal input states for quantifying the performance of CV unidirectional and bidirectional teleportation. The metric that we consider for quantifying performance is the energy-constrained channel fidelity between ideal teleportation and its experimental implementation, and along with this, our focus is on determining optimal input states for distinguishing the ideal process from the experimental one. We prove that, under certain energy constraints, the optimal input state in unidirectional, as well as bidirectional, teleportation is a finite entangled superposition of twin-Fock states saturating the energy constraint. Moreover, we also prove that, under the same constraints, the optimal states are unique; that is, there is no other optimal finite entangled superposition of twin-Fock states.


title: Fast Hierarchical Learning for Few-Shot Object Detection

abstract: Transfer learning based approaches have recently achieved promising results on the few-shot detection task. These approaches however suffer from ``catastrophic forgetting'' issue due to finetuning of base detector, leading to sub-optimal performance on the base classes. Furthermore, the slow convergence rate of stochastic gradient descent (SGD) results in high latency and consequently restricts real-time applications. We tackle the aforementioned issues in this work. We pose few-shot detection as a hierarchical learning problem, where the novel classes are treated as the child classes of existing base classes and the background class. The detection heads for the novel classes are then trained using a specialized optimization strategy, leading to significantly lower training times compared to SGD. Our approach obtains competitive novel class performance on few-shot MS-COCO benchmark, while completely retaining the performance of the initial model on the base classes. We further demonstrate the application of our approach to a new class-refined few-shot detection task.


title: Multi-term fractional linear equations modeling oxygen subdiffusion through capillaries

abstract: For $0<\nu_2<\nu_1\leq 1$, we analyze a linear integro-differential equation on the space-time cylinder $\Omega\times(0,T)$ in the unknown $u=u(x,t)$ $$\mathbf{D}_{t}^{\nu_1}(\varrho_{1}u)-\mathbf{D}_{t}^{\nu_2}(\varrho_2 u)-\mathcal{L}_{1}u-\mathcal{K}*\mathcal{L}_{2}u =f$$ where $\mathbf{D}_{t}^{\nu_i}$ are the Caputo fractional derivatives, $\varrho_i=\varrho_i(x,t)$ with $\varrho_1\geq \mu_0>0$, $\mathcal{L}_{i}$ are uniform elliptic operators with time-dependent smooth coefficients, $\mathcal{K}$ is a summable convolution kernel, and $f$ is an external force. Particular cases of this equation are the recently proposed advanced models of oxygen transport through capillaries. Under suitable conditions on the given data, the global classical solvability of the associated initial-boundary value problems is addressed. To this end, a special technique is needed, adapting the concept of a regularizer from the theory of parabolic equations. This allows us to remove the usual assumption about the nonnegativity of the kernel representing fractional derivatives. The problem is also investigated from the numerical point of view.


title: Microstructure of a heavily irradiated metal exposed to a spectrum of atomic recoils

abstract: At temperatures below the onset of vacancy migration, metals exposed to energetic ions develop dynamically fluctuating steady-state microstructures. Statistical properties of these microstructures in the asymptotic high exposure limit are not universal and vary depending on the energy and mass of the incident ions. We develop a model for the microstructure of an ion-irradiated metal under athermal conditions, where internal stress fluctuations dominate the kinetics of structural evolution. The balance between defect production and recombination depends sensitively not only on the total exposure to irradiation, defined by the dose, but also on the energy of the incident particles. The model predicts the defect content in the high dose limit as an integral of the spectrum of primary knock-on atom energies, with the finding that low energy ions produce a significantly higher amount of damage than high energy ions.


title: Density of instantaneous frequencies in the Kuramoto-Sakaguchi model

abstract: We obtain a formula for the statistical distribution of instantaneous frequencies in the Kuramoto-Sakaguchi model. This work is based on the Kuramoto-Sakaguchi's theory of globally coupled phase oscillators, which we review in full detail by discussing its assumptions and showing all steps behind the derivation of its main results. Our formula is a stationary probability density function with a complex mathematical structure, is consistent with numerical simulations and gives a description of the stationary collective states of the Kuramoto-Sakaguchi model.


title: Three-dimensional core-collapse supernovae with complex magnetic structures: II. Rotational instabilities and multi-messenger signatures

abstract: The gravitational collapse of rapidly rotating massive stars can lead to the onset of the low $T/\|W\|$ instability within the central proto-neutron star (PNS), which leaves strong signatures in both the gravitational wave (GW) and neutrino emission. Strong large-scale magnetic fields are usually invoked to explain outstanding stellar explosions of rapidly rotating progenitors, but their impact on the growth of such instability has not yet been cleared. We analyze a series of three-dimensional magnetohydrodynamic models to characterize the effects of different magnetic configurations on the development of the low $T/\|W\|$ and the related multi-messenger features. In the absence of magnetic fields, we observe the growth on dynamical time scales of the low $T/\|W\|$, associated with a strong burst of GW and a correlated modulation of the neutrino emission. However, models with a strong magnetic field show a quenching of the low $T/\|W\|$, due to a flattening of the rotation profile in the first $\sim100$ ms after shock formation caused by the magnetic transport of angular momentum. The associated GW emission is weakened by an order of magnitude, exhibits a broader spectral shape, and has no dominant feature associated with the PNS large-scale oscillation modes. Neutrino luminosities are damped along the equatorial plane due to a more oblate PNS, and the only clear modulation in the signal is due to SASI activity. Finally, magnetized models produce lower luminosities for $\nu_e$ than for $\bar{\nu}_e$, which is connected to a higher concentration of neutron-rich material in the PNS surroundings.


title: Supervisory Coordination of Robotic Fiber Positioners in Multi-Object Spectrographs

abstract: In this paper, we solve the complete coordination problem of robotic fiber positioners using supervisory control theory. In particular, we model positioners and their behavioral specifications as discrete-event systems by the discretization of their motion spaces. We synthesize a coordination supervisor associated with a specific set of positioners. In particular, the coordination supervisor includes the solutions to the complete coordination problem of its corresponding positioners. Then, we use the backtracking forcibility technique of supervisory control theory to present an algorithm based on a completeness condition to solve the coordination problem similar to a reconfiguration problem. We illustrate the functionality of our method using an example.


title: Exploring Adaptive MCTS with TD Learning in miniXCOM

abstract: In recent years, Monte Carlo tree search (MCTS) has achieved widespread adoption within the game community. Its use in conjunction with deep reinforcement learning has produced success stories in many applications. While these approaches have been implemented in various games, from simple board games to more complicated video games such as StarCraft, the use of deep neural networks requires a substantial training period. In this work, we explore on-line adaptivity in MCTS without requiring pre-training. We present MCTS-TD, an adaptive MCTS algorithm improved with temporal difference learning. We demonstrate our new approach on the game miniXCOM, a simplified version of XCOM, a popular commercial franchise consisting of several turn-based tactical games, and show how adaptivity in MCTS-TD allows for improved performances against opponents.


title: Optimality Guarantees for Particle Belief Approximation of POMDPs

abstract: Partially observable Markov decision processes (POMDPs) provide a flexible representation for real-world decision and control problems. However, POMDPs are notoriously difficult to solve, especially when the state and observation spaces are continuous or hybrid, which is often the case for physical systems. While recent online sampling-based POMDP algorithms that plan with observation likelihood weighting have shown practical effectiveness, a general theory characterizing the approximation error of the particle filtering techniques that these algorithms use has not previously been proposed. Our main contribution is bounding the error between any POMDP and its corresponding finite sample particle belief MDP (PB-MDP) approximation. This fundamental bridge between PB-MDPs and POMDPs allows us to adapt any sampling-based MDP algorithm to a POMDP by solving the corresponding particle belief MDP, thereby extending the convergence guarantees of the MDP algorithm to the POMDP. Practically, this is implemented by using the particle filter belief transition model as the generative model for the MDP solver. While this requires access to the observation density model from the POMDP, it only increases the transition sampling complexity of the MDP solver by a factor of $\mathcal{O}(C)$, where $C$ is the number of particles. Thus, when combined with sparse sampling MDP algorithms, this approach can yield algorithms for POMDPs that have no direct theoretical dependence on the size of the state and observation spaces. In addition to our theoretical contribution, we perform five numerical experiments on benchmark POMDPs to demonstrate that a simple MDP algorithm adapted using PB-MDP approximation, Sparse-PFT, achieves performance competitive with other leading continuous observation POMDP solvers.


title: A bijection between vertices of rank 1 in increasing trees and derangements

abstract: We give a combinatorial proof of a recent result of B\'ona by constructing a bijection from the set of all neighbors of leaves of increasing trees of size $n$ to the set of derangements of length $n$.


title: A complete answer to Albanese base change for incomplete varieties

abstract: Albanese varieties provide a standard tool in algebraic geometry for converting questions about varieties in general, to questions about Abelian varieties. A result of Serre provides the existence of an Albanese variety for any geometrically connected and geometrically reduced scheme of finite type over a field, and a result of Grothendieck--Conrad establishes that Albanese varieties are stable under base change of field provided the scheme is, in addition, proper. A result of Raynaud shows that base change can fail for Albanese varieties without this properness hypothesis. In this paper we show that Albanese varieties of geometrically connected and geometrically reduced schemes of finite type over a field are stable under separable field extensions. We also show that the failure of base change in general is explained by the L/K-image for purely inseparable extensions L/K.


title: LidarNAS: Unifying and Searching Neural Architectures for 3D Point Clouds

abstract: Developing neural models that accurately understand objects in 3D point clouds is essential for the success of robotics and autonomous driving. However, arguably due to the higher-dimensional nature of the data (as compared to images), existing neural architectures exhibit a large variety in their designs, including but not limited to the views considered, the format of the neural features, and the neural operations used. Lack of a unified framework and interpretation makes it hard to put these designs in perspective, as well as systematically explore new ones. In this paper, we begin by proposing a unified framework of such, with the key idea being factorizing the neural networks into a series of view transforms and neural layers. We demonstrate that this modular framework can reproduce a variety of existing works while allowing a fair comparison of backbone designs. Then, we show how this framework can easily materialize into a concrete neural architecture search (NAS) space, allowing a principled NAS-for-3D exploration. In performing evolutionary NAS on the 3D object detection task on the Waymo Open Dataset, not only do we outperform the state-of-the-art models, but also report the interesting finding that NAS tends to discover the same macro-level architecture concept for both the vehicle and pedestrian classes.


title: Parameterized Approaches to Orthogonal Compaction

abstract: Orthogonal graph drawings are used in applications such as UML diagrams, VLSI layout, cable plans, and metro maps. We focus on drawing planar graphs and assume that we are given an \emph{orthogonal representation} that describes the desired shape, but not the exact coordinates of a drawing. Our aim is to compute an orthogonal drawing on the grid that has minimum area among all grid drawings that adhere to the given orthogonal representation. This problem is called orthogonal compaction (OC) and is known to be NP-hard, even for orthogonal representations of cycles [Evans et al., 2022]. We investigate the complexity of OC with respect to several parameters. Among others, we show that OC is fixed-parameter tractable with respect to the most natural of these parameters, namely, the number of \emph{kitty corners} of the orthogonal representation: the presence of pairs of kitty corners in an orthogonal representation makes the OC problem hard. Informally speaking, a pair of kitty corners is a pair of reflex corners of a face that point at each other. Accordingly, the number of kitty corners is the number of corners that are involved in some pair of kitty corners.


title: Spectral Sparsification for Communication-Efficient Collaborative Rotation and Translation Estimation

abstract: We propose fast and communication-efficient optimization algorithms for multi-robot rotation averaging and translation estimation problems that arise from collaborative simultaneous localization and mapping (SLAM), structure-from-motion (SfM), and camera network localization applications. Our methods are based on theoretical relations between the Hessians of the underlying Riemannian optimization problems and the Laplacians of suitably weighted graphs. We leverage these results to design a collaborative solver in which robots coordinate with a central server to perform approximate second-order optimization, by solving a Laplacian system at each iteration. Crucially, our algorithms permit robots to employ spectral sparsification to sparsify intermediate dense matrices before communication, and hence provide a mechanism to trade off accuracy with communication efficiency with provable guarantees. We perform rigorous theoretical analysis of our methods and prove that they enjoy (local) linear rate of convergence. Furthermore, we show that our methods can be combined with graduated non-convexity to achieve outlier-robust estimation. Extensive experiments on real-world SLAM and SfM scenarios demonstrate the superior convergence rate and communication efficiency of our methods.


title: The good, the bad and the ugly sides of data augmentation: An implicit spectral regularization perspective

abstract: Data augmentation (DA) is a powerful workhorse for bolstering performance in modern machine learning. Specific augmentations like translations and scaling in computer vision are traditionally believed to improve generalization by generating new (artificial) data from the same distribution. However, this traditional viewpoint does not explain the success of prevalent augmentations in modern machine learning (e.g. randomized masking, cutout, mixup), that greatly alter the training data distribution. In this work, we develop a new theoretical framework to characterize the impact of a general class of DA on underparameterized and overparameterized linear model generalization. Our framework reveals that DA induces implicit spectral regularization through a combination of two distinct effects: a) manipulating the relative proportion of eigenvalues of the data covariance matrix in a training-data-dependent manner, and b) uniformly boosting the entire spectrum of the data covariance matrix through ridge regression. These effects, when applied to popular augmentations, give rise to a wide variety of phenomena, including discrepancies in generalization between over-parameterized and under-parameterized regimes and differences between regression and classification tasks. Our framework highlights the nuanced and sometimes surprising impacts of DA on generalization, and serves as a testbed for novel augmentation design.


title: Dynamic Gap: Formal Guarantees for Safe Gap-based Navigation in Dynamic Environments

abstract: This paper extends the family of gap-based local planners to unknown dynamic environments through generating provable collision-free properties for hierarchical navigation systems. Existing perception-informed local planners that operate in dynamic environments rely on emergent or empirical robustness for collision avoidance as opposed to providing formal guarantees for safety. In addition to this, the obstacle tracking that is performed in these existent planners is often achieved with respect to a global inertial frame, subjecting such tracking estimates to transformation errors from odometry drift. The proposed local planner, called dynamic gap, shifts the tracking paradigm to modeling how the free space, represented as gaps, evolves over time. Gap crossing and closing conditions are developed to aid in determining the feasibility of passage through gaps, and Bezier curves are used to define a safe navigable gap that encapsulates both local environment dynamics and ego-robot reachability. Artificial Harmonic Potential Field (AHPF) methods that guarantee collision-free convergence to the goal are then leveraged to generate safe local trajectories. Monte Carlo benchmarking experiments are run in structured simulation worlds with dynamic agents to showcase the benefits that such formal safety guarantees provide.


title: Using Deep Learning to Improve Early Diagnosis of Pneumonia in Underdeveloped Countries

abstract: As advancements in technology and medicine are being made, many countries are still unable to access quality medical care due to cost and lack of qualified medical personnel. This discrepancy in healthcare has caused many preventable deaths, either due to lack of detection or lack of care. One of the most prevalent diseases in the world is pneumonia, an infection of the lungs that killed 2.56 million people worldwide in 2017. In this same year, the United States recorded a pneumonia death rate of 15.88 people per 100000 in population, while much of Sub-Saharan Africa, such as Chad and Guinea, experienced death rates of over 150 people per 100000. In sub-Saharan Africa, there is an extreme shortage of doctors and nurses, estimated to be around 2.4 million. The hypothesis being tested is that a deep learning model can receive input in the form of an x-ray and produce a diagnosis with the equivalent accuracy of a physician, compared to a prediagnosed image. The model used in this project is a modified convolutional neural network. The model was trained on a set of 2000 x-ray images that have predetermined normal and abnormal lung findings, and then tested on a set of 400 images that contains evenly split images of pneumonia and healthy lungs. For each computer-run test, data was collected on a base measurement of accuracy, as well as more specific metrics such as specificity and sensitivity. Results show that the algorithm tested was able to accurately identify abnormal lung findings an average of 82.5% of the time. The model achieved a maximum specificity of 98.5% and a maximum sensitivity of 90% separately, and the highest simultaneous values of these two metrics was a sensitivity of 90% and a specificity of 78.5%. This research can be further improved by testing other deep learning models as well as machine learning models to improve the metric scores and chance of correct diagnoses.


title: Fractional Topology in Interacting 1D Superconductors

abstract: We investigate the topological phases of two one-dimensional (1D) interacting superconducting wires and propose topological markers directly measurable from ground state correlation functions. These quantities remain powerful tools in the presence of couplings and interactions. We show with the density matrix renormalization group that the double critical Ising (DCI) phase discovered in [1] is a fractional topological phase with gapless Majorana modes in the bulk, and a one-half topological invariant per wire. Using both numerics and quantum field theoretical methods, we show that the phase diagram remains stable in the presence of an inter-wire hopping amplitude $t_{\bot}$ at length scales below $\sim 1/t_{\bot}$. A large inter-wire hopping amplitude results in the emergence of two integer topological phases, stable also at large interactions. They host one edge mode per boundary shared between both wires. At large interactions, the two wires are described by Mott physics, with the $t_{\bot}$ hopping amplitude resulting in a paramagnetic order.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.supr-con math-ph math.MP


title: Revisiting Connotations of Digital Humanists: Exploratory Interviews

abstract: This ongoing study revisits the connotations of "digital humanists" and explores the reasons why a researcher does or does not self-identify as a digital humanist. Building on semi-structured interview data collected from fourteen researchers and practitioners engaging in digital humanities (DH) projects, this poster illustrates researchers' various understandings of "digital humanist" as a term and research identity and highlights the complexity of "digital humanists" as a research community. This study contributes to DH scholarship with insights into the collective imaginations of the digital humanist as a research community one decade after the early attempts. Findings of this research study also facilitate a more thorough, timely, and dynamic discussion of the major workforce in digital humanities, potentially paving the way for future research on labor and collaboration in the DH research domain.


title: Uncertainty Quantification in Synthetic Controls with Staggered Treatment Adoption

abstract: We propose principled prediction intervals to quantify the uncertainty of a large class of synthetic control predictions (or estimators) in settings with staggered treatment adoption, offering precise non-asymptotic coverage probability guarantees. From a methodological perspective, we provide a detailed discussion of different causal quantities to be predicted, which we call `causal predictands', allowing for multiple treated units with treatment adoption at possibly different points in time. From a theoretical perspective, our uncertainty quantification methods improve on prior literature by (i) covering a large class of causal predictands in staggered adoption settings, (ii) allowing for synthetic control methods with possibly nonlinear constraints, (iii) proposing scalable robust conic optimization methods and principled data-driven tuning parameter selection, and (iv) offering valid uniform inference across post-treatment periods. We illustrate our methodology with an empirical application studying the effects of economic liberalization in the 1990s on GDP for emerging European countries. Companion general-purpose software packages are provided in Python, R and Stata.


title: Probabilities of Causation: Adequate Size of Experimental and Observational Samples

abstract: The probabilities of causation are commonly used to solve decision-making problems. Tian and Pearl derived sharp bounds for the probability of necessity and sufficiency (PNS), the probability of sufficiency (PS), and the probability of necessity (PN) using experimental and observational data. The assumption is that one is in possession of a large enough sample to permit an accurate estimation of the experimental and observational distributions. In this study, we present a method for determining the sample size needed for such estimation, when a given confidence interval (CI) is specified. We further show by simulation that the proposed sample size delivered stable estimations of the bounds of PNS.


title: Cathodoluminescence monitoring of quantum emitter activation in hexagonal boron nitride

abstract: The ability to locally activate or generate quantum emitters in two-dimensional materials is of major interest for the realization of integrated quantum photonic devices. In particular, hexagonal boron nitride (hBN) has recently been shown to allow a variety of techniques for obtaining quantum emitters at desired locations. Here, we use cathodoluminescence (CL) to monitor in situ the local activation of color centers by an electron beam in hBN. We observe that the CL signal saturates at a given surface dose, independently of the electron current density. Based on photoluminescence and photon correlations, we show that the number of photoactive color centers is proportional to the CL signal, and we estimate the maximum density of quantum emitters that can be generated by our technique. Our results provide insights about the activation mechanism and could help to optimize the controlled generation of single photon sources in hexagonal boron nitride.


title: Exotic codimension-1 submanifolds in 4-manifolds and stabilizations

abstract: In a small simply-connected closed 4-manifold, we construct infinitely many pairs of exotic codimension-$1$ submanifolds with diffeomorphic complements that remain exotic after any number of stabilizations by $ S^2 \times S^2$. We also give new constructions of exotic embeddings of 3-spheres in 4-manifolds with diffeomorphic complements.


title: Unit Selection: Case Study and Comparison with A/B Test Heuristic

abstract: The unit selection problem defined by Li and Pearl identifies individuals who have desired counterfactual behavior patterns, for example, individuals who would respond positively if encouraged and would not otherwise. Li and Pearl showed by example that their unit selection model is beyond the A/B test heuristics. In this paper, we reveal the essence of the A/B test heuristics, which are exceptional cases of the benefit function defined by Li and Pearl. Furthermore, We provided more simulated use cases of Li-Pearl's unit selection model to help decision-makers apply their model correctly, explaining that A/B test heuristics are generally problematic.


title: A smoothing analysis for multigrid methods applied to tempered fractional problems

abstract: We consider the numerical solution of time-dependent space tempered fractional diffusion equations. The use of Crank-Nicolson in time and of second-order accurate tempered weighted and shifted Gr\"unwald difference in space leads to dense (multilevel) Toeplitz-like linear systems. By exploiting the related structure, we design an ad-hoc multigrid solver and multigrid-based preconditioners, all with weighted Jacobi as smoother. A new smoothing analysis is provided, which refines state-of-the-art results expanding the set of the suitable Jacobi weights. Furthermore, we prove that if a multigrid method is effective in the non-tempered case, then the same multigrid method is effective also in the tempered one. The numerical results confirm the theoretical analysis, showing that the resulting multigrid-based solvers are computationally effective for tempered fractional diffusion equations.


title: Relativistic Gas: Invariant Lorentz Distribution for the velocities

abstract: In 1911, J\"uttner proposed the generalization, for a relativistic gas, of the Maxwell-Boltzmann distribution of velocities. Here we want to discuss, among others, J\"uttner probability density function (PDF). Both the velocity space and, consequently, the momentum space are not flat in special relativity. The velocity space corresponds to the Lobachevsky one, which has a negative curvature. This curvature induces a specific power for the Lorentz factor in the PDF, affecting J\"uttner normalization constant in one, two, and three dimensions. Furthermore, J\"uttner distribution, written in terms of a more convenient variable, the rapidity, presents a curvature change at the origin at sufficiently high energy, which does not agree with our computational dynamics simulations of a relativistic gas. However, in one dimension, the rapidity satisfies a simple additivity law. This allows us to obtain, through the Central Limit Theorem, a new, Lorentz-invariant, PDF whose curvature at the origin does not change for any energy value and which agrees with our computational dynamics simulations data. Also, we perform extensive first-principle simulations of a one-dimensional relativistic gas constituted by light and heavy particles.


title: Multilingual Representation Distillation with Contrastive Learning

abstract: Multilingual sentence representations from large models encode semantic information from two or more languages and can be used for different cross-lingual information retrieval and matching tasks. In this paper, we integrate contrastive learning into multilingual representation distillation and use it for quality estimation of parallel sentences (i.e., find semantically similar sentences that can be used as translations of each other). We validate our approach with multilingual similarity search and corpus filtering tasks. Experiments across different low-resource languages show that our method greatly outperforms previous sentence encoders such as LASER, LASER3, and LaBSE.


title: Real-Time Dynamic Map with Crowdsourcing Vehicles in Edge Computing

abstract: Autonomous driving perceives surroundings with line-of-sight sensors that are compromised under environmental uncertainties. To achieve real time global information in high definition map, we investigate to share perception information among connected and automated vehicles. However, it is challenging to achieve real time perception sharing under varying network dynamics in automotive edge computing. In this paper, we propose a novel real time dynamic map, named LiveMap to detect, match, and track objects on the road. We design the data plane of LiveMap to efficiently process individual vehicle data with multiple sequential computation components, including detection, projection, extraction, matching and combination. We design the control plane of LiveMap to achieve adaptive vehicular offloading with two new algorithms (central and distributed) to balance the latency and coverage performance based on deep reinforcement learning techniques. We conduct extensive evaluation through both realistic experiments on a small-scale physical testbed and network simulations on an edge network simulator. The results suggest that LiveMap significantly outperforms existing solutions in terms of latency, coverage, and accuracy.


title: Not All Errors are Equal: Learning Text Generation Metrics using Stratified Error Synthesis

abstract: Is it possible to build a general and automatic natural language generation (NLG) evaluation metric? Existing learned metrics either perform unsatisfactorily or are restricted to tasks where large human rating data is already available. We introduce SESCORE, a model-based metric that is highly correlated with human judgements without requiring human annotation, by utilizing a novel, iterative error synthesis and severity scoring pipeline. This pipeline applies a series of plausible errors to raw text and assigns severity labels by simulating human judgements with entailment. We evaluate SESCORE against existing metrics by comparing how their scores correlate with human ratings. SESCORE outperforms all prior unsupervised metrics on multiple diverse NLG tasks including machine translation, image captioning, and WebNLG text generation. For WMT 20/21 En-De and Zh-En, SESCORE improve the average Kendall correlation with human judgement from 0.154 to 0.195. SESCORE even achieves comparable performance to the best supervised metric COMET, despite receiving no human-annotated training data.


title: Spatial Name System

abstract: The development of emerging classes of hardware such as Internet of Thing devices and Augmented Reality headsets has outpaced the development of Internet infrastructure. We identify problems with latency, security and privacy in the global hierarchical distributed Domain Name System. To remedy this, we propose the Spatial Name System, an alternative network architecture that relies on the innate physicality of this paradigm. Utilizing a device's pre-existing unique identifier, its location, allows us to identify devices locally based on their physical presence. A naming system tailored to the physical world for ubiquitous computing can enable reliable, low latency, secure and private communication.