title: Stochastic Games for Interactive Manipulation Domains

abstract: As robots become more prevalent, the complexity of robot-robot, robot-human, and robot-environment interactions increases. In these interactions, a robot needs to consider not only the effects of its own actions, but also the effects of other agents' actions and the possible interactions between agents. Previous works have considered reactive synthesis, where the human/environment is modeled as a deterministic, adversarial agent; as well as probabilistic synthesis, where the human/environment is modeled via a Markov chain. While they provide strong theoretical frameworks, there are still many aspects of human-robot interaction that cannot be fully expressed and many assumptions that must be made in each model. In this work, we propose stochastic games as a general model for human-robot interaction, which subsumes the expressivity of all previous representations. In addition, it allows us to make fewer modeling assumptions and leads to more natural and powerful models of interaction. We introduce the semantics of this abstraction and show how existing tools can be utilized to synthesize strategies to achieve complex tasks with guarantees. Further, we discuss the current computational limitations and improve the scalability by two orders of magnitude by a new way of constructing models for PRISM-games.


title: Fractional stochastic Landau-Lifshitz Navier-Stokes equations in dimension $d \geq 3$: Existence and (non-)triviality

abstract: We investigate fractional stochastic Navier-Stokes equations in $d\ge 3$, driven by the random force $(-\Delta)^{\frac{\theta}{2}}\xi$ which, as we show, corresponds to a fractional version of the Landau-Lifshitz random force in the physics literature. We obtain the existence and uniqueness of martingale solutions on the torus $\mathbb T^d$ for $\theta > \frac{d}{2}$. For $\theta \le 1$ the equation is supercritical and we regularize the problem by introducing a Galerkin approximation and we study the large scale behavior of the truncated model on $\RR^d$. We show that the nonlinear term in the Galerkin approximation vanishes on large scales when $\theta < 1$ and the model converges to the linearized equation. For $\theta = 1$ the nonlinear term gives a nontrivial contribution to the large scale beahvior, and we conjecture that the large scale behavior is given by a linear model with strictly larger effective diffusivity compared to simply dropping the nonlinear term. The effective diffusivity is explicitly given in terms of the model parameters.


title: Bayesian Level-Set Clustering

abstract: Broadly, the goal when clustering data is to separate observations into meaningful subgroups. The rich variety of methods for clustering reflects the fact that the relevant notion of meaningful clusters varies across applications. The classical Bayesian approach clusters observations by their association with components of a mixture model; the choice in class of components allows flexibility to capture a range of meaningful cluster notions. However, in practice the range is somewhat limited as difficulties with computation and cluster identifiability arise as components are made more flexible. Instead of mixture component attribution, we consider clusterings that are functions of the data and the density $f$, which allows us to separate flexible density estimation from clustering. Within this framework, we develop a method to cluster data into connected components of a level set of $f$. Under mild conditions, we establish that our Bayesian level-set (BALLET) clustering methodology yields consistent estimates, and we highlight its performance in a variety of toy and simulated data examples. Finally, through an application to astronomical data we show the method performs favorably relative to the popular level-set clustering algorithm DBSCAN in terms of accuracy, insensitivity to tuning parameters, and quantification of uncertainty.


title: Liouville models of particle-laden flow

abstract: Langevin (stochastic differential) equations are routinely used to describe particle-laden flows. They predict Gaussian probability density functions (PDFs) of a particle's trajectory and velocity, even though experimentally observed dynamics might be highly non-Gaussian. Our Liouville approach overcomes this dichotomy by replacing the Wiener process in the Langevin models with a (small) set of random variables, whose distributions are tuned to match the observed statistics.


title: Improving the Equation of Exchange for Cryptoasset Valuation Using Empirical Data

abstract: In the evolving domain of cryptocurrency markets, accurate token valuation remains a critical aspect influencing investment decisions and policy development. Whilst the prevailing equation of exchange pricing model offers a quantitative valuation approach based on the interplay between token price, transaction volume, supply, and either velocity or holding time, it exhibits intrinsic shortcomings. Specifically, the model may not consistently delineate the relationship between average token velocity and holding time. This paper aims to refine this equation, enhancing the depth of insight into token valuation methodologies.


title: Bayesian Inference for High-dimensional Time Series by Latent Process Modeling

abstract: Time series data arising in many applications nowadays are high-dimensional. A large number of parameters describe features of these time series. We propose a novel approach to modeling a high-dimensional time series through several independent univariate time series, which are then orthogonally rotated and sparsely linearly transformed. With this approach, any specified intrinsic relations among component time series given by a graphical structure can be maintained at all time snapshots. We call the resulting process an Orthogonally-rotated Univariate Time series (OUT). Key structural properties of time series such as stationarity and causality can be easily accommodated in the OUT model. For Bayesian inference, we put suitable prior distributions on the spectral densities of the independent latent times series, the orthogonal rotation matrix, and the common precision matrix of the component times series at every time point. A likelihood is constructed using the Whittle approximation for univariate latent time series. An efficient Markov Chain Monte Carlo (MCMC) algorithm is developed for posterior computation. We study the convergence of the pseudo-posterior distribution based on the Whittle likelihood for the model's parameters upon developing a new general posterior convergence theorem for pseudo-posteriors. We find that the posterior contraction rate for independent observations essentially prevails in the OUT model under very mild conditions on the temporal dependence described in terms of the smoothness of the corresponding spectral densities. Through a simulation study, we compare the accuracy of estimating the parameters and identifying the graphical structure with other approaches. We apply the proposed methodology to analyze a dataset on different industrial components of the US gross domestic product between 2010 and 2019 and predict future observations.


title: Numerical solution of FDE-IVPs by using Fractional HBVMs: the fhbvm code

abstract: In this paper we describe the efficient numerical implementation of Fractional HBVMs, a class of methods recently introduced for solving systems of fractional differential equations. The reported arguments are implemented in the Matlab code fhbvm, which is made available on the web. An extensive experimentation of the code is reported, to give evidence of its effectiveness.


title: A Mixed-Integer Conic Program for the Moving-Target Traveling Salesman Problem based on a Graph of Convex Sets

abstract: This paper introduces a new formulation that finds the optimum for the Moving-Target Traveling Salesman Problem (MT-TSP), which seeks to find a shortest path for an agent, that starts at a depot, visits a set of moving targets exactly once within their assigned time-windows, and returns to the depot. The formulation relies on the key idea that when the targets move along lines, their trajectories become convex sets within the space-time coordinate system. The problem then reduces to finding the shortest path within a graph of convex sets, subject to some speed constraints. We compare our formulation with the current state-of-the-art Mixed Integer Conic Program (MICP) solver for the MT-TSP. The experimental results show that our formulation outperforms the MICP for instances with up to 20 targets, with up to two orders of magnitude reduction in runtime, and up to a 60\% tighter optimality gap. We also show that the solution cost from the convex relaxation of our formulation provides significantly tighter lower bounds for the MT-TSP than the ones from the MICP.


title: Secure Information Embedding and Extraction in Forensic 3D Fingerprinting

abstract: The prevalence of 3D printing poses a significant risk to public safety, as any individual with internet access and a commodity printer is able to produce untraceable firearms, keys, counterfeit products, etc. To aid government authorities in combating these new security threats, several approaches have been taken to tag 3D-prints with identifying information. Known as fingerprints, this information is written into the object using various bit embedding techniques; examples include varying the height of the molten thermoplastic layers, and depositing metallic powder with different magnetic properties. Yet, the practicality of theses techniques in real-world forensic settings is hindered by the adversarial nature of this problem. That is, the 3D-printing process is out of reach of any law enforcement agencies; it is the adversary who controls all aspects of printing and possesses the printed object. To combat these threats, law enforcement agencies can regulate the manufacturing of 3D printers, on which they may enforce a fingerprinting scheme, and collect adversarially tampered remains (e.g., fragments of a broken 3D-printed firearm) during forensic investigation. Therefore, it is important to devise fingerprinting techniques so that the fingerprint could be extracted even if printing is carried out by the adversary. To this end, we present SIDE (Secure Information Embedding and Extraction), a fingerprinting framework that tackles the adversarial nature of forensic fingerprinting in 3D prints by offering both secure information embedding and secure information extraction.


title: Identifying Causal Effects Under Functional Dependencies

abstract: We study the identification of causal effects, motivated by two improvements to identifiability which can be attained if one knows that some variables in a causal graph are functionally determined by their parents (without needing to know the specific functions). First, an unidentifiable causal effect may become identifiable when certain variables are functional. Second, certain functional variables can be excluded from being observed without affecting the identifiability of a causal effect, which may significantly reduce the number of needed variables in observational data. Our results are largely based on an elimination procedure which removes functional variables from a causal graph while preserving key properties in the resulting causal graph, including the identifiability of causal effects.


title: Nano/micro-plastics effects in agricultural landscapes: an overlooked threat to pollination, biological pest control, and food security

abstract: Biodiversity-associated ecosystem services such as pollination and biocontrol may be severely affected by emerging nano/micro-plastics (NMP) pollution. We synthesized the little-explored effects of NMP on pollinators and biocontrol agents on the organismal, farm and landscape scale. For instance ingested NMP trigger organismal changes from gene expression, organ damage to behavior modifications. At the farm and landscape level, NMP will likely amplify synergistic effects with other threats such as pathogens and antibiotics, and may alter landscape properties such as floral resource distributions in high NMP concentration areas, what we call NMP islands. It is essential to understand the functional exposure pathways of NMP on pollinators and biocontrol agents to comprehensively evaluate the risks for agricultural ecosystems and global food security.


title: Phase Transitions in Ising models: the Semi-infinite with decaying field and the Random Field Long-range

abstract: In this thesis, we present results on phase transition for two models: the semi-infinite Ising model with a decaying field, and the long-range Ising model with a random field. We study the semi-infinite Ising model with an external field $h_i = \lambda |i_d|^{-\delta}$, $\lambda$ is the wall influence, and $\delta>0$. This external field decays as it gets further away from the wall. We are able to show that when $\delta>1$ and $\beta > \beta_c(d)$, there exists a critical value $0< \lambda_c:=\lambda_c(\delta,\beta)$ such that, for $\lambda<\lambda_c$ there is phase transition and for $\lambda>\lambda_c$ we have uniqueness of the Gibbs state. In addition, when $\delta<1$ we have only one Gibbs state for any positive $\beta$ and $\lambda$. For the model with a random field, we extend the recent argument by Ding and Zhuang from nearest-neighbor to long-range interactions and prove the phase transition in the class of ferromagnetic random field Ising models. Our proof combines a generalization of Fr\"ohlich-Spencer contours to the multidimensional setting proposed by Affonso, Bissacot, Endo and Handa, with the coarse-graining procedure introduced by Fisher, Fr\"ohlich, and Spencer. Our result shows that the Ding-Zhuang strategy is also useful for interactions $J_{xy}=|x-y|^{- \alpha}$ when $\alpha > d$ in dimension $d\geq 3$ if we have a suitable system of contours, yielding an alternative proof that does not use the Renormalization Group Method (RGM), since Bricmont and Kupiainen claimed that the RGM should also work on this generality. We can consider i.i.d. random fields with Gaussian or Bernoulli distributions.

categories: math-ph cond-mat.stat-mech math.MP math.PR


title: Implementing the Grover Algorithm in Homomorphic Encryption Schemes

abstract: We apply quantum homomorphic encryption (QHE) schemes suitable for circuits with a polynomial number of $T/T^{\dagger}$-gates to Grover's algorithm, performing a simulation in Qiskit of a Grover circuit that contains 3 qubits. The $T/T^{\dagger}$ gate complexity of Grover's algorithm is also analysed in order to show that any Grover circuit can be evaluated homomorphically in an efficient manner. We discuss how to apply these QHE schemes to allow for the efficient homomorphic evaluation of any Grover circuit composed of $n$ qubits using $n-2$ extra ancilla qubits. We also show how the homomorphic evaluation of the special case where there is only one marked item can be implemented using an algorithm that makes the decryption process more efficient compared to the standard Grover algorithm.


title: Control-based Graph Embeddings with Data Augmentation for Contrastive Learning

abstract: In this paper, we study the problem of unsupervised graph representation learning by harnessing the control properties of dynamical networks defined on graphs. Our approach introduces a novel framework for contrastive learning, a widely prevalent technique for unsupervised representation learning. A crucial step in contrastive learning is the creation of 'augmented' graphs from the input graphs. Though different from the original graphs, these augmented graphs retain the original graph's structural characteristics. Here, we propose a unique method for generating these augmented graphs by leveraging the control properties of networks. The core concept revolves around perturbing the original graph to create a new one while preserving the controllability properties specific to networks and graphs. Compared to the existing methods, we demonstrate that this innovative approach enhances the effectiveness of contrastive learning frameworks, leading to superior results regarding the accuracy of the classification tasks. The key innovation lies in our ability to decode the network structure using these control properties, opening new avenues for unsupervised graph representation learning.


title: $\text{R}^2$-Bench: Benchmarking the Robustness of Referring Perception Models under Perturbations

abstract: Referring perception, which aims at grounding visual objects with multimodal referring guidance, is essential for bridging the gap between humans, who provide instructions, and the environment where intelligent systems perceive. Despite progress in this field, the robustness of referring perception models (RPMs) against disruptive perturbations is not well explored. This work thoroughly assesses the resilience of RPMs against various perturbations in both general and specific contexts. Recognizing the complex nature of referring perception tasks, we present a comprehensive taxonomy of perturbations, and then develop a versatile toolbox for synthesizing and evaluating the effects of composite disturbances. Employing this toolbox, we construct $\text{R}^2$-Bench, a benchmark for assessing the Robustness of Referring perception models under noisy conditions across five key tasks. Moreover, we propose the $\text{R}^2$-Agent, an LLM-based agent that simplifies and automates model evaluation via natural language instructions. Our investigation uncovers the vulnerabilities of current RPMs to various perturbations and provides tools for assessing model robustness, potentially promoting the safe and resilient integration of intelligent systems into complex real-world scenarios.


title: Near Field Communications for DMA-NOMA Networks

abstract: A novel near-field transmission framework is proposed for dynamic metasurface antenna (DMA)-enabled non-orthogonal multiple access (NOMA) networks. The base station (BS) exploits the hybrid beamforming to communicate with multiple near users (NUs) and far users (FUs) using the NOMA principle. Based on this framework, two novel beamforming schemes are proposed. 1) For the case of the grouped users distributed in the same direction, a beam-steering scheme is developed. The metric of beam pattern error (BPE) is introduced for the characterization of the gap between the hybrid beamformers and the desired ideal beamformers, where a two-layer algorithm is proposed to minimize BPE by optimizing hybrid beamformers. Then, the optimal power allocation strategy is obtained to maximize the sum achievable rate of the network. 2) For the case of users randomly distributed, a beam-splitting scheme is proposed, where two sub-beamformers are extracted from the single beamformer to serve different users in the same group. An alternating optimization (AO) algorithm is proposed for hybrid beamformer optimization, and the optimal power allocation is also derived. Numerical results validate that: 1) the proposed beamforming schemes exhibit superior performance compared with the existing imperfect-resolution-based beamforming scheme; 2) the communication rate of the proposed transmission framework is sensitive to the imperfect distance knowledge of NUs but not to that of FUs.


title: BAGS: Blur Agnostic Gaussian Splatting through Multi-Scale Kernel Modeling

abstract: Recent efforts in using 3D Gaussians for scene reconstruction and novel view synthesis can achieve impressive results on curated benchmarks; however, images captured in real life are often blurry. In this work, we analyze the robustness of Gaussian-Splatting-based methods against various image blur, such as motion blur, defocus blur, downscaling blur, \etc. Under these degradations, Gaussian-Splatting-based methods tend to overfit and produce worse results than Neural-Radiance-Field-based methods. To address this issue, we propose Blur Agnostic Gaussian Splatting (BAGS). BAGS introduces additional 2D modeling capacities such that a 3D-consistent and high quality scene can be reconstructed despite image-wise blur. Specifically, we model blur by estimating per-pixel convolution kernels from a Blur Proposal Network (BPN). BPN is designed to consider spatial, color, and depth variations of the scene to maximize modeling capacity. Additionally, BPN also proposes a quality-assessing mask, which indicates regions where blur occur. Finally, we introduce a coarse-to-fine kernel optimization scheme; this optimization scheme is fast and avoids sub-optimal solutions due to a sparse point cloud initialization, which often occurs when we apply Structure-from-Motion on blurry images. We demonstrate that BAGS achieves photorealistic renderings under various challenging blur conditions and imaging geometry, while significantly improving upon existing approaches.


title: The New Horizons Extended Mission Target: Arrokoth Search and Discovery

abstract: Following the Pluto fly-by of the New Horizons spacecraft, the mission provided a unique opportunity to explore the Kuiper Belt in-situ. The possibility existed to fly-by a Kuiper Belt object (KBO) as well as to observe additional objects at distances closer than are feasible from earth-orbit facilities. However, at the time of launch no KBOs were known about that were accessible by the spacecraft. In this paper we present the results of 10 years of observations and three uniquely dedicated efforts -- two ground-based using the Subaru Suprime Camera, the Magellan MegaCam and IMACS Cameras, and one with the Hubble Space Telescope -- to find such KBOs for study. In this paper we overview the search criteria and strategies employed in our work and detail the analysis efforts to locate and track faint objects in the galactic plane. We also present a summary of all of the KBOs that were discovered as part of our efforts and how spacecraft targetability was assessed, including a detailed description of our astrometric analysis which included development of an extensive secondary calibration network. Overall, these efforts resulted in the discovery of 89 KBOs including 11 which became objects for distant observation by New Horizons and (486958) Arrokoth which became the first post-Pluto fly-by destination.


title: Designing Human-Machine Interactions in the Automated City: Methodologies, Considerations, Principles

abstract: Technological progress paves the way to ever-increasing opportunities for automating city services. This spans from already existing concepts, such as automated shuttles at airports, to more speculative applications, such as fully autonomous delivery robots. As these services are being automated, it is critical that this process is underpinned by a human-centred perspective. This chapter provides a framework for future research and practice in this emerging domain. It draws on research from the field of human-computer interaction and introduces a number of methodologies that can be used to structure the process of designing interactions between people and automated urban applications. Based on research case studies, the chapter discusses specific elements that need to be considered when designing human-machine interactions in an urban environment. The chapter further proposes a model for designing automated urban applications and a set of principles to guide their prototyping and deployment.


title: On the Markov Property of Neural Algorithmic Reasoning: Analyses and Methods

abstract: Neural algorithmic reasoning is an emerging research direction that endows neural networks with the ability to mimic algorithmic executions step-by-step. A common paradigm in existing designs involves the use of historical embeddings in predicting the results of future execution steps. Our observation in this work is that such historical dependence intrinsically contradicts the Markov nature of algorithmic reasoning tasks. Based on this motivation, we present our ForgetNet, which does not use historical embeddings and thus is consistent with the Markov nature of the tasks. To address challenges in training ForgetNet at early stages, we further introduce G-ForgetNet, which uses a gating mechanism to allow for the selective integration of historical embeddings. Such an enhanced capability provides valuable computational pathways during the model's early training phase. Our extensive experiments, based on the CLRS-30 algorithmic reasoning benchmark, demonstrate that both ForgetNet and G-ForgetNet achieve better generalization capability than existing methods. Furthermore, we investigate the behavior of the gating mechanism, highlighting its degree of alignment with our intuitions and its effectiveness for robust performance.


title: How Can Autonomous Vehicles Convey Emotions to Pedestrians? A Review of Emotionally Expressive Non-Humanoid Robots

abstract: In recent years, researchers and manufacturers have started to investigate ways to enable autonomous vehicles (AVs) to interact with nearby pedestrians in compensation for the absence of human drivers. The majority of these efforts focuses on external human-machine interfaces (eHMIs), using different modalities, such as light patterns or on-road projections, to communicate the AV's intent and awareness. In this paper, we investigate the potential role of affective interfaces to convey emotions via eHMIs. To date, little is known about the role that affective interfaces can play in supporting AV-pedestrian interaction. However, emotions have been employed in many smaller social robots, from domestic companions to outdoor aerial robots in the form of drones. To develop a foundation for affective AV-pedestrian interfaces, we reviewed the emotional expressions of non-humanoid robots in 25 articles published between 2011 and 2021. Based on findings from the review, we present a set of considerations for designing affective AV-pedestrian interfaces and highlight avenues for investigating these opportunities in future studies.


title: A Survey on Human-AI Teaming with Large Pre-Trained Models

abstract: In the rapidly evolving landscape of artificial intelligence (AI), the collaboration between human intelligence and AI systems, known as Human-AI (HAI) Teaming, has emerged as a cornerstone for advancing problem-solving and decision-making processes. The advent of Large Pre-trained Models (LPtM) has significantly transformed this landscape, offering unprecedented capabilities by leveraging vast amounts of data to understand and predict complex patterns. This paper surveys the pivotal integration of LPtMs with HAI, emphasizing how these models enhance collaborative intelligence beyond traditional approaches. It examines the potential of LPtMs in augmenting human capabilities, discussing this collaboration for AI model improvements, effective teaming, ethical considerations, and their broad applied implications in various sectors. Through this exploration, the study sheds light on the transformative impact of LPtM-enhanced HAI Teaming, providing insights for future research, policy development, and strategic implementations aimed at harnessing the full potential of this collaboration for research and societal benefit.


title: Divide and Conquer: High-Resolution Industrial Anomaly Detection via Memory Efficient Tiled Ensemble

abstract: Industrial anomaly detection is an important task within computer vision with a wide range of practical use cases. The small size of anomalous regions in many real-world datasets necessitates processing the images at a high resolution. This frequently poses significant challenges concerning memory consumption during the model training and inference stages, leaving some existing methods impractical for widespread adoption. To overcome this challenge, we present the tiled ensemble approach, which reduces memory consumption by dividing the input images into a grid of tiles and training a dedicated model for each tile location. The tiled ensemble is compatible with any existing anomaly detection model without the need for any modification of the underlying architecture. By introducing overlapping tiles, we utilize the benefits of traditional stacking ensembles, leading to further improvements in anomaly detection capabilities beyond high resolution alone. We perform a comprehensive analysis using diverse underlying architectures, including Padim, PatchCore, FastFlow, and Reverse Distillation, on two standard anomaly detection datasets: MVTec and VisA. Our method demonstrates a notable improvement across setups while remaining within GPU memory constraints, consuming only as much GPU memory as a single model needs to process a single tile.


title: Pedestrian-Vehicle Interaction in Shared Space: Insights for Autonomous Vehicles

abstract: Shared space reduces segregation between vehicles and pedestrians and encourages them to share roads without imposed traffic rules. The behaviour of road users (RUs) is then controlled by social norms, and interactions are more versatile than on traditional roads. Autonomous vehicles (AVs) will need to adapt to these norms to become socially acceptable RUs in shared spaces. However, to date, there is not much research into pedestrian-vehicle interaction in shared-space environments, and prior efforts have predominantly focused on traditional roads and crossing scenarios. We present a video observation investigating pedestrian reactions to a small, automation-capable vehicle driven manually in shared spaces based on a long-term naturalistic driving dataset. We report various pedestrian reactions (from movement adjustment to prosocial behaviour) and situations pertinent to shared spaces at this early stage. Insights drawn can serve as a foundation to support future AVs navigating shared spaces, especially those with a high pedestrian focus.


title: LeTac-MPC: Learning Model Predictive Control for Tactile-reactive Grasping

abstract: Grasping is a crucial task in robotics, necessitating tactile feedback and reactive grasping adjustments for robust grasping of objects under various conditions and with differing physical properties. In this paper, we introduce LeTac-MPC, a learning-based model predictive control (MPC) for tactile-reactive grasping. Our approach enables the gripper grasp objects with different physical properties on dynamic and force-interactive tasks. We utilize a vision-based tactile sensor, GelSight, which is capable of perceiving high-resolution tactile feedback that contains the information of physical properties and states of the grasped object. LeTac-MPC incorporates a differentiable MPC layer designed to model the embeddings extracted by a neural network (NN) from tactile feedback. This design facilitates convergent and robust grasping control at a frequency of 25 Hz. We propose a fully automated data collection pipeline and collect a dataset only using standardized blocks with different physical properties. However, our trained controller can generalize to daily objects with different sizes, shapes, materials, and textures. Experimental results demonstrate the effectiveness and robustness of the proposed approach. We compare LeTac-MPC with two purely model-based tactile-reactive controllers (MPC and PD) and open-loop grasping. Our results show that LeTac-MPC has the best performance on dynamic and force-interactive tasks and the best generalization ability. We release our code and dataset at https://github.com/ZhengtongXu/LeTac-MPC.


title: Evaluation of NoSQL in the Energy Marketplace with GraphQL Optimization

abstract: The growing popularity of electric vehicles in the United States requires an ever-expanding infrastructure of commercial DC fast charging stations. The U.S. Department of Energy estimates 33,355 publicly available DC fast charging stations as of September 2023. Range anxiety is an important impediment to the adoption of electric vehicles and is even more relevant in underserved regions in the country. The peer-to-peer energy marketplace helps fill the demand by allowing private home and small business owners to rent their 240 Volt, level-2 charging facilities. The existing, publicly accessible outlets are wrapped with a Cloud-connected microcontroller managing security and charging sessions. These microcontrollers act as Edge devices communicating with a Cloud message broker, while both buyer and seller users interact with the framework via a web-based user interface. The database storage used by the marketplace framework is a key component in both the cost of development and the performance that contributes to the user experience. A traditional storage solution is the SQL database. However, difficulty in scaling across multiple nodes and cost of its server-based compute have resulted in a trend in the last 20 years towards other NoSQL, serverless approaches. In this study, we evaluate the NoSQL vs. SQL solutions through a comparison of Google Cloud Firestore and Cloud SQL MySQL offerings. The comparison pits Google's serverless, document-model, non-relational, NoSQL against the server-base, table-model, relational, SQL service. The evaluation is based on query latency, flexibility/scalability, and cost criteria. Through benchmarking and analysis of the architecture, we determine whether Firestore can support the energy marketplace storage needs and if the introduction of a GraphQL middleware layer can overcome its deficiencies.


title: Real-Time Planning Under Uncertainty for AUVs Using Virtual Maps

abstract: Reliable localization is an essential capability for marine robots navigating in GPS-denied environments. SLAM, commonly used to mitigate dead reckoning errors, still fails in feature-sparse environments or with limited-range sensors. Pose estimation can be improved by incorporating the uncertainty prediction of future poses into the planning process and choosing actions that reduce uncertainty. However, performing belief propagation is computationally costly, especially when operating in large-scale environments. This work proposes a computationally efficient planning under uncertainty frame-work suitable for large-scale, feature-sparse environments. Our strategy leverages SLAM graph and occupancy map data obtained from a prior exploration phase to create a virtual map, describing the uncertainty of each map cell using a multivariate Gaussian. The virtual map is then used as a cost map in the planning phase, and performing belief propagation at each step is avoided. A receding horizon planning strategy is implemented, managing a goal-reaching and uncertainty-reduction tradeoff. Simulation experiments in a realistic underwater environment validate this approach. Experimental comparisons against a full belief propagation approach and a standard shortest-distance approach are conducted.


title: Gradient-free neural topology optimization

abstract: Gradient-free optimizers allow for tackling problems regardless of the smoothness or differentiability of their objective function, but they require many more iterations to converge when compared to gradient-based algorithms. This has made them unviable for topology optimization due to the high computational cost per iteration and high dimensionality of these problems. We propose a pre-trained neural reparameterization strategy that leads to at least one order of magnitude decrease in iteration count when optimizing the designs in latent space, as opposed to the conventional approach without latent reparameterization. We demonstrate this via extensive computational experiments in- and out-of-distribution with the training data. Although gradient-based topology optimization is still more efficient for differentiable problems, such as compliance optimization of structures, we believe this work will open up a new path for problems where gradient information is not readily available (e.g. fracture).


title: Deep-Learning Classification and Parameter Inference of Rotational Core-Collapse Supernovae

abstract: We test Deep-Learning (DL) techniques for the analysis of rotational core-collapse supernovae (CCSN) gravitational-wave (GW) signals by performing classification and parameter inference of the GW strain amplitude ($D \cdot \Delta h $) and the maximum (peak) frequency $(f_\textrm{peak})$, attained at core bounce. Our datasets are built from a catalog of numerically generated CCSN waveforms assembled by Richers 2017. Those waveforms are injected into noise from the Advanced LIGO and Advanced Virgo detectors corresponding to the O2 and O3a observing runs. For a signal-to-noise ratio (SNR) above 5, our classification network using time series detects Galactic CCSN GW signals buried in detector noise with a false positive rate (FPR) of 0.10% and a 98% accuracy, being able to detect all signals with SNR>10. The inference of $f_\textrm{peak}$ is more accurate than for $D \cdot \Delta h $, particularly for our datasets with the shortest time window (0.25 s) and for a minimum SNR=15. From the calibration plots of predicted versus true values of the two parameters, the standard deviation ($\sigma$) and the slope deviation with respect to the ideal value are computed. We find $\sigma_{D \cdot \Delta h}$ = 52.6cm and $\sigma_{f_\textrm{peak}}$ = 18.3Hz, with respective slope deviations of 11.6% and 8.3%. Our best model is also tested on waveforms from a recent CCSN catalog built by Mitra 2023, different from the one used for the training. For these new waveforms the true values of the two parameters are mostly within the 1$\sigma$ band around the network's predicted values. Our results show that DL techniques hold promise to infer physical parameters of Galactic rotational CCSN even in the presence of real (non-Gaussian) noise conditions from current GW detectors.


title: Lee-Wave Energy Sinks in Bottom-Intensified Flow: Reabsorption, Dissipation and Nonlinear Spectral Transfer

abstract: Idealized numerical simulation is used to explore energy sinks for lee waves trapped in their bottom-intensified generating flow. In addition to the loss to explicit dissipation and reabsorption predicted by linear wave action conservation, indirect dissipation due to a nonlinear forward cascade by parametric subharmonic instability represents a significant sink that substantially reduces reabsorption. The partition of lee-wave energy loss between reabsorption and (explicit plus indirect) dissipation is independent of subgridscale damping parameterization. Remote dissipation of freely propagating internal waves generated by shear instability at the lee-wave critical layer proves to be small. A general parameterization for lee-wave dissipation of the balanced flow requires a more complete exploration of the parameter space.


title: A spatiotemporal style transfer algorithm for dynamic visual stimulus generation

abstract: Understanding how visual information is encoded in biological and artificial systems often requires vision scientists to generate appropriate stimuli to test specific hypotheses. Although deep neural network models have revolutionized the field of image generation with methods such as image style transfer, available methods for video generation are scarce. Here, we introduce the Spatiotemporal Style Transfer (STST) algorithm, a dynamic visual stimulus generation framework that allows powerful manipulation and synthesis of video stimuli for vision research. It is based on a two-stream deep neural network model that factorizes spatial and temporal features to generate dynamic visual stimuli whose model layer activations are matched to those of input videos. As an example, we show that our algorithm enables the generation of model metamers, dynamic stimuli whose layer activations within our two-stream model are matched to those of natural videos. We show that these generated stimuli match the low-level spatiotemporal features of their natural counterparts but lack their high-level semantic features, making it a powerful paradigm to study object recognition. Late layer activations in deep vision models exhibited a lower similarity between natural and metameric stimuli compared to early layers, confirming the lack of high-level information in the generated stimuli. Finally, we use our generated stimuli to probe the representational capabilities of predictive coding deep networks. These results showcase potential applications of our algorithm as a versatile tool for dynamic stimulus generation in vision science.


title: BNSR-Invariants of Surface Houghton Groups

abstract: The surface Houghton groups $\mathcal{H}_{n}$ are a family of groups generalizing Houghton groups $H_n$, which are constructed as asymptotically rigid mapping class groups. We give a complete computation of the BNSR-invariants $\Sigma^{m}(P\mathcal{H}_{n})$ of their intersection with the pure mapping class group. To do so, we prove that the associated Stein--Farley cube complex is CAT(0), and we adapt Zaremsky's method for computing the BNSR-invariants of the Houghton groups. As a consequence, we give a criterion for when subgroups of $H_n$ and $P\mathcal{H}_{n}$ having the same finiteness length as their parent group are finite index. We also discuss the failure of some of these groups to be co-Hopfian.


title: Expected Impact of Glints from Space Debris in the LSST

abstract: We examine the simple model put forth in a recent note by Loeb regarding the brightness of space debris in the size range of 1-10 cm and their impact on the Rubin Observatory Legacy Survey of Space and Time (LSST) transient object searches. Their main conclusion was that "image contamination by untracked space debris might pose a bigger challenge [than large commercial satellite constellations in LEO]". Following corrections and improvements to this model, we calculate the apparent brightness of tumbling low-Earth orbit (LEO) debris of various sizes, and we briefly discuss the likely impact and potential mitigations of glints from space debris in LSST. We find the majority of the difference in predicted signal-to-noise ratio (S/N), about a factor of 6, arises from the defocus of LEO objects due to the large Simonyi Survey Telescope primary mirror and finite range of the debris. The largest change from the Loeb estimates is that 1-10 cm debris in LEO pose no threat to LSST transient object alert generation because their S/N for detection will be much lower than estimated by Loeb due to defocus. We find that only tumbling LEO debris larger than 10 cm or with significantly greater reflectivity, which give 1 ms glints, might be detected with high confidence (S/N > 5). We estimate that only one in five LSST exposures low on the sky during twilight might be affected. More slowly tumbling objects of larger size can give flares in brightness that are easily detected; however, these will not be cataloged by the LSST Science Pipelines because of the resulting long streak.


title: AFreeCA: Annotation-Free Counting for All

abstract: Object counting methods typically rely on manually annotated datasets. The cost of creating such datasets has restricted the versatility of these networks to count objects from specific classes (such as humans or penguins), and counting objects from diverse categories remains a challenge. The availability of robust text-to-image latent diffusion models (LDMs) raises the question of whether these models can be utilized to generate counting datasets. However, LDMs struggle to create images with an exact number of objects based solely on text prompts but they can be used to offer a dependable \textit{sorting} signal by adding and removing objects within an image. Leveraging this data, we initially introduce an unsupervised sorting methodology to learn object-related features that are subsequently refined and anchored for counting purposes using counting data generated by LDMs. Further, we present a density classifier-guided method for dividing an image into patches containing objects that can be reliably counted. Consequently, we can generate counting data for any type of object and count them in an unsupervised manner. Our approach outperforms other unsupervised and few-shot alternatives and is not restricted to specific object classes for which counting data is available. Code to be released upon acceptance.


title: The area of H\"ugelsch\"affer curves via Taylor series

abstract: In this paper, we give new Taylor approximative formulae for the area of the egg-shaped parts of H\"ugelsch\"affer curves. Based on a parametrization of the H\"ugelsch\"affer curve, a formula for the area of the egg-shaped part of such a curve is derived via elliptic integrals of the first and second kind. Furthermore, new approximative formulae for calculating this area derived from standard and double Taylor approximations are given. A representation of the value $\frac{1}{\pi}$ was also obtained using an appropriate series.


title: MEIT: Multi-Modal Electrocardiogram Instruction Tuning on Large Language Models for Report Generation

abstract: Electrocardiogram (ECG) is the primary non-invasive diagnostic tool for monitoring cardiac conditions and is crucial in assisting clinicians. Recent studies have concentrated on classifying cardiac conditions using ECG data but have overlooked ECG report generation, which is time-consuming and requires clinical expertise. To automate ECG report generation and ensure its versatility, we propose the Multimodal ECG Instruction Tuning (MEIT) framework, the first attempt to tackle ECG report generation with LLMs and multimodal instructions. To facilitate future research, we establish a benchmark to evaluate MEIT with various LLMs backbones across two large-scale ECG datasets. Our approach uniquely aligns the representations of the ECG signal and the report, and we conduct extensive experiments to benchmark MEIT with nine open-source LLMs using more than 800,000 ECG reports. MEIT's results underscore the superior performance of instruction-tuned LLMs, showcasing their proficiency in quality report generation, zero-shot capabilities, and resilience to signal perturbation. These findings emphasize the efficacy of our MEIT framework and its potential for real-world clinical application.


title: Tensor approximation of functional differential equations

abstract: Functional Differential Equations (FDEs) play a fundamental role in many areas of mathematical physics, including fluid dynamics (Hopf characteristic functional equation), quantum field theory (Schwinger-Dyson equation), and statistical physics. Despite their significance, computing solutions to FDEs remains a longstanding challenge in mathematical physics. In this paper we address this challenge by introducing new approximation theory and high-performance computational algorithms designed for solving FDEs on tensor manifolds. Our approach involves approximating FDEs using high-dimensional partial differential equations (PDEs), and then solving such high-dimensional PDEs on a low-rank tensor manifold leveraging high-performance parallel tensor algorithms. The effectiveness of the proposed approach is demonstrated through its application to the Burgers-Hopf FDE, which governs the characteristic functional of the stochastic solution to the Burgers equation evolving from a random initial state.

categories: math.NA cs.NA math-ph math.MP physics.comp-ph


title: Langmuir turbulence in suspended kelp farms

abstract: This study investigates the influence of suspended kelp farms on ocean mixed layer hydrodynamics in the presence of currents and waves. We use the large eddy simulation method, where the wave effect is incorporated by solving the wave-averaged equations. Distinct Langmuir circulation patterns are generated within various suspended farm configurations, including horizontally uniform kelp blocks and spaced kelp rows. Intensified turbulence arises from the farm-generated Langmuir circulation, as opposed to the standard Langmuir turbulence observed without a farm. The creation of Langmuir circulation within the farm is attributed to two primary factors depending on farm configuration: (1) enhanced vertical shear due to kelp frond area density variability, and (2) enhanced lateral shear due to canopy discontinuity at lateral edges of spaced rows. Both enhanced vertical and lateral shear of streamwise velocity, representing the lateral and vertical vorticity components respectively, can be tilted into downstream vorticity to create Langmuir circulation. This vorticity tilting is driven by the Craik- Leibovich vortex force associated with the Stokes drift of surface gravity waves. In addition to the farm-generated Langmuir turbulence, canopy shear layer turbulence is created at the farm bottom edge due to drag discontinuity. The intensity of different types of turbulence depends on both kelp frond area density and the geometric configuration of the farm. The farm-generated turbulence has substantial consequences for nutrient supply and kelp growth. These findings also underscore the significance of the presence of obstacle structures in modifying ocean mixed layer characteristics.


title: A physics-constrained deep learning surrogate model of the runaway electron avalanche growth rate

abstract: A surrogate model of the runaway electron avalanche growth rate in a magnetic fusion plasma is developed. This is accomplished by employing a physics-informed neural network (PINN) to learn the parametric solution of the adjoint to the relativistic Fokker-Planck equation. The resulting PINN is able to evaluate the runaway probability function across a broad range of parameters in the absence of any synthetic or experimental data. This surrogate of the adjoint relativistic Fokker-Planck equation is then used to infer the avalanche growth rate as a function of the electric field, synchrotron radiation and effective charge. Predictions of the avalanche PINN are compared against first principle calculations of the avalanche growth rate with excellent agreement observed across a broad range of parameters.


title: Electric field of DNA in solution: who is in charge?

abstract: In solution, DNA is a highly charged macromolecule which bears a unit of negative charge on each phosphate of its sugar-phosphate backbone. Although partially compensated by counterions adsorbed at or condensed near it, DNA still produces a substantial electric field in its vicinity, which is screened by buffer electrolyte at longer distances from the DNA. Such field has been explored so far predominantly within the scope of a primitive model of the electrolytic solution, not considering more complicated structural effects of the water solvent. In this paper we investigate the distribution of electric field around DNA using linear response nonlocal electrostatic theory, applied here for helix-specific charge distributions, and compare the predictions of such theory with specially performed fully atomistic large scale molecular dynamics simulations. The main finding of this study is that oscillations in the electrostatic potential distribution are present around DNA, caused by the overscreening effect of structured water. Surprisingly, electrolyte ions at physiological concentrations do not strongly disrupt these oscillations, and rather distribute according to these oscillating patterns, indicating that water structural effects dominate the short-range electrostatics. We also show that (i) structured water adsorbed in the grooves of DNA lead to a positive electrostatic potential core, (ii) the Debye length some 10 {\AA} away from the DNA is reduced, effectively renormalised by the helical pitch of the DNA, and (iii) Lorentzian contributions to the nonlocal dielectric function of water, effectively reducing the dielectric constant close to the DNA, enhances the overall electric field. The impressive agreement between the atomistic simulations and the developed theory substantiates the use of nonlocal electrostatics when considering solvent effects in molecular processes in biology.


title: Improving the Cosmological Constraints by Inferring the Formation Channel of Extreme-mass-ratio Inspirals

abstract: Extreme-mass-ratio inspirals (EMRIs) could be detected by space-borne gravitational-wave (GW) detectors, such as the Laser Interferometer Space Antenna (LISA), TianQin and Taiji. Localizing EMRIs by GW detectors can help us select candidate host galaxies, which can be used to infer the cosmic expansion history. In this paper, we demonstrate that the localization information can also be used to infer the formation channel of EMRIs, and hence allow us to extract more precisely the redshift probability distributions. By conducting mock observations of the EMRIs which can be detected by TianQin and LISA, as well as the galaxies which can be provided by the future Chinese Space Station Telescope, we find that TianQin can constrain the Hubble-Lema\^itre constant $H_0$ to a precision of $\sim3\%-8\%$ and the dark energy equation of state parameter $w_0$ to $\sim10\%-40\%$. The TianQin+LISA network, by increasing the localization accuracy, can improve the precisions of $H_0$ and $w_0$ to $\sim0.4\%-7\%$ and $\sim4\%-20\%$, respectively. Then, considering an illustrative case in which all EMRIs originate in AGNs, and combining the mock EMRI observation with a mock AGN catalog, we show that TianQin can recognize the EMRI-AGN correlation with $\sim 1300$ detections. The TianQin+LISA network can reduce this required number to $\sim 30$. Additionally, we propose a statistical method to directly estimate the fraction of EMRIs produced in AGNs, $f_{\rm agn}$, and show that observationally deriving this value could significantly improve the constraints on the cosmological parameters. These results demonstrate the potentials of using EMRIs as well as galaxy and AGN surveys to improve the constraints on cosmological parameters and the formation channel of EMRIs.

categories: astro-ph.CO astro-ph.HE astro-ph.IM gr-qc


title: NP-Completeness for the Space-Optimality of Double-Array Tries

abstract: Indexing a set of strings for prefix search or membership queries is a fundamental task with many applications such as information retrieval or database systems. A classic abstract data type for modelling such an index is a trie. Due to the fundamental nature of this problem, it has sparked much interest, leading to a variety of trie implementations with different characteristics. A trie implementation that has been well-used in practice is the double-array (trie) consisting of merely two integer arrays. While a traversal takes constant time per node visit, the needed space consumption in computer words can be as large as the product of the number of nodes and the alphabet size. Despite that several heuristics have been proposed on lowering the space requirements, we are unaware of any theoretical guarantees. In this paper, we study the decision problem whether there exists a double-array of a given size. To this end, we first draw a connection to the sparse matrix compression problem, which makes our problem NP-complete for alphabet sizes linear to the number of nodes. We further propose a reduction from the restricted directed Hamiltonian path problem, leading to NP-completeness even for logarithmic-sized alphabets.


title: Evaluating Physics Informed Neural Network Performance for Seismic Discrimination Between Earthquakes and Explosions

abstract: Combining physics with machine learning models has advanced the performance of machine learning models in many different applications. In this paper, we evaluate adding a weak physics constraint, i.e., a physics-based empirical relationship, to the loss function (the Physics Informed manner) in local distance explosion discrimination in the hope of improving the generalization capability of the machine learning model. We compare the proposed model to the two-branch model we previously developed, as well as to a pure data-driven model. Unexpectedly, the proposed model did not consistently outperform the pure data-driven model. By varying the level of inconsistency in the training data, we find this approach is modulated by the strength of the physics relationship. This result has important implications for how to best incorporate physical constraints in Machine Learning models.


title: Geometrically Constrained Localized Configurations: First-Order Framework and Analytical Solutions

abstract: This work deals with the presence of topological structures in models of two real scalar fields in the two-dimensional spacetime. The subject concerns the presence of a geometric constriction, which appears with a modification of the kinetic term of one of the two fields. We elaborate on the construction of a first-order framework, which directly contributes to find analytical solutions. We describe several distinct possibilities, in particular, the case where the first-order equations do not separate. This is much harder, but we use the integrating factor to deal with analytical configurations. The proposed methodology help us deal with localized structures of both the N\'eel and Bloch type very naturally, and we end the work suggesting some possibilities of applications in distinct areas of nonlinear science.


title: Fooling Neural Networks for Motion Forecasting via Adversarial Attacks

abstract: Human motion prediction is still an open problem, which is extremely important for autonomous driving and safety applications. Although there are great advances in this area, the widely studied topic of adversarial attacks has not been applied to multi-regression models such as GCNs and MLP-based architectures in human motion prediction. This work intends to reduce this gap using extensive quantitative and qualitative experiments in state-of-the-art architectures similar to the initial stages of adversarial attacks in image classification. The results suggest that models are susceptible to attacks even on low levels of perturbation. We also show experiments with 3D transformations that affect the model performance, in particular, we show that most models are sensitive to simple rotations and translations which do not alter joint distances. We conclude that similar to earlier CNN models, motion forecasting tasks are susceptible to small perturbations and simple 3D transformations.


title: A Tractability Gap Beyond Nim-Sums: It's Hard to Tell Whether a Bunch of Superstars Are Losers

abstract: In this paper, we address a natural question at the intersection of combinatorial game theory and computational complexity: "Can a sum of simple tepid games in canonical form be intractable?" To resolve this fundamental question, we consider superstars, positions first introduced in Winning Ways where all options are nimbers. Extending Morris' classic result with hot games to tepid games, we prove that disjunctive sums of superstars are intractable to solve. This is striking as sums of nimbers can be computed in linear time. Our analyses also lead to a family of elegant board games with intriguing complexity, for which we present web-playable versions of the rulesets described within.


title: Using HI observations of low-mass galaxies to test ultra-light axion dark matter

abstract: We evaluate recent and upcoming low-redshift neutral hydrogen (HI) surveys as a cosmological probe of small scale structure with a goal of determining the survey criteria necessary to test ultra-light axion (ULA) dark matter models. Standard cold dark matter (CDM) models predict a large population of low-mass galactic halos, whereas ULA models demonstrate significant suppression in this small-scale regime, with halo mass cutoffs of $10^{12}\, \mathrm{M}_{\odot}$ to $10^{7}\, \mathrm{M}_{\odot}$ corresponding to ULA masses of $10^{-24}\,$eV to $10^{-20}\,$eV, respectively. We generate random, homogeneously populated mock universes with cosmological parameters adjusted to match CDM and ULA models. We simulate observations of these mock universes with hypothetical analogs of the mass-limited ALFALFA and WALLABY HI surveys and reconstruct the corresponding HI mass function (HIMF). We find that the ALFALFA HIMF can test for the presence of ULA DM with $m_{a}\lesssim 10^{-21.5}\,$eV, while WALLABY could reach the larger window $m_{a}\lesssim 10^{-20.9}\,$eV. These constraints are complementary to other probes of ULA dark matter, demonstrating the utility of local Universe HI surveys in testing dark matter models.


title: Automatic and Universal Prompt Injection Attacks against Large Language Models

abstract: Large Language Models (LLMs) excel in processing and generating human language, powered by their ability to interpret and follow instructions. However, their capabilities can be exploited through prompt injection attacks. These attacks manipulate LLM-integrated applications into producing responses aligned with the attacker's injected content, deviating from the user's actual requests. The substantial risks posed by these attacks underscore the need for a thorough understanding of the threats. Yet, research in this area faces challenges due to the lack of a unified goal for such attacks and their reliance on manually crafted prompts, complicating comprehensive assessments of prompt injection robustness. We introduce a unified framework for understanding the objectives of prompt injection attacks and present an automated gradient-based method for generating highly effective and universal prompt injection data, even in the face of defensive measures. With only five training samples (0.3% relative to the test data), our attack can achieve superior performance compared with baselines. Our findings emphasize the importance of gradient-based testing, which can avoid overestimation of robustness, especially for defense mechanisms.


title: Efficiency of Non-Thermal Pulsed Emission from Eight MeV Pulsars

abstract: We report on the properties of pulsed X-ray emission from eight MeV pulsars using XMM-Newton, NICER, NuSTAR and HXMT data. For the five among eight MeV pulsars, the X-ray spectra can be fitted by a broken-power law model with a break energy of $\sim5-10$ keV. The photon index below and above break energy are $\sim 1$ and $\sim 1.5$, respectively. In comparison with the X-ray emission of the $Fermi$-LAT pulsars, the MeV pulsars have a harder spectrum and ahigher radiation efficiency in 0.3-10 keV energy bands. By assuming the isotropic emission, the emission efficiency in the keV-MeV bands is estimated to be $\eta_{MeV}\sim 0.01-0.1$, and it is similar to the efficiency of GeV emission of the $Fermi$-LAT pulsars that have similar spin-down power. To explain the observed efficiency of the MeV pulsars, we estimate the required pair multiplicity as $10^{4-7}$ that depends on the emission process (curvature radiation or synchrotron radiation) and the location in the magnetosphere. The large multiplicity indicates that the secondary pairs that are created by a pair-creation process of the GeV photons produce the X-ray/soft gamma-ray emissions of the MeV pulsars. We speculate that the difference between the MeV pulsars and $Fermi$-LAT pulsars is attributed to the difference in viewing angle measured from the spin-axis, if the emission originates from a region inside the light cylinder (canonical gap model) or the difference in the inclination angle of the magnetic axis, if the emission is produced from equatorial current sheet outside the light cylinder.


title: Information divergences to parametrize astrophysical uncertainties in dark matter direct detection

abstract: Astrophysical uncertainties in dark matter direct detection experiments are typically addressed by parametrizing the velocity distribution in terms of a few uncertain parameters that vary around some central values. Here we propose a method to optimize over all velocity distributions lying within a given distance measure from a central distribution. We discretize the dark matter velocity distribution as a superposition of streams, and use a variety of information divergences to parametrize its uncertainties. With this, we bracket the limits on the dark matter-nucleon and dark matter-electron scattering cross sections, when the true dark matter velocity distribution deviates from the commonly assumed Maxwell-Boltzmann form. The methodology pursued is general and could be applied to other physics scenarios where a given physical observable depends on a function that is uncertain.


title: SecGPT: An Execution Isolation Architecture for LLM-Based Systems

abstract: Large language models (LLMs) extended as systems, such as ChatGPT, have begun supporting third-party applications. These LLM apps leverage the de facto natural language-based automated execution paradigm of LLMs: that is, apps and their interactions are defined in natural language, provided access to user data, and allowed to freely interact with each other and the system. These LLM app ecosystems resemble the settings of earlier computing platforms, where there was insufficient isolation between apps and the system. Because third-party apps may not be trustworthy, and exacerbated by the imprecision of the natural language interfaces, the current designs pose security and privacy risks for users. In this paper, we propose SecGPT, an architecture for LLM-based systems that aims to mitigate the security and privacy issues that arise with the execution of third-party apps. SecGPT's key idea is to isolate the execution of apps and more precisely mediate their interactions outside of their isolated environments. We evaluate SecGPT against a number of case study attacks and demonstrate that it protects against many security, privacy, and safety issues that exist in non-isolated LLM-based systems. The performance overhead incurred by SecGPT to improve security is under 0.3x for three-quarters of the tested queries. To foster follow-up research, we release SecGPT's source code at https://github.com/llm-platform-security/SecGPT.


title: The Local Bubble is a Local Chimney: A New Model from 3D Dust Mapping

abstract: Leveraging a high-resolution 3D dust map of the solar neighborhood from Edenhofer et al. (2023), we derive a new 3D model for the dust-traced surface of the Local Bubble, the supernova-driven cavity surrounding the Sun. We find that the surface of the Local Bubble is highly irregular in shape, with its peak extinction surface falling at an average distance of 170 pc from the Sun (spanning 70-600+ pc) with a typical thickness of 35 pc and a total dust-traced mass of $(6.0 \pm 0.7) \times 10^5 \ \rm{M}_{\odot}$. The Local Bubble displays an extension in the Galactic Northern hemisphere that is morphologically consistent with representing a "Local Chimney." We argue this chimney was likely created by the "bursting" of this supernova-driven superbubble, leading to the funneling of interstellar medium ejecta into the lower Galactic halo. We find that many well-known dust features and molecular clouds fall on the surface of the Local Bubble and that several tunnels to other adjacent cavities in the interstellar medium may be present. Our new, parsec-resolution view of the Local Bubble may be used to inform future analysis of the evolution of nearby gas and young stars, the investigation of direct links between the solar neighborhood and the Milky Way's lower halo, and numerous other applications.


title: C2P-GCN: Cell-to-Patch Graph Convolutional Network for Colorectal Cancer Grading

abstract: Graph-based learning approaches, due to their ability to encode tissue/organ structure information, are increasingly favored for grading colorectal cancer histology images. Recent graph-based techniques involve dividing whole slide images (WSIs) into smaller or medium-sized patches, and then building graphs on each patch for direct use in training. This method, however, fails to capture the tissue structure information present in an entire WSI and relies on training from a significantly large dataset of image patches. In this paper, we propose a novel cell-to-patch graph convolutional network (C2P-GCN), which is a two-stage graph formation-based approach. In the first stage, it forms a patch-level graph based on the cell organization on each patch of a WSI. In the second stage, it forms an image-level graph based on a similarity measure between patches of a WSI considering each patch as a node of a graph. This graph representation is then fed into a multi-layer GCN-based classification network. Our approach, through its dual-phase graph construction, effectively gathers local structural details from individual patches and establishes a meaningful connection among all patches across a WSI. As C2P-GCN integrates the structural data of an entire WSI into a single graph, it allows our model to work with significantly fewer training data compared to the latest models for colorectal cancer. Experimental validation of C2P-GCN on two distinct colorectal cancer datasets demonstrates the effectiveness of our method.


title: An In-depth Evaluation of GPT-4 in Sentence Simplification with Error-based Human Assessment

abstract: Sentence simplification, which rewrites a sentence to be easier to read and understand, is a promising technique to help people with various reading difficulties. With the rise of advanced large language models (LLMs), evaluating their performance in sentence simplification has become imperative. Recent studies have used both automatic metrics and human evaluations to assess the simplification abilities of LLMs. However, the suitability of existing evaluation methodologies for LLMs remains in question. First, the suitability of current automatic metrics on LLMs' simplification evaluation is still uncertain. Second, current human evaluation approaches in sentence simplification often fall into two extremes: they are either too superficial, failing to offer a clear understanding of the models' performance, or overly detailed, making the annotation process complex and prone to inconsistency, which in turn affects the evaluation's reliability. To address these problems, this study provides in-depth insights into LLMs' performance while ensuring the reliability of the evaluation. We design an error-based human annotation framework to assess the GPT-4's simplification capabilities. Results show that GPT-4 generally generates fewer erroneous simplification outputs compared to the current state-of-the-art. However, LLMs have their limitations, as seen in GPT-4's struggles with lexical paraphrasing. Furthermore, we conduct meta-evaluations on widely used automatic metrics using our human annotations. We find that while these metrics are effective for significant quality differences, they lack sufficient sensitivity to assess the overall high-quality simplification by GPT-4.


title: Tell me the truth: A system to measure the trustworthiness of Large Language Models

abstract: Large Language Models (LLM) have taken the front seat in most of the news since November 2022, when ChatGPT was introduced. After more than one year, one of the major reasons companies are resistant to adopting them is the limited confidence they have in the trustworthiness of those systems. In a study by (Baymard, 2023), ChatGPT-4 showed an 80.1% false-positive error rate in identifying usability issues on websites. A Jan. '24 study by JAMA Pediatrics found that ChatGPT has an accuracy rate of 17% percent when diagnosing pediatric medical cases (Barile et al., 2024). But then, what is "trust"? Trust is a relative, subject condition that can change based on culture, domain, individuals. And then, given a domain, how can the trustworthiness of a system be measured? In this paper, I present a systematic approach to measure trustworthiness based on a predefined ground truth, represented as a knowledge graph of the domain. The approach is a process with humans in the loop to validate the representation of the domain and to fine-tune the system. Measuring the trustworthiness would be essential for all the entities operating in critical environments, such as healthcare, defense, finance, but it would be very relevant for all the users of LLMs.


title: StereoDiffusion: Training-Free Stereo Image Generation Using Latent Diffusion Models

abstract: The demand for stereo images increases as manufacturers launch more XR devices. To meet this demand, we introduce StereoDiffusion, a method that, unlike traditional inpainting pipelines, is trainning free, remarkably straightforward to use, and it seamlessly integrates into the original Stable Diffusion model. Our method modifies the latent variable to provide an end-to-end, lightweight capability for fast generation of stereo image pairs, without the need for fine-tuning model weights or any post-processing of images. Using the original input to generate a left image and estimate a disparity map for it, we generate the latent vector for the right image through Stereo Pixel Shift operations, complemented by Symmetric Pixel Shift Masking Denoise and Self-Attention Layers Modification methods to align the right-side image with the left-side image. Moreover, our proposed method maintains a high standard of image quality throughout the stereo generation process, achieving state-of-the-art scores in various quantitative evaluations.


title: Heavy quarkonium spectral function in an anisotropic background

abstract: In this paper, we use a five-dimensional Einstein-dilaton-two-Maxwell holographic QCD model to investigate the dissociation effects of $J/\Psi$ and $\Upsilon(1S)$ states in an anisotropic medium by calculating their spectral functions. First, we present the holographic quarkonium masses at zero temperature via Physics-Informed Neural Networks. Then, at finite temperature, we derive the spectral functions, representing heavy vector mesons as peaks, and observe that with increasing anisotropy, temperature, chemical potential, and warp factor, the peak height diminishes while its width expands, indicating an accelerated dissociation process. Additionally, the results indicate the anisotropy induces a stronger dissociation effect in the direction parallel to the polarization compared to the perpendicular, revealing the anisotropy's directional influence.


title: Validation of hydrodynamic and kinetic simulations with a plasma interpenetration ICF hohlraum experiment

abstract: We report on simulations of counter-propagating laser-produced plasmas in an inertial confinement fusion (ICF) hohlraum surrogate, aiming to replicate observations reported by Le Pape et. al in recent work. The conditions of the colliding plasmas are relevant to ICF hohlraums used for indirect-drive ignition, and are obtained both with and without low-density He-gas fill. We compare experimental diagnostics to outputs from simulations using the 1D-2V Vlasov-Fokker-Planck kinetic code iFP and the xRAGE radiation-hydrodynamics code. These include the inferred radial lineouts of inferred ion number fraction and ion and electron temperatures, as well as the reported experimental Thomson-scattering (TS) spectra (compared via synthetic TS diagnostics). We observe that 1D kinetic simulations capture the plasma states reported in the experimental diagnostics quite well. Counter-intuitively, the kinetic simulations capture the gas-fill experiment (expected to be more `hydro-like') better than the vacuum experiment, while the reverse is observed for hydrodynamic simulations. This is attributed to the presence of non-trivial multi-dimensional hydrodynamic effects which are more dominant in the vacuum experiment. These effects are somewhat inhibited in the gas-fill experiment, permitting quasi-1D kinetic plasma transport to play more of a role in producing plasma interpenetration. Differences between the effects of Maxwellian vs. non-Maxwellian (`full f') synthetic TS diagnostics are investigated for the kinetic simulations. We find non-Maxwellian TS spectra differ non-trivially from Maxwellian spectra, which suggests caution may be warranted when applying Maxwellian TS models to infer plasma conditions via backward modeling when kinetic effects may be present.


title: ActFormer: Scalable Collaborative Perception via Active Queries

abstract: Collaborative perception leverages rich visual observations from multiple robots to extend a single robot's perception ability beyond its field of view. Many prior works receive messages broadcast from all collaborators, leading to a scalability challenge when dealing with a large number of robots and sensors. In this work, we aim to address \textit{scalable camera-based collaborative perception} with a Transformer-based architecture. Our key idea is to enable a single robot to intelligently discern the relevance of the collaborators and their associated cameras according to a learned spatial prior. This proactive understanding of the visual features' relevance does not require the transmission of the features themselves, enhancing both communication and computation efficiency. Specifically, we present ActFormer, a Transformer that learns bird's eye view (BEV) representations by using predefined BEV queries to interact with multi-robot multi-camera inputs. Each BEV query can actively select relevant cameras for information aggregation based on pose information, instead of interacting with all cameras indiscriminately. Experiments on the V2X-Sim dataset demonstrate that ActFormer improves the detection performance from 29.89% to 45.15% in terms of AP@0.7 with about 50% fewer queries, showcasing the effectiveness of ActFormer in multi-agent collaborative 3D object detection.


title: PIPsUS: Self-Supervised Dense Point Tracking in Ultrasound

abstract: Finding point-level correspondences is a fundamental problem in ultrasound (US), since it can enable US landmark tracking for intraoperative image guidance in different surgeries, including head and neck. Most existing US tracking methods, e.g., those based on optical flow or feature matching, were initially designed for RGB images before being applied to US. Therefore domain shift can impact their performance. Training could be supervised by ground-truth correspondences, but these are expensive to acquire in US. To solve these problems, we propose a self-supervised pixel-level tracking model called PIPsUS. Our model can track an arbitrary number of points in one forward pass and exploits temporal information by considering multiple, instead of just consecutive, frames. We developed a new self-supervised training strategy that utilizes a long-term point-tracking model trained for RGB images as a teacher to guide the model to learn realistic motions and use data augmentation to enforce tracking from US appearance. We evaluate our method on neck and oral US and echocardiography, showing higher point tracking accuracy when compared with fast normalized cross-correlation and tuned optical flow. Code will be available once the paper is accepted.


title: Constraints on Metastable Dark Energy Decaying into Dark Matter

abstract: We revisit the proposal that an energy transfer from dark energy into dark matter can be described in field theory by a first order phase transition. We analyze the model proposed in Ref. Abdalla et al. (2013), using updated constraints on the decay time of a metastable dark energy from the work of Ref. Shafieloo et al. (2018). The results of our analysis show no prospects for potentially observable signals that could distinguish this scenario. We also show that such model would not drive a complete transition to a dark matter dominated phase even in a distant future. Nevertheless, the model is not excluded by the latest data and we confirm that the mass of the dark matter particle that would result from such a process corresponds to an axion-like particle, which is currently one of the best motivated dark matter candidates. We argue that extensions to this model, possibly with additional couplings, still deserve further attention as it could provide an interesting and viable description for an interacting dark sector scenario based in a single scalar field.


title: Robust Surgical Tool Tracking with Pixel-based Probabilities for Projected Geometric Primitives

abstract: Controlling robotic manipulators via visual feedback requires a known coordinate frame transformation between the robot and the camera. Uncertainties in mechanical systems as well as camera calibration create errors in this coordinate frame transformation. These errors result in poor localization of robotic manipulators and create a significant challenge for applications that rely on precise interactions between manipulators and the environment. In this work, we estimate the camera-to-base transform and joint angle measurement errors for surgical robotic tools using an image based insertion-shaft detection algorithm and probabilistic models. We apply our proposed approach in both a structured environment as well as an unstructured environment and measure to demonstrate the efficacy of our methods.


title: On Abelian extensions in mixed characteristic and ramification in codimension one

abstract: A theorem of Paul Roberts states that the integral closure of a regular local ring in a generically abelian extension is Cohen-Macaulay, provided the characteristic of the residue field does not divide the order of the Galois group. An example of Koh shows the conclusion is false in the modular case. After a modification to the statement concerning ramification over $p$ in codimension one, we give an extension of Roberts's theorem to the modular case for unramified regular local rings in mixed characteristic when the $p$-torsion of the Galois group is annihilated by $p$.


title: Hypergeometric solutions to Schwarzian equations

abstract: In this paper we study the modular differential equation $y''+s E_4\, y=0$ where $E_4$ is the weight 4 Eisenstein series and $s=-r^2$ with $r=m/n$ being a rational number in reduced form such that $m\geq 7$. This study is carried out by solving the associated Schwarzian equation $\{h,\tau\}=2\,s E_4$ and using the theory of equivariant functions on the upper half-plane and the 2-dimensional vector-valued modular forms. The solutions are expressed in terms of the Gauss hypergeometric series. This completes the study of the above-mentioned modular differential equation of the associated Schwarzian equation given that the cases $1\leq m\leq 6$ have already been treated in the litterature.


title: Embracing Large Language and Multimodal Models for Prosthetic Technologies

abstract: This article presents a vision for the future of prosthetic devices, leveraging the advancements in large language models (LLMs) and Large Multimodal Models (LMMs) to revolutionize the interaction between humans and assistive technologies. Unlike traditional prostheses, which rely on limited and predefined commands, this approach aims to develop intelligent prostheses that understand and respond to users' needs through natural language and multimodal inputs. The realization of this vision involves developing a control system capable of understanding and translating a wide array of natural language and multimodal inputs into actionable commands for prosthetic devices. This includes the creation of models that can extract and interpret features from both textual and multimodal data, ensuring devices not only follow user commands but also respond intelligently to the environment and user intent, thus marking a significant leap forward in prosthetic technology.


title: Deep Backward and Galerkin Methods for the Finite State Master Equation

abstract: This paper proposes and analyzes two neural network methods to solve the master equation for finite-state mean field games (MFGs). Solving MFGs provides approximate Nash equilibria for stochastic, differential games with finite but large populations of agents. The master equation is a partial differential equation (PDE) whose solution characterizes MFG equilibria for any possible initial distribution. The first method we propose relies on backward induction in a time component while the second method directly tackles the PDE without discretizing time. For both approaches, we prove two types of results: there exist neural networks that make the algorithms' loss functions arbitrarily small, and conversely, if the losses are small, then the neural networks are good approximations of the master equation's solution. We conclude the paper with numerical experiments on benchmark problems from the literature up to dimension 15, and a comparison with solutions computed by a classical method for fixed initial distributions.


title: Towards Data-center Level Carbon Modeling and Optimization for Deep Learning Inference

abstract: Recently, the increasing need for computing resources has led to the prosperity of data centers, which poses challenges to the environmental impacts and calls for improvements in data center provisioning strategies. In this work, we show a comprehensive analysis based on profiling a variety of deep-learning inference applications on different generations of GPU servers. Our analysis reveals several critical factors which can largely affect the design space of provisioning strategies including the hardware embodied cost estimation, application-specific features, and the distribution of carbon cost each year, which prior works have omitted. Based on the observations, we further present a first-order modeling and optimization tool for data center provisioning and scheduling and highlight the importance of environmental impacts from data center management.


title: Node Centrality Approximation For Large Networks Based On Inductive Graph Neural Networks

abstract: Closeness Centrality (CC) and Betweenness Centrality (BC) are crucial metrics in network analysis, providing essential reference for discerning the significance of nodes within complex networks. These measures find wide applications in critical tasks, such as community detection and network dismantling. However, their practical implementation on extensive networks remains computationally demanding due to their high time complexity. To mitigate these computational challenges, numerous approximation algorithms have been developed to expedite the computation of CC and BC. Nevertheless, even these approximations still necessitate substantial processing time when applied to large-scale networks. Furthermore, their output proves sensitive to even minor perturbations within the network structure. In this work, We redefine the CC and BC node ranking problem as a machine learning problem and propose the CNCA-IGE model, which is an encoder-decoder model based on inductive graph neural networks designed to rank nodes based on specified CC or BC metrics. We incorporate the MLP-Mixer model as the decoder in the BC ranking prediction task to enhance the model's robustness and capacity. Our approach is evaluated on diverse synthetic and real-world networks of varying scales, and the experimental results demonstrate that the CNCA-IGE model outperforms state-of-the-art baseline models, significantly reducing execution time while improving performance.


title: Stacking as Accelerated Gradient Descent

abstract: Stacking, a heuristic technique for training deep residual networks by progressively increasing the number of layers and initializing new layers by copying parameters from older layers, has proven quite successful in improving the efficiency of training deep neural networks. In this paper, we propose a theoretical explanation for the efficacy of stacking: viz., stacking implements a form of Nesterov's accelerated gradient descent. The theory also covers simpler models such as the additive ensembles constructed in boosting methods, and provides an explanation for a similar widely-used practical heuristic for initializing the new classifier in each round of boosting. We also prove that for certain deep linear residual networks, stacking does provide accelerated training, via a new potential function analysis of the Nesterov's accelerated gradient method which allows errors in updates. We conduct proof-of-concept experiments to validate our theory as well.


title: Know Your Audience: The benefits and pitfalls of generating plain language summaries beyond the "general" audience

abstract: Language models (LMs) show promise as tools for communicating science to the general public by simplifying and summarizing complex language. Because models can be prompted to generate text for a specific audience (e.g., college-educated adults), LMs might be used to create multiple versions of plain language summaries for people with different familiarities of scientific topics. However, it is not clear what the benefits and pitfalls of adaptive plain language are. When is simplifying necessary, what are the costs in doing so, and do these costs differ for readers with different background knowledge? Through three within-subjects studies in which we surface summaries for different envisioned audiences to participants of different backgrounds, we found that while simpler text led to the best reading experience for readers with little to no familiarity in a topic, high familiarity readers tended to ignore certain details in overly plain summaries (e.g., study limitations). Our work provides methods and guidance on ways of adapting plain language summaries beyond the single "general" audience.


title: Photonic simulation of Majorana-based Jones polynomials

abstract: Jones polynomials were introduced as a tool to distinguish between topologically different links. Recently, they emerged as the central building block of topological quantum computation: by braiding non-Abelian anyons it is possible to realise quantum algorithms through the computation of Jones polynomials. So far, it has been a formidable task to evaluate Jones polynomials through the control and manipulation of non-Abelian anyons. In this study, a photonic quantum system employing two-photon correlations and non-dissipative imaginary-time evolution is utilized to simulate two inequivalent braiding operations of Majorana zero modes. The resulting amplitudes are shown to be mathematically equivalent to Jones polynomials at a particular value of their parameter. The high-fidelity of our optical platform allows us to distinguish between a wide range of links, such as Hopf links, Solomon links, Trefoil knots, Figure Eight knots and Borromean rings, through determining their corresponding Jones polynomials. Our photonic quantum simulator represents a significant step towards executing fault-tolerant quantum algorithms based on topological quantum encoding and manipulation.


title: Paving the Way for Pass Disturb Free Vertical NAND Storage via A Dedicated and String-Compatible Pass Gate

abstract: In this work, we propose a dual-port cell design to address the pass disturb in vertical NAND storage, which can pass signals through a dedicated and string-compatible pass gate. We demonstrate that: i) the pass disturb-free feature originates from weakening of the depolarization field by the pass bias at the high-${V}_{TH}$ (HVT) state and the screening of the applied field by channel at the low-${V}_{TH}$ (LVT) state; ii) combined simulations and experimental demonstrations of dual-port design verify the disturb-free operation in a NAND string, overcoming a key challenge in single-port designs; iii) the proposed design can be incorporated in a highly scaled vertical NAND FeFET string and the pass gate can be incorporated into the existing 3D NAND with the negligible overhead of the pass gate interconnection through a global bottom pass gate contact in the substrate.


title: A 28.6 mJ/iter Stable Diffusion Processor for Text-to-Image Generation with Patch Similarity-based Sparsity Augmentation and Text-based Mixed-Precision

abstract: This paper presents an energy-efficient stable diffusion processor for text-to-image generation. While stable diffusion attained attention for high-quality image synthesis results, its inherent characteristics hinder its deployment on mobile platforms. The proposed processor achieves high throughput and energy efficiency with three key features as solutions: 1) Patch similarity-based sparsity augmentation (PSSA) to reduce external memory access (EMA) energy of self-attention score by 60.3 %, leading to 37.8 % total EMA energy reduction. 2) Text-based important pixel spotting (TIPS) to allow 44.8 % of the FFN layer workload to be processed with low-precision activation. 3) Dual-mode bit-slice core (DBSC) architecture to enhance energy efficiency in FFN layers by 43.0 %. The proposed processor is implemented in 28 nm CMOS technology and achieves 3.84 TOPS peak throughput with 225.6 mW average power consumption. In sum, 28.6 mJ/iteration highly energy-efficient text-to-image generation processor can be achieved at MS-COCO dataset.


title: Constraining Mass Transfer Models with Galactic Neutron Star$-$White Dwarf Binaries as Gravitational Wave Sources

abstract: Neutron star$-$white dwarf (NSWD) binaries are one of the most abundant sources of gravitational waves (GW) in the Milky Way. These GW sources are the evolutionary products of primordial binaries that experienced many processes of binary interaction. We employ a binary population synthesis method to investigate the properties of Galactic NSWD binaries detectable by the Laser Interferometer Space Antenna (LISA). In this paper, only the NSWD systems with a COWD or ONeWD component are included. We consider various models related to mass transfer efficiencies during primordial binary evolution, supernova explosion mechanisms at NS formation, common envelope ejection efficiencies, and critical WD masses that determining the stability of mass transfer between WDs and NSs. Based on our calculations, we estimate that tens to hundreds of LISA NSWD binaries exist in the Milky Way. We find that the detection of LISA NSWD binaries is able to provide profound insights into mass transfer efficiencies during the evolution of primordial binaries and critical WD masses during mass transfer from a WD to an NS.


title: UI Semantic Group Detection: Grouping UI Elements with Similar Semantics in Mobile Graphical User Interface

abstract: Texts, widgets, and images on a UI page do not work separately. Instead, they are partitioned into groups to achieve certain interaction functions or visual information. Existing studies on UI elements grouping mainly focus on a specific single UI-related software engineering task, and their groups vary in appearance and function. In this case, we propose our semantic component groups that pack adjacent text and non-text elements with similar semantics. In contrast to those task-oriented grouping methods, our semantic component group can be adopted for multiple UI-related software tasks, such as retrieving UI perceptual groups, improving code structure for automatic UI-to-code generation, and generating accessibility data for screen readers. To recognize semantic component groups on a UI page, we propose a robust, deep learning-based vision detector, UISCGD, which extends the SOTA deformable-DETR by incorporating UI element color representation and a learned prior on group distribution. The model is trained on our UI screenshots dataset of 1988 mobile GUIs from more than 200 apps in both iOS and Android platforms. The evaluation shows that our UISCGD achieves 6.1\% better than the best baseline algorithm and 5.4 \% better than deformable-DETR in which it is based.


title: Power-Flow-Embedded Projection Conic Matrix Completion for Low-Observable Distribution Systems

abstract: A low-observable distribution system has insufficient measurements for conventional weighted least square state estimators. Matrix completion state estimators have been suggested, but their computational times could be prohibitive. To resolve this problem, a novel and efficient power-flow-embedded projection conic matrix completion method customized for low-observable distribution systems is proposed in this letter. This method can yield more accurate state estimations (2-fold improvement) in a much shorter time (5% or less) than other methods. Case studies on different-scale systems have demonstrated the efficacy of the proposed method when applied to low-observable distribution system state estimation problems.


title: Ring class fields and a result of Hasse

abstract: For squarefree $d>1$, let $M$ denote the ring class field for the order $Z[\sqrt{-3d}]$ in $F=Q(\sqrt{-3d})$. Hasse proved that $3$ divides the class number of $F$ if and only if there exists a cubic extension $E$ of $Q$ such that $E$ and $F$ have the same discriminant. Define the real cube roots $v=(a+b\sqrt{d})^{1/3}$ and $v'=(a-b\sqrt{d})^{1/3}$, where $a+b\sqrt{d}$ is the fundamental unit in $Q(\sqrt{d})$. We prove that $E$ can be taken as $Q(v+v')$ if and only if $v \in M$. As byproducts of the proof, we give explicit congruences for $a$ and $b$ which hold if and only if $v \in M$, and we also show that the norm of the relative discriminant of $F(v)/F$ lies in $\{1, 3^6\}$ or $\{3^8, 3^{18}\}$ according as $v \in M$ or $v \notin M$. We then prove that $v$ is always in the ring class field for the order $Z[\sqrt{-27d}]$ in $F$. Some of the results above are extended for subsets of $Q(\sqrt{d})$ properly containing the fundamental units $a+b\sqrt{d}$.


title: Constraints on evaporating primordial black holes from the AMS-02 positron data

abstract: Cosmic-ray (CR) positrons are relatively rare due to its secondary origin and thus sensitive to exotic contributions. Primordial black holes (PBHs) with masses above $\sim 5\times10^{14}\,\mathrm{g}$ can be stable sources of CR positrons due to Hawking radiation. We show that the CR positron flux measured by AMS-02 can place stringent constraints on the energy fraction of PBHs relative to that of dark matter $f_{\text{PBH}}$. Making use of the state-of-the-art models for CR propagation in both the Galaxy and heliosphere, we obtain conservative upper limit of $f_{\text{PBH}}\lesssim3\times 10^{-4}$ at $M_{\mathrm{PBH}}\simeq2\times 10^{16}$ g, which improves the previous constraints obtained from the Voyager CR all-electron data by around an order of magnitude.


title: Constraining primordial black holes as dark matter using AMS-02 data

abstract: Primordial black holes (PBHs) are the plausible candidates for the cosmological dark matter. Theoretically, PBHs with masses $M_{\rm PBH}$ in the range of $4\times10^{14}\sim 10^{17}\,{\rm g}$ can emit sub-GeV electrons and positrons through Hawking radiation. Some of these particles could undergo diffusive reacceleration during propagation in the Milky Way, potentially reaching energies up to the GeV level observed by AMS-02. In this work, we utilize AMS-02 data to constrain the PBH abundance $f_{\rm PBH}$ by employing the reacceleration mechanism. Under the assumption of a monochromatic PBH mass distribution, our findings reveal that the limit is stricter than that derived from Voyager 1 data. This difference is particularly pronounced when $M_{\rm PBH}\lesssim10^{15}\,{\rm g}$, exceeding an order of magnitude. The constraints are even more robust in a more realistic scenario involving a log-normal mass distribution of PBHs. Moreover, we explore the impact of varying propagation parameters and solar modulation potential within reasonable ranges, and find that such variations have minimal effects on the final results.