title: Predicting gravitational wave signals from BPASS White Dwarf Binary and Black Hole Binary populations of a Milky Way-like galaxy model for LISA

abstract: Galactic white dwarf binaries (WDBs) and black hole binaries (BHBs) will be gravitational wave (GW) sources for LISA. Their detection will provide insights into binary evolution and the evolution of our Galaxy through cosmic history. Here, we make predictions of the expected WDB and BHB population within our Galaxy. We combine predictions of the compact remnant binary populations expected by stellar evolution by using the detailed Binary Population and Spectral Synthesis code (BPASS) with a Milky Way analogue galaxy model from the Feedback In Realistic Environment (FIRE) simulations. We use \textsc{PhenomA} and \textsc{LEGWORK} to simulate LISA observations. Both packages make similar predictions that on average four Galactic BHBs and 673 Galactic WDBs above the signal-to-noise ratio (SNR) threshold of 7 after a four-year mission. We compare these predictions to earlier results using the Binary Star Evolution (BSE) code with the same FIRE model galaxy. We find that BPASS predicts a few more LISA observable Galactic BHBs and a twentieth of the Galactic WDBs. The differences are due to the different physical assumptions that have gone into the binary evolution calculations. These results indicate that the expected population of compact binaries that LISA will detect depends very sensitively on the binary population synthesis models used and thus observations of the LISA population will provide tight constraints on our modelling of binary stars. Finally, from our synthetic populations we have created mock LISA signals that can be used to test and refine data processing methods of the eventual LISA observations.


title: Phantom: General Trigger Attacks on Retrieval Augmented Language Generation

abstract: Retrieval Augmented Generation (RAG) expands the capabilities of modern large language models (LLMs) in chatbot applications, enabling developers to adapt and personalize the LLM output without expensive training or fine-tuning. RAG systems use an external knowledge database to retrieve the most relevant documents for a given query, providing this context to the LLM generator. While RAG achieves impressive utility in many applications, its adoption to enable personalized generative models introduces new security risks. In this work, we propose new attack surfaces for an adversary to compromise a victim's RAG system, by injecting a single malicious document in its knowledge database. We design Phantom, general two-step attack framework against RAG augmented LLMs. The first step involves crafting a poisoned document designed to be retrieved by the RAG system within the top-k results only when an adversarial trigger, a specific sequence of words acting as backdoor, is present in the victim's queries. In the second step, a specially crafted adversarial string within the poisoned document triggers various adversarial attacks in the LLM generator, including denial of service, reputation damage, privacy violations, and harmful behaviors. We demonstrate our attacks on multiple LLM architectures, including Gemma, Vicuna, and Llama.


title: Policy Trees for Prediction: Interpretable and Adaptive Model Selection for Machine Learning

abstract: As a multitude of capable machine learning (ML) models become widely available in forms such as open-source software and public APIs, central questions remain regarding their use in real-world applications, especially in high-stakes decision-making. Is there always one best model that should be used? When are the models likely to be error-prone? Should a black-box or interpretable model be used? In this work, we develop a prescriptive methodology to address these key questions, introducing a tree-based approach, Optimal Predictive-Policy Trees (OP2T), that yields interpretable policies for adaptively selecting a predictive model or ensemble, along with a parameterized option to reject making a prediction. We base our methods on learning globally optimized prescriptive trees. Our approach enables interpretable and adaptive model selection and rejection while only assuming access to model outputs. By learning policies over different feature spaces, including the model outputs, our approach works with both structured and unstructured datasets. We evaluate our approach on real-world datasets, including regression and classification tasks with both structured and unstructured data. We demonstrate that our approach provides both strong performance against baseline methods while yielding insights that help answer critical questions about which models to use, and when.


title: Probabilities of Causation for Continuous and Vector Variables

abstract: Probabilities of causation (PoC) are valuable concepts for explainable artificial intelligence and practical decision-making. PoC are originally defined for scalar binary variables. In this paper, we extend the concept of PoC to continuous treatment and outcome variables, and further generalize PoC to capture causal effects between multiple treatments and multiple outcomes. In addition, we consider PoC for a sub-population and PoC with multi-hypothetical terms to capture more sophisticated counterfactual information useful for decision-making. We provide a nonparametric identification theorem for each type of PoC we introduce. Finally, we illustrate the application of our results on a real-world dataset about education.


title: Shoal++: High Throughput DAG BFT Can Be Fast!

abstract: Today's practical partially synchronous Byzantine Fault Tolerant (BFT) consensus protocols trade off low latency and high throughput. On the one end, traditional BFT protocols such as PBFT and its derivatives optimize for latency. They require, in fault-free executions, only 3 message exchanges to commit, the optimum for BFT consensus. However, this class of protocols typically relies on a single leader, hampering throughput scalability. On the other end, a new class of so-called DAG-BFT protocols demonstrates how to achieve highly scalable throughput by separating data dissemination from consensus, and using every replica as proposer. Unfortunately, existing DAG-BFT protocols pay a steep latency premium, requiring on average 10.5 message exchanges to commit a transactions. This work aims to soften this tension and proposes Shoal++, a novel DAG-based BFT consensus system that offers the throughput of DAGs while reducing commit latency to an average of 4.5 message exchanges. Our empirical findings are encouraging, showing that Shoal++ achieves throughput comparable to state-of-the-art DAG BFT solutions while reducing latency by up to 60%.


title: Stability-Constrained Learning for Frequency Regulation in Power Grids with Variable Inertia

abstract: The increasing penetration of converter-based renewable generation has resulted in faster frequency dynamics, and low and variable inertia. As a result, there is a need for frequency control methods that are able to stabilize a disturbance in the power system at timescales comparable to the fast converter dynamics. This paper proposes a combined linear and neural network controller for inverter-based primary frequency control that is stable at time-varying levels of inertia. We model the time-variance in inertia via a switched affine hybrid system model. We derive stability certificates for the proposed controller via a quadratic candidate Lyapunov function. We test the proposed control on a 12-bus 3-area test network, and compare its performance with a base case linear controller, optimized linear controller, and finite-horizon Linear Quadratic Regulator (LQR). Our proposed controller achieves faster mean settling time and over 50% reduction in average control cost across $100$ inertia scenarios compared to the optimized linear controller. Unlike LQR which requires complete knowledge of the inertia trajectories and system dynamics over the entire control time horizon, our proposed controller is real-time tractable, and achieves comparable performance to LQR.


title: Simultaneous impacts of nuclear shell structure and collectivity on $\beta$-decay: evidence from $^{80}$Ga$_{49}$

abstract: The Gamow-Teller strength distribution covering the entire $\beta$-decay window, up to 10.312(4) MeV, of $^{80g+m}$Ga was measured for the first time in photo-fission of UC$_x$ induced by 50 MeV electron beam. The new data show significant enhancement in the high-energy region with a jump-structure. Simultaneously, the $\gamma$ de-exciting behavior of $\beta$-populated states presents a competition between de-excitation to 2$_1^+$ [$\beta_2$ = 0.155(9)] and to 2$_2^+$ [$\beta_2$ = 0.053$_{0.009}^{0.008}$)] in $^{80}$Ge. Based on these facts and combined with a realistic shell model calculation and systematic analysis of logft ratio between precursor $\beta$-decay to 2$_2^+$ and to 2$_1^+$ of Ga isotopes, we conclude that these phenomena evidence simultaneous impacts of nuclear shell structure and collectivity on B(GT) and its distribution and, therefore, the half-life of the precursor. These data prove that the nucleus as a multi-nucleon correlated quantum system reacts as a whole when $\beta$-decay occurs in contrast to simple single-particle excitation. Additionally, the comparison with the theoretical results evidence how challenging is the description of the experimental data obtained, and render this experimental outcome a sound test for the theoretical models.


title: Oblique spin injection to graphene via geometry controlled magnetic nanowires

abstract: We exploit the geometry of magnetic nanowires, which define 1D contacts to an encapsulated graphene channel, to introduce an out-of-plane component in the polarisation of spin carriers. By design, the magnetic nanowires traverse the angled sides of the 2D material heterostructure. Consequently, the easy axis of the nanowires is inclined, and so the local magnetisation is oblique at the injection point. As a result, when performing non-local spin valve measurements we simultaneously observe both switching and spin precession phenomena, implying the spin population possesses both in-plane and out-of-plane polarisation components. By comparing the relative magnitudes of these components, we quantify the angle of the total spin polarisation vector. The extracted angle is consistent with the angle of the nanowire at the graphene interface, evidencing that the effect is a consequence of the device geometry. This simple method of spin-based vector magnetometry provides an alternative technique to define the spin polarisation in 2D spintronic devices.


title: Monomial identities in the Weyl algebra

abstract: Motivated by a question and some enumerative conjectures of Richard Stanley, we explore the equivalence classes of words in the Weyl algebra, $\mathbf{k} \langle D,U\rangle/(DU-UD=1)$. We show that each class is generated by the swapping of adjacent *balanced subwords*, i.e., those which have the same number of $D$'s as $U$'s, and give several other characterizations. Armed with this we deduce a number of enumerative results about the number of such equivalence classes and their sizes. We extend these results to the class of $c$-Dyck words, where every prefix has at least $c$ times as many $U$'s as $D$'s. We also connect these results to previous work on bond percolation and rook theory, and generalize them to some other algebras.


title: Semiclassical Dynamics in Wigner Phase Space I : Adiabatic Hybrid Wigner Dynamics

abstract: The Wigner phase space formulation of quantum mechanics is a complete framework for quantum dynamic calculations that elegantly highlights connections with classical dynamics. In this series of two articles, building upon previous efforts, we derive the full hierarchy of approximate semiclassical (SC) dynamic methods for adiabatic and non-adiabatic problems in Wigner phase space. In paper I, focusing on adiabatic single surface processes, we derive the well-known Double Herman-Kluk (DHK) approximation for real-time correlation functions in Wigner phase space, and connect it to the Linearized SC (LSC) approximation through a stationary phase approximation. We exploit this relationship to introduce a new hybrid SC method, termed Adiabatic Hybrid Wigner Dynamics (AHWD) that allows for a few important `system' degrees of freedom (dofs) to be treated at the DHK level, while treating the rest of the dofs (the `bath') at the LSC level. AHWD is shown to accurately capture quantum interference effects in models of coupled oscillators, and the decoherence of vibrational probability density of a model I$_2$ Morse oscillator coupled to an Ohmic thermal bath. We show that AHWD significantly mitigates the sign-problem and employs a reduced dimensional prefactor bringing calculations of complex system-bath problems within the reach of SC methods. Paper II focuses on extending this hybrid SC dynamics to nonadiabatic processes.


title: Slight Corruption in Pre-training Data Makes Better Diffusion Models

abstract: Diffusion models (DMs) have shown remarkable capabilities in generating realistic high-quality images, audios, and videos. They benefit significantly from extensive pre-training on large-scale datasets, including web-crawled data with paired data and conditions, such as image-text and image-class pairs. Despite rigorous filtering, these pre-training datasets often inevitably contain corrupted pairs where conditions do not accurately describe the data. This paper presents the first comprehensive study on the impact of such corruption in pre-training data of DMs. We synthetically corrupt ImageNet-1K and CC3M to pre-train and evaluate over 50 conditional DMs. Our empirical findings reveal that various types of slight corruption in pre-training can significantly enhance the quality, diversity, and fidelity of the generated images across different DMs, both during pre-training and downstream adaptation stages. Theoretically, we consider a Gaussian mixture model and prove that slight corruption in the condition leads to higher entropy and a reduced 2-Wasserstein distance to the ground truth of the data distribution generated by the corruptly trained DMs. Inspired by our analysis, we propose a simple method to improve the training of DMs on practical datasets by adding condition embedding perturbations (CEP). CEP significantly improves the performance of various DMs in both pre-training and downstream tasks. We hope that our study provides new insights into understanding the data and pre-training processes of DMs.


title: Transfer Q Star: Principled Decoding for LLM Alignment

abstract: Aligning foundation models is essential for their safe and trustworthy deployment. However, traditional fine-tuning methods are computationally intensive and require updating billions of model parameters. A promising alternative, alignment via decoding, adjusts the response distribution directly without model updates to maximize a target reward $r$, thus providing a lightweight and adaptable framework for alignment. However, principled decoding methods rely on oracle access to an optimal Q-function ($Q^*$), which is often unavailable in practice. Hence, prior SoTA methods either approximate this $Q^*$ using $Q^{\pi_{\texttt{sft}}}$ (derived from the reference $\texttt{SFT}$ model) or rely on short-term rewards, resulting in sub-optimal decoding performance. In this work, we propose Transfer $Q^*$, which implicitly estimates the optimal value function for a target reward $r$ through a baseline model $\rho_{\texttt{BL}}$ aligned with a baseline reward $\rho_{\texttt{BL}}$ (which can be different from the target reward $r$). Theoretical analyses of Transfer $Q^*$ provide a rigorous characterization of its optimality, deriving an upper bound on the sub-optimality gap and identifying a hyperparameter to control the deviation from the pre-trained reference $\texttt{SFT}$ model based on user needs. Our approach significantly reduces the sub-optimality gap observed in prior SoTA methods and demonstrates superior empirical performance across key metrics such as coherence, diversity, and quality in extensive tests on several synthetic and real datasets.


title: A case study comparing both stochastic and worst-case robust control co-design under different control structures

abstract: As uncertainty considerations become increasingly important aspects of concurrent plant and control optimization, it is imperative to identify and compare the impact of uncertain control co-design (UCCD) formulations on their associated solutions. While previous work developed the theory for various UCCD formulations, their implementation, along with an in-depth discussion of the structure of UCCD problems, implicit assumptions, method-dependent considerations, and practical insights, is currently missing from the literature. Therefore, in this study, we address some of these limitations by focusing on UCCD formulations, with an emphasis on optimal control structures, and uncertainty propagation techniques. Specifically, we propose three optimal control structures for UCCD problems: (i) open-loop multiple-control (OLMC), (ii) multi-stage control (MSC), and (iii) open-loop single-control (OLSC). Stochastic in expectation UCCD (SE-UCCD) and worst-case robust UCCD (WCR-UCCD) formulations, which are motivated by probabilistic and crisp representations of uncertainties, respectively, are implemented for a simplified strain-actuated solar array case study. Solutions to the OLMC SE-UCCD problem are obtained using two uncertainty propagation techniques: generalized Polynomial Chaos expansion (gPC) and Monte Carlo simulation (MCS). The OLMC and MSC WCR-UCCD problems are solved by leveraging the structure of the linear program, leading to polytopic uncertainties. To highlight the importance of uncertainty in early-stage design, the closed-loop reference-tracking response of the systems is also investigated. Insights from such studies underscore the role of the control structure in managing the trade-offs between risk and performance, as well as meeting problem requirements. The results also emphasize the benefits of efficient uncertainty propagation techniques for dynamic optimization problems.


title: Simulating the arrival of the southern substructure in the galaxy cluster Abell 1758

abstract: Abell 1758 (z~0.278) is a galaxy cluster composed of two structures: A1758N and A1758S, separated by ~2.2 Mpc. The northern cluster is itself a dissociative merging cluster that has already been modelled by dedicated simulations. Recent radio observations revealed the existence of a previously undetected bridge connecting A1758N and A1758S. New simulations are now needed to take into account the presence of A1758S. We wish to evaluate which orbital configuration would be compatible with a bridge between the clusters. Using N-body hydrodynamical simulations that build upon the previous model, we explore different scenarios that could have led to the current observed configuration. Five types of orbital approaches were tested: radial, tangential, vertical, post-apocentric, and outgoing. We found that the incoming simulated scenarios are generally consistent with mild enhancements of gas density between the approaching clusters. The mock X-ray images exhibit a detectable bridge in all cases. Compared to measurements of Chandra data, the amplitude of the X-ray excess is overestimated by a factor of ~2--3 in the best simulations. The scenario of tangential approach proved to be the one that best matches the properties of the profiles of X-ray surface brightness. The scenarios of radial approach of vertical approach are also marginally compatible.


title: Robust Decentralized Control of Coupled Systems via Risk Sensitive Control of Decoupled or Simple Models with Measure Change

abstract: Decentralized stochastic control problems with local information involve problems where multiple agents and subsystems which are coupled via dynamics and/or cost are present. Typically, however, the dynamics of such couplings is complex and difficult to precisely model, leading to questions on robustness in control design. Additionally, when such a coupling can be modeled, the problem arrived at is typically challenging and non-convex, due to decentralization of information. In this paper, we develop a robustness framework for optimal decentralized control of interacting agents, where we show that a decentralized control problem with interacting agents can be robustly designed by considering a risk-sensitive version of non-interacting agents/particles. This leads to a tractable robust formulation where we give a bound on the value of the cost function in terms of the risk-sensitive cost function for the non-interacting case plus a term involving the ``strength" of the interaction as measured by relative entropy. We will build on Gaussian measure theory and an associated variational equality. A particular application includes mean-field models consisting of (a generally large number of) interacting agents which are often hard to solve for the case with small or moderate numbers of agents, leading to an interest in effective approximations and robustness. By adapting a risk-sensitivity parameter, we also robustly control a non-symmetrically interacting problem with mean-field cost by one which is symmetric with a risk-sensitive criterion, and in the limit of small interactions, show the stability of optimal solutions to perturbations.


title: Semiclassical Dynamics in Wigner Phase Space II : nonadiabatic Hybrid Wigner Dynamics

abstract: We present an approximate semiclassical (SC) framework for mixed quantized dynamics in Wigner phase space in a two-part series. In the first article, we introduced the Adiabatic Hybrid Wigner Dynamics (AHWD) method that allows for a few important `system' degrees of freedom to be quantized using high-level Double Herman-Kluk SC theory while describing the rest (the `bath') using classical-limit Linearized SC theory. In this second article, we extend our hybrid Wigner dynamics to nonadiabatic processes. The resulting Nonadiabatic Hybrid Wigner Dynamics (NHWD) has two variants that differ in the choice of degrees of freedom to be quantized. Specifically, we introduce NHWD(E) where only the electronic state variables are quantized and the NHWD(V) where both electronic state variables and a handful of strongly coupled nuclear modes are quantized. We show that while NHWD(E) proves accurate for a wide range of scattering models and spin-boson models, systems where a few nuclear modes are strongly coupled to electronic states require NHWD(V) to accurately capture the long-time dynamics. Taken together, we show that AHWD and NHWD represent a new framework for SC simulations of high-dimensional systems with significant quantum effects.


title: Hybrid Reinforcement Learning Framework for Mixed-Variable Problems

abstract: Optimization problems characterized by both discrete and continuous variables are common across various disciplines, presenting unique challenges due to their complex solution landscapes and the difficulty of navigating mixed-variable spaces effectively. To Address these challenges, we introduce a hybrid Reinforcement Learning (RL) framework that synergizes RL for discrete variable selection with Bayesian Optimization for continuous variable adjustment. This framework stands out by its strategic integration of RL and continuous optimization techniques, enabling it to dynamically adapt to the problem's mixed-variable nature. By employing RL for exploring discrete decision spaces and Bayesian Optimization to refine continuous parameters, our approach not only demonstrates flexibility but also enhances optimization performance. Our experiments on synthetic functions and real-world machine learning hyperparameter tuning tasks reveal that our method consistently outperforms traditional RL, random search, and standalone Bayesian optimization in terms of effectiveness and efficiency.


title: ShelfHelp: Empowering Humans to Perform Vision-Independent Manipulation Tasks with a Socially Assistive Robotic Cane

abstract: The ability to shop independently, especially in grocery stores, is important for maintaining a high quality of life. This can be particularly challenging for people with visual impairments (PVI). Stores carry thousands of products, with approximately 30,000 new products introduced each year in the US market alone, presenting a challenge even for modern computer vision solutions. Through this work, we present a proof-of-concept socially assistive robotic system we call ShelfHelp, and propose novel technical solutions for enhancing instrumented canes traditionally meant for navigation tasks with additional capability within the domain of shopping. ShelfHelp includes a novel visual product locator algorithm designed for use in grocery stores and a novel planner that autonomously issues verbal manipulation guidance commands to guide the user during product retrieval. Through a human subjects study, we show the system's success in locating and providing effective manipulation guidance to retrieve desired products with novice users. We compare two autonomous verbal guidance modes achieving comparable performance to a human assistance baseline and present encouraging findings that validate our system's efficiency and effectiveness and through positive subjective metrics including competence, intelligence, and ease of use.


title: Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees

abstract: Reach-avoid specifications are one of the most common tasks in autonomous aerial vehicle (UAV) applications. Despite the intensive research and development associated with control of aerial vehicles, generating feasible trajectories though complex environments and tracking them with formal safety guarantees remain challenging. In this paper, we propose a control framework for a quadrotor UAV that enables accomplishing reach-avoid tasks with formal safety guarantees. In this proposed framework, we integrate geometric control theory for tracking and polynomial trajectory generation using Bezier curves, where tracking errors are accounted for in the trajectory synthesis process. To estimate the tracking errors, we revisit the stability analysis of the closed-loop quadrotor system, when geometric control is implemented. We show that the tracking error dynamics exhibit local exponential stability when geometric control is implemented with any positive control gains, and we derive tight uniform bounds of the tracking error. We also introduce sufficient conditions to be imposed on the desired trajectory utilizing the derived uniform bounds to ensure the well-definedness of the closed-loop system. For the trajectory synthesis, we present an efficient algorithm that enables constructing a safe tube by means of sampling-based planning and safe hyper-rectangular set computations. Then, we compute the trajectory, given as a piecewise continuous Bezier curve, through the safe tube, where a heuristic efficient approach that utilizes iterative linear programming is employed. We present extensive numerical simulations with a cluttered environment to illustrate the effectiveness of the proposed framework in reach-avoid planning scenarios.


title: Optimizing cnn-Bigru performance: Mish activation and comparative analysis with Relu

abstract: Deep learning is currently extensively employed across a range of research domains. The continuous advancements in deep learning techniques contribute to solving intricate challenges. Activation functions (AF) are fundamental components within neural networks, enabling them to capture complex patterns and relationships in the data. By introducing non-linearities, AF empowers neural networks to model and adapt to the diverse and nuanced nature of real-world data, enhancing their ability to make accurate predictions across various tasks. In the context of intrusion detection, the Mish, a recent AF, was implemented in the CNN-BiGRU model, using three datasets: ASNM-TUN, ASNM-CDX, and HOGZILLA. The comparison with Rectified Linear Unit (ReLU), a widely used AF, revealed that Mish outperforms ReLU, showcasing superior performance across the evaluated datasets. This study illuminates the effectiveness of AF in elevating the performance of intrusion detection systems.


title: FCOM: A Federated Collaborative Online Monitoring Framework via Representation Learning

abstract: Online learning has demonstrated notable potential to dynamically allocate limited resources to monitor a large population of processes, effectively balancing the exploitation of processes yielding high rewards, and the exploration of uncertain processes. However, most online learning algorithms were designed under 1) a centralized setting that requires data sharing across processes to obtain an accurate prediction or 2) a homogeneity assumption that estimates a single global model from the decentralized data. To facilitate the online learning of heterogeneous processes from the decentralized data, we propose a federated collaborative online monitoring method, which captures the latent representative models inherent in the population through representation learning and designs a novel federated collaborative UCB algorithm to estimate the representative models from sequentially observed decentralized data. The efficiency of our method is illustrated through theoretical analysis, simulation studies, and decentralized cognitive degradation monitoring in Alzheimer's disease.


title: SPOT: Text Source Prediction from Originality Score Thresholding

abstract: The wide acceptance of large language models (LLMs) has unlocked new applications and social risks. Popular countermeasures aim at detecting misinformation, usually involve domain specific models trained to recognize the relevance of any information. Instead of evaluating the validity of the information, we propose to investigate LLM generated text from the perspective of trust. In this study, we define trust as the ability to know if an input text was generated by a LLM or a human. To do so, we design SPOT, an efficient method, that classifies the source of any, standalone, text input based on originality score. This score is derived from the prediction of a given LLM to detect other LLMs. We empirically demonstrate the robustness of the method to the architecture, training data, evaluation data, task and compression of modern LLMs.


title: Do small massive superpositions necessarily significantly entangle with gravity?

abstract: Christodoulou and Rovelli (CR) [1] have argued that a Bose et al.-Marletto-Vedral (BMV) experiment that confirmed the quantum nature of gravity would give laboratory evidence for a quantum superposition of spacetime geometries created in the course of the experiment. Hanif et al. [2] have argued that mass interferometers can be used to test whether gravity acts as a quantum entity when measured. We note that not all quantum models of gravity imply that mass superpositions necessarily become significantly entangled with any degrees of freedom of the gravitational field during the experiments discussed.


title: Time and distance constraints for mass and charge interferometry

abstract: We reanalyse and extend constraints on mass and charge interferometry identified by Mari et al. (2016). We show that their constraint on the time required for coherent interference can be extended by a factor of two. We extend their analysis to consider experiments in which one interferometer measures gravitational or electric fields generated by another. We note that these analyses imply a maximum separation between a mass or charge interferometer and a decohering gravitational or electric field measurement that can be carried out without backreaction.


title: MyWeekInSight: Designing and Evaluating the Use of Visualization in Self-Management of Chronic Pain by Youth

abstract: A teenager's experience of chronic pain reverberates through multiple interacting aspects of their lives. To self-manage their symptoms, they need to understand how factors such as their sleep, social interactions, emotions and pain intersect; supporting this capability must underlie an effective personalized healthcare solution. While adult use of personal informatics for self-management of various health factors has been studied, solutions intended for adults are rarely workable for teens, who face this complex and confusing situation with unique perspectives, skills and contexts. In this design study, we explore a means of facilitating self-reflection by youth living with chronic pain, through visualization of their personal health data. In collaboration with pediatric chronic pain clinicians and a health-tech industry partner, we designed and deployed MyWeekInSight, a visualization-based self-reflection tool for youth with chronic pain. We discuss our staged design approach with this intersectionally vulnerable population, in which we balanced reliance on proxy users and data with feedback from youth viewing their own data. We report on extensive formative and in-situ evaluation, including a three-week clinical deployment, and present a framework of challenges and barriers faced in clinical deployment with mitigations that can aid fellow researchers. Our reflections on the design process yield principles, surprises, and open questions.


title: An FBG-based Stiffness Estimation Sensor for In-vivo Diagnostics

abstract: In-vivo tissue stiffness identification can be useful in pulmonary fibrosis diagnostics and minimally invasive tumor identification, among many other applications. In this work, we propose a palpation-based method for tissue stiffness estimation that uses a sensorized beam buckled onto the surface of a tissue. Fiber Bragg Gratings (FBGs) are used in our sensor as a shape-estimation modality to get real-time beam shape, even while the device is not visually monitored. A mechanical model is developed to predict the behavior of a buckling beam and is validated using finite element analysis and bench-top testing with phantom tissue samples (made of PDMS and PA-Gel). Bench-top estimations were conducted and the results were compared with the actual stiffness values. Mean RMSE and standard deviation (from the actual stiffnesses) values of 413.86 KPa and 313.82 KPa were obtained. Estimations for softer samples were relatively closer to the actual values. Ultimately, we used the stiffness sensor within a mock concentric tube robot as a demonstration of \textit{in-vivo} sensor feasibility. Bench-top trials with and without the robot demonstrate the effectiveness of this unique sensing modality in \textit{in-vivo} applications.


title: Physically Compatible 3D Object Modeling from a Single Image

abstract: We present a computational framework that transforms single images into 3D physical objects. The visual geometry of a physical object in an image is determined by three orthogonal attributes: mechanical properties, external forces, and rest-shape geometry. Existing single-view 3D reconstruction methods often overlook this underlying composition, presuming rigidity or neglecting external forces. Consequently, the reconstructed objects fail to withstand real-world physical forces, resulting in instability or undesirable deformation -- diverging from their intended designs as depicted in the image. Our optimization framework addresses this by embedding physical compatibility into the reconstruction process. We explicitly decompose the three physical attributes and link them through static equilibrium, which serves as a hard constraint, ensuring that the optimized physical shapes exhibit desired physical behaviors. Evaluations on a dataset collected from Objaverse demonstrate that our framework consistently enhances the physical realism of 3D models over existing methods. The utility of our framework extends to practical applications in dynamic simulations and 3D printing, where adherence to physical compatibility is paramount.


title: Two-Higgs Doublet Model Effective Field Theory

abstract: We construct the general two-Higgs doublet model effective field theory where the effects of additional new physics are parameterized by operators up to mass dimension-six. We further transform this effective theory to the Higgs basis and provide matching of the Wilson coefficients between the two descriptions. We illustrate the advantages of the Higgs basis which include the separation of operators that modify standard model couplings and masses from operators that contribute to scattering processes only, transparent correlations between scattering processes resulting from the same operator, and derivation of correlations between different operators in specific UV completions. For completeness, we also construct specific versions corresponding to four types of two-Higgs doublet models: type-I, -II, -X, and -Y, distinguished by $Z_2$ symmetries which restrict the couplings of the Higgs doublets to standard model fermions. Furthermore, we derive general vacuum and stability conditions of the scalar potential in the presence of higher-dimensional terms.


title: How Multilingual Are Large Language Models Fine-Tuned for Translation?

abstract: A new paradigm for machine translation has recently emerged: fine-tuning large language models (LLM) on parallel text has been shown to outperform dedicated translation systems trained in a supervised fashion on much larger amounts of parallel data (Xu et al., 2024a; Alves et al., 2024). However, it remains unclear whether this paradigm can enable massively multilingual machine translation or whether it requires fine-tuning dedicated models for a small number of language pairs. How does translation fine-tuning impact the MT capabilities of LLMs for zero-shot languages, zero-shot language pairs, and translation tasks that do not involve English? To address these questions, we conduct an extensive empirical evaluation of the translation quality of the TOWER family of language models (Alves et al., 2024) on 132 translation tasks from the multi-parallel FLORES-200 data. We find that translation fine-tuning improves translation quality even for zero-shot languages on average, but that the impact is uneven depending on the language pairs involved. These results call for further research to effectively enable massively multilingual translation with LLMs.


title: Deep Modeling of Non-Gaussian Aleatoric Uncertainty

abstract: Deep learning offers promising new ways to accurately model aleatoric uncertainty in robotic estimation systems, particularly when the uncertainty distributions do not conform to traditional assumptions of being fixed and Gaussian. In this study, we formulate and evaluate three fundamental deep learning approaches for conditional probability density modeling to quantify non-Gaussian aleatoric uncertainty: parametric, discretized, and generative modeling. We systematically compare the respective strengths and weaknesses of these three methods on simulated non-Gaussian densities as well as on real-world terrain-relative navigation data. Our results show that these deep learning methods can accurately capture complex uncertainty patterns, highlighting their potential for improving the reliability and robustness of estimation systems.


title: Should we necessarily treat masses as localized when analysing tests of quantum gravity?

abstract: Recently proposed ``table-top tests of quantum gravity'' involve creating, separating and recombining superpositions of masses at non-relativistic speeds. The general expectation is that these generate superpositions of gravitational fields via the Newtonian potential. Analyses suggest that negligible gravitational radiation is generated if the interference experiments involve sufficiently small accelerations. One way of thinking about this is that matter and the static gravitational field are temporarily entangled and then disentangled. Another is that the static gravitational field degrees of freedom are dependent on the matter and do not belong to a separate Hilbert space, and that there is always negligible entanglement between matter and dynamical gravitational degrees of freedom. In this last picture, localized masses effectively become infinitely extended objects, inseparable from their Newtonian potentials. While this picture seems hard to extend to a fully relativistic theory of non-quantum gravity, it has significant implications for analyses of how or whether BMV and other non-relativistic experiments might test the quantum nature of gravity. If the masses in a BMV experiment are regarded as occupying overlapping regions (or indeed all of space), explaining how they become entangled does not require that their gravitational interaction involves quantum information exchange. On this view, while the experiments test gravity in a regime where quantum theory describes all relevant matter degrees of freedom, they do not necessarily test its quantum nature. It might be argued that no plausible explanation other than quantum gravity could be consistent both with these experiments and with relativity. But this relies on further theoretical assumptions and is weaker than claiming direct evidence for quantum gravitational interactions from the experiments alone.


title: Hamiltonian structure and constraint algebra in the (2+2) formalism

abstract: The canonical formalism of the (2+2) formulation of general relativity of 4 spacetime dimensions is studied under no symmetry assumptions, where the spacetime is viewed as a local product of a 2 dimensional base manifold of Lorentzian signature with the vertical space as its complement. The affine null parameter is chosen as the time coordinate whose level surfaces are 3 dimensional spacelike hypersurfaces. From the first-order action principle, Hamilton's equations of motion and the constraints are obtained, which are found to be equivalent to the Einstein's equations. The constraint algebra is also presented, which has interesting subalgebras such as the infinite dimensional Lie algebra of the diffeomorphisms of the 2 dimensional vertical space, infinite dimensional Virasoro algebra associated with the 2 dimensional base manifold, and an analog of supertranslation. The symmetry algebra may be viewed as a generalization of the BMS or Spi group to a finite distance.


title: WaveCastNet: An AI-enabled Wavefield Forecasting Framework for Earthquake Early Warning

abstract: Large earthquakes can be destructive and quickly wreak havoc on a landscape. To mitigate immediate threats, early warning systems have been developed to alert residents, emergency responders, and critical infrastructure operators seconds to a minute before seismic waves arrive. These warnings provide time to take precautions and prevent damage. The success of these systems relies on fast, accurate predictions of ground motion intensities, which is challenging due to the complex physics of earthquakes, wave propagation, and their intricate spatial and temporal interactions. To improve early warning, we propose a novel AI-enabled framework, WaveCastNet, for forecasting ground motions from large earthquakes. WaveCastNet integrates a novel convolutional Long Expressive Memory (ConvLEM) model into a sequence to sequence (seq2seq) forecasting framework to model long-term dependencies and multi-scale patterns in both space and time. WaveCastNet, which shares weights across spatial and temporal dimensions, requires fewer parameters compared to more resource-intensive models like transformers and thus, in turn, reduces inference times. Importantly, WaveCastNet also generalizes better than transformer-based models to different seismic scenarios, including to more rare and critical situations with higher magnitude earthquakes. Our results using simulated data from the San Francisco Bay Area demonstrate the capability to rapidly predict the intensity and timing of destructive ground motions. Importantly, our proposed approach does not require estimating earthquake magnitudes and epicenters, which are prone to errors using conventional approaches; nor does it require empirical ground motion models, which fail to capture strongly heterogeneous wave propagation effects.


title: Solid-State Reactions at Niobium-Germanium Interfaces in Hybrid Superconductor-Semiconductor Devices

abstract: Hybrid Superconductor-Semiconductor (S-Sm) materials systems are promising candidates for quantum computing applications. Their integration into superconducting electronics has enabled on-demand voltage tunability at millikelvin temperatures. Ge quantum wells (Ge QWs) have been among the semiconducting platforms interfaced with superconducting Al to realize voltage tunable Josephson junctions. Here, we explore Nb as a superconducting material in direct contact with Ge channels by focusing on the solid-state reactions at the Nb/Ge interfaces. We employ Nb evaporation at cryogenic temperatures (100 K) to establish a baseline structure with atomically and chemically abrupt Nb/Ge interfaces. By conducting systematic photoelectron spectroscopy and transport measurements on Nb/Ge samples across varying annealing temperatures, we elucidated the influence of Ge out-diffusion on the ultimate performance of superconducting electronics. This study underlines the need for low-temperature growth to minimize chemical intermixing and band bending at the Nb/Ge interfaces.


title: Signatures of Quantum Phase Transitions in Driven Dissipative Spin Chains

abstract: Open driven quantum systems have defined a powerful paradigm of non-equilibrium phases and phase transitions; however, quantum phase transitions are generically not expected in this setting due to the decohering effect of dissipation. In this work, we show that a driven-dissipative quantum spin chain exhibits a peculiar sensitivity to the ground-state quantum phase transition. Specifically, we consider a quantum Ising model subject to bulk dissipation (at rate $\Gamma$) and show that, although the correlation length remains finite (hence no phase transition), it develops a pronounced peak close to the ground-state quantum critical point. While standard techniques seem to fail in this regime, we develop a versatile analytical approach that becomes exact with vanishing dissipation ($\Gamma \to 0$ but finite $\Gamma t$). On a technical level, our approach builds on previous work where the state of the system is described by a slowly evolving generalized Gibbs ensemble that accounts for the integrability of the Hamiltonian (described by free fermions) while treating dissipation perturbatively which leads to nontrivial, nonlinear equations for fermionic correlators. Finally, we demonstrate a kind of universality in that integrability-breaking perturbations of the Hamiltonian lead to the same behavior.


title: Diffusion On Syntax Trees For Program Synthesis

abstract: Large language models generate code one token at a time. Their autoregressive generation process lacks the feedback of observing the program's output. Training LLMs to suggest edits directly can be challenging due to the scarcity of rich edit data. To address these problems, we propose neural diffusion models that operate on syntax trees of any context-free grammar. Similar to image diffusion models, our method also inverts ``noise'' applied to syntax trees. Rather than generating code sequentially, we iteratively edit it while preserving syntactic validity, which makes it easy to combine this neural model with search. We apply our approach to inverse graphics tasks, where our model learns to convert images into programs that produce those images. Combined with search, our model is able to write graphics programs, see the execution result, and debug them to meet the required specifications. We additionally show how our system can write graphics programs for hand-drawn sketches.


title: Ratchet Loading and Multi-Ensemble Operation in an Optical Lattice Clock

abstract: We demonstrate programmable control over the spatial distribution of ultra-cold atoms confined in an optical lattice. The control is facilitated through a combination of spatial manipulation of the magneto-optical trap and atomic population shelving to a metastable state. We first employ the technique to load an extended (5 mm) atomic sample with uniform density in an optical lattice clock, reducing atomic interactions and realizing remarkable frequency homogeneity across the atomic cloud. We also prepare multiple spatially separated atomic ensembles and realize multi-ensemble clock operation within the standard one-dimensional (1D) optical lattice clock architecture. Leveraging this technique, we prepare two oppositely spin-polarized ensembles that are independently addressable, offering a platform for implementing spectroscopic protocols for enhanced tracking of local oscillator phase. Finally, we demonstrate a relative fractional frequency instability at one second of $2.4(1) \times10^{-17}$ between two ensembles, useful for characterization of intra-lattice differential systematics.


title: SoK: Public Blockchain Sharding

abstract: Blockchain's decentralization, transparency, and tamper-resistance properties have facilitated the system's use in various application fields. However, the low throughput and high confirmation latency hinder the widespread adoption of Blockchain. Many solutions have been proposed to address these issues, including first-layer solutions (or on-chain solutions) and second-layer solutions (or off-chain solutions). Among the proposed solutions, the blockchain sharding system is the most scalable one, where the nodes in the network are divided into several groups. The nodes in different shards work in parallel to validate the transactions and add them to the blocks, and in such a way, the throughput increases significantly. However, previous works have not adequately summarized the latest achievements in blockchain sharding, nor have they fully showcased its state-of-the-art. Our study provides a systemization of knowledge of public blockchain sharding, including the core components of sharding systems, challenges, limitations, and mechanisms of the latest sharding protocols. We also compare their performance and discuss current constraints and future research directions.


title: Visualization of Board of Director Connections for Analysis in Socially Responsible Investing

abstract: This project is a collaboration between industry and academia to delve into Finance Social Networks, specifically the Board of Directors of public companies. Knowing the connections between Directors and Executives in different companies can generate powerful stories and meaningful insights on investments. A proof of concept in the form of a Data Visualization tool reveals its strength in investigating corporate governance and sustainability, as well as in the partnership between industry and academic institutions.


title: Systems-level health of patients living with end-stage kidney disease using standard lab values

abstract: We present a systems-level analysis of end-stage kidney disease (ESKD) with a dynamical network analysis of 14 commonly measured blood-based biomarkers in patients undergoing regular haemodialysis. Utilizing a validated pipeline for declining homeostatic systems, our approach learns a dynamical model together with an invertible transformation that simplifies the behaviour of observed biomarkers into natural variables. Within the natural variables, we identified two distinct dynamical behaviours: (i) stochastic accumulation, the random accumulation of abnormal values, and (ii) mallostasis, a deterministic drift towards worse health. These behaviours are identified by persistent fluctuations indicating weak stability, or a gradual shift in homeostatic set point, respectively. Both lead to worsening natural variable values, making the natural variables salient survival predictors with preferred directions of increasing risk. When this worsening is transformed back into observable biomarkers, it generates a coherent spectrum of worsening medical signs characteristic of a medical syndrome. Specifically, we found that small modules of natural variables corresponded to two existing syndromes commonly afflicting ESKD patients: protein-energy wasting and sepsis. We also identified new prospective syndromes. Our findings suggest that natural variables are robust, systems-level biomarkers, capturing the complex, holistic changes in health associated with ESKD.


title: Practical implementation of geometric quasi-cyclic LDPC codes

abstract: We detail for the first time a complete explicit description of the quasi-cyclic structure of all classical finite generalized quadrangles. Using these descriptions we construct families of quasi-cyclic LDPC codes derived from the point-line incidence matrix of the quadrangles by explicitly calculating quasi-cyclic generator and parity check matrices for these codes. This allows us to construct parity check and generator matrices of all such codes of length up to 400000. These codes cover a wide range of transmission rates, are easy and fast to implement and perform close to Shannon's limit with no visible error floors. We also include some performance data for these codes. Furthermore, we include a complete explicit description of the quasi-cyclic structure of the point-line and point-hyperplane incidences of the finite projective and affine spaces.


title: Comparing Quantum Annealing and Spiking Neuromorphic Computing for Sampling Binary Sparse Coding QUBO Problems

abstract: We consider the problem of computing a sparse binary representation of an image. To be precise, given an image and an overcomplete, non-orthonormal basis, we aim to find a sparse binary vector indicating the minimal set of basis vectors that when added together best reconstruct the given input. We formulate this problem with an $L_2$ loss on the reconstruction error, and an $L_0$ (or, equivalently, an $L_1$) loss on the binary vector enforcing sparsity. This yields a quadratic binary optimization problem (QUBO), whose optimal solution(s) in general is NP-hard to find. The method of unsupervised and unnormalized dictionary feature learning for a desired sparsity level to best match the data is presented. Next, we solve the sparse representation QUBO by implementing it both on a D-Wave quantum annealer with Pegasus chip connectivity via minor embedding, as well as on the Intel Loihi 2 spiking neuromorphic processor. On the quantum annealer, we sample from the sparse representation QUBO using parallel quantum annealing combined with quantum evolution Monte Carlo, also known as iterated reverse annealing. On Loihi 2, we use a stochastic winner take all network of neurons. The solutions are benchmarked against simulated annealing, a classical heuristic, and the optimal solutions are computed using CPLEX. Iterated reverse quantum annealing performs similarly to simulated annealing, although simulated annealing is always able to sample the optimal solution whereas quantum annealing was not always able to. The Loihi 2 solutions that are sampled are on average more sparse than the solutions from any of the other methods. Loihi 2 outperforms a D-Wave quantum annealer standard linear-schedule anneal, while iterated reverse quantum annealing performs much better than both unmodified linear-schedule quantum annealing and iterated warm starting on Loihi 2.


title: Automated Generation and Tagging of Knowledge Components from Multiple-Choice Questions

abstract: Knowledge Components (KCs) linked to assessments enhance the measurement of student learning, enrich analytics, and facilitate adaptivity. However, generating and linking KCs to assessment items requires significant effort and domain-specific knowledge. To streamline this process for higher-education courses, we employed GPT-4 to generate KCs for multiple-choice questions (MCQs) in Chemistry and E-Learning. We analyzed discrepancies between the KCs generated by the Large Language Model (LLM) and those made by humans through evaluation from three domain experts in each subject area. This evaluation aimed to determine whether, in instances of non-matching KCs, evaluators showed a preference for the LLM-generated KCs over their human-created counterparts. We also developed an ontology induction algorithm to cluster questions that assess similar KCs based on their content. Our most effective LLM strategy accurately matched KCs for 56% of Chemistry and 35% of E-Learning MCQs, with even higher success when considering the top five KC suggestions. Human evaluators favored LLM-generated KCs, choosing them over human-assigned ones approximately two-thirds of the time, a preference that was statistically significant across both domains. Our clustering algorithm successfully grouped questions by their underlying KCs without needing explicit labels or contextual information. This research advances the automation of KC generation and classification for assessment items, alleviating the need for student data or predefined KC labels.


title: Towards Ontology-Enhanced Representation Learning for Large Language Models

abstract: Taking advantage of the widespread use of ontologies to organise and harmonize knowledge across several distinct domains, this paper proposes a novel approach to improve an embedding-Large Language Model (embedding-LLM) of interest by infusing the knowledge formalized by a reference ontology: ontological knowledge infusion aims at boosting the ability of the considered LLM to effectively model the knowledge domain described by the infused ontology. The linguistic information (i.e. concept synonyms and descriptions) and structural information (i.e. is-a relations) formalized by the ontology are utilized to compile a comprehensive set of concept definitions, with the assistance of a powerful generative LLM (i.e. GPT-3.5-turbo). These concept definitions are then employed to fine-tune the target embedding-LLM using a contrastive learning framework. To demonstrate and evaluate the proposed approach, we utilize the biomedical disease ontology MONDO. The results show that embedding-LLMs enhanced by ontological disease knowledge exhibit an improved capability to effectively evaluate the similarity of in-domain sentences from biomedical documents mentioning diseases, without compromising their out-of-domain performance.


title: On the Convergence of the Sinkhorn-Knopp Algorithm with Sparse Cost Matrices

abstract: Matrix scaling problems with sparse cost matrices arise frequently in various domains, such as optimal transport, image processing, and machine learning. The Sinkhorn-Knopp algorithm is a popular iterative method for solving these problems, but its convergence properties in the presence of sparsity have not been thoroughly analyzed. This paper presents a theoretical analysis of the convergence rate of the Sinkhorn-Knopp algorithm specifically for sparse cost matrices. We derive novel bounds on the convergence rate that explicitly depend on the sparsity pattern and the degree of nonsparsity of the cost matrix. These bounds provide new insights into the behavior of the algorithm and highlight the potential for exploiting sparsity to develop more efficient solvers. We also explore connections between our sparse convergence results and existing convergence results for dense matrices, showing that our bounds generalize the dense case. Our analysis reveals that the convergence rate improves as the matrix becomes less sparse and as the minimum entry of the cost matrix increases relative to its maximum entry. These findings have important practical implications, suggesting that the Sinkhorn-Knopp algorithm may be particularly well-suited for large-scale matrix scaling problems with sparse cost matrices arising in real-world applications. Future research directions include investigating tighter bounds based on more sophisticated sparsity patterns, developing algorithm variants that actively exploit sparsity, and empirically validating the benefits of our theoretical results on real-world datasets. This work advances our understanding of the Sinkhorn-Knopp algorithm for an important class of matrix scaling problems and lays the foundation for designing more efficient and scalable solutions in practice.


title: An Automatic Question Usability Evaluation Toolkit

abstract: Evaluating multiple-choice questions (MCQs) involves either labor intensive human assessments or automated methods that prioritize readability, often overlooking deeper question design flaws. To address this issue, we introduce the Scalable Automatic Question Usability Evaluation Toolkit (SAQUET), an open-source tool that leverages the Item-Writing Flaws (IWF) rubric for a comprehensive and automated quality evaluation of MCQs. By harnessing the latest in large language models such as GPT-4, advanced word embeddings, and Transformers designed to analyze textual complexity, SAQUET effectively pinpoints and assesses a wide array of flaws in MCQs. We first demonstrate the discrepancy between commonly used automated evaluation metrics and the human assessment of MCQ quality. Then we evaluate SAQUET on a diverse dataset of MCQs across the five domains of Chemistry, Statistics, Computer Science, Humanities, and Healthcare, showing how it effectively distinguishes between flawed and flawless questions, providing a level of analysis beyond what is achievable with traditional metrics. With an accuracy rate of over 94% in detecting the presence of flaws identified by human evaluators, our findings emphasize the limitations of existing evaluation methods and showcase potential in improving the quality of educational assessments.


title: Impact of Connected and Automated Vehicles on Transport Injustices

abstract: Connected and automated vehicles are poised to transform the transport system. However, significant uncertainties remain about their impact, particularly regarding concerns that this advanced technology might exacerbate injustices, such as safety disparities for vulnerable road users. Therefore, understanding the potential conflicts of this technology with societal values such as justice and safety is crucial for responsible implementation. To date, no research has focused on what safety and justice in transport mean in the context of CAV deployment and how the potential benefits of CAVs can be harnessed without exacerbating the existing vulnerabilities and injustices VRUs face. This paper addresses this gap by exploring car drivers' and pedestrians' perceptions of safety and justice issues that CAVs might exacerbate using an existing theoretical framework. Employing a qualitative approach, the study delves into the nuanced aspects of these concepts. Interviews were conducted with 30 participants aged between 18 and 79 in Queensland, Australia. These interviews were recorded, transcribed, organised, and analysed using reflexive thematic analysis. Three main themes emerged from the participants' discussions: CAVs as a safety problem for VRUs, CAVs as a justice problem for VRUs, and CAVs as an alignment with societal values problem. Participants emphasised the safety challenges CAVs pose for VRUs, highlighting the need for thorough evaluation and regulatory oversight. Concerns were also raised about CAVs potentially marginalising vulnerable groups within society. Participants advocated for inclusive discussions and a justice-oriented approach to designing a comprehensive transport system to address these concerns.


title: Mitigating the Impact of Labeling Errors on Training via Rockafellian Relaxation

abstract: Labeling errors in datasets are common, if not systematic, in practice. They naturally arise in a variety of contexts-human labeling, noisy labeling, and weak labeling (i.e., image classification), for example. This presents a persistent and pervasive stress on machine learning practice. In particular, neural network (NN) architectures can withstand minor amounts of dataset imperfection with traditional countermeasures such as regularization, data augmentation, and batch normalization. However, major dataset imperfections often prove insurmountable. We propose and study the implementation of Rockafellian Relaxation (RR), a new loss reweighting, architecture-independent methodology, for neural network training. Experiments indicate RR can enhance standard neural network methods to achieve robust performance across classification tasks in computer vision and natural language processing (sentiment analysis). We find that RR can mitigate the effects of dataset corruption due to both (heavy) labeling error and/or adversarial perturbation, demonstrating effectiveness across a variety of data domains and machine learning tasks.


title: Quark confinement from an infrared safe approach

abstract: We revisit the nonabelian dipole problem in the context of a simple semiclassical approach which incorporates some essential features of the infrared sector of Yang-Mills theories in the Landau gauge, in particular, the fact that the running coupling remains of moderate size at infrared scales. We obtain a simple flux-tube solution in a controlled approximation scheme, that we compare to the results of lattice simulations.


title: Henderson-like interval maps

abstract: In this paper we study interval maps with zero topological entropy that are crooked; i.e. whose inverse limit is the pseudo-arc. We show that there are uncountably many pairwise non-conjugate zero entropy crooked interval maps with different sets of fixed points. We also show that there are uncountably many crooked maps that are pairwise non-conjugate and have exactly two fixed points. Furthermore, we provide a characterization of crooked interval maps that are under (above) the diagonal.


title: Aquatic Navigation: A Challenging Benchmark for Deep Reinforcement Learning

abstract: An exciting and promising frontier for Deep Reinforcement Learning (DRL) is its application to real-world robotic systems. While modern DRL approaches achieved remarkable successes in many robotic scenarios (including mobile robotics, surgical assistance, and autonomous driving) unpredictable and non-stationary environments can pose critical challenges to such methods. These features can significantly undermine fundamental requirements for a successful training process, such as the Markovian properties of the transition model. To address this challenge, we propose a new benchmarking environment for aquatic navigation using recent advances in the integration between game engines and DRL. In more detail, we show that our benchmarking environment is problematic even for state-of-the-art DRL approaches that may struggle to generate reliable policies in terms of generalization power and safety. Specifically, we focus on PPO, one of the most widely accepted algorithms, and we propose advanced training techniques (such as curriculum learning and learnable hyperparameters). Our extensive empirical evaluation shows that a well-designed combination of these ingredients can achieve promising results. Our simulation environment and training baselines are freely available to facilitate further research on this open problem and encourage collaboration in the field.


title: Unveiling the Impact of Coding Data Instruction Fine-Tuning on Large Language Models Reasoning

abstract: Instruction Fine-Tuning (IFT) significantly enhances the zero-shot capabilities of pretrained Large Language Models (LLMs). While coding data is known to boost reasoning abilities during LLM pretraining, its role in activating internal reasoning capacities during IFT remains understudied. This paper investigates a key question: How does coding data impact LLMs' reasoning capacities during the IFT stage? To explore this, we thoroughly examine the impact of coding data across different coding data proportions, model families, sizes, and reasoning domains, from various perspectives. Specifically, we create three IFT datasets with increasing coding data proportions, fine-tune six LLM backbones across different families and scales on these datasets, evaluate the tuned models' performance across twelve tasks in three reasoning domains, and analyze the outcomes from three broad-to-granular perspectives: overall, domain-level, and task-specific. Our holistic analysis provides valuable insights in each perspective. First, coding data tuning enhances the overall reasoning capabilities of LLMs across different model families and scales. Moreover, the effect of coding data varies among different domains but shows consistent trends across model families and scales within each domain. Additionally, coding data generally yields comparable task-specific benefits across different model families, with the optimal coding data proportions in IFT datasets being task-specific.


title: The explicit solution of linear, dissipative, second-order initial-boundary value problems with variable coefficients

abstract: We derive explicit solution representations for linear, dissipative, second-order Initial-Boundary Value Problems (IBVPs) with coefficients that are spatially varying, with linear, constant-coefficient, two-point boundary conditions. We accomplish this by considering the variable-coefficient problem as the limit of a constant-coefficient interface problem, previously solved using the Unified Transform Method of Fokas. Our method produces an explicit representation of the solution, allowing us to determine properties of the solution directly. As explicit examples, we demonstrate the solution procedure for different IBVPs of variations of the heat equation, and the linearized complex Ginzburg-Landau (CGL) equation (periodic boundary conditions). We can use this to find the eigenvalues of dissipative second-order linear operators (including non-self-adjoint ones) as roots of a transcendental function, and we can write their eigenfunctions explicitly in terms of the eigenvalues.


title: Poisson algebra of quasilocal angular momentum and its asymptotic limit

abstract: We study the previously proposed quasilocal angular momentum of gravitational fields in the absence of isometries. The quasilocal angular momentum $L(\xi)$ has the following attractive properties; ({\it i}) it follows from the Einstein's constraint equations, ({\it ii}) it satisfies the Poisson algebra $\{L(\xi), L(\eta) \}_{\rm P.B.} =({1/16\pi)}\, L( [\xi, \eta]_{\rm L} )$, ({\it iii}) its Poisson algebra reduces to the standard $SO(3)$ algebra of angular momentum at null infinity, and ({\it iv}) it reproduces the standard value for the Kerr spacetime at null infinity. It will be argued that our definition is a quasilocal and canonical generalization of A. Rizzi's geometric definition at null infinity. We also propose a new definition of an {\it invariant} quasilocal angular momentum $L^{2}$ such that $\{ L^2, L(\xi) \}_{\rm P.B.} = 0$, which becomes $(ma)^{2}$ at the null infinity of the Kerr spacetime. Therefore, it may be regarded as a quasilocal generalization of the Casimir invariant of ordinary angular momentum in the flat spacetime.


title: Q-learning as a monotone scheme

abstract: Stability issues with reinforcement learning methods persist. To better understand some of these stability and convergence issues involving deep reinforcement learning methods, we examine a simple linear quadratic example. We interpret the convergence criterion of exact Q-learning in the sense of a monotone scheme and discuss consequences of function approximation on monotonicity properties.


title: SleeperNets: Universal Backdoor Poisoning Attacks Against Reinforcement Learning Agents

abstract: Reinforcement learning (RL) is an actively growing field that is seeing increased usage in real-world, safety-critical applications -- making it paramount to ensure the robustness of RL algorithms against adversarial attacks. In this work we explore a particularly stealthy form of training-time attacks against RL -- backdoor poisoning. Here the adversary intercepts the training of an RL agent with the goal of reliably inducing a particular action when the agent observes a pre-determined trigger at inference time. We uncover theoretical limitations of prior work by proving their inability to generalize across domains and MDPs. Motivated by this, we formulate a novel poisoning attack framework which interlinks the adversary's objectives with those of finding an optimal policy -- guaranteeing attack success in the limit. Using insights from our theoretical analysis we develop ``SleeperNets'' as a universal backdoor attack which exploits a newly proposed threat model and leverages dynamic reward poisoning techniques. We evaluate our attack in 6 environments spanning multiple domains and demonstrate significant improvements in attack success over existing methods, while preserving benign episodic return.


title: Fully Unconstrained Online Learning

abstract: We provide an online learning algorithm that obtains regret $G\|w_\star\|\sqrt{T\log(\|w_\star\|G\sqrt{T})} + \|w_\star\|^2 + G^2$ on $G$-Lipschitz convex losses for any comparison point $w_\star$ without knowing either $G$ or $\|w_\star\|$. Importantly, this matches the optimal bound $G\|w_\star\|\sqrt{T}$ available with such knowledge (up to logarithmic factors), unless either $\|w_\star\|$ or $G$ is so large that even $G\|w_\star\|\sqrt{T}$ is roughly linear in $T$. Thus, it matches the optimal bound in all cases in which one can achieve sublinear regret, which arguably most "interesting" scenarios.


title: Perplexed by Perplexity: Perplexity-Based Data Pruning With Small Reference Models

abstract: In this work, we investigate whether small language models can determine high-quality subsets of large-scale text datasets that improve the performance of larger language models. While existing work has shown that pruning based on the perplexity of a larger model can yield high-quality data, we investigate whether smaller models can be used for perplexity-based pruning and how pruning is affected by the domain composition of the data being pruned. We demonstrate that for multiple dataset compositions, perplexity-based pruning of pretraining data can \emph{significantly} improve downstream task performance: pruning based on perplexities computed with a 125 million parameter model improves the average performance on downstream tasks of a 3 billion parameter model by up to 2.04 and achieves up to a $1.45\times$ reduction in pretraining steps to reach commensurate baseline performance. Furthermore, we demonstrate that such perplexity-based data pruning also yields downstream performance gains in the over-trained and data-constrained regimes.


title: On the Connection Between Non-negative Matrix Factorization and Latent Dirichlet Allocation

abstract: Non-negative matrix factorization with the generalized Kullback-Leibler divergence (NMF) and latent Dirichlet allocation (LDA) are two popular approaches for dimensionality reduction of non-negative data. Here, we show that NMF with $\ell_1$ normalization constraints on the columns of both matrices of the decomposition and a Dirichlet prior on the columns of one matrix is equivalent to LDA. To show this, we demonstrate that explicitly accounting for the scaling ambiguity of NMF by adding $\ell_1$ normalization constraints to the optimization problem allows a joint update of both matrices in the widely used multiplicative updates (MU) algorithm. When both of the matrices are normalized, the joint MU algorithm leads to probabilistic latent semantic analysis (PLSA), which is LDA without a Dirichlet prior. Our approach of deriving joint updates for NMF also reveals that a Lasso penalty on one matrix together with an $\ell_1$ normalization constraint on the other matrix is insufficient to induce any sparsity.


title: Towards a General GNN Framework for Combinatorial Optimization

abstract: Graph neural networks (GNNs) have achieved great success for a variety of tasks such as node classification, graph classification, and link prediction. However, the use of GNNs (and machine learning more generally) to solve combinatorial optimization (CO) problems is much less explored. Here, we introduce a novel GNN architecture which leverages a complex filter bank and localized attention mechanisms designed to solve CO problems on graphs. We show how our method differentiates itself from prior GNN-based CO solvers and how it can be effectively applied to the maximum clique, minimum dominating set, and maximum cut problems in a self-supervised learning setting. In addition to demonstrating competitive overall performance across all tasks, we establish state-of-the-art results for the max cut problem.


title: Metal Assisted Chemical Etching patterns at a Ge/Cr/Au interface modulated by the Euler instability

abstract: We present a solid state system which spontaneously generates remarkable engraving patterns on the surface of Ge. The layered construction, with a metal film on the Ge surface, results in coupling of the metal catalyzed etching reaction with the long range stress field at the Ge - metal interface. The etching patterns generated have similarities with Turing patterns, hydrodynamic patterns, crack propagation, and biological form. We describe spirals, radial patterns, and more disordered structures. Euler buckling of the metal layer generates a characteristic wavelength for some patterns.


title: A lower bound for the first eigenvalue of a minimal hypersurface in the sphere

abstract: Let $\Sigma$ be a closed embedded minimal hypersurface in the unit sphere $\mathbb{S}^{m+1}$ and let $\Lambda=\max\limits_{\Sigma}|A|$ be the norm of its second fundamental form. In this work we prove that the first eigenvalue of the Laplacian of $\Sigma$ satisfies $$\lambda_1(\Sigma)> \dfrac{m}{2}+\frac{m(m+1)}{32(12\Lambda+m+11)^2+8},$$ and $\lambda_1(\Sigma)=m$, when $\Lambda\le\sqrt{m}$. In particular, this estimate improves the one obtained recently in \cite{duncan2023improved}. The proof of our main result is based on a Rayleigh quotient estimate for a harmonic extension of an eigenfunction of the Laplacian of $\Sigma$ in the spirit of \cite{choi1983first}.


title: Gravity Equivalent to Teleparallelism: Some Basic Geometrical Aspects

abstract: We review the book of Ruben Aldrovandi and Jose Geraldo Pereira about Teleparallel Gravity. Teleparallel Gravity is an alternative to General Relativity to describe the gravitational interaction. The difference between General Relativity and Teleparallel Gravity is the fact that General Relativity associates the curvature to the gravitational interaction, whereas in the Teleparallel Gravity the mathematical object associated to gravitational field is the torsion, whose field is the so called Weintzenb\"ock connection. We discuss briefly the advantages of Teleparallel Gravity over General Relativity as well as Weintzenb\"ock connection properties.


title: Enumeration of intersection graphs of $x$-monotone curves

abstract: A curve in the plane is $x$-monotone if every vertical line intersects it at most once. A family of curves are called pseudo-segments if every pair of them have at most one point in common. We construct $2^{\Omega(n^{4/3})}$ families, each consisting of $n$ labelled $x$-monotone pseudo-segments such that their intersection graphs are different. On the other hand, we show that the number of such intersection graphs is at most $2^{O(n^{3/2-\varepsilon})}$, where $\varepsilon>0$ is a suitable constant. Our proof uses a new upper bound on the number of set systems of size $m$ on a ground set of size $n$, with VC-dimension at most $d$. Much better upper bounds are obtained if we only count bipartite intersection graphs, or, in general, intersection graphs with bounded chromatic number.


title: Unified approach to paraxial propagation in uniform media and media with linear or quadratic refractive index distribution

abstract: We report explicit equations and matrix representations that allow simple calculation between three different media (free space, linear and quadratic refractive index distributions) for paraxial light propagation.


title: Discrete-Time Implementation of Explicit Reference Governor

abstract: Explicit reference governor (ERG) is an add-on unit that provides constraint handling capability to pre-stabilized systems. The main idea behind ERG is to manipulate the derivative of the applied reference in continuous time such that the satisfaction of state and input constraints is guaranteed at all times. However, ERG should be practically implemented in discrete-time. This paper studies the discrete-time implementation of ERG, and provides conditions under which the feasibility and convergence properties of the ERG framework are maintained when the updates of the applied reference are performed in discrete time. The proposed approach is validated via extensive simulation and experimental studies.


title: Uncertainty Quantification for Deep Learning

abstract: A complete and statistically consistent uncertainty quantification for deep learning is provided, including the sources of uncertainty arising from (1) the new input data, (2) the training and testing data (3) the weight vectors of the neural network, and (4) the neural network because it is not a perfect predictor. Using Bayes Theorem and conditional probability densities, we demonstrate how each uncertainty source can be systematically quantified. We also introduce a fast and practical way to incorporate and combine all sources of errors for the first time. For illustration, the new method is applied to quantify errors in cloud autoconversion rates, predicted from an artificial neural network that was trained by aircraft cloud probe measurements in the Azores and the stochastic collection equation formulated as a two-moment bin model. For this specific example, the output uncertainty arising from uncertainty in the training and testing data is dominant, followed by uncertainty in the input data, in the trained neural network, and uncertainty in the weights. We discuss the usefulness of the methodology for machine learning practice, and how, through inclusion of uncertainty in the training data, the new methodology is less sensitive to input data that falls outside of the training data set.


title: EM-Assist: Safe Automated ExtractMethod Refactoring with LLMs

abstract: Excessively long methods, loaded with multiple responsibilities, are challenging to understand, debug, reuse, and maintain. The solution lies in the widely recognized Extract Method refactoring. While the application of this refactoring is supported in modern IDEs, recommending which code fragments to extract has been the topic of many research tools. However, they often struggle to replicate real-world developer practices, resulting in recommendations that do not align with what a human developer would do in real life. To address this issue, we introduce EM-Assist, an IntelliJ IDEA plugin that uses LLMs to generate refactoring suggestions and subsequently validates, enhances, and ranks them. Finally, EM-Assist uses the IntelliJ IDE to apply the user-selected recommendation. In our extensive evaluation of 1,752 real-world refactorings that actually took place in open-source projects, EM-Assist's recall rate was 53.4% among its top-5 recommendations, compared to 39.4% for the previous best-in-class tool that relies solely on static analysis. Moreover, we conducted a usability survey with 18 industrial developers and 94.4% gave a positive rating.


title: New large value estimates for Dirichlet polynomials

abstract: We prove new bounds for how often Dirichlet polynomials can take large values. This gives improved estimates for a Dirichlet polynomial of length $N$ taking values of size close to $N^{3/4}$, which is the critical situation for several estimates in analytic number theory connected to prime numbers and the Riemann zeta function. As a consequence, we deduce a zero density estimate $N(\sigma,T)\le T^{30(1-\sigma)/13+o(1)}$ and asymptotics for primes in short intervals of length $x^{17/30+o(1)}$.


title: Isotopic variation of non-carbonaceous meteorites caused by dust leakage across the Jovian gap in the solar nebula

abstract: High-precision isotopic measurements of meteorites revealed that they are classified into non-carbonaceous (NC) and carbonaceous (CC) meteorites. One plausible scenario for achieving this grouping is the early formation of Jupiter because massive planets can create gaps that suppress the mixing of dust across the gap in protoplanetary disks. However, the efficiency of this suppression by the gaps depends on dust size and the strength of turbulent diffusion, allowing some fraction of the dust particles to leak across the Jovian gap. In this study, we investigate how isotopic ratios of NC and CC meteorites are varied by the dust leaking across the Jovian gap in the solar nebula. To do this, we constructed a model to simulate the evolution of the dust size distribution and the $^{54}$Cr-isotopic anomaly $\varepsilon^{54}$Cr in isotopically heterogeneous disks with Jupiter. Assuming that the parent bodies of NC and CC meteorites are formed in two dust-concentrated locations inside and outside Jupiter's orbit, referred to as the NC reservoir and CC reservoir, we derive the temporal variation of $\varepsilon^{54}$Cr at the NC and CC reservoir. Our results indicate that substantial contamination of CC materials occurs at the NC reservoir in the fiducial run. Nevertheless, the values of $\varepsilon^{54}$Cr at the NC reservoir and the CC reservoir in the run are still consistent with those of NC and CC meteorites formed around 2 Myrs after the formation of calcium-aluminum-rich inclusions. Moreover, this dust leakage causes a positive correlation between the $\varepsilon^{54}$Cr value of NC meteorites and the accretion ages of their parent bodies.


title: Three approaches to a categorical Torelli theorem for cubic threefolds of non-Eckardt type via the equivariant Kuznetsov components

abstract: Let $Y$ be a cubic threefold with a non-Eckardt type involution $\tau$. Our first main result is that the $\tau$-equivariant category of the Kuznetsov component $\mathcal{K}u_{\mathbb{Z}_2}(Y)$ determines the isomorphism class of $Y$ for general $(Y,\tau)$. We shall prove this categorical Torelli theorem via three approaches: a noncommutative Hodge theoretical one (using a generalization of the intermediate Jacobian construction in [perry2020integral], a Bridgeland moduli theoretical one (using equivariant stability conditions), and a Chow theoretical one (using some techniques in [kuznetsovnonclodedfield2021].The remaining part of the paper is devoted to proving an equivariant infinitesimal categorical Torelli for non-Eckardt cubic threefolds $(Y,\tau)$. To accomplish it, we prove a compatibility theorem on the algebra structures of the Hochschild cohomology of the bounded derived category $D^b(X)$ of a smooth projective variety $X$ and on the Hochschild cohomology of a semi-orthogonal component of $D^b(X)$. Another key ingredient is a generalization of a result in [macri2009infinitesimal] which shows that the twisted Hochschild-Kostant-Rosenberg isomorphism is compatible with the actions on the Hochschild cohomology and on the singular cohomology induced by an automorphism of $X$.


title: Diffusion Actor-Critic: Formulating Constrained Policy Iteration as Diffusion Noise Regression for Offline Reinforcement Learning

abstract: In offline reinforcement learning (RL), it is necessary to manage out-of-distribution actions to prevent overestimation of value functions. Policy-regularized methods address this problem by constraining the target policy to stay close to the behavior policy. Although several approaches suggest representing the behavior policy as an expressive diffusion model to boost performance, it remains unclear how to regularize the target policy given a diffusion-modeled behavior sampler. In this paper, we propose Diffusion Actor-Critic (DAC) that formulates the Kullback-Leibler (KL) constraint policy iteration as a diffusion noise regression problem, enabling direct representation of target policies as diffusion models. Our approach follows the actor-critic learning paradigm that we alternatively train a diffusion-modeled target policy and a critic network. The actor training loss includes a soft Q-guidance term from the Q-gradient. The soft Q-guidance grounds on the theoretical solution of the KL constraint policy iteration, which prevents the learned policy from taking out-of-distribution actions. For critic training, we train a Q-ensemble to stabilize the estimation of Q-gradient. Additionally, DAC employs lower confidence bound (LCB) to address the overestimation and underestimation of value targets due to function approximation error. Our approach is evaluated on the D4RL benchmarks and outperforms the state-of-the-art in almost all environments. Code is available at \href{https://github.com/Fang-Lin93/DAC}{\texttt{github.com/Fang-Lin93/DAC}}.


title: Certifying Global Robustness for Deep Neural Networks

abstract: A globally robust deep neural network resists perturbations on all meaningful inputs. Current robustness certification methods emphasize local robustness, struggling to scale and generalize. This paper presents a systematic and efficient method to evaluate and verify global robustness for deep neural networks, leveraging the PAC verification framework for solid guarantees on verification results. We utilize probabilistic programs to characterize meaningful input regions, setting a realistic standard for global robustness. Additionally, we introduce the cumulative robustness curve as a criterion in evaluating global robustness. We design a statistical method that combines multi-level splitting and regression analysis for the estimation, significantly reducing the execution time. Experimental results demonstrate the efficiency and effectiveness of our verification method and its capability to find rare and diversified counterexamples for adversarial training.


title: Consistent Hamiltonian Reduction

abstract: I show that the recently proposed (2+2) Hamiltonian reduction of Einstein's equations of 4-dimensional spacetimes is consistent with general covariance. The consistency proof is {\it extrinsic}, as it follows from the fact that Hamilton's equations derived from the non-zero gravitational Hamiltonian are identical to the Ricci-flat condition of 4-dimensional spacetimes in privileged coordinates.


title: Towards accelerated nuclear-physics parameter estimation from binary neutron star mergers: Emulators for the Tolman-Oppenheimer-Volkoff equations

abstract: Gravitational-wave observations of binary neutron-star (BNS) mergers have the potential to revolutionize our understanding of the nuclear equation of state (EOS) and the fundamental interactions that determine its properties. However, Bayesian parameter estimation frameworks do not typically sample over microscopic nuclear-physics parameters that determine the EOS. One of the major hurdles in doing so is the computational cost involved in solving the neutron-star structure equations, known as the Tolman-Oppenheimer-Volkoff (TOV) equations. In this paper, we explore approaches to emulating solutions for the TOV equations: Multilayer Perceptrons (MLP), Gaussian Processes (GP), and a data-driven variant of the reduced basis method (RBM). We implement these emulators for three different parameterizations of the nuclear EOS, each with a different degree of complexity represented by the number of model parameters. We find that our MLP-based emulators are generally more accurate than the other two algorithms whereas the RBM results in the largest speedup with respect to the full, high-fidelity TOV solver. We employ these emulators for a simple parameter inference using a potentially loud BNS observation, and show that the posteriors predicted by our emulators are in excellent agreement with those obtained from the full TOV solver.


title: Universal evaluation and design of imaging systems using information estimation

abstract: Information theory, which describes the transmission of signals in the presence of noise, has enabled the development of reliable communication systems that underlie the modern world. Imaging systems can also be viewed as a form of communication, in which information about the object is "transmitted" through images. However, the application of information theory to imaging systems has been limited by the challenges of accounting for their physical constraints. Here, we introduce a framework that addresses these limitations by modeling the probabilistic relationship between objects and their measurements. Using this framework, we develop a method to estimate information using only a dataset of noisy measurements, without making any assumptions about the image formation process. We demonstrate that these estimates comprehensively quantify measurement quality across a diverse range of imaging systems and applications. Furthermore, we introduce Information-Driven Encoder Analysis Learning (IDEAL), a technique to optimize the design of imaging hardware for maximum information capture. This work provides new insights into the fundamental performance limits of imaging systems and offers powerful new tools for their analysis and design.

categories: physics.optics cs.CV cs.IT eess.IV math.IT physics.data-an


title: Collaborative Resource Management and Workloads Scheduling in Cloud-Assisted Mobile Edge Computing across Timescales

abstract: Due to the limited resource capacity of edge servers and the high purchase costs of edge resources, service providers are facing the new challenge of how to take full advantage of the constrained edge resources for Internet of Things (IoT) service hosting and task scheduling to maximize system performance. In this paper, we study the joint optimization problem on service placement, resource provisioning, and workloads scheduling under resource and budget constraints, which is formulated as a mixed integer non-linear programming problem. Given that the frequent service placement and resource provisioning will significantly increase system configuration costs and instability, we propose a two-timescale framework for resource management and workloads scheduling, named RMWS. RMWS consists of a Gibbs sampling algorithm and an alternating minimization algorithm to determine the service placement and resource provisioning on large timescales. And a sub-gradient descent method has been designed to solve the workload scheduling challenge on small timescales.We conduct comprehensive experiments under different parameter settings. The RMWS consistently ensures a minimum 10% performance enhancement compared to other algorithms, showcasing its superiority. Theoretical proofs are also provided accordingly.


title: All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts

abstract: In Ethereum, the practice of verifying the validity of the passed addresses is a common practice, which is a crucial step to ensure the secure execution of smart contracts. Vulnerabilities in the process of address verification can lead to great security issues, and anecdotal evidence has been reported by our community. However, this type of vulnerability has not been well studied. To fill the void, in this paper, we aim to characterize and detect this kind of emerging vulnerability. We design and implement AVVERIFIER, a lightweight taint analyzer based on static EVM opcode simulation. Its three-phase detector can progressively rule out false positives and false negatives based on the intrinsic characteristics. Upon a well-established and unbiased benchmark, AVVERIFIER can improve efficiency 2 to 5 times than the SOTA while maintaining a 94.3% precision and 100% recall. After a large-scale evaluation of over 5 million Ethereum smart contracts, we have identified 812 vulnerable smart contracts that were undisclosed by our community before this work, and 348 open source smart contracts were further verified, whose largest total value locked is over $11.2 billion. We further deploy AVVERIFIER as a real-time detector on Ethereum and Binance Smart Chain, and the results suggest that AVVERIFIER can raise timely warnings once contracts are deployed.


title: Can Machine Learning Assist in Diagnosis of Primary Immune Thrombocytopenia? A feasibility study

abstract: Primary Immune thrombocytopenia (ITP) is a rare autoimmune disease characterised by immune-mediated destruction of peripheral blood platelets in patients leading to low platelet counts and bleeding. The diagnosis and effective management of ITP is challenging because there is no established test to confirm the disease and no biomarker with which one can predict the response to treatment and outcome. In this work we conduct a feasibility study to check if machine learning can be applied effectively for diagnosis of ITP using routine blood tests and demographic data in a non-acute outpatient setting. Various ML models, including Logistic Regression, Support Vector Machine, k-Nearest Neighbor, Decision Tree and Random Forest, were applied to data from the UK Adult ITP Registry and a general hematology clinic. Two different approaches were investigated: a demographic-unaware and a demographic-aware one. We conduct extensive experiments to evaluate the predictive performance of these models and approaches, as well as their bias. The results revealed that Decision Tree and Random Forest models were both superior and fair, achieving nearly perfect predictive and fairness scores, with platelet count identified as the most significant variable. Models not provided with demographic information performed better in terms of predictive accuracy but showed lower fairness score, illustrating a trade-off between predictive performance and fairness.


title: Limit sets, internal chain transitivity and orbital shadowing of tree-shifts defined on Markov-Cayley trees

abstract: In this paper, we introduce the concepts of $\omega$-limit sets and pseudo orbits for a tree-shift defined on a Markov-Cayley tree, extending the results of tree-shifts defined on $d$-trees [5,6]. Firstly, we establish the relationships between $\omega$-limit sets and we introduce a modified definition of $\omega$-limit set based on complete prefix sets (Theorems 1.4 and 1.9). Secondly, we introduce the concept of projected pseudo orbits and investigate the concept of the shadowing property (Theorems 1.12 and 1.14).