title: The poker-chip experiments of synthetic elastomers

abstract: In a recent study, Kumar and Lopez-Pamies (J. Mech. Phys. Solids 150: 104359, 2021) have provided a complete quantitative explanation of the famed poker-chip experiments of Gent and Lindley (Proc. R. Soc. Lond. Ser. A 249: 195--205, 1959) on natural rubber. In a nutshell, making use of the fracture theory of Kumar, Francfort, and Lopez-Pamies (J. Mech. Phys. Solids 112: 523--551, 2018), they have shown that the nucleation of cracks in poker-chip experiments in natural rubber is governed by the strength -- in particular, the hydrostatic strength -- of the rubber, while the propagation of the nucleated cracks is governed by the Griffith competition between the bulk elastic energy of the rubber and its intrinsic fracture energy. The main objective of this paper is to extend the theoretical study of the poker-chip experiment by Kumar and Lopez-Pamies to synthetic elastomers that, as opposed to natural rubber: ($i$) may feature a hydrostatic strength that is larger than their uniaxial and biaxial tensile strengths and ($ii$) do not exhibit strain-induced crystallization. A parametric study, together with direct comparisons with recent poker-chip experiments on a silicone elastomer, show that these two different material characteristics have a profound impact on where and when cracks nucleate, as well as on where and when they propagate. In conjunction with the results put forth earlier for natural rubber, the results presented in this paper provide a complete description and explanation of the poker-chip experiments of elastomers at large. As a second objective, this paper also introduces a new fully explicit constitutive prescription for the driving force that describes the material strength in the fracture theory of Kumar, Francfort, and Lopez-Pamies.


title: A scheme for fully programmable linear quantum networks based on frequency conversion

abstract: Linear optical quantum networks, consisting of a quantum input state and a multi-port interferometer, are an important building block for many quantum technological concepts, e.g., Gaussian boson sampling. Here, we propose the implementation of such networks based on frequency conversion by utilising a so called multi-output quantum pulse gate (mQPG). This approach allows the resource efficient and therefore scalable implementation of frequency-bin based, fully programmable interferometers in a single spatial and polarization mode. Quantum input states for this network can be provided by utilising the strong frequency entanglement of a type-0 parametric down conversion (PDC) source. Here, we develop a theoretical framework to describe linear networks based on a mQPG and PDC and utilize it to investigate the limits and scalabilty of our approach.


title: ForestColl: Efficient Collective Communications on Heterogeneous Network Fabrics

abstract: As modern DNN models grow ever larger, collective communications between the accelerators (allreduce, etc.) emerge as a significant performance bottleneck. Designing efficient communication schedules is challenging given today's highly diverse and heterogeneous network fabrics. In this paper, we present ForestColl, a tool that generates efficient schedules for any network topology. ForestColl constructs broadcast/aggregation spanning trees as the communication schedule, achieving theoretically minimum network congestion. Its schedule generation runs in strongly polynomial time and is highly scalable. ForestColl supports any network fabrics, including both switching fabrics and direct connections, as well as any network graph structure. We evaluated ForestColl on multi-cluster AMD MI250 and NVIDIA A100 platforms. ForestColl's schedules achieved up to 52\% higher performance compared to the vendors' own optimized communication libraries, RCCL and NCCL. ForestColl also outperforms other state-of-the-art schedule generation techniques with both up to 61\% more efficient generated schedules and orders of magnitude faster schedule generation speed.


title: Magnetic field-temperature phase diagram of spin-1/2 triangular lattice antiferromagnet KYbSe$_2$

abstract: A quantum spin liquid (QSL) is a state of matter characterized by fractionalized quasiparticle excitations, quantum entanglement, and a lack of long-range magnetic order. However, QSLs have evaded definitive experimental observation. Several Yb$^{3+}$-based triangular lattice antiferromagnets with effective $S$ = $\frac{1}{2}$ have been suggested to stabilize the QSL state as the ground state. Here, we build a comprehensive magnetic temperature phase diagram of a high-quality single crystalline KYbSe$_2$ via heat capacity and magnetocaloric effect down to 30 mK with magnetic field applied along the $a$-axis. At zero magnetic field, we observe the magnetic long-range order at $T_N$ = 0.29 K entering 120 degrees ordered state in heat capacity, consistent with neutron scattering studies. Analysis of the low-temperature ($T$) specific heat ($C$) at zero magnetic field indicates linear $T$-dependence of $C/T$ and a broad hump of $C/T$ in the proximate QSL region above $T_N$. By applying magnetic field, we observe the up-up-down phase with 1/3 magnetization plateau and oblique phases, in addition to two new phases. These observations strongly indicate that while KYbSe$_2$ closely exhibits characteristics resembling an ideal triangular lattice, deviations may exist, such as the effect of the next-nearest-neighbor exchange interaction, calling for careful consideration for spin Hamiltonian modeling. Further investigations into tuning parameters, such as chemical pressure, could potentially induce an intriguing QSL phase in the material.


title: ELM-free Enhanced D{\alpha} H-mode with Near Zero NBI Torque Injection in DIII-D Tokamak

abstract: Enhanced $D_{\alpha}$ H-mode (EDA H-mode), an ELM-free H-mode regime, is explored in neutral beam heated, lower single null plasmas with near zero torque injection. This regime exhibits a good energy confinement ($\mathrm{H}_{\mathrm{98y2}}$ $\sim 1$) with $\beta_N \sim 2$, high density, regime access at low input power, and no ELMs. This paper further presents the time-resolved measurements of electron and ion density, temperature, plasma rotation, and radial electric field during the EDA H-mode phase and examines the dynamics of the edge quasi-coherent mode (QCM). Measurements using multiple fluctuation diagnostics reveal the QCM to be a separatrix spanning mode, peaking just inside the separatrix, existing in a wide range of $k_{\perp}\rho_s \sim 0.1-1.2$ with multiple harmonics, and propagating with a very small phase velocity in the plasma frame, where $k_{\perp}$ is the binormal wavenumber and $\rho_s$ is the ion sound radius. Linear gyrokinetic simulations of an EDA H-mode discharge with CGYRO indicates that the trapped electron mode (TEM) and electron temperature gradient (ETG) are dominant instabilities in the region where QCM is unstable. Qualitative analysis indicates that the properties of TEM are consistent with the experimental observed characteristics of the QCM. These similarities suggest that the QCM might be a TEM instability existing in the edge region of the EDA H-mode plasmas.


title: Towards Robotic Companions: Understanding Handler-Guide Dog Interactions for Informed Guide Dog Robot Design

abstract: Dog guides are favored by blind and low-vision (BLV) individuals for their ability to enhance independence and confidence by reducing safety concerns and increasing navigation efficiency compared to traditional mobility aids. However, only a relatively small proportion of BLV individuals work with dog guides due to their limited availability and associated maintenance responsibilities. There is considerable recent interest in addressing this challenge by developing legged guide dog robots. This study was designed to determine critical aspects of the handler-guide dog interaction and better understand handler needs to inform guide dog robot development. We conducted semi-structured interviews and observation sessions with 23 dog guide handlers and 5 trainers. Thematic analysis revealed critical limitations in guide dog work, desired personalization in handler-guide dog interaction, and important perspectives on future guide dog robots. Grounded on these findings, we discuss pivotal design insights for guide dog robots aimed for adoption within the BLV community.


title: On numerical diameters and linear maps

abstract: This paper studies the diameter of the numerical range of bounded operators on Hilbert space and the induced seminorm, called the numerical diameter, on bounded linear maps between operator systems which is sensible in the case of unital maps and their scalar multiples. It is shown that the completely bounded numerical diameter is a norm that is comparable but not equal to the completely bounded norm. This norm is particularly interesting in the case of unital completely positive maps and their sections.


title: Resonances involving integer magnons and spin-1/2 excitations in a magnetism modulated two-dimensional electron gas

abstract: We conduct an experimental study of high-mobility two-dimensional electron gas (2DEG) in GaAs/AlGaAs quantum wells modulated by strong magnetism at an in-plane magnetic field ($B$). The modulated $B$-fields are performed via the single stripe and gratings which are made of the heavy rare earth metal Terbium (Tb) thin films on the sample surface. The robust ferromagnetic resonances (FMRs) persist to the temperature of 50-70 K in both the stripe and grating samples, for the ferromagnetism (FM) phase of Tb exists at above 100 K. The high-order (with integer numbers of $j \equiv \hbar\omega/g\mu_{B}B = 1, 2,$...) magnetic resonances can also be observed in the stripe structure via the microwave (MW) photovoltaic detection and magnetoresistance under microwave irradiation. In addition, the resonance features around $j = 1/2$ are robust in the single-stripe modulated sample, which suggests the spinons with spin-1/2 collective excitations in a 1D Heisenberg model.


title: Convection and Stratification of Temperature and Concentration

abstract: The paper is devoted to the study of natural convection and the formation of delamination in an incompressible liquid due to convective laminar flows in a closed region heated from the side. Weak, medium and intensive modes of stationary laminar thermal, concentration and hemoconcentration (thermohaline) convection are considered, in which nonlinear flow features are manifested that can radically change the flow structure and characteristics of heat and mass transfer. Nonmonotonic dependences of temperature and concentration segregation in the center of the square region on the Grashof number (an intensity of flow) were found. The features of the formation of a nonstationary periodic structure of thermal convection in boundary layers and in the core of a convective flow in a closed region are shown. Details of the formation of countercurrents inside the region with the direction opposite to the main convective flow are given. The influence of vertical and horizontal vibrations on oscillatory convection is shown.


title: Is it safe to cross? Interpretable Risk Assessment with GPT-4V for Safety-Aware Street Crossing

abstract: Safely navigating street intersections is a complex challenge for blind and low-vision individuals, as it requires a nuanced understanding of the surrounding context - a task heavily reliant on visual cues. Traditional methods for assisting in this decision-making process often fall short, lacking the ability to provide a comprehensive scene analysis and safety level. This paper introduces an innovative approach that leverages large multimodal models (LMMs) to interpret complex street crossing scenes, offering a potential advancement over conventional traffic signal recognition techniques. By generating a safety score and scene description in natural language, our method supports safe decision-making for the blind and low-vision individuals. We collected crosswalk intersection data that contains multiview egocentric images captured by a quadruped robot and annotated the images with corresponding safety scores based on our predefined safety score categorization. Grounded on the visual knowledge, extracted from images, and text prompt, we evaluate a large multimodal model for safety score prediction and scene description. Our findings highlight the reasoning and safety score prediction capabilities of a LMM, activated by various prompts, as a pathway to developing a trustworthy system, crucial for applications requiring reliable decision-making support.


title: Squidgets: Sketch-based Widget Design and Direct Manipulation of 3D Scene

abstract: Squidgets or 'sketch-widgets' is a novel stroke-based UI framework for direct scene manipulation. Squidgets is motivated by the observation that sketch strokes comprising visual abstractions of scene elements implicitly provide natural handles for the direct manipulation of scene parameters. Configurations of such strokes can further be explicitly drawn by users to author custom widgets associated with scene attributes. Users manipulate a scene by simply drawing strokes: a squidget is selected by partially matching the drawn stroke against both implicit scene contours and explicitly authored curves, and used in-situ to interactively control scene parameters associated with the squidget. We present an implementation of squidgets within the 3D modeling animation system Maya, and report on an evaluation of squidget creation and manipulation, by both casual users and professional artists.


title: Ir-Sb Binary System: Unveiling Nodeless Unconventional Superconductivity Proximate to Honeycomb-Vacancy Ordering

abstract: Vacancies play a crucial role in solid-state physics, but their impact on materials with strong electron-electron correlations has been underexplored. A recent study on the Ir-Sb binary system, Ir$_{16}$Sb$_{18}$ revealed a novel extended buckled-honeycomb vacancy (BHV) order. Superconductivity is induced by suppressing the BHV ordering through high-pressure growth with excess Ir atoms or isovalent Rh substitution, although the nature of superconducting pairing has remained unexplored. Here, we conduct muon spin rotation experiments probing the temperature-dependence of the effective magnetic penetration depth $\lambda_{eff}\left(T\right)$ in Ir$_{1-{\delta}}$Sb (synthesized at 5.5 GPa with $T_{\rm c}$ = 4.2 K) and ambient pressure synthesized optimally Rh-doped Ir$_{1-x}$Rh$_{x}$Sb ($x$=0.3, $T_{\rm c}$ = 2.7 K). The exponential temperature dependence of the superfluid density $n_{\rm s}$/m$^{*}$ at low temperatures indicates a fully gapped superconducting state in both samples. Notably, the ratio of $T_{\rm c}$ to the superfluid density is comparable to previously measured unconventional superconductors. A significant increase in $n_{\rm s}$/m$^{*}$ in the high-pressure synthesized sample correlates with $T_{\rm c}$, a hallmark feature of unconventional superconductivity. We further demonstrate a similar effect induced by chemical pressure (Rh substitution) and hydrostatic pressure in Ir$_{1-x}$Rh$_{x}$Sb, highlighting that the dome-shaped phase diagram is a fundamental feature of the material. These findings underscore the unconventional nature of the observed superconductivity, and classifies IrSb as the first unconventional superconducting parent phase with ordered vacancies.


title: The Influence of Chemical Strains on the Electrocaloric Response, Polarization Morphology, Tetragonality and Negative Capacitance Effect of Ferroelectric Core-Shell Nanorods and Nanowires

abstract: Using Landau-Ginzburg-Devonshire (LGD) approach we proposed the analytical description of the chemical strains influence on the spontaneous polarization and electrocaloric response in ferroelectric core-shell nanorods. We postulate that the nanorod core presents a defect-free single-crystalline ferroelectric material, and the elastic defects are accumulated in the ultra-thin shell, where they can induce tensile or compressive chemical strains. The finite element modeling (FEM) based on the LGD approach reveals transitions of domain structure morphology induced by the chemical strains in the BaTiO3 nanorods. Namely, tensile chemical strains induce and support the single-domain state in the central part of the nanorod, while the curled domain structures appear near the unscreened or partially screened ends of the rod. The vortex-like domains propagate toward the central part of the rod and fill it entirely, when the rod is covered by a shell with compressive chemical strains above some critical value. The critical value depends on the nanorod sizes, aspect ratio, and screening conditions at its ends. Both analytical theory and FEM predict that the tensile chemical strains in the shell increase the nanorod polarization, lattice tetragonality, and electrocaloric response well-above the values corresponding to the bulk material. The physical reason of the increase is the strong electrostriction coupling between the mismatch-type elastic strains induced in the core by the chemical strains in the shell. Comparison with the earlier XRD data confirmed an increase of tetragonality ratio in tensiled BaTiO3 nanorods compared to the bulk material.


title: Reasoning Grasping via Multimodal Large Language Model

abstract: Despite significant progress in robotic systems for operation within human-centric environments, existing models still heavily rely on explicit human commands to identify and manipulate specific objects. This limits their effectiveness in environments where understanding and acting on implicit human intentions are crucial. In this study, we introduce a novel task: reasoning grasping, where robots need to generate grasp poses based on indirect verbal instructions or intentions. To accomplish this, we propose an end-to-end reasoning grasping model that integrates a multi-modal Large Language Model (LLM) with a vision-based robotic grasping framework. In addition, we present the first reasoning grasping benchmark dataset generated from the GraspNet-1 billion, incorporating implicit instructions for object-level and part-level grasping, and this dataset will soon be available for public access. Our results show that directly integrating CLIP or LLaVA with the grasp detection model performs poorly on the challenging reasoning grasping tasks, while our proposed model demonstrates significantly enhanced performance both in the reasoning grasping benchmark and real-world experiments.


title: Modeling of Condensations in Coronal Loops Produced by Impulsive Heating

abstract: We present the results of models of impulsively heated coronal loops using the 1-D hydrodynamic Adaptively Refined Godunov Solver (ARGOS) code. The impulsive heating events (which we refer to as "nanoflares") are modeled by discrete pulses of energy along the loop. We explore the occurrence of cold condensations due to the effective equivalent of thermal non-equilibrium (TNE) in loops with steady heating, and examine its dependence on nanoflare timing and intensity and also nanoflare location along the loop, including randomized distributions of nanoflares. We find that randomizing nanoflare distributions, both in time/intensity and location, diminishes the likelihood of condensations as compared to distributions with regularly occurring nanoflares with the same average properties. The usual criteria that condensations are favored for heating near loop footpoints and with high cadences are more strict for randomized (as opposed to regular) nanoflare distributions, and for randomized distributions the condensations stay in the loop for a shorter amount of time. That said, condensations can sometimes occur in cases where the average values of parameters (frequency or location) are beyond the critical limits above which condensations do not occur for corresponding steady, non-randomized values of those parameters. These properties of condensations occurring due to randomized heating can be used in the future to investigate diagnostics of coronal heating mechanisms.


title: Generative Nowcasting of Marine Fog Visibility in the Grand Banks area and Sable Island in Canada

abstract: This study presents the application of generative deep learning techniques to evaluate marine fog visibility nowcasting using the FATIMA (Fog and turbulence interactions in the marine atmosphere) campaign observations collected during July 2022 in the North Atlantic in the Grand Banks area and vicinity of Sable Island (SI), northeast of Canada. The measurements were collected using the Vaisala Forward Scatter Sensor model FD70 and Weather Transmitter model WXT50, and Gill R3A ultrasonic anemometer mounted on the Research Vessel Atlantic Condor. To perform nowcasting, the time series of fog visibility (Vis), wind speed, dew point depression, and relative humidity with respect to water were preprocessed to have lagged time step features. Generative nowcasting of Vis time series for lead times of 30 and 60 minutes were performed using conditional generative adversarial networks (cGAN) regression at visibility thresholds of Vis < 1 km and < 10 km. Extreme gradient boosting (XGBoost) was used as a baseline method for comparison against cGAN. At the 30 min lead time, Vis was best predicted with cGAN at Vis < 1 km (RMSE = 0.151 km) and with XGBoost at Vis < 10 km (RMSE = 2.821 km). At the 60 min lead time, Vis was best predicted with XGBoost at Vis < 1 km (RMSE = 0.167 km) and Vis < 10 km (RMSE = 3.508 km), but the cGAN RMSE was similar to XGBoost. Despite nowcasting Vis at 30 min being quite difficult, the ability of the cGAN model to track the variation in Vis at 1 km suggests that there is potential for generative analysis of marine fog visibility using observational meteorological parameters.


title: Fingerprinting New York City's Scaffolding Problem with Longitudinal Dashcam Data

abstract: Scaffolds, also called sidewalk sheds, are intended to be temporary structures to protect pedestrians from construction and repair hazards. However, some sidewalk sheds are left up for years. Long-term scaffolding becomes eyesores, creates accessibility issues on sidewalks, and gives cover to illicit activity. Today, there are over 8,000 active permits for scaffolds in NYC; the more problematic scaffolds are likely expired or unpermitted. This research uses computer vision on street-level imagery to develop a longitudinal map of scaffolding throughout the city. Using a dataset of 29,156,833 dashcam images taken between August 2023 and January 2024, we develop an algorithm to track the presence of scaffolding over time. We also design and implement methods to match detected scaffolds to reported locations of active scaffolding permits, enabling the identification of sidewalk sheds without corresponding permits. We identify 850,766 images of scaffolding, tagging 5,156 active sidewalk sheds and estimating 529 unpermitted sheds. We discuss the implications of an in-the-wild scaffolding classifier for urban tech, innovations to governmental inspection processes, and out-of-distribution evaluations outside of New York City.


title: Capturing the slow relaxation time of superparamagnetic colloids in time-varying fields

abstract: Superparamagnetic colloids present interesting assembly dynamics and propulsion in time-varying magnetic fields due to their magnetic relaxation. However, little is known about the mechanisms governing this magnetic relaxation, which is commonly attributed to the interactions and polydispersity of the ferromagnetic nanoparticles distributed within the colloid. We measure this relaxation from the effective potential between colloids subjected to rotating magnetic fields. Remarkably, our results indicate the presence of magnetic relaxation times much longer than what has been reported, which furthers our understanding of the magnetization of colloids in complex magnetic fields.


title: On graphs with well-distributed edge density

abstract: In this paper, we introduce a class of graphs which we call average hereditary graphs. Most graphs that occur in the usual graph theory applications belong to this class of graphs. Many popular types of graphs fall under this class, such as regular graphs, trees and other popular classes of graphs. We prove a new upper bound for the chromatic number of a graph in terms of its maximum average degree and show that this bound is an improvement on previous bounds. From this, we show a relationship between the average degree and the chromatic number of an average hereditary graph. This class of graphs is explored further by proving some interesting properties regarding the class of average hereditary graphs. An equivalent condition is provided for a graph to be average hereditary, through which we show that we can decide if a given graph is average hereditary in polynomial time. We then provide a construction for average hereditary graphs, using which an average hereditary graph can be recursively constructed. We also show that this class of graphs is closed under a binary operation, from this another construction is obtained for average hereditary graphs, and we see some interesting algebraic properties this class of graphs has. We then explore the effect on the complexity of graph 3-coloring problem when the input is restricted to average hereditary graphs.


title: Efficient Gravitational-Wave Model for Fully-Precessing and Moderately-Eccentric, Compact Binary Inspirals

abstract: Future gravitational-wave detectors, especially the Laser Interferometer Space Antenna (LISA), will be sensitive to black hole binaries formed in astrophysical environments that promote large eccentricities and spin precession. Gravitational-wave templates that include both effects have only recently begun to be developed. The Efficient Fully Precessing Eccentric (EFPE) family is one such model, covering the inspiral stage with small-eccentricity-expanded gravitational-wave amplitudes accurate for eccentricities $e < 0.3$. In this work, we extend this model to cover a larger range of eccentricities. The new EFPE_ME model is able to accurately represent the leading-order gravitational-wave amplitudes to $e \leq 0.8$. Comparing the EFPE and the EFPE_ME models in the LISA band, however, reveals that there is no significant difference when $e_0 \leq 0.5$ for binaries at 4 years before merger, as radiation reaction circularizes supermassive black hole binaries too quickly. This suggests that the EFPE model may have a larger regime of validity in eccentricity space than previously thought, making it suitable for some inspiral parameter estimation with LISA data. On the other hand, for systems with $e_0 > 0.5$, the deviations between the models are significant, particularly for binaries with total masses below $10^5\, \mathrm{M}_{\odot}$. This suggests that the EFPE_ME model will be crucial to avoid systematic bias in parameter estimation with LISA in the future, once this model has been hybridized to include the merger and ringdown.


title: Event-to-Video Conversion for Overhead Object Detection

abstract: Collecting overhead imagery using an event camera is desirable due to the energy efficiency of the image sensor compared to standard cameras. However, event cameras complicate downstream image processing, especially for complex tasks such as object detection. In this paper, we investigate the viability of event streams for overhead object detection. We demonstrate that across a number of standard modeling approaches, there is a significant gap in performance between dense event representations and corresponding RGB frames. We establish that this gap is, in part, due to a lack of overlap between the event representations and the pre-training data used to initialize the weights of the object detectors. Then, we apply event-to-video conversion models that convert event streams into gray-scale video to close this gap. We demonstrate that this approach results in a large performance increase, outperforming even event-specific object detection techniques on our overhead target task. These results suggest that better alignment between event representations and existing large pre-trained models may result in greater short-term performance gains compared to end-to-end event-specific architectural improvements.


title: Systematic Assessment of Tabular Data Synthesis Algorithms

abstract: Data synthesis has been advocated as an important approach for utilizing data while protecting data privacy. A large number of tabular data synthesis algorithms (which we call synthesizers) have been proposed. Some synthesizers satisfy Differential Privacy, while others aim to provide privacy in a heuristic fashion. A comprehensive understanding of the strengths and weaknesses of these synthesizers remains elusive due to drawbacks in evaluation metrics and missing head-to-head comparisons of newly developed synthesizers that take advantage of diffusion models and large language models with state-of-the-art marginal-based synthesizers. In this paper, we present a systematic evaluation framework for assessing tabular data synthesis algorithms. Specifically, we examine and critique existing evaluation metrics, and introduce a set of new metrics in terms of fidelity, privacy, and utility to address their limitations. Based on the proposed metrics, we also devise a unified objective for tuning, which can consistently improve the quality of synthetic data for all methods. We conducted extensive evaluations of 8 different types of synthesizers on 12 real-world datasets and identified some interesting findings, which offer new directions for privacy-preserving data synthesis.


title: Quantitative relaxation towards equilibrium for solutions to the Boltzmann-Fermi-Dirac equation with cutoff hard potentials

abstract: We provide the first quantitative result of convergence to equilibrium in the context of the spatially homogeneous Boltzmann-Fermi-Dirac equation associated to hard potentials interactions under angular cut-off assumption, providing an explicit - algebraic - rate of convergence to Fermi-Dirac steady solutions. This result complements the quantitative convergence result of Liu and Lu and is based upon new uniform-in-time-and-$\varepsilon$ $L^{\infty}$ bound on the solutions.


title: Explain Variance of Prediction in Variational Time Series Models for Clinical Deterioration Prediction

abstract: Missingness and measurement frequency are two sides of the same coin. How frequent should we measure clinical variables and conduct laboratory tests? It depends on many factors such as the stability of patient conditions, diagnostic process, treatment plan and measurement costs. The utility of measurements varies disease by disease, patient by patient. In this study we propose a novel view of clinical variable measurement frequency from a predictive modeling perspective, namely the measurements of clinical variables reduce uncertainty in model predictions. To achieve this goal, we propose variance SHAP with variational time series models, an application of Shapley Additive Expanation(SHAP) algorithm to attribute epistemic prediction uncertainty. The prediction variance is estimated by sampling the conditional hidden space in variational models and can be approximated deterministically by delta's method. This approach works with variational time series models such as variational recurrent neural networks and variational transformers. Since SHAP values are additive, the variance SHAP of binary data imputation masks can be directly interpreted as the contribution to prediction variance by measurements. We tested our ideas on a public ICU dataset with deterioration prediction task and study the relation between variance SHAP and measurement time intervals.


title: Domain Adaptation Using Pseudo Labels

abstract: In the absence of labeled target data, unsupervised domain adaptation approaches seek to align the marginal distributions of the source and target domains in order to train a classifier for the target. Unsupervised domain alignment procedures are category-agnostic and end up misaligning the categories. We address this problem by deploying a pretrained network to determine accurate labels for the target domain using a multi-stage pseudo-label refinement procedure. The filters are based on the confidence, distance (conformity), and consistency of the pseudo labels. Our results on multiple datasets demonstrate the effectiveness of our simple procedure in comparison with complex state-of-the-art techniques.


title: Evaluating Co-Creativity using Total Information Flow

abstract: Co-creativity in music refers to two or more musicians or musical agents interacting with one another by composing or improvising music. However, this is a very subjective process and each musician has their own preference as to which improvisation is better for some context. In this paper, we aim to create a measure based on total information flow to quantitatively evaluate the co-creativity process in music. In other words, our measure is an indication of how "good" a creative musical process is. Our main hypothesis is that a good musical creation would maximize information flow between the participants captured by music voices recorded in separate tracks. We propose a method to compute the information flow using pre-trained generative models as entropy estimators. We demonstrate how our method matches with human perception using a qualitative study.

categories: cs.SD cs.AI cs.HC cs.IT cs.LG eess.AS math.IT


title: Discipline and Label: A WEIRD Genealogy and Social Theory of Data Annotation

abstract: Data annotation remains the sine qua non of machine learning and AI. Recent empirical work on data annotation has begun to highlight the importance of rater diversity for fairness, model performance, and new lines of research have begun to examine the working conditions for data annotation workers, the impacts and role of annotator subjectivity on labels, and the potential psychological harms from aspects of annotation work. This paper outlines a critical genealogy of data annotation; starting with its psychological and perceptual aspects. We draw on similarities with critiques of the rise of computerized lab-based psychological experiments in the 1970's which question whether these experiments permit the generalization of results beyond the laboratory settings within which these results are typically obtained. Do data annotations permit the generalization of results beyond the settings, or locations, in which they were obtained? Psychology is overly reliant on participants from Western, Educated, Industrialized, Rich, and Democratic societies (WEIRD). Many of the people who work as data annotation platform workers, however, are not from WEIRD countries; most data annotation workers are based in Global South countries. Social categorizations and classifications from WEIRD countries are imposed on non-WEIRD annotators through instructions and tasks, and through them, on data, which is then used to train or evaluate AI models in WEIRD countries. We synthesize evidence from several recent lines of research and argue that data annotation is a form of automated social categorization that risks entrenching outdated and static social categories that are in reality dynamic and changing. We propose a framework for understanding the interplay of the global social conditions of data annotation with the subjective phenomenological experience of data annotation work.


title: A Kalman Filter Based Framework for Monitoring the Performance of In-Hospital Mortality Prediction Models Over Time

abstract: Unlike in a clinical trial, where researchers get to determine the least number of positive and negative samples required, or in a machine learning study where the size and the class distribution of the validation set is static and known, in a real-world scenario, there is little control over the size and distribution of incoming patients. As a result, when measured during different time periods, evaluation metrics like Area under the Receiver Operating Curve (AUCROC) and Area Under the Precision-Recall Curve(AUCPR) may not be directly comparable. Therefore, in this study, for binary classifiers running in a long time period, we proposed to adjust these performance metrics for sample size and class distribution, so that a fair comparison can be made between two time periods. Note that the number of samples and the class distribution, namely the ratio of positive samples, are two robustness factors which affect the variance of AUCROC. To better estimate the mean of performance metrics and understand the change of performance over time, we propose a Kalman filter based framework with extrapolated variance adjusted for the total number of samples and the number of positive samples during different time periods. The efficacy of this method is demonstrated first on a synthetic dataset and then retrospectively applied to a 2-days ahead in-hospital mortality prediction model for COVID-19 patients during 2021 and 2022. Further, we conclude that our prediction model is not significantly affected by the evolution of the disease, improved treatments and changes in hospital operational plans.


title: A Strong Form of the Quantitative Wulff Inequality for Crystalline Norms

abstract: Quantitative stability for crystalline anisotropic perimeters, with control on the oscillation of the boundary with respect to the corresponding Wulff shape, is proven for $n\geq 3$. This extends a result of [Neu16] in $n=2$.


title: High-Rate Fair-Density Parity-Check Codes

abstract: We introduce fair-density parity-check (FDPC) codes targeting high-rate applications. In particular, we start with a base parity-check matrix $H_b$ of dimension $2 \sqrt{n} \times n$, where $n$ is the code block length, and the number of ones in each row and column of $H_b$ is equal to $\sqrt{n}$ and $2$, respectively. We propose a deterministic combinatorial method for picking the base matrix $H_b$, assuming $n=4t^2$ for some integer $t \geq 2$. We then extend this by obtaining permuted versions of $H_b$ (e.g., via random permutations of its columns) and stacking them on top of each other leading to codes of dimension $k \geq n-2s\sqrt{n}+s$, for some $s \geq 2$, referred to as order-$s$ FDPC codes. We propose methods to explicitly characterize and bound the weight distribution of the new codes and utilize them to derive union-type approximate upper bounds on their error probability under Maximum Likelihood (ML) decoding. For the binary erasure channel (BEC), we demonstrate that the approximate ML bound of FDPC codes closely follows the random coding upper bound (RCU) for a wide range of channel parameters. Also, remarkably, FDPC codes, under the low-complexity min-sum decoder, improve upon 5G-LDPC codes for transmission over the binary-input additive white Gaussian noise (B-AWGN) channel by almost 0.5dB (for $n=1024$, and rate $=0.878$). Furthermore, we propose a new decoder as a combination of weighted min-sum message-passing (MP) decoding algorithm together with a new progressive list (PL) decoding component, referred to as the MP-PL decoder, to further boost the performance of FDPC codes. This paper opens new avenues for a fresh investigation of new code constructions and decoding algorithms in high-rate regimes suitable for ultra-high throughput (high-frequency/optical) applications.


title: Estimating Player Performance in Different Contexts Using Fine-tuned Large Events Models

abstract: This paper introduces an innovative application of Large Event Models (LEMs), akin to Large Language Models, to the domain of soccer analytics. By learning the language of soccer - predicting variables for subsequent events rather than words - LEMs facilitate the simulation of matches and offer various applications, including player performance prediction across different team contexts. We focus on fine-tuning LEMs with the WyScout dataset for the 2017-2018 Premier League season to derive specific insights into player contributions and team strategies. Our methodology involves adapting these models to reflect the nuanced dynamics of soccer, enabling the evaluation of hypothetical transfers. Our findings confirm the effectiveness and limitations of LEMs in soccer analytics, highlighting the model's capability to forecast teams' expected standings and explore high-profile scenarios, such as the potential effects of transferring Cristiano Ronaldo or Lionel Messi to different teams in the Premier League. This analysis underscores the importance of context in evaluating player quality. While general metrics may suggest significant differences between players, contextual analyses reveal narrower gaps in performance within specific team frameworks.


title: Restored quantum size effects of Pb overlayers at high coverages

abstract: Abnormally large stability of Pb nanostructures grown on metallic or semiconductor substrates has been observed even for heights of about 30 monolayers. Using both density-functional theory calculations and analytical models, we demonstrate that the stability at even higher coverages (N>30 ML) is supported by an extra second quantum beat pattern in the energetics of the metal film as a function of the number of atomic layers. This pattern is triggered by the butterflylike shape of the Fermi surface of lead in the (111) direction and supports the detection of stable magic islands of higher heights than measured up to now.


title: Linear response theory for light dark matter-electron scattering in materials

abstract: We combine the non-relativistic effective theory of dark matter (DM) - electron interactions with linear response theory to obtain a formalism that fully accounts for screening and collective excitations in DM-induced electronic transition rate calculations for general DM-electron interactions. In the same way that the response of a dielectric material to an external electric field in electrodynamics is described by the dielectric function, so in our formalism the response of a detector material to a DM perturbation is described by a set of generalised susceptibilities which can be directly related to densities and currents arising from the non-relativistic expansion of the Dirac Hamiltonian. We apply our formalism to assess the sensitivity of non-spin-polarised detectors, and find that in-medium effects significantly affect the experimental sensitivity if DM couples to the detector's electron density, while being decoupled from other densities and currents. Our formalism can be straightforwardly extended to the case of spin-polarised materials.


title: Towards a Systematic Approach to Design New Ensemble Learning Algorithms

abstract: Ensemble learning has been a focal point of machine learning research due to its potential to improve predictive performance. This study revisits the foundational work on ensemble error decomposition, historically confined to bias-variance-covariance analysis for regression problems since the 1990s. Recent advancements introduced a "unified theory of diversity," which proposes an innovative bias-variance-diversity decomposition framework. Leveraging this contemporary understanding, our research systematically explores the application of this decomposition to guide the creation of new ensemble learning algorithms. Focusing on regression tasks, we employ neural networks as base learners to investigate the practical implications of this theoretical framework. This approach used 7 simple ensemble methods, we name them strategies, for neural networks that were used to generate 21 new ensemble algorithms. Among these, most of the methods aggregated with the snapshot strategy, one of the 7 strategies used, showcase superior predictive performance across diverse datasets w.r.t. the Friedman rank test with the Conover post-hoc test. Our systematic design approach contributes a suite of effective new algorithms and establishes a structured pathway for future ensemble learning algorithm development.


title: Monitored Markov Decision Processes

abstract: In reinforcement learning (RL), an agent learns to perform a task by interacting with an environment and receiving feedback (a numerical reward) for its actions. However, the assumption that rewards are always observable is often not applicable in real-world problems. For example, the agent may need to ask a human to supervise its actions or activate a monitoring system to receive feedback. There may even be a period of time before rewards become observable, or a period of time after which rewards are no longer given. In other words, there are cases where the environment generates rewards in response to the agent's actions but the agent cannot observe them. In this paper, we formalize a novel but general RL framework - Monitored MDPs - where the agent cannot always observe rewards. We discuss the theoretical and practical consequences of this setting, show challenges raised even in toy environments, and propose algorithms to begin to tackle this novel setting. This paper introduces a powerful new formalism that encompasses both new and existing problems and lays the foundation for future research.


title: Forecasting Events in Soccer Matches Through Language

abstract: This paper introduces an approach to predicting the next event in a soccer match, a challenge bearing remarkable similarities to the problem faced by Large Language Models (LLMs). Unlike other methods that severely limit event dynamics in soccer, often abstracting from many variables or relying on a mix of sequential models, our research proposes a novel technique inspired by the methodologies used in LLMs. These models predict a complete chain of variables that compose an event, significantly simplifying the construction of Large Event Models (LEMs) for soccer. Utilizing deep learning on the publicly available WyScout dataset, the proposed approach notably surpasses the performance of previous LEM proposals in critical areas, such as the prediction accuracy of the next event type. This paper highlights the utility of LEMs in various applications, including match prediction and analytics. Moreover, we show that LEMs provide a simulation backbone for users to build many analytics pipelines, an approach opposite to the current specialized single-purpose models. LEMs represent a pivotal advancement in soccer analytics, establishing a foundational framework for multifaceted analytics pipelines through a singular machine-learning model.


title: The Complexity of Promise Constraint Satisfaction Problem Seen from the Other Side

abstract: We introduce the framework of the left-hand side restricted promise constraint satisfaction problem, which includes problems like approximating clique number of a graph. We study the parameterized complexity of problems in this class and provide some initial results. The main technical contribution is a sufficient condition for W[1]-hardness which, in particular, covers left-hand side restricted bounded arity CSPs.


title: A fuzzy framework for unraveling experiential tourism value

abstract: There is currently a growing interest in the study of sustainable tourism experiences. Although the main dimensions of tourism experiences are known, the assessment of attractions as a key component in sustainable tourism design has seen little research. This gap stems from two primary challenges: firstly, the complexity of each tourism destination, which makes use of heterogeneous scales of evaluation; and secondly, the subjective nature of tourism experiences that requires qualitative measurement scales and assessment. To overcome these shortcomings, a new methodology based on fuzzy numbers is proposed, consisting of a scale normalization stage, followed by an aggregation of the fuzzy numbers that can be integrated into a Geographical Information System. This technique is tested on the quantification of the tourism value of attractions for sustainable experience in Santiago de Cuba.


title: Finding the Best Route During the Pandemic Disease

abstract: In this article, we try to find the best routes during the pandemic so that the probability of contracting the disease is the lowest. According to the results of this article, we can design software to find the best route.


title: Beating bandwidth limits for large aperture broadband nano-optics

abstract: Flat optics have been proposed as an attractive approach for the implementation of new imaging and sensing modalities to replace and augment refractive optics. However, chromatic aberrations impose fundamental limitations on diffractive flat optics. As such, true broadband high-quality imaging has thus far been out of reach for low f-number, large aperture, flat optics. In this work, we overcome these intrinsic fundamental limitations, achieving broadband imaging in the visible wavelength range with a flat meta-optic, co-designed with computational reconstruction. We derive the necessary conditions for a broadband, 1 cm aperture, f/2 flat optic, with a diagonal field of view of 30{\deg} and an average system MTF contrast of 30% or larger for a spatial frequency of 100 lp/mm in the visible band (> 50 % for 70 lp/mm and below). Finally, we use a coaxial, dual-aperture system to train the broadband imaging meta-optic with a learned reconstruction method operating on pair-wise captured imaging data. Fundamentally, our work challenges the entrenched belief of the inability of capturing high-quality, full-color images using a single large aperture meta-optic.


title: Improved Generalizability of CNN Based Lane Detection in Challenging Weather Using Adaptive Preprocessing Parameter Tuning

abstract: Ensuring the robustness of lane detection systems is essential for the reliability of autonomous vehicles, particularly in the face of diverse weather conditions. While numerous algorithms have been proposed, addressing challenges posed by varying weather remains an ongoing issue. Geometric-based lane detection methods, rooted in the inherent properties of road geometry, provide enhanced generalizability. However, these methods often require manual parameter tuning to accommodate it fluctuating illumination and weather conditions. Conversely, learning-based approaches, trained on pre-labeled datasets, excel in localizing intricate and curved lane configurations but grapple with the absence of diverse weather datasets. This paper introduces a promising hybrid approach that merges the strengths of both methodologies. A novel adaptive preprocessing method is proposed in this work. Utilizing a fuzzy inference system (FIS), the algorithm dynamically adjusts parameters in geometric-based image processing functions and enhances adaptability to diverse weather conditions. Notably, this preprocessing algorithm is designed to seamlessly integrate with all learning-based lane detection models. When implemented in conjunction with CNN-based models, the hybrid approach demonstrates commendable generalizability across weather conditions and adaptability to complex lane configurations. Rigorous testing on datasets featuring challenging weather conditions showcases the proposed method's significant improvements over existing models, underscoring its efficacy in addressing the persistent challenges associated with lane detection in adverse weather scenarios.


title: Neural Rendering based Urban Scene Reconstruction for Autonomous Driving

abstract: Dense 3D reconstruction has many applications in automated driving including automated annotation validation, multimodal data augmentation, providing ground truth annotations for systems lacking LiDAR, as well as enhancing auto-labeling accuracy. LiDAR provides highly accurate but sparse depth, whereas camera images enable estimation of dense depth but noisy particularly at long ranges. In this paper, we harness the strengths of both sensors and propose a multimodal 3D scene reconstruction using a framework combining neural implicit surfaces and radiance fields. In particular, our method estimates dense and accurate 3D structures and creates an implicit map representation based on signed distance fields, which can be further rendered into RGB images, and depth maps. A mesh can be extracted from the learned signed distance field and culled based on occlusion. Dynamic objects are efficiently filtered on the fly during sampling using 3D object detection models. We demonstrate qualitative and quantitative results on challenging automotive scenes.


title: RAMP: Boosting Adversarial Robustness Against Multiple $l_p$ Perturbations

abstract: There is considerable work on improving robustness against adversarial attacks bounded by a single $l_p$ norm using adversarial training (AT). However, the multiple-norm robustness (union accuracy) of AT models is still low. We observe that simultaneously obtaining good union and clean accuracy is hard since there are tradeoffs between robustness against multiple $l_p$ perturbations, and accuracy/robustness/efficiency. By analyzing the tradeoffs from the lens of distribution shifts, we identify the key tradeoff pair among $l_p$ attacks to boost efficiency and design a logit pairing loss to improve the union accuracy. Next, we connect natural training with AT via gradient projection, to find and incorporate useful information from natural training into AT, which moderates the accuracy/robustness tradeoff. Combining our contributions, we propose a framework called \textbf{RAMP}, to boost the robustness against multiple $l_p$ perturbations. We show \textbf{RAMP} can be easily adapted for both robust fine-tuning and full AT. For robust fine-tuning, \textbf{RAMP} obtains a union accuracy up to $53.5\%$ on CIFAR-10, and $29.7\%$ on ImageNet. For training from scratch, \textbf{RAMP} achieves SOTA union accuracy of $44.6\%$ and relatively good clean accuracy of $81.2\%$ on ResNet-18 against AutoAttack on CIFAR-10.


title: Radiative transport in a periodic structure with band crossings

abstract: We use the Wigner transformation and asymptotic analysis to systematically derive the semi-classical model for the Schr\"{o}dinger equation in arbitrary spatial dimensions, with any periodic structure. Our particular emphasis lies in addressing the \textit{diabatic} effect, i.e., the impact of Bloch band crossings. We consider both deterministic and random scenarios. In the former case, we derive a coupled Liouville system, revealing lower-order interactions among different Bloch bands. In the latter case, a coupled system of radiative transport equations emerges, with the scattering cross-section induced by the random inhomogeneities. As a specific application, we deduce the effective dynamics of a wave packet in graphene with randomness.


title: Reduced-order Modeling of Modular, Position-dependent Systems with Translating Interfaces

abstract: Many complex mechatronic systems consist of multiple interconnected dynamical subsystems, which are designed, developed, analyzed, and manufactured by multiple independent teams. To support such a design approach, a modular model framework is needed to reduce computational complexity and, at the same time, enable multiple teams to develop and analyze the subsystems in parallel. In such a modular framework, the subsystem models are typically interconnected by means of a static interconnection structure. However, many complex dynamical systems exhibit position-dependent behavior (e.g., induced by translating interfaces) which cannot be not captured by such static interconnection models. In this paper, a modular model framework is proposed, which allows to construct an interconnected system model, which captures the position-dependent behavior of systems with translating interfaces, such as linear guide rails, through a position-dependent interconnection structure. Additionally, this framework allows to apply model reduction on subsystem level, enabling a more effective reduction approach, tailored to the specific requirements of each subsystem. Furthermore, we show the effectiveness of this framework on an industrial wire bonder. Here, we show that including a position-dependent model of the interconnection structure 1) enables to accurately model the dynamics of a system over the operating range of the system and, 2) modular model reduction methods can be used to obtain a computationally efficient interconnected system model with guaranteed accuracy specifications.


title: First Study of the PIKACHU Project: Development and Evaluation of High-Purity Gd$_3$Ga$_3$Al$_2$O$_{12}$:Ce Crystals for $^{160}$Gd Double Beta Decay Search

abstract: Uncovering neutrinoless double beta decay (0$\nu$2$\beta$) is crucial for confirming neutrinos' Majorana characteristics. The decay rate of 0$\nu\beta\beta$ is theoretically uncertain, influenced by nuclear matrix elements that vary across nuclides. To reduce this uncertainty, precise measurement of the half-life of neutrino-emitting double beta decay (2$\nu$2$\beta$) in different nuclides is essential. We have launched the PIKACHU (Pure Inorganic scintillator experiment in KAmioka for CHallenging Underground sciences) project to fabricate high-purity Ce-doped Gd$_{3}$Ga$_{3}$Al$_{2}$O$_{12}$ (GAGG) single crystals and use them to study the double beta decay of $^{160}$Gd. Predictions from two theoretical models on nuclear matrix element calculations for 2$\nu$2$\beta$ in $^{160}$Gd show a significant discrepancy in estimated half-lives, differing by approximately an order of magnitude. If the lower half-life estimation holds true, detecting 2$\nu$2$\beta$ in $^{160}$Gd could be achievable with a sensitivity enhancement slightly more than an order of magnitude compared to prior investigations using Ce-doped Gd$_2$SiO$_5$ (GSO) crystal. We have successfully developed GAGG crystals with purity levels surpassing previous standards through refined purification and selection of raw materials. Our experiments with these crystals indicate the feasibility of reaching sensitivities exceeding those of earlier studies. This paper discusses the ongoing development and scintillator performance evaluation of High-purity GAGG crystals, along with the anticipated future prospects of the PIKACHU experiment.


title: What We Know About Using Non-Engagement Signals in Content Ranking

abstract: Many online platforms predominantly rank items by predicted user engagement. We believe that there is much unrealized potential in including non-engagement signals, which can improve outcomes both for platforms and for society as a whole. Based on a daylong workshop with experts from industry and academia, we formulate a series of propositions and document each as best we can from public evidence, including quantitative results where possible. There is strong evidence that ranking by predicted engagement is effective in increasing user retention. However retention can be further increased by incorporating other signals, including item "quality" proxies and asking users what they want to see with "item-level" surveys. There is also evidence that "diverse engagement" is an effective quality signal. Ranking changes can alter the prevalence of self-reported experiences of various kinds (e.g. harassment) but seldom have large enough effects on attitude measures like user satisfaction, well-being, polarization etc. to be measured in typical experiments. User controls over ranking often have low usage rates, but when used they do correlate well with quality and item-level surveys. There was no strong evidence on the impact of transparency/explainability on retention. There is reason to believe that generative AI could be used to create better quality signals and enable new kinds of user controls.


title: Runs of integers with constant values of the Carmichael function

abstract: In 2023, the first author and Vandehey proved that the largest $k$ for which the string of equalities $\lambda(n+1)=\lambda(n+2)=\cdots=\lambda(n+k)$ holds for some $n\leq x$, where $\lambda$ is the Carmichael $\lambda$ function, is bounded above by $O\left((\log x\log\log x)^2\right)$. Their method involved bounding the value of $\lambda(n + i)$ from below using the prime factorization of $n + i$ for each $i \leq k$. They then used the fact that every $\lambda(n + i)$ had to satisfy this bound. Here we improve their result by incorporating a reverse counting argument on a result of Baker and Harman on the largest prime factor of a shifted prime.


title: Musical Systems with $\mathbb{Z}_n$ -- Cayley Graphs

abstract: We apply geometric group theory to study and interpret known concepts from Western music. We show that chords, the circle of fifths, scales and certain aspects of the first species of counterpoint are encoded in the Cayley graph of the group $\mathbb{Z}_{12}$, generated by $3$ and $4$. Using $\mathbb{Z}_{12}$ as a model, we extend the above music concepts to a particular class of groups $\mathbb{Z}_{n}$, which displays geometric and algebraic features similar to $\mathbb{Z}_{12}$. We identify a weaker form of counterpoint which, in particular leads to Fux's dichotomy in $\mathbb{Z}_{12}$, and to consonant sets in $\mathbb{Z}_n$. Using Maple software, we implement these new constructions and show how to experiment with them musically.


title: Bounds on Gorenstein Dimensions and Exceptional Complete Intersection Maps

abstract: We prove that if $f:R \rightarrow S$ is a local homomorphism of noetherian local rings of finite flat dimension and $M$ is a non-zero finitely generated $S$-module whose Gorenstein flat dimension over $R$ is bounded by the difference of the embedding dimensions of $R$ and $S$, then $M$ is a totally reflexive $S$-module and $f$ is an exceptional complete intersection map. This is an extension of a result of Brochard, Iyengar, and Khare to Gorenstein flat dimension. We also prove two analogues involving Gorenstein injective dimension.


title: nuance: Efficient detection of planets transiting active stars

abstract: The detection of planetary transits in the light curves of active stars, featuring correlated noise in the form of stellar variability, remains a challenge. Depending on the noise characteristics, we show that the traditional technique that consists of detrending a light curve before searching for transits alters their signal-to-noise ratio, and hinders our capability to discover exoplanets transiting rapidly-rotating active stars. We present nuance, an algorithm to search for transits in light curves while simultaneously accounting for the presence of correlated noise, such as stellar variability and instrumental signals. We assess the performance of nuance on simulated light curves as well as on the TESS light curves of 438 rapidly-rotating M dwarfs. For each dataset, we compare our method to 5 commonly-used detrending techniques followed by a search with the Box-Least-Square algorithm. Overall, we demonstrate that nuance is the most performant method in 93% of cases, leading to both the highest number of true positives and the lowest number of false positive detections. Although simultaneously searching for transits while modeling correlated noise is expected to be computationally expensive, we make our algorithm tractable and available as the JAX-powered Python package nuance, allowing its use on distributed environments and GPU devices. Finally, we explore the prospects offered by the nuance formalism, and its use to advance our knowledge of planetary systems around active stars, both using space-based surveys and sparse ground-based observations.


title: Source Confusion from Neutron Star Binaries in Ground-Based Gravitational Wave Detectors is Minimal

abstract: Upgrades beyond the current second generation of ground-based gravitational wave detectors will allow them to observe tens of thousands neutron star and black hole binaries. Given the typical minute-to-hour duration of neutron star signals in the detector frequency band, a number of them will overlap in the time-frequency plane resulting in a nonzero cross-correlation. We examine source confusion arising from overlapping signals whose time-frequency tracks cross. Adopting the median observed merger rate of $100$ Gpc$^{-3}$yr$^{-1}$, each neutron star binary signal overlaps with an average of 42(4)[0.5] other signals when observed from 2(5)[10] Hz. The vast majority of overlaps occur at low frequencies where the inspiral evolution is slow: 91% of time-frequency overlaps occur in band below 5 Hz. The combined effect of overlapping signals does not satisfy the central limit theorem and source confusion cannot be treated as stationary, Gaussian noise: on average 0.91(0.17)[0.05] signals are present in a single adaptive time-frequency bin centered at 2(5)[10] Hz. We quantify source confusion under a realistic neutron star binary population and find that parameter uncertainty typically increases by less than 1% unless there are overlapping signals whose detector-frame chirp mass difference is $\lesssim 0.01 M_{\odot}$ and the overlap frequency is $\gtrsim$ 40 Hz. Out of $1\times10^6$ simulated signals, 0.14% fall within this region of detector-frame chirp mass differences, but their overlap frequencies are typically lower than 40 Hz. Source confusion for ground-based detectors, where events overlap instantaneously is significantly milder than the equivalent LISA problem, where many classes of events overlap for the lifetime of the mission.


title: The rational HK-conjecture: transformation groupoids and a revised version

abstract: We prove the rational HK-conjecture for a large class of transformation groupoids in the case when the relevant action has torsion-free stabilizers. A revised version of the rational HK-conjecture in the case of (possibly) torsion stabilizers is introduced and proved for a large class of transformation groupoids. In particular, this revised version holds for Scarparo's counterexamples to the original rational HK-conjecture. The key tools used are the Baum-Connes conjecture and a Chern character defined by Raven.


title: NavFormer: A Transformer Architecture for Robot Target-Driven Navigation in Unknown and Dynamic Environments

abstract: In unknown cluttered and dynamic environments such as disaster scenes, mobile robots need to perform target-driven navigation in order to find people or objects of interest, while being solely guided by images of the targets. In this paper, we introduce NavFormer, a novel end-to-end transformer architecture developed for robot target-driven navigation in unknown and dynamic environments. NavFormer leverages the strengths of both 1) transformers for sequential data processing and 2) self-supervised learning (SSL) for visual representation to reason about spatial layouts and to perform collision-avoidance in dynamic settings. The architecture uniquely combines dual-visual encoders consisting of a static encoder for extracting invariant environment features for spatial reasoning, and a general encoder for dynamic obstacle avoidance. The primary robot navigation task is decomposed into two sub-tasks for training: single robot exploration and multi-robot collision avoidance. We perform cross-task training to enable the transfer of learned skills to the complex primary navigation task without the need for task-specific fine-tuning. Simulated experiments demonstrate that NavFormer can effectively navigate a mobile robot in diverse unknown environments, outperforming existing state-of-the-art methods in terms of success rate and success weighted by (normalized inverse) path length. Furthermore, a comprehensive ablation study is performed to evaluate the impact of the main design choices of the structure and training of NavFormer, further validating their effectiveness in the overall system.


title: Quantum interfaces with multilayered superwavelength atomic arrays

abstract: We consider quantum light-matter interfaces comprised of multiple layers of two-dimensional atomic arrays, whose lattice spacings exceed the wavelength of light. While the coupling of light to a single layer of such a ``superwavelength" lattice is considerably reduced due to scattering losses to high diffraction orders, we show that the addition of layers can suppress these losses through destructive interference between the layers. Mapping the problem to a 1D model of a quantum interface wherein the coupling efficiency is characterized by a reflectivity, we analyze the latter by developing a geometrical optics formulation, accounting for realistic finite-size arrays. We find that optimized efficiency favors small diffraction-order angles and small interlayer separations, and that the coupling inefficiency of two layers universally scales as $N^{-1}$ with the atom number per layer $N$. We validate our predictions using direct numerical calculations of the scattering reflectivity and the performance of a quantum memory protocol, demonstrating high atom-photon coupling efficiency. We discuss the utility of our technique for applications in tweezer atomic arrays platforms.


title: A monotone piecewise constant control integration approach for the two-factor uncertain volatility model

abstract: Prices of option contracts on two assets within uncertain volatility models for worst and best-case scenarios satisfy a two-dimensional Hamilton-Jacobi-Bellman (HJB) partial differential equation (PDE) with cross derivatives terms. Traditional methods mainly involve finite differences and policy iteration. This "discretize, then optimize" paradigm requires complex rotations of computational stencils for monotonicity. This paper presents a novel and more streamlined "decompose and integrate, then optimize" approach to tackle the aforementioned HJB PDE. Within each timestep, our strategy employs a piecewise constant control, breaking down the HJB PDE into independent linear two-dimensional PDEs. Using known closed-form expressions for the Fourier transforms of the Green's functions associated with these PDEs, we determine an explicit formula for these functions. Since the Green's functions are non-negative, the solutions to the PDEs, cast as two-dimensional convolution integrals, can be conveniently approximated using a monotone integration method. Such integration methods, including a composite quadrature rule, are generally available in popular programming languages. To further enhance efficiency, we propose an implementation of this monotone integration scheme via Fast Fourier Transforms, exploiting the Toeplitz matrix structure. Optimal control is subsequently obtained by efficiently synthesizing the solutions of the individual PDEs. The proposed monotone piecewise constant control method is demonstrated to be both $\ell_{\infty} $-stable and consistent in the viscosity sense, ensuring its convergence to the viscosity solution of the HJB equation. Numerical results show remarkable agreement with benchmark solutions obtained by unconditionally monotone finite differences, tree methods, and Monte Carlo simulation, underscoring the robustness and effectiveness of our method.


title: Point cloud-based registration and image fusion between cardiac SPECT MPI and CTA

abstract: A method was proposed for the point cloud-based registration and image fusion between cardiac single photon emission computed tomography (SPECT) myocardial perfusion images (MPI) and cardiac computed tomography angiograms (CTA). Firstly, the left ventricle (LV) epicardial regions (LVERs) in SPECT and CTA images were segmented by using different U-Net neural networks trained to generate the point clouds of the LV epicardial contours (LVECs). Secondly, according to the characteristics of cardiac anatomy, the special points of anterior and posterior interventricular grooves (APIGs) were manually marked in both SPECT and CTA image volumes. Thirdly, we developed an in-house program for coarsely registering the special points of APIGs to ensure a correct cardiac orientation alignment between SPECT and CTA images. Fourthly, we employed ICP, SICP or CPD algorithm to achieve a fine registration for the point clouds (together with the special points of APIGs) of the LV epicardial surfaces (LVERs) in SPECT and CTA images. Finally, the image fusion between SPECT and CTA was realized after the fine registration. The experimental results showed that the cardiac orientation was aligned well and the mean distance error of the optimal registration method (CPD with affine transform) was consistently less than 3 mm. The proposed method could effectively fuse the structures from cardiac CTA and SPECT functional images, and demonstrated a potential in assisting in accurate diagnosis of cardiac diseases by combining complementary advantages of the two imaging modalities.


title: Cohen-Macaulay pairs

abstract: The main purpose of this note is to extend and establish a new approach to the concept of (relative) Cohen-Macaulayness, by investigating the cohomological dimension as well as the depth of a pair of modules over a commutative Noetherian ring. The notion also largely extends the cohomologically complete intersection property of Hellus and Schenzel. As crucial tools, we use Herzog's theory of generalized local cohomology along with spectral sequence techniques. We also provide byproducts concerning two classical problems in homological commutative algebra.


title: All "roads" lead to rocksalt structure

abstract: Rocksalt is the most common crystal structure among binary compounds. Moreover, no long-lived, metastable polymorphs are observed in compounds with the rocksalt ground state. We investigate the absence of polymorphism and the dominance of the rocksalt structure via first-principles random structure sampling and transformation kinetics modeling of three rocksalt compounds: MgO, TaC, and PbTe. Random structure sampling reveals that for all three systems the rocksalt local minimum on the potential energy surface is far larger than any other, making it statistically the most significant structure. The kinetics modeling shows that virtually all other relevant structures, including most of the 457 known A$_1$B$_1$ prototypes, transform rapidly to rocksalt, making it the only option at ambient conditions. These results explain the absence of polymorphism in binary rocksalts, answer why rocksalt is the structure of choice for high-entropy ceramics and disordered ternary nitrides, and help understand/predict metastable states in crystalline solids more generally.


title: Using $LDL^{T}$ factorizations in Newton's method for solving general large-scale algebraic Riccati equations

abstract: Continuous-time algebraic Riccati equations can be found in many disciplines in different forms. In the case of small-scale dense coefficient matrices, stabilizing solutions can be computed to all possible formulations of the Riccati equation. This is not the case when it comes to large-scale sparse coefficient matrices. In this paper, we provide a reformulation of the Newton-Kleinman iteration scheme for continuous-time algebraic Riccati equations using indefinite symmetric low-rank factorizations. This allows the application of the method to the case of general large-scale sparse coefficient matrices. We provide convergence results for several prominent realizations of the equation and show in numerical examples the effectiveness of the approach.


title: The Tutte polynomials of genus $g$

abstract: In the paper [Proceedings of the Japan Academy, Ser. A Mathematical Sciences, 95(10) 111-113], the authors introduce the concept of the Tutte polynomials of genus $g$ and announce that each matroid $M$ can be reconstructed from its Tutte polynomial of genus $|\mathcal{B}(M)|$, where $\mathcal{B}(M)$ denotes the family of bases of $M$. In that paper, we also announced that, for all $g$, there exist inequivalent matroids that have the same Tutte polynomial of genus $g$. In this paper, we prove these theorems.


title: System-level Analysis of Adversarial Attacks and Defenses on Intelligence in O-RAN based Cellular Networks

abstract: While the open architecture, open interfaces, and integration of intelligence within Open Radio Access Network technology hold the promise of transforming 5G and 6G networks, they also introduce cybersecurity vulnerabilities that hinder its widespread adoption. In this paper, we conduct a thorough system-level investigation of cyber threats, with a specific focus on machine learning (ML) intelligence components known as xApps within the O-RAN's near-real-time RAN Intelligent Controller (near-RT RIC) platform. Our study begins by developing a malicious xApp designed to execute adversarial attacks on two types of test data - spectrograms and key performance metrics (KPMs), stored in the RIC database within the near-RT RIC. To mitigate these threats, we utilize a distillation technique that involves training a teacher model at a high softmax temperature and transferring its knowledge to a student model trained at a lower softmax temperature, which is deployed as the robust ML model within xApp. We prototype an over-the-air LTE/5G O-RAN testbed to assess the impact of these attacks and the effectiveness of the distillation defense technique by leveraging an ML-based Interference Classification (InterClass) xApp as an example. We examine two versions of InterClass xApp under distinct scenarios, one based on Convolutional Neural Networks (CNNs) and another based on Deep Neural Networks (DNNs) using spectrograms and KPMs as input data respectively. Our findings reveal up to 100% and 96.3% degradation in the accuracy of both the CNN and DNN models respectively resulting in a significant decline in network performance under considered adversarial attacks. Under the strict latency constraints of the near-RT RIC closed control loop, our analysis shows that the distillation technique outperforms classical adversarial training by achieving an accuracy of up to 98.3% for mitigating such attacks.


title: Semi-classical Schr\"odinger numerics in the residual representation

abstract: The numerical treatment of quantum mechanics in the semi-classical regime is known to be computationally demanding, due to the highly oscillatory behaviour of the wave function and its large spatial extension. A recently proposed representation of quantum mechanics as a residual theory on top of classical Hamiltonian mechanics transforms a semi-classical wave function into a slowly-fluctuating, spatially confined residual wave function. This representation is therefore well-suited for the numerical solution of semi-classical quantum problems. In this note I outline the formulation of the theory and demonstrate its applicability to a set of semi-classical scenarios, including a discussion of limitations. I work out the connection to established numerical approaches, such as the Gaussian beam approximation and the Gaussian wave packet transform by Russo and Smereka. A prototypical implementation of the method has been published as open-source software.


title: Everettian Branching in the World and of the World

abstract: This paper investigates the formation and propagation of wavefunction `branches' through the process of entanglement with the environment. While this process is a consequence of unitary dynamics, and hence significant to many if not all approaches to quantum theory, it plays a central role in many recent articulations of the Everett or `many worlds' interpretation. A highly idealized model of a locally interacting system and environment is described, and investigated in several situations in which branching occurs, including those involving Bell inequality violating correlations; we illustrate how any non-locality is compatible with the locality of the dynamics. Although branching is particularly important for many worlds quantum theory, we take a neutral stance here, simply tracing out the consequences of a unitary dynamics. The overall goals are to provide a simple concrete realization of the quantum physics of branch formation, and especially to emphasise the compatibility of branching with relativity; the paper is intended to illuminate matters both for foundational work, and for the application of quantum theory to non-isolated systems.


title: Diagrammatic criteria for strong irreducibility of Heegaard splittings and finiteness of Goeritz groups

abstract: We give two criteria for diagrams of Heegaard splittings of 3-manifolds. Weaker one of them guarantees that the splitting is strongly irreducible, and the stronger one guarantees in addition that the Goeritz group is finite. They are generalizations of the criteria introduced by Casson-Gordon and Lustig-Moriah. Their original ones require as input the diagram formed by a pair of maximal disk systems. Our present ones accept as input that of arbitrary disk systems, including minimal disk systems. In other words, our criteria accept Heegaard diagrams.


title: A review of UTe$_2$ at high magnetic fields

abstract: Uranium ditelluride (UTe$_2$) is recognized as a host material to unconventional spin-triplet superconductivity, but it also exhibits a wealth of additional unusual behavior at high magnetic fields. One of the most prominent signatures of the unconventional superconductivity is a large and anisotropic upper critical field that exceeds the paramagnetic limit. This superconductivity survives to 35 T and is bounded by a discontinuous magnetic transition, which itself is also field-direction-dependent. A different, reentrant superconducting phase emerges only on the high-field side of the magnetic transition, in a range of angles between the crystallographic $b$ and $c$ axes. This review discusses the current state of knowledge of these high-field phases, the high-field behavior of the heavy fermion normal state, and other phases that are stabilized by applied pressure.


title: Why engineers are right to avoid the quantum reality offered by the orthodox theory?

abstract: A proper knowledge of the reality of a physical theory is important to get an understanding of empirical phenomena. Despite its extraordinary predictive successes, the orthodox (also known as the Copenhagen) theory provides an indigestible definition of quantum reality: objects (such as electrons) become part of a nebulous many-particle wave function with no properties at all, unless the property is explicitly measured. To make matters worse, orthodox theory does not define measurements in a clear way. This view of reality is foreign to most modern engineers who assume that quantum objects, like classical objects, always have real properties, independent of any measurement. Despite being contrary to the orthodox theory, the intuition of engineers is not in conflict with other quantum theories, where the observer plays no fundamental role. Good quantum intuition needs to be based on a correct knowledge of the fundamental elements of the quantum theory that is being used. We argue that engineers are actually led to the natural quantum reality offered by these alternative approaches.


title: ChemLLM: A Chemical Large Language Model

abstract: Large language models (LLMs) have made impressive progress in chemistry applications. However, the community lacks an LLM specifically designed for chemistry. The main challenges are two-fold: firstly, most chemical data and scientific knowledge are stored in structured databases, which limits the model's ability to sustain coherent dialogue when used directly. Secondly, there is an absence of objective and fair benchmark that encompass most chemistry tasks. Here, we introduce ChemLLM, a comprehensive framework that features the first LLM dedicated to chemistry. It also includes ChemData, a dataset specifically designed for instruction tuning, and ChemBench, a robust benchmark covering nine essential chemistry tasks. ChemLLM is adept at performing various tasks across chemical disciplines with fluid dialogue interaction. Notably, ChemLLM achieves results comparable to GPT-4 on the core chemical tasks and demonstrates competitive performance with LLMs of similar size in general scenarios. ChemLLM paves a new path for exploration in chemical studies, and our method of incorporating structured chemical knowledge into dialogue systems sets a new standard for developing LLMs in various scientific fields. Codes, Datasets, and Model weights are publicly accessible at https://hf.co/AI4Chem


title: History, Development, and Principles of Large Language Models-An Introductory Survey

abstract: Language models serve as a cornerstone in natural language processing (NLP), utilizing mathematical methods to generalize language laws and knowledge for prediction and generation. Over extensive research spanning decades, language modeling has progressed from initial statistical language models (SLMs) to the contemporary landscape of large language models (LLMs). Notably, the swift evolution of LLMs has reached the ability to process, understand, and generate human-level text. Nevertheless, despite the significant advantages that LLMs offer in improving both work and personal lives, the limited understanding among general practitioners about the background and principles of these models hampers their full potential. Notably, most LLMs reviews focus on specific aspects and utilize specialized language, posing a challenge for practitioners lacking relevant background knowledge. In light of this, this survey aims to present a comprehensible overview of LLMs to assist a broader audience. It strives to facilitate a comprehensive understanding by exploring the historical background of language models and tracing their evolution over time. The survey further investigates the factors influencing the development of LLMs, emphasizing key contributions. Additionally, it concentrates on elucidating the underlying principles of LLMs, equipping audiences with essential theoretical knowledge. The survey also highlights the limitations of existing work and points out promising future directions.


title: Gyroscope-Assisted Motion Deblurring Network

abstract: Image research has shown substantial attention in deblurring networks in recent years. Yet, their practical usage in real-world deblurring, especially motion blur, remains limited due to the lack of pixel-aligned training triplets (background, blurred image, and blur heat map) and restricted information inherent in blurred images. This paper presents a simple yet efficient framework to synthetic and restore motion blur images using Inertial Measurement Unit (IMU) data. Notably, the framework includes a strategy for training triplet generation, and a Gyroscope-Aided Motion Deblurring (GAMD) network for blurred image restoration. The rationale is that through harnessing IMU data, we can determine the transformation of the camera pose during the image exposure phase, facilitating the deduction of the motion trajectory (aka. blur trajectory) for each point inside the three-dimensional space. Thus, the synthetic triplets using our strategy are inherently close to natural motion blur, strictly pixel-aligned, and mass-producible. Through comprehensive experiments, we demonstrate the advantages of the proposed framework: only two-pixel errors between our synthetic and real-world blur trajectories, a marked improvement (around 33.17%) of the state-of-the-art deblurring method MIMO on Peak Signal-to-Noise Ratio (PSNR).


title: For Better or For Worse? Learning Minimum Variance Features With Label Augmentation

abstract: Data augmentation has been pivotal in successfully training deep learning models on classification tasks over the past decade. An important subclass of data augmentation techniques - which includes both label smoothing and Mixup - involves modifying not only the input data but also the input label during model training. In this work, we analyze the role played by the label augmentation aspect of such methods. We first prove that linear models on binary classification data trained with label augmentation learn only the minimum variance features in the data, while standard training (which includes weight decay) can learn higher variance features. We then use our techniques to show that even for nonlinear models and general data distributions, the label smoothing and Mixup losses are lower bounded by a function of the model output variance. An important consequence of our results is negative: label smoothing and Mixup can be less robust to spurious correlations in the data. We verify that our theory reflects practice via experiments on image classification benchmarks modified to have spurious correlations.


title: Community detection in the hypergraph stochastic block model and reconstruction on hypertrees

abstract: We study the weak recovery problem on the $r$-uniform hypergraph stochastic block model ($r$-HSBM) with two balanced communities. In this model, $n$ vertices are randomly divided into two communities, and size-$r$ hyperedges are added randomly depending on whether all vertices in the hyperedge are in the same community. The goal of weak recovery is to recover a non-trivial fraction of the communities given the hypergraph. Pal and Zhu (2021); Stephan and Zhu (2022) established that weak recovery is always possible above a natural threshold called the Kesten-Stigum (KS) threshold. For assortative models (i.e., monochromatic hyperedges are preferred), Gu and Polyanskiy (2023) proved that the KS threshold is tight if $r\le 4$ or the expected degree $d$ is small. For other cases, the tightness of the KS threshold remained open. In this paper we determine the tightness of the KS threshold for a wide range of parameters. We prove that for $r\le 6$ and $d$ large enough, the KS threshold is tight. This shows that there is no information-computation gap in this regime and partially confirms a conjecture of Angelini et al. (2015). On the other hand, we show that for $r\ge 5$, there exist parameters for which the KS threshold is not tight. In particular, for $r\ge 7$, the KS threshold is not tight if the model is disassortative (i.e., polychromatic hyperedges are preferred) or $d$ is large enough. This provides more evidence supporting the existence of an information-computation gap in these cases. Furthermore, we establish asymptotic bounds on the weak recovery threshold for fixed $r$ and large $d$. We also obtain a number of results regarding the broadcasting on hypertrees (BOHT) model, including the asymptotics of the reconstruction threshold for $r\ge 7$ and impossibility of robust reconstruction at criticality.


title: Multigrid solvers for multipoint flux approximations of the Darcy problem on rough quadrilateral grids

abstract: In this work, an efficient blackbox-type multigrid method is proposed for solving multipoint flux approximations of the Darcy problem on logically rectangular grids. The approach is based on a cell-centered multigrid algorithm, which combines a piecewise constant interpolation and the restriction operator by Wesseling/Khalil with a line-wise relaxation procedure. A local Fourier analysis is performed for the case of a Cartesian uniform grid. The method shows a robust convergence for different full tensor coefficient problems and several rough quadrilateral grids.


title: Evidence of genuine quantum effects in nonequilibrium entropy production

abstract: Entropy production is a fundamental concept that plays a crucial role in the second law of thermodynamics and the measure of irreversibility. It imposes rigorous constraints on the kinds of transformations allowed in thermodynamic processes. Using an optical setup, here we experimentally demonstrate the division of entropy production of an open quantum system into a population-related component and a coherence-related component, validating previous theoretical predictions. The coherence-related component represents a genuine quantum contribution with no classical counterpart. By adjusting bath temperatures and initial coherences of the system, we first derive the total entropy production due to both populations and coherences, then remove all the coherences of the system to solely obtain the population-related contribution. The difference between these two results permits to isolate the coherence-related term. Based on this division, our experiment ultimately proves that irreversibility at the quantum level can be reduced through properly harnessing the two contributions to entropy production.


title: LiRank: Industrial Large Scale Ranking Models at LinkedIn

abstract: We present LiRank, a large-scale ranking framework at LinkedIn that brings to production state-of-the-art modeling architectures and optimization methods. We unveil several modeling improvements, including Residual DCN, which adds attention and residual connections to the famous DCNv2 architecture. We share insights into combining and tuning SOTA architectures to create a unified model, including Dense Gating, Transformers and Residual DCN. We also propose novel techniques for calibration and describe how we productionalized deep learning based explore/exploit methods. To enable effective, production-grade serving of large ranking models, we detail how to train and compress models using quantization and vocabulary compression. We provide details about the deployment setup for large-scale use cases of Feed ranking, Jobs Recommendations, and Ads click-through rate (CTR) prediction. We summarize our learnings from various A/B tests by elucidating the most effective technical approaches. These ideas have contributed to relative metrics improvements across the board at LinkedIn: +0.5% member sessions in the Feed, +1.76% qualified job applications for Jobs search and recommendations, and +4.3% for Ads CTR. We hope this work can provide practical insights and solutions for practitioners interested in leveraging large-scale deep ranking systems.


title: Age-Memory Trade-off in Read-Copy-Update

abstract: In the realm of shared memory systems, the challenge of reader-writer synchronization is closely coupled with the potential for readers to access outdated updates. Read-Copy-Update (RCU) is a synchronization primitive that allows for concurrent and non-blocking read access to fresh data. This is achieved through the creation of updated data copies, with each prior version retained until all associated read-locks are released. Given the principle that frequent updating keeps information fresh, the concern is whether we accumulate an infinite number of update copies, leading to excessively large memory usage. This paper analyzes trade-offs between memory usage and update age within real-time status updating systems, focusing specifically on RCU. The analysis demonstrates that with finite read time and read request rate, the average number of updates within the system remains bounded.


title: UrbanKGent: A Unified Large Language Model Agent Framework for Urban Knowledge Graph Construction

abstract: Urban knowledge graph has recently worked as an emerging building block to distill critical knowledge from multi-sourced urban data for diverse urban application scenarios. Despite its promising benefits, urban knowledge graph construction (UrbanKGC) still heavily relies on manual effort, hindering its potential advancement. This paper presents UrbanKGent, a unified large language model agent framework, for urban knowledge graph construction. Specifically, we first construct the knowledgeable instruction set for UrbanKGC tasks (such as relational triplet extraction and knowledge graph completion) via heterogeneity-aware and geospatial-infused instruction generation. Moreover, we propose a tool-augmented iterative trajectory refinement module to enhance and refine the trajectories distilled from GPT-4. Through hybrid instruction fine-tuning with augmented trajectories on Llama-2-13B, we obtain the UrbanKGC agent, UrbanKGent-13B. We perform a comprehensive evaluation on two real-world datasets using both human and GPT-4 self-evaluation. The experimental results demonstrate that UrbanKGent-13B not only can significantly outperform 21 baselines in UrbanKGC tasks, but also surpass the state-of-the-art LLM, GPT-4, by more than 10\% with approximately 20 times lower cost. We deploy UrbanKGent-13B to provide online services, which can construct an UrbanKG with thousands of times richer relationships using only one-fifth of the data compared with the existing benchmark. Our data, code, and opensource UrbanKGC agent are available at https://github.com/usail-hkust/UrbanKGent.


title: Boundary of free products of metric spaces

abstract: In this paper, we compute (co)homologies of ideal boundaries of free products of geodesic coarsely convex spaces in terms of those of each of the components. The (co)homology theories we consider are, $K$-theory, Alexander-Spanier cohomology, $K$-homology, and Steenrod homology. These computations led to the computation of $K$-theory of the Roe algebra of free products of geodesic coarsely convex spaces via the coarse Baum-Connes conjecture.


title: Localizing axial dense emitters based on single-helix point spread function and deep learning

abstract: Stimulated Emission Depletion Microscopy (STED) can achieve a spatial resolution as high as several nanometers. As a point scanning imaging method, it requires 3D scanning to complete the imaging of 3D samples. The time-consuming 3D scanning can be compressed into a 2D one in the non-diffracting Bessel-Bessel STED (BB-STED) where samples are effectively excited by an optical needle. However, the image is just the 2D projection, i.e., there is no real axial resolution. Therefore, we propose a method to encode axial information to axially dense emitters by using a detection optical path with single-helix point spread function (SH-PSF), and then predicted the depths of the emitters by means of deep learning. Simulation demonstrated that, for a density 1~ 20 emitters in a depth range of 4 nm, an axial precision of ~35 nm can be achieved. Our method also works for experimental data, and an axial precision of ~63 nm can be achieved.