title: Algebras Associated to Inverse Systems of Projective Schemes

abstract: Artin, Tate and Van den Bergh initiated the field of noncommutative projective algebraic geometry by fruitfully studying geometric data associated to noncommutative graded algebras. More specifically, given a field $\mathbb K$ and a graded $\mathbb K$-algebra $A$, they defined an inverse system of projective schemes $\Upsilon_A = \{{\Upsilon_d(A)}\}$. This system affords an algebra, $\mathbf B(\Upsilon_A)$, built out of global sections, and a $\mathbb K$-algebra morphism $\tau: A \to \mathbf B(\Upsilon_A)$. We study and extend this construction. We define, for any natural number $n$, a category ${\tt PSys}^n$ of projective systems of schemes and a contravariant functor $\mathbf B$ from ${\tt PSys}^n$ to the category of associative $\mathbb K$-algebras. We realize the schemes ${\Upsilon_d(A)}$ as ${\rm Proj \ } {\mathbf U}_d(A)$, where ${\mathbf U}_d$ is a functor from associative algebras to commutative algebras. We characterize when the morphism $\tau: A \to \mathbf B(\Upsilon_A)$ is injective or surjective in terms of local cohomology modules of the ${\mathbf U}_d(A)$. Motivated by work of Walton, when $\Upsilon_A$ consists of well-behaved schemes, we prove a geometric result that computes the Hilbert series of $\mathbf B(\Upsilon_A)$. We provide many detailed examples that illustrate our results. For example, we prove that for some non-AS-regular algebras constructed as twisted tensor products of polynomial rings, $\tau$ is surjective or an isomorphism.


title: Absorption Spectroscopy of $^{40}$Ca Atomic Beams Produced via Pulsed Laser Ablation: A Quantitative Comparison of Ca and CaTiO$_3$ Targets

abstract: Pulsed laser ablation is an increasingly prevalent method for fast ion trap loading of various species, however characteristics of the ablation target source material can affect the ion-loading process. One factor which can reduce the atomic flux from a target is oxidation during atmospheric exposure when preparing or making changes to the ion trap vacuum system. Recent work has shown that perovskite ablation targets produce consistent atomic densities even after exposure to atmosphere when compared to elemental source targets. In this work, we directly compare calcium (Ca) and calcium-titanate (CaTiO$_3$) ablation targets, characterizing the neutral atomic beam flux using resonant, time-resolved absorption spectroscopy of the 423 nm $^{1}S_0 \rightarrow$ $^{1}P_1$ transition in neutral Ca. We measure the ablation plume longitudinal and transverse temperatures, number density, ion production, and spot lifetime for each target. In addition, we compare the ablated atomic beam density for both targets before and after 21 hours of exposure to atmosphere, demonstrating the relative robustness of the CaTiO$_3$ source.


title: Divergences in classical and quantum linear response and equation of motion formulations

abstract: Calculating molecular properties using quantum devices can be done through the quantum linear response (qLR) or, equivalently, the quantum equation of motion (qEOM) formulations. Different parameterizations of qLR and qEOM are available, namely naive, projected, self-consistent, and state-transfer. In the naive and projected parameterizations, the metric is not the identity, and we show that it depends on the redundant orbital rotations. This dependency may lead to divergences in the excitation energies for certain choices of the redundant orbital rotation parameters in an idealized noise-less setting. Further, this leads to significant variance when calculations include statistical noise from finite quantum sampling.


title: Continuous drive heterodyne microwave sensing with spin qubits in hexagonal boron nitride

abstract: Quantum sensors that use solid state spin defects have emerged as effective probes of weak alternating magnetic signals. By recording the phase of a signal relative to an external clock, these devices can resolve signal frequencies to a precision orders of magnitude longer than the spin state lifetime. However, these quantum heterodyne protocols suffer from sub-optimal sensitivity, as they are currently limited to pulsed spin control techniques, which are susceptible to cumulative pulse-area errors, or single continuous drives which offer no protection of the spin coherence. Here, we present a control scheme based on a continuous microwave drive that extends spin coherence towards the effective $T_2 \approx \frac{1}{2}T_1$ limit and can resolve the frequency, amplitude and phase of GHz magnetic fields. The scheme is demonstrated using an ensemble of boron vacancies in hexagonal boron nitride, and achieves an amplitude sensitivity of $\eta \approx 3-5 \:\mathrm{\mu T \sqrt{Hz}}$ and phase sensitivity of $\eta_{\phi} \approx 0.076 \:\mathrm{rads \sqrt{Hz}}$. By repeatedly referencing the phase of a resonant signal against the coherent continuous microwave drive in a quantum heterodyne demonstration, we measure a GHz signal with a resolution $<$1 Hz over a 10 s measurement. Achieving this level of performance in a two-dimensional material platform could have broad applications, from probing nanoscale condensed matter systems to integration into heterostructures for quantum networking.


title: A Hardware/Firmware-Based Switching Gate Multiplexing Method for Pulse Mode Radiation Detectors

abstract: We present a hardware/firmware-based switching gate multiplexing method for pulse mode radiation detectors that can combine many detector signals into two readout channels. One readout channel passes the signal of the multiplexed detector that "fired" first, and the other channel provides a variable-width logic pulse, i.e., a pulse width modulation (PWM) signal, that identifies the active detector. The multiplexed output pulse is produced by passing the first active detector's signal to a fan-in circuit by gating on the corresponding channel for a fixed duration while blocking all other detector signals. It does this using individual analog switches for all the detector signals. Each switch is controlled by a fixed width logic pulse that is triggered by the arrival of the first active detector pulse. Both the fixed width logic pulse and the PWM signal are generated using a field-programmable gate array (FPGA). To demonstrate the proposed multiplexing method, a prototype four-channel multiplexer was developed for use with four NaI(Tl) detectors. The performance of the multiplexer was evaluated in terms of its ability to retain energy resolution, timing resolution, and original pulse shape. The proposed multiplexing method showed very little degradation in energy resolution and timing resolution or alteration of pulse shape. The switching gate feature of the proposed method enables the multiplexer output to have very low noise contribution from the inactive channels. This multiplexing technique also has the unique capability of isolating and recovering the first active detector's output pulse in cases where there is overlap between pulses from different detectors in a single digitized record. These features make the proposed hardware/firmware-based switching gate multiplexing method very promising for application to large radiation detector networks.


title: An information-geometric approach for network decomposition using the q-state Potts model

abstract: Complex networks are critical in many scientific, technological, and societal contexts due to their ability to represent and analyze intricate systems with interdependent components. Often, after labeling the nodes of a network with a community detection algorithm, its modular organization emerges, allowing a better understanding of the underlying structure by uncovering hidden relationships. In this paper, we introduce a novel information-geometric framework for the filtering and decomposition of networks whose nodes have been labeled. Our approach considers the labeled network as the outcome of a Markov random field modeled by a q-state Potts model. According to information geometry, the first and second order Fisher information matrices are related to the metric and curvature tensor of the parametric space of a statistical model. By computing an approximation to the local shape operator, the proposed methodology is able to identify low and high information nodes, allowing the decomposition of the labeled network in two complementary subgraphs. Hence, we call this method as the LO-HI decomposition. Experimental results with several kinds of networks show that the high information subgraph is often related to edges and boundaries, while the low information subgraph is a smoother version of the network, in the sense that the modular structure is improved.

categories: cs.IT cs.SI math-ph math.IT math.MP nlin.AO stat.AP


title: GraphPipe: Improving Performance and Scalability of DNN Training with Graph Pipeline Parallelism

abstract: Deep neural networks (DNNs) continue to grow rapidly in size, making them infeasible to train on a single device. Pipeline parallelism is commonly used in existing DNN systems to support large-scale DNN training by partitioning a DNN into multiple stages, which concurrently perform DNN training for different micro-batches in a pipeline fashion. However, existing pipeline-parallel approaches only consider sequential pipeline stages and thus ignore the topology of a DNN, resulting in missed model-parallel opportunities. This paper presents graph pipeline parallelism (GPP), a new pipeline-parallel scheme that partitions a DNN into pipeline stages whose dependencies are identified by a directed acyclic graph. GPP generalizes existing sequential pipeline parallelism and preserves the inherent topology of a DNN to enable concurrent execution of computationally-independent operators, resulting in reduced memory requirement and improved GPU performance. In addition, we develop GraphPipe, a distributed system that exploits GPP strategies to enable performant and scalable DNN training. GraphPipe partitions a DNN into a graph of stages, optimizes micro-batch schedules for these stages, and parallelizes DNN training using the discovered GPP strategies. Evaluation on a variety of DNNs shows that GraphPipe outperforms existing pipeline-parallel systems such as PipeDream and Piper by up to 1.6X. GraphPipe also reduces the search time by 9-21X compared to PipeDream and Piper.


title: Vastextures: Vast repository of textures and PBR materials extracted from real-world images using unsupervised methods

abstract: Vastextures is a vast repository of 500,000 textures and PBR materials extracted from real-world images using an unsupervised process. The extracted materials and textures are extremely diverse and cover a vast range of real-world patterns, but at the same time less refined compared to existing repositories. The repository is composed of 2D textures cropped from natural images and SVBRDF/PBR materials generated from these textures. Textures and PBR materials are essential for CGI. Existing materials repositories focus on games, animation, and arts, that demand a limited amount of high-quality assets. However, virtual worlds and synthetic data are becoming increasingly important for training A.I systems for computer vision. This application demands a huge amount of diverse assets but at the same time less affected by noisy and unrefined assets. Vastexture aims to address this need by creating a free, huge, and diverse assets repository that covers as many real-world materials as possible. The materials are automatically extracted from natural images in two steps: 1) Automatically scanning a giant amount of images to identify and crop regions with uniform textures. This is done by splitting the image into a grid of cells and identifying regions in which all of the cells share a similar statistical distribution. 2) Extracting the properties of the PBR material from the cropped texture. This is done by randomly guessing every correlation between the properties of the texture image and the properties of the PBR material. The resulting PBR materials exhibit a vast amount of real-world patterns as well as unexpected emergent properties. Neutral nets trained on this repository outperformed nets trained using handcrafted assets.


title: Quantifying Heterogeneous Ecosystem Services With Multi-Label Soft Classification

abstract: Understanding and quantifying ecosystem services are crucial for sustainable environmental management, conservation efforts, and policy-making. The advancement of remote sensing technology and machine learning techniques has greatly facilitated this process. Yet, ground truth labels, such as biodiversity, are very difficult and expensive to measure. In addition, more easily obtainable proxy labels, such as land use, often fail to capture the complex heterogeneity of the ecosystem. In this paper, we demonstrate how land use proxy labels can be implemented with a soft, multi-label classifier to predict ecosystem services with complex heterogeneity.


title: Unambiguous Recognition Should Not Rely Solely on Natural Language Training

abstract: In LaTeX text recognition using Transformer-based architectures, this paper identifies certain "bias" issues. For instance, $e-t$ is frequently misrecognized as $e^{-t}$. This bias stems from the inherent characteristics of the dataset. To mitigate this bias, we propose a LaTeX printed text recognition model trained on a mixed dataset of pseudo-formulas and pseudo-text. The model employs a Swin Transformer as the encoder and a RoBERTa model as the decoder. Experimental results demonstrate that this approach reduces "bias", enhancing the accuracy and robustness of text recognition. For clear images, the model strictly adheres to the image content; for blurred images, it integrates both image and contextual information to produce reasonable recognition results.


title: Inhomogeneity-induced wavenumber diffusion

abstract: Inertia-gravity waves are scattered by background flows as a result of Doppler shift by a non-uniform velocity. In the WKB regime, the scattering process reduces to a diffusion in spectral space. Other inhomogeneities the waves encounter, such as density variations, also cause scattering and spectral diffusion. We generalise the spectral diffusion equation to account for these inhomogeneities. We apply the result to the rotating shallow water system, for which height inhomogeneities arise from velocity inhomogeneities through geostrophy, and to the Boussinesq system for which buoyancy inhomogeneities arise similarly. We compare the contributions that height and buoyancy variations make to the spectral diffusion with the contribution of the Doppler shift. In both systems, we find regimes where all contributions are significant. We support our findings with exact solutions of the diffusion equation and with ray tracing simulations in the shallow water case.


title: Peirce in the Machine: How Mixture of Experts Models Perform Hypothesis Construction

abstract: Mixture of experts is a prediction aggregation method in machine learning that aggregates the predictions of specialized experts. This method often outperforms Bayesian methods despite the Bayesian having stronger inductive guarantees. We argue that this is due to the greater functional capacity of mixture of experts. We prove that in a limiting case of mixture of experts will have greater capacity than equivalent Bayesian methods, which we vouchsafe through experiments on non-limiting cases. Finally, we conclude that mixture of experts is a type of abductive reasoning in the Peircian sense of hypothesis construction.


title: Socially Acceptable Bipedal Robot Navigation via Social Zonotope Network Model Predictive Control

abstract: This study addresses the challenge of social bipedal navigation in a dynamic, human-crowded environment, a research area largely underexplored in legged robot navigation. We present a zonotope-based framework that couples prediction and motion planning for a bipedal ego-agent to account for bidirectional influence with the surrounding pedestrians. This framework incorporates a Social Zonotope Network (SZN), a neural network that predicts future pedestrian reachable sets and plans future socially acceptable reachable set for the ego-agent. SZN generates the reachable sets as zonotopes for efficient reachability-based planning, collision checking, and online uncertainty parameterization. Locomotion-specific losses are added to the SZN training process to adhere to the dynamic limits of the bipedal robot that are not explicitly present in the human crowds data set. These loss functions enable the SZN to generate locomotion paths that are more dynamically feasible for improved tracking. SZN is integrated with a Model Predictive Controller (SZN-MPC) for footstep planning for our bipedal robot Digit. SZN-MPC solves for collision-free trajectory by optimizing through SZN's gradients. and Our results demonstrate the framework's effectiveness in producing a socially acceptable path, with consistent locomotion velocity, and optimality. The SZN-MPC framework is validated with extensive simulations and hardware experiments.


title: Global Dynamics of small data solutions to the Derivative Nonlinear Schr\"odinger equation

abstract: In this paper, we consider the derivative nonlinear Schr\"odinger (DNLS) equation. While the existence theory has been intensely studied, properties like dispersive estimates for the solutions have not yet been investigated. Here we address this question for the problem with small and localized data, and show that a dispersive estimate for the solution holds globally in time. For the proof of our result we use vector field methods combined with the \emph{testing by wave packets method}, whose implementation in this problem is novel.


title: Computing User Equilibria for Schedule-Based Transit Networks with Hard Vehicle Capacities

abstract: Modelling passenger assignments in public transport networks is a fundamental task for city planners, especially when deliberating network infrastructure decisions. A key aspect of a realistic model for passenger assignments is to integrate selfish routing behaviour of passengers on the one hand, and the limited vehicle capacities on the other hand. We formulate a side-constrained user equilibrium model in a schedule-based time-expanded transit network, where passengers are modelled via a continuum of non-atomic agents that want to travel with a fixed start time from a user-specific origin to a destination. An agent's route may comprise several rides along given lines, each using vehicles with hard loading capacities. We give a characterization of (side-constrained) user equilibria via a quasi-variational inequality and prove their existence by generalizing a well-known existence result of Bernstein and Smith (Transp. Sci., 1994). We further derive a polynomial time algorithm for single-commodity instances and an exact finite time algorithm for the multi-commodity case. Based on our quasi-variational characterization, we finally devise a fast heuristic computing user equilibria, which is tested on real-world instances based on data gained from the Hamburg S-Bahn system and the Swiss long-distance train network. It turns out that w.r.t. the total travel time, the computed user-equilibria are quite efficient compared to a system optimum, which neglects equilibrium constraints and only minimizes total travel time.


title: Hole-Based Stealthy Hyperuniform Semiconductor Metamaterials for the Mid-Infrared

abstract: Stealthy hyperuniform heterostructures are a novel type of metamaterial with the potential for optical image processing at angles away from normal incidence. These metamaterials show analogous properties to photonic crystals while circumventing the spatial anisotropy often hindering the latter's use. In this paper, we have successfully designed, fabricated, and characterized a hole-based stealthy hyperuniform structure on a quantum cascade layer substrate. The infrared spectral data reveal a sizable gap-midgap ratio of 9.8% for a photonic band gap around $12.0 ~\mu m$ in the form of an enhanced reflection region for increasing incidence angles. The stealthy hyperuniform metamaterial also showed spatial isotropy by its unchanging reflection spectrum for all in-plane rotational angle measurements.


title: Optimizing Sparse Mean-Reverting Portfolio

abstract: Mean-reverting behavior of individuals assets is widely known in financial markets. In fact, we can construct a portfolio that has mean-reverting behavior and use it in trading strategies to extract profits. In this paper, we show that we are able to find the optimal weights of stocks to construct portfolio that has the fastest mean-reverting behavior. We further add minimum variance and sparsity constraints to the optimization problem and transform into Semidefinite Programming (SDP) problem to find the optimal weights. Using the optimal weights, we empirically compare the performance of contrarian strategies between non-sparse mean-reverting portfolio and sparse mean-reverting portfolio to argue that the latter provides higher returns when we take into account of transaction costs.


title: Toward Ubiquitous 3D Object Digitization: A Wearable Computing Framework for Non-Invasive Physical Property Acquisition

abstract: Accurately digitizing physical objects is central to many applications, including virtual/augmented reality, industrial design, and e-commerce. Prior research has demonstrated efficient and faithful reconstruction of objects' geometric shapes and visual appearances, which suffice for digitally representing rigid objects. In comparison, physical properties, such as elasticity and pressure, are also indispensable to the behavioral fidelity of digitized deformable objects. However, existing approaches to acquiring these quantities either rely on invasive specimen collection or expensive/bulky laboratory setups, making them inapplicable to consumer-level usage. To fill this gap, we propose a wearable and non-invasive computing framework that allows users to conveniently estimate the material elasticity and internal pressure of deformable objects through finger touches. This is achieved by modeling their local surfaces as pressurized elastic shells and analytically deriving the two physical properties from finger-induced wrinkling patterns. Together with photogrammetry-reconstructed geometry and textures, the two estimated physical properties enable us to faithfully replicate the motion and deformation behaviors of several deformable objects. For the pressure estimation, our model achieves a relative error of 3.5%. In the interaction experiments, the virtual-physical deformation discrepancy measures less than 10.1%. Generalization to objects of irregular shape further demonstrates the potential of our approach in practical applications. We envision this work to provide insights for and motivate research toward democratizing the ubiquitous and pervasive digitization of our physical surroundings in daily, industrial, and scientific scenarios.


title: Validation of contact mechanics models for Atomic Force Microscopy via Finite Elements Analysis

abstract: In this work, we have validated the application of Hertzian contact mechanics models and corrections in the framework of linear elasticity for the analysis of force vs indentation curves acquired using spherical indenters by means of finite elements simulations. We have systematically investigated the impact of both large indentations and vertical spatial confinement (bottom effect) on the accuracy of the nanomechanical analysis performed with the Hertz model for the parabolic indenter compared to the Sneddon model for the spherical indenter.We carried out a comprehensive characterization of the corrections for the Hertz model proposed in the literature in the framework of linearized force vs indentation curves, as well as a validation of a linearized form of the Sneddon model for the spherical indenter and of the combined correction for large indentations and bottom effect.Our results show that the corrected Hertz model in combination with the use of a spherical indenter allows to accurately quantify the Young's modulus of elasticity of linearly elastic samples and represent a powerful toolkit to analyse experimental data acquired using micrometre-sized colloidal probes on samples with variable thickness at arbitrarily large indentations.


title: DEXTER: A Benchmark for open-domain Complex Question Answering using LLMs

abstract: Open-domain complex Question Answering (QA) is a difficult task with challenges in evidence retrieval and reasoning. The complexity of such questions could stem from questions being compositional, hybrid evidence, or ambiguity in questions. While retrieval performance for classical QA tasks is well explored, their capabilities for heterogeneous complex retrieval tasks, especially in an open-domain setting, and the impact on downstream QA performance, are relatively unexplored. To address this, in this work, we propose a benchmark composing diverse complex QA tasks and provide a toolkit to evaluate state-of-the-art pre-trained dense and sparse retrieval models in an open-domain setting. We observe that late interaction models and surprisingly lexical models like BM25 perform well compared to other pre-trained dense retrieval models. In addition, since context-based reasoning is critical for solving complex QA tasks, we also evaluate the reasoning capabilities of LLMs and the impact of retrieval performance on their reasoning capabilities. Through experiments, we observe that much progress is to be made in retrieval for complex QA to improve downstream QA performance. Our software and related data can be accessed at https://github.com/VenkteshV/DEXTER


title: Exploring compressibility of transformer based text-to-music (TTM) models

abstract: State-of-the art Text-To-Music (TTM) generative AI models are large and require desktop or server class compute, making them infeasible for deployment on mobile phones. This paper presents an analysis of trade-offs between model compression and generation performance of TTM models. We study compression through knowledge distillation and specific modifications that enable applicability over the various components of the TTM model (encoder, generative model and the decoder). Leveraging these methods we create TinyTTM (89.2M params) that achieves a FAD of 3.66 and KL of 1.32 on MusicBench dataset, better than MusicGen-Small (557.6M params) but not lower than MusicGen-small fine-tuned on MusicBench.


title: A Decentralized Shotgun Approach for Team Deception

abstract: Deception is helpful for agents masking their intentions from an observer. We consider a team of agents deceiving their supervisor. The supervisor defines nominal behavior for the agents through reference policies, but the agents share an alternate task that they can only achieve by deviating from these references. Consequently, the agents use deceptive policies to complete the task while ensuring that their behaviors remain plausible to the supervisor. We propose a setting with centralized deceptive policy synthesis and decentralized execution. We model each agent with a Markov decision process and constrain the agents' deceptive policies so that, with high probability, at least one agent achieves the task. We then provide an algorithm to synthesize deceptive policies that ensure the deviations of all agents are small by minimizing the worst Kullback-Leibler divergence between any agent's deceptive and reference policies. Thanks to decentralization, this algorithm scales linearly with the number of agents and also facilitates the efficient synthesis of reference policies. We then explore a more general version of the deceptive policy synthesis problem. In particular, we consider a supervisor who selects a subset of agents to eliminate based on the agents' behaviors. We give algorithms to synthesize deceptive policies such that, after the supervisor eliminates some agents, the remaining agents complete the task with high probability. We also demonstrate the developed methods in a package delivery example.


title: X-ray Variability in the Symbiotic Binary RT Cru: Principal Component Analysis

abstract: Hard X-ray-emitting ($\delta$-type) symbiotic binaries, which exhibit a strong hard X-ray excess, have posed a challenge to our understanding of accretion physics in degenerate dwarfs. RT Cru, which is a member of $\delta$-type symbiotics, shows stochastic X-ray variability. Timing analyses of X-ray observations from XMM-Newton and NuSTAR, which we consider here, indicate hourly fluctuations, in addition to a spectral transition from 2007 to a harder state in 2012 seen with Suzaku observations. To trace the nature of X-ray variability, we analyze the multi-mission X-ray data using principal component analysis (PCA), which determines the spectral components mostly contributing to the flickering behavior and the hardness transition. The Chandra HRC-S/LETG and XMM-Newton EPIC-pn data provide the primary PCA components, which may contain some variable emission features, especially in the soft excess. Additionally, the absorbing column (first order with 50%), along with the source continuum (20%), and a third component (9%) - which likely accounts for thermal emission in the soft band - are the three principal components found in the Suzaku XIS1 observations. The PCA components of the NuSTAR data also correspond to the continuum and possibly emission features. Our findings suggest that the spectral hardness transition between the two Suzaku observations is mainly due to changes in the absorbing material and X-ray continuum, while some changes in the thermal plasma emission may result in flickering-type variations.


title: Virtual Mines -- Component-level recycling of printed circuit boards using deep learning

abstract: This contribution gives an overview of an ongoing project using machine learning and computer vision components for improving the electronic waste recycling process. In circular economy, the "virtual mines" concept refers to production cycles where interesting raw materials are reclaimed in an efficient and cost-effective manner from end-of-life items. In particular, the growth of e-waste, due to the increasingly shorter life cycle of hi-tech goods, is a global problem. In this paper, we describe a pipeline based on deep learning model to recycle printed circuit boards at the component level. A pre-trained YOLOv5 model is used to analyze the results of the locally developed dataset. With a different distribution of class instances, YOLOv5 managed to achieve satisfactory precision and recall, with the ability to optimize with large component instances.


title: Paraphrase and Aggregate with Large Language Models for Minimizing Intent Classification Errors

abstract: Large language models (LLM) have achieved remarkable success in natural language generation but lesser focus has been given to their applicability in decision making tasks such as classification. We show that LLMs like LLaMa can achieve high performance on large multi-class classification tasks but still make classification errors and worse, generate out-of-vocabulary class labels. To address these critical issues, we introduce Paraphrase and AGgregate (PAG)-LLM approach wherein an LLM generates multiple paraphrases of the input query (parallel queries), performs multi-class classification for the original query and each paraphrase, and at the end aggregate all the classification labels based on their confidence scores. We evaluate PAG-LLM on two large multi-class classication datasets: CLINC, and Banking and show 22.7% and 15.1% error reduction. We show that PAG-LLM is especially effective for hard examples where LLM is uncertain, and reduces the critical misclassification and hallucinated label generation errors


title: The Crucial First Step in the Discovery of Millisecond Pulsars

abstract: Millisecond pulsars, like pulsars, have led to major advances in many areas of astronomy and physics. The discovery in 2023 of a cosmological gravitational wave (GW) stochastic background using millisecond pulsar timing arrays has focused attention on the importance of millisecond pulsars, to both multi-messenger astronomy and cosmology, and for identifying the origin of the GW stochastic background, which is hypothesized to be due to supermassive black hole binaries (SMBHBs). Unlike pulsars, however, for which the details of the discovery are well-known, those of millisecond pulsars are not well known. In particular, the details of the first crucial step in the discovery of millisecond pulsars, namely the discovery of interplanetary scintillation (IPS) in the radio source 4C 21.53, are known only to the author. This article presents a first-hand account of this crucial first step, which resulted ultimately in the discovery of millisecond pulses from this object. A brief description of interplanetary and interstellar scintillation and scattering is given in the Appendix.


title: Thermal decay of two-spinon bound states in quasi-2D triangular antiferromagnets

abstract: We analyze the temperature evolution of the anomalous magnetic spectrum of the spin-1/2 triangular quantum Heisenberg antiferromagnet, which is proximate to a quantum critical point. Recently, its low energy excitations have been identified with two-spinon bound states, well defined in an ample region of the Brillouin zone. In this work, we compute the thermal magnetic spectrum within a Schwinger boson approach, incorporating Gaussian fluctuations around the saddle-point approximation. In order to account for a finite N\'eel temperature $T_N$, we incorporate an exchange interaction between triangular layers. As temperature rises, the dispersion relation of the two-spinon bound states, representing single-magnon excitations, remains unchanged but becomes mixed with the thermally activated spinon continuum. Consequently, a crossover occurs at a temperature $T^* \simeq 0.75 T_N$, defining a "terminated Goldstone regime" between $T^*$ and $T_N$, where only the Goldstone modes survives as well-defined magnon excitations, up to the N\'eel temperature. Our results support the idea that the fractionalization of magnons near a quantum critical point can be extended to more realistic quasi-2D frustrated antiferromagnets.


title: Sinh-Gordon equations on finite graphs

abstract: In this paper, we focus on the sinh-Gordon equation on graphs. We introduce a uniform a priori estimate to define the topological degree for this equation with nonzero prescribed functions on finite, connected and symmetric graphs. Furthermore, we calculate this topological degree case by case and show several existence results. In particular, we prove that the classical sinh-Gordon equation with nonzero prescribed function is always solvable on such graphs.


title: Learning on Transformers is Provable Low-Rank and Sparse: A One-layer Analysis

abstract: Efficient training and inference algorithms, such as low-rank adaption and model pruning, have shown impressive performance for learning Transformer-based large foundation models. However, due to the technical challenges of the non-convex optimization caused by the complicated architecture of Transformers, the theoretical study of why these methods can be applied to learn Transformers is mostly elusive. To the best of our knowledge, this paper shows the first theoretical analysis of the property of low-rank and sparsity of one-layer Transformers by characterizing the trained model after convergence using stochastic gradient descent. By focusing on a data model based on label-relevant and label-irrelevant patterns, we quantify that the gradient updates of trainable parameters are low-rank, which depends on the number of label-relevant patterns. We also analyze how model pruning affects the generalization while improving computation efficiency and conclude that proper magnitude-based pruning has a slight effect on the testing performance. We implement numerical experiments to support our findings.


abstract: We present Reinforcement Learning via Auxiliary Task Distillation (AuxDistill), a new method that enables reinforcement learning (RL) to perform long-horizon robot control problems by distilling behaviors from auxiliary RL tasks. AuxDistill achieves this by concurrently carrying out multi-task RL with auxiliary tasks, which are easier to learn and relevant to the main task. A weighted distillation loss transfers behaviors from these auxiliary tasks to solve the main task. We demonstrate that AuxDistill can learn a pixels-to-actions policy for a challenging multi-stage embodied object rearrangement task from the environment reward without demonstrations, a learning curriculum, or pre-trained skills. AuxDistill achieves $2.3 \times$ higher success than the previous state-of-the-art baseline in the Habitat Object Rearrangement benchmark and outperforms methods that use pre-trained skills and expert demonstrations.


title: Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models

abstract: As Large Language Models (LLMs) continue to exhibit remarkable performance in natural language understanding tasks, there is a crucial need to measure their ability for human-like multi-step logical reasoning. Existing logical reasoning evaluation benchmarks often focus primarily on simplistic single-step or multi-step reasoning with a limited set of inference rules. Furthermore, the lack of datasets for evaluating non-monotonic reasoning represents a crucial gap since it aligns more closely with human-like reasoning. To address these limitations, we propose Multi-LogiEval, a comprehensive evaluation dataset encompassing multi-step logical reasoning with various inference rules and depths. Multi-LogiEval covers three logic types--propositional, first-order, and non-monotonic--consisting of more than 30 inference rules and more than 60 of their combinations with various depths. Leveraging this dataset, we conduct evaluations on a range of LLMs including GPT-4, ChatGPT, Gemini-Pro, Yi, Orca, and Mistral, employing a zero-shot chain-of-thought. Experimental results show that there is a significant drop in the performance of LLMs as the reasoning steps/depth increases (average accuracy of ~68% at depth-1 to ~43% at depth-5). We further conduct a thorough investigation of reasoning chains generated by LLMs which reveals several important findings. We believe that Multi-LogiEval facilitates future research for evaluating and enhancing the logical reasoning ability of LLMs. Data is available at https://github.com/Mihir3009/Multi-LogiEval.


title: Will shifted and truncated Maxwellian EVDF near the wall exhibit different electron currents?

abstract: Experiments to explore the predicted consequences on the I-V characteristics of a Langmuir probe based on the fluid approach for electrons and the electron Bohm criterion are conducted and their results are presented. The predictions on the I-V characteristics of a Langmuir probe when electrons are highly collisional are shown in terms of the estimation of plasma potentials and electron saturation currents, primarily represented by a rounded knee of the curve. An edge-effect reduced and guard-ringed Langmuir probe is employed to minimize geometrical effects on the measured data. To characterize the rounded knee of the curve, various methods on defining critical points around the plasma potential are presented. Additionally, emissive and cutoff probes were utilized to obtain bulk plasma properties, providing accurate reference plasma parameters. The physically valid condition for electrons to exhibit a shifted Maxwellian velocity distribution near the wall, wherein the fluid approach is applicable, is established from theory of the ion-acoustic instability enhanced electron-electron collisions. In this work, we conducted experiments scanning from collisionless to collisional regimes for electrons with theoretical considerations. Our observation indicate that the Langmuir probe can be understood with the conventional wisdom represented by the model of truncated electron velocity distribution. This result suggests the absence of the enhancement of electron-electron collisions and/or incompleteness of electron fluid approach near the wall.


title: Iso-BAE Flows

abstract: We discover a family of local deformations that leave part of the spectrum intact for strongly interacting and exactly solvable quantum many-body systems. Since the deformation preserves the Bethe Ansatz equations (BAE), it is dubbed as the iso-BAE flow. Although all theories on the flow share the same BAE, the spectra are different. Part of the spectrum remains intact along the whole flow. Such states are protected by an emergent symmetry. The rest of the spectrum change continuously along the flow and are doubly degenerate for even length spin chains. For odd length chains, the deformed spectrum also comprises doubly degenerate pairs apart from the sector with magnon number $(L+1)/2$, where $L$ is the length of the spin chain. We discuss the iso-BAE flow for ${\rm XXX}_{1/2}$ model in detail and show that the iso-BAE flows exist for more general models including $q$-deformed XXZ as well as higher spin ${\rm XXX}_{s}$ spin chains.

categories: cond-mat.stat-mech hep-th math-ph math.MP quant-ph


title: Robust Zero Trust Architecture: Joint Blockchain based Federated learning and Anomaly Detection based Framework

abstract: This paper introduces a robust zero-trust architecture (ZTA) tailored for the decentralized system that empowers efficient remote work and collaboration within IoT networks. Using blockchain-based federated learning principles, our proposed framework includes a robust aggregation mechanism designed to counteract malicious updates from compromised clients, enhancing the security of the global learning process. Moreover, secure and reliable trust computation is essential for remote work and collaboration. The robust ZTA framework integrates anomaly detection and trust computation, ensuring secure and reliable device collaboration in a decentralized fashion. We introduce an adaptive algorithm that dynamically adjusts to varying user contexts, using unsupervised clustering to detect novel anomalies, like zero-day attacks. To ensure a reliable and scalable trust computation, we develop an algorithm that dynamically adapts to varying user contexts by employing incremental anomaly detection and clustering techniques to identify and share local and global anomalies between nodes. Future directions include scalability improvements, Dirichlet process for advanced anomaly detection, privacy-preserving techniques, and the integration of post-quantum cryptographic methods to safeguard against emerging quantum threats.


title: Diff3Dformer: Leveraging Slice Sequence Diffusion for Enhanced 3D CT Classification with Transformer Networks

abstract: The manifestation of symptoms associated with lung diseases can vary in different depths for individual patients, highlighting the significance of 3D information in CT scans for medical image classification. While Vision Transformer has shown superior performance over convolutional neural networks in image classification tasks, their effectiveness is often demonstrated on sufficiently large 2D datasets and they easily encounter overfitting issues on small medical image datasets. To address this limitation, we propose a Diffusion-based 3D Vision Transformer (Diff3Dformer), which utilizes the latent space of the Diffusion model to form the slice sequence for 3D analysis and incorporates clustering attention into ViT to aggregate repetitive information within 3D CT scans, thereby harnessing the power of the advanced transformer in 3D classification tasks on small datasets. Our method exhibits improved performance on two different scales of small datasets of 3D lung CT scans, surpassing the state of the art 3D methods and other transformer-based approaches that emerged during the COVID-19 pandemic, demonstrating its robust and superior performance across different scales of data. Experimental results underscore the superiority of our proposed method, indicating its potential for enhancing medical image classification tasks in real-world scenarios.


title: Teaching Theorizing in Software Engineering Research

abstract: This chapter seeks to support software engineering (SE) researchers and educators in teaching the importance of theory as well as the theorizing process. Drawing on insights from other fields, the chapter presents 12 intermediate products of theorizing and what they mean in an SE context. These intermediate products serve different roles: some are theory products to frame research studies, some are theory generators, and others are components of theory. Whereas the SE domain doesn't have many theories of its own, these intermediate products of theorizing can be found widely. The chapter aims to help readers to recognize these intermediate products, their role, and how they can help in the theorizing process within SE research. To illustrate their utility, the chapter then applies the set of intermediate theorizing products to the software architecture research field. The chapter ends with a suggested structure for a 12-week course on theorizing in SE which can be readily adapted by educators.


title: A first demonstration of active feedback control and multi-frequency imaging techniques for kinetic inductance detectors

abstract: RF-ICE is a signal processing platform for the readout of large arrays of superconducting resonators. Designed for flexibility, the system's low digital latency and ability to independently and dynamically set the frequency and amplitude of probe tones in real time has enabled previously-inaccessible views of resonator behaviour, and opened the door to novel resonator control schemes. We introduce a multi-frequency imaging technique, developed with RF-ICE, which allows simultaneous observation of the entire resonance bandwidth. We demonstrate the use of this technique in the examination of the response of superconducting resonators to variations in applied readout current and thermal loading. We observe that, used in conjunction with a conventional frequency sweep at sufficiently large amplitude to induce resonance bifurcation, the multi-frequency imaging technique reveals a resonator response which is not captured by the frequency sweep measurement alone. We demonstrate that equivalent resonant frequency shifts can be achieved using either thermal, optical, or readout loading, and use this equivalence to counteract a change in thermal loading by digitally modulating the readout current through a resonator. We develop and implement a proof-of-concept closed-loop negative electro-quasiparticle feedback algorithm which first sets and then maintains the resonant frequency of a lumped element kinetic inductance detector while the loading on it is varied. Although this simple implementation is not yet suitable to deploy at scale, it demonstrates the utility of this feedback technique to improve linearity while addressing amplifier distortion, resonator response non-uniformity, and crosstalk. It can be applied to kinetic inductors in non-bolometric operation, and sets the stage for future developments.


title: Dynamic Provisioning of REST APIs for Model Management

abstract: Model-Driven Engineering (MDE) is a software engineering methodology focusing on models as primary artifacts. In the last years, the emergence of Web technologies has led to the development of Web-based modeling tools and model-based approaches for the Web that offer a web-based environment to create and edit models or model-based low-code solutions. A common requirement when developing Web-based modeling tools is to provide a fast and efficient way for model management, and this is particularly a hot topic in model-based system engineering. However, the number of approaches offering RESTful services for model management is still limited. Among the alternatives for developing distributed services, there is a growing interest in the use of RESTful services. In this paper, we present an approach to provide RESTful services for model management that can be used to interact with any kind of model and can be used to build a modeling platform providing modeling-as-a-service. The approach follows the REST principles to provide a stateless and scalable service.


title: Binary Yellow Supergiants in the Magellanic Clouds I: Photometric Candidate Identification

abstract: Recent works have constrained the binary fraction of evolved populations of massive stars in local galaxies such as red supergiants and Wolf-Rayet stars, but the binary fraction of yellow supergiants (YSGs) in the Hertzsprung Gap remains unconstrained. Binary evolution theory predicts that the Hertzsprung Gap is home to multiple populations of binary systems with varied evolutionary histories. In this paper, we develop a method to distinguish single YSGs from YSG plus O- or B-type main sequence binaries using optical and ultraviolet photometry, and then apply this method to identify candidate YSG binaries in the Magellanic Clouds. After constructing a set of combined stellar atmosphere models, we find that optical photometry is, given typical measurement and reddening uncertainties, sufficient to discern single YSGs from YSG+OB binaries if the OB-star is at least $\sim5$M$_{\odot}$ for T$_{\mathrm{eff,YSG}}\sim$ 4000 K, but requires a $\sim$20M$_{\odot}$ OB star for YSGs up to T$_{\mathrm{eff,YSG}}\sim$ 9000 K. For these hotter YSG temperatures, ultraviolet photometry allows binaries with OB companions as small as $\sim$7M$_{\odot}$ to be identified. We use color-color spaces developed from these models to search for evidence of excess blue or ultraviolet light in a set of $\sim$1000 YSG candidates in the Magellanic Clouds. We identify hundreds of candidate YSG binary systems and report a preliminary fraction of YSGs that show a blue/UV color excess of 20-60\%. Spectroscopic follow-up is now required to confirm the true nature of this population.


title: Quantum illumination networks

abstract: Quantum illumination is an entanglement-based target detection protocol that provides quantum advantages despite the presence of entanglement-breaking noise. However, the advantage of traditional quantum illumination protocols is limited to impractical scenarios with low transmitted power and simple target configurations. In this work, we propose a quantum illumination network to overcome the limitations, via designing a transmitter array and a single receiver antenna. Thanks to multiple transmitters, quantum advantage is achieved even with a high total transmitted power. Moreover, for single-parameter estimation, the advantage of network over a single transmitter case increases with the number of transmitters before saturation. At the same time, complex target configurations with multiple unknown transmissivity or phase parameters can be resolved. Despite the interference of different returning signals at the single antenna and photon-loss due to multiple-access channel, we provide two types of measurement design, one based on parametric-amplification and one based on the correlation-to-displacement conversion (CtoD) to achieve a quantum advantage in estimating all unknown parameters. We also generalize the parameter estimation scenario to a general hypothesis testing scenario, where the six-decibel quantum illumination advantage is achieved at a much greater total probing power.


title: A rigidity result for ancient Ricci flows

abstract: Using a size condition of the sharp log Sobolev functional (log entropy) near infinity only, we prove a rigidity result for ancient Ricci flows without sign condition on the curvatures. The result is also related to the problem of identifying type II ancient Ricci flows and their backward limits.


title: CogExplore: Contextual Exploration with Language-Encoded Environment Representations

abstract: Integrating language models into robotic exploration frameworks improves performance in unmapped environments by providing the ability to reason over semantic groundings, contextual cues, and temporal states. The proposed method employs large language models (GPT-3.5 and Claude Haiku) to reason over these cues and express that reasoning in terms of natural language, which can be used to inform future states. We are motivated by the context of search-and-rescue applications where efficient exploration is critical. We find that by leveraging natural language, semantics, and tracking temporal states, the proposed method greatly reduces exploration path distance and further exposes the need for environment-dependent heuristics. Moreover, the method is highly robust to a variety of environments and noisy vision detections, as shown with a 100% success rate in a series of comprehensive experiments across three different environments conducted in a custom simulation pipeline operating in Unreal Engine.


title: FacePsy: An Open-Source Affective Mobile Sensing System -- Analyzing Facial Behavior and Head Gesture for Depression Detection in Naturalistic Settings

abstract: Depression, a prevalent and complex mental health issue affecting millions worldwide, presents significant challenges for detection and monitoring. While facial expressions have shown promise in laboratory settings for identifying depression, their potential in real-world applications remains largely unexplored due to the difficulties in developing efficient mobile systems. In this study, we aim to introduce FacePsy, an open-source mobile sensing system designed to capture affective inferences by analyzing sophisticated features and generating real-time data on facial behavior landmarks, eye movements, and head gestures -- all within the naturalistic context of smartphone usage with 25 participants. Through rigorous development, testing, and optimization, we identified eye-open states, head gestures, smile expressions, and specific Action Units (2, 6, 7, 12, 15, and 17) as significant indicators of depressive episodes (AUROC=81%). Our regression model predicting PHQ-9 scores achieved moderate accuracy, with a Mean Absolute Error of 3.08. Our findings offer valuable insights and implications for enhancing deployable and usable mobile affective sensing systems, ultimately improving mental health monitoring, prediction, and just-in-time adaptive interventions for researchers and developers in healthcare.


title: Debiased Recommendation with Noisy Feedback

abstract: Ratings of a user to most items in recommender systems are usually missing not at random (MNAR), largely because users are free to choose which items to rate. To achieve unbiased learning of the prediction model under MNAR data, three typical solutions have been proposed, including error-imputation-based (EIB), inverse-propensity-scoring (IPS), and doubly robust (DR) methods. However, these methods ignore an alternative form of bias caused by the inconsistency between the observed ratings and the users' true preferences, also known as noisy feedback or outcome measurement errors (OME), e.g., due to public opinion or low-quality data collection process. In this work, we study intersectional threats to the unbiased learning of the prediction model from data MNAR and OME in the collected data. First, we design OME-EIB, OME-IPS, and OME-DR estimators, which largely extend the existing estimators to combat OME in real-world recommendation scenarios. Next, we theoretically prove the unbiasedness and generalization bound of the proposed estimators. We further propose an alternate denoising training approach to achieve unbiased learning of the prediction model under MNAR data with OME. Extensive experiments are conducted on three real-world datasets and one semi-synthetic dataset to show the effectiveness of our proposed approaches. The code is available at https://github.com/haoxuanli-pku/KDD24-OME-DR.


title: POPCat: Propagation of particles for complex annotation tasks

abstract: Novel dataset creation for all multi-object tracking, crowd-counting, and industrial-based videos is arduous and time-consuming when faced with a unique class that densely populates a video sequence. We propose a time efficient method called POPCat that exploits the multi-target and temporal features of video data to produce a semi-supervised pipeline for segmentation or box-based video annotation. The method retains the accuracy level associated with human level annotation while generating a large volume of semi-supervised annotations for greater generalization. The method capitalizes on temporal features through the use of a particle tracker to expand the domain of human-provided target points. This is done through the use of a particle tracker to reassociate the initial points to a set of images that follow the labeled frame. A YOLO model is then trained with this generated data, and then rapidly infers on the target video. Evaluations are conducted on GMOT-40, AnimalTrack, and Visdrone-2019 benchmarks. These multi-target video tracking/detection sets contain multiple similar-looking targets, camera movements, and other features that would commonly be seen in "wild" situations. We specifically choose these difficult datasets to demonstrate the efficacy of the pipeline and for comparison purposes. The method applied on GMOT-40, AnimalTrack, and Visdrone shows a margin of improvement on recall/mAP50/mAP over the best results by a value of 24.5%/9.6%/4.8%, -/43.1%/27.8%, and 7.5%/9.4%/7.5% where metrics were collected.


title: Minimax Optimality in Contextual Dynamic Pricing with General Valuation Models

abstract: Dynamic pricing, the practice of adjusting prices based on contextual factors, has gained significant attention due to its impact on revenue maximization. In this paper, we address the contextual dynamic pricing problem, which involves pricing decisions based on observable product features and customer characteristics. We propose a novel algorithm that achieves improved regret bounds while minimizing assumptions about the problem. Our algorithm discretizes the unknown noise distribution and combines the upper confidence bounds with a layered data partitioning technique to effectively regulate regret in each episode. These techniques effectively control the regret associated with pricing decisions, leading to the minimax optimality. Specifically, our algorithm achieves a regret upper bound of $\tilde{\mathcal{O}}(\rho_{\mathcal{V}}^{\frac{1}{3}}(\delta) T^{\frac{2}{3}})$, where $\rho_{\mathcal{V}}(\delta)$ represents the estimation error of the valuation function. Importantly, this bound matches the lower bound up to logarithmic terms, demonstrating the minimax optimality of our approach. Furthermore, our method extends beyond linear valuation models commonly used in dynamic pricing by considering general function spaces. We simplify the estimation process by reducing it to general offline regression oracles, making implementation more straightforward.


title: Vaporetto: Efficient Japanese Tokenization Based on Improved Pointwise Linear Classification

abstract: This paper proposes an approach to improve the runtime efficiency of Japanese tokenization based on the pointwise linear classification (PLC) framework, which formulates the whole tokenization process as a sequence of linear classification problems. Our approach optimizes tokenization by leveraging the characteristics of the PLC framework and the task definition. Our approach involves (1) composing multiple classifications into array-based operations, (2) efficient feature lookup with memory-optimized automata, and (3) three orthogonal pre-processing methods for reducing actual score calculation. Thus, our approach makes the tokenization speed 5.7 times faster than the current approach based on the same model without decreasing tokenization accuracy. Our implementation is available at https://github.com/daac-tools/vaporetto under the MIT or Apache-2.0 license.


title: CLERC: A Dataset for Legal Case Retrieval and Retrieval-Augmented Analysis Generation

abstract: Legal professionals need to write analyses that rely on citations to relevant precedents, i.e., previous case decisions. Intelligent systems assisting legal professionals in writing such documents provide great benefits but are challenging to design. Such systems need to help locate, summarize, and reason over salient precedents in order to be useful. To enable systems for such tasks, we work with legal professionals to transform a large open-source legal corpus into a dataset supporting two important backbone tasks: information retrieval (IR) and retrieval-augmented generation (RAG). This dataset CLERC (Case Law Evaluation Retrieval Corpus), is constructed for training and evaluating models on their ability to (1) find corresponding citations for a given piece of legal analysis and to (2) compile the text of these citations (as well as previous context) into a cogent analysis that supports a reasoning goal. We benchmark state-of-the-art models on CLERC, showing that current approaches still struggle: GPT-4o generates analyses with the highest ROUGE F-scores but hallucinates the most, while zero-shot IR models only achieve 48.3% recall@1000.


title: Quantum-geometry-facilitated pair density wave order: Density matrix renormalization group study

abstract: Understanding the formation of novel pair density waves (PDWs) in strongly correlated electronic systems remains challenging. Recent mean-field studies suggest that PDW phases may arise in strong-coupling multiband superconductors by virtue of the quantum geometric properties of paired electrons. However, confirmation via sophisticated many-body calculations has been lacking. Employing large-scale density matrix renormalization group calculations, we obtain the phase diagram of a simple two-orbital model incorporating quantum geometric effect in a strong coupling regime. The phase diagram reveals a robust PDW phase with no coexisting competing orders across a broad range of doping concentration and tuning interaction parameter. The observed pairing field configuration aligns with the phenomenological understanding that quantum geometric effects promote PDW formation. Our study provides by far the strongest evidence for the quantum-geometry-facilitated intrinsic PDW order in strongly correlated systems, thereby opening an avenue for further exploration of PDWs.


title: Geometric Median (GM) Matching for Robust Data Pruning

abstract: Data pruning, the combinatorial task of selecting a small and informative subset from a large dataset, is crucial for mitigating the enormous computational costs associated with training data-hungry modern deep learning models at scale. Since large-scale data collections are invariably noisy, developing data pruning strategies that remain robust even in the presence of corruption is critical in practice. Unfortunately, the existing heuristics for (robust) data pruning lack theoretical coherence and rely on heroic assumptions, that are, often unattainable, by the very nature of the problem setting. Moreover, these strategies often yield sub-optimal neural scaling laws even compared to random sampling, especially in scenarios involving strong corruption and aggressive pruning rates -- making provably robust data pruning an open challenge. In response, in this work, we propose Geometric Median ($\gm$) Matching -- a herding~\citep{welling2009herding} style greedy algorithm -- that yields a $k$-subset such that the mean of the subset approximates the geometric median of the (potentially) noisy dataset. Theoretically, we show that $\gm$ Matching enjoys an improved $\gO(1/k)$ scaling over $\gO(1/\sqrt{k})$ scaling of uniform sampling; while achieving the optimal breakdown point of 1/2 even under arbitrary corruption. Extensive experiments across popular deep learning benchmarks indicate that $\gm$ Matching consistently outperforms prior state-of-the-art; the gains become more profound at high rates of corruption and aggressive pruning rates; making $\gm$ Matching a strong baseline for future research in robust data pruning.


title: Hierarchical Framework for Optimizing Wildfire Surveillance and Suppression using Human-Autonomous Teaming

abstract: The integration of manned and unmanned aircraft can help improve wildfire response. Wildfire containment failures occur when resources available to first responders, who execute the initial stages of wildfire management referred to as the initial attack, are ineffective or insufficient. Initial attack surveillance and suppression models have linked action spaces and objectives, making their optimization computationally challenging. The initial attack may be formulated as a multi-agent partially observable Markov decision process (MPOMDP). We divide the initial attack MPOMDP into surveillance and suppression processes with their respective planners operating on different, but constant, time scales. A hierarchical framework iterates between surveillance and suppression planners while also providing collision avoidance. This framework is exemplified by a set of multi-rotor unmanned aircraft surveying an initial attack fire while a manned helicopter suppresses the fire with a water bucket. Wildfire-specific solver extensions are formulated to reduce the otherwise vast action spaces. The hierarchical framework outperforms firefighting techniques and a myopic baseline by up to 242% for moderate wildfires and 60% for rapid wildfires when simulated in abstracted and actual case studies. We also validate the early dispatching of additional suppression assets using regression models to ensure wildfire containment to thresholds established by wildfire agencies.


title: Sound Tagging in Infant-centric Home Soundscapes

abstract: Certain environmental noises have been associated with negative developmental outcomes for infants and young children. Though classifying or tagging sound events in a domestic environment is an active research area, previous studies focused on data collected from a non-stationary microphone placed in the environment or from the perspective of adults. Further, many of these works ignore infants or young children in the environment or have data collected from only a single family where noise from the fixed sound source can be moderate at the infant's position or vice versa. Thus, despite the recent success of large pre-trained models for noise event detection, the performance of these models on infant-centric noise soundscapes in the home is yet to be explored. To bridge this gap, we have collected and labeled noises in home soundscapes from 22 families in an unobtrusive manner, where the data are collected through an infant-worn recording device. In this paper, we explore the performance of a large pre-trained model (Audio Spectrogram Transformer [AST]) on our noise-conditioned infant-centric environmental data as well as publicly available home environmental datasets. Utilizing different training strategies such as resampling, utilizing public datasets, mixing public and infant-centric training sets, and data augmentation using noise and masking, we evaluate the performance of a large pre-trained model on sparse and imbalanced infant-centric data. Our results show that fine-tuning the large pre-trained model by combining our collected dataset with public datasets increases the F1-score from 0.11 (public datasets) and 0.76 (collected datasets) to 0.84 (combined datasets) and Cohen's Kappa from 0.013 (public datasets) and 0.77 (collected datasets) to 0.83 (combined datasets) compared to only training with public or collected datasets, respectively.


title: 2-distance 20-coloring of planar graphs with maximum degree 6

abstract: A 2-distance $k$-coloring of a graph $G$ is a proper $k$-coloring such that any two vertices at distance two or less get different colors. The 2-distance chromatic number of $G$ is the minimum $k$ such that $G$ has a 2-distance $k$-coloring, denoted by $\chi_2(G)$. In this paper, we show that $\chi_2(G) \leq 20$ for every planar graph $G$ with maximum degree at most six, which improves a former bound $\chi_2(G) \leq 21$.


title: Upgrading the Submillimeter Array: wSMA and beyond

abstract: The Submillimeter Array (SMA) is an array of 8 antennas operating at millimeter and submillimeter wavelengths on Maunakea, Hawaii, operated by the Smithsonian Astrophysical Observatory and Academia Sinica Institute of Astronomy and Astrophysics, Taiwan. Over the past several years, we have been preparing a major upgrade to the SMA that will replace the aging original receiver cryostats and receiver cartridges with all new cryostats and new 230 and 345 GHz receiver designs. This wideband upgrade (wSMA) will also include significantly increased instantaneous bandwidth, improved sensitivity, and greater capabilities for dual frequency observations. In this paper, we will describe the wSMA receiver upgrade and status, as well as the future upgrades that will be enabled by the deployment of the wSMA receivers.


title: Hybrid isentropic twin stars

abstract: We present a study of hybrid neutron stars with color superconducting quark matter cores at finite temperature that results in sequences of stars with constant entropy per baryon, $s/n_B={\rm const}$. For the quark matter equation of state, we employ a recently developed nonlocal chiral quark model while nuclear matter is described with a relativistic density functional model of the DD2 class. The phase transition is obtained by a Maxwell construction under isothermal conditions. We find that traversing the mixed phase on a trajectory at low $s/n_B\lesssim 2$ in the phase diagram shows a heating effect while at larger $s/n_B$ the temperature drops. This behavior may be attributed to the presence of a color superconducting quark matter phase at low temperatures and the melting of the diquark condensate which restores the normal quark matter phase at higher temperatures. While the isentropic hybrid star branch at low $s/n_B\lesssim 2$ is connected to the neutron star branch, it gets disconnected at higher entropy per baryon so that the "thermal twin" phenomenon is observed. We find that the transition from connected to disconnected hybrid star sequences may be estimated with the Seidov criterion for the difference in energy densities. The radii and masses at the onset of deconfinement exhibit a linear relationship and thus define a critical compactness of the isentropic star configuration for which the transition occurs which for large enough $s/n_B\gtrsim 2$ is accompanied by an instability. The results of this study may be of relevance for uncovering the conditions for the supernova explodability of massive blue supergiant stars by the quark deconfinement mechanism. The accretion-induced deconfinement transition with thermal twin formation may contribute to explaining the origin of eccentric orbits in some binary systems and the origin of isolated millisecond pulsars.


title: Field-Dependent Metrics and Higher-Form Symmetries in Duality-Invariant Theories of Non-Linear Electrodynamics

abstract: We prove that a $4d$ theory of non-linear electrodynamics has equations of motion which are equivalent to those of the Maxwell theory in curved spacetime, but with the usual metric $g_{\mu \nu}$ replaced by a unit-determinant metric $h_{\mu \nu} ( F )$ which is a function of the field strength $F_{\mu \nu}$, if and only if the theory enjoys electric-magnetic duality invariance. Among duality-invariant models, the Modified Maxwell (ModMax) theory is special because the associated metric $h_{\mu \nu} ( F )$ produces identical equations of motion when it is coupled to the Maxwell theory via two different prescriptions which we describe. We use the field-dependent metric perspective to analyze the electric and magnetic $1$-form global symmetries in models of self-dual electrodynamics. This analysis suggests that any duality-invariant theory possesses a set of conserved currents $j^\mu$ which are in one-to-one correspondence with $2$-forms that are harmonic with respect to the field-dependent metric $h_{\mu \nu} ( F )$.

categories: hep-th cond-mat.str-el hep-ph math-ph math.MP


title: Couplings of torsional and shear oscillations in a neutron star crust

abstract: Mature neutron stars are thought to be sufficiently cold that nuclei in the outer layers freeze, solidifying a crust. Crustal elasticity allows the star to support a set of seismic modes, such as torsional oscillations. These axial-parity modes can couple to the polar sector in a number of ways, for example via rotation or a magnetic field. Even in a static, spherically-symmetric star however these modes can couple at non-linear order. In this study, such couplings in the crust are examined for the first time: we derive the axisymmetric perturbation equations for second-order axial eigenfunctions, which are sourced by axial-polar couplings at first-order, and solve the resulting equations in the time domain. Through our studies, we find that the second-order spectrum contains additional oscillation modes, not predicted by the linear analysis with either axial or polar perturbations, which can be excited to relatively large amplitudes.


title: Coded Kalman Filtering over MIMO Gaussian Channels with Feedback

abstract: We consider the problem of remotely stabilizing a linear dynamical system. In this setting, a sensor co-located with the system communicates the system's state to a controller over a noisy communication channel with feedback. The objective of the controller (decoder) is to use the channel outputs to estimate the vector state with finite zero-delay mean squared error (MSE) at the infinite horizon. It has been shown in [1] that for a vector Gauss-Markov source and either a single-input multiple-output (SIMO) or a multiple-input single-output (MISO) channel, linear codes require the minimum capacity to achieve finite MSE. This paper considers the more general problem of linear zero-delay joint-source channel coding (JSCC) of a vector-valued source over a multiple-input multiple-output (MIMO) Gaussian channel with feedback. We study sufficient and necessary conditions for linear codes to achieve finite MSE. For sufficiency, we introduce a coding scheme where each unstable source mode is allocated to a single channel for estimation. Our proof for the necessity of this scheme relies on a matrix-algebraic conjecture that we prove to be true if either the source or channel is scalar. We show that linear codes achieve finite MSE for a scalar source over a MIMO channel if and only if the best scalar sub-channel can achieve finite MSE. Finally, we provide a new counter-example demonstrating that linear codes are generally sub-optimal for coding over MIMO channels.


title: Machine learning the screening factor in the soft bond valence approach for rapid crystal structure estimation

abstract: Development of new functional ceramics is important for several applications, including electrochemical batteries and fuel cells. Computational prescreening and selection of such materials can help discover novel materials but is challenging due to the high cost of electronic structure calculations which would be needed to compute the structures and properties of interest such as the material's stability and ion diffusion properties. The soft bond valence (SoftBV) approach is attractive for rapid prescreening among multiple compositions and structures, but the simplicity of the approximation can make the results inaccurate. We explore the possibility of enhancing the accuracy of the SoftBV approach when estimating crystal structures by adapting the parameters of the approximation to the chemical composition. Specifically, on the examples of perovskite- and spinel-type oxides that have been proposed as promising solid-state ionic conductors, the screening factor, an independent parameter of the SoftBV approximation, is modeled using linear and non-linear methods as a function of descriptors of chemical composition. We find that making the screening factor a function of composition can noticeably improve the ability of SoftBV to correctly model structures, in particular new, putative crystal structures whose structural parameters are yet unknown. We also analyze the relative importance of nonlinearity and coupling in improving the model and find that while the quality of the model is improved by including nonlinearity, coupling is relatively unimportant. While using a neural network showed no improvement over linear regression, the recently proposed GPR-NN method that is a hybrid between a single hidden layer neural network and kernel regression showed substantial improvement, enabling the prediction of structural parameters of new ceramics with accuracy on the order of 1%.


title: Unraveling the Dynamics of SPY Trading Volumes: A Comprehensive Analysis of Daily and Intraday Liquidity Trends

abstract: In this project, we investigate the accuracy of forecasting intraday and daily trading volume of the exchange-traded fund SPY. The ability to forecast volume over varying time intervals with high accuracy is a critical element to many trading strategies. After performing exploratory data analysis on intraday and daily SPY data we identify three methods for our analysis: ARIMA and ARIMAX models, with or without seasonality, as well as a Frequency Domain Process Representation. To evaluate predictive power of our models, we use mean squared error, mean absolute percentage error, and volume weighted average price (VWAP) tracking error. All models for both intraday and daily data output strong VWAP predictions in comparison to the VWAP estimates produced by naive baseline methodologies. In both cases volume is most accurately forecasted using ARIMA models with exogenous variables in the form of technical indicators, with intraday incorporating a seasonal component and daily not.


title: Contrastive General Graph Matching with Adaptive Augmentation Sampling

abstract: Graph matching has important applications in pattern recognition and beyond. Current approaches predominantly adopt supervised learning, demanding extensive labeled data which can be limited or costly. Meanwhile, self-supervised learning methods for graph matching often require additional side information such as extra categorical information and input features, limiting their application to the general case. Moreover, designing the optimal graph augmentations for self-supervised graph matching presents another challenge to ensure robustness and efficacy. To address these issues, we introduce a novel Graph-centric Contrastive framework for Graph Matching (GCGM), capitalizing on a vast pool of graph augmentations for contrastive learning, yet without needing any side information. Given the variety of augmentation choices, we further introduce a Boosting-inspired Adaptive Augmentation Sampler (BiAS), which adaptively selects more challenging augmentations tailored for graph matching. Through various experiments, our GCGM surpasses state-of-the-art self-supervised methods across various datasets, marking a significant step toward more effective, efficient and general graph matching.


title: Broad band spectral modeling of M87 nucleus

abstract: We study spectra produced by weakly accreting black hole (BH) systems using the semi-analytic advection dominated accretion flow (ADAF) model and the general-relativistic magentohydrodynamic (GRMHD) simulation. We find significant differences between these two approaches related to a wider spread of the flow parameters as well as a much steeper radial distribution of the magnetic field in the latter. We apply these spectral models to the broad-band spectral energy distribution (SED) of the nucleus of M87 galaxy. The standard (in particular, one-dimensional) formulation of the ADAF model does not allow to explain it; previous claims that this model reproduces the observed SED suffer from an inaccurate treatment of the Compton process. The spectra based on GRMHD simulation are in a much better agreement with the observed data. In our GRMHD model, in which we assumed the BH spin $a=0.9$, bulk of radiation observed between the millimeter and the X-ray range is produced in the disk area between 2 and 4 gravitational radii from the BH. In this solution, the synchrotron component easily reproduces the spectral data between the millimeter and the UV range, and the Compton component does not violate the X-rays constraints, for accretion rates not exceeding 0.01 Msun/year and a relatively strong magnetic field, with the plasma $\beta \sim 1$ in the region where radiation is produced. However, the Compton component cannot explain the observed X-ray spectrum. Instead, the X-ray spectrum can be reproduced by a high energy tail of the synchrotron spectrum if electrons have a hybrid energy distribution with a $\sim 5$ per cent nonthermal component.


title: Qualitative analysis on a spatial SIS epidemic model with linear source in advective environments II saturated incidence

abstract: In this paper, we consider a reaction-diffusion-advection SIS epidemic model with saturated incidence rate and linear source. We study the uniform bounds of parabolic system and some asymptotic behavior of the basic reproduction number $\mathcal{R}_0$, according to which the threshold-type dynamics are given. Furthermore, we show the globally asymptotic stability of the endemic equilibrium in a special case with a large saturated incidence rate. Meanwhile, we investigate the effects of diffusion, advection, saturation and linear source on the asymptotic profiles of the endemic equilibrium. Our study shows that advection may induce the concentration phenomenon and the disease will be eradicated with small dispersal rate of infected individuals. Moreover, our results also reveal that the linear source can enhance persistence of infectious disease and large saturation can help speed up the elimination of disease.


title: Constraining the Physical Parameters of Blazars Using the Seed Factor Approach

abstract: The discovery that blazars dominate the extra-galactic {\gamma}-ray sky is a triumph in the Fermi era. However, the exact location of {\gamma}-ray emission region still remains in debate. Low-synchrotron-peaked blazars (LSPs) are estimated to produce high-energy radiation through the external Compton process, thus their emission regions are closely related to the external photon fields. We employed the seed factor approach proposed by Georganopoulos et al. It directly matches the observed seed factor of each LSP with the characteristic seed factors of external photon fields to locate the {\gamma}-ray emission region. A sample of 1138 LSPs with peak frequencies and peak luminosities was adopted to plot a histogram distribution of observed seed factors. We also collected some spectral energy distributions (SEDs) of historical flare states to investigate the variation of {\gamma}-ray emission region. Those SEDs were fitted by both quadratic and cubic functions using the Markov-chain Monte Carlo method. Furthermore, we derived some physical parameters of blazars and compared them with the constraint of internal {\gamma}{\gamma}-absorption. We find that dusty torus dominates the soft photon fields of LSPs and most {\gamma}-ray emission regions of LSPs are located at 1-10 pc. The soft photon fields could also transition from dusty torus to broad line region and cosmic microwave background in different flare states. Our results suggest that the cubic function is better than the quadratic function to fit the SEDs.


title: On the exponential algebraic geometry

abstract: The set of roots of any finite system of exponential sums in the space $\mathbb{C}^n$ is called an exponential variety. We define the intersection index of varieties of complementary dimensions, and the ring of classes of numerical equivalence of exponential varieties with operations "addition-union" and "multiplication-intersection". This ring is analogous to the ring of conditions of the torus $(\mathbb{C}\setminus 0)^n$ and is called the ring of conditions of $\mathbb{C}^n$. We provide its description in terms of convex geometry. Namely we associate an exponential variety with an element of a certain ring generated by convex polyhedra in $\mathbb{C}^n$. We call this element the Newtonization of the exponential variety. For example, the Newtonization of an exponential hypersurface is its Newton polyhedron. The Newtonization map defines an isomorphism of the ring of conditions to the ring generated by convex polyhedra in $\mathbb{C}^n$. It follows, in particular, that the intersection index of $n$ exponential hypersurfaces is equal to the mixed pseudo-volume of their Newton polyhedra.


title: STag II: Classification of Serendipitous Supernovae Observed by Galaxy Redshift Surveys

abstract: With the number of supernovae observed expected to drastically increase thanks to large-scale surveys like the Dark Energy Spectroscopic Instrument (DESI), it is necessary that the tools we use to classify these objects keep up with this increase. We previously created Supernova Tagging and Classification (STag) to address this problem by employing machine learning techniques alongside logistic regression in order to assign 'tags' to spectra based on spectral features. STag II is a continuation of this work, which now makes use of model supernova spectra combined with real DESI spectra in order to train STag to better deal with realistic data. We also make use of the rlap score as a trustworthiness cut, making for a more robust and accurate supernova classifier than before.


title: Correlators of Worldline Proper Length

abstract: A classical observer can measure elapsed proper time along their worldline. When observers are coupled to a system with internal correlations, measurements of elapsed time may inherit these correlations. We show that derivatives of the on-shell action with respect to worldline mass compute correlation functions of worldline proper length at tree level. We study worldlines coupled to a scalar field. We calculate the length-length two-point function and find it arises from correlated path fluctuations. As an application, we propose that the logarithm of local correlators serves as a generating function of length correlators, which generalizes the on-shell action prescription. Using this proposal, we extract AdS worldline observables from local CFT correlators as computed by Witten diagrams. We briefly discuss extensions to gravity, interferometers, and the holographic encoding of observer time.

categories: hep-th cond-mat.str-el gr-qc hep-ph quant-ph


title: Model Checking of vGOAL

abstract: Developing autonomous decision-making requires safety assurance. Agent programming languages like AgentSpeak and Gwendolen provide tools for programming autonomous decision-making. However, despite numerous efforts to apply model checking to these languages, challenges persist such as a faithful semantic mapping between agent programs and the generated models, efficient model generation, and efficient model checking. As an extension of the agent programming language GOAL, vGOAL has been proposed to formally specify autonomous decisions with an emphasis on safety. This paper tackles the mentioned challenges through two automated model-checking processes for vGOAL: one for Computation Tree Logic and another for Probabilistic Computation Tree Logic. Compared with the existing model-checking approaches of agent programming languages, it has three main advantages. First, it efficiently performs automated model-checking analysis for a given vGOAL specification, including efficiently generating input models for NuSMV and Storm and leveraging these efficient model checkers. Second, the semantic equivalence is established for both nondeterministic models and probabilistic models of vGOAL: from vGOAL to transition systems or DTMCs. Third, an algorithm is proposed for efficiently detecting errors, which is particularly useful for vGOAL specifications that describe complex scenarios. Validation and experiments in a real-world autonomous logistic system with three autonomous mobile robots illustrate both the efficiency and practical usability of the automated CTL and PCTL model-checking process for vGOAL.


title: VR-based Blockchain-enabled Data Visualization Framework For Manufacturing Industry

abstract: This research proposes a blockchain-based data visualization framework integrated with VR to get manufacturing insights. This framework is implemented at the testbed of the Future Factories Lab at the University of South Carolina. The proposed system aims to enhance understanding, analysis, and decision-making processes by immersing users in a VR environment where complex manufacturing data stored using blockchain is translated into intuitive and interactive representations. The project focuses on two main components: blockchain and VR. Hyperledger Fabric is employed to establish a blockchain network, recording data from the Future Factories testbed. This system captures information from various sources, such as potentiometers on robot grippers to measure grip positioning, load cells to gauge pressure, emergency stop buttons, temperature, speed, and vibration sensors on the conveyors. Whenever predefined conditions are met, pertinent data, including sensor ID, timestamp, value, cause, and importance, is securely recorded in the blockchain, signaling the occurrence of a defect within the cell. Data retrieved from the blockchain system is accessed through 'GET' API requests. A VR application is developed using a cross-platform Unity game engine to visualize the data retrieved from the blockchain database. Meta Quest 3 is used as the targeted Head Mounted VR device. The VR application has two C# scripts: one script to query blockchain data using 'GET' API calls and another script converts the JSON object to text data to visualize in the VR system. The proposed system leverages blockchain technology and VR visualization to deliver immersive, actionable insights using secure data transmission. By embracing the proposed framework, manufacturers can unlock new potential for efficiency, sustainability, and resilience in today's increasingly complex and interconnected manufacturing workplace.


title: Extending the Operational Lifetime of Nucleic Acid-Based Electrochemical Sensors via Protection Against Competitive Displacement of Oligonucleotides

abstract: Nucleic acid-based electrochemical sensors (NBEs) have emerged as a promising approach to continuous molecular monitoring in vivo. NBEs consist of electrically conducting gold surfaces coated with self-assembled monolayers of a mixture of electrode-passivating alkylthiols and functional alkylthiol-modified oligos. These oligos also display binding sites for the target analyte and redox reporters able to transfer electrons to the underlying gold electrode. Although sufficiently robust for continuous, multi-hour sensing of small molecules and proteins in biological fluids both in vitro and in vivo, NBEs decay over periods longer than 12 hours of continuous operation in these fluids. To address this issue, here we report a biofluid mimetic that can be leveraged to specifically study competitive displacement of oligonucleotides from NBEs, a critical sensor degradation pathway. Using this mimetic, we demonstrate three strategies that drastically mitigate competitive displacement and improve sensor stability in vitro. A combination of these strategies also improves sensor stability in vivo, demonstrated here via sensors emplaced in the brain cortex of live rats.


title: An Alternative Channel to Black Hole Low-Mass X-ray Binaries: Dynamical Friction of Dark Matter?

abstract: Both the anomalous magnetic braking of Ap/Bp stars and the surrounding circumbinary disk models can account for the formation of black hole (BH) low-mass X-ray binaries (LMXBs), while the simulated effective temperatures of the donor stars are significantly higher than the observed values. Therefore, the formation of BH LMXBs is not still completely understood. In this work, we diagnose whether the dynamical friction between dark matter and the companion stars can drive BH binaries to evolve toward the observed BH LMXBs and alleviate the effective temperature problem. Assuming that there exists a density spike of dark matter around BH, the dynamical friction can produce an efficient angular momentum loss, driving BH binaries with an intermediate-mass companion star to evolve into BH LMXBs for a spike index higher than $\gamma = 1.58$. Our detailed stellar evolution models show that the calculated effective temperatures can match the observed value of most BH LMXBs for a spike index range of $\gamma = 1.7-2.1$. However, the simulated mass-transfer rates when $\gamma = 2.0$ and $2.1$ are too high to be consistent with the observed properties that BH LMXBs appears as soft X-ray transients. Therefore, the dynamical friction of dark matter can only alleviate the effective temperature problem of those BH LMXBs with a relatively short orbital period.


title: Dynamic Metric Embedding into $\ell_p$ Space

abstract: We give the first non-trivial decremental dynamic embedding of a weighted, undirected graph $G$ into $\ell_p$ space. Given a weighted graph $G$ undergoing a sequence of edge weight increases, the goal of this problem is to maintain a (randomized) mapping $\phi: (G,d) \to (X,\ell_p)$ from the set of vertices of the graph to the $\ell_p$ space such that for every pair of vertices $u$ and $v$, the expected distance between $\phi(u)$ and $\phi(v)$ in the $\ell_p$ metric is within a small multiplicative factor, referred to as the distortion, of their distance in $G$. Our main result is a dynamic algorithm with expected distortion $O(\log^2 n)$ and total update time $O\left((m^{1+o(1)} \log^2 W + Q)\log(nW) \right)$, where $W$ is the maximum weight of the edges, $Q$ is the total number of updates and $n, m$ denote the number of vertices and edges in $G$ respectively. This is the first result of its kind, extending the seminal result of Bourgain to the expanding field of dynamic algorithms. Moreover, we demonstrate that in the fully dynamic regime, where we tolerate edge insertions as well as deletions, no algorithm can explicitly maintain an embedding into $\ell_p$ space that has a low distortion with high probability.


title: $L^p-L^q$ estimates for solutions to the plate equation with mass term

abstract: In this paper, we study the Cauchy problem for the linear plate equation with mass term and its applications to semilinear models. For the linear problem we obtain $L^p-L^q$ estimates for the solutions in the full range $1\leq p\leq q\leq \infty$, and we show that such estimates are optimal. In the sequel, we discuss the global in time existence of solutions to the associated semilinear problem with power nonlinearity $|u|^\alpha$. For low dimension space $n\leq 4$, and assuming $L^1$ regularity on the second datum, we were able to prove global existence for $\alpha> \max\{\alpha_c(n), \tilde\alpha_c(n)\}$ where $\alpha_c = 1+4/n$ and $\tilde \alpha_c = 2+2/n$. However, assuming initial data in $H^2(\mathbb{R}^n)\times L^2(\mathbb{R}^n)$, the presence of the mass term allows us to obtain global in time existence for all $1<\alpha \leq (n+4)/[n-4]_+$. We also show that the latter upper bound is optimal, since we prove that there exist data such that a non-existence result for local weak solutions holds when $\alpha > (n+4)/[n-4]_+$.


title: Conformal Killing tensors and their Killing scales

abstract: We address the problem of how to characterise when a rank-two conformal Killing tensor is the trace-free part of a Killing tensor for a metric in the conformal class. We call such a metric a Killing scale. Our approach is via differential prolongation using conformally invariant tractor calculus. First, we show that there is a useful partial prolongation of the conformal Killing equation to a simplified equation for sections of some tractor bundle. We then use this partial prolongation to provide such an invariant characterisation in terms of the scale tractor and this partial prolongation. This captures invariantly the relevant Bertrand--Darboux equation. We show that Einstein Killing scales have a special place in the theory. On conformally flat manifolds, we give the full prolongation of the conformally Killing equation to a conformally invariant connection on a tractor bundle. Using this, we provide a characterisation of (non-scalar flat) Einstein Killing scales by an algebraic equation for the scale tractors corresponding to such metrics. This also provides an algebraic description of the linear subspace of conformal Killing tensors that are compatible with a given Einstein Killing scale. For completeness and to introduce the main ideas, we also study analogous questions for conformal Killing vectors.


title: Detecting Frames in News Headlines and Lead Images in U.S. Gun Violence Coverage

abstract: News media structure their reporting of events or issues using certain perspectives. When describing an incident involving gun violence, for example, some journalists may focus on mental health or gun regulation, while others may emphasize the discussion of gun rights. Such perspectives are called \say{frames} in communication research. We study, for the first time, the value of combining lead images and their contextual information with text to identify the frame of a given news article. We observe that using multiple modes of information(article- and image-derived features) improves prediction of news frames over any single mode of information when the images are relevant to the frames of the headlines. We also observe that frame image relevance is related to the ease of conveying frames via images, which we call frame concreteness. Additionally, we release the first multimodal news framing dataset related to gun violence in the U.S., curated and annotated by communication researchers. The dataset will allow researchers to further examine the use of multiple information modalities for studying media framing.