title: Self-supervised Adversarial Training of Monocular Depth Estimation against Physical-World Attacks

abstract: Monocular Depth Estimation (MDE) plays a vital role in applications such as autonomous driving. However, various attacks target MDE models, with physical attacks posing significant threats to system security. Traditional adversarial training methods, which require ground-truth labels, are not directly applicable to MDE models that lack ground-truth depth. Some self-supervised model hardening techniques (e.g., contrastive learning) overlook the domain knowledge of MDE, resulting in suboptimal performance. In this work, we introduce a novel self-supervised adversarial training approach for MDE models, leveraging view synthesis without the need for ground-truth depth. We enhance adversarial robustness against real-world attacks by incorporating L_0-norm-bounded perturbation during training. We evaluate our method against supervised learning-based and contrastive learning-based approaches specifically designed for MDE. Our experiments with two representative MDE networks demonstrate improved robustness against various adversarial attacks, with minimal impact on benign performance.


title: Comments on "Federated Learning with Differential Privacy: Algorithms and Performance Analysis"

abstract: In the paper by Wei et al. ("Federated Learning with Differential Privacy: Algorithms and Performance Analysis"), the convergence performance of the proposed differential privacy algorithm in federated learning (FL), known as Noising before Model Aggregation FL (NbAFL), was studied. However, the presented convergence upper bound of NbAFL (Theorem 2) is incorrect. This comment aims to present the correct form of the convergence upper bound for NbAFL.


title: From First-order to Higher-order Interactions: Enhanced Representation of Homotopic Functional Connectivity through Control of Intervening Variables

abstract: The brain's complex functionality emerges from network interactions that go beyond dyadic connections, with higher-order interactions significantly contributing to this complexity. One method of capturing higher-order interactions is through traversing the brain network using random walks. The efficacy of these random walks depends on the defined mutual interactions between two brain entities. More precise capture of higher-order interactions enables a better reflection of the brain's intrinsic neurophysiological characteristics. One well-established neurophysiological concept is Homotopic Functional Connectivity (HoFC), which illustrates the synchronized spontaneous activity between corresponding regions in the brain's left and right hemispheres. We employ node2vec, a random walk node embedding approach, alongside resting-state fMRI from the Human Connectome Project (HCP) to obtain higher-order feature vectors. We assess the efficacy of different functional connectivity parameterizations using HoFC. The results indicates that the quality of capturing higher-order interactions largely depends on the statistical dependency measure between brain regions. Higher-order interactions defined by partial correlation, better reflects HoFC compare to other statistical associations. In this case of first-order interactions, tangent space embedding more effectively demonstrates HoFC. The findings validate HoFC and underscore the importance of functional connectivity construction method in capturing intrinsic characteristics of the human brain.


title: Strong Convergence of Vorticities in the 2D Viscosity Limit on a Bounded Domain

abstract: In the vanishing viscosity limit from the Navier-Stokes to Euler equations on domains with boundaries, a main difficulty comes from the mismatch of boundary conditions and, consequently, the possible formation of a boundary layer. Within a purely interior framework, Constantin and Vicol showed that the two-dimensional viscosity limit is justified for any arbitrary but finite time under the assumption that on each compactly contained subset of the domain, the enstrophies are bounded uniformly along the viscosity sequence. Within this framework, we upgrade to local strong convergence of the vorticities under a similar assumption on the $p$-enstrophies, $p>2$. The key novel idea is the analysis of the evolution of the weak convergence defect.


title: Dispersive Vertex Guarding for Simple and Non-Simple Polygons

abstract: We study the Dispersive Art Gallery Problem with vertex guards: Given a polygon $\mathcal{P}$, with pairwise geodesic Euclidean vertex distance of at least $1$, and a rational number $\ell$; decide whether there is a set of vertex guards such that $\mathcal{P}$ is guarded, and the minimum geodesic Euclidean distance between any two guards (the so-called dispersion distance) is at least $\ell$. We show that it is NP-complete to decide whether a polygon with holes has a set of vertex guards with dispersion distance $2$. On the other hand, we provide an algorithm that places vertex guards in simple polygons at dispersion distance at least $2$. This result is tight, as there are simple polygons in which any vertex guard set has a dispersion distance of at most $2$.


title: II-Bench: An Image Implication Understanding Benchmark for Multimodal Large Language Models

abstract: The rapid advancements in the development of multimodal large language models (MLLMs) have consistently led to new breakthroughs on various benchmarks. In response, numerous challenging and comprehensive benchmarks have been proposed to more accurately assess the capabilities of MLLMs. However, there is a dearth of exploration of the higher-order perceptual capabilities of MLLMs. To fill this gap, we propose the Image Implication understanding Benchmark, II-Bench, which aims to evaluate the model's higher-order perception of images. Through extensive experiments on II-Bench across multiple MLLMs, we have made significant findings. Initially, a substantial gap is observed between the performance of MLLMs and humans on II-Bench. The pinnacle accuracy of MLLMs attains 74.8%, whereas human accuracy averages 90%, peaking at an impressive 98%. Subsequently, MLLMs perform worse on abstract and complex images, suggesting limitations in their ability to understand high-level semantics and capture image details. Finally, it is observed that most models exhibit enhanced accuracy when image sentiment polarity hints are incorporated into the prompts. This observation underscores a notable deficiency in their inherent understanding of image sentiment. We believe that II-Bench will inspire the community to develop the next generation of MLLMs, advancing the journey towards expert artificial general intelligence (AGI). II-Bench is publicly available at https://huggingface.co/datasets/m-a-p/II-Bench.


title: Source -Free Domain Adaptation for Speaker Verification in Data-Scarce Languages and Noisy Channels

abstract: Domain adaptation is often hampered by exceedingly small target datasets and inaccessible source data. These conditions are prevalent in speech verification, where privacy policies and/or languages with scarce speech resources limit the availability of sufficient data. This paper explored techniques of sourcefree domain adaptation unto a limited target speech dataset for speaker verificationin data-scarce languages. Both language and channel mis-match between source and target were investigated. Fine-tuning methods were evaluated and compared across different sizes of labeled target data. A novel iterative cluster-learn algorithm was studied for unlabeled target datasets.


title: Dilation distance and the stability of ergodic commutation relations

abstract: We revisit and generalize the notion of dilation distance ${\rm d_{D}}(u,v)$ between unitary tuples and study its relation to the natural Haagerup-R{\o}rdam distance ${\rm d_{HR}}(u,v) = \inf\{\|\pi(u) - \rho(v)\|\}$, where the infimum is taken over all pairs of faithful representations $\pi \colon C^*(u) \to B(\mathcal{H})$, $\rho \colon C^*(v) \to B(\mathcal{H})$. We show that ${\rm d_{HR}}(u,v)\leq 10\operatorname{d_{rD}}(u,v)^{1/2}$, where ${\rm d_{rD}}(u,v)$ is a relaxed dilation distance, improving and extending earlier results. For an antisymmetric matrix $\Theta$, we show via a concrete dilation construction that a tuple of unitaries $u$ that almost commutes according to $\Theta$ (i.e., $\|u_\ell u_k - e^{i \theta_{k,\ell}} u_k u_\ell\|$ is small) can be nearly dilated to a tuple of unitaries $v$ that commutes according to $\Theta$ (i.e., $v_\ell v_k - e^{i \theta_{k,\ell}} v_k v_\ell = 0$). We show that the dilation can be "reversed" by a second application of the dilation construction, which leads to a rotated version of the original tuple. Thus, a gauge invariant almost $\Theta$-commuting unitary tuple can be approximated (in some faithful representation) by a $\Theta$-commuting unitary tuple. Moreover, when $\Theta$ is ergodic, a $\Theta$-commuting tuple is shown to be {\em almost} gauge invariant, and it follows from the results above that these can be approximated in norm by $\Theta$-commuting tuples. In particular, we obtain the following counterpart of Lin's theorem on almost commuting unitaries: if $q \in \mathbb{T}$ is {\em not} a root of unity, then for every $\varepsilon >0$ there exists $\delta > 0$ such that for every pair of unitaries $u_1,u_2 \in B(\mathcal{H})$ for which $\|u_1 u_2 - qu_2 u_1\| < \delta$, there exists two $q$-commuting unitaries $v_1, v_2 \in B(\mathcal{H} \otimes \ell^2)$ such that $\|v_i - u_i \otimes 1\| < \varepsilon$ ($i=1,2$).


title: Information scrambling in quantum-walks

abstract: We study information scrambling -- a spread of initially localized quantum information into the system's many degree of freedom -- in discrete-time quantum walks. We consider out-of-time-ordered correlators (OTOC) and K-complexity as probe of information scrambling. The OTOC for local spin operators in all directions has a light-cone structure which is ``shell-like''. As the wavefront passes, the OTOC approaches to zero in the long-time limit, showing no signature of scrambling. The introduction of spatial or temporal disorder changes the shape of the light-cone akin to localization of wavefuction. We formulate the K-complexity in system with discrete-time evolution, and show that it grows linearly in discrete-time quantum walk. The presence of disorder modifies this growth to sub-linear. Our study present interesting case to explore many-body phenomenon in discrete-time quantum walk using scrambling.


title: Procrastination Is All You Need: Exponent Indexed Accumulators for Floating Point, Posits and Logarithmic Numbers

abstract: This paper discusses a simple and effective method for the summation of long sequences of floating point numbers. The method comprises two phases: an accumulation phase where the mantissas of the floating point numbers are added to accumulators indexed by the exponents and a reconstruction phase where the actual summation result is finalised. Various architectural details are given for both FPGAs and ASICs including fusing the operation with a multiplier, creating efficient MACs. Some results are presented for FPGAs, including a tensor core capable of multiplying and accumulating two 4x4 matrices of bfloat16 values every clock cycle using ~6,400 LUTs + 64 DSP48 in AMD FPGAs at 700+ MHz. The method is then extended to posits and logarithmic numbers.


title: GANSky -- fast curved sky weak lensing simulations using Generative Adversarial Networks

abstract: Extracting non-Gaussian information from the next generation weak lensing surveys will require fast and accurate full-sky simulations. This is difficult to achieve in practice with existing simulation methods: ray-traced $N$-body simulations are computationally expensive, and approximate simulation methods (such as lognormal mocks) are not accurate enough. Here, we present GANSky, an interpretable machine learning method that uses Generative Adversarial Networks (GANs) to produce fast and accurate full-sky tomographic weak lensing maps. The input to our GAN are lognormal maps that approximately describe the late-time convergence field of the Universe. Starting from these lognormal maps, we use GANs to learn how to locally redistribute mass to achieve simulation-quality maps. This can be achieved using remarkably small networks ($\approx 10^3$ parameters). We validate the GAN maps by computing a number of summary statistics in both simulated and GANSky maps. We show that GANSky maps correctly reproduce both the mean and $\chi^2$ distribution for several statistics, specifically: the 2-pt function, 1-pt PDF, peak and void counts, and the equilateral, folded and squeezed bispectra. These successes makes GANSky an attractive tool to compute the covariances of these statistics. In addition to being useful for rapidly generating large ensembles of artificial data sets, our method can be used to extract non-Gaussian information from weak lensing data with field-level or simulation-based inference.


title: The dynamics of machine-learned "softness" in supercooled liquids describe dynamical heterogeneity

abstract: The dynamics of supercooled liquids slow down and become increasingly heterogeneous as they are cooled. Recently, local structural variables identified using machine learning, such as "softness", have emerged as predictors of local dynamics. Here we construct a model using softness to describe the structural origins of dynamical heterogeneity in supercooled liquids. In our model, the probability of particles to rearrange is determined by their softness, and each rearrangement induces changes in the softness of nearby particles, describing facilitation. We show how to ensure that these changes respect the underlying time-reversal symmetry of the liquid's dynamics. The model reproduces the salient features of dynamical heterogeneity, and demonstrates how long-ranged dynamical correlations can emerge at long time scales from a relatively short softness correlation length.


title: An Analysis of Elo Rating Systems via Markov Chains

abstract: We present a theoretical analysis of the Elo rating system, a popular method for ranking skills of players in an online setting. In particular, we study Elo under the Bradley--Terry--Luce model and, using techniques from Markov chain theory, show that Elo learns the model parameters at a rate competitive with the state of the art. We apply our results to the problem of efficient tournament design and discuss a connection with the fastest-mixing Markov chain problem.


title: Machine Against the RAG: Jamming Retrieval-Augmented Generation with Blocker Documents

abstract: Retrieval-augmented generation (RAG) systems respond to queries by retrieving relevant documents from a knowledge database, then generating an answer by applying an LLM to the retrieved documents. We demonstrate that RAG systems that operate on databases with potentially untrusted content are vulnerable to a new class of denial-of-service attacks we call jamming. An adversary can add a single ``blocker'' document to the database that will be retrieved in response to a specific query and, furthermore, result in the RAG system not answering the query - ostensibly because it lacks the information or because the answer is unsafe. We describe and analyze several methods for generating blocker documents, including a new method based on black-box optimization that does not require the adversary to know the embedding or LLM used by the target RAG system, nor access to an auxiliary LLM to generate blocker documents. We measure the efficacy of the considered methods against several LLMs and embeddings, and demonstrate that the existing safety metrics for LLMs do not capture their vulnerability to jamming. We then discuss defenses against blocker documents.


title: OmniControlNet: Dual-stage Integration for Conditional Image Generation

abstract: We provide a two-way integration for the widely adopted ControlNet by integrating external condition generation algorithms into a single dense prediction method and incorporating its individually trained image generation processes into a single model. Despite its tremendous success, the ControlNet of a two-stage pipeline bears limitations in being not self-contained (e.g. calls the external condition generation algorithms) with a large model redundancy (separately trained models for different types of conditioning inputs). Our proposed OmniControlNet consolidates 1) the condition generation (e.g., HED edges, depth maps, user scribble, and animal pose) by a single multi-tasking dense prediction algorithm under the task embedding guidance and 2) the image generation process for different conditioning types under the textual embedding guidance. OmniControlNet achieves significantly reduced model complexity and redundancy while capable of producing images of comparable quality for conditioned text-to-image generation.


title: STARLING: Self-supervised Training of Text-based Reinforcement Learning Agent with Large Language Models

abstract: Interactive fiction games have emerged as an important application to improve the generalization capabilities of language-based reinforcement learning (RL) agents. Existing environments for interactive fiction games are domain-specific or time-consuming to generate and do not train the RL agents to master a specific set of skills. In this work, we introduce an interactive environment for self-supervised RL, STARLING, for text-based games that bootstraps the text-based RL agents with automatically generated games (based on the seed set of game ideas) to boost the performance and generalization capabilities to reach a goal of the target environment. These games let the agent hone their skills on a predefined set of tasks. We create and test an environment with 100 games, generated using this automated framework that uses large language models (GPT-3) and an interactive fiction game engine (based on Inform7) to provide the user with the ability to generate more games under minimal human supervision. Experimental results based on both the human participants and baseline text-based RL agents reveal that current state-of-the-art text-based RL agents cannot use previously learned skills in new situations at the level humans can. These results enforce STARLING's potential to serve as a sandbox environment for further research in self-supervised text-based RL.


title: Conserving Human Creativity with Evolutionary Generative Algorithms: A Case Study in Music Generation

abstract: This study explores the application of evolutionary generative algorithms in music production to preserve and enhance human creativity. By integrating human feedback into Differential Evolution algorithms, we produced six songs that were submitted to international record labels, all of which received contract offers. In addition to testing the commercial viability of these methods, this paper examines the long-term implications of content generation using traditional machine learning methods compared with evolutionary algorithms. Specifically, as current generative techniques continue to scale, the potential for computer-generated content to outpace human creation becomes likely. This trend poses a risk of exhausting the pool of human-created training data, potentially forcing generative machine learning models to increasingly depend on their random input functions for generating novel content. In contrast to a future of content generation guided by aimless random functions, our approach allows for individualized creative exploration, ensuring that computer-assisted content generation methods are human-centric and culturally relevant through time.


title: Stealthy Targeted Backdoor Attacks against Image Captioning

abstract: In recent years, there has been an explosive growth in multimodal learning. Image captioning, a classical multimodal task, has demonstrated promising applications and attracted extensive research attention. However, recent studies have shown that image caption models are vulnerable to some security threats such as backdoor attacks. Existing backdoor attacks against image captioning typically pair a trigger either with a predefined sentence or a single word as the targeted output, yet they are unrelated to the image content, making them easily noticeable as anomalies by humans. In this paper, we present a novel method to craft targeted backdoor attacks against image caption models, which are designed to be stealthier than prior attacks. Specifically, our method first learns a special trigger by leveraging universal perturbation techniques for object detection, then places the learned trigger in the center of some specific source object and modifies the corresponding object name in the output caption to a predefined target name. During the prediction phase, the caption produced by the backdoored model for input images with the trigger can accurately convey the semantic information of the rest of the whole image, while incorrectly recognizing the source object as the predefined target. Extensive experiments demonstrate that our approach can achieve a high attack success rate while having a negligible impact on model clean performance. In addition, we show our method is stealthy in that the produced backdoor samples are indistinguishable from clean samples in both image and text domains, which can successfully bypass existing backdoor defenses, highlighting the need for better defensive mechanisms against such stealthy backdoor attacks.


title: Hybrid terahertz emitter for pulse shaping and chirality control

abstract: Terahertz (THz) radiation, spanning from 0.3 to 3x10^12 Hz, fills the crucial gap between the microwave and infrared spectral range. THz technology has found applications in various fields, from imaging and sensing to telecommunication and biosensing. However, the full potential of these applications is often hindered by the need for precise control and manipulation of the frequency and polarization state, which typically requires external THz modulators. Here, we demonstrate a hybrid THz source that overcomes this limitation. Our device consists of two THz emitters integrated into one single device, enabling pulse shaping and chirality control of the emitted radiation without additional external components. The two sources are a spintronic emitter and a semiconductor photoconductive antenna (PCA). Using a combination of dual-wavelength excitation, allowing for control of the relative time delay between the two laser excitation pulses, and tuning external parameters for each emitter (i.e., biasing voltage for the PCA and magnetic field for the spintronic THz emitter) enables precise control of the mixing of the two signals and results in frequency, polarization, and chirality control of the overall THz radiation. This on-chip hybrid emitter provides an essential platform for engineered THz radiation with wide-ranging potential applications.

categories: physics.optics cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph


title: Zero-Shot End-To-End Spoken Question Answering In Medical Domain

abstract: In the rapidly evolving landscape of spoken question-answering (SQA), the integration of large language models (LLMs) has emerged as a transformative development. Conventional approaches often entail the use of separate models for question audio transcription and answer selection, resulting in significant resource utilization and error accumulation. To tackle these challenges, we explore the effectiveness of end-to-end (E2E) methodologies for SQA in the medical domain. Our study introduces a novel zero-shot SQA approach, compared to traditional cascade systems. Through a comprehensive evaluation conducted on a new open benchmark of 8 medical tasks and 48 hours of synthetic audio, we demonstrate that our approach requires up to 14.7 times fewer resources than a combined 1.3B parameters LLM with a 1.55B parameters ASR model while improving average accuracy by 0.5\%. These findings underscore the potential of E2E methodologies for SQA in resource-constrained contexts.


title: The Nodal Sets of Solutions to Parabolic Equations

abstract: In this paper, we study the parabolic equations $\partial_t u=\partial_j\left(a^{ij}(x,t)\partial_iu\right)+b^j(x,t)\partial_ju+c(x,t)u$ in a domain of $\mathbb{R}^n$ under the condition that $a^{ij}$ are Lipschitz continuous. Consider the nodal set $Z_t=\{x: u(x,t)=0\}$ at a time $t$-slice. Simple examples show that the singular set $\mathcal{S}_t=\{x: u(x,t)=|\nabla_x u|(x,t)=0\}$ may coincide with nodal set. This makes the methods used in the study of nodal sets for elliptic equations fail, rendering the parabolic case much more complicated. The current strongest results in the literature establish the finiteness of the $(n-1)$-dimensional Hausdorff measure of $Z_t$, assuming either $n=1$ by Angenent or that the coefficients are time-independent and analytic by Lin. With general coefficients, the codimension-one estimate was obtained under some doubling assumption by Han-Lin but only for space-time nodal sets. In the first part, we prove that $\mathcal{H}^{n-1}(Z_t) < \infty$ in full generality, i.e. for any dimension, with time-dependent coefficients and with merely Lipschitz regular leading coefficients $a^{ij}$. In the second part, we study the evolutionary behavior of nodal sets. When $n=1$, it is proved by Angenent that the number of nodal points is non-increasing in time. For the $n$-dimensional case, we construct examples showing that measure monotonicity fails. In contrast, we prove dimension monotonicity, i.e., the Hausdorff dimension of the nodal set is non-increasing in time. This is the first monotonicity property for nodal sets in general dimensions. All the assumptions here are sharp.


title: Imaging of seabed topography from the scattering of water waves

abstract: We consider the problem of reconstructing the seabed topography from observations of surface gravity waves. We formulate the problem as a classical inverse scattering problem using the mild-slope equation, and analyze the topographic dependence of the forward and inverse problem. Moreover, we propose a useful model simplification that makes the inverse problem much more tractable. As water waves allow for observations of the full wave field, it differs quite a lot from the classical inverse scattering problems, and we utilize this to prove a conditional stability result for the inverse problem. Last, we develop a simple and fast numerical inversion method and test it on synthetic data to verify our analysis.


title: A propositional cirquent calculus for computability logic

abstract: Cirquent calculus is a proof system with inherent ability to account for sharing subcomponents in logical expressions. Within its framework, this article constructs an axiomatization CL18 of the basic propositional fragment of computability logic the game-semantically conceived logic of computational resources and tasks. The nonlogical atoms of this fragment represent arbitrary so called static games, and the connectives of its logical vocabulary are negation and the parallel and choice versions of conjunction and disjunction. The main technical result of the article is a proof of the soundness and completeness of CL18 with respect to the semantics of computability logic.


title: Long Range Azimuthal Correlation, Entanglement and Bell Inequality Violation by Spinning Gluons at the LHC

abstract: We apply the recently developed concept of the nucleon energy-energy correlator (NEEC) for the gluon sector to investigate the long-range azimuthal angular correlations in proton-proton collisions at the LHC. The spinning gluon in these collisions will introduce a significant nonzero $\cos(2\phi)$ asymmetries in both Higgs Boson and top quark pair productions. The genesis of the $\cos(2\phi)$ correlation lies in the intricate quantum entanglement. Owing to the substantial $\cos(2\phi)$ effect, the NEEC observable in Higgs Boson and $t{\bar t}$ production emerges as a pivotal avenue for delving into quantum entanglement and scrutinizing the Bell inequality at high-energy colliders.


title: LGR2: Language Guided Reward Relabeling for Accelerating Hierarchical Reinforcement Learning

abstract: Developing interactive systems that leverage natural language instructions to solve complex robotic control tasks has been a long-desired goal in the robotics community. Large Language Models (LLMs) have demonstrated exceptional abilities in handling complex tasks, including logical reasoning, in-context learning, and code generation. However, predicting low-level robotic actions using LLMs poses significant challenges. Additionally, the complexity of such tasks usually demands the acquisition of policies to execute diverse subtasks and combine them to attain the ultimate objective. Hierarchical Reinforcement Learning (HRL) is an elegant approach for solving such tasks, which provides the intuitive benefits of temporal abstraction and improved exploration. However, HRL faces the recurring issue of non-stationarity due to unstable lower primitive behaviour. In this work, we propose LGR2, a novel HRL framework that leverages language instructions to generate a stationary reward function for the higher-level policy. Since the language-guided reward is unaffected by the lower primitive behaviour, LGR2 mitigates non-stationarity and is thus an elegant method for leveraging language instructions to solve robotic control tasks. To analyze the efficacy of our approach, we perform empirical analysis and demonstrate that LGR2 effectively alleviates non-stationarity in HRL. Our approach attains success rates exceeding 70$\%$ in challenging, sparse-reward robotic navigation and manipulation environments where the baselines fail to achieve any significant progress. Additionally, we conduct real-world robotic manipulation experiments and demonstrate that CRISP shows impressive generalization in real-world scenarios.


title: Distributional Preference Alignment of LLMs via Optimal Transport

abstract: Current LLM alignment techniques use pairwise human preferences at a sample level, and as such, they do not imply an alignment on the distributional level. We propose in this paper Alignment via Optimal Transport (AOT), a novel method for distributional preference alignment of LLMs. AOT aligns LLMs on unpaired preference data by making the reward distribution of the positive samples stochastically dominant in the first order on the distribution of negative samples. We introduce a convex relaxation of this first-order stochastic dominance and cast it as an optimal transport problem with a smooth and convex cost. Thanks to the one-dimensional nature of the resulting optimal transport problem and the convexity of the cost, it has a closed-form solution via sorting on empirical measures. We fine-tune LLMs with this AOT objective, which enables alignment by penalizing the violation of the stochastic dominance of the reward distribution of the positive samples on the reward distribution of the negative samples. We analyze the sample complexity of AOT by considering the dual of the OT problem and show that it converges at the parametric rate. Empirically, we show on a diverse set of alignment datasets and LLMs that AOT leads to state-of-the-art models in the 7B family of models when evaluated with Open LLM Benchmarks and AlpacaEval.


title: Information Theoretic Guarantees For Policy Alignment In Large Language Models

abstract: Policy alignment of large language models refers to constrained policy optimization, where the policy is optimized to maximize a reward while staying close to a reference policy with respect to an $f$-divergence such as the $\mathsf{KL}$ divergence. The best of $n$ alignment policy selects a sample from the reference policy that has the maximum reward among $n$ independent samples. For both cases (policy alignment and best of $n$), recent works showed empirically that the reward improvement of the aligned policy on the reference one scales like $\sqrt{\mathsf{KL}}$, with an explicit bound in $n$ on the $\mathsf{KL}$ for the best of $n$ policy. We show in this paper that the $\sqrt{\mathsf{KL}}$ information theoretic upper bound holds if the reward under the reference policy has sub-gaussian tails. Moreover, we prove for the best of $n$ policy, that the $\mathsf{KL}$ upper bound can be obtained for any $f$-divergence via a reduction to exponential order statistics owing to the R\'enyi representation of order statistics, and a data processing inequality. If additional information is known on the tails of the aligned policy we show that tighter control on the reward improvement can be obtained via the R\'enyi divergence. Finally we demonstrate how these upper bounds transfer from proxy rewards to golden rewards which results in a decrease in the golden reward improvement due to overestimation and approximation errors of the proxy reward.


title: Revisiting institutional punishment in the $N$-person prisoner's dilemma

abstract: The conflict between individual and collective interests makes fostering cooperation in human societies a challenging task, requiring drastic measures such as the establishment of sanctioning institutions. These institutions are costly because they have to be maintained regardless of the presence or absence of offenders. Here, we propose realistic improvements to the standard $N$-person prisoner's dilemma formulation with institutional punishment by eliminating overpunishment, requiring a minimum number of contributors to establish the sanctioning institution, and sharing the cost among them once this minimum number is reached. In addition, we focus on large groups or communities for which sanctioning institutions are ubiquitous. Using the replicator equation framework for an infinite population, we find that by sufficiently fining players who fail to contribute either to the public good or to the sanctioning institution, a population of contributors immune to invasion by these free riders can be established, provided that the contributors are sufficiently numerous. In a finite population, we use finite-size scaling to show that, for some parameter settings, demographic noise helps to fixate the strategy that contributes to the public good but not to the sanctioning institution even for infinitely large populations when, somewhat counterintuitively, its proportion in the initial population vanishes with a small power of the population size.


title: Are Large Language Models Actually Good at Text Style Transfer?

abstract: We analyze the performance of large language models (LLMs) on Text Style Transfer (TST), specifically focusing on sentiment transfer and text detoxification across three languages: English, Hindi, and Bengali. Text Style Transfer involves modifying the linguistic style of a text while preserving its core content. We evaluate the capabilities of pre-trained LLMs using zero-shot and few-shot prompting as well as parameter-efficient finetuning on publicly available datasets. Our evaluation using automatic metrics, GPT-4 and human evaluations reveals that while some prompted LLMs perform well in English, their performance in on other languages (Hindi, Bengali) remains average. However, finetuning significantly improves results compared to zero-shot and few-shot prompting, making them comparable to previous state-of-the-art. This underscores the necessity of dedicated datasets and specialized models for effective TST.


title: Electronic Wigner-Molecule Polymeric Chains in Elongated Silicon Quantum Dots and Finite-Length Quantum Wires

abstract: The spectral properties of electrons confined in a wire-like quasi-one-dimensional (1D) elongated quantum dot (EQD) coupler between silicon qubits, are investigated with a newly developed valley-augmented unrestricted Hartree-Fock (va-UHF) method, generalized to include the valley degree of freedom treated as an isospin, allowing calculations for a large number of electrons. The lower energy symmetry-broken solutions of the self-consistent generalized Pople-Nesbet equations exhibit, for a confinement that has been modeled after an experimentally fabricated one in silicon, formation of Wigner-molecular polymeric (longitudinal) chains, initiating through charge accumulation at the edges of the finite-length quasi-1D wire. An increasing number of parallel zig-zag chains form as the number of electrons loaded into the confinement is increased, with the formation of newly added chains determined by the strength of the transverse harmonic confinement. The broken-symmetry va-UHF solutions, subsequently augmented by the quantum-mechanically required parity-restoration, go beyond the va-UHF single-determinant solution, predicting formation of entangled Wigner-molecular chains whose charge distributions obliterate the zig-zag organization of the broken-symmetry solutions. The symmetry-restored va-UHF methodology enables systematic investigations of multi-electron complex nano-scale confined structures that could be targeted for future imaging microscopy experiments in silicon and other materials (e.g., 1D domain walls in TMD materials), and quantum information utilization.


title: Few-Shot Load Forecasting Under Data Scarcity in Smart Grids: A Meta-Learning Approach

abstract: Despite the rapid expansion of smart grids and large volumes of data at the individual consumer level, there are still various cases where adequate data collection to train accurate load forecasting models is challenging or even impossible. This paper proposes adapting an established model-agnostic meta-learning algorithm for short-term load forecasting in the context of few-shot learning. Specifically, the proposed method can rapidly adapt and generalize within any unknown load time series of arbitrary length using only minimal training samples. In this context, the meta-learning model learns an optimal set of initial parameters for a base-level learner recurrent neural network. The proposed model is evaluated using a dataset of historical load consumption data from real-world consumers. Despite the examined load series' short length, it produces accurate forecasts outperforming transfer learning and task-specific machine learning methods by $12.5\%$. To enhance robustness and fairness during model evaluation, a novel metric, mean average log percentage error, is proposed that alleviates the bias introduced by the commonly used MAPE metric. Finally, a series of studies to evaluate the model's robustness under different hyperparameters and time series lengths is also conducted, demonstrating that the proposed approach consistently outperforms all other models.


title: Feriji: A French-Zarma Parallel Corpus, Glossary & Translator

abstract: Machine translation (MT) is a rapidly expanding field that has experienced significant advancements in recent years with the development of models capable of translating multiple languages with remarkable accuracy. However, the representation of African languages in this field still needs to improve due to linguistic complexities and limited resources. This applies to the Zarma language, a dialect of Songhay (of the Nilo-Saharan language family) spoken by over 5 million people across Niger and neighboring countries \cite{lewis2016ethnologue}. This paper introduces Feriji, the first robust French-Zarma parallel corpus and glossary designed for MT. The corpus, containing 61,085 sentences in Zarma and 42,789 in French, and a glossary of 4,062 words represent a significant step in addressing the need for more resources for Zarma. We fine-tune three large language models on our dataset, obtaining a BLEU score of 30.06 on the best-performing model. We further evaluate the models on human judgments of fluency, comprehension, and readability and the importance and impact of the corpus and models. Our contributions help to bridge a significant language gap and promote an essential and overlooked indigenous African language.


title: Structure and energy transfer in homogeneous turbulence below a free surface

abstract: We investigate the turbulence below a quasi-flat free surface, focusing on the energy transport in space and across scales. We leverage a large zero-mean-flow tank where homogeneous turbulence is generated by randomly actuated jets. A wide range of Reynolds number is spanned, reaching sufficient scale separation for the emergence of an inertial sub-range. Unlike previous studies, the forcing extends through the source layer, though the surface deformation remains millimetric. Particle image velocimetry along a surface-normal plane resolves from the dissipative to the integral scales. Both vertical and horizontal components of the turbulent kinetic energy approach the prediction based on rapid distortion theory as the Reynolds number is increased, indicating that discrepancies among previous studies are likely due to differences in the forcing. At odds with the theory, however, the integral scale of the horizontal fluctuations grows as the surface is approached. This is rooted in the profound influence exerted by the surface on the inter-scale energy transfer: along horizontal separations, the direct cascade of horizontal energy is hindered, while an inverse cascade of vertical energy is established. This is connected to the structure of upwellings and downwellings. The former, characterized by somewhat larger spatial extent and stronger intensity, are associated to extensional surface-parallel motions. They thus transfer energy to the larger horizontal scales, prevailing over downwellings which favour the compression (and concurrent vertical stretching) of the eddies. Both types of structures extend to depths between the integral and Taylor microscales.


title: Kepler Sets of Second-Order Linear Recurrence Sequences Over $\mathbb{Q}_p$

abstract: Let $(a_n)_{n=0}^\infty$ be a second-order linear recurrence sequence with constant coefficients over the field of $p$-adic numbers $\mathbb{Q}_p$. We study the set of limit points of the sequence of consecutive ratios $(a_{n+1}/a_{n})_{n=0}^\infty$ in $\mathbb{Q}_p$.


title: GCtx-UNet: Efficient Network for Medical Image Segmentation

abstract: Medical image segmentation is crucial for disease diagnosis and monitoring. Though effective, the current segmentation networks such as UNet struggle with capturing long-range features. More accurate models such as TransUNet, Swin-UNet, and CS-UNet have higher computation complexity. To address this problem, we propose GCtx-UNet, a lightweight segmentation architecture that can capture global and local image features with accuracy better or comparable to the state-of-the-art approaches. GCtx-UNet uses vision transformer that leverages global context self-attention modules joined with local self-attention to model long and short range spatial dependencies. GCtx-UNet is evaluated on the Synapse multi-organ abdominal CT dataset, the ACDC cardiac MRI dataset, and several polyp segmentation datasets. In terms of Dice Similarity Coefficient (DSC) and Hausdorff Distance (HD) metrics, GCtx-UNet outperformed CNN-based and Transformer-based approaches, with notable gains in the segmentation of complex and small anatomical structures. Moreover, GCtx-UNet is much more efficient than the state-of-the-art approaches with smaller model size, lower computation workload, and faster training and inference speed, making it a practical choice for clinical applications.


title: Security Vulnerability Detection with Multitask Self-Instructed Fine-Tuning of Large Language Models

abstract: Software security vulnerabilities allow attackers to perform malicious activities to disrupt software operations. Recent Transformer-based language models have significantly advanced vulnerability detection, surpassing the capabilities of static analysis based deep learning models. However, language models trained solely on code tokens do not capture either the explanation of vulnerability type or the data flow structure information of code, both of which are crucial for vulnerability detection. We propose a novel technique that integrates a multitask sequence-to-sequence LLM with pro-gram control flow graphs encoded as a graph neural network to achieve sequence-to-classification vulnerability detection. We introduce MSIVD, multitask self-instructed fine-tuning for vulnerability detection, inspired by chain-of-thought prompting and LLM self-instruction. Our experiments demonstrate that MSIVD achieves superior performance, outperforming the highest LLM-based vulnerability detector baseline (LineVul), with a F1 score of 0.92 on the BigVul dataset, and 0.48 on the PreciseBugs dataset. By training LLMs and GNNs simultaneously using a combination of code and explanatory metrics of a vulnerable program, MSIVD represents a promising direction for advancing LLM-based vulnerability detection that generalizes to unseen data. Based on our findings, we further discuss the necessity for new labelled security vulnerability datasets, as recent LLMs have seen or memorized prior datasets' held-out evaluation data.


title: Event prediction and causality inference despite incomplete information

abstract: We explored the challenge of predicting and explaining the occurrence of events within sequences of data points. Our focus was particularly on scenarios in which unknown triggers causing the occurrence of events may consist of non-consecutive, masked, noisy data points. This scenario is akin to an agent tasked with learning to predict and explain the occurrence of events without understanding the underlying processes or having access to crucial information. Such scenarios are encountered across various fields, such as genomics, hardware and software verification, and financial time series prediction. We combined analytical, simulation, and machine learning (ML) approaches to investigate, quantify, and provide solutions to this challenge. We deduced and validated equations generally applicable to any variation of the underlying challenge. Using these equations, we (1) described how the level of complexity changes with various parameters (e.g., number of apparent and hidden states, trigger length, confidence, etc.) and (2) quantified the data needed to successfully train an ML model. We then (3) proved our ML solution learns and subsequently identifies unknown triggers and predicts the occurrence of events. If the complexity of the challenge is too high, our ML solution can identify trigger candidates to be used to interactively probe the system under investigation to determine the true trigger in a way considerably more efficient than brute force methods. By sharing our findings, we aim to assist others grappling with similar challenges, enabling estimates on the complexity of their problem, the data required and a solution to solve it.


title: Large population limit of interacting population dynamics via generalized gradient structures

abstract: This chapter focuses on the derivation of a doubly nonlocal Fisher-KPP model, which is a macroscopic nonlocal evolution equation describing population dynamics in the large population limit. The derivation starts from a microscopic individual-based model described as a stochastic process on the space of atomic measures with jump rates that satisfy detailed balance w.r.t. to a reference measure. We make use of the so-called `cosh' generalized gradient structure for the law of the process to pass to the large population limit using evolutionary Gamma-convergence. In addition to characterizing the large population limit as the solution of the nonlocal Fisher-KPP model, our variational approach further provides a generalized gradient flow structure for the limit equation as well as an entropic propagation of chaos result.


title: A model for slowing particles in random media

abstract: We present a simple model in dimension $d\geq 2$ for slowing particles in random media, where point particles move in straight lines among and inside spherical identical obstacles with Poisson distributed centres. When crossing an obstacle, a particle is slowed down according to the law $\dot{V}= -\frac{\kappa}{\epsilon} S(|V|) V$, where $V$ is the velocity of the point particle, $\kappa$ is a positive constant, $\epsilon$ is the radius of the obstacle and $S(|V|)$ is a given slowing profile. With this choice, the slowing rate in the obstacles is such that the variation of speed at each crossing is of order $1$. We study the asymptotic limit of the particle system when $\epsilon$ vanishes and the mean free path of the point particles stays finite. We prove the convergence of the point particles density measure to the solution of a kinetic-like equation with a collision term which includes a contribution proportional to a $\delta$ function in $v=0$; this contribution guarantees the conservation of mass for the limit equation.


title: Erd\H{o}s inequality for primitive sets

abstract: A set of natural numbers $A$ is called primitive if no element of $A$ divides any other. Let $\Omega(n)$ be the number of prime divisors of $n$ counted with multiplicity. Let $f_z(A) = \sum_{a \in A}\frac{z^{\Omega(a)}}{a (\log a)^z}$, where $z \in \mathbb{R}_{> 0}$. Erd\H{o}s proved in 1935 that $f_1(A) = \sum_{a \in A}\frac{1}{a \log a}$ is uniformly bounded over all choices of primitive sets $A$. We prove the same fact for $f_z(A)$, when $z \in (0, 2)$. Also we discuss the $\lim_{z \to 0} f_z(A)$. Some other results about primitive sets are generalized. In particular we study the asymptotic of $f_z(\mathbb{P}_k)$, where $\mathbb{P}_k = \{ n : \Omega(n) = k \}$. In case of $z = 1$ we find the next term in asymptotic expansion of $f_1(\mathbb{P}_k)$ compared to the recent result of Gorodetsky, Lichtman, Wong.


title: InfoGaussian: Structure-Aware Dynamic Gaussians through Lightweight Information Shaping

abstract: 3D Gaussians, as a low-level scene representation, typically involve thousands to millions of Gaussians. This makes it difficult to control the scene in ways that reflect the underlying dynamic structure, where the number of independent entities is typically much smaller. In particular, it can be challenging to animate and move objects in the scene, which requires coordination among many Gaussians. To address this issue, we develop a mutual information shaping technique that enforces movement resonance between correlated Gaussians in a motion network. Such correlations can be learned from putative 2D object masks in different views. By approximating the mutual information with the Jacobians of the motions, our method ensures consistent movements of the Gaussians composing different objects under various perturbations. In particular, we develop an efficient contrastive training pipeline with lightweight optimization to shape the motion network, avoiding the need for re-shaping throughout the motion sequence. Notably, our training only touches a small fraction of all Gaussians in the scene yet attains the desired compositional behavior according to the underlying dynamic structure. The proposed technique is evaluated on challenging scenes and demonstrates significant performance improvement in promoting consistent movements and 3D object segmentation while inducing low computation and memory requirements.


title: Async Learned User Embeddings for Ads Delivery Optimization

abstract: In recommendation systems, high-quality user embeddings can capture subtle preferences, enable precise similarity calculations, and adapt to changing preferences over time to maintain relevance. The effectiveness of recommendation systems depends on the quality of user embedding. We propose to asynchronously learn high fidelity user embeddings for billions of users each day from sequence based multimodal user activities through a Transformer-like large scale feature learning module. The async learned user representations embeddings (ALURE) are further converted to user similarity graphs through graph learning and then combined with user realtime activities to retrieval highly related ads candidates for the ads delivery system. Our method shows significant gains in both offline and online experiments.


title: On the singular position-dependent mass

abstract: Revisiting the issue associated with Position-Dependent Mass (PDM), we reaffirm that the appropriate framework for addressing a generic PDM is the symmetrization proposed by BenDaniel and Duke. To accomplish this result adopts the effective mass Hamiltonian proposed by von Roos, corrected by a symmetrized kinematic term. After verifying the appropriate ordering to approach the PDM issue, one investigates a crystalline lattice with a defect described by a singular PDM. The singular mass profile proves intriguing as it yields an atom's cluster in the neighborhood of the singularity. Considering that a restoring force acts on the atoms, one notes that the confluent Heun function describes the quantum states. Furthermore, one highlights that when the effective mass distribution tends to a constant profile, we recover a system similar to the harmonic oscillator.


title: Large Language Models Memorize Sensor Datasets! Implications on Human Activity Recognition Research

abstract: The astonishing success of Large Language Models (LLMs) in Natural Language Processing (NLP) has spurred their use in many application domains beyond text analysis, including wearable sensor-based Human Activity Recognition (HAR). In such scenarios, often sensor data are directly fed into an LLM along with text instructions for the model to perform activity classification. Seemingly remarkable results have been reported for such LLM-based HAR systems when they are evaluated on standard benchmarks from the field. Yet, we argue, care has to be taken when evaluating LLM-based HAR systems in such a traditional way. Most contemporary LLMs are trained on virtually the entire (accessible) internet -- potentially including standard HAR datasets. With that, it is not unlikely that LLMs actually had access to the test data used in such benchmark experiments.The resulting contamination of training data would render these experimental evaluations meaningless. In this paper we investigate whether LLMs indeed have had access to standard HAR datasets during training. We apply memorization tests to LLMs, which involves instructing the models to extend given snippets of data. When comparing the LLM-generated output to the original data we found a non-negligible amount of matches which suggests that the LLM under investigation seems to indeed have seen wearable sensor data from the benchmark datasets during training. For the Daphnet dataset in particular, GPT-4 is able to reproduce blocks of sensor readings. We report on our investigations and discuss potential implications on HAR research, especially with regards to reporting results on experimental evaluation


title: Simulation Models for Exploring Magnetic Reconnection

abstract: Simulations have played a critical role in the advancement of our knowledge of magnetic reconnection. However, due to the inherently multiscale nature of reconnection, it is impossible to simulate all physics at all scales. For this reason, a wide range of simulation methods have been crafted to study particular aspects and consequences of magnetic reconnection. This chapter reviews many of these methods, laying out critical assumptions, numerical techniques, and giving examples of scientific results. Plasma models described include magnetohydrodynamics (MHD), Hall MHD, Hybrid, kinetic particle-in-cell (PIC), kinetic Vlasov, Fluid models with embedded PIC, Fluid models with direct feedback from energetic populations, and the Rice Convection Model (RCM).


title: Whose Preferences? Differences in Fairness Preferences and Their Impact on the Fairness of AI Utilizing Human Feedback

abstract: There is a growing body of work on learning from human feedback to align various aspects of machine learning systems with human values and preferences. We consider the setting of fairness in content moderation, in which human feedback is used to determine how two comments -- referencing different sensitive attribute groups -- should be treated in comparison to one another. With a novel dataset collected from Prolific and MTurk, we find significant gaps in fairness preferences depending on the race, age, political stance, educational level, and LGBTQ+ identity of annotators. We also demonstrate that demographics mentioned in text have a strong influence on how users perceive individual fairness in moderation. Further, we find that differences also exist in downstream classifiers trained to predict human preferences. Finally, we observe that an ensemble, giving equal weight to classifiers trained on annotations from different demographics, performs better for different demographic intersections; compared to a single classifier that gives equal weight to each annotation.


title: On Kolmogorov Structure Functions

abstract: All strings with low mutual information with the halting sequence will have flat Kolmogorov Structure Functions, in the context of Algorithmic Statistics. Assuming the Independence Postulate, strings with non-negligible information with the halting sequence are purely mathematical constructions, and cannot be found in nature. Thus Algorithmic Statistics does not study strings in the physical world. This leads to the general thesis that two part codes require limitations as shown in the Minimum Description Length Principle. We also discuss issues with set-restricted Kolmogorov Structure Functions.


title: Aegis: A Decentralized Expansion Blockchain

abstract: Blockchains implement monetary systems operated by committees of nodes. The robustness of established blockchains presents an opportunity to leverage their infrastructure for creating expansion chains. Expansion chains can provide additional functionality to the primary chain they leverage or implement separate functionalities, while benefiting from the primary chain's security and the stability of its tokens. Indeed, tools like Ethereum's EigenLayer enable nodes to stake (deposit collateral) on a primary chain to form a committee responsible for operating an expansion chain. But here is the rub. Classical protocols assume correct, well-behaved nodes stay correct indefinitely. Yet in our case, the stake incentivizes correctness--it will be slashed (revoked) if its owner deviates. Once a node withdraws its stake, there is no basis to assume its correctness. To address the new challenge, we present Aegis, an expansion chain based on primary-chain stake, assuming a bounded primary-chain write time. Aegis uses references from Aegis blocks to primary blocks to define committees, checkpoints on the primary chain to perpetuate decisions, and resets on the primary chain to establish a new committee if the previous one becomes obsolete. It ensures safety at all times and rapid progress when latency among Aegis nodes is low.


title: An optimal control strategy to design passive thermal cloaks of arbitrary shape

abstract: In this paper we describe a numerical framework for achieving passive thermal cloaking of arbitrary shapes in both static and transient regimes. The design strategy is cast as the solution of an optimal control problem (OCP) for the heat equation where the coefficients of the thermal diffusivity matrix take the role of control functions and the distance between the uncloaked and the cloaked field is minimized in a suitable observation domain. The control actions enter bilinearly in the heat equation, thus making the resulting OCP nonlinear, and its analysis nontrivial. We show that optimal diffusivity coefficients exist both for the static and the transient case; we derive a system of first-order necessary optimality conditions; finally, we carry out their numerical approximation using the Finite Element Method. A series of numerical test cases assess the capability of our strategy to tackle passive thermal cloaking of arbitrarily complex two-dimensional objects.


title: TTM-RE: Memory-Augmented Document-Level Relation Extraction

abstract: Document-level relation extraction aims to categorize the association between any two entities within a document. We find that previous methods for document-level relation extraction are ineffective in exploiting the full potential of large amounts of training data with varied noise levels. For example, in the ReDocRED benchmark dataset, state-of-the-art methods trained on the large-scale, lower-quality, distantly supervised training data generally do not perform better than those trained solely on the smaller, high-quality, human-annotated training data. To unlock the full potential of large-scale noisy training data for document-level relation extraction, we propose TTM-RE, a novel approach that integrates a trainable memory module, known as the Token Turing Machine, with a noisy-robust loss function that accounts for the positive-unlabeled setting. Extensive experiments on ReDocRED, a benchmark dataset for document-level relation extraction, reveal that TTM-RE achieves state-of-the-art performance (with an absolute F1 score improvement of over 3%). Ablation studies further illustrate the superiority of TTM-RE in other domains (the ChemDisGene dataset in the biomedical domain) and under highly unlabeled settings.


title: Boundary corrections for splitting methods in the time integration of multidimensional parabolic problems

abstract: This work considers two boundary correction techniques to mitigate the reduction in the temporal order of convergence in PDE sense (i.e., when both the space and time resolutions tend to zero independently of each other) of $d$ dimension space-discretized parabolic problems on a rectangular domain subject to time dependent boundary conditions. We make use of the MoL approach (method of lines) where the space discretization is made with central differences of order four and the time integration is carried out with $s$-stage AMF-W-methods. The time integrators are of ADI-type (alternating direction implicit by using a directional splitting) and of higher order than the usual ones appearing in the literature which only reach order 2. Besides, the techniques here explained also work for most of splitting methods, when directional splitting is used. A remarkable fact is that with these techniques, the time integrators recover the temporal order of PDE-convergence at the level of time-independent boundary conditions.


title: Charged black holes in quadratic gravity

abstract: We study electrically charged, static, spherically symmetric black holes in quadratic gravity using the conformal-to-Kundt technique, which leads to a considerable simplification of the field equations. We study the solutions using a Frobenius-like approach of power-series expansions. The indicial equations restrict the set of possible leading powers to a few cases, describing, e.g., black holes, wormholes, or naked singularities. We focus on the black hole case and derive recurrent formulas for all series coefficients of the infinite power-series expansion around the horizon. The solution is characterized by electric charge $q$, the black-hole radius $a_0$, and the Bach parameter $b$ related to the strength of the Bach tensor at the horizon. However, the Bach parameter has to be fine-tuned to ensure asymptotic flatness. The fine-tuning of $b$ for a given $q$ and $a_0$ returns up to two values, describing two branches of asymptotically flat, static, spherically symmetric, charged black holes in quadratic gravity. This is in agreement with previous numerical works. We discuss various physical properties of these black holes, such as their asymptotic mass, temperature, photon spheres, and black-hole shadows. A straightforward generalization to dyonic black holes in quadratic gravity is also briefly mentioned.


title: Hilbert series for contractads and modular compactifications

abstract: Contractads are operadic-type algebraic structures well-suited for describing configuration spaces indexed by a simple connected graph $\Gamma$. Specifically, these configuration spaces are defined as $\mathrm{Conf}_{\Gamma}(X):=X^{|V(\Gamma)|}\setminus \cup_{(ij)\in E(\Gamma)} {x_i=x_j}$. In this paper, we explore functional equations for the Hilbert series of Koszul dual contractads and provide explicit Hilbert series for fundamental contractads such as the commutative, Lie, associative and the little discs contractads. Additionally, we focus on a particular contractad derived from the wonderful compactifications of $\mathrm{Conf}_{\Gamma}(\mathbb{k})$, for $\mathbb{k}=\mathbb{R},\mathbb{C}$. First, we demonstrate that for complete multipartite graphs, the associated wonderful compactifications coincide with the modular compactifications introduced by Smyth. Second, we establish that the homology of the complex points and the homology of the real locus of the wonderful contractad are both quadratic and Koszul contractads. We offer a detailed description of generators and relations, extending the concepts of the Hypercommutative operad and cacti operads, respectively. Furthermore, using the functional equations for the Hilbert series, we describe the corresponding Hilbert series for the homology of modular compactifications. We hope this work will highlight the concept of contractads and their applications in algebraic topology, algebraic geometry, and combinatorics.


title: A primer on the analogue black hole bomb with capillary-gravity waves

abstract: Draining vortices with a free surface are frequently employed as rotating black hole simulators, both in theory and experiments. However, most theoretical work is restricted to the idealised regime, where wave dispersion and dissipation are neglected. We investigate the role of these effects on the analogue black hole bomb, an instability resulting from rotational superradiant amplification in confined systems. We reveal that the dispersion of deep water capillary-gravity waves significantly modifies the unstable mode eigenfrequencies, whereas viscosity only affects those with high frequencies. Furthermore, if the circulation is less than an order 1 multiple of the drain rate, superradiance does not occur and the vortex is stable. The instability is maximised in small systems with high flow velocities, provided there is sufficient space between the vortex and the outer boundary for the first excited state to lie inside the superradiant bandwidth. Implications for experiments on analogue black holes and free surface vortices are discussed.


title: Some facts about the optimality of the LSE in the Gaussian sequence model with convex constraint

abstract: We consider a convex constrained Gaussian sequence model and characterize necessary and sufficient conditions for the least squares estimator (LSE) to be optimal in a minimax sense. For a closed convex set $K\subset \mathbb{R}^n$ we observe $Y=\mu+\xi$ for $\xi\sim N(0,\sigma^2\mathbb{I}_n)$ and $\mu\in K$ and aim to estimate $\mu$. We characterize the worst case risk of the LSE in multiple ways by analyzing the behavior of the local Gaussian width on $K$. We demonstrate that optimality is equivalent to a Lipschitz property of the local Gaussian width mapping. We also provide theoretical algorithms that search for the worst case risk. We then provide examples showing optimality or suboptimality of the LSE on various sets, including $\ell_p$ balls for $p\in[1,2]$, pyramids, solids of revolution, and multivariate isotonic regression, among others.


title: BD-SAT: High-resolution Land Use Land Cover Dataset & Benchmark Results for Developing Division: Dhaka, BD

abstract: Land Use Land Cover (LULC) analysis on satellite images using deep learning-based methods is significantly helpful in understanding the geography, socio-economic conditions, poverty levels, and urban sprawl in developing countries. Recent works involve segmentation with LULC classes such as farmland, built-up areas, forests, meadows, water bodies, etc. Training deep learning methods on satellite images requires large sets of images annotated with LULC classes. However, annotated data for developing countries are scarce due to a lack of funding, absence of dedicated residential/industrial/economic zones, a large population, and diverse building materials. BD-SAT provides a high-resolution dataset that includes pixel-by-pixel LULC annotations for Dhaka metropolitan city and surrounding rural/urban areas. Using a strict and standardized procedure, the ground truth is created using Bing satellite imagery with a ground spatial distance of 2.22 meters per pixel. A three-stage, well-defined annotation process has been followed with support from GIS experts to ensure the reliability of the annotations. We performed several experiments to establish benchmark results. The results show that the annotated BD-SAT is sufficient to train large deep learning models with adequate accuracy for five major LULC classes: forest, farmland, built-up areas, water bodies, and meadows.


title: Revisiting Multi-User Downlink in IEEE 802.11ax: A Designers Guide to MU-MIMO

abstract: Downlink (DL) Multi-User (MU) Multiple Input Multiple Output (MU-MIMO) is a key technology that allows multiple concurrent data transmissions from an Access Point (AP) to a selected sub-set of clients for higher network efficiency in IEEE 802.11ax. However, DL MU-MIMO feature is typically turned off as the default setting in AP vendors' products, that is, turning on the DL MU-MIMO may not help increase the network efficiency, which is counter-intuitive. In this article, we provide a sufficiently deep understanding of the interplay between the various underlying factors, i.e., CSI overhead and spatial correlation, which result in negative results when turning on the DL MU-MIMO. Furthermore, we provide a fundamental guideline as a function of operational scenarios to address the fundamental question "when the DL MU-MIMO should be turned on/off".


title: Soundscape Captioning using Sound Affective Quality Network and Large Language Model

abstract: We live in a rich and varied acoustic world, which is experienced by individuals or communities as a soundscape. Computational auditory scene analysis, disentangling acoustic scenes by detecting and classifying events, focuses on objective attributes of sounds, such as their category and temporal characteristics, ignoring the effect of sounds on people and failing to explore the relationship between sounds and the emotions they evoke within a context. To fill this gap and to automate soundscape analysis, which traditionally relies on labour-intensive subjective ratings and surveys, we propose the soundscape captioning (SoundSCap) task. SoundSCap generates context-aware soundscape descriptions by capturing the acoustic scene, event information, and the corresponding human affective qualities. To this end, we propose an automatic soundscape captioner (SoundSCaper) composed of an acoustic model, SoundAQnet, and a general large language model (LLM). SoundAQnet simultaneously models multi-scale information about acoustic scenes, events, and perceived affective qualities, while LLM generates soundscape captions by parsing the information captured by SoundAQnet to a common language. The soundscape caption's quality is assessed by a jury of 16 audio/soundscape experts. The average score (out of 5) of SoundSCaper-generated captions is lower than the score of captions generated by two soundscape experts by 0.21 and 0.25, respectively, on the evaluation set and the model-unknown mixed external dataset with varying lengths and acoustic properties, but the differences are not statistically significant. Overall, SoundSCaper-generated captions show promising performance compared to captions annotated by soundscape experts. The models' code, LLM scripts, human assessment data and instructions, and expert evaluation statistics are all publicly available.


title: Bits-to-Photon: End-to-End Learned Scalable Point Cloud Compression for Direct Rendering

abstract: Point cloud is a promising 3D representation for volumetric streaming in emerging AR/VR applications. Despite recent advances in point cloud compression, decoding and rendering high-quality images from lossy compressed point clouds is still challenging in terms of quality and complexity, making it a major roadblock to achieve real-time 6-Degree-of-Freedom video streaming. In this paper, we address this problem by developing a point cloud compression scheme that generates a bit stream that can be directly decoded to renderable 3D Gaussians. The encoder and decoder are jointly optimized to consider both bit-rates and rendering quality. It significantly improves the rendering quality while substantially reducing decoding and rendering time, compared to existing point cloud compression methods. Furthermore, the proposed scheme generates a scalable bit stream, allowing multiple levels of details at different bit-rate ranges. Our method supports real-time color decoding and rendering of high quality point clouds, thus paving the way for interactive 3D streaming applications with free view points.


title: Reforming Quantum Microgrid Formation

abstract: This letter introduces a novel compact and lossless quantum microgrid formation (qMGF) approach to achieve efficient operational optimization of the power system and improvement of resilience. This is achieved through lossless reformulation to ensure that the results are equivalent to those produced by the classical MGF by exploiting graph-theory-empowered quadratic unconstrained binary optimization (QUBO) that avoids the need for redundant encoding of continuous variables. Additionally, the qMGF approach utilizes a compact formulation that requires significantly fewer qubits compared to other quantum methods thereby enabling a high-accuracy and low-complexity deployment of qMGF on near-term quantum computers. Case studies on real quantum processing units (QPUs) empirically demonstrated that qMGF can achieve the same high accuracy as classic results with a significantly reduced number of qubits.


title: China's Rising Leadership in Global Science

abstract: Major shifts in the global system of science and technology are destabilizing the global status order and demonstrating the capacity for emerging countries like China and India to exert greater influence. In order to measure changes in the global scientific system, we develop a framework to assess the hierarchical position of countries in the international scientific collaboration network. Using a machine-learning model to identify the leaders of 5,966,623 scientific teams that collaborated across international borders, we show that Chinese scientists substantially narrowed their leadership deficit with scientists from the US, UK, and EU between 1990 and 2023 in absolute terms. Consequently, China and the US are on track to reach an equal number of team leaders engaged in bilateral collaborations between 2027 and 2028. Nevertheless, Chinese progress has been considerably slower in per-collaborator terms: after adjusting for the number of non-leaders from each country, our models do not predict parity between the US and China until after 2087. These dynamics extend to 11 critical technology areas central to ongoing diplomacy between the two nations, such AI, Semiconductors, and Advanced Communications, and to China's scientific leadership with respect to the European Union and the United Kingdom. Thus, while China's elite scientists are achieving leadership in the international scientific community, China's scientific enterprise continues to face developmental constraints. We conclude by reviewing several steps that Chinese science is taking to overcome these constraints, by increasing its engagement in scientific training and research in signatory nations to the Belt and Road Initiative.


title: Why Don't Prompt-Based Fairness Metrics Correlate?

abstract: The widespread use of large language models has brought up essential questions about the potential biases these models might learn. This led to the development of several metrics aimed at evaluating and mitigating these biases. In this paper, we first demonstrate that prompt-based fairness metrics exhibit poor agreement, as measured by correlation, raising important questions about the reliability of fairness assessment using prompts. Then, we outline six relevant reasons why such a low correlation is observed across existing metrics. Based on these insights, we propose a method called Correlated Fairness Output (CAIRO) to enhance the correlation between fairness metrics. CAIRO augments the original prompts of a given fairness metric by using several pre-trained language models and then selects the combination of the augmented prompts that achieves the highest correlation across metrics. We show a significant improvement in Pearson correlation from 0.3 and 0.18 to 0.90 and 0.98 across metrics for gender and religion biases, respectively. Our code is available at https://github.com/chandar-lab/CAIRO.


title: Classical Models of the Electron Spin -- Comparison of the Electric Current Model and the Magnetic Charge Model

abstract: Ferromagnetic matter finds its microscopic origin in the intrinsic electron spin, which is considered to be a purely quantum mechanical property of the electron. To incorporate the influence of the electron spin in the microscopic and macroscopic Maxwell equations -- and thereby in classical physics -- two models have been utilized: the electric current and the magnetic charge model. This paper aims to highlight fundamental problems of the commonly used current loop model, widely employed in textbooks. This work demonstrates that the behavior of a constant electric current dipole is not described by the laws of classical electrodynamics. More precisely, the electric current model is dependent on external forces, not included in Maxwells field and force equations, in order to maintain the force balance on the electric charge density inside the electron. These external forces change dynamically and do work on the system as the electron interacts with external fields. Consequently, the energies derived from classical physics (gravitational potential energy, kinetic energy, electrodynamic field energy) are not conserved in a system including constant electric current dipoles. In contrast to the electric current model, the magnetic charge model employs separate magnetic charges to model the electron spin, requiring the Maxwell equations to be extended by magnetic sources. This paper intends to illustrate that the magnetic charge model has significant advantages over the electric current model as it needs no external forces and energies, is a closed electromechanical system and is fully modeled by the classical laws of physics. This work forms the basis for the derivation and consideration of equivalent problems in macroscopic systems involving ferromagnetic matter.


title: Possible mixing of a diquark-antidiquark with a $p \bar p$ hadronic molecule

abstract: We discuss the possibility that the two nearby resonances observed by BESIII partially below the \,$p\bar p$\, threshold might be due to mixing between two metastable states with the same $J^{PC}=0^{-+}$ quantum numbers, but rather different internal structure. One is a $p \bar p$ hadronic molecule and the other a bound state of a light-quark diquark and an antidiquark, both with spin 1 and isospin 0, a composite color antitriplet and triplet, respectively. The doubling of resonances, one of which may be interpreted as a hadronic molecule, while the other arises from $q \bar q$ annihilation in a state with vacuum quantum numbers may be a more general feature than the specific case considered here.


title: Near-field radiative heat transfer between a nanoparticle and a graphene grating

abstract: We investigate the near-field radiative heat transfer between a normally and/or laterally shifted nanoparticle and a planar fused silica slab coated with a strip graphene grating. For this study we develop and use a scattering matrix approach derived from Fourier modal method augmented with local basis functions. We find that adding a graphene sheet coating on the slab can already enhance the heat flux by about 85%. We show that by patterning the graphene sheet coating into a grating, the heat flux is further increased, and this happens thanks to the a topological transition of the plasmonic modes from circular to hyperbolic one, which allows for more energy transfer. The lateral shift affects the accessible range of high-$k$ modes and thus affects the heat flux, too. By moving the nanoparticle laterally above the graphene grating, we can obtain an optimal heat flux with strong chemical potential dependance above the strips. For a fixed graphene grating period ($D=1\mu$m) and not too large normal shift (separation $d<800$nm), two different types of lateral shift effects (e.g., enhancement and inhibition) on heat transfer have been observed. As the separation $d$ is further increased, the lateral shift effect becomes less important. We show that the lateral shift effect is sensitive to the geometric factor $d/D$. Two distinct asymptotic regimes are proposed: (1) the inhibition regime ($d/D<0.85$), where the lateral shift reduces the heat transfer, and (2) the neutral regime ($d/D \geq 0.85$) where the effect of the lateral shift is negligible. In general, we can say that the geometric factor $d/D \approx 0.85$ is a critical point for the lateral shift effect. Our predictions can have relevant implications to the radiative heat transfer and energy management at the nano/micro scale.


title: Fast expansion into harmonics on the ball

abstract: We devise fast and provably accurate algorithms to transform between an $N\times N \times N$ Cartesian voxel representation of a three-dimensional function and its expansion into the ball harmonics, that is, the eigenbasis of the Dirichlet Laplacian on the unit ball in $\mathbb{R}^3$. Given $\varepsilon > 0$, our algorithms achieve relative $\ell^1$ - $\ell^\infty$ accuracy $\varepsilon$ in time $O(N^3 (\log N)^2 + N^3 |\log \varepsilon|^2)$, while their dense counterparts have time complexity $O(N^6)$. We illustrate our methods on numerical examples.


title: Contrastive Learning from Synthetic Audio Doppelgangers

abstract: Learning robust audio representations currently demands extensive datasets of real-world sound recordings. By applying artificial transformations to these recordings, models can learn to recognize similarities despite subtle variations through techniques like contrastive learning. However, these transformations are only approximations of the true diversity found in real-world sounds, which are generated by complex interactions of physical processes, from vocal cord vibrations to the resonance of musical instruments. We propose a solution to both the data scale and transformation limitations, leveraging synthetic audio. By randomly perturbing the parameters of a sound synthesizer, we generate audio doppelg\"angers-synthetic positive pairs with causally manipulated variations in timbre, pitch, and temporal envelopes. These variations, difficult to achieve through transformations of existing audio, provide a rich source of contrastive information. Despite the shift to randomly generated synthetic data, our method produces strong representations, competitive with real data on standard audio classification benchmarks. Notably, our approach is lightweight, requires no data storage, and has only a single hyperparameter, which we extensively analyze. We offer this method as a complement to existing strategies for contrastive learning in audio, using synthesized sounds to reduce the data burden on practitioners.


title: Imageless Contraband Detection Using a Millimeter-Wave Dynamic Antenna Array via Spatial Fourier Domain Sampling

abstract: We demonstrate an imageless method of concealed contraband detection using a real-time 75 GHz rotationally dynamic antenna array. The array measures information in the two-dimensional Fourier domain and captures a set of samples that is sufficient for detecting concealed objects yet insufficient for generating full image, thereby preserving the privacy of screened subjects. The small set of Fourier samples contains sharp spatial frequency features in the Fourier domain which correspond to sharp edges of man-made objects such as handguns. We evaluate a set of classification methods: threshold-based, K-nearest neighbor, and support vector machine using radial basis function; all operating on arithmetic features directly extracted from the sampled Fourier-domain responses measured by a dynamically rotating millimeter-wave active interferometer. Noise transmitters are used to produce thermal-like radiation from scenes, enabling direct Fourier-domain sampling, while the rotational dynamics circularly sample the two-dimensional Fourier domain, capturing the sharp-edge induced responses. We experimentally demonstrate the detection of concealed metallic gun-shape object beneath clothing on a real person in a laboratory environment and achieved an accuracy and F1-score both at 0.986. The presented technique not only prevents image formation due to efficient Fourier-domain space sub-sampling but also requires only 211 ms from measurement to decision.


title: Hello Again! LLM-powered Personalized Agent for Long-term Dialogue

abstract: Open-domain dialogue systems have seen remarkable advancements with the development of large language models (LLMs). Nonetheless, most existing dialogue systems predominantly focus on brief single-session interactions, neglecting the real-world demands for long-term companionship and personalized interactions with chatbots. Crucial to addressing this real-world need are event summary and persona management, which enable reasoning for appropriate long-term dialogue responses. Recent progress in the human-like cognitive and reasoning capabilities of LLMs suggests that LLM-based agents could significantly enhance automated perception, decision-making, and problem-solving. In response to this potential, we introduce a model-agnostic framework, the Long-term Dialogue Agent (LD-Agent), which incorporates three independently tunable modules dedicated to event perception, persona extraction, and response generation. For the event memory module, long and short-term memory banks are employed to separately focus on historical and ongoing sessions, while a topic-based retrieval mechanism is introduced to enhance the accuracy of memory retrieval. Furthermore, the persona module conducts dynamic persona modeling for both users and agents. The integration of retrieved memories and extracted personas is subsequently fed into the generator to induce appropriate responses. The effectiveness, generality, and cross-domain capabilities of LD-Agent are empirically demonstrated across various illustrative benchmarks, models, and tasks. The code is released at https://github.com/leolee99/LD-Agent.


title: Plasma stratification in AC discharges in noble gases at low currents

abstract: A hybrid kinetic-fluid model is used to study plasma stratification in alternating current (AC) discharges in noble gases at low plasma densities. Self-consistent coupled solutions of a non-local kinetic equation for electrons, a drift-diffusion equation of ions, and a Poisson equation for the electric field are obtained for a positive column with periodic boundary conditions and for the entire discharge to study near-electrode effects within a 1d model with radial ambipolar loss. A simplified two-level excitation-ionization model neglects the nonlinear effects due to stepwise ionization, gas heating, and Coulomb interactions among electrons. Standing striations are obtained for the reduced values of electric fields corresponding to the inelastic energy balance of electrons in a range of driving frequencies. An analog of Novak law (striation length proportional to the excitation threshold of atoms and inversely proportional to the mean square root of the electric field) is observed in simulations, indicating the nonlocal nature of standing striations in AC discharges at low plasma densities. Stratified plasma operates in a dynamic regime for a wide range of driving frequencies because heat conduction occurs much faster than the ambipolar diffusion controlled by slow ion motion. We demonstrate that standing striations in symmetric AC discharges previously observed in experiments are similar to moving striations in DC discharges and are both due to nonlocal kinetic effects at low discharge currents.


title: MeanSparse: Post-Training Robustness Enhancement Through Mean-Centered Feature Sparsification

abstract: We present a simple yet effective method to improve the robustness of Convolutional Neural Networks (CNNs) against adversarial examples by post-processing an adversarially trained model. Our technique, MeanSparse, cascades the activation functions of a trained model with novel operators that sparsify mean-centered feature vectors. This is equivalent to reducing feature variations around the mean, and we show that such reduced variations merely affect the model's utility, yet they strongly attenuate the adversarial perturbations and decrease the attacker's success rate. Our experiments show that, when applied to the top models in the RobustBench leaderboard, it achieves a new robustness record of 72.08% (from 71.07%) and 59.64% (from 59.56%) on CIFAR-10 and ImageNet, respectively, in term of AutoAttack accuracy. Code is available at https://github.com/SPIN-UMass/MeanSparse


title: Stabler Neo-Hookean Simulation: Absolute Eigenvalue Filtering for Projected Newton

abstract: Volume-preserving hyperelastic materials are widely used to model near-incompressible materials such as rubber and soft tissues. However, the numerical simulation of volume-preserving hyperelastic materials is notoriously challenging within this regime due to the non-convexity of the energy function. In this work, we identify the pitfalls of the popular eigenvalue clamping strategy for projecting Hessian matrices to positive semi-definiteness during Newton's method. We introduce a novel eigenvalue filtering strategy for projected Newton's method to stabilize the optimization of Neo-Hookean energy and other volume-preserving variants under high Poisson's ratio (near 0.5) and large initial volume change. Our method only requires a single line of code change in the existing projected Newton framework, while achieving significant improvement in both stability and convergence speed. We demonstrate the effectiveness and efficiency of our eigenvalue projection scheme on a variety of challenging examples and over different deformations on a large dataset.


title: Cyber-sensorium: An Extension of the Cyber Public Health Framework

abstract: In response to increasingly sophisticated cyberattacks, a health-based approach is being used to define and assess their impact. Two significant cybersecurity workshops have fostered this perspective, aiming to standardize the understanding of cyber harm. Experts at these workshops agreed on a public health-like framework to analyze cyber threats focusing on the perpetrators' intent, the means available to them, and the vulnerability of targets. We contribute to this dialogue with the cyber sensorium concept, drawing parallels between the digital network and a biological nervous system essential to human welfare. Cyberattacks on this system present serious global risks, underlining the need for its protection.


title: Semisupervised Neural Proto-Language Reconstruction

abstract: Existing work implementing comparative reconstruction of ancestral languages (proto-languages) has usually required full supervision. However, historical reconstruction models are only of practical value if they can be trained with a limited amount of labeled data. We propose a semisupervised historical reconstruction task in which the model is trained on only a small amount of labeled data (cognate sets with proto-forms) and a large amount of unlabeled data (cognate sets without proto-forms). We propose a neural architecture for comparative reconstruction (DPD-BiReconstructor) incorporating an essential insight from linguists' comparative method: that reconstructed words should not only be reconstructable from their daughter words, but also deterministically transformable back into their daughter words. We show that this architecture is able to leverage unlabeled cognate sets to outperform strong semisupervised baselines on this novel task.


title: Differentiable Discrete Elastic Rods for Real-Time Modeling of Deformable Linear Objects

abstract: This paper addresses the task of modeling Deformable Linear Objects (DLOs), such as ropes and cables, during dynamic motion over long time horizons. This task presents significant challenges due to the complex dynamics of DLOs. To address these challenges, this paper proposes differentiable Discrete Elastic Rods For deformable linear Objects with Real-time Modeling (DEFORM), a novel framework that combines a differentiable physics-based model with a learning framework to model DLOs accurately and in real-time. The performance of DEFORM is evaluated in an experimental setup involving two industrial robots and a variety of sensors. A comprehensive series of experiments demonstrate the efficacy of DEFORM in terms of accuracy, computational speed, and generalizability when compared to state-of-the-art alternatives. To further demonstrate the utility of DEFORM, this paper integrates it into a perception pipeline and illustrates its superior performance when compared to the state-of-the-art methods while tracking a DLO even in the presence of occlusions. Finally, this paper illustrates the superior performance of DEFORM when compared to state-of-the-art methods when it is applied to perform autonomous planning and control of DLOs. Project page: https://roahmlab.github.io/DEFORM/.


title: Hamiltonian Structure of the Guiding-center Vlasov-Maxwell Equations with Polarization and Magnetization

abstract: The Hamiltonian formulation of guiding-center Vlasov-Maxwell equations, which contain dipole contributions to the guiding-center polarization and magnetization, is presented in terms of a guiding-center Hamiltonian functional that is derived from the exact guiding-center Vlasov-Maxwell energy conservation law, and an antisymmetric functional bracket that satisfies the Jacobi property. Exact energy-momentum and angular momentum conservation laws are expressed in Hamiltonian form and the guiding-center Vlasov-Maxwell entropy functional is shown to be a Casimir functional.


title: A Relevance Model for Threat-Centric Ranking of Cybersecurity Vulnerabilities

abstract: The relentless process of tracking and remediating vulnerabilities is a top concern for cybersecurity professionals. The key challenge is trying to identify a remediation scheme specific to in-house, organizational objectives. Without a strategy, the result is a patchwork of fixes applied to a tide of vulnerabilities, any one of which could be the point of failure in an otherwise formidable defense. Given that few vulnerabilities are a focus of real-world attacks, a practical remediation strategy is to identify vulnerabilities likely to be exploited and focus efforts towards remediating those vulnerabilities first. The goal of this research is to demonstrate that aggregating and synthesizing readily accessible, public data sources to provide personalized, automated recommendations for organizations to prioritize their vulnerability management strategy will offer significant improvements over using the Common Vulnerability Scoring System (CVSS). We provide a framework for vulnerability management specifically focused on mitigating threats using adversary criteria derived from MITRE ATT&CK. We test our approach by identifying vulnerabilities in software associated with six universities and four government facilities. Ranking policy performance is measured using the Normalized Discounted Cumulative Gain (nDCG). Our results show an average 71.5% - 91.3% improvement towards the identification of vulnerabilities likely to be targeted and exploited by cyber threat actors. The return on investment (ROI) of patching using our policies results in a savings of 23.3% - 25.5% in annualized costs. Our results demonstrate the efficacy of creating knowledge graphs to link large data sets to facilitate semantic queries and create data-driven, flexible ranking policies.


title: Discrete vs. continuous in the semiclassical limit

abstract: We compare the bottom of the spectrum of discrete and continuous Schr\"odinger operators with periodic potentials with barriers at the boundaries of their fundamental domains. Our results show that these energy levels coincide in the semiclassical limit and we provide an explicit rate of convergence. We demonstrate the optimality of our results by using Bohr-Sommerfeld quantization conditions for potentials exhibiting non-degenerate wells, and by numerical experiments for more general potentials. We also investigate the dependence of the spectrum of the discrete semiclassical Schr\"odinger operator on the semiclassical parameter $h$ and show that it can be discontinuous.


title: Control of spin-wave polarity and velocity using a ferrimagnetic domain wall

abstract: We present a theoretical study of the scattering of spin waves by a domain wall (DW) in a ferrimagnetic (FiM) spin chain in which two sublattices carry spins of unequal magnitudes. We find that a narrow, but atomically smooth FiM DW exhibits a different behavior in comparison with similarly smooth ferromagnetic and antiferromagnetic DWs due to the inequivalence of the two sublattices. Specifically, for sufficiently weak anisotropy, the smaller spin at the center of the DW is found to become precisely normal to the easy-axis, selecting an arbitrary direction in the $xy$-plane and thereby breaking the U(1) spin-rotational symmetry spontaneously. This particular form of a FiM DW does not occur in antiferromagnetic systems and is shown to lead to a strong dependence of spin wave scattering pattern on the state of polarization of the spin wave, which can be either right-handed or left-handed, suggesting the utilization of such a narrow DW as a spin-wave filter. Moreover, we find that in the case of an atomically sharp DW, where all the spins point either up or down due to strong easy-axis anisotropy and therefore the polarization of the spin wave is conserved upon transmission, the wave vector of the spin wave changes after passing through the DW leading to a change in the group velocity of the spin wave. This change of the wave vector indicates the acceleration or deceleration of the spin waves and thus a sharp FiM DW could serve as a spin wave accelerator or decelerator in spintronics devices, offering a functionality absent in a ferromagnetic and an antiferromagnetic counterpart. Our results indicate that FiM spin textures can interact with spin waves distinctly from ferromagnetic and antiferromagnetic counterparts, suggesting that they may offer spin-wave functionalities that are absent in more conventional magnets.