title: Suturing Tasks Automation Based on Skills Learned From Demonstrations: A Simulation Study

abstract: In this work, we develop an open-source surgical simulation environment that includes a realistic model obtained by MRI-scanning a physical phantom, for the purpose of training and evaluating a Learning from Demonstration (LfD) algorithm for autonomous suturing. The LfD algorithm utilizes Dynamic Movement Primitives (DMP) and Locally Weighted Regression (LWR), but focuses on the needle trajectory, rather than the instruments, to obtain better generality with respect to needle grasps. We conduct a user study to collect multiple suturing demonstrations and perform a comprehensive analysis of the ability of the LfD algorithm to generalize from a demonstration at one location in one phantom to different locations in the same phantom and to a different phantom. Our results indicate good generalization, on the order of 91.5%, when learning from more experienced subjects, indicating the need to integrate skill assessment in the future.


title: Resolution of Simpson's paradox via the common cause principle

abstract: Simpson's paradox is an obstacle to establishing a probabilistic association between two events $a_1$ and $a_2$, given the third (lurking) random variable $B$. We focus on scenarios when the random variables $A$ (which combines $a_1$, $a_2$, and their complements) and $B$ have a common cause $C$ that need not be observed. Alternatively, we can assume that $C$ screens out $A$ from $B$. For such cases, the correct association between $a_1$ and $a_2$ is to be defined via conditioning over $C$. This set-up generalizes the original Simpson's paradox. Now its two contradicting options simply refer to two particular and different causes $C$. We show that if $B$ and $C$ are binary and $A$ is quaternary (the minimal and the most widespread situation for valid Simpson's paradox), the conditioning over any binary common cause $C$ establishes the same direction of the association between $a_1$ and $a_2$ as the conditioning over $B$ in the original formulation of the paradox. Thus, for the minimal common cause, one should choose the option of Simpson's paradox that assumes conditioning over $B$ and not its marginalization. For tertiary (unobserved) common causes $C$ all three options of Simpson's paradox become possible (i.e. marginalized, conditional, and none of them), and one needs prior information on $C$ to choose the right option.

categories: stat.ME cs.AI math.PR physics.data-an stat.AP


title: Contact Lie poset algebras of types B, C, and D

abstract: We extend a recently established combinatorial index formula applying to Lie poset algebras of types B, C, and D. Then, using the extended index formula, we determine a characterization of contact Lie poset algebras of types B, C, and D corresponding to posets of height one in terms of an associated graph.


title: Quantitatively Connecting Experimental Time-Temperature-Superposition-Breakdown of Polymers near the Glass Transition to Dynamic Heterogeneity via the Heterogeneous Rouse Model

abstract: Polymers near the glass transition temperature Tg often exhibit a breakdown of time-temperature-superposition (TTS), with chain relaxation times and viscosity exhibiting a weaker temperature dependence than segmental relaxation times. The origin of this onset of thermorheological complexity has remained unsettled and a matter of debate. Here we extend the Heterogeneous Rouse Model (HRM), which generalizes the Rouse model to account for dynamic heterogeneity, to make predictions for the relaxation modulus G(t) and complex modulus G*($\omega$) of unentangled polymers near Tg. The HRM predicts that G(t) and G*($\omega$) exhibit enhanced effective scaling exponents in the Rouse regime in the presence of dynamic heterogeneity, with a more rapid decay from the glassy plateau emerging as the system becomes more dynamically heterogeneous on cooling. This behavior is predicted to emerge from a strand-length dependence of the moment of the segmental mobility distribution probed by chain dynamics. We show that the HRM predictions are in good accord with experimental complex modulus data for polystyrene, poly(methyl methacrylate), and poly(2-vinyl pyridine). The HRM also predicts the onset of distinct temperature dependences among chain scale quantities such as terminal relaxation time and viscosity in our experimental systems, apparently resolving one of the most significant standing objections to a heterogeneity-based origin of TTS-breakdown. The HRM thus provides a generalized theory of the chain-scale linear rheological response of unentangled polymers near Tg, accounting for the origin of TTS-breakdown at a molecular mechanistic level. It also points towards a new strategy of inferring the dynamic heterogeneity of glass-forming polymeric systems based on the temperature-evolution of modified scaling in the Rouse regime.

categories: cond-mat.soft cond-mat.mtrl-sci cond-mat.stat-mech physics.chem-ph


title: On the origin of topotactic reduction effect for superconductivity in infinite-layer nickelates

abstract: Topotactic reduction utilizing metal hydrides as reagents emerges as an effective approach to achieve exceptionally low oxidization states of metal ions and unconventional coordination networks. This method opens avenues to the development of entirely new functional materials, with one notable example being the infinite-layer nickelate superconductors. However, the reduction effect on the atomic reconstruction and electronic structures -- crucial for superconductivity -- remains largely unresolved. We design two sets of control Nd$_{0.8}$Sr$_{0.2}$NiO$_2$ thin films and implement secondary ion mass spectroscopy to highlight the absence of reduction-induced hydrogen intercalation. X-ray absorption spectroscopy shows a significant linear dichroism with dominant Ni 3d$_{x2{-}y2}$ orbitals on superconducting samples, indicating a Ni single-band nature of infinite-layer nickelates. Consistent with the superconducting $T_c$, the Ni 3d orbitals asymmetry manifests a dome-like reduction duration dependence. Our results unveil the critical role of reduction in modulating the Ni-3d orbital polarization and its impact on the superconducting properties.


title: Data Science Education in Undergraduate Physics: Lessons Learned from a Community of Practice

abstract: It is becoming increasingly important that physics educators equip their students with the skills to work with data effectively. However, many educators may lack the necessary training and expertise in data science to teach these skills. To address this gap, we created the Data Science Education Community of Practice (DSECOP), bringing together graduate students and physics educators from different institutions and backgrounds to share best practices and lessons learned from integrating data science into undergraduate physics education. In this article we present insights and experiences from this community of practice, highlighting key strategies and challenges in incorporating data science into the introductory physics curriculum. Our goal is to provide guidance and inspiration to educators who seek to integrate data science into their teaching, helping to prepare the next generation of physicists for a data-driven world.


title: Astrometric Measurement of the Double-Star System WDS 09168-3407 B 1118

abstract: We present updated measurements for the position angle and separation of the double-star WDS 09168-3407 B 1118, incorporating data from our observation, Gaia Early Data Release 3 mission, and historical records. Our findings indicate a position angle of 341.4{\deg} and separation of 3.36". Additionally, we utilized parallax and the ratio of proper motion metric (rPM) values to evaluate the potential binarity of the system. Our analysis suggests that the system may be gravitationally bound.


title: Tree-Regularized Tabular Embeddings

abstract: Tabular neural network (NN) has attracted remarkable attentions and its recent advances have gradually narrowed the performance gap with respect to tree-based models on many public datasets. While the mainstreams focus on calibrating NN to fit tabular data, we emphasize the importance of homogeneous embeddings and alternately concentrate on regularizing tabular inputs through supervised pretraining. Specifically, we extend a recent work (DeepTLF) and utilize the structure of pretrained tree ensembles to transform raw variables into a single vector (T2V), or an array of tokens (T2T). Without loss of space efficiency, these binarized embeddings can be consumed by canonical tabular NN with fully-connected or attention-based building blocks. Through quantitative experiments on 88 OpenML datasets with binary classification task, we validated that the proposed tree-regularized representation not only tapers the difference with respect to tree-based models, but also achieves on-par and better performance when compared with advanced NN models. Most importantly, it possesses better robustness and can be easily scaled and generalized as standalone encoder for tabular modality. Codes: https://github.com/milanlx/tree-regularized-embedding.


title: MALTO at SemEval-2024 Task 6: Leveraging Synthetic Data for LLM Hallucination Detection

abstract: In Natural Language Generation (NLG), contemporary Large Language Models (LLMs) face several challenges, such as generating fluent yet inaccurate outputs and reliance on fluency-centric metrics. This often leads to neural networks exhibiting "hallucinations". The SHROOM challenge focuses on automatically identifying these hallucinations in the generated text. To tackle these issues, we introduce two key components, a data augmentation pipeline incorporating LLM-assisted pseudo-labelling and sentence rephrasing, and a voting ensemble from three models pre-trained on Natural Language Inference (NLI) tasks and fine-tuned on diverse datasets.


title: Binary Gaussian Copula Synthesis: A Novel Data Augmentation Technique to Advance ML-based Clinical Decision Support Systems for Early Prediction of Dialysis Among CKD Patients

abstract: The Center for Disease Control estimates that over 37 million US adults suffer from chronic kidney disease (CKD), yet 9 out of 10 of these individuals are unaware of their condition due to the absence of symptoms in the early stages. It has a significant impact on patients' quality of life, particularly when it progresses to the need for dialysis. Early prediction of dialysis is crucial as it can significantly improve patient outcomes and assist healthcare providers in making timely and informed decisions. However, developing an effective machine learning (ML)-based Clinical Decision Support System (CDSS) for early dialysis prediction poses a key challenge due to the imbalanced nature of data. To address this challenge, this study evaluates various data augmentation techniques to understand their effectiveness on real-world datasets. We propose a new approach named Binary Gaussian Copula Synthesis (BGCS). BGCS is tailored for binary medical datasets and excels in generating synthetic minority data that mirrors the distribution of the original data. BGCS enhances early dialysis prediction by outperforming traditional methods in detecting dialysis patients. For the best ML model, Random Forest, BCGS achieved a 72% improvement, surpassing the state-of-the-art augmentation approaches. Also, we present a ML-based CDSS, designed to aid clinicians in making informed decisions. CDSS, which utilizes decision tree models, is developed to improve patient outcomes, identify critical variables, and thereby enable clinicians to make proactive decisions, and strategize treatment plans effectively for CKD patients who are more likely to require dialysis in the near future. Through comprehensive feature analysis and meticulous data preparation, we ensure that the CDSS's dialysis predictions are not only accurate but also actionable, providing a valuable tool in the management and treatment of CKD.


title: Generalized Eulerian Numbers and Directed Friends-and-seats Graphs

abstract: Let $A(n,m)$ denote the Eulerian numbers, which count the number of permutations on $[n]$ with exactly $m$ descents, or, due to the Foata transform, the number of permutations on $[n]$ with exactly $m$ excedances. Friends-and-seats graphs, also known as friends-and-strangers graphs, are a seemingly unrelated recent construction in graph theory. In this paper, we introduce directed friends-and-seats graphs and establish a connection between these graphs and a generalization of the Eulerian numbers. We use this connection to reprove and extend a Worpitzky-like identity on generalized Eulerian numbers.


title: Asymptotic expansion of the drift estimator for the fractional Ornstein-Uhlenbeck process

abstract: We present an asymptotic expansion formula of an estimator for the drift coefficient of the fractional Ornstein-Uhlenbeck process. As the machinery, we apply the general expansion scheme for Wiener functionals recently developed by the authors [26]. The central limit theorem in the principal part of the expansion has the classical scaling T^{1/2}. However, the asymptotic expansion formula is a complex in that the order of the correction term becomes the classical T^{-1/2} for H in (1/2,5/8), but T^{4H-3} for H in [5/8, 3/4).


title: The Bridged Posterior: Optimization, Profile Likelihood and a New Approach to Generalized Bayes

abstract: Optimization is widely used in statistics, thanks to its efficiency for delivering point estimates on useful spaces, such as those satisfying low cardinality or combinatorial structure. To quantify uncertainty, Gibbs posterior exponentiates the negative loss function to form a posterior density. Nevertheless, Gibbs posteriors are supported in a high-dimensional space, and do not inherit the computational efficiency or constraint formulations from optimization. In this article, we explore a new generalized Bayes approach, viewing the likelihood as a function of data, parameters, and latent variables conditionally determined by an optimization sub-problem. Marginally, the latent variable given the data remains stochastic, and is characterized by its posterior distribution. This framework, coined ``bridged posterior'', conforms to the Bayesian paradigm. Besides providing a novel generative model, we obtain a positively surprising theoretical finding that under mild conditions, the $\sqrt{n}$-adjusted posterior distribution of the parameters under our model converges to the same normal distribution as that of the canonical integrated posterior. Therefore, our result formally dispels a long-held belief that partial optimization of latent variables may lead to under-estimation of parameter uncertainty. We demonstrate the practical advantages of our approach under several settings, including maximum-margin classification, latent normal models, and harmonization of multiple networks.


title: Curvature and Other Local Inequalities in Markov Semigroups

abstract: Inspired by the approach of Ivanisvili and Volberg towards functional inequalities for probability measures with strictly convex potentials, we investigate the relationship between curvature bounds in the sense of Bakry-Emery and local functional inequalities. We will show that not only is the earlier approach for strictly convex potentials extendable to Markov semigroups and simplified through use of the $\Gamma$-calculus, providing a consolidating machinery for obtaining functional inequalities new and old in this general setting, but that a converse also holds. Local inequalities obtained are proven equivalent to Bakry-Emery curvature. Moreover we will develop this technique for metric measure spaces satisfying the RCD condition, providing a unified approach to functional and isoperimetric inequalities in non-smooth spaces with a synthetic Ricci curvature bound. Finally, we are interested in commutation properties for semi-group operators on $\mathbb{R}^n$ in the absence of positive curvature, based on a local eigenvalue criteria.


title: Nussbaum Function Based Approach for Tracking Control of Robot Manipulators

abstract: This paper introduces a novel Nussbaum function-based PID control for robotic manipulators. The integration of the Nussbaum function into the PID framework provides a solution with a simple structure that effectively tackles the challenge of unknown control directions. Stability is achieved through a combination of neural network-based estimation and Lyapunov analysis, facilitating automatic gain adjustment without the need for system dynamics. Our approach offers a gain determination with minimum parameter requirements, significantly reducing the complexity and enhancing the efficiency of robotic manipulator control. The paper guarantees that all signals within the closed-loop system remain bounded. Lastly, numerical simulations validate the theoretical framework, confirming the effectiveness of the proposed control strategy in enhancing robotic manipulator control.


title: The sequence of pseudo-equilibria describes the long-time behaviour of the NNLIF model with large delay

abstract: There is a wide range of mathematical models that describe populations of large numbers of neurons. In this article, we focus on nonlinear noisy leaky integrate and fire (NNLIF) models that describe neuronal activity at the level of the membrane potential of neurons. We introduce a set of novel states, which we call "pseudo-equilibria", and give evidence of their defining role in the behaviour of the NNLIF system when a significant synaptic delay is considered. The advantage is that these states are determined solely by the system's parameters and are derived from a sequence of firing rates that result from solving a recurrence equation. We propose a new strategy to show convergence to an equilibrium for a weakly connected system with large transmission delay, based on following the sequence of pseudo-equilibria. Unlike with the direct entropy dissipation method, this technique allows us to see how a large delay favours convergence. We also present a detailed numerical study to support our results. This study explores the overall behaviour of the NNLIF system and helps us understand, among other phenomena, periodic solutions in strongly inhibitory networks.


title: Understanding Police Force Resource Allocation using Adversarial Optimal Transport with Incomplete Information

abstract: Adversarial optimal transport has been proven useful as a mathematical formulation to model resource allocation problems to maximize the efficiency of transportation with an adversary, who modifies the data. It is often the case, however, that only the adversary knows which nodes are malicious and which are not. In this paper we formulate the problem of seeking adversarial optimal transport into Bayesian games. We construct the concept of Bayesian equilibrium and design a distributed algorithm that achieve those equilibria, making our model applicable to large-scale networks. Keywords: game theory, crime control, Markov games


title: Dispersive-wave-agile optical frequency division

abstract: The remarkable frequency stability of resonant systems in the optical domain (optical cavities and atomic transitions) can be harnessed at frequency scales accessible by electronics using optical frequency division. This capability is revolutionizing technologies spanning time keeping to high-performance electrical signal sources. A version of the technique called 2-point optical frequency division (2P-OFD) is proving advantageous for application to high-performance signal sources. In 2P-OFD, an optical cavity anchors two spectral endpoints defined by lines of a frequency comb. The comb need not be self-referenced, which greatly simplifies the system architecture and reduces power requirements. Here, a 2P-OFD microwave signal source is demonstrated with record-low phase noise using a microcomb. Key to this advance is a spectral endpoint defined by a frequency agile single-mode dispersive wave that is emitted by the microcomb soliton. Moreover, the system frequency reference is a compact all-solid-state optical cavity with a record Q-factor. The results advance integrable microcomb-based signal sources into the performance realm of much larger microwave sources.


title: Motif distribution and function of sparse deep neural networks

abstract: We characterize the connectivity structure of feed-forward, deep neural networks (DNNs) using network motif theory. To address whether a particular motif distribution is characteristic of the training task, or function of the DNN, we compare the connectivity structure of 350 DNNs trained to simulate a bio-mechanical flight control system with different randomly initialized parameters. We develop and implement algorithms for counting second- and third-order motifs and calculate their significance using their Z-score. The DNNs are trained to solve the inverse problem of the flight dynamics model in Bustamante, et al. (2022) (i.e., predict the controls necessary for controlled flight from the initial and final state-space inputs) and are sparsified through an iterative pruning and retraining algorithm Zahn, et al. (2022). We show that, despite random initialization of network parameters, enforced sparsity causes DNNs to converge to similar connectivity patterns as characterized by their motif distributions. The results suggest how neural network function can be encoded in motif distributions, suggesting a variety of experiments for informing function and control.


title: Equipment Health Assessment: Time Series Analysis for Wind Turbine Performance

abstract: In this study, we leverage SCADA data from diverse wind turbines to predict power output, employing advanced time series methods, specifically Functional Neural Networks (FNN) and Long Short-Term Memory (LSTM) networks. A key innovation lies in the ensemble of FNN and LSTM models, capitalizing on their collective learning. This ensemble approach outperforms individual models, ensuring stable and accurate power output predictions. Additionally, machine learning techniques are applied to detect wind turbine performance deterioration, enabling proactive maintenance strategies and health assessment. Crucially, our analysis reveals the uniqueness of each wind turbine, necessitating tailored models for optimal predictions. These insight underscores the importance of providing automatized customization for different turbines to keep human modeling effort low. Importantly, the methodologies developed in this analysis are not limited to wind turbines; they can be extended to predict and optimize performance in various machinery, highlighting the versatility and applicability of our research across diverse industrial contexts.


title: Joint Spatial-Temporal Calibration for Camera and Global Pose Sensor

abstract: In robotics, motion capture systems have been widely used to measure the accuracy of localization algorithms. Moreover, this infrastructure can also be used for other computer vision tasks, such as the evaluation of Visual (-Inertial) SLAM dynamic initialization, multi-object tracking, or automatic annotation. Yet, to work optimally, these functionalities require having accurate and reliable spatial-temporal calibration parameters between the camera and the global pose sensor. In this study, we provide two novel solutions to estimate these calibration parameters. Firstly, we design an offline target-based method with high accuracy and consistency. Spatial-temporal parameters, camera intrinsic, and trajectory are optimized simultaneously. Then, we propose an online target-less method, eliminating the need for a calibration target and enabling the estimation of time-varying spatial-temporal parameters. Additionally, we perform detailed observability analysis for the target-less method. Our theoretical findings regarding observability are validated by simulation experiments and provide explainable guidelines for calibration. Finally, the accuracy and consistency of two proposed methods are evaluated with hand-held real-world datasets where traditional hand-eye calibration method do not work.


title: Scaling Up Adaptive Filter Optimizers

abstract: We introduce a new online adaptive filtering method called supervised multi-step adaptive filters (SMS-AF). Our method uses neural networks to control or optimize linear multi-delay or multi-channel frequency-domain filters and can flexibly scale-up performance at the cost of increased compute -- a property rarely addressed in the AF literature, but critical for many applications. To do so, we extend recent work with a set of improvements including feature pruning, a supervised loss, and multiple optimization steps per time-frame. These improvements work in a cohesive manner to unlock scaling. Furthermore, we show how our method relates to Kalman filtering and meta-adaptive filtering, making it seamlessly applicable to a diverse set of AF tasks. We evaluate our method on acoustic echo cancellation (AEC) and multi-channel speech enhancement tasks and compare against several baselines on standard synthetic and real-world datasets. Results show our method performance scales with inference cost and model capacity, yields multi-dB performance gains for both tasks, and is real-time capable on a single CPU core.


title: A New Determination of the Millisecond Pulsar Gamma-Ray Luminosity Function and Implications for the Galactic Center Gamma-Ray Excess

abstract: It has been suggested that the Galactic Center Gamma-Ray Excess (GCE) could be produced by a large number of centrally-located millisecond pulsars. The fact that no such pulsar population has been detected implies that these sources must be very faint and very numerous. In this study, we use the contents of Fermi's recently released Third Pulsar Catalog (3PC) to measure the luminosity function of the millisecond pulsars in the Milky Way's Disk. We find that this source population exhibits a luminosity function with a mean gamma-ray luminosity of $\langle L_\gamma \rangle \sim 6 \times 10^{32}$ erg/s (integrated above 0.1 GeV). If the GCE were generated by millisecond pulsars with the same luminosity function, we find that $\sim$ 20 such sources from the Inner Galaxy population should have already been detected by Fermi and included in the 3PC. Given the lack of such observed sources, we exclude the hypothesis that the GCE is generated by pulsars with the same luminosity function as those in the Galactic Disk with a significance of $3.4\sigma$. We conclude that either less than 39% of the GCE is generated by pulsars, or that the millisecond pulsars in the Inner Galaxy are at least 5 times less luminous on average than those found in the Galactic Disk.

categories: astro-ph.HE astro-ph.CO astro-ph.GA hep-ph


title: Geometry and cohomology of compactified Deligne--Lusztig varieties

abstract: For connected reductive groups, we prove that the cohomology of the structure sheaf and the canonical sheaf for compactified Deligne--Lusztig varieties associated to a tuple $(w_1,\ldots, w_r)$ of Weyl group elements depends only on the $F$-support of $(w_1,\ldots, w_r)$.


title: Even-Ifs From If-Onlys: Are the Best Semi-Factual Explanations Found Using Counterfactuals As Guides?

abstract: Recently, counterfactuals using "if-only" explanations have become very popular in eXplainable AI (XAI), as they describe which changes to feature-inputs of a black-box AI system result in changes to a (usually negative) decision-outcome. Even more recently, semi-factuals using "even-if" explanations have gained more attention. They elucidate the feature-input changes that do not change the decision-outcome of the AI system, with a potential to suggest more beneficial recourses. Some semi-factual methods use counterfactuals to the query-instance to guide semi-factual production (so-called counterfactual-guided methods), whereas others do not (so-called counterfactual-free methods). In this work, we perform comprehensive tests of 8 semi-factual methods on 7 datasets using 5 key metrics, to determine whether counterfactual guidance is necessary to find the best semi-factuals. The results of these tests suggests not, but rather that computing other aspects of the decision space lead to better semi-factual XAI.


title: A Conceptual Model for Data Storytelling Highlights in Business Intelligence Environments

abstract: We introduce a conceptual model for highlights to support data analysis and storytelling in the domain of Business Intelligence, via the automated extraction, representation, and exploitation of highlights revealing key facts that are hidden in the data with which a data analyst works. The model builds on the concepts of Holistic and Elementary Highlights, along with their context, constituents and interrelationships, whose synergy can identify internal properties, patterns and key facts in a dataset being analyzed.


title: LocalRQA: From Generating Data to Locally Training, Testing, and Deploying Retrieval-Augmented QA Systems

abstract: Retrieval-augmented question-answering systems combine retrieval techniques with large language models to provide answers that are more accurate and informative. Many existing toolkits allow users to quickly build such systems using off-the-shelf models, but they fall short in supporting researchers and developers to customize the model training, testing, and deployment process. We propose LocalRQA, an open-source toolkit that features a wide selection of model training algorithms, evaluation methods, and deployment tools curated from the latest research. As a showcase, we build QA systems using online documentation obtained from Databricks and Faire's websites. We find 7B-models trained and deployed using LocalRQA reach a similar performance compared to using OpenAI's text-ada-002 and GPT-4-turbo.


title: Heavy neutral lepton search and $\mu \to e \gamma$ constraints in case of type-I seesaw

abstract: Within type-I seesaw mechanism it is possible to have large (order one) light-heavy neutrino mixing even in case of low right-handed neutrino mass scale (of the order of GeV). This implies large lepton flavor violation. As example we consider the process $\mu \to e \gamma$ that can have a branching up to $10^{-8}$ within type-I seesaw (in contrast with the tiny value $10^{-54}$ expected). Such an enhancing of lepton flavor violation can be used to constraint the parameter space of long lived particle experiments.


title: Ly$\alpha$ Emission Strength and Stellar Properties of Faint Galaxies from $5 < z < 8.2$

abstract: We present a study on stellar properties of Lyman-alpha (Ly$\alpha$) emitters at 5 $< z <$ 8.2. We use 247 photometrically-selected, lensed, high-redshift, low luminosity galaxy candidates with spectroscopic follow-up. Of these, 38 are confirmed spectroscopically to be between 5 $< z <$ 8.2 via detection of Ly$\alpha$. For each galaxy and candidate, we estimate stellar mass, star formation rate, specific star formation rate, and mass-weighted age with spectral energy distribution fitting. We also measure the UV $\beta$ slope and luminosity using values from photometry. We find no strong correlation between Ly$\alpha$ equivalent width and any of these properties, as well as no significant difference between the physical properties of Ly$\alpha$ emitters and candidates without Ly$\alpha$ detected. This lack of expected trends may be explained by a combination of the evolving opacity of the IGM at these redshifts as well as the unique phase space probed by our lensed sample. Via tests on other galaxy samples which show varying strengths of correlations, we conclude that if there exist any relationships between Ly$\alpha$ EW and physical properties in the underlying population of faint galaxies, they are weak correlations. We also present the results of a spectroscopic search for CIII] emission in confirmed Ly$\alpha$ emitters at $z \sim 7$, finding no CIII] detections, but putting constraints on strong AGN activity and extreme nebular emission.


title: Episodic energy release during the main- and post-impulsive phase of a solar flare

abstract: When and where the magnetic field energy is released and converted in eruptive solar flares remains an outstanding topic in solar physics. To shed light on this question, here we report multi-wavelength observations of a C9.4-class eruptive limb flare that occurred on 2017 August 20. The flare, accompanied by a magnetic flux rope eruption and a white light coronal mass ejection, features three post-impulsive X-ray and microwave bursts immediately following its main impulsive phase. For each burst, both microwave and X-ray imaging suggest that the non-thermal electrons are located in the above-the-loop-top region. Interestingly, contrary to many other flares, the peak flux of the three post-impulsive microwave and X-ray bursts shows an increase for later bursts. Spectral analysis reveals that the sources have a hardening spectral index, suggesting a more efficient electron acceleration into the later post-impulsive bursts. We observe a positive correlation between the acceleration of the magnetic flux rope and the non-thermal energy release during the post-impulsive bursts in the same event. Intriguingly, different from some other eruptive events, this correlation does not hold for the main impulse phase of this event, which we interpret as energy release due to the tether-cutting reconnection before the primary flux rope acceleration occurs. In addition, using footpoint brightenings at conjugate flare ribbons, a weakening reconnection guide field is inferred, which may also contribute to the hardening of the non-thermal electrons during the post-impulsive phase.


title: Merging Text Transformer Models from Different Initializations

abstract: Recent work on one-shot permutation-based model merging has shown impressive low- or zero-barrier mode connectivity between models from completely different initializations. However, this line of work has not yet extended to the Transformer architecture, despite its dominant popularity in the language domain. Therefore, in this work, we investigate the extent to which separate Transformer minima learn similar features, and propose a model merging technique to investigate the relationship between these minima in the loss landscape. The specifics of the architecture, like its residual connections, multi-headed attention, and discrete, sequential input, require specific interventions in order to compute model permutations that remain within the same functional equivalence class. In merging these models with our method, we consistently find lower loss barriers between minima compared to model averaging for several models trained on a masked-language modeling task or fine-tuned on a language understanding benchmark. Our results show that the minima of these models are less sharp and isolated than previously understood, and provide a basis for future work on merging separately trained Transformer models.


title: Composite Distributed Learning and Synchronization of Nonlinear Multi-Agent Systems with Complete Uncertain Dynamics

abstract: This paper addresses the problem of composite synchronization and learning control in a network of multi-agent robotic manipulator systems with heterogeneous nonlinear uncertainties under a leader-follower framework. A novel two-layer distributed adaptive learning control strategy is introduced, comprising a first-layer distributed cooperative estimator and a second-layer decentralized deterministic learning controller. The first layer is to facilitate each robotic agent's estimation of the leader's information. The second layer is responsible for both controlling individual robot agents to track desired reference trajectories and accurately identifying/learning their nonlinear uncertain dynamics. The proposed distributed learning control scheme represents an advancement in the existing literature due to its ability to manage robotic agents with completely uncertain dynamics including uncertain mass matrices. This allows the robotic control to be environment-independent which can be used in various settings, from underwater to space where identifying system dynamics parameters is challenging. The stability and parameter convergence of the closed-loop system are rigorously analyzed using the Lyapunov method. Numerical simulations validate the effectiveness of the proposed scheme.


title: Optimal Robot Formations: Balancing Range-Based Observability and User-Defined Configurations

abstract: This paper introduces a set of customizable and novel cost functions that enable the user to easily specify desirable robot formations, such as a ``high-coverage'' infrastructure-inspection formation, while maintaining high relative pose estimation accuracy. The overall cost function balances the need for the robots to be close together for good ranging-based relative localization accuracy and the need for the robots to achieve specific tasks, such as minimizing the time taken to inspect a given area. The formations found by minimizing the aggregated cost function are evaluated in a coverage path planning task in simulation and experiment, where the robots localize themselves and unknown landmarks using a simultaneous localization and mapping algorithm based on the extended Kalman filter. Compared to an optimal formation that maximizes ranging-based relative localization accuracy, these formations significantly reduce the time to cover a given area with minimal impact on relative pose estimation accuracy.


title: On Non-Interactive Simulation of Distributed Sources with Finite Alphabets

abstract: This work presents a Fourier analysis framework for the non-interactive source simulation (NISS) problem. Two distributed agents observe a pair of sequences $X^d$ and $Y^d$ drawn according to a joint distribution $P_{X^dY^d}$. The agents aim to generate outputs $U=f_d(X^d)$ and $V=g_d(Y^d)$ with a joint distribution sufficiently close in total variation to a target distribution $Q_{UV}$. Existing works have shown that the NISS problem with finite-alphabet outputs is decidable. For the binary-output NISS, an upper-bound to the input complexity was derived which is $O(\exp\operatorname{poly}(\frac{1}{\epsilon}))$. In this work, the input complexity and algorithm design are addressed in several classes of NISS scenarios. For binary-output NISS scenarios with doubly-symmetric binary inputs, it is shown that the input complexity is $\Theta(\log{\frac{1}{\epsilon}})$, thus providing a super-exponential improvement in input complexity. An explicit characterization of the simulating pair of functions is provided. For general finite-input scenarios, a constructive algorithm is introduced that explicitly finds the simulating functions $(f_d(X^d),g_d(Y^d))$. The approach relies on a novel Fourier analysis framework. Various numerical simulations of NISS scenarios with IID inputs are provided. Furthermore, to illustrate the general applicability of the Fourier framework, several examples with non-IID inputs, including entanglement-assisted NISS and NISS with Markovian inputs are provided.


title: Formulation Comparison for Timeline Construction using LLMs

abstract: Constructing a timeline requires identifying the chronological order of events in an article. In prior timeline construction datasets, temporal orders are typically annotated by either event-to-time anchoring or event-to-event pairwise ordering, both of which suffer from missing temporal information. To mitigate the issue, we develop a new evaluation dataset, TimeSET, consisting of single-document timelines with document-level order annotation. TimeSET features saliency-based event selection and partial ordering, which enable a practical annotation workload. Aiming to build better automatic timeline construction systems, we propose a novel evaluation framework to compare multiple task formulations with TimeSET by prompting open LLMs, i.e., Llama 2 and Flan-T5. Considering that identifying temporal orders of events is a core subtask in timeline construction, we further benchmark open LLMs on existing event temporal ordering datasets to gain a robust understanding of their capabilities. Our experiments show that (1) NLI formulation with Flan-T5 demonstrates a strong performance among others, while (2) timeline construction and event temporal ordering are still challenging tasks for few-shot LLMs. Our code and data are available at https://github.com/kimihiroh/timeset.


title: SELFI: Autonomous Self-Improvement with Reinforcement Learning for Social Navigation

abstract: Autonomous self-improving robots that interact and improve with experience are key to the real-world deployment of robotic systems. In this paper, we propose an online learning method, SELFI, that leverages online robot experience to rapidly fine-tune pre-trained control policies efficiently. SELFI applies online model-free reinforcement learning on top of offline model-based learning to bring out the best parts of both learning paradigms. Specifically, SELFI stabilizes the online learning process by incorporating the same model-based learning objective from offline pre-training into the Q-values learned with online model-free reinforcement learning. We evaluate SELFI in multiple real-world environments and report improvements in terms of collision avoidance, as well as more socially compliant behavior, measured by a human user study. SELFI enables us to quickly learn useful robotic behaviors with less human interventions such as pre-emptive behavior for the pedestrians, collision avoidance for small and transparent objects, and avoiding travel on uneven floor surfaces. We provide supplementary videos to demonstrate the performance of our fine-tuned policy on our project page.


title: Introducing a Novel Quantum-Resistant Secret Key Establishment Method

abstract: We introduce a new approach for secret key establishment that resists quantum cryptanalysis. The method claims full secrecy as its primary goal. Our approach guarantees private communication at a crucial moment in the quantum revolution. We will discuss how the system achieves homomorphic encryption. Comparatively, our system provides the smallest public and private key sizes available.


title: On the Role of Information Structure in Reinforcement Learning for Partially-Observable Sequential Teams and Games

abstract: In a sequential decision-making problem, the information structure is the description of how events in the system occurring at different points in time affect each other. Classical models of reinforcement learning (e.g., MDPs, POMDPs) assume a simple and highly regular information structure, while more general models like predictive state representations do not explicitly model the information structure. By contrast, real-world sequential decision-making problems typically involve a complex and time-varying interdependence of system variables, requiring a rich and flexible representation of information structure. In this paper, we formalize a novel reinforcement learning model which explicitly represents the information structure. We then use this model to carry out an information-structural analysis of the statistical hardness of general sequential decision-making problems, obtaining a characterization via a graph-theoretic quantity of the DAG representation of the information structure. We prove an upper bound on the sample complexity of learning a general sequential decision-making problem in terms of its information structure by exhibiting an algorithm achieving the upper bound. This recovers known tractability results and gives a novel perspective on reinforcement learning in general sequential decision-making problems, providing a systematic way of identifying new tractable classes of problems.


title: Leveraging Prompt-Based Large Language Models: Predicting Pandemic Health Decisions and Outcomes Through Social Media Language

abstract: We introduce a multi-step reasoning framework using prompt-based LLMs to examine the relationship between social media language patterns and trends in national health outcomes. Grounded in fuzzy-trace theory, which emphasizes the importance of gists of causal coherence in effective health communication, we introduce Role-Based Incremental Coaching (RBIC), a prompt-based LLM framework, to identify gists at-scale. Using RBIC, we systematically extract gists from subreddit discussions opposing COVID-19 health measures (Study 1). We then track how these gists evolve across key events (Study 2) and assess their influence on online engagement (Study 3). Finally, we investigate how the volume of gists is associated with national health trends like vaccine uptake and hospitalizations (Study 4). Our work is the first to empirically link social media linguistic patterns to real-world public health trends, highlighting the potential of prompt-based LLMs in identifying critical online discussion patterns that can form the basis of public health communication strategies.


title: A Spark Optimizer for Adaptive, Fine-Grained Parameter Tuning

abstract: As Spark becomes a common big data analytics platform, its growing complexity makes automatic tuning of numerous parameters critical for performance. Our work on Spark parameter tuning is particularly motivated by two recent trends: Spark's Adaptive Query Execution (AQE) based on runtime statistics, and the increasingly popular Spark cloud deployments that make cost-performance reasoning crucial for the end user. This paper presents our design of a Spark optimizer that controls all tunable parameters (collectively called a "configuration") of each query in the new AQE architecture to explore its performance benefits and, at the same time, casts the tuning problem in the theoretically sound multi-objective optimization setting to better adapt to user cost-performance preferences. To this end, we propose a novel hybrid compile-time/runtime approach to multi-granularity tuning of diverse, correlated Spark parameters, as well as a suite of modeling and optimization techniques to solve the tuning problem in the MOO setting while meeting the stringent time constraint of 1-2 seconds for cloud use. Our evaluation results using the TPC-H and TPC-DS benchmarks demonstrate the superior performance of our approach: (i) When prioritizing latency, it achieves an average of 61% and 64% reduction for TPC-H and TPC-DS, respectively, under the solving time of 0.62-0.83 sec, outperforming the most competitive MOO method that reduces only 18-25% latency with high solving time of 2.4-15 sec. (ii) When shifting preferences between latency and cost, our approach dominates the solutions from alternative methods by a wide margin, exhibiting superior adaptability to varying preferences.


title: The Non-Orientable 4-Genus of 11 Crossing Non-Alternating Knots

abstract: The non-orientable 4-genus of a knot K in the three sphere is defined to be the minimum first Betti number of a non-orientable surface F in the four-ball so that K bounds F. We will survey the tools used to compute the non-orientable 4-genus, and use various techniques to calculate this invariant for non-alternating 11 crossing knots. We also will view obstructions to a knot bounding a M\"obius band given by the double branched cover of the three sphere branched over K.


title: Thermoelectric Transport in Weyl Semimetal BaMnSb2: a First-Principles Study

abstract: Topological materials are often associated with exceptional thermoelectric properties. Orthorhombic BaMnSb2 is a topological semimetal consisting of alternating layers of Ba, Sb, and MnSb. A recent experiment demonstrates that BaMnSb2 has a low thermal conductivity and modest thermopower, promising as a thermoelectric material. Through first-principles calculations with Coulomb repulsion and spin-orbit coupling included, we studied the electronic structure, phononic structure, and thermoelectric transport properties of BaMnSb2 in depth. We find that BaMnSb2 exhibits a low lattice thermal conductivity, owing to the scattering of the acoustic phonons with low-frequency optical modes. Using the linearized Boltzmann transport theory with a constant relaxation time approximation, the thermopower is further calculated and an intriguing goniopolar transport behavior, which is associated with both n-type and p-type conduction along separate transport directions simultaneously, is observed. We propose that the figure of merit can be enhanced via doping in which electrical conductivity is decreased while the thermopower remains undiminished. BaMnSb2 is a potential platform for elucidating complex band structure effects and topological phenomena, paving the way to explore rich physics in low-dimensional systems.


title: Predictions from language models for multiple-choice tasks are not robust under variation of scoring methods

abstract: This paper systematically compares different methods of deriving item-level predictions of language models for multiple-choice tasks. It compares scoring methods for answer options based on free generation of responses, various probability-based scores, a Likert-scale style rating method, and embedding similarity. In a case study on pragmatic language interpretation, we find that LLM predictions are not robust under variation of method choice, both within a single LLM and across different LLMs. As this variability entails pronounced researcher degrees of freedom in reporting results, knowledge of the variability is crucial to secure robustness of results and research integrity.


title: Distributional Dataset Distillation with Subtask Decomposition

abstract: What does a neural network learn when training from a task-specific dataset? Synthesizing this knowledge is the central idea behind Dataset Distillation, which recent work has shown can be used to compress large datasets into a small set of input-label pairs ($\textit{prototypes}$) that capture essential aspects of the original dataset. In this paper, we make the key observation that existing methods distilling into explicit prototypes are very often suboptimal, incurring in unexpected storage cost from distilled labels. In response, we propose $\textit{Distributional Dataset Distillation}$ (D3), which encodes the data using minimal sufficient per-class statistics and paired with a decoder, we distill dataset into a compact distributional representation that is more memory-efficient compared to prototype-based methods. To scale up the process of learning these representations, we propose $\textit{Federated distillation}$, which decomposes the dataset into subsets, distills them in parallel using sub-task experts and then re-aggregates them. We thoroughly evaluate our algorithm on a three-dimensional metric and show that our method achieves state-of-the-art results on TinyImageNet and ImageNet-1K. Specifically, we outperform the prior art by $6.9\%$ on ImageNet-1K under the storage budget of 2 images per class.


title: A linear mixed model approach for measurement error adjustment: applications to sedentary behavior assessment from wearable devices

abstract: In recent years, wearable devices have become more common to capture a wide range of health behaviors, especially for physical activity and sedentary behavior. These sensor-based measures are deemed to be objective and thus less prone to self-reported biases, inherent in questionnaire assessments. While this is undoubtedly a major advantage, there can still be measurement errors from the device recordings, which pose serious challenges for conducting statistical analysis and obtaining unbiased risk estimates. There is a vast literature proposing statistical methods for adjusting for measurement errors in self-reported behaviors, such as in dietary intake. However, there is much less research on error correction for sensor-based device measures, especially sedentary behavior. In this paper, we address this gap. Exploiting the excessive multiple-day assessments typically collected when sensor devices are deployed, we propose a two-stage linear mixed effect model (LME) based approach to correct bias caused by measurement errors. We provide theoretical proof of the debiasing process using the Best Linear Unbiased Predictors (BLUP), and use both simulation and real data from a cohort study to demonstrate the performance of the proposed approach while comparing to the na\"ive plug-in approach that directly uses device measures without appropriately adjusting measurement errors. Our results indicate that employing our easy-to-implement BLUP correction method can greatly reduce biases in disease risk estimates and thus enhance the validity of study findings.


title: Extending Graph Burning to Hypergraphs

abstract: Graph burning is a round-based game or process that discretely models the spread of influence throughout a network. We introduce a generalization of graph burning which applies to hypergraphs, as well as a variant called ''lazy'' hypergraph burning. Interestingly, lazily burning a graph is trivial, while lazily burning a hypergraph can be quite complicated. Moreover, the lazy burning model is a useful tool for analyzing the round-based model. One of our key results is that arbitrary hypergraphs do not satisfy a bound analogous to the one in the Burning Number Conjecture for graphs. We also obtain bounds on the burning number and lazy burning number of a hypergraph in terms of its parameters, and present several open problems in the field of (lazy) hypergraph burning.


title: Attribute Structuring Improves LLM-Based Evaluation of Clinical Text Summaries

abstract: Summarizing clinical text is crucial in health decision-support and clinical research. Large language models (LLMs) have shown the potential to generate accurate clinical text summaries, but still struggle with issues regarding grounding and evaluation, especially in safety-critical domains such as health. Holistically evaluating text summaries is challenging because they may contain unsubstantiated information. Here, we explore a general mitigation framework using Attribute Structuring (AS), which structures the summary evaluation process. It decomposes the evaluation process into a grounded procedure that uses an LLM for relatively simple structuring and scoring tasks, rather than the full task of holistic summary evaluation. Experiments show that AS consistently improves the correspondence between human annotations and automated metrics in clinical text summarization. Additionally, AS yields interpretations in the form of a short text span corresponding to each output, which enables efficient human auditing, paving the way towards trustworthy evaluation of clinical information in resource-constrained scenarios. We release our code, prompts, and an open-source benchmark at https://github.com/microsoft/attribute-structuring.


title: FlaKat: A Machine Learning-Based Categorization Framework for Flaky Tests

abstract: Flaky tests can pass or fail non-deterministically, without alterations to a software system. Such tests are frequently encountered by developers and hinder the credibility of test suites. State-of-the-art research incorporates machine learning solutions into flaky test detection and achieves reasonably good accuracy. Moreover, the majority of automated flaky test repair solutions are designed for specific types of flaky tests. This research work proposes a novel categorization framework, called FlaKat, which uses machine-learning classifiers for fast and accurate prediction of the category of a given flaky test that reflects its root cause. Sampling techniques are applied to address the imbalance between flaky test categories in the International Dataset of Flaky Test (IDoFT). A new evaluation metric, called Flakiness Detection Capacity (FDC), is proposed for measuring the accuracy of classifiers from the perspective of information theory and provides proof for its effectiveness. The final FDC results are also in agreement with F1 score regarding which classifier yields the best flakiness classification.


title: Advancing parabolic operators in thermodynamic MHD models II: Evaluating a Practical Time Step Limit for Unconditionally Stable Methods

abstract: Unconditionally stable time stepping schemes are useful and often practically necessary for advancing parabolic operators in multi-scale systems. However, serious accuracy problems may emerge when taking time steps that far exceed the explicit stability limits. In our previous work, we compared the accuracy and performance of advancing parabolic operators in a thermodynamic MHD model using an implicit method and an explicit super time-stepping (STS) method. We found that while the STS method outperformed the implicit one with overall good results, it was not able to damp oscillatory behavior in the solution efficiently, hindering its practical use. In this follow-up work, we evaluate an easy-to-implement method for selecting a practical time step limit (PTL) for unconditionally stable schemes. This time step is used to `cycle' the operator-split thermal conduction and viscosity parabolic operators. We test the new time step with both an implicit and STS scheme for accuracy, performance, and scaling. We find that, for our test cases here, the PTL dramatically improves the STS solution, matching or improving the solution of the original implicit scheme, while retaining most of its performance and scaling advantages. The PTL shows promise to allow more accurate use of unconditionally stable schemes for parabolic operators and reliable use of STS methods.

categories: cs.CE astro-ph.GA astro-ph.SR cs.NA math.NA physics.comp-ph


title: Policy Optimization for PDE Control with a Warm Start

abstract: Dimensionality reduction is crucial for controlling nonlinear partial differential equations (PDE) through a "reduce-then-design" strategy, which identifies a reduced-order model and then implements model-based control solutions. However, inaccuracies in the reduced-order modeling can substantially degrade controller performance, especially in PDEs with chaotic behavior. To address this issue, we augment the reduce-then-design procedure with a policy optimization (PO) step. The PO step fine-tunes the model-based controller to compensate for the modeling error from dimensionality reduction. This augmentation shifts the overall strategy into reduce-then-design-then-adapt, where the model-based controller serves as a warm start for PO. Specifically, we study the state-feedback tracking control of PDEs that aims to align the PDE state with a specific constant target subject to a linear-quadratic cost. Through extensive experiments, we show that a few iterations of PO can significantly improve the model-based controller performance. Our approach offers a cost-effective alternative to PDE control using end-to-end reinforcement learning.


title: Particle motion around luminous neutron stars: effects of deviation from Schwarzschild spacetime

abstract: We study trajectories of test particles around a luminous, static, spherically symmetric neutron star, under the combined influence of gravity and radiation. In general relativity, for Schwarzschild spacetime, an equilibrium sphere (the Eddington Capture Sphere) is formed for near-Eddington luminosities. We generalize these results to a broad class of static, spherical spacetimes. We also study the dynamics of particles in a strong radiation field in spherical spacetimes. The results are illustrated for two cases, Reissner-Nordstr\"om spacetime of a charged spherical object in general relativity and Kehagias-Sfetsos spacetime, arising from the Horava-Lifshitz gravity theory. Our findings apply to neutron stars under gravitational field equations different from the vacuum Einstein field equations of general relativity, such as in modified theories of gravity, the only requirement being that test particles follow geodesics in the absence of the radiation field. We show that it is possible, in principle, to test the gravity theory by investigating such test particle equilibria and trajectories with observations of neutron stars' X-ray bursts.


title: Coupled cluster theory for nonadiabatic dynamics: nuclear gradients and nonadiabatic couplings in similarity constrained coupled cluster theory

abstract: Coupled cluster theory is one of the most accurate electronic structure methods for predicting ground and excited state chemistry. However, the presence of numerical artifacts at electronic degeneracies, such as complex energies, has made it difficult to apply it in nonadiabatic dynamics simulations. While it has already been shown that such numerical artifacts can be fully removed by using similarity constrained coupled cluster (SCC) theory [J. Phys. Chem. Lett. 2017, 8, 19, 4801-4807], simulating dynamics requires efficient implementations of gradients and nonadiabatic couplings. Here, we present an implementation of nuclear gradients and nonadiabatic derivative couplings at the similarity constrained coupled cluster singles and doubles (SCCSD) level of theory, thereby making possible nonadiabatic dynamics simulations using a coupled cluster theory that provides a correct description of conical intersections between excited states. We present a few numerical examples that show good agreement with literature values and discuss some limitations of the method.


title: BasedAI: A decentralized P2P network for Zero Knowledge Large Language Models (ZK-LLMs)

abstract: BasedAI is a distributed network of machines which introduces decentralized infrastructure capable of integrating Fully Homomorphic Encryption (FHE) with any large language model (LLM) connected to its network. The proposed framework embeds a default mechanism, called "Cerberus Squeezing", into the mining process which enables the transformation of a standard LLMs into encrypted zero-knowledge LLMs, or "ZK-LLMs", leveraging insights from generative adversarial networks for data privacy. This novel quantization mechanism empowers BasedAI miners to process and respond to prompts derived from User interaction with LLMs without the need for decrypting either the queries or their corresponding responses. The introduction of Cerberus Squeezing significantly improves performance degradation caused by quantized functions in current FHE-compliant computing environments by proactively optimizing calls between users, miners, and validators.


title: Design and Performance Evaluation of SEANet, a Software-defined Networking Platform for the Internet of Underwater Things

abstract: This paper presents the design and performance evaluation of the SEANet platform, a software-defined acoustic modem designed for enhancing underwater networking and Internet of Underwater Things (IoUT) applications. Addressing the limitations of traditional acoustic modems, which suffer from low data rates and rigid architectures, SEANet introduces a versatile, adaptive framework capable of reconfiguring all layers of the protocol stack in real-time to accommodate diverse marine applications. The platform integrates high-performance, wideband data converters with modular hardware and software components, enabling real-time adaptation to changing environmental and operational conditions. Experimental evaluations conducted in oceanic settings demonstrate the SEANet capability to significantly exceed the performance of existing commercial underwater modems, supporting data rates up to 150 kbit/s and effectively doubling the performance metrics of conventional systems. Our robust testing also highlights the SEANet proficiency in channel estimation, Orthogonal Frequency-Division Multiplexing (OFDM) link establishment, and interoperability through the JANUS communication standard. Our results underscore the SEANet potential to transform underwater communication technologies, providing a scalable and efficient solution that supports high data rate applications and fosters the expansion of IoUT deployments.


title: My Favorite Math Jokes

abstract: For many years, I have been collecting math jokes and posting them on my website. I have more than 400 jokes there. In this paper, which is an extended version of my talk at the G4G15, I would like to present 66 of them.


title: Quantum Lefschetz without curves

abstract: Given one quasi-smooth derived space cut out of another by a section of a 2-term complex of bundles, we give two formulae for its virtual cycle. They are modelled on the the $p$-fields construction of Chang-Li and the Quantum Lefschetz principle, and recover these when applied to moduli spaces of (stable or quasi-) maps. When the complex is a single bundle we recover results of Kim-Kresch-Pantev.


title: Hilbert Space-Valued LQ Mean Field Games: An Infinite-Dimensional Analysis

abstract: This paper presents a comprehensive study of Hilbert space-valued linear-quadratic (LQ) mean field games (MFGs), generalizing the classic LQ mean field game theory to scenarios involving $N$ agent whose dynamics are governed by infinite-dimensional stochastic equations. In this framework, both the state and control processes of each agent take values in separable Hilbert spaces. Moreoever, all agents are coupled through the average state of the population which appears in their linear dynamics and quadratic cost functional. Specifically, the dynamics of each agent incorporates an infinite-dimensional noise, namely a $Q$-Wiener process, and an unbounded operator. The diffusion coefficient of each agent also involves the state, control, and the average state processes. We first study the well-posedness of a system of $N$ general coupled infinite-dimensional stochastic evolution equations, which forms the foundation of MFGs in Hilbert spaces. Subsequently, we address the limiting Hilbert space-valued MFG as the number of agents approaches infinity and develop an infinite-dimensional variant of the Nash Certainty Equivalence principle. We characterize a unique Nash equilibrium for the limiting model and demonstrate that the associated best-response strategies constitute an $\epsilon$-Nash equilibrium for the original $N$-player game in Hilbert spaces.

categories: math.OC math.FA math.PR q-fin.MF q-fin.RM


title: A Holistic Power Optimization Approach for Microgrid Control Based on Deep Reinforcement Learning

abstract: The global energy landscape is undergoing a transformation towards decarbonization, sustainability, and cost-efficiency. In this transition, microgrid systems integrated with renewable energy sources (RES) and energy storage systems (ESS) have emerged as a crucial component. However, optimizing the operational control of such an integrated energy system lacks a holistic view of multiple environmental, infrastructural and economic considerations, not to mention the need to factor in the uncertainties from both the supply and demand. This paper presents a holistic datadriven power optimization approach based on deep reinforcement learning (DRL) for microgrid control considering the multiple needs of decarbonization, sustainability and cost-efficiency. First, two data-driven control schemes, namely the prediction-based (PB) and prediction-free (PF) schemes, are devised to formulate the control problem within a Markov decision process (MDP). Second, a multivariate objective (reward) function is designed to account for the market profits, carbon emissions, peak load, and battery degradation of the microgrid system. Third, we develop a Double Dueling Deep Q Network (D3QN) architecture to optimize the power flows for real-time energy management and determine charging/discharging strategies of ESS. Finally, extensive simulations are conducted to demonstrate the effectiveness and superiority of the proposed approach through a comparative analysis. The results and analysis also suggest the respective circumstances for using the two control schemes in practical implementations with uncertainties.


title: A Case for Validation Buffer in Pessimistic Actor-Critic

abstract: In this paper, we investigate the issue of error accumulation in critic networks updated via pessimistic temporal difference objectives. We show that the critic approximation error can be approximated via a recursive fixed-point model similar to that of the Bellman value. We use such recursive definition to retrieve the conditions under which the pessimistic critic is unbiased. Building on these insights, we propose Validation Pessimism Learning (VPL) algorithm. VPL uses a small validation buffer to adjust the levels of pessimism throughout the agent training, with the pessimism set such that the approximation error of the critic targets is minimized. We investigate the proposed approach on a variety of locomotion and manipulation tasks and report improvements in sample efficiency and performance.


title: A Randomized Controlled Trial on Anonymizing Reviewers to Each Other in Peer Review Discussions

abstract: Peer review often involves reviewers submitting their independent reviews, followed by a discussion among reviewers of each paper. A question among policymakers is whether the reviewers of a paper should be anonymous to each other during the discussion. We shed light on this by conducting a randomized controlled trial at the UAI 2022 conference. We randomly split the reviewers and papers into two conditions--one with anonymous discussions and the other with non-anonymous discussions, and conduct an anonymous survey of all reviewers, to address the following questions: 1. Do reviewers discuss more in one of the conditions? Marginally more in anonymous (n = 2281, p = 0.051). 2. Does seniority have more influence on final decisions when non-anonymous? Yes, the decisions are closer to senior reviewers' scores in the non-anonymous condition than in anonymous (n = 484, p = 0.04). 3. Are reviewers more polite in one of the conditions? No significant difference in politeness of reviewers' text-based responses (n = 1125, p = 0.72). 4. Do reviewers' self-reported experiences differ across the two conditions? No significant difference for each of the five questions asked (n = 132 and p > 0.3). 5. Do reviewers prefer one condition over the other? Yes, there is a weak preference for anonymous discussions (n = 159 and Cohen's d= 0.25). 6. What do reviewers consider important to make policy on anonymity among reviewers? Reviewers' feeling of safety in expressing their opinions was rated most important, while polite communication among reviewers was rated least important (n = 159). 7. Have reviewers experienced dishonest behavior due to non-anonymity in discussions? Yes, roughly 7% of respondents answered affirmatively (n = 167). Overall, this experiment reveals evidence supporting an anonymous discussion setup in the peer-review process, in terms of the evaluation criteria considered.


title: Realizing Algebra Structures on Free Resolutions of Grade 3 Perfect Ideals

abstract: Perfect ideals of grade 3 can be classified based on algebra structures on their minimal free resolutions. The classification is incomplete in the sense that it remains open which of the possible algebra structures actually occur; this realizability question was formally posed by Avramov in 2012. Of five classes of algebra structures, the realizability question has been answered for one class. In this work, we answer the realizability question for two classes and contribute towards an answer for a third.


title: Determination of the resonant parameters of chi_c0(3915) with global fit

abstract: The chi_c0(3915) was observed firstly by the Belle experiment in the omega J/psi invariant mass spectrum in the process B -> K omegaJ/psi, and then confirmed by the Babar experiment. The two experiments reported the resonant parameters of this particle in the both processes gammagamma -> omegaJ/psi and B -> K omega J/psi by assuming chi_c0(3915) as a S-wave Breit-Wigner resonance. We perform a global fit to the distributions of invariant mass of omega J/psi measured by the Belle and Babar experiments, and incorporate the measurement by the LHCb experiment additionally to extract the mass and width of chi_c0(3915). We obtain M = 3921.0 +/- 0.9 MeV/c2 and Gamma = 17.9 +/- 2.4 MeV which are consistent with the values on PDG within one standard deviation but with improved precision.


title: Optimal quantum circuit cuts with application to clustered Hamiltonian simulation

abstract: We study methods to replace entangling operations with random local operations in a quantum computation, at the cost of increasing the number of required executions. First, we consider "space-like cuts" where an entangling unitary is replaced with random local unitaries. We propose an entanglement measure for quantum dynamics, the product extent, which bounds the cost in a procedure for this replacement based on two copies of the Hadamard test. In the terminology of prior work, this procedure yields a quasiprobability decomposition with minimal 1-norm in a number of cases, which addresses an open question of Piveteau and Sutter. As an application, we give dramatically improved bounds on clustered Hamiltonian simulation. Specifically we show that interactions can be removed at a cost exponential in the sum of their strengths times the evolution time. We also give an improved upper bound on the cost of replacing wires with measure-and-prepare channels using "time-like cuts". We prove a matching information-theoretic lower bound when estimating output probabilities.


title: Two-photon absorption in silicon using real density matrix approach

abstract: Two-photon absorption in indirect gap semiconductors is an frequently encountered, but not well-understood phenomenon. To address this, the Real Density Matrix Approach is applied to describe two-photon absorption in silicon through the excitonic response to the interacting fields. This approach produces an analytical expression for the dispersion of the two-photon absorption coefficient for indirect-gap materials, and can be used to explain trends in reported experimental data for bulk silicon both old and new with minimal fitting.


title: Theoretical Prediction of Low-Energy Experimental Photoelectron Spectra of Al$_n$Ni$^{-}$ Clusters (n=1-13)

abstract: Context Mixed-metal clusters have long been studied because of their peculiar properties and how they change with cluster size, composition and charge state and their potential roles in catalysis. The characterization of these clusters is therefore a very important issue. One of the main experimental tools for characterizing their electronic structure is photoelectron spectroscopy. Theoretical computation completes the task by fully determining the structural properties and matching the theoretical predictions to the measured spectra. We present density functional theory computations of the structural, magnetic and electronic properties of negatively charged mixed Al$_{n}$Ni$^{-}$ clusters with up to 13 Al atoms. The lowest energy structures of the anionic clusters with up to 7 atoms are also found to be low energy isomers of the neutral counterparts found in the literature. The 13-atom cluster is found to be a quartet and a perfect icosahedron. The predicted photoelectron spectra are also presented and can be used to interpret future experimental data. We also presented indicators that can be used to determine the potential of these systems for single atom catalysis. These indicators point to smaller clusters to be more reactive as the gap between the Fermi energy and the center of the d-band increases with cluster size and that Ni occupy and internal site for n=11-13. We speculate that reactivity can be enhanced if one adds an additional Ni atom. Methods The DFT calculations were performed using the Becke exchange and Perdew-Wang/91 correlation functionals (BPW91), a DFT-optimized all-electron basis set for the aluminum atom and the Stuttgart small core pseudopotential for the Ni atom. All of the computations used the Gaussian 03 software.


title: A note on extended genus fields of Kummer extensions of rational function fields

abstract: We consider the generalization of the extended genus field of a prime degree cyclic Kummer extension of a rational function field obtained by R. Clement in 1992 to general Kummer extensions. We observe that the same approach of Clement works in general.


title: Autonomous Strike UAVs for Counterterrorism Missions: Challenges and Preliminary Solutions

abstract: Unmanned Aircraft Vehicles (UAVs) are becoming a crucial tool in modern warfare, primarily due to their cost-effectiveness, risk reduction, and ability to perform a wider range of activities. The use of autonomous UAVs to conduct strike missions against highly valuable targets is the focus of this research. Due to developments in ledger technology, smart contracts, and machine learning, such activities formerly carried out by professionals or remotely flown UAVs are now feasible. Our study provides the first in-depth analysis of challenges and preliminary solutions for successful implementation of an autonomous UAV mission. Specifically, we identify challenges that have to be overcome and propose possible technical solutions for the challenges identified. We also derive analytical expressions for the success probability of an autonomous UAV mission, and describe a machine learning model to train the UAV.


title: Federated Learning via Lattice Joint Source-Channel Coding

abstract: This paper introduces a universal federated learning framework that enables over-the-air computation via digital communications, using a new joint source-channel coding scheme. Without relying on channel state information at devices, this scheme employs lattice codes to both quantize model parameters and exploit interference from the devices. A novel two-layer receiver structure at the server is designed to reliably decode an integer combination of the quantized model parameters as a lattice point for the purpose of aggregation. Numerical experiments validate the effectiveness of the proposed scheme. Even with the challenges posed by channel conditions and device heterogeneity, the proposed scheme markedly surpasses other over-the-air FL strategies.


title: Reservoir Computing Using Measurement-Controlled Quantum Dynamics

abstract: Physical reservoir computing (RC) is a machine learning algorithm that employs the dynamics of a physical system to forecast highly nonlinear and chaotic phenomena. In this paper, we introduce a quantum RC system that employs the dynamics of a probed atom in a cavity. The atom experiences coherent driving at a particular rate, leading to a measurement-controlled quantum evolution. The proposed quantum reservoir can make fast and reliable forecasts using a small number of artificial neurons compared with the traditional RC algorithm. We theoretically validate the operation of the reservoir, demonstrating its potential to be used in error-tolerant applications, where approximate computing approaches may be used to make feasible forecasts in conditions of limited computational and energy resources.


title: A Sufficient Epistemic Condition for Solving Stabilizing Agreement

abstract: In this paper we provide a first-ever epistemic formulation of stabilizing agreement, defined as the non-terminating variant of the well established consensus problem. In stabilizing agreements, agents are given (possibly different) initial values, with the goal to eventually always decide on the same value. While agents are allowed to change their decisions finitely often, they are required to agree on the same value eventually. We capture these properties in temporal epistemic logic and we use the Runs and Systems framework to formally reason about stabilizing agreement problems. We then epistemically formalize the conditions for solving stabilizing agreement, and identify the knowledge that the agents acquire during any execution to choose a particular value under our system assumptions. This first formalization of a sufficient condition for solving stabilizing agreement sets the stage for a planned necessary and sufficient epistemic characterization of stabilizing agreement.


title: Examining the detectability of ringing on highly eccentric exoplanets

abstract: Eccentric exoplanets offer an opportunity to study the response of an atmosphere to changing thermal forcing and the robustness of the super-rotating equatorial jet seen on tidally locked hot Jupiters. However, the atmospheric dynamics on eccentric planets strongly depend on the planetary rotation period, which is difficult to constrain observationally. The ringing phenomenon, whereby the observed emission increases and decreases after the periastron passage as the flash-heated hemisphere rotates into and out of view, can provide a tight constraint on rotation. We studied five highly eccentric transiting exoplanets HAT-P-2 b, HD 80606 b, TOI-3362 b, TOI-4127 b and HD 17156 b to find which displays strong ringing signals that are sufficiently strong for the James Webb Space Telescope (JWST) to detect. We implemented the treatment of eccentricity and non-synchronous rotation in the non-grey climate model expeRT/MITgcm and generated synthetic light curves. We find four detectable ringing peaks on HD 80606 b and some undetectable ringing on TOI-4127 b and HD 17156 b. The lack of clouds, photo-chemistry and obliquity in our models may have led us to overestimate the amplitude of the ringing however. The strength of the ringing signal is mostly determined by the eccentricity, planetary rotation period, planet-to-star radius ratio and apparent magnitude of the system. We searched for more exoplanets that could show ringing but found no candidates as promising as HD 80606 b. We recommend prioritising HD 80606 b as a target for ringing with JWST. A baseline of five days after the periastron passage would capture three ringing peaks, which is sufficient to tightly constrain the planetary rotation period. An extension to seven days would add a fourth peak, which would allow us to verify the rotation period.


title: Assessing the Potential for Building Sector Retrofits to Mitigate ERCOT Electricity Shortfalls During Winter Storm Uri

abstract: This analysis investigates energy performance of the residential and commercial building sectors in the Electric Reliability Council of Texas (ERCOT) during Winter Storm Uri. ERCOT electricity demand was modeled for the ERCOT baseline building stock as well as for the baseline building stock retrofitted with an efficiency upgrade package, an electrification upgrade package, and an efficiency + electrification upgrade package. The electrification scenario that retrofitted buildings with air-source heat pumps (ASHPs) would have lowered ERCOT daily peak electricity demand relative to the baseline scenario for every day of the year, except during the week of Winter Storm Uri. As the mean outdoor temperature dropped below -5{\deg}C (23{\deg}F), diminishing ASHP efficiency would have resulted in electrification scenario demand exceeding the two distinct baseline scenario daily demand peaks on February 15th and 16th (87.3 GW and 88.7 GW) to hit 111.8 GW and 117.5 GW. The efficiency package would have lowered daily peak demand on these days to 67.0 GW and 68.0 GW. The efficiency + electrification package would have lowered peak demand on these days to 81.5 GW and 85.6 GW. When electricity shortfall profiles were produced by comparing modeled electricity demand to actual ERCOT electricity generation during the storm, the results indicate that the electrification scenario electricity shortfall (1741 GWh) would have been larger than for the baseline scenario (1225 GWh) and the electricity shortfalls for the efficiency scenario (347 GWh) and efficiency + electrification scenario (704 GWh) would have been lower than the baseline. The efficiency, electrification, and efficiency + electrification scenarios would all have lowered summer daily peak demand due to improvements in building cooling efficiency and would have lowered annual electricity consumption by 5.9%, 6.8%, and 11.9%, respectively.


title: On the equilibrium limit of liquid stability in pressurized aqueous systems

abstract: Phase stability, and the limits thereof, are a central concern of materials thermodynamics. However, the temperature limits of equilibrium liquid stability in chemical systems have only been widely characterized under constant (typically atmospheric) pressure conditions, whereunder the limit is represented by the eutectic. At higher pressures, this limit will shift in both temperature and chemical composition, opening a wide thermodynamic parameter space over which the absolute limit, i.e., the limit under arbitrary values of the thermodynamic forces at play (here pressure and concentration), might exist. In this work, we use isochoric freezing to measure this absolute limit for the first time in several binary aqueous brines, and, nodding to the etymology of "eutectic", we name this limit the "cenotectic" (from Greek " ", "universal-melt"). We observe that when no solute-bearing high-pressure phases exist, the cenotectic occurs consistently 22 +/- 2K below the 1 bar eutectic and at approximately 213 +/- 3 MPa, suggesting domination by the liquidus behaviors of the icy phases present. In charting the T-P evolution of each eutectic configuration, we also encounter several unreported high-pressure hydrates of NaHCO2, MgCl2, and NaCl, and we find that these high-pressure phases can produce complex multi-phase configurations involving the liquid that may remain metastable to significantly lower temperatures. We discuss the implications of these findings for ocean worlds of our solar system and cold ocean exoplanets; estimate thermodynamic limits on ice crust thickness and final ocean depth ("endgame") using the cenotectic pressure; and finally provide a generalized thermodynamic perspective on (and definition for) this fundamental thermodynamic invariant point.


title: Unveiling the physics of the spin-orbit coupling at the surface of a model topological insulator: from theory to experiments

abstract: Spin-orbit interaction affects the band structure of topological insulators beyond the opening of an inverted gap in the bulk bands, and the understanding of its effects on the surface states is of primary importance to access the underlying physics of these exotic states. Here, we propose an $\textit{ab initio}$ approach benchmarked by pump-probe angle-resolved photoelectron spectroscopy data to model the effect of spin-orbit coupling on the surface states of a topological insulator. The critical novelty of our approach lies in the possibility of accounting for a partial transfer of the spin-orbit coupling to the surface states, mediated by the hybridization with the surface resonance states. In topological insulators, the fraction of transferred spin-orbit coupling influences the strength of the hexagonal warping of the surface states, which we use as a telltale of the capability of our model to reproduce the experimental dispersion. The comparison between calculations and measurements, of both the unoccupied and part of the occupied Dirac cone, indicates that the fraction of spin-orbit coupling transferred to the surface states by hybridization with the resonance states is between 70% and 85% of its full atomic value. This offers a valuable insight to improve the modeling of surface state properties in topological insulators for both scientific purposes and technological applications.


title: Bayesian characterization of the young open cluster NGC 6383 using HDBSCAN and Gaia DR3

abstract: This study focuses on determining the characteristics of the young open cluster NGC 6383. To achieve this, the HDBSCAN clustering algorithm is utilized to identify potential cluster members based on proper motions and parallaxes from Gaia Data Release 3. Various parameters of NGC 6383, such as tidal radius, core radius, distance through parallax and isochrone-fitting, proper motion, age, metallicity, and relevant others, are assessed. To perform this analysis, we utilize an extension of Hamiltonian Monte Carlo, the No-U-Turn Sampler. The results of this analysis point out that NGC 6383 is a very young open cluster $(\sim 1 - 4~\mathrm{Myr})$, with a distance of $\sim 1.1~\mathrm{kpc}$.


title: Peacock: A Family of Arabic Multimodal Large Language Models and Benchmarks

abstract: Multimodal large language models (MLLMs) have proven effective in a wide range of tasks requiring complex reasoning and linguistic comprehension. However, due to a lack of high-quality multimodal resources in languages other than English, success of MLLMs remains relatively limited to English-based settings. This poses significant challenges in developing comparable models for other languages, including even those with large speaker populations such as Arabic. To alleviate this challenge, we introduce a comprehensive family of Arabic MLLMs, dubbed \textit{Peacock}, with strong vision and language capabilities. Through comprehensive qualitative and quantitative analysis, we demonstrate the solid performance of our models on various visual reasoning tasks and further show their emerging dialectal potential. Additionally, we introduce ~\textit{Henna}, a new benchmark specifically designed for assessing MLLMs on aspects related to Arabic culture, setting the first stone for culturally-aware Arabic MLLMs.The GitHub repository for the \textit{Peacock} project is available at \url{https://github.com/UBC-NLP/peacock}.


title: Abatement of Ionizing Radiation for Superconducting Quantum Devices

abstract: Ionizing radiation has been shown to reduce the performance of superconducting quantum circuits. In this report, we evaluate the expected contributions of different sources of ambient radioactivity for typical superconducting qubit experiment platforms. Our assessment of radioactivity inside a typical cryostat highlights the importance of selecting appropriate materials for the experiment components nearest to qubit devices, such as packaging and electrical interconnects. We present a shallow underground facility (30-meter water equivalent) to reduce the flux of cosmic rays and a lead shielded cryostat to abate the naturally occurring radiogenic gamma-ray flux in the laboratory environment. We predict that superconducting qubit devices operated in this facility could experience a reduced rate of correlated multi-qubit errors by a factor of approximately 20 relative to the rate in a typical above-ground, unshielded facility. Finally, we outline overall design improvements that would be required to further reduce the residual ionizing radiation rate, down to the limit of current generation direct detection dark matter experiments.


title: Nodal count for a random signing of a graph with disjoint cycles

abstract: Let $G$ be a simple, connected graph on $n$ vertices, and further assume that $G$ has disjoint cycles. Let $h$ be a real symmetric matrix supported on $G$ (for example, a discrete Schr\"odinger operator). The eigenvalues of $h$ are ordered increasingly, $\lambda_1 \le \cdots \le \lambda_n$, and if $\phi$ is the eigenvector corresponding to $\lambda_k$, the nodal (edge) count $\nu(h,k)$ is the number of edges $(rs)$ such that $ h_{rs}\phi_{r}\phi_{s}>0$. The nodal surplus is $\sigma(h,k)= \nu(h,k) - (k-1)$. Let $h'$ be a random signing of $h$, that is a real symmetric matrix obtained from $h$ by changing the sign of some of its off-diagonal elements. If $h$ satisfies a certain generic condition, we show for each $k$ that the nodal surplus has a binomial distribution $\sigma(h',k)\sim Bin(\beta,\frac{1}{2})$. Part of the proof follows ideas developed by the first author together with Ram Band and Gregory Berkolaiko in a joint unpublished project studying a similar question on quantum graphs.


title: Cyclic Quantum Annealing: Searching for Deep Low-Energy States in 5000-Qubit Spin Glass

abstract: Quantum computers promise a qualitative speedup in solving a broad spectrum of real-life optimization problems. The latter can be mapped onto the task of finding low-energy states of spin glasses, which is known to be exceedingly difficult. Using D-Wave's 5000-qubit quantum processor, we demonstrate that a recently proposed iterative cyclic quantum annealing algorithm[1] can find deep low-energy states in record time. We also find intricate structures in a low-energy landscape of spin glasses, such as a power-law distribution of connected clusters with a small surface energy. These observations offer guidance for further improvement of the optimization algorithms.


title: Recent Findings from Heavy-Flavor Angular Correlation Measurements in Hadronic Collisions

abstract: The study of angular correlations of heavy-flavor particles in hadronic collisions can provide crucial insight into the heavy quark production, showering, and hadronization processes. The comparison with model predictions allows us to discriminate among different approaches for heavy quark production and hadronization, as well as different treatments of the underlying event employed by the models to reproduce correlation observables. In ultra-relativistic heavy-ion collisions, where a deconfined state of matter, the quark--gluon plasma (QGP), is created, heavy-flavor correlations can shed light on the modification of the heavy quark fragmentation due to the interaction between charm and beauty quarks with the QGP constituents, as well as characterize their energy loss processes while traversing the medium. Insight into the possible emergence of collective-like mechanisms in smaller systems, resembling those observed in heavy-ion collisions, can also be obtained by performing correlation studies in high-multiplicity proton--proton and proton--nucleus collisions. In this review, the most recent and relevant measurements of heavy-flavor correlations performed in all collision systems at the LHC and RHIC will be presented, and the new understandings that they provide will be discussed.


title: Nonlinear dynamics and stability analysis of locally-active Mott memristors using a physics-based compact model

abstract: Locally-active memristors are a class of emerging nonlinear dynamic circuit elements that hold promise for scalable yet biomimetic neuromorphic circuits. Starting from a physics-based compact model, we performed small-signal linearization analyses and applied Chua's local activity theory to a one-dimensional locally-active vanadium dioxide Mott memristor based on an insulator-to-metal phase transition. This approach allows a connection between the dynamical behaviors of a Mott memristor and its physical device parameters as well as a complete mapping of the locally passive and edge of chaos domains in the frequency and current operating parameter space, which could guide materials and device development for neuromorphic circuit applications. We also examined the applicability of local analyses on a second-order relaxation oscillator circuit that consists of a voltage-biased vanadium dioxide memristor coupled to a parallel reactive capacitor element and a series resistor. We show that global nonlinear techniques, including nullclines and phase portraits, provide insights on instabilities and persistent oscillations near non-hyperbolic fixed points, such as a supercritical Hopf-like bifurcation from an unstable spiral to a stable limit cycle, with each of the three circuit parameters acting as a bifurcation parameter. The abruptive growth in the limit cycle resembles the Canard explosion phenomenon in systems exhibiting relaxation oscillations. Finally, we show that experimental limit cycle oscillations in a vanadium dioxide nano-device relaxation oscillator match well with SPICE simulations built upon the compact model.


title: Node resistance curvature in Cartesian graph products

abstract: Devriendt and Lambiotte recently introduced the \emph{node resistance curvature}, a notion of graph curvature based on the effective resistance matrix. In this paper, we begin the study of the behavior of the node resistance curvature under the operation of the Cartesian graph product. We study the natural question of global positivity of node resistance curvature of the Cartesian product of positively-curved graphs, and prove that, whenever $m,n\ge3$, the node resistance curvature of the interior vertices of a $m\times n$ grid is always nonpositive, while it is always nonnegative on the boundary of such grids. For completeness, we also prove a number of results on node resistance curvature in $2\times n$ grids and exhibit a counterexample to a generalization. We also give generic bounds and suggest several further questions for future study.


title: AutoAttacker: A Large Language Model Guided System to Implement Automatic Cyber-attacks

abstract: Large language models (LLMs) have demonstrated impressive results on natural language tasks, and security researchers are beginning to employ them in both offensive and defensive systems. In cyber-security, there have been multiple research efforts that utilize LLMs focusing on the pre-breach stage of attacks like phishing and malware generation. However, so far there lacks a comprehensive study regarding whether LLM-based systems can be leveraged to simulate the post-breach stage of attacks that are typically human-operated, or "hands-on-keyboard" attacks, under various attack techniques and environments. As LLMs inevitably advance, they may be able to automate both the pre- and post-breach attack stages. This shift may transform organizational attacks from rare, expert-led events to frequent, automated operations requiring no expertise and executed at automation speed and scale. This risks fundamentally changing global computer security and correspondingly causing substantial economic impacts, and a goal of this work is to better understand these risks now so we can better prepare for these inevitable ever-more-capable LLMs on the horizon. On the immediate impact side, this research serves three purposes. First, an automated LLM-based, post-breach exploitation framework can help analysts quickly test and continually improve their organization's network security posture against previously unseen attacks. Second, an LLM-based penetration test system can extend the effectiveness of red teams with a limited number of human analysts. Finally, this research can help defensive systems and teams learn to detect novel attack behaviors preemptively before their use in the wild....