title: On the Interpretability of Part-Prototype Based Classifiers: A Human Centric Analysis

abstract: Part-prototype networks have recently become methods of interest as an interpretable alternative to many of the current black-box image classifiers. However, the interpretability of these methods from the perspective of human users has not been sufficiently explored. In this work, we have devised a framework for evaluating the interpretability of part-prototype-based models from a human perspective. The proposed framework consists of three actionable metrics and experiments. To demonstrate the usefulness of our framework, we performed an extensive set of experiments using Amazon Mechanical Turk. They not only show the capability of our framework in assessing the interpretability of various part-prototype-based models, but they also are, to the best of our knowledge, the most comprehensive work on evaluating such methods in a unified framework.


title: Self-induced inverse spin Hall effect in La$_{0.67}$Sr$_{0.33}$MnO$_{3}$ films

abstract: The efficient generation of spin currents and spin torques via spin-orbit coupling is an important goal of spintronics research. One crucial metric for spin current generation is the spin Hall angle, which is the ratio of the spin Hall current to the transversely flowing charge current. A typical approach to measure the spin Hall angle in nonmagnetic materials is to generate spin currents via spin pumping in an adjacent ferromagnetic layer and measure the transverse voltage from the inverse spin Hall effect in the nonmagnetic layer. However, given that the spin Hall effect also occurs in ferromagnets, single ferromagnetic layers could generate a self-induced transverse voltage during spin pumping as well. Here we show that manganite based La$_{0.67}$Sr$_{0.33}$MnO$_{3}$ (LSMO) films deposited by pulsed laser deposition exhibit a significant self-induced inverse spin Hall voltage while undergoing spin pumping. We observe efficient spin to charge conversion in the LSMO films via the inverse spin Hall effect. A spin pumping voltage of 1.86 $\mu$V is observed in the LSMO (12 nm) film. Using density functional theory and the Kubo formalism, we calculate the intrinsic spin current conductivities of these films and show that they are in reasonable agreement with the experimental measurements.


title: ObjectComposer: Consistent Generation of Multiple Objects Without Fine-tuning

abstract: Recent text-to-image generative models can generate high-fidelity images from text prompts. However, these models struggle to consistently generate the same objects in different contexts with the same appearance. Consistent object generation is important to many downstream tasks like generating comic book illustrations with consistent characters and setting. Numerous approaches attempt to solve this problem by extending the vocabulary of diffusion models through fine-tuning. However, even lightweight fine-tuning approaches can be prohibitively expensive to run at scale and in real-time. We introduce a method called ObjectComposer for generating compositions of multiple objects that resemble user-specified images. Our approach is training-free, leveraging the abilities of preexisting models. We build upon the recent BLIP-Diffusion model, which can generate images of single objects specified by reference images. ObjectComposer enables the consistent generation of compositions containing multiple specific objects simultaneously, all without modifying the weights of the underlying models.


title: Positivity-free Policy Learning with Observational Data

abstract: Policy learning utilizing observational data is pivotal across various domains, with the objective of learning the optimal treatment assignment policy while adhering to specific constraints such as fairness, budget, and simplicity. This study introduces a novel positivity-free (stochastic) policy learning framework designed to address the challenges posed by the impracticality of the positivity assumption in real-world scenarios. This framework leverages incremental propensity score policies to adjust propensity score values instead of assigning fixed values to treatments. We characterize these incremental propensity score policies and establish identification conditions, employing semiparametric efficiency theory to propose efficient estimators capable of achieving rapid convergence rates, even when integrated with advanced machine learning algorithms. This paper provides a thorough exploration of the theoretical guarantees associated with policy learning and validates the proposed framework's finite-sample performance through comprehensive numerical experiments, ensuring the identification of causal effects from observational data is both robust and reliable.


title: Flood and Echo Net: Algorithmically Aligned GNNs that Generalize

abstract: Most Graph Neural Networks follow the standard message-passing framework where, in each step, all nodes simultaneously communicate with each other. We want to challenge this paradigm by aligning the computation more closely to the execution of distributed algorithms and propose the Flood and Echo Net. A single round of a Flood and Echo Net consists of an origin node and a flooding phase followed by an echo phase. First, during the flooding, messages are sent from the origin and propagated outwards throughout the entire graph. Then, during the echo, the message flow reverses and messages are sent back towards the origin. As nodes are only sparsely activated upon receiving a message, this leads to a wave-like activation pattern that traverses the graph. Through these sparse but parallel activations, the Net becomes more expressive than traditional MPNNs which are limited by the 1-WL test and also is provably more efficient in terms of message complexity. Moreover, the mechanism's inherent ability to generalize across graphs of varying sizes positions it as a practical architecture for the task of algorithmic learning. We test the Flood and Echo Net on a variety of synthetic tasks and the SALSA-CLRS benchmark and find that the algorithmic alignment of the execution improves generalization to larger graph sizes.


title: Hypergeometric $L$-functions in average polynomial time, II

abstract: For a fixed positive integer $e$, we describe an algorithm for computing, for all primes $p \leq X$, the mod-$p^e$ reduction of the trace of Frobenius at $p$ of a fixed hypergeometric motive over $\mathbb{Q}$ in time quasilinear in $X$. This extends our previous work for the mod-$p$ reduction, again combining the Beukers--Cohen--Mellit trace formula with average polynomial time techniques of Harvey and Harvey--Sutherland; the key new ingredient is an expanded version of Harvey's "generic prime" construction, making it possible to incorporate certain $p$-adic transcendental functions into the computation. One of these is the $p$-adic Gamma function, whose average polynomial time computation is an intermediate step which may be of independent interest. We also provide an implementation in Sage and discuss the remaining computational issues around computing hypergeometric $L$-series.


title: Quantisation Across Bubble Walls and Friction

abstract: We quantise from first principles field theories living on the background of a bubble wall in the planar limit with particular focus on the case of spontaneous breaking of gauge symmetry. Using these tools, we compute the average momentum transfer from transition radiation: the soft emission of radiation by an energetic particle passing across the wall, with a particular focus on the longitudinal polarisation of vectors. We find these to be comparable to transverse polarisations in symmetry-breaking transitions with mild super-cooling, and dominant in broken to broken transitions with thin wall. Our results have phenomenological applications for the expansion of bubbles during first order phase transitions. Our general framework allows for the calculation of any particle processes of interest in such translation breaking backgrounds.


title: Federated Quantum Machine Learning with Differential Privacy

abstract: The preservation of privacy is a critical concern in the implementation of artificial intelligence on sensitive training data. There are several techniques to preserve data privacy but quantum computations are inherently more secure due to the no-cloning theorem, resulting in a most desirable computational platform on top of the potential quantum advantages. There have been prior works in protecting data privacy by Quantum Federated Learning (QFL) and Quantum Differential Privacy (QDP) studied independently. However, to the best of our knowledge, no prior work has addressed both QFL and QDP together yet. Here, we propose to combine these privacy-preserving methods and implement them on the quantum platform, so that we can achieve comprehensive protection against data leakage (QFL) and model inversion attacks (QDP). This implementation promises more efficient and secure artificial intelligence. In this paper, we present a successful implementation of these privacy-preservation methods by performing the binary classification of the Cats vs Dogs dataset. Using our quantum-classical machine learning model, we obtained a test accuracy of over 0.98, while maintaining epsilon values less than 1.3. We show that federated differentially private training is a viable privacy preservation method for quantum machine learning on Noisy Intermediate-Scale Quantum (NISQ) devices.


title: Efficient Path Planning in Large Unknown Environments with Switchable System Models for Automated Vehicles

abstract: Large environments are challenging for path planning algorithms as the size of the configuration space increases. Furthermore, if the environment is mainly unexplored, large amounts of the path are planned through unknown areas. Hence, a complete replanning of the entire path occurs whenever the path collides with newly discovered obstacles. We propose a novel method that stops the path planning algorithm after a certain distance. It is used to navigate the algorithm in large environments and is not prone to problems of existing navigation approaches. Furthermore, we developed a method to detect significant environment changes to allow a more efficient replanning. At last, we extend the path planner to be used in the U-Shift concept vehicle. It can switch to another system model and rotate around the center of its rear axis. The results show that the proposed methods generate nearly identical paths compared to the standard Hybrid A* while drastically reducing the execution time. Furthermore, we show that the extended path planning algorithm enables the efficient use of the maneuvering capabilities of the concept vehicle to plan concise paths in narrow environments.


title: Reconfigurable Intelligent Surfaces-Enabled Intra-Cell Pilot Reuse in Massive MIMO Systems

abstract: Channel state information (CSI) estimation is a critical issue in the design of modern massive multiple-input multiple-output (mMIMO) networks. With the increasing number of users, assigning orthogonal pilots to everyone incurs a large overhead that strongly penalizes the system's spectral efficiency (SE). It becomes thus necessary to reuse pilots, giving rise to pilot contamination, a vital performance bottleneck of mMIMO networks. Reusing pilots among the users of the same cell is a desirable operation condition from the perspective of reducing training overheads; however, the intra-cell pilot contamination might worsen due to the users' proximity. Reconfigurable intelligent surfaces (RISs), capable of smartly controlling the wireless channel, can be leveraged for intra-cell pilot reuse. In this paper, our main contribution is a RIS-aided approach for intra-cell pilot reuse and the corresponding channel estimation method. Relying upon the knowledge of only statistical CSI, we optimize the RIS phase shifts based on a manifold optimization framework and the RIS positioning based on a deterministic approach. The extensive numerical results highlight the remarkable performance improvements the proposed scheme achieves (for both uplink and downlink transmissions) compared to other alternatives.


title: Extended Wigner's friend paradoxes do not require nonlocal correlations

abstract: Extended Wigner's friend no-go theorems provide a modern lens for investigating the measurement problem, by making precise the challenges that arise when one attempts to model agents as dynamical quantum systems. Most such no-go theorems studied to date, such as the Frauchiger-Renner argument and the Local Friendliness argument, are explicitly constructed using quantum correlations that violate Bell inequalities. In this work, we show that such correlations are not necessary for having extended Wigner's friend paradoxes, by constructing a no-go theorem utilizing a proof of the failure of noncontextuality. The argument hinges on a novel metaphysical assumption (which we term Commutation Irrelevance) that is a natural extension of a key assumption going into the Frauchiger and Renner's no-go theorem.


title: Why bother with geometry? On the relevance of linear decompositions of Transformer embeddings

abstract: A recent body of work has demonstrated that Transformer embeddings can be linearly decomposed into well-defined sums of factors, that can in turn be related to specific network inputs or components. There is however still a dearth of work studying whether these mathematical reformulations are empirically meaningful. In the present work, we study representations from machine-translation decoders using two of such embedding decomposition methods. Our results indicate that, while decomposition-derived indicators effectively correlate with model performance, variation across different runs suggests a more nuanced take on this question. The high variability of our measurements indicate that geometry reflects model-specific characteristics more than it does sentence-specific computations, and that similar training conditions do not guarantee similar vector spaces.


title: $L^{p}-$estimates for uncentered spherical averages and lacunary maximal functions

abstract: We prove $L^p-$estimates for lacunary maximal functions associated with uncentered spherical averages and Nikodym averages associated with spheres. In the process, we require to prove $L^p-$improving properties for single scale averaging operators in this context. In the second half of the paper, we define bilinear analogues of uncentered spherical maximal function and the Nikodym maximal function and study their $L^p-$boundedness properties. Interestingly, in the bilinear setting, one-dimensional case is also meaningful. We obtain $L^p-$estimates for lacunary uncentered bilinear maximal functions in all dimensions.


title: Modulating Resonant Electronic Coupling of Tungsten Diselenide Monolayers with Vanadyl Phthalocyanine for Spin-Valley Polarization Control

abstract: Combining the synthetic tunability of molecular compounds with the optical selection rules of transition metal dichalcogenides (TMDC) that derive from spin-valley coupling could provide interesting opportunities for the readout of quantum information. However, little is known about the electronic and spin interactions at such interfaces and the influence on spin-valley relaxation. In this work we investigate various heterojunctions of vanadyl phthalocyanine (VOPc) thermally evaporated on WSe$_2$ and find that local ordering of the molecular layer plays an important role in the electronic perturbation of WSe$_2$, which in turn directly influences the spin-valley polarization lifetime. A thin molecular layer results in a hybrid state which destroys the spin-valley polarization almost instantaneously, whereas a thicker molecular layer with well-defined local ordering shows minimal electronic perturbation and results in longer-lived spin-valley polarization than the WSe$_2$ monolayer alone.


title: Uniqueness of Semigraphical Translators

abstract: We prove a conjecture by Hoffman, White, and the first author regarding the uniqueness of pitchfork and helicoid translators of the mean curvature flow in $\mathbb{R}^3$. We employ an arc-counting argument motivated by Morse-Rad\'o theory for translators and a rotational maximum principle. Applications to the classification of semigraphical translators in $\mathbb{R}^3$ and their limits are discussed, strengthening compactness results of the first author with Hoffman-White and with Gama-Moller.


title: Universal and nonuniversal probability laws in Markovian open quantum dynamics subject to generalized reset processes

abstract: We consider quantum jump trajectories of Markovian open quantum systems subject to stochastic in time resets of their state to an initial configuration. The reset events provide a partitioning of quantum trajectories into consecutive time intervals, defining sequences of random variables from the values of a trajectory observable within each of the intervals. For observables related to functions of the quantum state, we show that the probability of certain orderings in the sequences obeys a universal law. This law does not depend on the chosen observable and, in case of Poissonian reset processes, not even on the details of the dynamics. When considering (discrete) observables associated with the counting of quantum jumps, the probabilities in general lose their universal character. Universality is only recovered in cases when the probability of observing equal outcomes in a same sequence is vanishingly small, which we can achieve in a weak reset rate limit. Our results extend previous findings on classical stochastic processes [N.~R.~Smith et al., EPL {\bf 142}, 51002 (2023)] to the quantum domain and to state-dependent reset processes, shedding light on relevant aspects for the emergence of universal probability laws.


title: Data Distillation Can Be Like Vodka: Distilling More Times For Better Quality

abstract: Dataset distillation aims to minimize the time and memory needed for training deep networks on large datasets, by creating a small set of synthetic images that has a similar generalization performance to that of the full dataset. However, current dataset distillation techniques fall short, showing a notable performance gap when compared to training on the original data. In this work, we are the first to argue that using just one synthetic subset for distillation will not yield optimal generalization performance. This is because the training dynamics of deep networks drastically change during the training. Hence, multiple synthetic subsets are required to capture the training dynamics at different phases of training. To address this issue, we propose Progressive Dataset Distillation (PDD). PDD synthesizes multiple small sets of synthetic images, each conditioned on the previous sets, and trains the model on the cumulative union of these subsets without requiring additional training time. Our extensive experiments show that PDD can effectively improve the performance of existing dataset distillation methods by up to 4.3%. In addition, our method for the first time enable generating considerably larger synthetic datasets.


title: Violation of Expectation via Metacognitive Prompting Reduces Theory of Mind Prediction Error in Large Language Models

abstract: Recent research shows that Large Language Models (LLMs) exhibit a compelling level of proficiency in Theory of Mind (ToM) tasks. This ability to impute unobservable mental states to others is vital to human social cognition and may prove equally important in principal-agent relations between individual humans and Artificial Intelligences (AIs). In this paper, we explore how a mechanism studied in developmental psychology known as Violation of Expectation (VoE) can be implemented to reduce errors in LLM prediction about users by leveraging emergent ToM affordances. And we introduce a \textit{metacognitive prompting} framework to apply VoE in the context of an AI tutor. By storing and retrieving facts derived in cases where LLM expectation about the user was violated, we find that LLMs are able to learn about users in ways that echo theories of human learning. Finally, we discuss latent hazards and augmentative opportunities associated with modeling user psychology and propose ways to mitigate risk along with possible directions for future inquiry.


title: Leveraging Neural Radiance Fields for Uncertainty-Aware Visual Localization

abstract: As a promising fashion for visual localization, scene coordinate regression (SCR) has seen tremendous progress in the past decade. Most recent methods usually adopt neural networks to learn the mapping from image pixels to 3D scene coordinates, which requires a vast amount of annotated training data. We propose to leverage Neural Radiance Fields (NeRF) to generate training samples for SCR. Despite NeRF's efficiency in rendering, many of the rendered data are polluted by artifacts or only contain minimal information gain, which can hinder the regression accuracy or bring unnecessary computational costs with redundant data. These challenges are addressed in three folds in this paper: (1) A NeRF is designed to separately predict uncertainties for the rendered color and depth images, which reveal data reliability at the pixel level. (2) SCR is formulated as deep evidential learning with epistemic uncertainty, which is used to evaluate information gain and scene coordinate quality. (3) Based on the three arts of uncertainties, a novel view selection policy is formed that significantly improves data efficiency. Experiments on public datasets demonstrate that our method could select the samples that bring the most information gain and promote the performance with the highest efficiency.


title: PlatoSim: An end-to-end PLATO camera simulator for modelling high-precision space-based photometry

abstract: PLAnetary Transits and Oscillations of stars (PLATO) is the ESA M3 space mission dedicated to detect and characterise transiting exoplanets including information from the asteroseismic properties of their stellar hosts. The uninterrupted and high-precision photometry provided by space-borne instruments such as PLATO require long preparatory phases. An exhaustive list of tests are paramount to design a mission that meets the performance requirements, and as such, simulations are an indispensable tool in the mission preparation. To accommodate PLATO's need of versatile simulations prior to mission launch - that at the same time describe accurately the innovative but complex multi-telescope design - we here present the end-to-end PLATO simulator specifically developed for the purpose, namely PlatoSim. We show step-by-step the algorithms embedded into the software architecture of PlatoSim that allow the user to simulate photometric time series of CCD images and light curves in accordance to the expected observations of PLATO. In the context of the PLATO payload, a general formalism of modelling, end-to-end, incoming photons from the sky to the final measurement in digital units is discussed. We show the strong predictive power of PlatoSim through its diverse applicability and contribution to numerous working groups within the PLATO Mission Consortium. This involves the on-going mechanical integration and alignment, performance studies of the payload, the pipeline development and assessments of the scientific goals. PlatoSim is a state-of-the-art simulator that is able to produce the expected photometric observations of PLATO to a high level of accuracy. We demonstrate that PlatoSim is a key software tool for the PLATO mission in the preparatory phases until mission launch and prospectively beyond.


title: High order biorthogonal functions in H(Curl)

abstract: From the literature, it is known that the choice of basis functions in hp-FEM heavily influences the computational cost in order to obtain an approximate solution. Depending on the choice of the reference element, suitable tensor product like basis functions of Jacobi polynomials with different weights lead to optimal properties due to condition number and sparsity. This paper presents biorthogonal basis functions to the primal basis functions mentioned above. The authors investigate hypercubes and simplices as reference elements, as well as the cases of $H^1$ and H(Curl). The functions can be expressed sums of tensor products of Jacobi polynomials with maximal two summands.


title: Catastrophic Jailbreak of Open-source LLMs via Exploiting Generation

abstract: The rapid progress in open-source large language models (LLMs) is significantly advancing AI development. Extensive efforts have been made before model release to align their behavior with human values, with the primary goal of ensuring their helpfulness and harmlessness. However, even carefully aligned models can be manipulated maliciously, leading to unintended behaviors, known as "jailbreaks". These jailbreaks are typically triggered by specific text inputs, often referred to as adversarial prompts. In this work, we propose the generation exploitation attack, an extremely simple approach that disrupts model alignment by only manipulating variations of decoding methods. By exploiting different generation strategies, including varying decoding hyper-parameters and sampling methods, we increase the misalignment rate from 0% to more than 95% across 11 language models including LLaMA2, Vicuna, Falcon, and MPT families, outperforming state-of-the-art attacks with $30\times$ lower computational cost. Finally, we propose an effective alignment method that explores diverse generation strategies, which can reasonably reduce the misalignment rate under our attack. Altogether, our study underscores a major failure in current safety evaluation and alignment procedures for open-source LLMs, strongly advocating for more comprehensive red teaming and better alignment before releasing such models. Our code is available at https://github.com/Princeton-SysML/Jailbreak_LLM.


title: Helically-trapped electron mode in optimized stellarator

abstract: Global gyrokinetic simulations find a strong helically-trapped electron mode (HTEM) driven by density gradients in the optimized stellarator W7-X fusion experiment. The eigenmode structure localizes in the inner side of the torus with an unfavorable magnetic curvature and weak magnetic field, where there is a large fraction of helically-trapped electrons. The mode is excited mostly by the ion free energy and propagates in the ion direction with a linear frequency much smaller than the diamagnetic frequency. The instability saturates by nonlinear processes of turbulence spreading in the real space and spectral transfer from unstable to damped regions. The steady state HTEM turbulence drives a large particle flux that may have significant implications for the confinement of fusion fuel and removal of fusion ash in the stellarator reactor.


title: TDPP: Two-Dimensional Permutation-Based Protection of Memristive Deep Neural Networks

abstract: The execution of deep neural network (DNN) algorithms suffers from significant bottlenecks due to the separation of the processing and memory units in traditional computer systems. Emerging memristive computing systems introduce an in situ approach that overcomes this bottleneck. The non-volatility of memristive devices, however, may expose the DNN weights stored in memristive crossbars to potential theft attacks. Therefore, this paper proposes a two-dimensional permutation-based protection (TDPP) method that thwarts such attacks. We first introduce the underlying concept that motivates the TDPP method: permuting both the rows and columns of the DNN weight matrices. This contrasts with previous methods, which focused solely on permuting a single dimension of the weight matrices, either the rows or columns. While it's possible for an adversary to access the matrix values, the original arrangement of rows and columns in the matrices remains concealed. As a result, the extracted DNN model from the accessed matrix values would fail to operate correctly. We consider two different memristive computing systems (designed for layer-by-layer and layer-parallel processing, respectively) and demonstrate the design of the TDPP method that could be embedded into the two systems. Finally, we present a security analysis. Our experiments demonstrate that TDPP can achieve comparable effectiveness to prior approaches, with a high level of security when appropriately parameterized. In addition, TDPP is more scalable than previous methods and results in reduced area and power overheads. The area and power are reduced by, respectively, 1218$\times$ and 2815$\times$ for the layer-by-layer system and by 178$\times$ and 203$\times$ for the layer-parallel system compared to prior works.


title: Nonabelian embedding tensors on 3-Lie algebras and 3-Leibniz-Lie algebras

abstract: In this paper, first we introduce the notion of a nonabelian embedding tensor on the 3-Lie algebra. Then, we introduce the notion of a 3-Leibniz-Lie algebra, which is the underlying algebraic structure of a nonabelian embedding tensor on the 3-Lie algebra, and can also be viewed as a nonabelian generalization of a 3-Leibniz algebra. Next we develop the cohomology of nonabelian embedding tensors on 3-Lie algebras with coefficients in a suitable representation and use the first cohomology group to characterize infinitesimal deformations. Finally, we investigate nonabelian embedding tensors on 3-Lie algebras induced by Lie algebras.


title: An Introduction to Bipolar Fuzzy Soft Hypervector Spaces

abstract: The aim of this paper is to introduce the notion of bipolar fuzzy soft hypervector spaces and study their basic properties. In this regard, at first some new operation and external hyperoperation are defined on bipolar fuzzy soft sets over hypervector space V, related to the operation and external hyperoperation of V. Then the notion of bipolar fuzzy soft hypervector space is defined, supported by non-trivial examples, and it is investigated that the new bipolar fuzzy soft sets, constructed by the mentioned operation and hyperoperation, are bipolar fuzzy soft hypervector spaces. Finally, the behavior of bipolar fuzzy soft hypervector spaces under linear transformations is studied.


title: Zero-Shot Open-Vocabulary Tracking with Large Pre-Trained Models

abstract: Object tracking is central to robot perception and scene understanding. Tracking-by-detection has long been a dominant paradigm for object tracking of specific object categories. Recently, large-scale pre-trained models have shown promising advances in detecting and segmenting objects and parts in 2D static images in the wild. This begs the question: can we re-purpose these large-scale pre-trained static image models for open-vocabulary video tracking? In this paper, we re-purpose an open-vocabulary detector, segmenter, and dense optical flow estimator, into a model that tracks and segments objects of any category in 2D videos. Our method predicts object and part tracks with associated language descriptions in monocular videos, rebuilding the pipeline of Tractor with modern large pre-trained models for static image detection and segmentation: we detect open-vocabulary object instances and propagate their boxes from frame to frame using a flow-based motion model, refine the propagated boxes with the box regression module of the visual detector, and prompt an open-world segmenter with the refined box to segment the objects. We decide the termination of an object track based on the objectness score of the propagated boxes, as well as forward-backward optical flow consistency. We re-identify objects across occlusions using deep feature matching. We show that our model achieves strong performance on multiple established video object segmentation and tracking benchmarks, and can produce reasonable tracks in manipulation data. In particular, our model outperforms previous state-of-the-art in UVO and BURST, benchmarks for open-world object tracking and segmentation, despite never being explicitly trained for tracking. We hope that our approach can serve as a simple and extensible framework for future research.


title: Ultima: Robust and Tail-Optimal AllReduce for Distributed Deep Learning in the Cloud

abstract: We present Ultima, a new collective-communication system for the cloud with bounded, predictable completion times for deep-learning jobs in the presence of varying computation (stragglers) and communication (congestion and gradient drops) variabilities. Ultima exploits the inherent resiliency and the stochastic nature of distributed deep-learning (DDL) training to work with approximated gradients, and provides an efficient balance between (tail) performance and the resulting accuracy of the trained models. Exploiting this domain-specific characteristic of DDL, Ultima introduces (1) mechanisms (e.g., Transpose AllReduce, unreliable connection-oriented transport, and adaptive timeout) to improve the DDL jobs' tail execution time, and (2) strategies (e.g., Hadamard Transform) to mitigate the impact of gradient drops on model accuracy. Our evaluation shows that Ultima achieves 60% faster time-to-accuracy (TTA), on average, when operating in shared environments (e.g., public cloud), and is on par with existing algorithms (e.g., Ring-AllReduce) in dedicated environments (like HPC).


title: Systems of Equations in Elamite Mathematics

abstract: This article studies the systems of equations appearing in the Susa Mathematical Texts (\textbf{SMT}) and the different approaches used by the Susa scribes to solve them.


title: Accelerated Modelling of Interfaces for Electronic Devices using Graph Neural Networks

abstract: Modern microelectronic devices are composed of interfaces between a large number of materials, many of which are in amorphous or polycrystalline phases. Modeling such non-crystalline materials using first-principles methods such as density functional theory is often numerically intractable. Recently, graph neural networks (GNNs) have shown potential to achieve linear complexity with accuracies comparable to ab-initio methods. Here, we demonstrate the applicability of GNNs to accelerate the atomistic computational pipeline for predicting macroscopic transistor transport characteristics via learning microscopic physical properties. We generate amorphous heterostructures, specifically the HfO$_{2}$-SiO$_{2}$-Si semiconductor-dielectric transistor gate stack, via GNN predicted atomic forces, and show excellent accuracy in predicting transport characteristics including injection velocity for nanoslab silicon channels. This work paves the way for faster and more scalable methods to model modern advanced electronic devices via GNNs.


title: A study of the MAD accretion state across black hole spins for radiatively inefficient accretion flows

abstract: The study of Magnetically Arrested Disks (MAD) attract strong interest in recent years, as these disk configurations were found to generate strong jets as observed in many accreting systems. Here, we present the results of 14 general relativistic magnetohydrodynamic(GRMHD) simulations of advection dominated accretion flow in the MAD state across black hole spins, carried with cuHARM. Our main findings are as follows. (i) The jets transport a significant amount of angular momentum to infinity in the form of Maxwell stresses. For positive, high spin, the rate of angular momentum transport is about 5 times larger than for negative spin. This contribution is nearly absent for a non-rotating black hole. (ii) The mass accretion rate and the MAD parameter, both calculated at the horizon, are not correlated. However, their time derivatives are anti-correlated for every spin. (iii) For zero spin, the contribution of the toroidal component of the magnetic field to the magnetic pressure is negligible, while for fast spinning black hole, it is in the same order as the contribution of the radial magnetic component. For high positive spin, the toroidal component even dominates. (iv) For negative spins, the jets are narrower than their positive spin counterparts, while their fluctuations are larger. The weak jet from the non-rotating black hole is the widest with the smallest fluctuations. Our results highlight the complex, non-linear connection between the black hole spin and the resulting disk and jet properties in the MAD regime.


title: Similarity of Triangles and Intercept Theorem in Elamite Mathematics

abstract: In this article, we study similarity of triangles in the Susa Mathematical Texts (\textbf{SMT}). We also suggest that the Susa scribes were aware of intercept theory because they used this theorem in solving a complicated system of equations.


title: A Systematic Review of Machine Learning Enabled Phishing

abstract: Developments in artificial intelligence (AI) are likely to affect social engineering and change cyber defense operations. The broad and sweeping nature of AI impact means that many aspects of social engineering could be automated, potentially giving adversaries an advantage. In this review, we assess the ways phishing and spear-phishing might be affected by machine learning techniques. By performing a systematic review of demonstrated ML-enabled phishing campaigns, we take a broad survey the space for current developments. We develop a detailed approach for evaluation by creating a risk framework for analyzing and contextualizing these developments. The object of this review is to answer the research questions: (1) Are there high-risk ML-enabled phishing use cases? (2) Is there a meaningful difference between traditional targeted phishing campaigns and ML-enabled phishing campaigns? Practitioners may use this review to inform standards, future research directions, and cyber defense strategies.


title: Lung Cancer in Argentina: A Modelling Study of Disease and Economic Burden

abstract: Objectives: Lung cancer remains a significant global public health challenge and is still one of the leading cause of cancer-related death in Argentina. This study aims to assess the disease and economic burden of lung cancer in the country. Study design: Burden of disease study Methods. A mathematical model was developed to estimate the disease burden and direct medical cost attributable to lung cancer. Epidemiological parameters were obtained from local statistics, the Global Cancer Observatory, the Global Burden of Disease databases, and a literature review. Direct medical costs were estimated through micro-costing. Costs were expressed in US dollars (US$), April 2023 (1 US$ =216.38 argentine pesos). A second-order Monte Carlo simulation was performed to estimate the uncertainty. Results: Considering approximately 10,000 deaths, 12,000 incident cases, and 14,000 5-year prevalent cases, the economic burden of lung cancer in Argentina in 2023 was estimated to be US$ 556.20 million (396.96 -718.20), approximately 1.4% of the total healthcare expenditure for the country. The cost increased with a higher stage of the disease and the main driver was the drug acquisition (80%). 179,046 Disability-adjusted life years could be attributable to lung cancer representing the 10% of the total cancer. Conclusion: The disease and economic burden of lung cancer in Argentina implies a high cost for the health system and would represent 19% of the previously estimated economic burden for 29 cancers in Argentina.


title: CarDS-Plus ECG Platform: Development and Feasibility Evaluation of a Multiplatform Artificial Intelligence Toolkit for Portable and Wearable Device Electrocardiograms

abstract: In the rapidly evolving landscape of modern healthcare, the integration of wearable & portable technology provides a unique opportunity for personalized health monitoring in the community. Devices like the Apple Watch, FitBit, and AliveCor KardiaMobile have revolutionized the acquisition and processing of intricate health data streams. Amidst the variety of data collected by these gadgets, single-lead electrocardiogram (ECG) recordings have emerged as a crucial source of information for monitoring cardiovascular health. There has been significant advances in artificial intelligence capable of interpreting these 1-lead ECGs, facilitating clinical diagnosis as well as the detection of rare cardiac disorders. This design study describes the development of an innovative multiplatform system aimed at the rapid deployment of AI-based ECG solutions for clinical investigation & care delivery. The study examines design considerations, aligning them with specific applications, develops data flows to maximize efficiency for research & clinical use. This process encompasses the reception of single-lead ECGs from diverse wearable devices, channeling this data into a centralized data lake & facilitating real-time inference through AI models for ECG interpretation. An evaluation of the platform demonstrates a mean duration from acquisition to reporting of results of 33.0 to 35.7 seconds, after a standard 30 second acquisition. There were no substantial differences in acquisition to reporting across two commercially available devices (Apple Watch and KardiaMobile). These results demonstrate the succcessful translation of design principles into a fully integrated & efficient strategy for leveraging 1-lead ECGs across platforms & interpretation by AI-ECG algorithms. Such a platform is critical to translating AI discoveries for wearable and portable ECG devices to clinical impact through rapid deployment.


title: Local strain inhomogeneities during the electrical triggering of a metal-insulator transition revealed by the x-ray microscopy

abstract: Electrical triggering of a metal-insulator transition (MIT) often results in the formation of characteristic spatial patterns such as a metallic filament percolating through an insulating matrix or an insulating barrier splitting a conducting matrix. When the MIT triggering is driven by electrothermal effects, the temperature of the filament or barrier can be substantially higher than the rest of material. Using x-ray microdiffraction and dark-field x-ray microscopy, we show that electrothermal MIT triggering leads to the development of an inhomogeneous strain profile across the switching device, even when the material does not undergo a 1st order structural phase transition coinciding with the MIT. Diffraction measurements further reveal evidence of lattice distortions and twinning occurring within the MIT switching device, highlighting a qualitative distinction between the electrothermal process and equilibrium thermal lattice expansion in nonlinear electrical systems. Electrically induced strain development, lattice distortions, and twinning could have important contributions in the MIT triggering process and could drive the material into non-equilibrium states, providing an unconventional pathway to explore the phase space of strongly correlated electronic systems.


title: Bayesian cross-validation by parallel Markov Chain Monte Carlo

abstract: Brute force cross-validation (CV) is a method for predictive assessment and model selection that is general and applicable to a wide range of Bayesian models. Naive or `brute force' CV approaches are often too computationally costly for interactive modeling workflows, especially when inference relies on Markov chain Monte Carlo (MCMC). We propose overcoming this limitation using massively parallel MCMC. Using accelerator hardware such as graphics processor units (GPUs), our approach can be about as fast (in wall clock time) as a single full-data model fit. Parallel CV is flexible because it can easily exploit a wide range data partitioning schemes, such as those designed for non-exchangeable data. It can also accommodate a range of scoring rules. We propose MCMC diagnostics, including a summary of MCMC mixing based on the popular potential scale reduction factor ($\widehat{R}$) and MCMC effective sample size ($\widehat{ESS}$) measures. We also describe a method for determining whether an $\widehat{R}$ diagnostic indicates approximate stationarity of the chains, that may be of more general interest for applications beyond parallel CV. Finally, we show that parallel CV and its diagnostics can be implemented with online algorithms, allowing parallel CV to scale up to very large blocking designs on memory-constrained computing accelerators.


title: Markov Process Jump Times and Their Cox Construction

abstract: In this short paper, we connect the procedure of constructing a totally inaccessible stopping time for a given process using the well-known Cox construction, dependent on an independent exponential random variable; with naturally occurring jump times of Feller processes. Ultimately, we show that these two phenomena are not only related, but are in fact two examples of the same object. We link this fact to the behaviour of predictable stopping times, by proving that they can always be written as the hitting time of zero of a continuous process.


title: Magnetic Field Effects and Transverse Ratchets in Charge Lattices Coupled to Asymmetric Substrates

abstract: We examine a charge lattice coupled to a one-dimensional asymmetric potential in the presence of an applied magnetic field, which induces gyrotropic effects in the charge motion. This system could be realized for Wigner crystals in nanostructured samples, dusty plasmas, or other classical charge-ordered states where gyrotropic motion and damping can arise. For zero magnetic field, an applied external ac drive can produce a ratchet effect in which the particles move along the easy flow direction of the substrate asymmetry. The zero field ratchet effect can only occur when the ac drive is aligned with the substrate asymmetry direction; however, when a magnetic field is added, the gyrotropic forces generate a Hall effect that leads to a variety of new behaviors, including a transverse ratchet motion that occurs when the ac drive is perpendicular to the substrate asymmetry direction. We show that this system exhibits commensuration effects as well as reversals in the ratchet effect and the Hall angle of the motion. The magnetic field also produces a nonmonotonic ratchet efficiency when the particles become localized at high fields.


title: Sound-skwatter (Did You Mean: Sound-squatter?) AI-powered Generator for Phishing Prevention

abstract: Sound-squatting is a phishing attack that tricks users into malicious resources by exploiting similarities in the pronunciation of words. Proactive defense against sound-squatting candidates is complex, and existing solutions rely on manually curated lists of homophones. We here introduce Sound-skwatter, a multi-language AI-based system that generates sound-squatting candidates for proactive defense. Sound-skwatter relies on an innovative multi-modal combination of Transformers Networks and acoustic models to learn sound similarities. We show that Sound-skwatter can automatically list known homophones and thousands of high-quality candidates. In addition, it covers cross-language sound-squatting, i.e., when the reader and the listener speak different languages, supporting any combination of languages. We apply Sound-skwatter to network-centric phishing via squatted domain names. We find ~ 10% of the generated domains exist in the wild, the vast majority unknown to protection solutions. Next, we show attacks on the PyPI package manager, where ~ 17% of the popular packages have at least one existing candidate. We believe Sound-skwatter is a crucial asset to mitigate the sound-squatting phenomenon proactively on the Internet. To increase its impact, we publish an online demo and release our models and code as open source.


title: Mirror symmetry and the Breuil-M\'ezard Conjecture

abstract: The Breuil-M\'{e}zard Conjecture predicts the existence of hypothetical "Breuil-Mezard cycles" in the moduli space of mod $p$ Galois representations of $\mathrm{Gal}(\overline{\mathbb{Q}}_q/\mathbb{Q}_q)$ that should govern congruences between mod $p$ automorphic forms. For generic parameters, we propose a construction of Breuil-M\'{e}zard cycles in arbitrary rank, and verify that they satisfy the Breuil-M\'{e}zard Conjecture for all sufficiently generic tame types and small Hodge-Tate weights. Our method is purely local and group-theoretic, and completely distinct from previous approaches to the Breuil-M\'ezard Conjecture. In particular, we leverage new connections between the Breuil-M\'ezard Conjecture and phenomena occurring in homological mirror symmetry and geometric representation theory.


title: A Cacophony of Echoes from daily monitoring of the Crab Pulsar at Jodrell Bank

abstract: Using archival data from the 42 foot telescope at the Jodrell Bank Observatory, we produce daily stacks of aligned giant pulses for the Crab pulsar, to study changes to the daily profiles between April 2012 to December 2016. From these, we identify echoes, where intervening material away from the line of sight causes pulsed emission to be redirected towards the observer, with delay corresponding to the increased distance of travel, resulting in additional profile components. These observations show that such echoes may be far more common than implied by the previous rate of detections. All the observed echoes are consistent with approaching zero-delay at their closest approach to the normal giant pulse emission. This indicates that the structures responsible for producing these events must be highly anisotropic, with typical lengths greater than $\sim 4\textrm{AU}$, typical widths on the sky of $\sim 0.1 \textrm{AU}$ and typical depths of $\sim 5\textrm{AU}$, given the previously observed electron densities of the nebular filaments, on the order of 1000 cm$^{-3}$. This suggests that these inhomogeneities are likely to be offshoot substructure from the larger nebular filaments of the Crab nebula.


title: Answer Candidate Type Selection: Text-to-Text Language Model for Closed Book Question Answering Meets Knowledge Graphs

abstract: Pre-trained Text-to-Text Language Models (LMs), such as T5 or BART yield promising results in the Knowledge Graph Question Answering (KGQA) task. However, the capacity of the models is limited and the quality decreases for questions with less popular entities. In this paper, we present a novel approach which works on top of the pre-trained Text-to-Text QA system to address this issue. Our simple yet effective method performs filtering and re-ranking of generated candidates based on their types derived from Wikidata "instance_of" property.


title: Weak Galerkin methods for elliptic interface problems on curved polygonal partitions

abstract: This paper presents a new weak Galerkin (WG) method for elliptic interface problems on general curved polygonal partitions. The method's key innovation lies in its ability to transform the complex interface jump condition into a more manageable Dirichlet boundary condition, simplifying the theoretical analysis significantly. The numerical scheme is designed by using locally constructed weak gradient on the curved polygonal partitions. We establish error estimates of optimal order for the numerical approximation in both discrete $H^1$ and $L^2$ norms. Additionally, we present various numerical results that serve to illustrate the robust numerical performance of the proposed WG interface method.


title: The Lexicographically Least Binary Rich Word Achieving the Repetition Threshold

abstract: We find the lexicographically least infinite binary rich word having critical exponent $2+\sqrt{2}/2$


title: The impact of bar origin and morphology on stellar migration

abstract: Different mechanisms driving bar structure formation indicate that bar origins should be distinguishable in the stellar populations of galaxies. To study how these origins affect different bar morphologies and impact stellar orbits and migration, we analyse three simulated discs which are representative of bar formation under isolated evolution motivated by disc instability, and interaction driven tidal development. The first isolated disc and the tidally driven disc produce similar bar structure, while the second isolated disc, generated by the tidal initial condition without the companion, is visibly dissimilar. Changes to radial and vertical positions, angular momentum in the disc-plane, orbital eccentricity and the subsequent disc metallicities are assessed, as is the dependence on stellar age and formation radii. Bar origin is distinguishable, with the tidal disc displaying larger migration overall, higher metallicity difference between the inner and outer disc, as well as a population of inner disc stars displaced to large radii and below the disc-plane. The affect of closest approach on populations of stars formed before, after and during this period is evident. However, bar morphology is also found to be a significant factor in the evolution of disc stellar properties, with similar bars producing similar traits in migration tendency with radius, particularly in vertical stellar motion and in the evolution of central metallicity features.


title: Effective Hamiltonian of the k=+1 FRW model from the K-Quantization method in LQC

abstract: In the effective theory of loop quantum cosmology LQC, the influence of the holonomy correction (with $\overline{\mu}$-scheme) on the homogeneous and the inhomogeneous cosmological models have been extensively studied in the case of flat space. In this paper,using the K-Quantization method and the $\overline{\mu}$-scheme,in the same framework of LQC,we construct the Hamiltonian constraint operator of the closed FRW model (k=+1), we show that the effective semi-classical limit gives the same holonomy correction expression that was already used in the case of a flat space. We also derive the modified Friedman equation. The numerical investigation is performed to plot the effective evolution of the massless scalar field in term of the volume,which indicate a minimum volume at the bounce and also a suitable infrared behavior.The condition that we apply to constrain the value of $\overline{\mu}$ in the semi-classical limit is consistent with the numerical results.


title: On rational functional identities involving inverses on matrix rings

abstract: Let $n\geq 3$ be an integer. Let $\mathcal{D}$ be a division ring with char$(\mathcal{D})>n$ or char$(\mathcal{D})=0$. Let $\mathcal{R}=M_m(\mathcal{D})$ be a ring of $n\times n$ matrices over $D$, $m\geq 2$. The main theorem in the paper states that the only additive maps $f$ and $g$ satisfying that $f(X)+X^ng(X^{-1})=0$ for all invertible $X\in \mathcal{R}$, are zero maps, which generalizes both a result proved by Dar and Jing and a result proved by Catalano and Merch$\acute{a}$n.


title: LeakyOhm: Secret Bits Extraction using Impedance Analysis

abstract: The threats of physical side-channel attacks and their countermeasures have been widely researched. Most physical side-channel attacks rely on the unavoidable influence of computation or storage on current consumption or voltage drop on a chip. Such data-dependent influence can be exploited by, for instance, power or electromagnetic analysis. In this work, we introduce a novel non-invasive physical side-channel attack, which exploits the data-dependent changes in the impedance of the chip. Our attack relies on the fact that the temporarily stored contents in registers alter the physical characteristics of the circuit, which results in changes in the die's impedance. To sense such impedance variations, we deploy a well-known RF/microwave method called scattering parameter analysis, in which we inject sine wave signals with high frequencies into the system's power distribution network (PDN) and measure the echo of the signals. We demonstrate that according to the content bits and physical location of a register, the reflected signal is modulated differently at various frequency points enabling the simultaneous and independent probing of individual registers. Such side-channel leakage challenges the $t$-probing security model assumption used in masking, which is a prominent side-channel countermeasure. To validate our claims, we mount non-profiled and profiled impedance analysis attacks on hardware implementations of unprotected and high-order masked AES. We show that in the case of the profiled attack, only a single trace is required to recover the secret key. Finally, we discuss how a specific class of hiding countermeasures might be effective against impedance leakage.


title: Neural Relational Inference with Fast Modular Meta-learning

abstract: \textit{Graph neural networks} (GNNs) are effective models for many dynamical systems consisting of entities and relations. Although most GNN applications assume a single type of entity and relation, many situations involve multiple types of interactions. \textit{Relational inference} is the problem of inferring these interactions and learning the dynamics from observational data. We frame relational inference as a \textit{modular meta-learning} problem, where neural modules are trained to be composed in different ways to solve many tasks. This meta-learning framework allows us to implicitly encode time invariance and infer relations in context of one another rather than independently, which increases inference capacity. Framing inference as the inner-loop optimization of meta-learning leads to a model-based approach that is more data-efficient and capable of estimating the state of entities that we do not observe directly, but whose existence can be inferred from their effect on observed entities. To address the large search space of graph neural network compositions, we meta-learn a \textit{proposal function} that speeds up the inner-loop simulated annealing search within the modular meta-learning algorithm, providing two orders of magnitude increase in the size of problems that can be addressed.


title: Discovering the Unknowns: A First Step

abstract: This article aims at discovering the unknown variables in the system through data analysis. The main idea is to use the time of data collection as a surrogate variable and try to identify the unknown variables by modeling gradual and sudden changes in the data. We use Gaussian process modeling and a sparse representation of the sudden changes to efficiently estimate the large number of parameters in the proposed statistical model. The method is tested on a realistic dataset generated using a one-dimensional implementation of a Magnetized Liner Inertial Fusion (MagLIF) simulation model and encouraging results are obtained.


title: Stochastic 3D modeling of nanostructured NVP/C active material particles for sodium-ion batteries

abstract: A data-driven modeling approach is presented to quantify the influence of morphology on effective properties in nanostructured sodium vanadium phosphate $\mathrm{Na}_3\mathrm{V}_2(\mathrm{PO}_4)_3$/ carbon composites (NVP/C), which are used as cathode material in sodium-ion batteries. This approach is based on the combination of advanced imaging techniques, experimental nanostructure characterization and stochastic modeling of the 3D nanostructure consisting of NVP, carbon and pores. By 3D imaging and subsequent post-processing involving image segmentation, the spatial distribution of NVP is resolved in 3D, and the spatial distribution of carbon and pores is resolved in 2D. Based on this information, a parametric stochastic model, specifically a Pluri-Gaussian model, is calibrated to the 3D morphology of the nanostructured NVP/C particles. Model validation is performed by comparing the nanostructure of simulated NVP/C composites with image data in terms of morphological descriptors which have not been used for model calibration. Finally, the stochastic model is used for predictive simulation to quantify the effect of varying the amount of carbon while keeping the amount of NVP constant. The presented methodology opens new possibilities for a ressource-efficient optimization of the morphology of NVP/C particles by modeling and simulation.


title: NEWTON: Are Large Language Models Capable of Physical Reasoning?

abstract: Large Language Models (LLMs), through their contextualized representations, have been empirically proven to encapsulate syntactic, semantic, word sense, and common-sense knowledge. However, there has been limited exploration of their physical reasoning abilities, specifically concerning the crucial attributes for comprehending everyday objects. To address this gap, we introduce NEWTON, a repository and benchmark for evaluating the physics reasoning skills of LLMs. Further, to enable domain-specific adaptation of this benchmark, we present a pipeline to enable researchers to generate a variant of this benchmark that has been customized to the objects and attributes relevant for their application. The NEWTON repository comprises a collection of 2800 object-attribute pairs, providing the foundation for generating infinite-scale assessment templates. The NEWTON benchmark consists of 160K QA questions, curated using the NEWTON repository to investigate the physical reasoning capabilities of several mainstream language models across foundational, explicit, and implicit reasoning tasks. Through extensive empirical analysis, our results highlight the capabilities of LLMs for physical reasoning. We find that LLMs like GPT-4 demonstrate strong reasoning capabilities in scenario-based tasks but exhibit less consistency in object-attribute reasoning compared to humans (50% vs. 84%). Furthermore, the NEWTON platform demonstrates its potential for evaluating and enhancing language models, paving the way for their integration into physically grounded settings, such as robotic manipulation. Project site: https://newtonreasoning.github.io


title: Case Law Grounding: Aligning Judgments of Humans and AI on Socially-Constructed Concepts

abstract: Systems for making determinations on socially-constructed and complex concepts at scale are increasingly being deployed. To make such fuzzy concepts tractable for training and evaluating AI, aligning model outputs, or human-in-the-loop workflows, the prevailing strategy involves developing `constitutions' in the form of rules, policies, or principles. However, high-level rules often fail to capture situational nuances or have differing interpretations, resulting in inconsistent decisions. In this work, we introduce case law grounding (CLG), a hybrid workflow inspired by case law in the legal realm where past judgments on specific cases inform new decisions. Evaluating on two task domains, we find that CLG can improve alignment of decisions (+9.6% and +10.9% accuracy) and consistency ($\Delta\bar{\kappa}$ of +0.263 and +0.433) of human decision-makers, while also providing auditable rationales. We also find similarly substantial alignment improvements for an LLM decision-maker (+25% and +23% accuracy).


title: Comparing the sets of volume polynomials and Lorentzian Polynomials

abstract: Given n convex bodies in the real space of dimension d, we consider the set of homogeneous polynomials of degree d in n variables that can be represented as their volume polynomial. This set is a subset of the set of Lorentzian polynomials. Using our knowledge of operations that preserve the Lorentzian property, we give a complete classification of the cases when the two sets are equal.


title: Pre-Trained Masked Image Model for Mobile Robot Navigation

abstract: 2D top-down maps are commonly used for the navigation and exploration of mobile robots through unknown areas. Typically, the robot builds the navigation maps incrementally from local observations using onboard sensors. Recent works have shown that predicting the structural patterns in the environment through learning-based approaches can greatly enhance task efficiency. While many such works build task-specific networks using limited datasets, we show that the existing foundational vision networks can accomplish the same without any fine-tuning. Specifically, we use Masked Autoencoders, pre-trained on street images, to present novel applications for field-of-view expansion, single-agent topological exploration, and multi-agent exploration for indoor mapping, across different input modalities. Our work motivates the use of foundational vision models for generalized structure prediction-driven applications, especially in the dearth of training data. For more qualitative results see https://raaslab.org/projects/MIM4Robots.


title: Barrier States Theory for Safety-Critical Multi-Objective Control

abstract: Multi-objective safety-critical control entails a diligent design to avoid possibly conflicting scenarios and ensure safety. This paper studies the concept of barrier states (BaS) for safe multi-objective controls in which the safety condition is manifested as a dynamical sub-system to be controlled along other states of the system. This allows us to introduce the idea of safety embedded systems. The proposition is that the control problem is now transformed to designing a control law for the new, unconstrained, system in which the barrier state is driven to stay bounded while achieving other performance objectives. In the stabilization case, for example, we show that designing a stabilizing controller for the safety embedded system implies guaranteed safe stabilization for the original safety-critical system. Consequently, a conflict between performance objectives and safety constraints is substantially avoided. This allows us to embrace various legacy control methods from the literature to acquire safe control laws. Moreover, we discuss how the proposed technique can be espoused for enforcing input constraints. Additionally, dealing with the constraint through a state allows us to extend various existing control approaches to the safety case. We consider the case of bounded input disturbance and adopt the notion of input-to-state stability (ISS) for barrier states to obtain the notion of input-to-state safety (ISSf) to analyze safe robustness of systems. Subsequently, we derive the notion of input-to-state safe stability (IS$^3$) and discuss the synthesis of robust safely stabilizing feedback controls through designing robust stabilizing controllers for the safety embedded systems. The proposed techniques and concepts are used in various examples including the design of proportional-integral-derivative-barrier (PIDB) control for adaptive cruise control.


title: Automatic Macro Mining from Interaction Traces at Scale

abstract: Macros are building block tasks of our everyday smartphone activity (e.g., "login", or "booking a flight"). Effectively extracting macros is important for understanding mobile interaction and enabling task automation. These macros are however difficult to extract at scale as they can be comprised of multiple steps yet hidden within programmatic components of mobile apps. In this paper, we introduce a novel approach based on Large Language Models (LLMs) to automatically extract semantically meaningful macros from both random and user-curated mobile interaction traces. The macros produced by our approach are automatically tagged with natural language descriptions and are fully executable. We conduct multiple studies to validate the quality of extracted macros, including user evaluation, comparative analysis against human-curated tasks, and automatic execution of these macros. These experiments and analyses show the effectiveness of our approach and the usefulness of extracted macros in various downstream applications.


title: Computing the twisted $L^2$-Euler characteristic

abstract: We present an algorithm that computes Friedl and L\"uck's twisted $L^2$-Euler characteristic for a suitable regular CW complex, employing Oki's matrix expansion algorithm to indirectly evaluate the Dieudonn\'e determinant. The algorithm needs to run for an extremely long time to certify its outputs, but a truncated, human-assisted version produces very good results in many cases, such as hyperbolic link complements, closed census 3-manifolds, free-by-cyclic groups, and higher-dimensional examples, such as the fiber of the Ratcliffe-Tschantz manifold.


title: Fano schemes of symmetric matrices of bounded rank

abstract: We study the geometry of the Fano schemes $\mathrm{\textbf{F}}_{k}(\mathrm{SD}_n^r)$ of the projective variety $\mathrm{SD}_n^r$ defined by the $r\times r$ minors of a symmetric $n\times n$ matrix filled with indeterminates. These schemes are fine moduli spaces parameterizing $(k+1)$-dimensional linear spaces of symmetric matrices of rank less than $r$. We prove that the schemes $\mathrm{\textbf{F}}_{k}(\mathrm{SD}_n^r)$ can have generically non-reduced components, characterize their irreducibility and connectedness, and give results on their smoothness. Our approach to connectedness also applies to Fano schemes of rectangular matrices as well as alternating matrices and answers a question of Ilten and Chan. Furthermore, we give a complete description of $\mathrm{\textbf{F}}_{1}(\mathrm{SD}_n^r)$ and show that when $r=n$, the Fano schemes of lines have the expected dimension. As an application, we provide geometric arguments for several previous results concerning spaces of symmetric matrices of bounded rank.


title: A 2D antiscatter grid and scatter sampling based CBCT method for online dose calculations during CBCT guided radiation therapy of pelvis

abstract: Online dose calculations before radiation treatment have applications in dose delivery verification, plan adaptation, and treatment planning. We propose a novel CBCT imaging pipeline to enhance accuracy. Our approach aims to improve HU accuracy in CBCT images for more precise dose calculations. A quantitative CBCT pipeline was implemented, combining data correction strategies and scatter rejection, achieving high CT number accuracy. We evaluated the pipeline's effect using pelvis anatomy phantoms and found that dosimetric errors in quantitative CBCT-based dose calculations were minimal. In contrast, clinical CBCT and high-performance ASG CBCT-based plans showed significant errors. The proposed quantitative CBCT pipeline offers comparable dose calculation accuracy to the gold-standard planning CT, eliminating the need for density overrides and enabling precise dose delivery monitoring or online plan adaptations in radiation therapy.


title: Utilizing Synthetic Data for Medical Vision-Language Pre-training: Bypassing the Need for Real Images

abstract: Medical Vision-Language Pre-training (VLP) learns representations jointly from medical images and paired radiology reports. It typically requires large-scale paired image-text datasets to achieve effective pre-training for both the image encoder and text encoder. The advent of text-guided generative models raises a compelling question: Can VLP be implemented solely with synthetic images generated from genuine radiology reports, thereby mitigating the need for extensively pairing and curating image-text datasets? In this work, we scrutinize this very question by examining the feasibility and effectiveness of employing synthetic images for medical VLP. We replace real medical images with their synthetic equivalents, generated from authentic medical reports. Utilizing three state-of-the-art VLP algorithms, we exclusively train on these synthetic samples. Our empirical evaluation across three subsequent tasks, namely image classification, semantic segmentation and object detection, reveals that the performance achieved through synthetic data is on par with or even exceeds that obtained with real images. As a pioneering contribution to this domain, we introduce a large-scale synthetic medical image dataset, paired with anonymized real radiology reports. This alleviates the need of sharing medical images, which are not easy to curate and share in practice. The code and the dataset can be found in \href{https://github.com/cheliu-computation/MedSyn-RepLearn/tree/main}{https://github.com/cheliu-computation/MedSyn-RepLearn/tree/main}.


title: Facial Forgery-based Deepfake Detection using Fine-Grained Features

abstract: Facial forgery by deepfakes has caused major security risks and raised severe societal concerns. As a countermeasure, a number of deepfake detection methods have been proposed. Most of them model deepfake detection as a binary classification problem using a backbone convolutional neural network (CNN) architecture pretrained for the task. These CNN-based methods have demonstrated very high efficacy in deepfake detection with the Area under the Curve (AUC) as high as $0.99$. However, the performance of these methods degrades significantly when evaluated across datasets and deepfake manipulation techniques. This draws our attention towards learning more subtle, local, and discriminative features for deepfake detection. In this paper, we formulate deepfake detection as a fine-grained classification problem and propose a new fine-grained solution to it. Specifically, our method is based on learning subtle and generalizable features by effectively suppressing background noise and learning discriminative features at various scales for deepfake detection. Through extensive experimental validation, we demonstrate the superiority of our method over the published research in cross-dataset and cross-manipulation generalization of deepfake detectors for the majority of the experimental scenarios.


title: Brain Age Revisited: Investigating the State vs. Trait Hypotheses of EEG-derived Brain-Age Dynamics with Deep Learning

abstract: The brain's biological age has been considered as a promising candidate for a neurologically significant biomarker. However, recent results based on longitudinal magnetic resonance imaging data have raised questions on its interpretation. A central question is whether an increased biological age of the brain is indicative of brain pathology and if changes in brain age correlate with diagnosed pathology (state hypothesis). Alternatively, could the discrepancy in brain age be a stable characteristic unique to each individual (trait hypothesis)? To address this question, we present a comprehensive study on brain aging based on clinical EEG, which is complementary to previous MRI-based investigations. We apply a state-of-the-art Temporal Convolutional Network (TCN) to the task of age regression. We train on recordings of the Temple University Hospital EEG Corpus (TUEG) explicitly labeled as non-pathological and evaluate on recordings of subjects with non-pathological as well as pathological recordings, both with examinations at a single point in time and repeated examinations over time. Therefore, we created four novel subsets of TUEG that include subjects with multiple recordings: I) all labeled non-pathological; II) all labeled pathological; III) at least one recording labeled non-pathological followed by at least one recording labeled pathological; IV) similar to III) but with opposing transition (first pathological then non-pathological). The results show that our TCN reaches state-of-the-art performance in age decoding with a mean absolute error of 6.6 years. Our extensive analyses demonstrate that the model significantly underestimates the age of non-pathological and pathological subjects (-1 and -5 years, paired t-test, p <= 0.18 and p <= 0.0066). Furthermore, the brain age gap biomarker is not indicative of pathological EEG.


title: Quantum Memory of Musical Compositions

abstract: The perception and appreciation of beauty in a musical composition appears as being related to the amount of memory and balance between expectation and surprise. In this study, we use a formal computing tool derived from quantum mechanics and adapted to music, to measure the degree of memory of orchestral music, including Liebestod by R. Wagner. We discuss our results and further lines of research.


title: Rate Adaptation Aware Positioning for Flying Gateways using Reinforcement Learning

abstract: With the growing connectivity demands, Unmanned Aerial Vehicles (UAVs) have emerged as a prominent component in the deployment of Next Generation On-demand Wireless Networks. However, current UAV positioning solutions typically neglect the impact of Rate Adaptation (RA) algorithms or simplify its effect by considering ideal and non-implementable RA algorithms. This work proposes the Rate Adaptation aware RL-based Flying Gateway Positioning (RARL) algorithm, a positioning method for Flying Gateways that applies Deep Q-Learning, accounting for the dynamic data rate imposed by the underlying RA algorithm. The RARL algorithm aims to maximize the throughput of the flying wireless links serving one or more Flying Access Points, which in turn serve ground terminals. The performance evaluation of the RARL algorithm demonstrates that it is capable of taking into account the effect of the underlying RA algorithm and achieve the maximum throughput in all analysed static and mobile scenarios.


title: Neural Harmonium: An Interpretable Deep Structure for Nonlinear Dynamic System Identification with Application to Audio Processing

abstract: Improving the interpretability of deep neural networks has recently gained increased attention, especially when the power of deep learning is leveraged to solve problems in physics. Interpretability helps us understand a model's ability to generalize and reveal its limitations. In this paper, we introduce a causal interpretable deep structure for modeling dynamic systems. Our proposed model makes use of the harmonic analysis by modeling the system in a time-frequency domain while maintaining high temporal and spectral resolution. Moreover, the model is built in an order recursive manner which allows for fast, robust, and exact second order optimization without the need for an explicit Hessian calculation. To circumvent the resulting high dimensionality of the building blocks of our system, a neural network is designed to identify the frequency interdependencies. The proposed model is illustrated and validated on nonlinear system identification problems as required for audio signal processing tasks. Crowd-sourced experimentation contrasting the performance of the proposed approach to other state-of-the-art solutions on an acoustic echo cancellation scenario confirms the effectiveness of our method for real-life applications.


title: Computational Pathology at Health System Scale -- Self-Supervised Foundation Models from Three Billion Images

abstract: Recent breakthroughs in self-supervised learning have enabled the use of large unlabeled datasets to train visual foundation models that can generalize to a variety of downstream tasks. While this training paradigm is well suited for the medical domain where annotations are scarce, large-scale pre-training in the medical domain, and in particular pathology, has not been extensively studied. Previous work in self-supervised learning in pathology has leveraged smaller datasets for both pre-training and evaluating downstream performance. The aim of this project is to train the largest academic foundation model and benchmark the most prominent self-supervised learning algorithms by pre-training and evaluating downstream performance on large clinical pathology datasets. We collected the largest pathology dataset to date, consisting of over 3 billion images from over 423 thousand microscopy slides. We compared pre-training of visual transformer models using the masked autoencoder (MAE) and DINO algorithms. We evaluated performance on six clinically relevant tasks from three anatomic sites and two institutions: breast cancer detection, inflammatory bowel disease detection, breast cancer estrogen receptor prediction, lung adenocarcinoma EGFR mutation prediction, and lung cancer immunotherapy response prediction. Our results demonstrate that pre-training on pathology data is beneficial for downstream performance compared to pre-training on natural images. Additionally, the DINO algorithm achieved better generalization performance across all tasks tested. The presented results signify a phase change in computational pathology research, paving the way into a new era of more performant models based on large-scale, parallel pre-training at the billion-image scale.


title: Phase transitions for transitive local diffeomorphism with break points on the circle and Holder continuous potentials

abstract: In \cite{BC21} is shown that if $f: \mathbb{S}^{1} \rightarrow \mathbb{S}^{1}$ is a $C^{1+\alpha}$-local diffeomorphism non-invertible and non-uniformly expanding, then there is a unique parameter $t_{0} \in (0 , 1]$ such that the topological pressure function $\mathbb{R} \ni t \mapsto P_{top}(f , -t\log|Df|)$ is not analytic, in particular $f$ has phase transition with respect to potential $\phi := -\log|Df|$. On the other hand, by the works \cite{KQW21,KQ22}, for continuous potentials the topological pressure function can be wild; in particular, it can be infinite phase transitions. In this paper, we study the possibilities of behaviour of the topological pressure function and transfer operator for transitive local diffeomorphism with break points on the circle and Holder continuous potentials. In particular, we showed that: 1-that there is an open and dense subset of continuous potentials such that if a Holder continuous potential belongs to subset then it has no phase transition and the transfer operator has spectral gap property; 2-for Holder continuous potentials, not cohomologous to constant, the existence of a phase transition is equivalent to the topological pressure function not being strictly convex; 3-if a Holder continuous potential has phase transition, then the topological pressure function and the transfer operator associated have behaviour similar to \cite{BC21}. Consequently, every Holder continuous potential has at most two phase transitions and the set of smooth potential such that $\mathcal{L}_{f,\phi}$ has spectral gap, acting on the Holder continuous space, is dense in the uniform topology. Furthermore, we obtain applications for multifractal analysis of Birkhoff's average.


title: Measurement of competing pathways in a shock-induced phase transition in zirconium by femtosecond diffraction

abstract: The traditional picture of solid-solid phase transformations assumes an ordered parent phase transforms into an ordered daughter phase via a single unique pathway. Zirconium and its prototypical phase transition from hexagonal close-packed (hcp) to simple hexagonal (hex-3) structure has generated considerable controversy over several decades regarding which mechanism mediates the transformation. However, a lack of in situ measurements over the relevant atomistic timescales has hindered our ability to identify the true pathway. In this study, we exploit femtosecond X-ray diffraction coupled with nanosecond laser compression to give unprecedented insights into the complexities of how materials transform at the lattice level. We observe single-crystal zirconium changing from hcp to a hex-3 structure via not one but three competing pathways simultaneously. Concurrently, we also observe a broad diffuse background underlying the sharp Bragg diffraction during the transition. We corroborate our observation of the diffuse signal with multimillion-atom molecular dynamics simulations using a machine-learned interatomic potential. Our study demonstrates that the traditional mechanistic view of transitions may fail for even an elemental metal and that the mechanisms by which materials transform are far more intricate than generally thought.


title: The look of high-velocity red-giant star collisions

abstract: High-velocity stellar collisions driven by a supermassive black hole (BH) or BH-driven disruptive collisions, in dense, nuclear clusters can rival the energetics of supergiant star explosions following gravitational collapse of their iron core. Here, starting from a sample of red-giant star collisions simulated with the hydrodynamics code AREPO, we generate photometric and spectroscopic observables using the nonlocal thermodynamic equilibrium time-dependent radiative transfer code CMFGEN. Collisions from more extended giants or stronger collisions (higher velocity or smaller impact parameter) yield bolometric luminosities on the order of 1e43 erg/s at 1d, evolving on a timescale of a week to a bright plateau at ~1e41 erg/s, before plunging precipitously after 20-40d at the end of the optically-thick phase. This luminosity falls primarily in the UV in the first days, thus when it is at its maximum, and shifts to the optical thereafter. Collisions at lower velocity or from less extended stars produce ejecta that are fainter but may remain optically thick for up to 40d if they have a small expansion rate. These collision debris show a similar spectral evolution as that observed or modeled for blue-supergiant star explosions of massive stars, differing only in the more rapid transition to the nebular phase. Such BH-driven disruptive collisions should be detectable by high-cadence surveys in the UV like ULTRASAT.


title: Mean-Motion Resonances in the Quadrantid Meteoroid Stream and Dynamic Evolution of Dust Trail of (196256) 2003 EH1

abstract: The paper presents numerical models of mean-motion resonances detected in the Quadrantid meteoroid stream consisting of particles of mass 0.003 to 0.03 g, which helps to prove the presence of the following mean-motion resonances: the 1:9 resonance with Venus, 1:5 resonance with Earth, 1:3 and 3:8 resonances with Mars, and 2:1,7:3, 9:4 resonances with Jupiter. Resonance particles create dust trails far from the Earth orbit. Indeed, there is no observational support for resonant effects in the observed Quadrantid meteoroid stream.


title: The saturation of the Bell instability and its implications for cosmic ray acceleration and transport

abstract: The non-resonant (Bell) streaming instability driven by energetic particles is crucial for producing amplified magnetic fields that are key to the acceleration of cosmic rays (CRs) in supernova remnants, around Galactic and extra-galactic CR sources, and for the CR transport. We present a covariant theory for the saturation of the Bell instability, substantiated by self-consistent kinetic simulations, that can be applied to arbitrary CR distributions and discuss its implications in several heliospheric and astrophysical contexts.

categories: astro-ph.HE astro-ph.SR physics.plasm-ph physics.space-ph


title: Lipschitz Interpolation: Non-parametric Convergence under Bounded Stochastic Noise

abstract: This paper examines the asymptotic convergence properties of Lipschitz interpolation methods within the context of bounded stochastic noise. In the first part of the paper, we establish probabilistic consistency guarantees of the classical approach in a general setting and derive upper bounds on the uniform convergence rates. These bounds align with well-established optimal rates of non-parametric regression obtained in related settings and provide new precise upper bounds on the non-parametric regression problem under bounded noise assumptions. Practically, they can serve as a theoretical tool for comparing Lipschitz interpolation to alternative non-parametric regression methods, providing a condition on the behaviour of the noise at the boundary of its support which indicates when Lipschitz interpolation should be expected to asymptotically outperform or underperform other approaches. In the second part, we expand upon these results to include asymptotic guarantees for online learning of dynamics in discrete-time stochastic systems and illustrate their utility in deriving closed-loop stability guarantees of a simple controller. We also explore applications where the main assumption of prior knowledge of the Lipschitz constant is removed by adopting the LACKI framework (Calliess et al. (2020)) and deriving general asymptotic consistency.


title: Degree-penalized contact processes

abstract: We study degree-penalized contact processes on Galton-Watson trees (GW) and the configuration model. The model we consider is a modification of the usual contact process on a graph. In particular, each vertex can be either infected or healthy. When infected, each vertex heals at rate one. Also, when infected, a vertex $v$ with degree $d_v$ infects its neighboring vertex $u$ with degree $d_u$ with rate $\lambda/f(d_u, d_v)$ for some positive function $f$. In the case $f(d_u, d_v)=\max(d_u, d_v)^\mu$ for some $\mu>0$, the infection is slowed down to and from high degree vertices. This is in line with arguments used in social network science: people with many contacts do not have the time to infect their neighbors at the same rate as people with fewer contacts. We show that new phase transitions occur in terms of the parameter $\mu$ (at $1/2$) and the degree distribution $D$ of the GW tree. - When $\mu\ge 1$, the process goes extinct for all distributions $D$ for all sufficiently small $\lambda>0$; - When $\mu\in(1/2, 1)$, and the tail of $D$ weakly follows a power law with tail-exponent less than $1-\mu$, the process survives globally but not locally for all $\lambda$ small enough; - When $\mu\in(1/2, 1)$, and $\mathbb{E}[D^{1-\mu}]<\infty$, the process goes extinct almost surely, for all $\lambda$ small enough; - When $\mu<1/2$, and $D$ is heavier then stretched exponential with stretch-exponent $1-2\mu$, the process survives (locally) with positive probability for all $\lambda>0$. We also study the product case $f(x,y)=(xy)^\mu$. In that case, the situation for $\mu < 1/2$ is the same as the one described above, but $\mu\ge 1/2$ always leads to a subcritical contact process for small enough $\lambda>0$ on all graphs. Furthermore, for finite random graphs with prescribed degree sequences, we establish the corresponding phase transitions in terms of the length of survival.


title: Absolute Ideals of Almost Completely Decomposable Abelian Groups

abstract: We consider the class $\mathcal{A}_0$ of Abelian block-rigid $CRQ$-groups of ring type. A subgroup $A$ of an Abelian group $G$ is called an \textsf{absolute ideal} of the group $G$ if $A$ is an ideal in any ring on $G$. We describe principal absolute ideals of groups in $\mathcal{A}_0$. This allows to prove that any group in $\mathcal{A}_0$ is an $afi$-group, i.e., a group $G$ such that any absolute ideal of $G$ is a fully invariant subgroup.


title: Singularity formation for the higher dimensional Skyrme model in the strong field limit

abstract: This paper concerns the formation of singularities in the classical $(5+1)$-dimensional, co-rotational Skyrme model. While it is well established that blowup is excluded in $(3+1)$-dimensions, nothing appears to be known in the higher dimensional case. We prove that the model, in the so-called strong field limit, admits an explicit self-similar solution which is asymptotically stable within backwards light cones. From a technical point of view, the main obstacle to this result is the presence of derivative nonlinearities in the corresponding evolution equation. These introduce first order terms in the linearized flow which render standard techniques useless. We demonstrate how this problem can be bypassed by using structural properties of the Skyrme model.


title: Information Scrambling in Free Fermion Systems with a Sole Interaction

abstract: It is well-established that the presence of single impurity can have a substantial impact on the transport properties of quantum many-body systems at low temperature. In this work, we investigate a close analog of this problem from the perspective of quantum information dynamics. We construct Brownian circuits and Clifford circuits consisting of free fermion hopping term and a sole interaction. In both circuits, our findings reveal the emergence of operator scrambling. Notably, the growth of the operator can be mapped to the symmetric exclusion process in the presence of a source term localized at a single point. We demonstrate that in the one dimensional system, operator's size grows linearly in time and the entanglement grows diffusively in time. Conversely, in scenarios characterized by all-to-all hopping, the operator's size undergoes exponential growth, while the entanglement exhibits a linear increase over time.


title: Reproducibility in Computational Materials Science: Lessons from 'A General-Purpose Machine Learning Framework for Predicting Properties of Inorganic Materials'

abstract: The integration of machine learning techniques in materials discovery has become prominent in materials science research and has been accompanied by an increasing trend towards open-source data and tools to propel the field. Despite the increasing usefulness and capabilities of these tools, developers neglecting to follow reproducible practices creates a significant barrier for researchers looking to use or build upon their work. In this study, we investigate the challenges encountered while attempting to reproduce a section of the results presented in "A general-purpose machine learning framework for predicting properties of inorganic materials." Our analysis identifies four major categories of challenges: (1) reporting computational dependencies, (2) recording and sharing version logs, (3) sequential code organization, and (4) clarifying code references within the manuscript. The result is a proposed set of tangible action items for those aiming to make code accessible to, and useful for the community.


title: Structural convergence and algebraic roots

abstract: Structural convergence is a framework for convergence of graphs by Ne\v{s}et\v{r}il and Ossona de Mendez that unifies the dense (left) graph convergence and Benjamini-Schramm convergence. They posed a problem asking whether for a given sequence of graphs $(G_n)$ converging to a limit $L$ and a vertex $r$ of $L$ it is possible to find a sequence of vertices $(r_n)$ such that $L$ rooted at $r$ is the limit of the graphs $G_n$ rooted at $r_n$. A counterexample was found by Christofides and Kr\'{a}l', but they showed that the statement holds for almost all vertices $r$ of $L$. We offer another perspective to the original problem by considering the size of definable sets to which the root $r$ belongs. We prove that if $r$ is an algebraic vertex (i.e. belongs to a finite definable set), the sequence of roots $(r_n)$ always exists.


title: Highly efficient visible and near-IR photon pair generation with thin-film lithium niobate

abstract: Efficient on-chip entangled photon pair generation at telecom wavelengths is an integral aspect of emerging quantum optical technologies, particularly for quantum communication and computing. However, moving to shorter wavelengths enables the use of more accessible silicon detector technology and opens up applications in imaging and spectroscopy. Here, we present high brightness ($(1.6 \pm 0.3) \times 10^{9}$ pairs/mW/nm) visible-near-IR photon pair generation in a periodically poled lithium niobate nanophotonic waveguide. The degenerate spectrum of the photon pairs is centered at 811 nm with a bandwidth of 117 nm. The measured on-chip source efficiency of $(2.3\pm 0.5) \times 10^{11}$ pairs/mW is on par with source efficiencies at telecom wavelengths and is also orders of magnitude higher than the efficiencies of other visible sources implemented in bulk crystal or diffused waveguide-based technologies. These results represent the shortest wavelength of photon pairs generated in a nanophotonic waveguide reported to date by nearly an octave.


title: A predict-and-optimize approach to profit-driven churn prevention

abstract: In this paper, we introduce a novel predict-and-optimize method for profit-driven churn prevention. We frame the task of targeting customers for a retention campaign as a regret minimization problem. The main objective is to leverage individual customer lifetime values (CLVs) to ensure that only the most valuable customers are targeted. In contrast, many profit-driven strategies focus on churn probabilities while considering average CLVs. This often results in significant information loss due to data aggregation. Our proposed model aligns with the guidelines of Predict-and-Optimize (PnO) frameworks and can be efficiently solved using stochastic gradient descent methods. Results from 12 churn prediction datasets underscore the effectiveness of our approach, which achieves the best average performance compared to other well-established strategies in terms of average profit.


title: FedMFS: Federated Multimodal Fusion Learning with Selective Modality Communication

abstract: Multimodal federated learning (FL) aims to enrich model training in FL settings where devices are collecting measurements across multiple modalities (e.g., sensors measuring pressure, motion, and other types of data). However, key challenges to multimodal FL remain unaddressed, particularly in heterogeneous network settings: (i) the set of modalities collected by each device will be diverse, and (ii) communication limitations prevent devices from uploading all their locally trained modality models to the server. In this paper, we propose Federated Multimodal Fusion learning with Selective modality communication (FedMFS), a new multimodal fusion FL methodology that can tackle the above mentioned challenges. The key idea is the introduction of a modality selection criterion for each device, which weighs (i) the impact of the modality, gauged by Shapley value analysis, against (ii) the modality model size as a gauge for communication overhead. This enables FedMFS to flexibly balance performance against communication costs, depending on resource constraints and application requirements. Experiments on the real-world ActionSense dataset demonstrate the ability of FedMFS to achieve comparable accuracy to several baselines while reducing the communication overhead by over 4x.