title: Extended Galerkin neural network approximation of singular variational problems with error control

abstract: We present extended Galerkin neural networks (xGNN), a variational framework for approximating general boundary value problems (BVPs) with error control. The main contributions of this work are (1) a rigorous theory guiding the construction of new weighted least squares variational formulations suitable for use in neural network approximation of general BVPs (2) an ``extended'' feedforward network architecture which incorporates and is even capable of learning singular solution structures, thus greatly improving approximability of singular solutions. Numerical results are presented for several problems including steady Stokes flow around re-entrant corners and in convex corners with Moffatt eddies in order to demonstrate efficacy of the method.


title: Sifting out communities in large sparse networks

abstract: Research data sets are growing to unprecedented sizes and network modeling is commonly used to extract complex relationships in diverse domains, such as genetic interactions involved in disease, logistics, and social communities. As the number of nodes increases in a network, an increasing sparsity of edges is a practical limitation due to memory restrictions. Moreover, many of these sparse networks exhibit very large numbers of nodes with no adjacent edges, as well as disjoint components of nodes with no edges connecting them. A prevalent aim in network modeling is the identification of clusters, or communities, of nodes that are highly interrelated. Several definitions of strong community structure have been introduced to facilitate this task, each with inherent assumptions and biases. We introduce an intuitive objective function for quantifying the quality of clustering results in large sparse networks. We utilize a two-step method for identifying communities which is especially well-suited for this domain as the first step efficiently divides the network into the disjoint components, while the second step optimizes clustering of the produced components based on the new objective. Using simulated networks, optimization based on the new objective function consistently yields significantly higher accuracy than those based on the modularity function, with the widest gaps appearing for the noisiest networks. Additionally, applications to benchmark problems illustrate the intuitive correctness of our approach. Finally, the practicality of our approach is demonstrated in real-world data in which we identify complex genetic interactions in large-scale networks comprised of tens of thousands of nodes. Based on these three different types of trials, our results clearly demonstrate the usefulness of our two-step procedure and the accuracy of our simple objective.


title: Chaotic behavior in Lotka-Volterra and May-Leonard models of biodiversity

abstract: Quantification of chaos is a challenging issue in complex dynamical systems. In this paper, we discuss the chaotic properties of generalized Lotka-Volterra and May-Leonard models of biodiversity, via the Hamming distance density. We identified chaotic behavior for different scenarios via the specific features of the Hamming distance and the method of q-exponential fitting. We also investigated the spatial autocorrelation length to find the corresponding characteristic length in terms of the number of species in each system. In particular, the results concerning the characteristic length are in good accordance with the study of the chaotic behavior implemented in this work.


title: Approximation Schemes for Orienteering and Deadline TSP in Doubling Metrics

abstract: In this paper we look at $k$-stroll, point-to-point orienteering, as well as the deadline TSP problem on graphs with bounded doubling dimension and bounded treewidth and present approximation schemes for them. Given a weighted graph $G=(V,E)$, start node $s\in V$, distances $d:E\rightarrow \mathbb{Q}^+$ and integer $k$. In the $k$-stroll problem the goal is to find a path starting at $s$ of minimum length that visits at least $k$ vertices. The dual problem to $k$-stroll is the rooted orienteering in which instead of $k$ we are given a budget $B$ and the goal is to find a walk of length at most $B$ starting at $s$ that visits as many vertices as possible. In the P2P orienteering we are given start and end nodes $s,t$ for the path. In the deadline TSP we are given a deadline $D(v)$ for each $v\in V$ and the goal is to find a walk starting at $s$ that visits as many vertices as possible before their deadline. The best approximation for rooted or P2P orienteering is $(2+\epsilon)$-approximation [12] and $O(\log n)$-approximation for deadline TSP [3]. There is no known approximation scheme for deadline TSP for any metric (not even trees). Our main result is the first approximation scheme for deadline TSP on metrics with bounded doubling dimension. To do so we first show if $G$ is a metric with doubling dimension $\kappa$ and aspect ratio $\Delta$, there is a $(1+\epsilon)$-approximation that runs in time $n^{O\left(\left(\log\Delta/\epsilon\right)^{2\kappa+1}\right)}$. We then extend these to obtain an approximation scheme for deadline TSP when the distances and deadlines are integer which runs in time $n^{O\left(\left(\log \Delta/\epsilon\right)^{2\kappa+2}\right)}$. For graphs with treewidth $\omega$ we show how to solve $k$-stroll and P2P orienteering exactly in polynomial time and a $(1+\epsilon)$-approximation for deadline TSP in time $n^{O((\omega\log\Delta/\epsilon)^2)}$.


title: ICU Bloodstream Infection Prediction: A Transformer-Based Approach for EHR Analysis

abstract: We introduce RatchetEHR, a novel transformer-based framework designed for the predictive analysis of electronic health records (EHR) data in intensive care unit (ICU) settings, with a specific focus on bloodstream infection (BSI) prediction. Leveraging the MIMIC-IV dataset, RatchetEHR demonstrates superior predictive performance compared to other methods, including RNN, LSTM, and XGBoost, particularly due to its advanced handling of sequential and temporal EHR data. A key innovation in RatchetEHR is the integration of the Graph Convolutional Transformer (GCT) component, which significantly enhances the ability to identify hidden structural relationships within EHR data, resulting in more accurate clinical predictions. Through SHAP value analysis, we provide insights into influential features for BSI prediction. RatchetEHR integrates multiple advancements in deep learning which together provide accurate predictions even with a relatively small sample size and highly imbalanced dataset. This study contributes to medical informatics by showcasing the application of advanced AI techniques in healthcare and sets a foundation for further research to optimize these capabilities in EHR data analysis.


title: HLSFactory: A Framework Empowering High-Level Synthesis Datasets for Machine Learning and Beyond

abstract: Machine learning (ML) techniques have been applied to high-level synthesis (HLS) flows for quality-of-result (QoR) prediction and design space exploration (DSE). Nevertheless, the scarcity of accessible high-quality HLS datasets and the complexity of building such datasets present challenges. Existing datasets have limitations in terms of benchmark coverage, design space enumeration, vendor extensibility, or lack of reproducible and extensible software for dataset construction. Many works also lack user-friendly ways to add more designs, limiting wider adoption of such datasets. In response to these challenges, we introduce HLSFactory, a comprehensive framework designed to facilitate the curation and generation of high-quality HLS design datasets. HLSFactory has three main stages: 1) a design space expansion stage to elaborate single HLS designs into large design spaces using various optimization directives across multiple vendor tools, 2) a design synthesis stage to execute HLS and FPGA tool flows concurrently across designs, and 3) a data aggregation stage for extracting standardized data into packaged datasets for ML usage. This tripartite architecture ensures broad design space coverage via design space expansion and supports multiple vendor tools. Users can contribute to each stage with their own HLS designs and synthesis results and extend the framework itself with custom frontends and tool flows. We also include an initial set of built-in designs from common HLS benchmarks curated open-source HLS designs. We showcase the versatility and multi-functionality of our framework through six case studies: I) Design space sampling; II) Fine-grained parallelism backend speedup; III) Targeting Intel's HLS flow; IV) Adding new auxiliary designs; V) Integrating published HLS data; VI) HLS tool version regression benchmarking. Code at https://github.com/sharc-lab/HLSFactory.


title: Uncovering Agendas: A Novel French & English Dataset for Agenda Detection on Social Media

abstract: The behavior and decision making of groups or communities can be dramatically influenced by individuals pushing particular agendas, e.g., to promote or disparage a person or an activity, to call for action, etc.. In the examination of online influence campaigns, particularly those related to important political and social events, scholars often concentrate on identifying the sources responsible for setting and controlling the agenda (e.g., public media). In this article we present a methodology for detecting specific instances of agenda control through social media where annotated data is limited or non-existent. By using a modest corpus of Twitter messages centered on the 2022 French Presidential Elections, we carry out a comprehensive evaluation of various approaches and techniques that can be applied to this problem. Our findings demonstrate that by treating the task as a textual entailment problem, it is possible to overcome the requirement for a large annotated training dataset.


title: Kernel-based Learning for Safe Control of Discrete-Time Unknown Systems under Incomplete Observations

abstract: Safe control for dynamical systems is critical, yet the presence of unknown dynamics poses significant challenges. In this paper, we present a learning-based control approach for tracking control of a class of high-order systems, operating under the constraint of partially observable states. The uncertainties inherent within the systems are modeled by kernel ridge regression, leveraging the proposed strategic data acquisition approach with limited state measurements. To achieve accurate trajectory tracking, a state observer that seamlessly integrates with the control law is devised. The analysis of the guaranteed control performance is conducted using Lyapunov theory due to the deterministic prediction error bound of kernel ridge regression, ensuring the adaptability of the approach in safety-critical scenarios. To demonstrate the effectiveness of our proposed approach, numerical simulations are performed, underscoring its contributions to the advancement of control strategies.


title: WorkBench: a Benchmark Dataset for Agents in a Realistic Workplace Setting

abstract: We introduce WorkBench: a benchmark dataset for evaluating agents' ability to execute tasks in a workplace setting. WorkBench contains a sandbox environment with five databases, 26 tools, and 690 tasks. These tasks represent common business activities, such as sending emails and scheduling meetings. The tasks in WorkBench are challenging as they require planning, tool selection, and often multiple actions. If a task has been successfully executed, one (or more) of the database values may change. The correct outcome for each task is unique and unambiguous, which allows for robust, automated evaluation. We call this key contribution outcome-centric evaluation. We evaluate five existing ReAct agents on WorkBench, finding they successfully complete as few as 3% of tasks (Llama2-70B), and just 43% for the best-performing (GPT-4). We further find that agents' errors can result in the wrong action being taken, such as an email being sent to the wrong person. WorkBench reveals weaknesses in agents' ability to undertake common business activities, raising questions about their use in high-stakes workplace settings. WorkBench is publicly available as a free resource at https://github.com/olly-styles/WorkBench.


title: Efficient and Responsible Adaptation of Large Language Models for Robust Top-k Recommendations

abstract: Conventional recommendation systems (RSs) are typically optimized to enhance performance metrics uniformly across all training samples. This makes it hard for data-driven RSs to cater to a diverse set of users due to the varying properties of these users. The performance disparity among various populations can harm the model's robustness with respect to sub-populations. While recent works have shown promising results in adapting large language models (LLMs) for recommendation to address hard samples, long user queries from millions of users can degrade the performance of LLMs and elevate costs, processing times and inference latency. This challenges the practical applicability of LLMs for recommendations. To address this, we propose a hybrid task allocation framework that utilizes the capabilities of both LLMs and traditional RSs. By adopting a two-phase approach to improve robustness to sub-populations, we promote a strategic assignment of tasks for efficient and responsible adaptation of LLMs. Our strategy works by first identifying the weak and inactive users that receive a suboptimal ranking performance by RSs. Next, we use an in-context learning approach for such users, wherein each user interaction history is contextualized as a distinct ranking task and given to an LLM. We test our hybrid framework by incorporating various recommendation algorithms -- collaborative filtering and learning-to-rank recommendation models -- and two LLMs -- both open and close-sourced. Our results on three real-world datasets show a significant reduction in weak users and improved robustness of RSs to sub-populations $(\approx12\%)$ and overall performance without disproportionately escalating costs.


title: Tight Lower Bounds in the Supported LOCAL Model

abstract: We study the complexity of fundamental distributed graph problems in the recently popular setting where information about the input graph is available to the nodes before the start of the computation. We focus on the most common such setting, known as the Supported LOCAL model, where the input graph (on which the studied graph problem has to be solved) is guaranteed to be a subgraph of the underlying communication network. Building on a successful lower bound technique for the LOCAL model called round elimination, we develop a framework for proving complexity lower bounds in the stronger Supported LOCAL model. Our framework reduces the task of proving a (deterministic or randomized) lower bound for a given problem $\Pi$ to the graph-theoretic task of proving non-existence of a solution to another problem $\Pi'$ (on a suitable graph) that can be derived from $\Pi$ in a mechanical manner. We use the developed framework to obtain substantial (and, in the majority of cases, asymptotically tight) Supported LOCAL lower bounds for a variety of fundamental graph problems, including maximal matching, maximal independent set, ruling sets, arbdefective colorings, and generalizations thereof. In a nutshell, for essentially any major lower bound proved in the LOCAL model in recent years, we prove a similar lower bound in the Supported LOCAL model. Our framework also gives rise to a new deterministic version of round elimination in the LOCAL model: while, previous to our work, the general round elimination technique required the use of randomness (even for obtaining deterministic lower bounds), our framework allows to obtain deterministic (and therefore via known lifting techniques also randomized) lower bounds in a purely deterministic manner. Previously, such a purely deterministic application of round elimination was only known for the specific problem of sinkless orientation [SOSA'23].


title: Cornering Robots to Synchronize a DFA

abstract: This paper considers the existence of short synchronizing words in deterministic finite automata (DFAs). In particular, we define a general strategy, which we call the \emph{cornering strategy}, for generating short synchronizing words in well-structured DFAs. We show that a DFA is synchronizable if and only if this strategy can be applied. Using the cornering strategy, we prove that all DFAs consisting of $n$ points in $\mathbb{R}^d$ with bidirectional connected edge sets in which each edge $(\mb x, \mb y)$ is labeled $\mb y - \mb x$ are synchronizable. We also give sufficient conditions for such DFAs to have synchronizing words of length at most $(n-1)^2$ and thereby satisfy \v{C}ern\'y's conjecture. Using similar ideas, we generalise a result of Ananichev and Volkov \cite{ananichev2004synchronizing} from monotonic automata to a wider class of DFAs admitting well-behaved partial orders. Finally, we consider how the cornering strategy can be applied to the problem of simultaneously synchronizing a DFA $G$ to an initial state $u$ and a DFA $H$ to an initial state $v$. We do not assume that DFAs $G$ and $H$ or states $u$ and $v$ are related beyond sharing the same edge labels.


title: Overcoming model uncertainty -- how equivalence tests can benefit from model averaging

abstract: A common problem in numerous research areas, particularly in clinical trials, is to test whether the effect of an explanatory variable on an outcome variable is equivalent across different groups. In practice, these tests are frequently used to compare the effect between patient groups, e.g. based on gender, age or treatments. Equivalence is usually assessed by testing whether the difference between the groups does not exceed a pre-specified equivalence threshold. Classical approaches are based on testing the equivalence of single quantities, e.g. the mean, the area under the curve (AUC) or other values of interest. However, when differences depending on a particular covariate are observed, these approaches can turn out to be not very accurate. Instead, whole regression curves over the entire covariate range, describing for instance the time window or a dose range, are considered and tests are based on a suitable distance measure of two such curves, as, for example, the maximum absolute distance between them. In this regard, a key assumption is that the true underlying regression models are known, which is rarely the case in practice. However, misspecification can lead to severe problems as inflated type I errors or, on the other hand, conservative test procedures. In this paper, we propose a solution to this problem by introducing a flexible extension of such an equivalence test using model averaging in order to overcome this assumption and making the test applicable under model uncertainty. Precisely, we introduce model averaging based on smooth AIC weights and we propose a testing procedure which makes use of the duality between confidence intervals and hypothesis testing. We demonstrate the validity of our approach by means of a simulation study and demonstrate the practical relevance of the approach considering a time-response case study with toxicological gene expression data.


title: WIBA: What Is Being Argued? A Comprehensive Approach to Argument Mining

abstract: We propose WIBA, a novel framework and suite of methods that enable the comprehensive understanding of "What Is Being Argued" across contexts. Our approach develops a comprehensive framework that detects: (a) the existence, (b) the topic, and (c) the stance of an argument, correctly accounting for the logical dependence among the three tasks. Our algorithm leverages the fine-tuning and prompt-engineering of Large Language Models. We evaluate our approach and show that it performs well in all the three capabilities. First, we develop and release an Argument Detection model that can classify a piece of text as an argument with an F1 score between 79% and 86% on three different benchmark datasets. Second, we release a language model that can identify the topic being argued in a sentence, be it implicit or explicit, with an average similarity score of 71%, outperforming current naive methods by nearly 40%. Finally, we develop a method for Argument Stance Classification, and evaluate the capability of our approach, showing it achieves a classification F1 score between 71% and 78% across three diverse benchmark datasets. Our evaluation demonstrates that WIBA allows the comprehensive understanding of What Is Being Argued in large corpora across diverse contexts, which is of core interest to many applications in linguistics, communication, and social and computer science. To facilitate accessibility to the advancements outlined in this work, we release WIBA as a free open access platform (wiba.dev).


title: Production of dileptonic bound states in the Higgs boson decay

abstract: The production of single and paired lepton bound states in the decay of the Higgs boson has been studied. We explore different decay mechanisms that contribute significantly to the decay width. The decay widths are calculated taking into account relativistic corrections in the decay amplitude and in the wave function of the bound state of leptons.


title: Analysis of Quantization Noise Suppression Gains in Digital Phased Arrays

abstract: Digital phased arrays have often been disregarded for millimeter-wave communications since the analog-to-digital converters (ADCs) are power-hungry. In this paper, we provide a different perspective on this matter by demonstrating analytically and numerically how the ADC resolution can be reduced when using digital phased arrays. We perform a theoretical analysis of the quantization noise characteristics for an OFDM signal received and processed by a digital phased array, using Gaussian approximation of the OFDM signal. In particular, we quantify the quantization noise suppression factor analytically and numerically. This factor describes how much the coherent combining reduces the quantization noise as a function of the number of antennas, which allows for reducing the ADC bit resolution. For instance in a 8-16 antenna digital phased array the ADC resolution can be reduced with 1-2 bits compared to the ADC required for an analog phased array.


title: Numerical investigation of three-dimensional effects of cavitating flow in a venturi-type hydrodynamic cavitation reactor

abstract: The concept of Hydrodynamic Cavitation (HC) has emerged as a promising method for wastewater treatment, bio-diesel production and multiple other environmental processes with Venturi-type cavitation reactors showing particular advantages. However, numerical simulations of a venturi-type reactor with an elucidated explanation of the underlying flow physics remain inadequate. The present study numerically investigates and analyzes the flow inside a venturi-type reactor from both global cavity dynamics and localized turbulence statistics perspectives. Some models in the Detached Eddy Simulation (DES) family are employed to model the turbulence with the study initially comparing 2D simulations before extending the analysis to 3D simulations. The results show that while URANS models show significantly different dynamics as a result of grid refinement, the DES models show standard flow dynamics associated with cavitating flows. Nevertheless, signifi- cant discrepancies continue to exist when comparing the turbulence statistics on the local scale. As the discussion extends to 3D calculations, the DES models are able to well predict the turbulence phenomena at the local scale and reveal some new insights regarding the role of baroclinic torque into the cavitation-vortex interaction.The findings of this study thus contribute to the fundamental understandings of the venturi-type reactor.


title: Teaching Algorithm Design: A Literature Review

abstract: Algorithm design is a vital skill developed in most undergraduate Computer Science (CS) programs, but few research studies focus on pedagogy related to algorithms coursework. To understand the work that has been done in the area, we present a systematic survey and literature review of CS Education studies. We search for research that is both related to algorithm design and evaluated on undergraduate-level students. Across all papers in the ACM Digital Library prior to August 2023, we only find 94 such papers. We first classify these papers by topic, evaluation metric, evaluation methods, and intervention target. Through our classification, we find a broad sparsity of papers which indicates that many open questions remain about teaching algorithm design, with each algorithm topic only being discussed in between 0 and 10 papers. We also note the need for papers using rigorous research methods, as only 38 out of 88 papers presenting quantitative data use statistical tests, and only 15 out of 45 papers presenting qualitative data use a coding scheme. Only 17 papers report controlled trials. We then synthesize the results of the existing literature to give insights into what the corpus reveals about how we should teach algorithms. Much of the literature explores implementing well-established practices, such as active learning or automated assessment, in the algorithms classroom. However, there are algorithms-specific results as well: a number of papers find that students may under-utilize certain algorithmic design techniques, and studies describe a variety of ways to select algorithms problems that increase student engagement and learning. The results we present, along with the publicly available set of papers collected, provide a detailed representation of the current corpus of CS Education work related to algorithm design and can orient further research in the area.


title: Modelling the nanopore sequencing process with Helicase HMMs

abstract: Recent advancements in nanopore sequencing technology, particularly the R10 nanopore from Oxford Nanopore Technology, have necessitated the development of improved data processing methods to utilize their potential for more than 9-mer resolution fully. The processing of the ion currents predominantly utilizes neural network-based methods known for their high basecalling accuracy but face developmental bottlenecks at higher resolutions. In light of this, we introduce the Helicase Hidden Markov Model (HHMM), a novel framework designed to incorporate the dynamics of the helicase motor protein alongside the nucleotide sequence during nanopore sequencing. This model supports the analysis of millions of distinct states, enhancing our understanding of raw ion currents and their alignment with nucleotide sequences. Our findings demonstrate the utility of HHMM not only as a potent visualization tool but also as an effective base for developing advanced basecalling algorithms. This approach offers a promising avenue for leveraging the full capabilities of emerging high-resolution nanopore sequencing technologies.


title: Search for new resonances decaying to pairs of merged diphotons in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: A search is presented for an extended Higgs sector with two new particles, X and $\phi$, in the process X $\to$ $\phi\phi$ $\to$ $(\gamma\gamma)(\gamma\gamma)$. Novel neural networks classify events with diphotons that are merged and determine the diphoton masses. The search uses LHC proton-proton collision data at $\sqrt{s}$ = 13 TeV collected with the CMS detector, corresponding to an integrated luminosity of 138 fb$^{-1}$. No evidence of such resonances is seen. Upper limits are set on the production cross section versus the resonance masses, representing the most sensitive search in this channel.


title: Individual-level models of disease transmission incorporating piecewise spatial risk functions

abstract: Modelling epidemics is crucial for understanding the emergence, transmission, impact and control of diseases. Spatial individual-level models (ILMs) that account for population heterogeneity are a useful tool, accounting for factors such as location, vaccination status and genetic information. Parametric forms for spatial risk functions, or kernels, are often used, but rely on strong assumptions about underlying transmission mechanisms. Here, we propose a class of non-parametric spatial disease transmission model, fitted within a Bayesian Markov chain Monte Carlo (MCMC) framework, allowing for more flexible assumptions when estimating the effect on spatial distance and infection risk. We focus upon two specific forms of non-parametric spatial infection kernel: piecewise constant and piecewise linear. Although these are relatively simple forms, we find them effective. The performance of these models is examined using simulated data, including under circumstances of model misspecification, and then applied to data from the UK 2001 foot-and-mouth disease.


title: No $\nu$s is Good News

abstract: The baryon acoustic oscillation (BAO) analysis from the first year of data from the Dark Energy Spectroscopic Instrument (DESI), when combined with data from the cosmic microwave background (CMB), has placed an upper-limit on the sum of neutrino masses, $\sum m_\nu < 70$ meV (95%). In addition to excluding the minimum sum associated with the inverted hierarchy, the posterior is peaked at $\sum m_\nu = 0$ and is close to excluding even the minumum sum, 58 meV at 2$\sigma$. In this paper, we explore the implications of this data for cosmology and particle physics. The sum of neutrino mass is determined in cosmology from the suppression of clustering in the late universe. Allowing the clustering to be enhanced, we extended the DESI analysis to $\sum m_\nu < 0$ and find $\sum m_\nu = - 160 \pm 90$ meV (68%), and that the suppression of power from the minimum sum of neutrino masses is excluded at 99% confidence. We show this preference for negative masses makes it challenging to explain the result by a shift of cosmic parameters, such as the optical depth or matter density. We then show how a result of $\sum m_\nu =0$ could arise from new physics in the neutrino sector, including decay, cooling, and/or time-dependent masses. These models are consistent with current observations but imply new physics that is accessible in a wide range of experiments. In addition, we discuss how an apparent signal with $\sum m_\nu < 0$ can arise from new long range forces in the dark sector or from a primordial trispectrum that resembles the signal of CMB lensing.


title: Locality Regularized Reconstruction: Structured Sparsity and Delaunay Triangulations

abstract: Linear representation learning is widely studied due to its conceptual simplicity and empirical utility in tasks such as compression, classification, and feature extraction. Given a set of points $[\mathbf{x}_1, \mathbf{x}_2, \ldots, \mathbf{x}_n] = \mathbf{X} \in \mathbb{R}^{d \times n}$ and a vector $\mathbf{y} \in \mathbb{R}^d$, the goal is to find coefficients $\mathbf{w} \in \mathbb{R}^n$ so that $\mathbf{X} \mathbf{w} \approx \mathbf{y}$, subject to some desired structure on $\mathbf{w}$. In this work we seek $\mathbf{w}$ that forms a local reconstruction of $\mathbf{y}$ by solving a regularized least squares regression problem. We obtain local solutions through a locality function that promotes the use of columns of $\mathbf{X}$ that are close to $\mathbf{y}$ when used as a regularization term. We prove that, for all levels of regularization and under a mild condition that the columns of $\mathbf{X}$ have a unique Delaunay triangulation, the optimal coefficients' number of non-zero entries is upper bounded by $d+1$, thereby providing local sparse solutions when $d \ll n$. Under the same condition we also show that for any $\mathbf{y}$ contained in the convex hull of $\mathbf{X}$ there exists a regime of regularization parameter such that the optimal coefficients are supported on the vertices of the Delaunay simplex containing $\mathbf{y}$. This provides an interpretation of the sparsity as having structure obtained implicitly from the Delaunay triangulation of $\mathbf{X}$. We demonstrate that our locality regularized problem can be solved in comparable time to other methods that identify the containing Delaunay simplex.


title: Cross-modality Matching and Prediction of Perturbation Responses with Labeled Gromov-Wasserstein Optimal Transport

abstract: It is now possible to conduct large scale perturbation screens with complex readout modalities, such as different molecular profiles or high content cell images. While these open the way for systematic dissection of causal cell circuits, integrated such data across screens to maximize our ability to predict circuits poses substantial computational challenges, which have not been addressed. Here, we extend two Gromov-Wasserstein Optimal Transport methods to incorporate the perturbation label for cross-modality alignment. The obtained alignment is then employed to train a predictive model that estimates cellular responses to perturbations observed with only one measurement modality. We validate our method for the tasks of cross-modality alignment and cross-modality prediction in a recent multi-modal single-cell perturbation dataset. Our approach opens the way to unified causal models of cell biology.


abstract: Decentralized Multi-agent Learning (DML) enables collaborative model training while preserving data privacy. However, inherent heterogeneity in agents' resources (computation, communication, and task size) may lead to substantial variations in training time. This heterogeneity creates a bottleneck, lengthening the overall training time due to straggler effects and potentially wasting spare resources of faster agents. To minimize training time in heterogeneous environments, we present a Communication-Efficient Training Workload Balancing for Decentralized Multi-Agent Learning (ComDML), which balances the workload among agents through a decentralized approach. Leveraging local-loss split training, ComDML enables parallel updates, where slower agents offload part of their workload to faster agents. To minimize the overall training time, ComDML optimizes the workload balancing by jointly considering the communication and computation capacities of agents, which hinges upon integer programming. A dynamic decentralized pairing scheduler is developed to efficiently pair agents and determine optimal offloading amounts. We prove that in ComDML, both slower and faster agents' models converge, for convex and non-convex functions. Furthermore, extensive experimental results on popular datasets (CIFAR-10, CIFAR-100, and CINIC-10) and their non-I.I.D. variants, with large models such as ResNet-56 and ResNet-110, demonstrate that ComDML can significantly reduce the overall training time while maintaining model accuracy, compared to state-of-the-art methods. ComDML demonstrates robustness in heterogeneous environments, and privacy measures can be seamlessly integrated for enhanced data protection.


title: Complexities of Theories of Profinite Subgroups of $S_\omega$ via Tree Presentations

abstract: Although $S_\omega$ (the group of all permutations of $\mathbb{N}$) is size continuum, both it and its closed subgroups can be presented as the set of paths through a countable tree. The subgroups of $S_\omega$ that can be presented this way with finite branching trees are exactly the profinite ones. We use these tree presentations to find upper bounds on the complexity of the existential theories of profinite subgroups of $S_\omega$, as well as to prove sharpness for these bounds. These complexity results enable us to distinguish a simple subclass of profinite groups, those with \emph{orbit independence}, for which we find an upper bound on the complexity of the entire first order theory.


title: Sim-Grasp: Learning 6-DOF Grasp Policies for Cluttered Environments Using a Synthetic Benchmark

abstract: In this paper, we present Sim-Grasp, a robust 6-DOF two-finger grasping system that integrates advanced language models for enhanced object manipulation in cluttered environments. We introduce the Sim-Grasp-Dataset, which includes 1,550 objects across 500 scenarios with 7.9 million annotated labels, and develop Sim-GraspNet to generate grasp poses from point clouds. The Sim-Grasp-Polices achieve grasping success rates of 97.14% for single objects and 87.43% and 83.33% for mixed clutter scenarios of Levels 1-2 and Levels 3-4 objects, respectively. By incorporating language models for target identification through text and box prompts, Sim-Grasp enables both object-agnostic and target picking, pushing the boundaries of intelligent robotic systems.


title: Quickest Change Detection with Confusing Change

abstract: In the problem of quickest change detection (QCD), a change occurs at some unknown time in the distribution of a sequence of independent observations. This work studies a QCD problem where the change is either a bad change, which we aim to detect, or a confusing change, which is not of our interest. Our objective is to detect a bad change as quickly as possible while avoiding raising a false alarm for pre-change or a confusing change. We identify a specific set of pre-change, bad change, and confusing change distributions that pose challenges beyond the capabilities of standard Cumulative Sum (CuSum) procedures. Proposing novel CuSum-based detection procedures, S-CuSum and J-CuSum, leveraging two CuSum statistics, we offer solutions applicable across all kinds of pre-change, bad change, and confusing change distributions. For both S-CuSum and J-CuSum, we provide analytical performance guarantees and validate them by numerical results. Furthermore, both procedures are computationally efficient as they only require simple recursive updates.

categories: math.ST cs.IT cs.LG eess.SP math.IT math.OC stat.TH


title: Can a Hallucinating Model help in Reducing Human "Hallucination"?

abstract: The prevalence of unwarranted beliefs, spanning pseudoscience, logical fallacies, and conspiracy theories, presents substantial societal hurdles and the risk of disseminating misinformation. Utilizing established psychometric assessments, this study explores the capabilities of large language models (LLMs) vis-a-vis the average human in detecting prevalent logical pitfalls. We undertake a philosophical inquiry, juxtaposing the rationality of humans against that of LLMs. Furthermore, we propose methodologies for harnessing LLMs to counter misconceptions, drawing upon psychological models of persuasion such as cognitive dissonance theory and elaboration likelihood theory. Through this endeavor, we highlight the potential of LLMs as personalized misinformation debunking agents.


title: A Blockchain-Based Audit Mechanism for Trust and Integrity in IoT-Fog Environments

abstract: The full realization of smart city technology is dependent on the secure and honest collaboration between IoT applications and edge-computing. In particular, resource constrained IoT devices may rely on fog-computing to alleviate the computing load of IoT tasks. Mutual authentication is needed between IoT and fog to preserve IoT data security, and monetization of fog services is needed to promote the fog service ecosystem. However, there is no guarantee that fog nodes will always respond to IoT requests correctly, either intentionally or accidentally. In the public decentralized IoT-fog environment, it is crucial to enforce integrity among fog nodes. In this paper, we propose a blockchain-based system that 1) streamlines the mutual authentication service monetization between IoT and fog, 2) verifies the integrity of fog nodes via service audits, and 3) discourages malicious activity and promotes honesty among fog nodes through incentives and penalties.


title: Subleading analysis for $S^3$ partition functions of $\mathcal{N}=2$ holographic SCFTs

abstract: We investigate the 3-sphere partition functions of various 3d $\mathcal{N}=2$ holographic SCFTs arising from the $N$ stack of M2-branes in the 't Hooft limit both analytically and numerically. We first employ a saddle point approximation to evaluate the free energy $F=-\log Z$ at the planar level, tracking the first subleading corrections in the large 't Hooft coupling $\lambda$ expansion. Subsequently, we improve these results by determining the planar free energy to all orders in the large $\lambda$ expansion via numerical analysis. Remarkably, the resulting planar free energies turn out to take a universal form, supporting a prediction that these $S^3$ partition functions are all given in terms of an Airy function even beyond the special cases where the Airy formulae were derived analytically in the literature; in this context we also present new Airy conjectures in several examples. The subleading behaviors we captured encode a part of quantum corrections to the M-theory path integrals around dual asymptotically Euclidean AdS$_4$ backgrounds with the corresponding internal manifolds through holographic duality.


title: Gameplay Filters: Safe Robot Walking through Adversarial Imagination

abstract: Ensuring the safe operation of legged robots in uncertain, novel environments is crucial to their widespread adoption. Despite recent advances in safety filters that can keep arbitrary task-driven policies from incurring safety failures, existing solutions for legged robot locomotion still rely on simplified dynamics and may fail when the robot is perturbed away from predefined stable gaits. This paper presents a general approach that leverages offline game-theoretic reinforcement learning to synthesize a highly robust safety filter for high-order nonlinear dynamics. This gameplay filter then maintains runtime safety by continually simulating adversarial futures and precluding task-driven actions that would cause it to lose future games (and thereby violate safety). Validated on a 36-dimensional quadruped robot locomotion task, the gameplay safety filter exhibits inherent robustness to the sim-to-real gap without manual tuning or heuristic designs. Physical experiments demonstrate the effectiveness of the gameplay safety filter under perturbations, such as tugging and unmodeled irregular terrains, while simulation studies shed light on how to trade off computation and conservativeness without compromising safety.


title: Gravitational algebras and the generalized second law

abstract: We derive the generalized second law (GSL) for arbitrary cuts of Killing horizons from the perspective of crossed-product gravitational algebras, making use of a recent proposal by one of us for the construction of local gravitational algebras. This construction relies on the existence of a state whose modular flow is geometric on the horizon. In both free and interacting quantum field theories, such states are guaranteed to exist by the properties of half-sided translations on the horizon. Using geometric identities derived from the canonical analysis of general relativity on null surfaces, we show that the crossed product entropy agrees with the generalized entropy of the horizon cut in a semiclassical limit, and further reproduce Wall's result relating the GSL to monotonicity of relative entropy of the quantum field algebras. We also give a novel generalization of the GSL for interacting theories in asymptotically flat spacetimes involving the concept of an algebra at infinity for a half-sided translation, which accounts for triviality of the algebra of fields smeared only on the horizon. Going beyond the semiclassical limit, we compute subleading corrections to the crossed product entropy, but are unable to determine if the GSL continues to hold after accounting for these. We speculate that an improved GSL could follow from a hidden subalgebra structure of the crossed products, assuming the existence of an operator-valued weight between horizon cut algebras.


title: Magnetic field expulsion in optically driven YBa$_2$Cu$_3$O$_{6.48}$

abstract: Coherent optical driving in quantum solids is emerging as a new research frontier, with many demonstrations of exotic non-equilibrium quantum phases. These are based on engineered band structures, and on stimulated nonlinear interactions between driven modes. Enhanced functionalities like ferroelectricity, magnetism and superconductivity have been reported in these non-equilibrium settings. In high-Tc cuprates, coherent driving of certain phonon modes induces a transient state with superconducting-like optical properties, observed far above T$_c$ and throughout the pseudogap phase. Questions remain not only on the microscopic nature of this phenomenon, but also on the macroscopic properties of these transient states, beyond the documented optical conductivities. Crucially, it is not clear if driven cuprates exhibit Meissner-like diamagnetism. Here, the time-dependent magnetic-field amplitude surrounding a driven YBa$_2$Cu$_3$O$_{6.48}$ sample is probed by measuring Faraday rotation in a GaP layer adjacent to the superconductor. For the same driving conditions that result in superconducting-like optical properties, an enhancement of magnetic field at the edge of the sample is detected, indicative of induced diamagnetism. The dynamical field expulsion measured after pumping is comparable in size to the one expected in an equilibrium type II superconductor of similar shape and size with a volume susceptibility $\chi_v$ of order -0.3. Crucially, this value is incompatible with a photo-induced increase in mobility without superconductivity. Rather, it underscores the notion of a pseudogap phase in which incipient superconducting correlations are enhanced or synchronized by the optical drive.


title: Entanglement Routing using Quantum Error Correction for Distillation

abstract: Bell-state measurement (BSM) on entangled states shared between quantum repeaters is the fundamental operation used to route entanglement in quantum networks. Performing BSMs on Werner states shared between repeaters leads to exponential decay in the fidelity of the end-to-end Werner state with the number of repeaters, necessitating entanglement distillation. Generally, entanglement routing protocols use \emph{probabilistic} distillation techniques based on local operations and classical communication. In this work, we use quantum error correcting codes (QECCs) for \emph{deterministic} entanglement distillation to route Werner states on a chain of repeaters. To maximize the end-to-end distillable entanglement, which depends on the number and fidelity of end-to-end Bell pairs, we utilize global link-state knowledge to determine the optimal policy for scheduling distillation and BSMs at the repeaters. We analyze the effect of the QECC's properties on the entanglement rate and the number of quantum memories. We observe that low-rate codes produce high-fidelity end-to-end states owing to their excellent error-correcting capability, whereas high-rate codes yield a larger number of end-to-end states but of lower fidelity. The number of quantum memories used at repeaters increases with the code rate as well as the classical computation time of the QECC's decoder.


title: Evolution of Flare Activity in GKM Stars Younger than 300 Myr over Five Years of TESS Observations

abstract: Stellar flares are short-duration ($<$ hours) bursts of radiation associated with surface magnetic reconnection events. Stellar magnetic activity generally decreases as a function of both age and Rossby number, $R_0$, a measure of the relative importance of the convective and rotational dynamos. Young stars ($<300$ Myr) have typically been overlooked in population-level flare studies due to challenges with flare-detection methods. Here, we select a sample of stars that are members of 26 nearby moving groups, clusters, or associations with ages $<$300 Myr that have been observed by the Transiting Exoplanet Survey Satellite at 2-minute cadence. We identified 26,355 flares originating from 3,157 stars and robustly measure the rotation periods of 1,847 stars. We measure and find the flare frequency distribution (FFD) slope, $\alpha$, saturates for all spectral types at $\alpha \sim -0.5$ and is constant over 300 Myr. Additionally, we find that flare rates for stars $t_\textrm{age} = 50 - 250$ Myr are saturated below $R_0 < 0.14$, which is consistent with other indicators of magnetic activity. We find evidence of annual flare rate variability in eleven stars, potentially correlated with long term stellar activity cycles. Additionally, we cross match our entire sample with GALEX and find no correlation between flare rate and Far- and Near-Ultraviolet flux. Finally, we find the flare rates of planet hosting stars are relatively lower than comparable, larger samples of stars, which may have ramifications for the atmospheric evolution of short-period exoplanets.


title: Molecular Insights into the Water Dissociation and Proton Dynamics at the $\beta$-TaON (100)/Water Interface

abstract: Understanding the dynamic nature of the semiconductor-water interface is crucial for developing efficient photoelectrochemical water splitting catalysts, as it governs reactivity through charge and mass transport. In this study, we employ ab initio molecular dynamics simulations to investigate the structural and dynamical properties of water at the $\beta$-TaON (100) surface. We observed that a well-defined interface is established through the spontaneous dissociation of water and the reorganization of surface chemical bonds. This leads to the formation of a partially hydroxylated surface, accompanied by a strong network of hydrogen bonds at the TaON-water interface. Consequently, various proton transport routes, including the proton transfer through "low-barrier hydrogen bond" path, become active across the interface, dramatically increasing the overall rate of the proton hopping at the interface. Based on our findings, we propose that the observed high photocatalytic activity of TaON-based semiconductors could be attributed to the spontaneous water dissociation and the resulting high proton transfer rate at the interface.


title: On manifolds with nonnegative Ricci curvature and the infimum of volume growth order $<2$

abstract: We prove two rigidity theorems for open (complete and noncompact) $n$-manifolds $M$ with nonnegative Ricci curvature and the infimum of volume growth order $<2$. The first theorem asserts that the Riemannian universal cover of $M$ has Euclidean volume growth if and only if $M$ is flat with an $n-1$ dimensional soul. The second theorem asserts that there exists a nonconstant linear growth harmonic function on $M$ if and only if $M$ is isometric to the metric product $\mathbb{R}\times N$ for some compact manifold $N$.


title: Efficient Algorithms for Learning Monophonic Halfspaces in Graphs

abstract: We study the problem of learning a binary classifier on the vertices of a graph. In particular, we consider classifiers given by monophonic halfspaces, partitions of the vertices that are convex in a certain abstract sense. Monophonic halfspaces, and related notions such as geodesic halfspaces,have recently attracted interest, and several connections have been drawn between their properties(e.g., their VC dimension) and the structure of the underlying graph $G$. We prove several novel results for learning monophonic halfspaces in the supervised, online, and active settings. Our main result is that a monophonic halfspace can be learned with near-optimal passive sample complexity in time polynomial in $n = |V(G)|$. This requires us to devise a polynomial-time algorithm for consistent hypothesis checking, based on several structural insights on monophonic halfspaces and on a reduction to $2$-satisfiability. We prove similar results for the online and active settings. We also show that the concept class can be enumerated with delay $\operatorname{poly}(n)$, and that empirical risk minimization can be performed in time $2^{\omega(G)}\operatorname{poly}(n)$ where $\omega(G)$ is the clique number of $G$. These results answer open questions from the literature (Gonz\'alez et al., 2020), and show a contrast with geodesic halfspaces, for which some of the said problems are NP-hard (Seiffarth et al., 2023).


title: Suppression of temperature-gradient-driven turbulence by sheared flows in fusion plasmas

abstract: Starting from the assumption that saturation of plasma turbulence driven by temperature-gradient instabilities in fusion plasmas is achieved by a local energy cascade between a long-wavelength outer scale, where energy is injected into the fluctuations, and a small-wavelength dissipation scale, where fluctuation energy is thermalized by particle collisions, we formulate a detailed phenomenological theory for the influence of perpendicular flow shear on magnetized-plasma turbulence. Our theory introduces two distinct regimes, called the weak-shear and strong-shear regimes, each with its own set of scaling laws for the scale and amplitude of the fluctuations and for the level of turbulent heat transport. We discover that the ratio of the typical radial and poloidal wavenumbers of the fluctuations (i.e., their aspect ratio) at the outer scale plays a central role in determining the dependence of the turbulent transport on the imposed flow shear. Our theoretical predictions are found to be in excellent agreement with numerical simulations of two paradigmatic models of fusion-relevant plasma turbulence: (i) an electrostatic fluid model of slab electron-scale turbulence, and (ii) Cyclone-base-case gyrokinetic ion-scale turbulence. Additionally, our theory envisions a potential mechanism for the suppression of electron-scale turbulence by perpendicular ion-scale flows based on the role of the aforementioned aspect ratio of the electron-scale fluctuations.


title: Negative contact surgery on Legendrian non-simple knots

abstract: We prove that for any pair of Legendrian representatives of the Chekanov-Eliashberg twist knots with different LOSS invariants, any negative rational contact $r$-surgery with $r\neq -1$ always gives rise to different contact 3-manifolds distinguished by their contact invariants. This gives the first examples of pairs ofLegendrian knots with the same classical invariants but distinct contact $r$-surgeries for all negative rational number $r$. We also generalize the statement from the twist knots to a certain families of two bridge knots.


title: Quantifying small-scale anisotropy in turbulent flows

abstract: The verification of whether small-scale turbulence is isotropic remains a grand challenge. The difficulty arises because the presence of small-scale anisotropy is tied to the dissipation tensor, whose components require the full three-dimensional information of the flow field in both high spatial and temporal resolution, a condition rarely satisfied in turbulence experiments, especially during field scale measurement of atmospheric turbulence. To circumvent this issue, an \emph{intermittency-anisotropy} framework is proposed through which we successfully extract the features of small-scale anisotropy from single-point measurements of turbulent time series by exploiting the properties of small-scale intermittency. Specifically, this framework quantifies anisotropy by studying the contrasting effects of burst-like activities on the scale-wise production of turbulence kinetic energy between the horizontal and vertical directions. The veracity of this approach is tested by applying it over a range of datasets covering an unprecedented range in the Reynolds numbers ($Re \approx 10^{3}$ to $10^{6}$), sampling frequencies (10 kHz to 10 Hz), surface conditions (aerodynamically smooth surfaces to typical grasslands to forest canopies), and flow types (channel flows, boundary layer flows, atmospheric flows, and flows over forest canopies). For these diverse datasets, the findings indicate that the effects of small-scale anisotropy persists up to the integral scales of the streamwise velocity fluctuations and there exists a universal relationship to predict this anisotropy from the two-component state of the Reynolds stress tensor. This relationship is important towards the development of next-generation closure models of wall-turbulence by incorporating the effects of anisotropy at smaller scales of the flow.


title: Brighteye: Glaucoma Screening with Color Fundus Photographs based on Vision Transformer

abstract: Differences in image quality, lighting conditions, and patient demographics pose challenges to automated glaucoma detection from color fundus photography. Brighteye, a method based on Vision Transformer, is proposed for glaucoma detection and glaucomatous feature classification. Brighteye learns long-range relationships among pixels within large fundus images using a self-attention mechanism. Prior to being input into Brighteye, the optic disc is localized using YOLOv8, and the region of interest (ROI) around the disc center is cropped to ensure alignment with clinical practice. Optic disc detection improves the sensitivity at 95% specificity from 79.20% to 85.70% for glaucoma detection and the Hamming distance from 0.2470 to 0.1250 for glaucomatous feature classification. In the developmental stage of the Justified Referral in AI Glaucoma Screening (JustRAIGS) challenge, the overall outcome secured the fifth position out of 226 entries.


title: Guided Conditional Diffusion Classifier (ConDiff) for Enhanced Prediction of Infection in Diabetic Foot Ulcers

abstract: To detect infected wounds in Diabetic Foot Ulcers (DFUs) from photographs, preventing severe complications and amputations. Methods: This paper proposes the Guided Conditional Diffusion Classifier (ConDiff), a novel deep-learning infection detection model that combines guided image synthesis with a denoising diffusion model and distance-based classification. The process involves (1) generating guided conditional synthetic images by injecting Gaussian noise to a guide image, followed by denoising the noise-perturbed image through a reverse diffusion process, conditioned on infection status and (2) classifying infections based on the minimum Euclidean distance between synthesized images and the original guide image in embedding space. Results: ConDiff demonstrated superior performance with an accuracy of 83% and an F1-score of 0.858, outperforming state-of-the-art models by at least 3%. The use of a triplet loss function reduces overfitting in the distance-based classifier. Conclusions: ConDiff not only enhances diagnostic accuracy for DFU infections but also pioneers the use of generative discriminative models for detailed medical image analysis, offering a promising approach for improving patient outcomes.


title: WATCH: A Workflow to Assess Treatment Effect Heterogeneity in Drug Development for Clinical Trial Sponsors

abstract: This paper proposes a Workflow for Assessing Treatment effeCt Heterogeneity (WATCH) in clinical drug development targeted at clinical trial sponsors. The workflow is designed to address the challenges of investigating treatment effect heterogeneity (TEH) in randomized clinical trials, where sample size and multiplicity limit the reliability of findings. The proposed workflow includes four steps: Analysis Planning, Initial Data Analysis and Analysis Dataset Creation, TEH Exploration, and Multidisciplinary Assessment. The workflow aims to provide a systematic approach to explore treatment effect heterogeneity in the exploratory setting, taking into account external evidence and best scientific understanding.


title: Public Computing Intellectuals in the Age of AI Crisis

abstract: The belief that AI technology is on the cusp of causing a generalized social crisis became a popular one in 2023. While there was no doubt an element of hype and exaggeration to some of these accounts, they do reflect the fact that there are troubling ramifications to this technology stack. This conjunction of shared concerns about social, political, and personal futures presaged by current developments in artificial intelligence presents the academic discipline of computing with a renewed opportunity for self-examination and reconfiguration. This position paper endeavors to do so in four sections. The first explores what is at stake for computing in the narrative of an AI crisis. The second articulates possible educational responses to this crisis and advocates for a broader analytic focus on power relations. The third section presents a novel characterization of academic computing's field of practice, one which includes not only the discipline's usual instrumental forms of practice but reflexive practice as well. This reflexive dimension integrates both the critical and public functions of the discipline as equal intellectual partners and a necessary component of any contemporary academic field. The final section will advocate for a conceptual archetype--the Public Computer Intellectual and its less conspicuous but still essential cousin, the (Almost) Public Computer Intellectual--as a way of practically imagining the expanded possibilities of academic practice in our discipline, one that provides both self-critique and an outward-facing orientation towards the public good. It will argue that the computer education research community can play a vital role in this regard. Recommendations for pedagogical change within computing to develop more reflexive capabilities are also provided.


title: Scaling Up the Quantum Divide and Conquer Algorithm for Combinatorial Optimization

abstract: Quantum optimization as a field has largely been restricted by the constraints of current quantum computing hardware, as limitations on size, performance, and fidelity mean most non-trivial problem instances won't fit on quantum devices. Even proposed solutions such as distributed quantum computing systems may struggle to achieve scale due to the high cost of inter-device communication. To address these concerns, we propose Deferred Constraint Quantum Divide and Conquer Algorithm (DC-QDCA), a method for constructing quantum circuits which greatly reduces inter-device communication costs for some quantum graph optimization algorithms. This is achieved by identifying a set of vertices whose removal partitions the input graph, known as a separator; by manipulating the placement of constraints associated with the vertices in the separator, we can greatly simplify the topology of the optimization circuit, reducing the number of required inter-device operations. Furthermore, we introduce an iterative algorithm which builds on these techniques to find solutions for problems with potentially thousands of variables. Our experimental results using quantum simulators have shown that we can construct tractable circuits nearly three times the size of previous QDCA methods while retaining a similar or greater level of quality.


title: Effects of Dzyaloshinskii-Moriya interactions and dipole-dipole interactions on spin waves in finite-length ferromagnetic chains

abstract: A spin-wave theory that includes the antisymmetric Dzyaloshinskii-Moriya exchange interactions and long-range dipole-dipole interactions is presented for finite-length ferromagnetic spin chains. It is found that three different physical situations arise, depending on the direction chosen in this geometry for the axial vector of the Dzyaloshinskii-Moriya interactions. In some cases this leads to a tilting of the equilibrium orientations near the ends of the chain due to interfacial effects and with consequential effects on the spectrum of discrete dipole-exchange spin waves. When variations are introduced for the dominant bilinear exchange interactions at the ends of the spin chain, it is shown that localized spin waves with spatial decay characteristics may occur.


title: SHARE: Secure Hardware Allocation and Resource Efficiency in Quantum Systems

abstract: Quantum computing (QC) is poised to revolutionize problem solving across various fields, with research suggesting that systems with over 50 qubits may achieve quantum advantage surpassing supercomputers in certain optimization tasks. As the hardware size of Noisy Intermediate Scale Quantum (NISQ) computers continues to grow, Multi tenant computing (MTC) has emerged as a viable approach to enhance hardware utilization by allowing shared resource access across multiple quantum programs. However, MTC can also bring challenges and security concerns. This paper focuses on optimizing quantum hardware utilization in shared environments by implementing multi programming strategies that not only enhance hardware utilization but also effectively manage associated risks like crosstalk and fault injection. We propose a novel partitioning and allocation method called Community Based Dynamic Allocation Partitioning (COMDAP) and Secure COMDAP to refine and secure multi programming capabilities in quantum systems. COMDAP ensures equitable and efficient resource distribution, addresses the issues of suboptimal partitioning, and significantly improves hardware utilization. We report a 23 percent average improvement in hardware utilization rate compared to existing greedy heuristics, with rates averaging 92 percent. COMDAP introduces an average increase of approximately 0.05X in delta CX, alongside a 3.5 percent average reduction in PST across benchmarks.


title: Math Multiple Choice Question Generation via Human-Large Language Model Collaboration

abstract: Multiple choice questions (MCQs) are a popular method for evaluating students' knowledge due to their efficiency in administration and grading. Crafting high-quality math MCQs is a labor-intensive process that requires educators to formulate precise stems and plausible distractors. Recent advances in large language models (LLMs) have sparked interest in automating MCQ creation, but challenges persist in ensuring mathematical accuracy and addressing student errors. This paper introduces a prototype tool designed to facilitate collaboration between LLMs and educators for streamlining the math MCQ generation process. We conduct a pilot study involving math educators to investigate how the tool can help them simplify the process of crafting high-quality math MCQs. We found that while LLMs can generate well-formulated question stems, their ability to generate distractors that capture common student errors and misconceptions is limited. Nevertheless, a human-AI collaboration has the potential to enhance the efficiency and effectiveness of MCQ generation.


title: Hiding Sensitive Information Using PDF Steganography

abstract: The use of steganography to transmit secret data is becoming increasingly common in security products and malware today. Despite being extremely popular, PDF files are not often the focus of steganography research, as most applications utilize digital image, audio, and video files as their cover data. However, the PDF file format is promising for usage in medium-capacity steganography applications. In this paper, we present a novel PDF steganography algorithm based upon least-significant bit insertion into the real-valued operands of PDF stream operators. Where prior research has only considered a small subset of these operators, we take an extensive look at all the possible operators defined in the Adobe PDF standard to evaluate their usability in our steganography algorithm. We also provide a case study which embeds malware into a given cover PDF document.


title: IR-fixed Euclidean vacuum for linearized gravity on de Sitter space

abstract: We consider the Euclidean vacuum for linearized gravity on the global de Sitter space, obtained from the Euclidean Green's function on the 4-sphere. We use the notion of Calder\'on projectors to recover a quantum state for the Lorentzian theory on de Sitter space. We show that while the state is gauge invariant and Hadamard, it is not positive on the whole of the phase space. We show however that a suitable modification at low energies yields a well-defined Hadamard state on global de Sitter space.


title: A Convex Formulation of the Soft-Capture Problem

abstract: We present a fast trajectory optimization algorithm for the soft capture of uncooperative tumbling space objects. Our algorithm generates safe, dynamically feasible, and minimum-fuel trajectories for a six-degree-of-freedom servicing spacecraft to achieve soft capture (near-zero relative velocity at contact) between predefined locations on the servicer spacecraft and target body. We solve a convex problem by enforcing a convex relaxation of the field-of-view constraint, followed by a sequential convex program correcting the trajectory for collision avoidance. The optimization problems can be solved with a standard second-order cone programming solver, making the algorithm both fast and practical for implementation in flight software. We demonstrate the performance and robustness of our algorithm in simulation over a range of object tumble rates up to 10{\deg}/s.


title: The Furstenberg-S\'ark\"ozy theorem for polynomials in one or more prime variables

abstract: We establish upper bounds on the size of the largest subset of $\{1,2,\dots,N\}$ lacking nonzero differences of the form $h(p_1,\dots,p_{\ell})$, where $h\in \mathbb{Z}[x_1,\dots,x_{\ell}]$ is a fixed polynomial satisfying appropriate conditions and $p_1,\dots,p_{\ell}$ are prime. The bounds are of the same type as the best-known analogs for unrestricted integer inputs, due to Bloom-Maynard and Arala for $\ell=1$, and to the authors for $\ell \geq 2$.


title: Two variational problems in K\"ahler geometry

abstract: On a K\"ahler manifold we consider the problems of maximizing/minimizing Monge--Amp\`ere energy over certain subsets of the space of K\"ahler potentials. Under suitable assumptions we prove that solutions to these variational problems exist, are unique, and have a simple characterization. We then use the extremals to construct hermitian metrics on holomorphic vector bundles, and investigate their curvature.


title: Aspects of Modular Flavor Symmetries

abstract: Modular flavor symmetries refers to scenarios in which fermion masses respect modular symmetries. Such scenarios have been studied in the bottom-up approach and have an explicit realization in string theory. They rely on the remarkable properties of vector-valued modular forms.


title: Learning to Boost the Performance of Stable Nonlinear Systems

abstract: The growing scale and complexity of safety-critical control systems underscore the need to evolve current control architectures aiming for the unparalleled performances achievable through state-of-the-art optimization and machine learning algorithms. However, maintaining closed-loop stability while boosting the performance of nonlinear control systems using data-driven and deep-learning approaches stands as an important unsolved challenge. In this paper, we tackle the performance-boosting problem with closed-loop stability guarantees. Specifically, we establish a synergy between the Internal Model Control (IMC) principle for nonlinear systems and state-of-the-art unconstrained optimization approaches for learning stable dynamics. Our methods enable learning over arbitrarily deep neural network classes of performance-boosting controllers for stable nonlinear systems; crucially, we guarantee Lp closed-loop stability even if optimization is halted prematurely, and even when the ground-truth dynamics are unknown, with vanishing conservatism in the class of stabilizing policies as the model uncertainty is reduced to zero. We discuss the implementation details of the proposed control schemes, including distributed ones, along with the corresponding optimization procedures, demonstrating the potential of freely shaping the cost functions through several numerical experiments.


title: Beyond the Standard Model: An overview

abstract: At present, the Standard Model (SM) agrees with almost all collider data. Yet, three finetuning issues -- the Higgs mass problem, the strong CP problem and the cosmological constant problem -- all call for new physics. The most plausible solutions at present are weak scale SUSY, the PQWW axion and the string landscape. A re-evaluation of EW finetuning in SUSY allows for a higgsino-like LSP and naturalness upper bounds well beyond LHC limits. Rather general arguments from string theory allow for statistical predictions that m_h~ 125 GeV with sparticles beyond present LHC limits. The most lucrative LHC search channel may be for light higgsino pair production. Dark matter turns out to be a SUSY DFSZ axion along with a diminished abundance of higgsino-like WIMPs.


title: Implementing a synthetic magnetic vector potential in a 2D superconducting qubit array

abstract: Superconducting quantum processors are a compelling platform for analog quantum simulation due to the precision control, fast operation, and site-resolved readout inherent to the hardware. Arrays of coupled superconducting qubits natively emulate the dynamics of interacting particles according to the Bose-Hubbard model. However, many interesting condensed-matter phenomena emerge only in the presence of electromagnetic fields. Here, we emulate the dynamics of charged particles in an electromagnetic field using a superconducting quantum simulator. We realize a broadly adjustable synthetic magnetic vector potential by applying continuous modulation tones to all qubits. We verify that the synthetic vector potential obeys requisite properties of electromagnetism: a spatially-varying vector potential breaks time-reversal symmetry and generates a gauge-invariant synthetic magnetic field, and a temporally-varying vector potential produces a synthetic electric field. We demonstrate that the Hall effect--the transverse deflection of a charged particle propagating in an electromagnetic field--exists in the presence of the synthetic electromagnetic field.


title: Artificial intelligence for context-aware visual change detection in software test automation

abstract: Automated software testing is integral to the software development process, streamlining workflows and ensuring product reliability. Visual testing within this context, especially concerning user interface (UI) and user experience (UX) validation, stands as one of crucial determinants of overall software quality. Nevertheless, conventional methods like pixel-wise comparison and region-based visual change detection fall short in capturing contextual similarities, nuanced alterations, and understanding the spatial relationships between UI elements. In this paper, we introduce a novel graph-based method for visual change detection in software test automation. Leveraging a machine learning model, our method accurately identifies UI controls from software screenshots and constructs a graph representing contextual and spatial relationships between the controls. This information is then used to find correspondence between UI controls within screenshots of different versions of a software. The resulting graph encapsulates the intricate layout of the UI and underlying contextual relations, providing a holistic and context-aware model. This model is finally used to detect and highlight visual regressions in the UI. Comprehensive experiments on different datasets showed that our change detector can accurately detect visual software changes in various simple and complex test scenarios. Moreover, it outperformed pixel-wise comparison and region-based baselines by a large margin in more complex testing scenarios. This work not only contributes to the advancement of visual change detection but also holds practical implications, offering a robust solution for real-world software test automation challenges, enhancing reliability, and ensuring the seamless evolution of software interfaces.


title: Fray functors and equivalence of colored HOMFLYPT homologies

abstract: We construct several families of functors on the homotopy category of singular Soergel bimodules that mimic cabling and insertion of column-colored projectors. We use these functors to identify the intrinsically-colored homology of Webster--Williamson and the projector-colored homology of Elias--Hogancamp for an arbitrary link, up to multiplication by a polynomial in the quantum degree $q$. Combined with the results of arXiv:2303.16271, this establishes parity results for the intrinsic column-colored homology of positive torus knots, partially resolving a conjecture of Hogancamp--Rose--Wedrich in arXiv:2107.09590.


title: Beyond Human Vision: The Role of Large Vision Language Models in Microscope Image Analysis

abstract: Vision language models (VLMs) have recently emerged and gained the spotlight for their ability to comprehend the dual modality of image and textual data. VLMs such as LLaVA, ChatGPT-4, and Gemini have recently shown impressive performance on tasks such as natural image captioning, visual question answering (VQA), and spatial reasoning. Additionally, a universal segmentation model by Meta AI, Segment Anything Model (SAM) shows unprecedented performance at isolating objects from unforeseen images. Since medical experts, biologists, and materials scientists routinely examine microscopy or medical images in conjunction with textual information in the form of captions, literature, or reports, and draw conclusions of great importance and merit, it is indubitably essential to test the performance of VLMs and foundation models such as SAM, on these images. In this study, we charge ChatGPT, LLaVA, Gemini, and SAM with classification, segmentation, counting, and VQA tasks on a variety of microscopy images. We observe that ChatGPT and Gemini are impressively able to comprehend the visual features in microscopy images, while SAM is quite capable at isolating artefacts in a general sense. However, the performance is not close to that of a domain expert - the models are readily encumbered by the introduction of impurities, defects, artefact overlaps and diversity present in the images.


title: Markov flow policy -- deep MC

abstract: Discounted algorithms often encounter evaluation errors due to their reliance on short-term estimations, which can impede their efficacy in addressing simple, short-term tasks and impose undesired temporal discounts (\(\gamma\)). Interestingly, these algorithms are often tested without applying a discount, a phenomenon we refer as the \textit{train-test bias}. In response to these challenges, we propose the Markov Flow Policy, which utilizes a non-negative neural network flow to enable comprehensive forward-view predictions. Through integration into the TD7 codebase and evaluation using the MuJoCo benchmark, we observe significant performance improvements, positioning MFP as a straightforward, practical, and easily implementable solution within the domain of average rewards algorithms.


title: SonicDiffusion: Audio-Driven Image Generation and Editing with Pretrained Diffusion Models

abstract: We are witnessing a revolution in conditional image synthesis with the recent success of large scale text-to-image generation methods. This success also opens up new opportunities in controlling the generation and editing process using multi-modal input. While spatial control using cues such as depth, sketch, and other images has attracted a lot of research, we argue that another equally effective modality is audio since sound and sight are two main components of human perception. Hence, we propose a method to enable audio-conditioning in large scale image diffusion models. Our method first maps features obtained from audio clips to tokens that can be injected into the diffusion model in a fashion similar to text tokens. We introduce additional audio-image cross attention layers which we finetune while freezing the weights of the original layers of the diffusion model. In addition to audio conditioned image generation, our method can also be utilized in conjuction with diffusion based editing methods to enable audio conditioned image editing. We demonstrate our method on a wide range of audio and image datasets. We perform extensive comparisons with recent methods and show favorable performance.


title: Machine Learning Techniques for Data Reduction of Climate Applications

abstract: Scientists conduct large-scale simulations to compute derived quantities-of-interest (QoI) from primary data. Often, QoI are linked to specific features, regions, or time intervals, such that data can be adaptively reduced without compromising the integrity of QoI. For many spatiotemporal applications, these QoI are binary in nature and represent presence or absence of a physical phenomenon. We present a pipelined compression approach that first uses neural-network-based techniques to derive regions where QoI are highly likely to be present. Then, we employ a Guaranteed Autoencoder (GAE) to compress data with differential error bounds. GAE uses QoI information to apply low-error compression to only these regions. This results in overall high compression ratios while still achieving downstream goals of simulation or data collections. Experimental results are presented for climate data generated from the E3SM Simulation model for downstream quantities such as tropical cyclone and atmospheric river detection and tracking. These results show that our approach is superior to comparable methods in the literature.


title: $U_A(1)$ symmetry breaking quark interactions from vacuum polarization

abstract: By considering the one loop background field method for a quark-antiquark interaction, mediated by one (non perturbative) gluon exchange, sixth order quark effective interactions are derived and investigated in the limit of zero momentum transfer for large quark and/or gluon effective masses. They extend fourth order quark interactions worked out in previous works of the author. These interactions break $U_A(1)$ symmetry and may be either momentum independent or dependent. Part of these interactions vanish in the limit of massless quarks, and several other - involving vector and/or axial quark currents - survive. In the local limit of the resulting interactions, some phenomenological implications are presented, which correspond to corrections to the Nambu-Jona-Lasinio model. By means of the auxiliary field method, the local interactions give rise to three meson interactions whose values are compared to phenomenological values found in the literature. Contributions for meson-mixing parameters are calculated and compared to available results.


title: Bijective and Automated Approaches to Abel Sums

abstract: We present both bijective and automated approaches to Abel-type sums, dear to Dominique Foata.


title: A Differentiable Dynamic Modeling Approach to Integrated Motion Planning and Actuator Physical Design for Mobile Manipulators

abstract: This paper investigates the differentiable dynamic modeling of mobile manipulators to facilitate efficient motion planning and physical design of actuators, where the actuator design is parameterized by physically meaningful motor geometry parameters. These parameters impact the manipulator's link mass, inertia, center-of-mass, torque constraints, and angular velocity constraints, influencing control authority in motion planning and trajectory tracking control. A motor's maximum torque/speed and how the design parameters affect the dynamics are modeled analytically, facilitating differentiable and analytical dynamic modeling. Additionally, an integrated locomotion and manipulation planning problem is formulated with direct collocation discretization, using the proposed differentiable dynamics and motor parameterization. Such dynamics are required to capture the dynamic coupling between the base and the manipulator. Numerical experiments demonstrate the effectiveness of differentiable dynamics in speeding up optimization and advantages in task completion time and energy consumption over established sequential motion planning approach. Finally, this paper introduces a simultaneous actuator design and motion planning framework, providing numerical results to validate the proposed differentiable modeling approach for co-design problems.


title: Evidence of 1+1D photorefractive stripe solitons deep in the Kerr limit

abstract: The Kerr nonlinearity allows for exact analytic soliton solutions in 1+1D. While nothing excludes that these solitons form in naturally-occurring real-world 3D settings as solitary walls or stripes, their observation has previously been considered unfeasible because of the strong transverse instability intrinsic to the extended nonlinear perturbation. We report the observation of solitons that are fully compatible with the 1+1D Kerr paradigm limit hosted in a 2+1D system. The waves are stripe spatial solitons in bulk copper doped potassium-lithium-tantalate-niobate (KLTN) supported by the unsaturated photorefractive screening nonlinearity. The parameters of the stripe solitons fit well, in the whole existence domain, with the 1+1D existence curve that we derive for the first time in closed form starting from the saturable model of propagation. Transverse instability, that accompanies the solitons embedded in the 3D system, is found to have a gain length much longer than the crystal. Findings establish our system as a versatile platform for investigating exact soliton solutions in bulk settings and in exploring the role of dimensionality at the transition from integrable to non-integrable regimes of propagation.


title: What's So Hard about the Monty Hall Problem?

abstract: The Monty Hall problem is notorious for its deceptive simplicity. Although today it is widely used as a provocative thought experiment to introduce Bayesian thinking to students of probability, in the not so distant past it was rejected by established mathematicians. This essay provides some historical background to the problem and explains why it is considered so counter-intuitive to many. It is argued that the main barrier to understanding the problem is the back-grounding of the concept of dependence in probability theory as it is commonly taught. To demonstrate this, a Bayesian solution is provided and augmented with a probabilistic graphical model (PGM) inspired by the work of Pearl (1988, 1998). Although the Bayesian approach produces the correct answer, without a representation of the dependency structure of events implied by the problem, the salient fact that motivates the problem's solution remains hidden.


title: WHALE-FL: Wireless and Heterogeneity Aware Latency Efficient Federated Learning over Mobile Devices via Adaptive Subnetwork Scheduling

abstract: As a popular distributed learning paradigm, federated learning (FL) over mobile devices fosters numerous applications, while their practical deployment is hindered by participating devices' computing and communication heterogeneity. Some pioneering research efforts proposed to extract subnetworks from the global model, and assign as large a subnetwork as possible to the device for local training based on its full computing and communications capacity. Although such fixed size subnetwork assignment enables FL training over heterogeneous mobile devices, it is unaware of (i) the dynamic changes of devices' communication and computing conditions and (ii) FL training progress and its dynamic requirements of local training contributions, both of which may cause very long FL training delay. Motivated by those dynamics, in this paper, we develop a wireless and heterogeneity aware latency efficient FL (WHALE-FL) approach to accelerate FL training through adaptive subnetwork scheduling. Instead of sticking to the fixed size subnetwork, WHALE-FL introduces a novel subnetwork selection utility function to capture device and FL training dynamics, and guides the mobile device to adaptively select the subnetwork size for local training based on (a) its computing and communication capacity, (b) its dynamic computing and/or communication conditions, and (c) FL training status and its corresponding requirements for local training contributions. Our evaluation shows that, compared with peer designs, WHALE-FL effectively accelerates FL training without sacrificing learning accuracy.


title: Implementation of a Mesh refinement algorithm into the quasi-static PIC code QuickPIC

abstract: Plasma-based acceleration (PBA) has emerged as a promising candidate for the accelerator technology used to build a future linear collider and/or an advanced light source. In PBA, a trailing or witness particle beam is accelerated in the plasma wave wakefield (WF) created by a laser or particle beam driver. The distance over which the drive beam evolves is several orders of magnitude larger than the wake wavelength. This large disparity in length scales is amenable to the quasi-static approach. Three-dimensional (3D), quasi-static (QS), particle-in-cell (PIC) codes, e.g., QuickPIC, have been shown to provide high fidelity simulation capability with 2-4 orders of magnitude speedup over 3D fully explicit PIC codes. We describe a mesh refinement scheme that has been implemented into the 3D QS PIC code, QuickPIC. We use a very fine (high) resolution in a small spatial region that includes the witness beam and progressively coarser resolutions in the rest of the simulation domain. A fast multigrid Poisson solver has been implemented for the field solve on the refined meshes and a Fast Fourier Transform (FFT) based Poisson solver is used for the coarse mesh. The code has been parallelized with both MPI and OpenMP, and the parallel scalability has also been improved by using pipelining. A preliminary adaptive mesh refinement technique is described to optimize the computational time for simulations with an evolving witness beam size. Several test problems are used to verify that the mesh refinement algorithm provides accurate results. The results are also compared to highly resolved simulations with near azimuthal symmetry using a new hybrid QS PIC code QPAD that uses a PIC description in the coordinates ($r$, $ct-z$) and a gridless description in the azimuthal angle, $\phi$.


title: On the Role of Reflectarrays for Interplanetary Links

abstract: Interplanetary links (IPL) serve as crucial enablers for space exploration, facilitating secure and adaptable space missions. An integrated IPL with inter-satellite communication (IP-ISL) establishes a unified deep space network, expanding coverage and reducing atmospheric losses. The challenges, including irregularities in charged density, hardware impairments, and hidden celestial body brightness are analyzed with a reflectarray-based IP-ISL between Earth and Moon orbiters. It is observed that $10^{-8}$ order severe hardware impairments with intense solar plasma density drops an ideal system's spectral efficiency (SE) from $\sim\!38~\textrm{(bit/s)/Hz}$ down to $0~\textrm{(bit/s)/Hz}$. An ideal full angle of arrival fluctuation recovery with full steering range achieves $\sim\!20~\textrm{(bit/s)/Hz}$ gain and a limited beamsteering with a numerical reflectarray design achieves at least $\sim\!1~\textrm{(bit/s)/Hz}$ gain in severe hardware impairment cases.


title: DynaMo: Accelerating Language Model Inference with Dynamic Multi-Token Sampling

abstract: Traditional language models operate autoregressively, i.e., they predict one token at a time. Rapid explosion in model sizes has resulted in high inference times. In this work, we propose DynaMo, a suite of multi-token prediction language models that reduce net inference times. Our models $\textit{dynamically}$ predict multiple tokens based on their confidence in the predicted joint probability distribution. We propose a lightweight technique to train these models, leveraging the weights of traditional autoregressive counterparts. Moreover, we propose novel ways to enhance the estimated joint probability to improve text generation quality, namely co-occurrence weighted masking and adaptive thresholding. We also propose systematic qualitative and quantitative methods to rigorously test the quality of generated text for non-autoregressive generation. One of the models in our suite, DynaMo-7.3B-T3, achieves same-quality generated text as the baseline (Pythia-6.9B) while achieving 2.57$\times$ speed-up with only 5.87% and 2.67% parameter and training time overheads, respectively.


title: Uniqueness of $p$-local truncated Brown-Peterson spectra

abstract: When $p$ is an odd prime, we prove that the $\mathbb F_p$-cohomology of $\mathrm{BP}\langle n\rangle$ as a module over the Steenrod algebra determines the $p$-local spectrum $\mathrm{BP}\langle n\rangle$. In particular, we prove that the $p$-local spectrum $\mathrm{BP}\langle n\rangle$ only depends on its $p$-completion $\mathrm{BP}\langle n\rangle_p^\wedge$. As a corollary, this proves that the $p$-local homotopy type of $\mathrm{BP}\langle n\rangle$ does not depend on the ideal by which we take the quotient of $\mathrm{BP}$. In the course of the argument, we show that there is a vanishing line for odd degree classes in the Adams spectral sequence for endomorphisms of $\mathrm{BP}\langle n\rangle$. We also prove that there are enough endomorphisms of $\mathrm{BP}\langle n\rangle$ in a suitable sense. When $p=2$, we obtain the results for $n\leq 3$.


title: Revisiting relativistic electrically charged polytropic spheres

abstract: We revisit the problem of the structure and physical properties of electrically charged static spherically symmetric solutions of the Einstein-Maxwell system of equations where the matter model is a polytropic gas. We consider a relativistic polytrope equation of state and take the electric charge density to be proportional to the rest mass density. We construct the families of solutions corresponding to various sets of parameters and analyze their stability and compliance with the causality requirement, with special emphasis on the possibility of constructing black hole mimickers. Concretely, we want to test how much electric charge a given object can hold and how compact it can be. We conclude that there is a microscopic bound on the charge density to rest mass density ratio coincident with the macroscopic bound regarding the extremal Reissner-Nordst\"om black hole. The macroscopic charge to mass ratio for the object can exceed the corresponding microscopic ratio if the object is non-extremal. Crucially, the only way to obtain a black hole mimicker is by taking a subtle limit in which an electrically counterpoised dust solution is obtained.


title: An interacting particle consensus method for constrained global optimization

abstract: This paper presents a particle-based optimization method designed for addressing minimization problems with equality constraints, particularly in cases where the loss function exhibits non-differentiability or non-convexity. The proposed method combines components from consensus-based optimization algorithm with a newly introduced forcing term directed at the constraint set. A rigorous mean-field limit of the particle system is derived, and the convergence of the mean-field limit to the constrained minimizer is established. Additionally, we introduce a stable discretized algorithm and conduct various numerical experiments to demonstrate the performance of the proposed method.


title: Wake Vision: A Large-scale, Diverse Dataset and Benchmark Suite for TinyML Person Detection

abstract: Tiny machine learning (TinyML), which enables machine learning applications on extremely low-power devices, suffers from limited size and quality of relevant datasets. To address this issue, we introduce Wake Vision, a large-scale, diverse dataset tailored for person detection, the canonical task for TinyML visual sensing. Wake Vision comprises over 6 million images, representing a hundredfold increase compared to the previous standard, and has undergone thorough quality filtering. We provide two Wake Vision training sets: Wake Vision (Large) and Wake Vision (Quality), a smaller set with higher-quality labels. Our results demonstrate that using the Wake Vision (Quality) training set produces more accurate models than the Wake Vision (Large) training set, strongly suggesting that label quality is more important than quantity in our setting. We find use for the large training set for pre-training and knowledge distillation. To minimize label errors that can obscure true model performance, we manually label the validation and test sets, improving the test set error rate from 7.8% in the prior standard to only 2.2%. In addition to the dataset, we provide a collection of five detailed benchmark sets to facilitate the evaluation of model quality in challenging real world scenarios that are often ignored when focusing solely on overall accuracy. These novel fine-grained benchmarks assess model performance on specific segments of the test data, such as varying lighting conditions, distances from the camera, and demographic characteristics of subjects. Our results demonstrate that using Wake Vision for training results in a 2.49% increase in accuracy compared to the established dataset. We also show the importance of dataset quality for low-capacity models and the value of dataset size for high-capacity models. wakevision.ai


title: Stepwise ionization of Mo$^{14+}$ ions in EBIT: The importance of the metastable level

abstract: The visible spectrum of Mo$^{15+}$ ions was measured using a high-temperature superconducting electron-beam ion trap at the Shanghai EBIT Laboratory, with an electron beam energy $E_{e}$=400 eV, significantly lower than the ionization potential (IP=544.0 eV) of Mo$^{14+}$ ions in the ground state. To expound on the experiment, the energy level structure, radiative transition properties, electron-impact excitation, and electron-impact ionization cross section for both the ground state and low-lying excited state of the Mo$^{14+}$ ions were calculated using Dirac-Fock-Slater method with a local central potential and distorted wave approximation. The results demonstrated reasonable agreement with both available experimental and theoretical data. Through an analysis of the related atomic processes of Mo$^{14+}$ ion, a scenario involving the stepwise ionization of the metastable state 3p$^{6}$3d$^{9}$4s was proposed to explain the presence of the Mo$^{15+}$ ions with a lower energy of the incident electron. Finally, the significance of the metastable levels in ionizing Mo$^{14+}$ ions is highlighted.