title: Merging Parameter Estimation and Classification Using LASSO

abstract: Soft sensing is a way to indirectly obtain information of signals for which direct sensing is difficult or prohibitively expensive. It may not a priori be evident which sensors provide useful information about the target signal. There may be sensors irrelevant for the estimation as well as sensors for which the information is very poor. It is often required that the soft sensor should cover a wide range of operating points. This means that some sensors may be useful in certain operating conditions while irrelevant in others, while others may have no bearing on the target signal whatsoever. However, this type of structural information is typically not available but has to be deduced from data. A further compounding issue is that multiple operating conditions may be described by the same model, but which ones is not known in advance either. In this contribution, we provide a systematic method to construct a soft sensor that can deal with these issues. While the different models can be used, we adopt the multi-input single output finite impulse response models since they are linear in the parameters. We propose a single estimation criterion, where the objectives are encoded in terms of model fit, model sparsity (reducing the number of different models), and model parameter coefficient sparsity (to exclude irrelevant sensors). A post-processing model clustering step is also included. As proof of concept, the method is tested on field test datasets from a prototype vehicle.


title: On the normalization of open-closed string amplitudes

abstract: We use the factorization constraints of open-closed string field theory to determine the signs and normalizations of general string amplitudes with both open and closed string external states. The normalization of all amplitudes is controlled by the genus, the number of boundaries, the number of open and closed string insertions, the string coupling and the D-brane tension. The challenge with signs arises because the relevant moduli spaces are not complex manifolds and have no obvious orientation. We deal with this by fixing a specific convention for the sign of the integration measure over the moduli space and adopting a consistent prescription for the ordering of operators and ghost insertions inside correlators.


title: On Model Theory of Second-Order Objects

abstract: Motivated by team semantics and existential second-order logic, we develop a model-theoretic framework for studying second-order objects such as sets and relations. We introduce a notion of abstract elementary team categories that generalizes the standard notion of abstract elementary class, and show that it is an example of an accessible category. We apply our framework to show that the logic $\mathsf{FOT}$ introduced by Kontinen and Yang satisfies a version of Lindstr\"om's Theorem. Finally, we consider the problem of transferring categoricity between different cardinalities for complete theories in existential second-order logic (or independence logic) and prove both a downwards and an upwards categoricity transfer result.


title: TOGLL: Correct and Strong Test Oracle Generation with LLMs

abstract: Test oracles play a crucial role in software testing, enabling effective bug detection. Despite initial promise, neural-based methods for automated test oracle generation often result in a large number of false positives and weaker test oracles. While LLMs have demonstrated impressive effectiveness in various software engineering tasks, including code generation, test case creation, and bug fixing, there remains a notable absence of large-scale studies exploring their effectiveness in test oracle generation. The question of whether LLMs can address the challenges in effective oracle generation is both compelling and requires thorough investigation. In this research, we present the first comprehensive study to investigate the capabilities of LLMs in generating correct, diverse, and strong test oracles capable of effectively identifying a large number of unique bugs. To this end, we fine-tuned seven code LLMs using six distinct prompts on the SF110 dataset. Utilizing the most effective fine-tuned LLM and prompt pair, we introduce TOGLL, a novel LLM-based method for test oracle generation. To investigate the generalizability of TOGLL, we conduct studies on 25 large-scale Java projects. Besides assessing the correctness, we also assess the diversity and strength of the generated oracles. We compare the results against EvoSuite and the state-of-the-art neural method, TOGA. Our findings reveal that TOGLL can produce 3.8 times more correct assertion oracles and 4.9 times more exception oracles. Moreover, our findings demonstrate that TOGLL is capable of generating significantly diverse test oracles. It can detect 1,023 unique bugs that EvoSuite cannot, which is ten times more than what the previous SOTA neural-based method, TOGA, can detect.


title: Exploring Self-Interacting Dark Matter Halos with Diverse Baryonic Distributions: A Parametric Approach

abstract: Galaxies residing in dark matter halos exert significant gravitational effects that alter halo structure and dynamics. The complexity of these interactions escalates with the diversity of galactic structures and the variability in dark matter halo profiles under self-interacting dark matter (SIDM) models. This work extends the parametric model for dark matter-only halos presented in arXiv:2305.16176 to incorporate baryons. We adapt this model to consistently represent the SIDM halo density profile over time, highlighting the role of a gravothermal phase in characterizing the state of an SIDM halo. Given this phase, the density profile in SIDM is determined by a fictitious progenitor -- consisting of an NFW halo influenced by a baryonic potential -- that has evolved to its present state. In the temporal dimension, the model incorporates a form factor that rescales the evolution time in the dark matter-only case, thereby enabling the introduction of a universal phase. In the radial dimension, the halo density profile is parametrized to reflect the influences of baryons. We calibrate the model through N-body simulations with baryon potentials to fit various stellar-to-halo mass ratios and size-mass relationships. Our parametric approach is numerically efficient, enabling the exploration of SIDM effects across a diverse set of halos, as exemplified by a case study using an illustrative sample that spans five orders of magnitude in the mass range. We also demonstrate that the effects of evolution history and the specific SIDM model can be separated from the current states of galaxies and halos, leaving the task of identifying consistent SIDM models to dedicated post-processing analyses.


title: Photonic Millimeter-wave Generation Beyond the Cavity Thermal Limit

abstract: Next-generation communications, radar and navigation systems will extend and exploit the higher bandwidth of the millimeter-wave domain for increased communication data rates as well as radar with higher sensitivity and increased spatial resolution. However, realizing these advantages will require the generation of millimeter-wave signals with low phase noise in simple and compact form-factors. The rapidly developing field of photonic integration addresses this challenge and provides a path toward simplified and portable, low-noise mm-wave generation for these applications. We leverage these advances by heterodyning two silicon photonic chip lasers, phase-locked to the same miniature Fabry-Perot (F-P) cavity to demonstrate a simple framework for generating low-noise millimeter-waves with phase noise below the thermal limit of the F-P cavity. Specifically, we generate 94.5 GHz and 118.1 GHz millimeter-wave signals with phase noise of -117 dBc/Hz at 10 kHz offset, decreasing to -120 dBc/Hz at 40 kHz offset, a record low value for such photonic devices. We achieve this with existing technologies that can be integrated into a platform less than $\approx$ 10 mL in volume. Our work illustrates the significant potential and advantages of low size, weight, and power (SWaP) photonic-sourced mm-waves for communications and sensing.


title: On Adversarial Examples for Text Classification by Perturbing Latent Representations

abstract: Recently, with the advancement of deep learning, several applications in text classification have advanced significantly. However, this improvement comes with a cost because deep learning is vulnerable to adversarial examples. This weakness indicates that deep learning is not very robust. Fortunately, the input of a text classifier is discrete. Hence, it can prevent the classifier from state-of-the-art attacks. Nonetheless, previous works have generated black-box attacks that successfully manipulate the discrete values of the input to find adversarial examples. Therefore, instead of changing the discrete values, we transform the input into its embedding vector containing real values to perform the state-of-the-art white-box attacks. Then, we convert the perturbed embedding vector back into a text and name it an adversarial example. In summary, we create a framework that measures the robustness of a text classifier by using the gradients of the classifier.


title: Low rank groups of Lie type acting point and line-primitively on finite generalised quadrangles

abstract: Suppose we have a finite thick generalised quadrangle whose automorphism group $G$ acts primitively on both the set of points and the set of lines. Then $G$ must be almost simple. In this paper, we show that $\operatorname{soc}(G)$ cannot be isomorphic to $\operatorname{Sz}(2^{2m+1})$ or $\operatorname{Ree}(3^{2m+1})$ where $m$ is a positive integer.


title: Regularity for Fully Nonlinear Elliptic Equations with Natural Growth in Gradient and Singular Nonlinearity

abstract: In this article we consider the following boundary value problem \begin{equation*}\label{abs} \left\{ \begin{aligned} F(x,u,Du,D^{2}u)+c(x)u+ p(x)u^{-\alpha}&=0~\text{in}~\Omega\\ u&=0~~\text{on}~~\partial\Omega, \end{aligned} \right. \end{equation*} where $\Omega$ is a bounded and $C^{2}$ smooth domain in $\mathbb{R}^N$ and $F$ has superlinear growth in gradient and $c(c)<-c_{0}$ for some positive constant $c_{0}.$ Here, we studies the boundary behaviour of the solutions to above equation and establishes the global regularity result similar to one established in [12,16] with linear growth in gradient.


title: Prize-Collecting Steiner Tree: A 1.79 Approximation

abstract: Prize-Collecting Steiner Tree (PCST) is a generalization of the Steiner Tree problem, a fundamental problem in computer science. In the classic Steiner Tree problem, we aim to connect a set of vertices known as terminals using the minimum-weight tree in a given weighted graph. In this generalized version, each vertex has a penalty, and there is flexibility to decide whether to connect each vertex or pay its associated penalty, making the problem more realistic and practical. Both the Steiner Tree problem and its Prize-Collecting version had long-standing $2$-approximation algorithms, matching the integrality gap of the natural LP formulations for both. This barrier for both problems has been surpassed, with algorithms achieving approximation factors below $2$. While research on the Steiner Tree problem has led to a series of reductions in the approximation ratio below $2$, culminating in a $\ln(4)+\epsilon$ approximation by Byrka, Grandoni, Rothvo{\ss}, and Sanit\`a, the Prize-Collecting version has not seen improvements in the past 15 years since the work of Archer, Bateni, Hajiaghayi, and Karloff, which reduced the approximation factor for this problem from $2$ to $1.9672$. Interestingly, even the Prize-Collecting TSP approximation, which was first improved below $2$ in the same paper, has seen several advancements since then. In this paper, we reduce the approximation factor for the PCST problem substantially to 1.7994 via a novel iterative approach.


title: Naive homotopy theories in cartesian closed categories

abstract: An elementary notion of homotopy can be introduced between arrows in a cartesian closed category $E$. The input is a finite-product-preserving endofunctor $\Pi_0$ with a natural transformation $p$ from the identity which is surjective on global elements. As expected, the output is a new category $E_p$ with objects the same objects as $E$. Further assumptions on $E$ provide a finer description of $E_p$ that relates it to the classical homotopy theory where $\Pi_0$ could be interpreted as the ``path-connected components'' functor on convenient categories of topological spaces. In particular, if $E$ is a 2-value topos the supports of which split and is furthermore assumed to be precohesive over a boolean base, then the passage from $E$ to $E_p$ is naturally described in terms of explicit homotopies -- as is the internal notion of contractible space.


title: Detecting Anti-Semitic Hate Speech using Transformer-based Large Language Models

abstract: Academic researchers and social media entities grappling with the identification of hate speech face significant challenges, primarily due to the vast scale of data and the dynamic nature of hate speech. Given the ethical and practical limitations of large predictive models like ChatGPT in directly addressing such sensitive issues, our research has explored alternative advanced transformer-based and generative AI technologies since 2019. Specifically, we developed a new data labeling technique and established a proof of concept targeting anti-Semitic hate speech, utilizing a variety of transformer models such as BERT (arXiv:1810.04805), DistillBERT (arXiv:1910.01108), RoBERTa (arXiv:1907.11692), and LLaMA-2 (arXiv:2307.09288), complemented by the LoRA fine-tuning approach (arXiv:2106.09685). This paper delineates and evaluates the comparative efficacy of these cutting-edge methods in tackling the intricacies of hate speech detection, highlighting the need for responsible and carefully managed AI applications within sensitive contexts.


title: Two Toy Spin Chain Models of Decoherence

abstract: We solve for the decoherence dynamics of two models in which a simple qubit or Central Spin couples to a bath of spins; the bath is made from a chain of spins. In model 1, the bath spins are Ising spins; in Model 2, they are coupled by transverse spin-spin interactions, and the chain supports spin waves. We look at (i) the case where the Hamiltonian is static, with a constant system/bath coupling, and (ii) where this coupling varies in time.


title: Approximating a branch of solutions to the Navier--Stokes equations by reduced-order modeling

abstract: This paper extends a low-rank tensor decomposition (LRTD) reduced order model (ROM) methodology to simulate viscous flows and in particular to predict a smooth branch of solutions for the incompressible Navier-Stokes equations. Additionally, it enhances the LRTD-ROM methodology by introducing a non-interpolatory variant, which demonstrates improved accuracy compared to the interpolatory method utilized in previous LRTD-ROM studies. After presenting both the interpolatory and non-interpolatory LRTD-ROM, we demonstrate that with snapshots from a few different viscosities, the proposed method is able to accurately predict flow statistics in the Reynolds number range $[25,400]$. This is a significantly wider and higher range than state of the art (and similar size) ROMs built for use on varying Reynolds number have been successful on. The paper also discusses how LRTD may offer new insights into the properties of parametric solutions.


title: Tensor Network Computations That Capture Strict Variationality, Volume Law Behavior, and the Efficient Representation of Neural Network States

abstract: We introduce a change of perspective on tensor network states that is defined by the computational graph of the contraction of an amplitude. The resulting class of states, which we refer to as tensor network functions, inherit the conceptual advantages of tensor network states while removing computational restrictions arising from the need to converge approximate contractions. We use tensor network functions to compute strict variational estimates of the energy on loopy graphs, analyze their expressive power for ground-states, show that we can capture aspects of volume law time evolution, and provide a mapping of general feed-forward neural nets onto efficient tensor network functions. Our work expands the realm of computable tensor networks to ones where accurate contraction methods are not available, and opens up new avenues to use tensor networks.

categories: quant-ph cond-mat.dis-nn cond-mat.str-el physics.comp-ph


title: Update Rate, Accuracy, and Age of Information in a Wireless Sensor Network

abstract: Age of Information (AoI), namely the time that has elapsed since the most recently delivered packet was generated, is receiving increasing attention with the emergence of many real-time applications that rely on the exchange of time-sensitive information. AoI captures the freshness of the information from the perspective of the destination. The term "accuracy of information" is used to assess how close the estimate at the destination is to the parameter value measured by the sensor. In this paper, the mean square error (MSE) is used to evaluate the accuracy of information. We focus on a single sensor that monitors a time-sensitive physical process, which is modelled as a random walk. Whenever the state of the random walk changes by more than a specified threshold, the sensor generates a status update packet and transmits it to the destination. When no update packet is received, the destination assumes that the state of the process has not changed. We study the problem of finding the minimum update rate under AoI and accuracy of information constraints. More specifically, we derive analytical expressions for the update rate, the AoI, and the MSE.


title: Synthetic Data from Diffusion Models Improve Drug Discovery Prediction

abstract: Artificial intelligence (AI) is increasingly used in every stage of drug development. Continuing breakthroughs in AI-based methods for drug discovery require the creation, improvement, and refinement of drug discovery data. We posit a new data challenge that slows the advancement of drug discovery AI: datasets are often collected independently from each other, often with little overlap, creating data sparsity. Data sparsity makes data curation difficult for researchers looking to answer key research questions requiring values posed across multiple datasets. We propose a novel diffusion GNN model Syngand capable of generating ligand and pharmacokinetic data end-to-end. We show and provide a methodology for sampling pharmacokinetic data for existing ligands using our Syngand model. We show the initial promising results on the efficacy of the Syngand-generated synthetic target property data on downstream regression tasks with AqSolDB, LD50, and hERG central. Using our proposed model and methodology, researchers can easily generate synthetic ligand data to help them explore research questions that require data spanning multiple datasets.


title: TRACE: a Time-Reversible Algorithm for Close Encounters

abstract: We present TRACE, a time-reversible hybrid integrator for the planetary N-body problem. Like hybrid symplectic integrators, TRACE can resolve close encounters between particles while retaining many of the accuracy and speed advantages of a fixed timestep symplectic method such the Wisdom-Holman map. TRACE switches methods time-reversibly during close encounters following the prescription of Hernandez and Dehnen (2023). In this paper we describe the derivation and implementation of TRACE and study its performance for a variety of astrophysical systems. In all our test cases TRACE is at least as accurate and fast as the hybrid symplectic integrator MERCURIUS. In many cases TRACE's performance is vastly superior to that of MERCURIUS. In test cases with planet-planet close encounters, TRACE is as accurate as MECURIUS with a 13x speedup. If close encounters with the central star are considered, TRACE achieves good error performance while MERCURIUS fails to give qualitatively correct results. In ensemble tests of violent scattering systems, TRACE matches the high-accuracy IAS15 while providing a 20x speed-up. In large N systems simulating lunar accretion, TRACE qualitatively gives the same results as IAS15 but at a 47x speedup. We also discuss some cases such as von Zeipel-Lidov-Kozai cycles where hybrid integrators perform poorly and provide some guidance on which integrator to use for which system. TRACE is freely available within the REBOUND package.


title: Finding Most Shattering Minimum Vertex Cuts of Polylogarithmic Size in Near-Linear Time

abstract: We show the first near-linear time randomized algorithms for listing all minimum vertex cuts of polylogarithmic size that separate the graph into at least three connected components (also known as shredders) and for finding the most shattering one, i.e., the one maximizing the number of connected components. Our algorithms break the quadratic time bound by Cheriyan and Thurimella (STOC'96) for both problems that has been unimproved for more than two decades. Our work also removes an important bottleneck to near-linear time algorithms for the vertex connectivity augmentation problem (Jordan '95) and finding an even-length cycle in a directed graph, a problem shown to be equivalent to many other fundamental problems (Vazirani and Yannakakis '90, Robertson et al. '99). Note that it is necessary to list only minimum vertex cuts that separate the graph into at least three components because there can be an exponential number of minimum vertex cuts in general. To obtain near-linear time algorithms, we have extended techniques in local flow algorithms developed by Forster et al. (SODA'20) to list shredders on a local scale. We also exploit fast queries to a pairwise vertex connectivity oracle subject to vertex failures (Long and Saranurak FOCS'22, Kosinas ESA'23). This is the first application of connectivity oracles subject to vertex failures to speed up a static graph algorithm.


title: A note on H\"older regularity of weak solutions to linear elliptic equations

abstract: In this paper, we show that weak solutions of $$-\text{div} \mathbb{A}(x)\nabla u = 0 \qquad \text{where}\quad \mathbb{A}(x)= \mathbb{A}(x)^T \,\, \text{and} \,\, \lambda |\zeta|^2 \leq \langle \mathbb{A}(x)\zeta,\zeta\rangle \leq \Lambda |\zeta|^2,$$ and $\mathbb{A}(x) \equiv \mathbb{A}$ is a constant matrix are H\"older continuous $u \in C^{\alpha}_{\text{loc}}$ with $\alpha \geq \frac12 \left(-(n-2) + \sqrt{(n-2)^2 + \frac{4(n-1)\lambda}{\Lambda}} \right)$. This implies that the example constructed by Piccinini - Spagnolo is sharp in the class of constant matrices $\mathbb{A}(x) \equiv \mathbb{A}$. The proof of H\"older regularity does not go through a reduction of oscillation type argument and instead is achieved through a monotonicity formula. In the case of general matrices $\mathbb{A}(x)$, we obtain the same regularity under some additional hypothesis.


title: MoDiPO: text-to-motion alignment via AI-feedback-driven Direct Preference Optimization

abstract: Diffusion Models have revolutionized the field of human motion generation by offering exceptional generation quality and fine-grained controllability through natural language conditioning. Their inherent stochasticity, that is the ability to generate various outputs from a single input, is key to their success. However, this diversity should not be unrestricted, as it may lead to unlikely generations. Instead, it should be confined within the boundaries of text-aligned and realistic generations. To address this issue, we propose MoDiPO (Motion Diffusion DPO), a novel methodology that leverages Direct Preference Optimization (DPO) to align text-to-motion models. We streamline the laborious and expensive process of gathering human preferences needed in DPO by leveraging AI feedback instead. This enables us to experiment with novel DPO strategies, using both online and offline generated motion-preference pairs. To foster future research we contribute with a motion-preference dataset which we dub Pick-a-Move. We demonstrate, both qualitatively and quantitatively, that our proposed method yields significantly more realistic motions. In particular, MoDiPO substantially improves Frechet Inception Distance (FID) while retaining the same RPrecision and Multi-Modality performances.


title: EPOC: A Novel Pulse Generation Framework Incorporating Advanced Synthesis Techniques for Quantum Circuits

abstract: In this paper we propose EPOC, an efficient pulse generation framework for quantum circuits that combines ZX-Calculus, circuit partitioning, and circuit synthesis to accelerate pulse generation. Unlike previous works that focus on generating pulses from unitary matrices without exploring equivalent representations, EPOC employs a finer granularity approach by grouping quantum gates and decomposing the resulting unitary matrices into smaller ones using synthesis techniques. This enables increased parallelism and decreased latency in quantum pulses. EPOC also continuously optimizes the circuit by identifying equivalent representations, leading to further reductions in circuit latency while minimizing the computational overhead associated with quantum optimal control. We introduce circuit synthesis into the workflow of quantum optimal control for the first time and achieve a 31.74% reduction in latency compared to previous work and a 76.80% reduction compared to the gate-based method for creating pulses. The approach demonstrates the potential for significant performance improvements in quantum circuits while minimizing computational overhead.


title: A snapshot review on soft-materials assembly design utilizing machine learning methods

abstract: Since the surge of data in materials science research and the advancement in machine learning methods, an increasing number of researchers are introducing machine learning techniques into the next generation of materials discovery, ranging from neural-network learned potentials to automated characterization techniques for experimental images. In this snapshot review, we first summarize the landscape of techniques for soft materials assembly design that do not employ machine learning or artificial intelligence and then discuss specific machine-learning and artificial-intelligence-based methods that enhance the design pipeline, such as high-throughput crystal-structure characterization and the inverse design of building blocks for materials assembly and properties. Additionally, we survey the landscape of current developments of scientific software, especially in the context of their compatibility with traditional molecular dynamics engines such as LAMMPS and HOOMD-blue.


title: In Situ AI Prototyping: Infusing Multimodal Prompts into Mobile Settings with MobileMaker

abstract: Recent advances in multimodal large language models (LLMs) have lowered the barriers to rapidly prototyping AI-powered features via prompting, especially for mobile-intended use cases. Despite the value of situated user feedback, the process of soliciting early, mobile-situated user feedback on AI prototypes remains challenging. The broad scope and flexibility of LLMs means that, for a given use-case-specific prototype, there is a crucial need to understand the wide range of in-the-wild input likely to be provided by the user, as well as their in-context expectations of the AI's behavior. To explore the concept of in situ AI prototyping and testing, we created MobileMaker: an AI prototyping tool that enables designers to rapidly create mobile AI prototypes that can be tested on-device, and enables testers to make on-device, in-the-field revisions of the prototype through natural language. In an exploratory study with 16 users, we explored how user feedback on prototypes created with MobileMaker compares to that of existing prototyping tools (e.g., Figma, prompt editors). We found that MobileMaker prototypes enabled more serendipitous discovery of: model input edge cases, discrepancies between AI's and user's in-context interpretation of the task, and contextual signals missed by the AI. Furthermore, we learned that while the ability to make in-the-wild revisions led users to feel more fulfilled as active participants in the design process, it might also constrain their feedback to the subset of changes perceived as more actionable or implementable by the prototyping tool.


title: UniGen: Unified Modeling of Initial Agent States and Trajectories for Generating Autonomous Driving Scenarios

abstract: This paper introduces UniGen, a novel approach to generating new traffic scenarios for evaluating and improving autonomous driving software through simulation. Our approach models all driving scenario elements in a unified model: the position of new agents, their initial state, and their future motion trajectories. By predicting the distributions of all these variables from a shared global scenario embedding, we ensure that the final generated scenario is fully conditioned on all available context in the existing scene. Our unified modeling approach, combined with autoregressive agent injection, conditions the placement and motion trajectory of every new agent on all existing agents and their trajectories, leading to realistic scenarios with low collision rates. Our experimental results show that UniGen outperforms prior state of the art on the Waymo Open Motion Dataset.


title: The Future of Office and Administrative Support Occupations in the Era of Artificial Intelligence: A Bibliometric Analysis

abstract: The U.S. Bureau of Labor Statistics projects that by the year 2029, the United States will lose a million jobs in the office and administrative support occupations because technology, automation, and artificial intelligence (AI) have the potential to substitute or replace the office and administrative functions performed by office workers. Despite the potential impact AI will have on office work and the important role office workers play in the American economy, we have limited knowledge of the state of the art research in office work at the intersection of emerging artificial intelligence technologies. In this study, we conducted a bibliometric analysis of the scholarly literature at the intersection of office work and artificial intelligence. We extracted literature sources from Compendex and Scopus databases and used VOSviewer for visualizing and quantifying our bibliometric analyses. Our findings from keywords analysis indicate that office automation, humans, human-computer interaction, and artificial intelligence occurred more frequently in the scholarly literature and had high link strengths. Keyword clusters from co-occurrence analysis indicate that intelligent buildings, robotics, and the internet of things are emerging topics in the office work domain. The two clusters related to ergonomics, worker characteristics, human performance, and safety indicate the types of human factors concerns that are more widely studied in office work settings. In summary, our findings on the state-of-the-art research in office work indicate that more studies have been conducted on smart buildings, robotics, and technology development for office work, compared to studies on office workers and their professional development.


title: SocialFormer: Social Interaction Modeling with Edge-enhanced Heterogeneous Graph Transformers for Trajectory Prediction

abstract: Accurate trajectory prediction is crucial for ensuring safe and efficient autonomous driving. However, most existing methods overlook complex interactions between traffic participants that often govern their future trajectories. In this paper, we propose SocialFormer, an agent interaction-aware trajectory prediction method that leverages the semantic relationship between the target vehicle and surrounding vehicles by making use of the road topology. We also introduce an edge-enhanced heterogeneous graph transformer (EHGT) as the aggregator in a graph neural network (GNN) to encode the semantic and spatial agent interaction information. Additionally, we introduce a temporal encoder based on gated recurrent units (GRU) to model the temporal social behavior of agent movements. Finally, we present an information fusion framework that integrates agent encoding, lane encoding, and agent interaction encoding for a holistic representation of the traffic scene. We evaluate SocialFormer for the trajectory prediction task on the popular nuScenes benchmark and achieve state-of-the-art performance.


title: Bipartite OTOC in open quantum systems: information scrambling and irreversibility

abstract: The field of information scrambling has seen significant growth over the last decade, where the out-of-time-ordered correlator (OTOC) has emerged as a prominent tool to probe it. In this work, we use bipartite OTOC, a particular form of OTOC, to study information scrambling in the atom-field interaction models and the model of the Ising spin chain interacting with a tilted magnetic field. This is done considering the effects of open quantum systems. A relationship between information scrambling, using bipartite OTOC, and irreversibility, using entropy production, is probed under unitary dynamics. The equivalence of bipartite OTOC with operator entanglement is explicitly shown for the Ising model.


title: Metric bootstraps for limsup sets

abstract: In metric Diophantine approximation, one frequently encounters the problem of showing that a limsup set has positive or full measure. Often it is a set of points in $m$-dimensional Euclidean space, or a set of $n$-by-$m$ systems of linear forms, satisfying some approximation condition infinitely often. The main results of this paper are bootstraps: if one can establish positive measure for such a limsup set in $m$-dimensional Euclidean space, then one can establish positive or full measure for an associated limsup set in the setting of $n$-by-$m$ systems of linear forms. Consequently, a class of $m$-dimensional results in Diophantine approximation can be bootstrapped to corresponding $n$-by-$m$-dimensional results. This leads to short proofs of existing, new, and hypothetical theorems for limsup sets that arise in the theory of systems of linear forms. We present several of these.


title: Generalizations of noncommutative Noether's problem

abstract: Noether's problem is classical and very important problem in algebra. It is an intrinsically interesting problem in invariant theory, but with far reaching applications in the sutdy of moduli spaces, PI-algebras, and the Inverse problem of Galois theory, among others. To obtain an noncommutative analogue of Noether's problem, one would need a significant skew field that shares a role similar to the field of ratioal functions. Given the importance of the Weyl fields due to Gelfand-Kirillov's Conjecture, in 2006 J. Alev and F. Dumas introduced what is nowdays called the noncommutative Noether's problem. Many papers in recent years \cite{FMO}, \cite{EFOS}, \cite{FS}, \cite{Tikaradze} have been dedicated to the subject. The aim of this article is to generalize the main result of \cite{FS} for more general versions of Noether's problem; and consider its analogue in prime characteristic.


title: Large Language Models as Instruments of Power: New Regimes of Autonomous Manipulation and Control

abstract: Large language models (LLMs) can reproduce a wide variety of rhetorical styles and generate text that expresses a broad spectrum of sentiments. This capacity, now available at low cost, makes them powerful tools for manipulation and control. In this paper, we consider a set of underestimated societal harms made possible by the rapid and largely unregulated adoption of LLMs. Rather than consider LLMs as isolated digital artefacts used to displace this or that area of work, we focus on the large-scale computational infrastructure upon which they are instrumentalised across domains. We begin with discussion on how LLMs may be used to both pollute and uniformize information environments and how these modalities may be leveraged as mechanisms of control. We then draw attention to several areas of emerging research, each of which compounds the capabilities of LLMs as instruments of power. These include (i) persuasion through the real-time design of choice architectures in conversational interfaces (e.g., via "AI personas"), (ii) the use of LLM-agents as computational models of human agents (e.g., "silicon subjects"), (iii) the use of LLM-agents as computational models of human agent populations (e.g., "silicon societies") and finally, (iv) the combination of LLMs with reinforcement learning to produce controllable and steerable strategic dialogue models. We draw these strands together to discuss how these areas may be combined to build LLM-based systems that serve as powerful instruments of individual, social and political control via the simulation and disingenuous "prediction" of human behaviour, intent, and action.


title: Stochastic behavior of an n-node blockchain under cyber attacks from multiple hackers with random re-setting times

abstract: This paper investigates the stochastic behavior of an n-node blockchain which is continuously monitored and faces non-stop cyber attacks from multiple hackers. The blockchain will start being re-set once hacking is detected, forfeiting previous efforts of all hackers. It is assumed the re-setting process takes a random amount of time. Multiple independent hackers will keep attempting to hack into the blockchain until one of them succeeds. For arbitrary distributions of the hacking times, detecting times, and re-setting times, we derive the instantaneous functional probability, the limiting functional probability, and the mean functional time of the blockchain. Moreover, we establish that these quantities are increasing functions of the number of nodes, formalizing the intuition that the more nodes a blockchain has the more secure it is.


title: Statistical inference for a stochastic generalized logistic differential equation

abstract: This research aims to estimate three parameters in a stochastic generalized logistic differential equation. We assume the intrinsic growth rate and shape parameters are constant but unknown. To estimate these two parameters, we use the maximum likelihood method and establish that the estimators for these two parameters are strongly consistent. We estimate the diffusion parameter by using the quadratic variation processes. To test our results, we evaluate two data scenarios, complete and incomplete, with fixed values assigned to the three parameters. In the incomplete data scenario, we apply an Expectation Maximization algorithm.


title: On the invariance of the Kolmogorov complexity of $\beta$-expansions

abstract: Measuring the complexity of real numbers is of major importance in computer science, for the purpose of knowing which computations are allowed. Consider a non-computable real number $s$, i.e. a real number which cannot be stored on a computer. We can store only an approximation of $x$, for instance by considering a finite bitstring representing a finite prefix of its binary expansion. For a fixed approximation error $\varepsilon>0$, the size of this finite bitstring is dependent on the \textit{algorithmic complexity} of the finite prefixes of the binary expansion of $s$. The \textit{algorithmic complexity} of a binary sequence $x$, often referred to as \textit{Kolmogorov complexity}, is the length of the smallest binary sequence $x'$, for which there exists an algorithm, such that when presented with $x'$ as input, it outputs $x$. The algorithmic complexity of the binary expansion of real numbers is widely studied, but the algorithmic complexity of other ways of representing real numbers remains poorly reported. However, knowing the algorithmic complexity of different representations may allow to define new and more efficient strategies to represent real numbers. Several papers have established an equivalence between the algorithmic complexity of the $q$-ary expansions, with $q \in \mathbb{N}$, $q \geq 2$, i.e. representations of real numbers in any integer base. In this paper, we study the algorithmic complexity of the so-called $\beta$-expansions, which are representations of real numbers in a base $\beta \in (1,2)$ that display a much more complex behavior as compared to the $q$-ary expansion. We show that for a given real number $s$, the binary expansion is a minimizer of algorithmic complexity, and that for every given $\beta \in (1,2)$, there exists a $\beta$-expansion of $s$ which achieves the lower bound of algorithmic complexity displayed by the binary expansion of $s$.


title: Search for joint multimessenger signals from potential Galactic PeVatrons with HAWC and IceCube

abstract: Galactic PeVatrons are sources that can accelerate cosmic rays to PeV energies. The high-energy cosmic rays are expected to interact with the surrounding ambient material or radiation, resulting in the production of gamma rays and neutrinos. To optimize for the detection of such associated production of gamma rays and neutrinos for a given source morphology and spectrum, a multi-messenger analysis that combines gamma rays and neutrinos is required. In this study, we use the Multi-Mission Maximum Likelihood framework (3ML) with IceCube Maximum Likelihood Analysis software (i3mla) and HAWC Accelerated Likelihood (HAL) to search for a correlation between 22 known gamma-ray sources from the third HAWC gamma-ray catalog and 14 years of IceCube track-like data. No significant neutrino emission from the direction of the HAWC sources was found. We report the best-fit gamma-ray model and 90% CL neutrino flux limit from the 22 sources. From the neutrino flux limit, we conclude that the gamma-ray emission from five of the sources can not be produced purely from hadronic interactions. We report the limit for the fraction of gamma rays produced by hadronic interactions for these five sources.


title: AniMAIRE -- A New Openly Available Tool for Calculating Atmospheric Ionising Radiation Dose Rates and Single Event Effects During Anisotropic Conditions

abstract: AniMAIRE (Anisotropic Model for Atmospheric Ionising Radiation Effects) is a new model and Python toolkit for calculating radiation dose rates experienced by aircraft during anisotropic solar energetic particle events. AniMAIRE expands the physics of the MAIRE+ model such that dose rate calculations can be performed for anisotropic solar energetic particle conditions by supplying a proton or alpha particle rigidity spectrum, a pitch angle distribution, and the conditions of Earth's magnetosphere. In this paper, we describe the algorithm and top-level structure of AniMAIRE and showcase AniMAIRE's capabilities by analysing the dose rate maps that AniMAIRE produces when the time-dependent spectra and pitch angle distribution for GLE71 are inputted. We find that the dose rates AniMAIRE produces for the event fall between the dose rates produced by the WASAVIES and CRAC:DOMO models. Dose rate maps that evolve throughout the event are also shown, and it is found that each peak in the inputted pitch angle distribution generates a dose rate hotspot in each of the polar regions. AniMAIRE has been made available openly online so that it can be downloaded and run freely on local machines and so that the space weather community can easily contribute to it using Github forking.


title: "Benchmark" Performance Analysis and Covariance Matrix-Free Calibration of Uniform Linear Arrays

abstract: The problems of uniform linear array (with uniform mutual coupling) calibration and Toeplitz covariance matrix estimation are re-examined for application in the receive arrays of modern High Frequency Over-the-Horizon Radars (HF OTHR). Specifics of these arrays, operating predominantly in the "over-sampled" (d/$\lambda$ < 0.5) regime, are exploited along with the recent findings in the Toeplitz Inverse Eigenvalue problem (ToIEP), Random Matrix Theory, and the "Expected Likelihood" methodology developed earlier to advance the problem solution. In this paper we re-evaluate the benchmark efficiency of the "blind" calibration and analyze several techniques that are based on certain properties of the Toeplitz covariance matrix and "over-sampled" uniform antenna arrays, but do not require matrix estimation. In Part II we analyze the case of the unknown symmetric and Hermitian Toeplitz matrices and introduce techniques for joint antenna calibration and Toeplitz covariance matrix estimation.


title: False Sense of Security in Explainable Artificial Intelligence (XAI)

abstract: A cautious interpretation of AI regulations and policy in the EU and the USA place explainability as a central deliverable of compliant AI systems. However, from a technical perspective, explainable AI (XAI) remains an elusive and complex target where even state of the art methods often reach erroneous, misleading, and incomplete explanations. "Explainability" has multiple meanings which are often used interchangeably, and there are an even greater number of XAI methods - none of which presents a clear edge. Indeed, there are multiple failure modes for each XAI method, which require application-specific development and continuous evaluation. In this paper, we analyze legislative and policy developments in the United States and the European Union, such as the Executive Order on the Safe, Secure, and Trustworthy Development and Use of Artificial Intelligence, the AI Act, the AI Liability Directive, and the General Data Protection Regulation (GDPR) from a right to explanation perspective. We argue that these AI regulations and current market conditions threaten effective AI governance and safety because the objective of trustworthy, accountable, and transparent AI is intrinsically linked to the questionable ability of AI operators to provide meaningful explanations. Unless governments explicitly tackle the issue of explainability through clear legislative and policy statements that take into account technical realities, AI governance risks becoming a vacuous "box-ticking" exercise where scientific standards are replaced with legalistic thresholds, providing only a false sense of security in XAI.


title: Thoughtful Things: Building Human-Centric Smart Devices with Small Language Models

abstract: Everyday devices like light bulbs and kitchen appliances are now embedded with so many features and automated behaviors that they have become complicated to actually use. While such "smart" capabilities can better support users' goals, the task of learning the "ins and outs" of different devices is daunting. Voice assistants aim to solve this problem by providing a natural language interface to devices, yet such assistants cannot understand loosely-constrained commands, they lack the ability to reason about and explain devices' behaviors to users, and they rely on connectivity to intrusive cloud infrastructure. Toward addressing these issues, we propose thoughtful things: devices that leverage lightweight, on-device language models to take actions and explain their behaviors in response to unconstrained user commands. We propose an end-to-end framework that leverages formal modeling, automated training data synthesis, and generative language models to create devices that are both capable and thoughtful in the presence of unconstrained user goals and inquiries. Our framework requires no labeled data and can be deployed on-device, with no cloud dependency. We implement two thoughtful things (a lamp and a thermostat) and deploy them on real hardware, evaluating their practical performance.


title: Real-World Problem-Solving Class is Correlated with Higher Student Persistence in Engineering

abstract: Student persistence in science, technology, engineering, and mathematics (STEM) has long been a focus of educational research, with both quantitative and qualitative methods being used to investigate patterns and mechanisms of attrition. Some studies have used machine learning to predict a student's likelihood to persist given measurable classroom factors and institutional data, while others have framed persistence as a function of a student's social integration in the classroom. While these methods have provided insight into broader underlying patterns of attrition in STEM, they have not investigated class structures or teaching methods that promote persistence. In this study we explore how a research-based instructional format for an introductory calculus-based physics class using real world problem-solving (RPS) was correlated with higher persistence for students at a large research-intensive university. We found that the one-year persistence rates for the RPS course were 74% (fall semester) and 90% (spring semester), while the lecture-based class had a persistence rate of 64% and 78%, respectively. In spring, the RPS persistence rate was significantly higher (p=0.037). The RPS also had higher final grades and larger learning gains than the lecture-based class despite lower scores on a physics diagnostic test. We also note that the higher rates of persistence were not completely explained by higher final grades. This study motivates future work to understand the structural mechanisms that promote student persistence in introductory physics courses.


title: Learning in associative networks through Pavlovian dynamics

abstract: Hebbian learning theory is rooted in Pavlov's Classical Conditioning. In addition, while mathematical models of the former have been proposed and studied in the past decades, especially in spin glass theory, only recently it has been numerically shown that the Pavlovian neural and synaptic dynamics mechanisms give rise to synaptic weights that correspond to the Hebbian learning rule. In this paper, we show that we can analytically prove this result. Moreover, we obtain the Pavlovian dynamics directly with statistical mechanics considerations, so that we can model the whole process within the same framework. Then, we test and study the model in different numerical settings. Finally, drawing from evidence on pure memory reinforcement during sleep stages, we show how the proposed model can simulate neural networks that undergo sleep-associated memory consolidation processes, thereby proving the compatibility of Pavlovian learning.


title: Breaking Barriers: Investigating the Sense of Belonging Among Women and Non-Binary Students in Software Engineering

abstract: Women in computing were among the first programmers in the early 20th century and were substantial contributors to the industry. Today, men dominate the software engineering industry. Research and data show that women are far less likely to pursue a career in this industry, and those that do are less likely than men to stay in it. Reasons for women and other underrepresented minorities to leave the industry are a lack of opportunities for growth and advancement, unfair treatment and workplace culture. This research explores how the potential to cultivate or uphold an industry unfavourable to women and non-binary individuals manifests in software engineering education at the university level. For this purpose, the study includes surveys and interviews. We use gender name perception as a survey instrument, and the results show small differences in perceptions of software engineering students based on their gender. Particularly, the survey respondents anchor the values of the male software engineer (Hans) to a variety of technical and non-technical skills, while the same description for a female software engineer (Hanna) is anchored mainly by her managerial skills. With interviews with women and non-binary students, we gain insight on the main barriers to their sense of ambient belonging. The collected data shows that some known barriers from the literature such as tokenism, and stereotype threat, do still exist. However, we find positive factors such as role models and encouragement that strengthen the sense of belonging among these students.


title: Organizing a Society of Language Models: Structures and Mechanisms for Enhanced Collective Intelligence

abstract: Recent developments in Large Language Models (LLMs) have significantly expanded their applications across various domains. However, the effectiveness of LLMs is often constrained when operating individually in complex environments. This paper introduces a transformative approach by organizing LLMs into community-based structures, aimed at enhancing their collective intelligence and problem-solving capabilities. We investigate different organizational models-hierarchical, flat, dynamic, and federated-each presenting unique benefits and challenges for collaborative AI systems. Within these structured communities, LLMs are designed to specialize in distinct cognitive tasks, employ advanced interaction mechanisms such as direct communication, voting systems, and market-based approaches, and dynamically adjust their governance structures to meet changing demands. The implementation of such communities holds substantial promise for improve problem-solving capabilities in AI, prompting an in-depth examination of their ethical considerations, management strategies, and scalability potential. This position paper seeks to lay the groundwork for future research, advocating a paradigm shift from isolated to synergistic operational frameworks in AI research and application.


title: A quantile-based nonadditive fixed effects model

abstract: I propose a quantile-based nonadditive fixed effects panel model to study heterogeneous causal effects. Similar to standard fixed effects (FE) model, my model allows arbitrary dependence between regressors and unobserved heterogeneity, but it generalizes the additive separability of standard FE to allow the unobserved heterogeneity to enter nonseparably. Similar to structural quantile models, my model's random coefficient vector depends on an unobserved, scalar ''rank'' variable, in which outcomes (excluding an additive noise term) are monotonic at a particular value of the regressor vector, which is much weaker than the conventional monotonicity assumption that must hold at all possible values. This rank is assumed to be stable over time, which is often more economically plausible than the panel quantile studies that assume individual rank is iid over time. It uncovers the heterogeneous causal effects as functions of the rank variable. I provide identification and estimation results, establishing uniform consistency and uniform asymptotic normality of the heterogeneous causal effect function estimator. Simulations show reasonable finite-sample performance and show my model complements fixed effects quantile regression. Finally, I illustrate the proposed methods by examining the causal effect of a country's oil wealth on its military defense spending.


title: Direct learning of home vector direction for insect-inspired robot navigation

abstract: Insects have long been recognized for their ability to navigate and return home using visual cues from their nest's environment. However, the precise mechanism underlying this remarkable homing skill remains a subject of ongoing investigation. Drawing inspiration from the learning flights of honey bees and wasps, we propose a robot navigation method that directly learns the home vector direction from visual percepts during a learning flight in the vicinity of the nest. After learning, the robot will travel away from the nest, come back by means of odometry, and eliminate the resultant drift by inferring the home vector orientation from the currently experienced view. Using a compact convolutional neural network, we demonstrate successful learning in both simulated and real forest environments, as well as successful homing control of a simulated quadrotor. The average errors of the inferred home vectors in general stay well below the 90{\deg} required for successful homing, and below 24{\deg} if all images contain sufficient texture and illumination. Moreover, we show that the trajectory followed during the initial learning flight has a pronounced impact on the network's performance. A higher density of sample points in proximity to the nest results in a more consistent return. Code and data are available at https://mavlab.tudelft.nl/learning_to_home .


title: The Trajectory of Romance Scams in the U.S

abstract: Romance scams (RS) inflict financial and emotional damage by defrauding victims under the guise of meaningful relationships. This research study examines RS trends in the U.S. through a quantitative analysis of web searches, news articles, research publications, and government reports from 2004 to 2023. This is the first study to use multiple sources for RS trend analysis. Results reveal increasing public interest and media coverage contrasted by a recent decrease in incidents reported to authorities. The frequency of research dedicated to RS has steadily grown but focuses predominantly on documenting the problem rather than developing solutions. Overall, findings suggest RS escalation despite declining official reports, which are likely obscured by low victim reporting rates. This highlights the need for greater awareness to encourage reporting enabling accurate data-driven policy responses. Additionally, more research must focus on techniques to counter these crimes. With improved awareness and prevention, along with responses informed by more accurate data, the rising RS threat can perhaps be mitigated.


title: Unsupervised Machine Learning Identifies Latent Ultradian States in Multi-Modal Wearable Sensor Signals

abstract: Wearable sensors such as smartwatches have become ubiquitous in recent years, allowing the easy and continual measurement of physiological parameters such as heart rate, physical activity, body temperature, and blood glucose in an every-day setting. This multi-modal data offers the potential to identify latent states occurring across physiological measures, which may represent important bio-behavioural states that could not be observed in any single measure. Here we present an approach, utilising a hidden semi-Markov model, to identify such states in data collected using a smartwatch, electrocardiogram, and blood glucose monitor, over two weeks from a sample of 9 participants. We found 26 latent ultradian states across the sample, with many occurring at particular times of day. Here we describe some of these, as well as their association with subjective mood and time use diaries. These methods provide a novel avenue for developing insights into the physiology of everyday life.


title: Cloud Storage Integrity at Scale: A Case for Dynamic Hash Trees

abstract: Merkle hash trees are the state-of-the-art method to protect the integrity of storage systems. However, using a hash tree can severely degrade performance, and prior works optimizing them have yet to yield a concrete understanding of the scalability of certain designs in the context of large-scale cloud storage systems. In this paper, we take a first-principles approach to analyzing hash tree performance for storage by introducing a definition of an optimal hash tree and a principled methodology for evaluating hash tree designs. We show that state-of-the-art designs are not scalable; they incur up to 40.1X slowdowns over an insecure baseline and deliver <50% of optimal performance across various experiments. We then exploit the characteristics of optimal hash trees to design Dynamic Hash Trees (DHTs), hash trees that can adapt to workload patterns on-the-fly, delivering >95% of optimal read and write performance and up to 4.2X speedups over the state-of-the art. Our novel methodology and DHT design provides a new foundation in the search for integrity mechanisms that can operate efficiently at scale.


title: Orchestrated Co-scheduling, Resource Partitioning, and Power Capping on CPU-GPU Heterogeneous Systems via Machine Learning

abstract: CPU-GPU heterogeneous architectures are now commonly used in a wide variety of computing systems from mobile devices to supercomputers. Maximizing the throughput for multi-programmed workloads on such systems is indispensable as one single program typically cannot fully exploit all available resources. At the same time, power consumption is a key issue and often requires optimizing power allocations to the CPU and GPU while enforcing a total power constraint, in particular when the power/thermal requirements are strict. The result is a system-wide optimization problem with several knobs. In particular we focus on (1) co-scheduling decisions, i.e., selecting programs to co-locate in a space sharing manner; (2) resource partitioning on both CPUs and GPUs; and (3) power capping on both CPUs and GPUs. We solve this problem using predictive performance modeling using machine learning in order to coordinately optimize the above knob setups. Our experiential results using a real system show that our approach achieves up to 67% of speedup compared to a time-sharing-based scheduling with a naive power capping that evenly distributes power budgets across components.


title: Guylingo: The Republic of Guyana Creole Corpora

abstract: While major languages often enjoy substantial attention and resources, the linguistic diversity across the globe encompasses a multitude of smaller, indigenous, and regional languages that lack the same level of computational support. One such region is the Caribbean. While commonly labeled as "English speaking", the ex-British Caribbean region consists of a myriad of Creole languages thriving alongside English. In this paper, we present Guylingo: a comprehensive corpus designed for advancing NLP research in the domain of Creolese (Guyanese English-lexicon Creole), the most widely spoken language in the culturally rich nation of Guyana. We first outline our framework for gathering and digitizing this diverse corpus, inclusive of colloquial expressions, idioms, and regional variations in a low-resource language. We then demonstrate the challenges of training and evaluating NLP models for machine translation in Creole. Lastly, we discuss the unique opportunities presented by recent NLP advancements for accelerating the formal adoption of Creole languages as official languages in the Caribbean.


title: Optimized Tone Reservation for Opportunistic OFDM Communications and Sensing

abstract: We consider the problem of peak-to-average power ratio (PAPR) reduction in orthogonal frequency division multiplexing (OFDM) systems via optimized sparsification of tone reservation (TR). In particular, we propose a novel TR optimization method in which the minimum number of effectively used peak-reserved tones (PRTs) required to satisfy a prescribed PAPR level is found, leaving the remaining PRTs free to be opportunistically utilized by other functionalities, such as joint communication and sensing (JCAS), index modulation (IM), cognitive radio (CR) and others. The proposed method relies on an l0 norm regularization approach to penalize the number of PRTs, leading to a problem convexized via fractional programming (FP), whose solution is shown to ensure that the prescribed PAPR is achieved with high probability with a smaller number of PRTs than state of the art (SotA) methods. The contribution can be seen as a mechanism to enable the opportunistic integration of adjacent functionalities into existing OFDM-based systems.


title: Covariance-free Multifidelity Control Variates Importance Sampling for Reliability Analysis of Rare Events

abstract: Multifidelity modeling has been steadily gaining attention as a tool to address the problem of exorbitant model evaluation costs that makes the estimation of failure probabilities a significant computational challenge for complex real-world problems, particularly when failure is a rare event. To implement multifidelity modeling, estimators that efficiently combine information from multiple models/sources are necessary. In past works, the variance reduction techniques of Control Variates (CV) and Importance Sampling (IS) have been leveraged for this task. In this paper, we present the CVIS framework; a creative take on a coupled Control Variates and Importance Sampling estimator for bifidelity reliability analysis. The framework addresses some of the practical challenges of the CV method by using an estimator for the control variate mean and side-stepping the need to estimate the covariance between the original estimator and the control variate through a clever choice for the tuning constant. The task of selecting an efficient IS distribution is also considered, with a view towards maximally leveraging the bifidelity structure and maintaining expressivity. Additionally, a diagnostic is provided that indicates both the efficiency of the algorithm as well as the relative predictive quality of the models utilized. Finally, the behavior and performance of the framework is explored through analytical and numerical examples.


title: Kannappan-Wilson and Van Vleck-Wilson functional equations on semigroups

abstract: Let $S$ be a semigroup, $Z(S)$ the center of $S$ and $\sigma:S\rightarrow S$ is an involutive automorphism. Our main results is that we describe the solutions of the Kannappan-Wilson functional equation \[\displaystyle \int_{S} f(xyt)d\mu(t) +\displaystyle \int_{S} f(\sigma(y)xt)d\mu(t)= 2f(x)g(y),\ x,y\in S,\] and the Van Vleck-Wilson functional equation \[\displaystyle \int_{S} f(xyt)d\mu(t) -\displaystyle \int_{S} f(\sigma(y)xt)d\mu(t)= 2f(x)g(y),\ x,y\in S,\] where $\mu$ is a measure that is a linear combination of Dirac measures $(\delta_{z_i})_{i\in I}$, such that $z_i\in Z(S)$ for all $i\in I$. Interesting consequences of these results are presented.


title: Fractional Brownian motion with fluctuating diffusivities

abstract: Despite the success of fractional Brownian motion (fBm) in modeling systems that exhibit anomalous diffusion due to temporal correlations, recent experimental and theoretical studies highlight the necessity for a more comprehensive approach of a generalization that incorporates heterogeneities in either the tracers or the environment. This work presents a modification of Levy's representation of fBm for the case in which the generalized diffusion coefficient is a stochastic process. We derive analytical expressions for the autocovariance function and both ensemble- and time-averaged mean squared displacements. Further, we validate the efficacy of the developed framework in two-state systems, comparing analytical asymptotic expressions with numerical simulations.


title: Higher Kazhdan projections and delocalised $\ell^ 2$-Betti numbers

abstract: We provide an explicit description of the K-classes of higher Kazhdan projections in degrees greater than 0 for specific free product groups and Cartesian product groups. Employing this description, we obtain new calculations of Lott's delocalised $\ell^2$-Betti numbers. Notably, we establish the first non-vanishing results for infinite groups.


title: Optimizing Hardware Resource Partitioning and Job Allocations on Modern GPUs under Power Caps

abstract: CPU-GPU heterogeneous systems are now commonly used in HPC (High-Performance Computing). However, improving the utilization and energy-efficiency of such systems is still one of the most critical issues. As one single program typically cannot fully utilize all resources within a node/chip, co-scheduling (or co-locating) multiple programs with complementary resource requirements is a promising solution. Meanwhile, as power consumption has become the first-class design constraint for HPC systems, such co-scheduling techniques should be well-tailored for power-constrained environments. To this end, the industry recently started supporting hardware-level resource partitioning features on modern GPUs for realizing efficient co-scheduling, which can operate with existing power capping features. For example, NVidia's MIG (Multi-Instance GPU) partitions one single GPU into multiple instances at the granularity of a GPC (Graphics Processing Cluster). In this paper, we explicitly target the combination of hardware-level GPU partitioning features and power capping for power-constrained HPC systems. We provide a systematic methodology to optimize the combination of chip partitioning, job allocations, as well as power capping based on our scalability/interference modeling while taking a variety of aspects into account, such as compute/memory intensity and utilization in heterogeneous computational resources (e.g., Tensor Cores). The experimental result indicates that our approach is successful in selecting a near optimal combination across multiple different workloads.


title: Topological regularity and stability of noncollapsed spaces with Ricci curvature bounded below

abstract: We investigate the topological regularity and stability of noncollapsed Ricci limit spaces $(M_i^n,g_i,p_i)\to (X^n,d)$. We confirm a conjecture proposed by Colding and Naber in dimension $n=4$, showing that the cross-sections of tangent cones at a given point $x\in X^4$ are all homeomorphic to a fixed spherical space form $S^3/\Gamma_x$, and $\Gamma_x$ is trivial away from a $0$-dimensional set. In dimensions $n>4$, we show an analogous statement at points where all tangent cones are $(n-4)$-symmetric. Furthermore, we prove that $(n-3)$-symmetric noncollapsed Ricci limits are topological manifolds, thus confirming a particular case of a conjecture due to Cheeger, Colding, and Tian. Our analysis relies on two key results, whose importance goes beyond their applications in the study of cross-sections of noncollapsed Ricci limit spaces: (i) A new manifold recognition theorem for noncollapsed ${\rm RCD}(-2,3)$ spaces. (ii) A cone rigidity result ruling out noncollapsed Ricci limit spaces of the form $\mathbb{R}^{n-3}\times C(\mathbb{RP}^2)$.


title: End-to-End Autoencoder for Drill String Acoustic Communications

abstract: Drill string communications are important for drilling efficiency and safety. The design of a low latency drill string communication system with high throughput and reliability remains an open challenge. In this paper a deep learning autoencoder (AE) based end-to-end communication system, where transmitter and receiver implemented as feed forward neural networks, is proposed for acousticdrill string communications. Simulation shows that the AE system is able to outperform a baseline non-contiguous OFDM system in terms of BER and PAPR, operating with lower latency.


title: Everything everywhere all at once: A detailed study of GW230529

abstract: This study investigates the origins of GW230529, delving into its formation from massive stars within isolated binary systems. Utilizing population synthesis models, we present compelling evidence that the neutron star component forms second. However, the event's low signal-to-noise ratio introduces complexities in identifying the underlying physical mechanisms driving its formation. Augmenting our analysis with insights from numerical relativity, we estimate the final black hole mass and spin to be approximately $5.3 M_\odot$ and $0.53$, respectively. Furthermore, we employ the obtained posterior samples to calculate the ejecta mass and kilonova light curves resulting from r-process nucleosynthesis. We find the ejecta mass to range within $0-0.06 M_{\odot}$, contingent on the neutron star equation of state. The peak brightness of the kilonovae light curves indicates that targeted follow-up observations with a Rubin-like observatory may have detected this emission.


title: A Novel Cross-band CSI Prediction Scheme for Multi-band Fingerprint based Localization

abstract: Because of the advantages of computation complexity compared with traditional localization algorithms, fingerprint based localization is getting increasing demand. Expanding the fingerprint database from the frequency domain by channel reconstruction can improve localization accuracy. However, in a mobility environment, the channel reconstruction accuracy is limited by the time-varying parameters. In this paper, we proposed a system to extract the time-varying parameters based on space-alternating generalized expectation maximization (SAGE) algorithm, then used variational auto-encoder (VAE) to reconstruct the channel state information on another channel. The proposed scheme is tested on the data generated by the deep-MIMO channel model. Mathematical analysis for the viability of our system is also shown in this paper.


title: Tamanoi equation for orbifold Euler characteristics: revisited

abstract: Tamanoi equation is a Macdonald type equation for the orbifold Euler characteristic and for its analogues of higher orders. It claims that the generating series of the orbifold Euler characteristics of a fixed order of analogues of the symmetric powers for a space with a finite group action can be represented as a certain unified (explicitly written) power series in the exponent equal to the orbifold Euler characteristic of the same order of the space itself. In the paper, in particular, we explain how the Tamanoi equation follows from its verification for actions of (finite) groups on the one-point space. Statements used for that are generalized to analogues of the orbifold Euler characteristic corresponding to finitely generated groups. It is shown that, for these generalizatins, the analogue of the Tamanoi equation does not hold in general.


title: Perception in Pixels: Understanding Avatar Representation in Video-Mediated Collaborative Interactions

abstract: Despite the abundance of research concerning virtual reality (VR) avatars, the impact of screen-based or augmented reality (AR) avatars for real-world applications remain relatively unexplored. Notably, there is a lack of research examining video-mediated collaborative interaction experiences using AR avatars for goal-directed group activities. This study bridges this gap with a mixed-methods, quasi-experimental user study that investigates video-based small-group interactions when employing AR avatars as opposed to traditional video for user representation. We found that the use of avatars positively influenced self-esteem and video-based collaboration satisfaction. In addition, our group interview findings highlight experiences and perceptions regarding the dynamic use of avatars in video-mediated collaborative interactions, including benefits, challenges, and factors that would influence a decision to use avatars. This study contributes an empirical understanding of avatar representation in mediating video-based collaborative interactions, implications and perceptions surrounding the adoption of AR avatars, and a comprehensive comparison of key characteristics between user representations.


title: Self-Improving Customer Review Response Generation Based on LLMs

abstract: Previous studies have demonstrated that proactive interaction with user reviews has a positive impact on the perception of app users and encourages them to submit revised ratings. Nevertheless, developers encounter challenges in managing a high volume of reviews, particularly in the case of popular apps with a substantial influx of daily reviews. Consequently, there is a demand for automated solutions aimed at streamlining the process of responding to user reviews. To address this, we have developed a new system for generating automatic responses by leveraging user-contributed documents with the help of retrieval-augmented generation (RAG) and advanced Large Language Models (LLMs). Our solution, named SCRABLE, represents an adaptive customer review response automation that enhances itself with self-optimizing prompts and a judging mechanism based on LLMs. Additionally, we introduce an automatic scoring mechanism that mimics the role of a human evaluator to assess the quality of responses generated in customer review domains. Extensive experiments and analyses conducted on real-world datasets reveal that our method is effective in producing high-quality responses, yielding improvement of more than 8.5% compared to the baseline. Further validation through manual examination of the generated responses underscores the efficacy our proposed system.


title: Enhancing Apparent Personality Trait Analysis with Cross-Modal Embeddings

abstract: Automatic personality trait assessment is essential for high-quality human-machine interactions. Systems capable of human behavior analysis could be used for self-driving cars, medical research, and surveillance, among many others. We present a multimodal deep neural network with a Siamese extension for apparent personality trait prediction trained on short video recordings and exploiting modality invariant embeddings. Acoustic, visual, and textual information are utilized to reach high-performance solutions in this task. Due to the highly centralized target distribution of the analyzed dataset, the changes in the third digit are relevant. Our proposed method addresses the challenge of under-represented extreme values, achieves 0.0033 MAE average improvement, and shows a clear advantage over the baseline multimodal DNN without the introduced module.


title: On the Convergence of Malleability and the HPC PowerStack: Exploiting Dynamism in Over-Provisioned and Power-Constrained HPC Systems

abstract: Recent High-Performance Computing (HPC) systems are facing important challenges, such as massive power consumption, while at the same time significantly under-utilized system resources. Given the power consumption trends, future systems will be deployed in an over-provisioned manner where more resources are installed than they can afford to power simultaneously. In such a scenario, maximizing resource utilization and energy efficiency, while keeping a given power constraint, is pivotal. Driven by this observation, in this position paper we first highlight the recent trends of resource management techniques, with a particular focus on malleability support (i.e., dynamically scaling resource allocations/requirements for a job), co-scheduling (i.e., co-locating multiple jobs within a node), and power management. Second, we consider putting them together, assess their relationships/synergies, and discuss the functionality requirements in each software component for future over-provisioned and power-constrained HPC systems. Third, we briefly introduce our ongoing efforts on the integration of software tools, which will ultimately lead to the convergence of malleability and power management, as it is designed in the HPC PowerStack initiative.


title: CityLearn v2: Energy-flexible, resilient, occupant-centric, and carbon-aware management of grid-interactive communities

abstract: As more distributed energy resources become part of the demand-side infrastructure, it is important to quantify the energy flexibility they provide on a community scale, particularly to understand the impact of geographic, climatic, and occupant behavioral differences on their effectiveness, as well as identify the best control strategies to accelerate their real-world adoption. CityLearn provides an environment for benchmarking simple and advanced distributed energy resource control algorithms including rule-based, model-predictive, and reinforcement learning control. CityLearn v2 presented here extends CityLearn v1 by providing a simulation environment that leverages the End-Use Load Profiles for the U.S. Building Stock dataset to create virtual grid-interactive communities for resilient, multi-agent distributed energy resources and objective control with dynamic occupant feedback. This work details the v2 environment design and provides application examples that utilize reinforcement learning to manage battery energy storage system charging/discharging cycles, vehicle-to-grid control, and thermal comfort during heat pump power modulation.


title: Discovery of the Remarkably Red L/T Transition Object VHS J183135.58-551355.9

abstract: We present the discovery of VHS J183135.58$-$551355.9 (hereafter VHS J1831$-$5513), an L/T transition dwarf identified as a result of its unusually red near-infrared colors ($J-K_{\rm S}=3.633\pm0.277$ mag; $J-W2=6.249\pm0.245$ mag) from the VISTA Hemisphere Survey and CatWISE2020 surveys. We obtain low resolution near-infrared spectroscopy of VHS J1831$-$5513 using Magellan/FIRE to confirm its extremely red nature and assess features sensitive to surface gravity (i.e., youth). Its near-infrared spectrum shows multiple CH$_{\rm 4}$ absorption features, indicating an exceptionally low effective temperature for its spectral type. Based on proper motion measurements from CatWISE2020 and a photometric distance derived from its $K_{\rm S}$-band magnitude, we find that VHS J1831$-$5513 is a likely ($\sim$85$\%$ probability) kinematic member of the $\beta$ Pictoris moving group. Future radial velocity and trigonometric parallax measurements will clarify such membership. Follow-up mid-infrared or higher resolution near-infrared spectroscopy of this object will allow for further investigation as to the cause(s) of its redness, such as youth, clouds, and viewing geometry.


title: Further Applications of the Generalised Phase Kick-Back

abstract: In our previous work, we defined a quantum algorithmic technique known as the Generalised Phase Kick-Back, or $GPK$, and analysed its applications in generalising some classical quantum problems, such as the Deutsch-Jozsa problem or the Bernstein-Vazirani problem. We also proved that using this technique we can solve Simon's problem in a more efficient manner. In this paper we continue analysing the potential of this technique, defining the concept of $\mathbf{y}$-balanced functions and solving a new problem, which further generalises the generalised Deutsch-Jozsa problem (the fully balanced image problem). This problem also underlines the relation between quantum computation and Boolean function theory, and, in particular, the Walsh and Fourier-Hadamard transforms. We finish our discussion by solving the generalised version of Simon's problem using the $GPK$ algorithm, while analysing the efficiency of this new solution.


title: Querying in Constant Time with Learned Indexes

abstract: Learned indexes leverage machine learning models to accelerate query answering in databases, showing impressive practical performance. However, theoretical understanding of these methods remains incomplete. Existing research suggests that learned indexes have superior asymptotic complexity compared to their non-learned counterparts, but these findings have been established under restrictive probabilistic assumptions. Specifically, for a sorted array with $n$ elements, it has been shown that learned indexes can find a key in $O(\log(\log n))$ expected time using at most linear space, compared with $O(\log n)$ for non-learned methods. In this work, we prove $O(1)$ expected time can be achieved with at most linear space, thereby establishing the tightest upper bound so far for the time complexity of an asymptotically optimal learned index. Notably, we use weaker probabilistic assumptions than prior work, meaning our results generalize previous efforts. Furthermore, we introduce a new measure of statistical complexity for data. This metric exhibits an information-theoretical interpretation and can be estimated in practice. This characterization provides further theoretical understanding of learned indexes, by helping to explain why some datasets seem to be particularly challenging for these methods.


title: VSA4VQA: Scaling a Vector Symbolic Architecture to Visual Question Answering on Natural Images

abstract: While Vector Symbolic Architectures (VSAs) are promising for modelling spatial cognition, their application is currently limited to artificially generated images and simple spatial queries. We propose VSA4VQA - a novel 4D implementation of VSAs that implements a mental representation of natural images for the challenging task of Visual Question Answering (VQA). VSA4VQA is the first model to scale a VSA to complex spatial queries. Our method is based on the Semantic Pointer Architecture (SPA) to encode objects in a hyperdimensional vector space. To encode natural images, we extend the SPA to include dimensions for object's width and height in addition to their spatial location. To perform spatial queries we further introduce learned spatial query masks and integrate a pre-trained vision-language model for answering attribute-related questions. We evaluate our method on the GQA benchmark dataset and show that it can effectively encode natural images, achieving competitive performance to state-of-the-art deep learning methods for zero-shot VQA.


title: Lifting Directional Fields to Minimal Sections

abstract: Directional fields, including unit vector, line, and cross fields, are essential tools in the geometry processing toolkit. The topology of directional fields is characterized by their singularities. While singularities play an important role in downstream applications such as meshing, existing methods for computing directional fields either require them to be specified in advance, ignore them altogether, or treat them as zeros of a relaxed field. While fields are ill-defined at their singularities, the graphs of directional fields with singularities are well-defined surfaces in a circle bundle. By lifting optimization of fields to optimization over their graphs, we can exploit a natural convex relaxation to a minimal section problem over the space of currents in the bundle. This relaxation treats singularities as first-class citizens, expressing the relationship between fields and singularities as an explicit boundary condition. As curvature frustrates finite element discretization of the bundle, we devise a hybrid spectral method for representing and optimizing minimal sections. Our method supports field optimization on both flat and curved domains and enables more precise control over singularity placement.


title: Provable Preconditioned Plug-and-Play Approach for Compressed Sensing MRI Reconstruction

abstract: Model-based methods play a key role in the reconstruction of compressed sensing (CS) MRI. Finding an effective prior to describe the statistical distribution of the image family of interest is crucial for model-based methods. Plug-and-play (PnP) is a general framework that uses denoising algorithms as the prior or regularizer. Recent work showed that PnP methods with denoisers based on pretrained convolutional neural networks outperform other classical regularizers in CS MRI reconstruction. However, the numerical solvers for PnP can be slow for CS MRI reconstruction. This paper proposes a preconditioned PnP (P^2nP) method to accelerate the convergence speed. Moreover, we provide proofs of the fixed-point convergence of the P^2nP iterates. Numerical experiments on CS MRI reconstruction with non-Cartesian sampling trajectories illustrate the effectiveness and efficiency of the P^2nP approach.


title: Strategies for Increasing Corporate Responsible AI Prioritization

abstract: Responsible artificial intelligence (RAI) is increasingly recognized as a critical concern. However, the level of corporate RAI prioritization has not kept pace. In this work, we conduct 16 semi-structured interviews with practitioners to investigate what has historically motivated companies to increase the prioritization of RAI. What emerges is a complex story of conflicting and varied factors, but we bring structure to the narrative by highlighting the different strategies available to employ, and point to the actors with access to each. While there are no guaranteed steps for increasing RAI prioritization, we paint the current landscape of motivators so that practitioners can learn from each other, and put forth our own selection of promising directions forward.


title: Finding perfect matchings in bridgeless cubic multigraphs without dynamic (2-)connectivity

abstract: Petersen's theorem, one of the earliest results in graph theory, states that any bridgeless cubic multigraph contains a perfect matching. While the original proof was neither constructive nor algorithmic, Biedl, Bose, Demaine, and Lubiw [J. Algorithms 38(1)] showed how to implement a later constructive proof by Frink in $\mathcal{O}(n\log^{4}n)$ time using a fully dynamic 2-edge-connectivity structure. Then, Diks and Sta\'nczyk [SOFSEM 2010] described a faster approach that only needs a fully dynamic connectivity structure and works in $\mathcal{O}(n\log^{2}n)$ time. Both algorithms, while reasonable simple, utilize non-trivial (2-edge-)connectivity structures. We show that this is not necessary, and in fact a structure for maintaining a dynamic tree, e.g. link-cut trees, suffices to obtain a simple $\mathcal{O}(n\log n)$ time algorithm.


title: The MOST Hosts Survey: spectroscopic observation of the host galaxies of ~40,000 transients using DESI

abstract: We present the MOST Hosts survey (Multi-Object Spectroscopy of Transient Hosts). The survey is planned to run throughout the five years of operation of the Dark Energy Spectroscopic Instrument (DESI) and will generate a spectroscopic catalog of the hosts of most transients observed to date, in particular all the supernovae observed by most public, untargeted, wide-field, optical surveys (PTF/iPTF, SDSS II, ZTF, DECAT, DESIRT). Scientific questions for which the MOST Hosts survey will be useful include Type Ia supernova cosmology, fundamental plane and peculiar velocity measurements, and the understanding of the correlations between transients and their host galaxy properties. Here, we present the first release of the MOST Hosts survey: 21,931 hosts of 20,235 transients. These numbers represent 36% of the final MOST Hosts sample, consisting of 60,212 potential host galaxies of 38,603 transients (a transient can be assigned multiple potential hosts). Of these galaxies, 40% do not appear in the DESI primary target list and therefore require a specific program like MOST Hosts. Of all the transients in the MOST Hosts list, only 26.7% have existing classifications, and so the survey will provide redshifts (and luminosities) for nearly 30,000 transients. A preliminary Hubble diagram and a transient luminosity-duration diagram are shown as examples of future potential uses of the MOST Hosts survey. The survey will also provide a training sample of spectroscopically observed transients for photometry-only classifiers, as we enter an era when most newly observed transients will lack spectroscopic classification. The MOST Hosts DESI survey data will be released through the Wiserep platform on a rolling cadence and updated to match the DESI releases. Dates of future releases and updates are available through the https://mosthosts.desi.lbl.gov website.


title: Theory of inverse Edelstein effect induced by thermal spin injection

abstract: We theoretically consider a junction composed of a ferromagnetic insulator (FI) and a two-dimensional electron gas (2DEG) with Rashba- and Dresselhaus-type spin-orbit interactions. Using the Boltzmann equation, we calculate an electric current in 2DEG induced by the inverse Edelstein when imposing the temperature difference between FI and 2DEG. We clarify how the induced current depends on the magnetization direction of FI, spin texture on the Fermi surface of 2DEG, and temperature. Our result provides an important foundation for an accurate analysis of the inverse Edelstein effect induced by thermal spin injection.


title: Quantitative Contraction Rates for McKean-Vlasov Stochastic Differential Equations with Multiplicative Noise

abstract: This work focuses on the quantitative contraction rates for McKean-Vlasov stochastic differential equations (SDEs) with multiplicative noise. Under suitable conditions on the coefficients of the SDE, this paper derives explicit quantitative contraction rates for the convergence in Wasserstein distances of McKean-Vlasov SDEs using the coupling method.The contraction results are then used to prove a propagation of chaos uniformly in time, which provides quantitative bounds on convergence rate of interacting particle systems, and establishes exponential ergodicity for McKean-Vlasov SDEs.


title: Observation uncertainty effects on the precision of interior planetary parameters

abstract: Determining compositions of low-mass exoplanets is essential in understanding their origins. The certainty by which masses and radius are measured affects our ability to discern planets that are rocky or volatile rich. In this study, we aim to determine sound observational strategies to avoid diminishing returns. We quantify how uncertainties in mass, radius and model assumptions propagate into errors in inferred compositions of rocky and water planets. For a target error in a planet's iron-mass fraction or water content, we calculate the corresponding required accuracies in radius and mass. For instance, a rocky planet with a known radius error of 2% (corresponding to TESS detection best errors) demands mass precision to be at 5-11% to attain a 8 wt% precision in iron-mass fraction, regardless of mass. Similarly, a water world of equal radius precision requires 9-20% mass precision to confine the water content within a 10 wt% margin. Lighter planets are more difficult to constrain, especially water-rich versus water-poor worlds. Studying Earth as an exoplanet, we find a $\sim \pm5$ point "error floor" in iron-mass fraction and $\sim \pm7$ in core-mass fraction from our lack of knowledge on mineralogy. The results presented here can quickly guide observing strategies to maximize insights into small exoplanet compositions while avoiding over-observing.


title: Homeostasis in Input-Output Networks: Structure, Classification and Applications

abstract: Homeostasis is concerned with regulatory mechanisms, present in biological systems, where some specific variable is kept close to a set value as some external disturbance affects the system. Mathematically, the notion of homeostasis can be formalized in terms of an input-output function that maps the parameter representing the external disturbance to the output variable that must be kept within a fairly narrow range. This observation inspired the introduction of the notion of infinitesimal homeostasis, namely, the derivative of the input-output function is zero at an isolated point. This point of view allows for the application of methods from singularity theory to characterize infinitesimal homeostasis points (i.e. critical points of the input-output function). In this paper we review the infinitesimal approach to the study of homeostasis in input-output networks. An input-output network is a network with two distinguished nodes `input' and `output', and the dynamics of the network determines the corresponding input-output function of the system. This class of dynamical systems provides an appropriate framework to study homeostasis and several important biological systems can be formulated in this context. Moreover, this approach, coupled to graph-theoretic ideas from combinatorial matrix theory, provides a systematic way for classifying different types of homeostasis (homeostatic mechanisms) in input-output networks, in terms of the network topology. In turn, this leads to new mathematical concepts, such as, homeostasis subnetworks, homeostasis patterns, homeostasis mode interaction. We illustrate the usefulness of this theory with several biological examples: biochemical networks, chemical reaction networks (CRN), gene regulatory networks (GRN), Intracellular metal ion regulation and so on.


title: Conformity, Confabulation, and Impersonation: Persona Inconstancy in Multi-Agent LLM Collaboration

abstract: This study explores the sources of instability in maintaining cultural personas and opinions within multi-agent LLM systems. Drawing on simulations of inter-cultural collaboration and debate, we analyze agents' pre- and post-discussion private responses alongside chat transcripts to assess the stability of cultural personas and the impact of opinion diversity on group outcomes. Our findings suggest that multi-agent discussions can encourage collective decisions that reflect diverse perspectives, yet this benefit is tempered by the agents' susceptibility to conformity due to perceived peer pressure and challenges in maintaining consistent personas and opinions. Counterintuitively, instructions that encourage debate in support of one's opinions increase the rate of inconstancy. Without addressing the factors we identify, the full potential of multi-agent frameworks for producing more culturally diverse AI outputs will remain untapped.


title: Resource Optimization in UAV-assisted IoT Networks: The Role of Generative AI

abstract: We investigate how generative Artificial Intelligence (AI) can be used to optimize resources in Unmanned Aerial Vehicle (UAV)-assisted Internet of Things (IoT) networks. In particular, generative AI models for real-time decision-making have been used in public safety scenarios. This work describes how generative AI models can improve resource management within UAV-assisted networks. Furthermore, this work presents generative AI in UAV-assisted networks to demonstrate its practical applications and highlight its broader capabilities. We demonstrate a real-life case study for public safety, demonstrating how generative AI can enhance real-time decision-making and improve training datasets. By leveraging generative AI in UAV- assisted networks, we can design more intelligent, adaptive, and efficient ecosystems to meet the evolving demands of wireless networks and diverse applications. Finally, we discuss challenges and future research directions associated with generative AI for resource optimization in UAV-assisted networks.


title: Learning Planning Abstractions from Language

abstract: This paper presents a framework for learning state and action abstractions in sequential decision-making domains. Our framework, planning abstraction from language (PARL), utilizes language-annotated demonstrations to automatically discover a symbolic and abstract action space and induce a latent state abstraction based on it. PARL consists of three stages: 1) recovering object-level and action concepts, 2) learning state abstractions, abstract action feasibility, and transition models, and 3) applying low-level policies for abstract actions. During inference, given the task description, PARL first makes abstract action plans using the latent transition and feasibility functions, then refines the high-level plan using low-level policies. PARL generalizes across scenarios involving novel object instances and environments, unseen concept compositions, and tasks that require longer planning horizons than settings it is trained on.