title: Biclustering bipartite networks via extended Mixture of Latent Trait Analyzers

abstract: In the context of network data, bipartite networks are of particular interest, as they provide a useful description of systems representing relationships between sending and receiving nodes. In this framework, we extend the Mixture of Latent Trait Analyzers (MLTA) to perform a joint clustering of sending and receiving nodes, as in the biclustering framework. In detail, sending nodes are partitioned into clusters (called components) via a finite mixture of latent trait models. In each component, receiving nodes are partitioned into clusters (called segments) by adopting a flexible and parsimonious specification of the linear predictor. Dependence between receiving nodes is modeled via a multidimensional latent trait, as in the original MLTA specification. The proposal also allows for the inclusion of concomitant variables in the latent layer of the model, with the aim of understanding how they influence component formation. To estimate model parameters, an EM-type algorithm based on a Gauss-Hermite approximation of intractable integrals is proposed. A simulation study is conducted to test the performance of the model in terms of clustering and parameters' recovery. The proposed model is applied to a bipartite network on pediatric patients possibly affected by appendicitis with the objective of identifying groups of patients (sending nodes) being similar with respect to subsets of clinical conditions (receiving nodes).


title: Impact of Preference Noise on the Alignment Performance of Generative Language Models

abstract: A key requirement in developing Generative Language Models (GLMs) is to have their values aligned with human values. Preference-based alignment is a widely used paradigm for this purpose, in which preferences over generation pairs are first elicited from human annotators or AI systems, and then fed into some alignment techniques, e.g., Direct Preference Optimization. However, a substantial percent (20 - 40%) of the preference pairs used in GLM alignment are noisy, and it remains unclear how the noise affects the alignment performance and how to mitigate its negative impact. In this paper, we propose a framework to inject desirable amounts and types of noise to the preferences, and systematically study the impact of preference noise on the alignment performance in two tasks (summarization and dialogue generation). We find that the alignment performance can be highly sensitive to the noise rates in the preference data: e.g., a 10 percentage points (pp) increase of the noise rate can lead to 30 pp drop in the alignment performance (in win rate). To mitigate the impact of noise, confidence-based data filtering shows significant benefit when certain types of noise are present. We hope our work can help the community better understand and mitigate the impact of preference noise in GLM alignment.


title: Mapping the anisotropic Galactic stellar halo with Blue Horizontal Branch stars

abstract: We use Legacy Survey photometric data to probe the stellar halo in multiple directions of the sky using a probabilistic methodology to identify Blue Horizontal Branch (BHB) stars. The measured average radial density profile follows a double power law in the range $ 5 < r_{gc}/{\rm kpc} < 120$, with a density break at $r_{gc}\approx20$ kpc. This description, however, falls short, depending on the chosen line-of-sight, with some regions showing no signature of a break in the profile and a wide range of density slopes, e.g. outer slope $-5.5 \lesssim \alpha_{out} \lesssim -4$, pointing towards a highly anisotropic stellar halo. This explains in part the wide range of density profiles reported in the literature owing to different tracers and sky coverage. Using our detailed 3-D stellar halo density map, we quantify the shape of the Pisces overdensity associated with the transient wake response of the Galaxy's (dark) halo to the Large Magellanic Cloud (LMC). Measured in the LMC's coordinate system, Pisces stands above the background, is 60 degrees long and 25 degrees wide and aligned with the LMC's orbit. This would correspond to a wake width of $\sim 32$ kpc at $\sim 70$ kpc. We do not find a statistically significant signature of the collective response in density as previously reported in the literature measured with K giant stars, despite our larger numbers. We release the catalogue constructed in this study with 95,446 possible BHB stars and their BHB probability.


title: A Recipe for CAC: Mosaic-based Generalized Loss for Improved Class-Agnostic Counting

abstract: Class agnostic counting (CAC) is a vision task that can be used to count the total occurrence number of any given reference objects in the query image. The task is usually formulated as a density map estimation problem through similarity computation among a few image samples of the reference object and the query image. In this paper, we point out a severe issue of the existing CAC framework: Given a multi-class setting, models don't consider reference images and instead blindly match all dominant objects in the query image. Moreover, the current evaluation metrics and dataset cannot be used to faithfully assess the model's generalization performance and robustness. To this end, we discover that the combination of mosaic augmentation with generalized loss is essential for addressing the aforementioned issue of CAC models to count objects of majority (i.e. dominant objects) regardless of the references. Furthermore, we introduce a new evaluation protocol and metrics for resolving the problem behind the existing CAC evaluation scheme and better benchmarking CAC models in a more fair manner. Besides, extensive evaluation results demonstrate that our proposed recipe can consistently improve the performance of different CAC models. The code will be released upon acceptance.


title: Triple Higgs couplings at LHC

abstract: A global interpretation of several significant indications of scalar resonances observed at LHC is achieved using the Georgi Machacek model. Among many other consequences, one predicts large cross sections for the processes ggFH(320)->h(125)h(125) and A(151)A(151) and ggF->A(420)->H(320)Z, where H(320) has been observed in A(420)->H(320)Z->bbbbl+l- and where A(151) is observed into two photons accompanied by a b jet, a lepton or missing transverse energy. We predict that ggF->H(320) has a cross section of about 2000 fb with a BR into h(125)(125) of 17% and into A(151)A(151) of 45%. Henceforth we predict that ggF->H(320)->hh will dominate over the SM process h*->hh, where h is the SM h(125) scalar. One expects that H(320)->A(151)A(151) can be observed into bbbb, becoming one of the most significant BSM phenomena identified so far. Arguments in favor of a SUSY version of GM are also provided.


title: Interaction as Explanation: A User Interaction-based Method for Explaining Image Classification Models

abstract: In computer vision, explainable AI (xAI) methods seek to mitigate the 'black-box' problem by making the decision-making process of deep learning models more interpretable and transparent. Traditional xAI methods concentrate on visualizing input features that influence model predictions, providing insights primarily suited for experts. In this work, we present an interaction-based xAI method that enhances user comprehension of image classification models through their interaction. Thus, we developed a web-based prototype allowing users to modify images via painting and erasing, thereby observing changes in classification results. Our approach enables users to discern critical features influencing the model's decision-making process, aligning their mental models with the model's logic. Experiments conducted with five images demonstrate the potential of the method to reveal feature importance through user interaction. Our work contributes a novel perspective to xAI by centering on end-user engagement and understanding, paving the way for more intuitive and accessible explainability in AI systems.


title: Nonlinear chiral quantum optics with giant-emitter pairs

abstract: We propose a setup which combines giant emitters (coupling to light at multiple points separated by wavelength distances) with nonlinear quantum optics and its correlated photons. In this setup, we reveal a mechanism for multiphoton chiral emission: the propagation phase of the center of mass of two strongly correlated photons (a doublon), and the phases encoded in the coupling points of two giant emitters, can yield completely destructive interference in one propagation direction while supporting emission in the other direction. The degree of chirality can be tuned by the phases of the couplings. We show that the proposed setup can provide directional quantum many-body resources, and can be configured as a building block for a chiral quantum network with ``correlated flying qubits'', enabling distinct applications beyond linear chiral setups. Our findings point toward a rich landscape of tailoring multiphoton propagation and correlation properties by exploiting interference effects of giant emitters coupling to nonlinear photonic baths.


title: Negation Triplet Extraction with Syntactic Dependency and Semantic Consistency

abstract: Previous works of negation understanding mainly focus on negation cue detection and scope resolution, without identifying negation subject which is also significant to the downstream tasks. In this paper, we propose a new negation triplet extraction (NTE) task which aims to extract negation subject along with negation cue and scope. To achieve NTE, we devise a novel Syntax&Semantic-Enhanced Negation Extraction model, namely SSENE, which is built based on a generative pretrained language model (PLM) {of Encoder-Decoder architecture} with a multi-task learning framework. Specifically, the given sentence's syntactic dependency tree is incorporated into the PLM's encoder to discover the correlations between the negation subject, cue and scope. Moreover, the semantic consistency between the sentence and the extracted triplet is ensured by an auxiliary task learning. Furthermore, we have constructed a high-quality Chinese dataset NegComment based on the users' reviews from the real-world platform of Meituan, upon which our evaluations show that SSENE achieves the best NTE performance compared to the baselines. Our ablation and case studies also demonstrate that incorporating the syntactic information helps the PLM's recognize the distant dependency between the subject and cue, and the auxiliary task learning is helpful to extract the negation triplets with more semantic consistency.


title: Digging into contrastive learning for robust depth estimation with diffusion models

abstract: Recently, diffusion-based depth estimation methods have drawn widespread attention due to their elegant denoising patterns and promising performance. However, they are typically unreliable under adverse conditions prevalent in real-world scenarios, such as rainy, snowy, etc. In this paper, we propose a novel robust depth estimation method called D4RD, featuring a custom contrastive learning mode tailored for diffusion models to mitigate performance degradation in complex environments. Concretely, we integrate the strength of knowledge distillation into contrastive learning, building the `trinity' contrastive scheme. This scheme utilizes the sampled noise of the forward diffusion process as a natural reference, guiding the predicted noise in diverse scenes toward a more stable and precise optimum. Moreover, we extend noise-level trinity to encompass more generic feature and image levels, establishing a multi-level contrast to distribute the burden of robust perception across the overall network. Before addressing complex scenarios, we enhance the stability of the baseline diffusion model with three straightforward yet effective improvements, which facilitate convergence and remove depth outliers. Extensive experiments demonstrate that D4RD surpasses existing state-of-the-art solutions on synthetic corruption datasets and real-world weather conditions. The code for D4RD will be made available for further exploration and adoption.


title: No-Regret Algorithms in non-Truthful Auctions with Budget and ROI Constraints

abstract: Advertisers increasingly use automated bidding to optimize their ad campaigns on online advertising platforms. Autobidding optimizes an advertiser's objective subject to various constraints, e.g. average ROI and budget constraints. In this paper, we study the problem of designing online autobidding algorithms to optimize value subject to ROI and budget constraints when the platform is running any mixture of first and second price auction. We consider the following stochastic setting: There is an item for sale in each of $T$ rounds. In each round, buyers submit bids and an auction is run to sell the item. We focus on one buyer, possibly with budget and ROI constraints. We assume that the buyer's value and the highest competing bid are drawn i.i.d. from some unknown (joint) distribution in each round. We design a low-regret bidding algorithm that satisfies the buyer's constraints. Our benchmark is the objective value achievable by the best possible Lipschitz function that maps values to bids, which is rich enough to best respond to many different correlation structures between value and highest competing bid. Our main result is an algorithm with full information feedback that guarantees a near-optimal $\tilde O(\sqrt T)$ regret with respect to the best Lipschitz function. Our result applies to a wide range of auctions, most notably any mixture of first and second price auctions (price is a convex combination of the first and second price). In addition, our result holds for both value-maximizing buyers and quasi-linear utility-maximizing buyers. We also study the bandit setting, where we show an $\Omega(T^{2/3})$ lower bound on the regret for first-price auctions, showing a large disparity between the full information and bandit settings. We also design an algorithm with $\tilde O(T^{3/4})$ regret, when the value distribution is known and is independent of the highest competing bid.


title: Video2Game: Real-time, Interactive, Realistic and Browser-Compatible Environment from a Single Video

abstract: Creating high-quality and interactive virtual environments, such as games and simulators, often involves complex and costly manual modeling processes. In this paper, we present Video2Game, a novel approach that automatically converts videos of real-world scenes into realistic and interactive game environments. At the heart of our system are three core components:(i) a neural radiance fields (NeRF) module that effectively captures the geometry and visual appearance of the scene; (ii) a mesh module that distills the knowledge from NeRF for faster rendering; and (iii) a physics module that models the interactions and physical dynamics among the objects. By following the carefully designed pipeline, one can construct an interactable and actionable digital replica of the real world. We benchmark our system on both indoor and large-scale outdoor scenes. We show that we can not only produce highly-realistic renderings in real-time, but also build interactive games on top.


title: On a degenerate second order traffic model: existence of discrete evolutions, deterministic many-particle limit and first order approximation

abstract: We propose and analyse a new microscopic second order Follow-the-Leader type scheme to describe traffic flows. The main novelty of this model consists in multiplying the second order term by a nonlinear function of the global density, with the intent of considering the attentiveness of the drivers in dependence of the amount of congestion. Such term makes the system highly degenerate; indeed, coherently with the modellistic viewpoint, we allow for the nonlinearity to vanish as soon as consecutive vehicles are very close to each other. We first show existence of solutions to the degenerate discrete system. We then perform a rigorous discrete-to-continuum limit, as the number of vehicles grows larger and larger, by making use of suitable piece-wise constant approximations of the relevant macroscopic variables. The resulting continuum system turns out to be described by a degenerate pressure-less Euler-type equation, and we discuss how this could be considered an alternative to the groundbreaking Aw-Rascle-Zhang traffic model. Finally, we study the singular limit to first order dynamics in the spirit of a vanishing-inertia argument. This eventually validates the use of first order macroscopic models with nonlinear mobility to describe a congested traffic stream.


title: Hardness of Packing, Covering and Partitioning Simple Polygons with Unit Squares

abstract: We show that packing axis-aligned unit squares into a simple polygon $P$ is NP-hard, even when $P$ is an orthogonal and orthogonally convex polygon with half-integer coordinates. It has been known since the early 80s that packing unit squares into a polygon with holes is NP-hard~[Fowler, Paterson, Tanimoto, Inf. Process. Lett., 1981], but the version without holes was conjectured to be polynomial-time solvable more than two decades ago~[Baur and Fekete, Algorithmica, 2001]. Our reduction relies on a new way of reducing from \textsc{Planar-3SAT}. Interestingly, our geometric realization of a planar formula is non-planar. Vertices become rows and edges become columns, with crossings being allowed. The planarity ensures that all endpoints of rows and columns are incident to the outer face of the resulting drawing. We can then construct a polygon following the outer face that realizes all the logic of the formula geometrically, without the need of any holes. This new reduction technique proves to be general enough to also show hardness of two natural covering and partitioning problems, even when the input polygon is simple. We say that a polygon $Q$ is \emph{small} if $Q$ is contained in a unit square. We prove that it is NP-hard to find a minimum number of small polygons whose union is $P$ (covering) and to find a minimum number of pairwise interior-disjoint small polygons whose union is $P$ (partitioning), when $P$ is an orthogonal simple polygon with half-integer coordinates. This is the first partitioning problem known to be NP-hard for polygons without holes, with the usual objective of minimizing the number of pieces.


title: How Far Have We Gone in Stripped Binary Code Understanding Using Large Language Models

abstract: Binary code analysis plays a pivotal role in various software security applications, such as software maintenance, malware detection, software vulnerability discovery, patch analysis, etc. However, unlike source code, understanding binary code is challenging for reverse engineers due to the absence of semantic information. Therefore, automated tools are needed to assist human players in interpreting binary code. In recent years, two groups of technologies have shown promising prospects: (1) Deep learning-based technologies have demonstrated competitive results in tasks related to binary code understanding, furthermore, (2) Large Language Models (LLMs) have been extensively pre-trained at the source-code level for tasks such as code understanding and generation. This makes participants wonder about the ability of LLMs in binary code understanding. In this work, we propose a benchmark to evaluate the effectiveness of LLMs in real-world reverse engineering scenarios. The benchmark covers two key binary code understanding tasks, including function name recovery and binary code summarization. We gain valuable insights into their capabilities and limitations through extensive evaluations of popular LLMs using our benchmark. Our evaluations reveal that existing LLMs can understand binary code to a certain extent, thereby improving the efficiency of binary code analysis. Our results highlight the great potential of the LLMs in advancing the field of binary code understanding.


title: On inverse problems in multi-population aggregation models

abstract: This paper focuses on inverse problems arising in studying multi-population aggregations. The goal is to reconstruct the diffusion coefficient, advection coefficient, and interaction kernels of the aggregation system, which characterize the dynamics of different populations. In the theoretical analysis of the physical setup, it is crucial to ensure non-negativity of solutions. To address this, we employ the high-order variation method and introduce modifications to the systems. Additionally, we propose a novel approach called transformative asymptotic technique that enables the recovery of the diffusion coefficient preceding the Laplace operator, presenting a pioneering method for this type of problems. Through these techniques, we offer comprehensive insights into the unique identifiability aspect of inverse problems associated with multi-population aggregation models.


title: Hierarchical Fault-Tolerant Coverage Control for an Autonomous Aerial Agent

abstract: Fault-tolerant coverage control involves determining a trajectory that enables an autonomous agent to cover specific points of interest, even in the presence of actuation and/or sensing faults. In this work, the agent encounters control inputs that are erroneous; specifically, its nominal controls inputs are perturbed by stochastic disturbances, potentially disrupting its intended operation. Existing techniques have focused on deterministically bounded disturbances or relied on the assumption of Gaussian disturbances, whereas non-Gaussian disturbances have been primarily been tackled via scenario-based stochastic control methods. However, the assumption of Gaussian disturbances is generally limited to linear systems, and scenario-based methods can become computationally prohibitive. To address these limitations, we propose a hierarchical coverage controller that integrates mixed-trigonometric-polynomial moment propagation to propagate non-Gaussian disturbances through the agent's nonlinear dynamics. Specifically, the first stage generates an ideal reference plan by optimising the agent's mobility and camera control inputs. The second-stage fault-tolerant controller then aims to follow this reference plan, even in the presence of erroneous control inputs caused by non-Gaussian disturbances. This is achieved by imposing a set of deterministic constraints on the moments of the system's uncertain states.


title: A machine learning-based study of open-charm hadrons in proton-proton collisions at the Large Hadron Collider

abstract: In proton-proton and heavy-ion collisions, the study of charm hadrons plays a pivotal role in understanding the QCD medium and provides an undisputed testing ground for the theory of strong interaction, as they are mostly produced in the early stages of collisions via hard partonic interactions. The lightest open-charm, $D^{0}$ meson ($c\bar{u}$), can originate from two separate sources. The prompt $D^{0}$ originates from direct charm production or decay of excited open charm states, and the nonprompt stems from the decay of beauty hadrons. In this paper, using different machine learning (ML) algorithms such as XGBoost, CatBoost, and Random Forest, an attempt has been made to segregate the prompt and nonprompt production modes of $D^{0}$ meson signal from its background. The ML models are trained using the invariant mass ($M_{\pi K}$) through its hadronic decay channel, i.e., $D^{0}\rightarrow\pi^{+} K^{-}$, pseudoproper time ($t_{z}$), pseudoproper decay length ($c\tau$), and distance of closest approach of $D^{0}$ meson, using PYTHIA8 simulated $pp$ collisions at $\sqrt{s}=13~\rm{TeV}$. The ML models used in this analysis are found to retain the pseudorapidity, transverse momentum, and collision energy dependence. In addition, we report the ratio of nonprompt to prompt $D^{0}$ yield, the self-normalized yield of prompt and nonprompt $D^{0}$ and explore the charmonium, $J/\psi$ to open-charm, $D^{0}$ yield ratio as a function of transverse momenta and normalized multiplicity. The observables studied in this manuscript are well predicted by all the ML models compared to the simulation.


title: Dirac quantum walk on tetrahedra

abstract: Discrete-time Quantum Walks (QWs) are transportation models of single quantum particles over a lattice. Their evolution is driven through causal and local unitary operators. QWs are a powerful tool for quantum simulation of fundamental physics as some of them have a continuum limit converging to well-known physics partial differential equations, such as the Dirac or the Schr\"odinger equation. In this work, we show how to recover the Dirac equation in (3+1)-dimensions with a QW evolving in a tetrahedral space. This paves the way to simulate the Dirac equation on a curved spacetime. This also suggests an ordered scheme for propagating matter over a spin network, of interest in Loop Quantum Gravity where matter propagation has remained an open problem.


title: Anatomy of Industrial Scale Multilingual ASR

abstract: This paper describes AssemblyAI's industrial-scale automatic speech recognition (ASR) system, designed to meet the requirements of large-scale, multilingual ASR serving various application needs. Our system leverages a diverse training dataset comprising unsupervised (12.5M hours), supervised (188k hours), and pseudo-labeled (1.6M hours) data across four languages. We provide a detailed description of our model architecture, consisting of a full-context 600M-parameter Conformer encoder pre-trained with BEST-RQ and an RNN-T decoder fine-tuned jointly with the encoder. Our extensive evaluation demonstrates competitive word error rates (WERs) against larger and more computationally expensive models, such as Whisper large and Canary-1B. Furthermore, our architectural choices yield several key advantages, including an improved code-switching capability, a 5x inference speedup compared to an optimized Whisper baseline, a 30% reduction in hallucination rate on speech data, and a 90% reduction in ambient noise compared to Whisper, along with significantly improved time-stamp accuracy. Throughout this work, we adopt a system-centric approach to analyzing various aspects of fully-fledged ASR models to gain practically relevant insights useful for real-world services operating at scale.


title: STMixer: A One-Stage Sparse Action Detector

abstract: Traditional video action detectors typically adopt the two-stage pipeline, where a person detector is first employed to generate actor boxes and then 3D RoIAlign is used to extract actor-specific features for classification. This detection paradigm requires multi-stage training and inference, and the feature sampling is constrained inside the box, failing to effectively leverage richer context information outside. Recently, a few query-based action detectors have been proposed to predict action instances in an end-to-end manner. However, they still lack adaptability in feature sampling and decoding, thus suffering from the issues of inferior performance or slower convergence. In this paper, we propose two core designs for a more flexible one-stage sparse action detector. First, we present a query-based adaptive feature sampling module, which endows the detector with the flexibility of mining a group of discriminative features from the entire spatio-temporal domain. Second, we devise a decoupled feature mixing module, which dynamically attends to and mixes video features along the spatial and temporal dimensions respectively for better feature decoding. Based on these designs, we instantiate two detection pipelines, that is, STMixer-K for keyframe action detection and STMixer-T for action tubelet detection. Without bells and whistles, our STMixer detectors obtain state-of-the-art results on five challenging spatio-temporal action detection benchmarks for keyframe action detection or action tube detection.


title: Representations of Multiparameter Quantum Groups

abstract: We construct representations of the quantum algebras ~$U_{q{\bf q}}(gl(n))$ and ~$U_{q{\bf q}}(sl(n))$~ which are in duality with the multiparameter quantum groups ~$GL_{q{\bf q}}(n)$, ~$SL_{q{\bf q}}(n)$,~ respectively. These objects depend on ~$n(n-1)/2+1$~ deformation parameters ~$q,q_{ij}$ ($1\leq i <j\leq n$) which is the maximal possible number in the case of $GL(n)$. The representations are labelled by $n-1$ complex numbers ~$r_i$~ and are acting in the space of formal power series of ~$n(n-1)/2$~ non-commuting variables. These variables generate quantum flag manifolds of ~$GL_{q{\bf q}}(n)$, ~$SL_{q{\bf q}}(n)$. The case $n=3$ is treated in more detail.


title: Facial Features Integration in Last Mile Delivery Robots

abstract: Delivery services have undergone technological advancements, with robots now directly delivering packages to recipients. While these robots are designed for efficient functionality, they have not been specifically designed for interactions with humans. Building on the premise that incorporating human-like characteristics into a robot has the potential to positively impact technology acceptance, this study explores human reactions to a robot characterized with facial expressions. The findings indicate a correlation between anthropomorphic features and the observed responses.


title: Stable Inversion of Piecewise Affine Systems with Application to Feedforward and Iterative Learning Control

abstract: Model inversion is a fundamental technique in feedforward control. Unstable inverse models present a challenge in that useful feedforward control trajectories cannot be generated by directly propagating them. Stable inversion is a process for generating useful trajectories from unstable inverses by handling their stable and unstable modes separately. Piecewise affine (PWA) systems are a popular framework for modeling complicated dynamics. The primary contributions of this article are closed-form inverse formulas for a general class of PWA models, and stable inversion methods for these models. Both contributions leverage closed-form model representations to prove sufficient conditions for solution existence and uniqueness, and to develop solution computation methods. The result is implementable feedforward control synthesis from PWA models with either stable or unstable inverses. In practice, feedforward control alone may yield substantial tracking errors due to mismatch between the known system model and the unknowable complete system physics. Iterative learning control (ILC) is a technique for achieving robustness to model error in feedforward control. To demonstrate the primary contributions' validity and utility, this article also integrates PWA stable inversion with ILC in simulations based on a physical printhead positioning system.


title: A Diffusion-based Data Generator for Training Object Recognition Models in Ultra-Range Distance

abstract: Object recognition, commonly performed by a camera, is a fundamental requirement for robots to complete complex tasks. Some tasks require recognizing objects far from the robot's camera. A challenging example is Ultra-Range Gesture Recognition (URGR) in human-robot interaction where the user exhibits directive gestures at a distance of up to 25~m from the robot. However, training a model to recognize hardly visible objects located in ultra-range requires an exhaustive collection of a significant amount of labeled samples. The generation of synthetic training datasets is a recent solution to the lack of real-world data, while unable to properly replicate the realistic visual characteristics of distant objects in images. In this letter, we propose the Diffusion in Ultra-Range (DUR) framework based on a Diffusion model to generate labeled images of distant objects in various scenes. The DUR generator receives a desired distance and class (e.g., gesture) and outputs a corresponding synthetic image. We apply DUR to train a URGR model with directive gestures in which fine details of the gesturing hand are challenging to distinguish. DUR is compared to other types of generative models showcasing superiority both in fidelity and in recognition success rate when training a URGR model. More importantly, training a DUR model on a limited amount of real data and then using it to generate synthetic data for training a URGR model outperforms directly training the URGR model on real data. The synthetic-based URGR model is also demonstrated in gesture-based direction of a ground robot.


title: Statistical learning for constrained functional parameters in infinite-dimensional models with applications in fair machine learning

abstract: Constrained learning has become increasingly important, especially in the realm of algorithmic fairness and machine learning. In these settings, predictive models are developed specifically to satisfy pre-defined notions of fairness. Here, we study the general problem of constrained statistical machine learning through a statistical functional lens. We consider learning a function-valued parameter of interest under the constraint that one or several pre-specified real-valued functional parameters equal zero or are otherwise bounded. We characterize the constrained functional parameter as the minimizer of a penalized risk criterion using a Lagrange multiplier formulation. We show that closed-form solutions for the optimal constrained parameter are often available, providing insight into mechanisms that drive fairness in predictive models. Our results also suggest natural estimators of the constrained parameter that can be constructed by combining estimates of unconstrained parameters of the data generating distribution. Thus, our estimation procedure for constructing fair machine learning algorithms can be applied in conjunction with any statistical learning approach and off-the-shelf software. We demonstrate the generality of our method by explicitly considering a number of examples of statistical fairness constraints and implementing the approach using several popular learning approaches.


title: HyperMono: A Monotonicity-aware Approach to Hyper-Relational Knowledge Representation

abstract: In a hyper-relational knowledge graph (HKG), each fact is composed of a main triple associated with attribute-value qualifiers, which express additional factual knowledge. The hyper-relational knowledge graph completion (HKGC) task aims at inferring plausible missing links in a HKG. Most existing approaches to HKGC focus on enhancing the communication between qualifier pairs and main triples, while overlooking two important properties that emerge from the monotonicity of the hyper-relational graphs representation regime. Stage Reasoning allows for a two-step reasoning process, facilitating the integration of coarse-grained inference results derived solely from main triples and fine-grained inference results obtained from hyper-relational facts with qualifiers. In the initial stage, coarse-grained results provide an upper bound for correct predictions, which are subsequently refined in the fine-grained step. More generally, Qualifier Monotonicity implies that by attaching more qualifier pairs to a main triple, we may only narrow down the answer set, but never enlarge it. This paper proposes the HyperMono model for hyper-relational knowledge graph completion, which realizes stage reasoning and qualifier monotonicity. To implement qualifier monotonicity HyperMono resorts to cone embeddings. Experiments on three real-world datasets with three different scenario conditions demonstrate the strong performance of HyperMono when compared to the SoTA.


title: Steering opinion dynamics through control of social networks

abstract: In this paper we propose a novel control approach for opinion dynamics on evolving networks. The controls modify the strength of connections in the network, rather than influencing opinions directly, with the overall goal of steering the population towards a target opinion. This requires that the social network remains sufficiently connected, the population does not break into separate opinion clusters, and that the target opinion remains accessible. We present several approaches to addressing these challenges, considering questions of controllability, instantaneous control and optimal control. Each of these approaches provides a different view on the complex relationship between opinion and network dynamics and raises interesting questions for future research.


title: Guaranteed Reachability on Riemannian Manifolds for Unknown Nonlinear Systems

abstract: Determining the reachable set for a given nonlinear system is critically important for autonomous trajectory planning for reach-avoid applications and safety critical scenarios. Providing the reachable set is generally impossible when the dynamics are unknown, so we calculate underapproximations of such sets using local dynamics at a single point and bounds on the rate of change of the dynamics determined from known physical laws. Motivated by scenarios where an adverse event causes an abrupt change in the dynamics, we attempt to determine a provably reachable set of states without knowledge of the dynamics. This paper considers systems which are known to operate on a manifold. Underapproximations are calculated by utilizing the aforementioned knowledge to derive a guaranteed set of velocities on the tangent bundle of a complete Riemannian manifold that can be reached within a finite time horizon. We then interpret said set as a control system; the trajectories of this control system provide us with a guaranteed set of reachable states the unknown system can reach within a given time. The results are general enough to apply on systems that operate on any complete Riemannian manifold. To illustrate the practical implementation of our results, we apply our algorithm to a model of a pendulum operating on a sphere and a three-dimensional rotational system which lives on the abstract set of special orthogonal matrices.


title: Modeling the Lane-Change Reactions to Merging Vehicles for Highway On-Ramp Simulations

abstract: Enhancing simulation environments to replicate real-world driver behavior is essential for developing Autonomous Vehicle technology. While some previous works have studied the yielding reaction of lag vehicles in response to a merging car at highway on-ramps, the possible lane-change reaction of the lag car has not been widely studied. In this work we aim to improve the simulation of the highway merge scenario by including the lane-change reaction in addition to yielding behavior of main-lane lag vehicles, and we evaluate two different models for their ability to capture this reactive lane-change behavior. To tune the payoff functions of these models, a novel naturalistic dataset was collected on U.S. highways that provided several hours of merge-specific data to learn the lane change behavior of U.S. drivers. To make sure that we are collecting a representative set of different U.S. highway geometries in our data, we surveyed 50,000 U.S. highway on-ramps and then selected eight representative sites. The data were collected using roadside-mounted lidar sensors to capture various merge driver interactions. The models were demonstrated to be configurable for both keep-straight and lane-change behavior. The models were finally integrated into a high-fidelity simulation environment and confirmed to have adequate computation time efficiency for use in large-scale simulations to support autonomous vehicle development.


title: Simulating Electron Transfer in a Molecular Triad within an Optical Cavity Using NISQ Computers

abstract: We present a quantum algorithm based on the Tensor-Train Thermo-Field Dynamics (TT-TFD) method to simulate the open quantum system dynamics of intramolecular charge transfer modulated by an optical cavity on noisy intermediate-scale quantum (NISQ) computers. We apply our methodology to a model that describes the $\pi\pi^*$ to CT1 intermolecular charge transfer within the carotenoid-porphyrin-C60 molecular triad solvated in tetrahydrofuran (THF) and placed inside an optical cavity. We find how the dynamics is influenced by the cavity resonance frequency and strength of the light-matter interaction, showcasing the NISQ-based simulations to capture these effects. Furthermore, we compare the approximate predictions of Fermi's Golden Rule (FGR) rate theory and Ring-Polymer Molecular Dynamics (RPMD) to numerically exact calculations, showing the capabilitis of quantum computing methods to assess the limitations of approximate methods.


title: Derived geometric Satake for $\mathrm{PGL}_2^{\times 3}/\mathrm{PGL}_2^\mathrm{diag}$

abstract: In this note, we study the local relative geometric Langlands conjecture of Ben-Zvi--Sakellaridis--Venkatesh for the spherical subgroup $\mathrm{PGL}_2^\mathrm{diag}$ of the triple product $\mathrm{PGL}_2^{\times 3}$ (and also for the spherical subgroup $\mathrm{G}_2$ of $\mathrm{SO}_8/\mu_2$), whose corresponding Langlands dual $\mathrm{SL}_2^{\times 3}$-variety can be identified with the symplectic vector space $(\mathbf{A}^2)^{\otimes 3} \cong \mathbf{A}^8$ of $2\times 2 \times 2$-cubes. Our analysis relies on a construction of Bhargava relating $2 \times 2 \times 2$-cubes to Gauss composition on quadratic forms, arising here as the moment map for the Hamiltonian $\mathrm{SL}_2^{\times 3}$-action on $(\mathbf{A}^2)^{\otimes 3}$, and the Cayley hyperdeterminant as studied by Gelfand-Kapranov-Zelevinsky.


title: Custom frame synchronization for easy and rapid deployment

abstract: We propose a novel and efficient, custom frame synchronization architecture aimed at rapid deployment on any hardware platform. Frame synchronization is the process of discerning valid data frames from an incoming transmission and in this article it is accomplished by attaching distinctive binary overhead sequences on the frame. These sequences act as markers for the frames and enable the capture of their payload. They have certain properties and can be detected by using only simple hardware constructs like XNOR gates and few-bit adders with adequate accuracy. A low-cost commercial FPGA was used for implementation (NEXYS 4 DDR).


title: First-order quantum breakdown of superconductivity in amorphous superconductors

abstract: Continuous quantum phase transitions are widely assumed and frequently observed in various systems of quantum particles or spins. Their characteristic trait involves scaling laws governing a second-order, gradual suppression of the order parameter as the quantum critical point is approached. The localization of Cooper pairs in disordered superconductors and the resulting breakdown of superconductivity have long stood as a prototypical example. Here, we show a departure from this paradigm, showcasing that amorphous superconducting films of indium oxide undergo a distinctive, discontinuous first-order quantum phase transition tuned by disorder. Through systematic measurements of the plasmon spectrum in superconducting microwave resonators, we provide evidence for a marked jump of both the zero-temperature superfluid stiffness and the transition temperature at the critical disorder. This discontinuous transition sheds light on the previously overlooked role of repulsive interactions between Cooper pairs and the subsequent competition between superconductivity and insulating Cooper-pair glass. Furthermore, our investigation shows that the critical temperature of the films no longer relates to the pairing amplitude but aligns with the superfluid stiffness, consistent with the pseudogap regime of preformed Cooper pairs. Our findings raise fundamental new questions into the role of disorder in quantum phase transitions and carry implications for superinductances in quantum circuits.


title: Matching Hadronization and Perturbative Evolution: The Cluster Model in Light of Infrared Shower Cutoff Dependence

abstract: In the context of Monte Carlo (MC) generators with parton showers that have next-to-leading-logarithmic (NLL) precision, the cutoff $Q_0$ terminating the shower evolution should be viewed as an infrared factorization scale so that parameters or non-perturbative effects of the MC generator may have a field theoretic interpretation with a controllable scheme dependence. This implies that the generator's parton level should be carefully defined within QCD perturbation theory with subleading order precision. Furthermore, it entails that the shower cut $Q_0$ is not treated as one of the generator's tuning parameters, but that the tuning can be carried out reliably for a range of $Q_0$ values and that the hadron level description is $Q_0$-invariant. This in turn imposes non-trival constraints on the behavior of the generator's hadronization model, so that its parameters can adapt accordingly when the $Q_0$ value is changed. We investigate these features using the angular ordered parton shower and the cluster hadronization model implemented in the Herwig~7.2 MC generator focusing in particular on the $e^+e^-$ 2-jettiness distribution, where the shower is known to be NLL precise and where QCD factorization imposes stringent constraints on the hadronization corrections. We show that the Herwig default cluster hadronization model does not exhibit these features or consistency with QCD factorization with a satisfying precision. We design a modification of the cluster hadronization model, where some dynamical parton shower aspects are added that are missing in the default model. For this novel dynamical cluster hadronization model these features and consistency with QCD factorization are realized much more accurately.


title: Empowering Embodied Visual Tracking with Visual Foundation Models and Offline RL

abstract: Embodied visual tracking is to follow a target object in dynamic 3D environments using an agent's egocentric vision. This is a vital and challenging skill for embodied agents. However, existing methods suffer from inefficient training and poor generalization. In this paper, we propose a novel framework that combines visual foundation models (VFM) and offline reinforcement learning (offline RL) to empower embodied visual tracking. We use a pre-trained VFM, such as ``Tracking Anything", to extract semantic segmentation masks with text prompts. We then train a recurrent policy network with offline RL, e.g., Conservative Q-Learning, to learn from the collected demonstrations without online agent-environment interactions. To further improve the robustness and generalization of the policy network, we also introduce a mask re-targeting mechanism and a multi-level data collection strategy. In this way, we can train a robust tracker within an hour on a consumer-level GPU, e.g., Nvidia RTX 3090. Such efficiency is unprecedented for RL-based visual tracking methods. We evaluate our tracker on several high-fidelity environments with challenging situations, such as distraction and occlusion. The results show that our agent outperforms state-of-the-art methods in terms of sample efficiency, robustness to distractors, and generalization to unseen scenarios and targets. We also demonstrate the transferability of the learned tracker from the virtual world to real-world scenarios.


title: Finsler Geometry, Spacetime & Gravity -- From Metrizability of Berwald Spaces to Exact Vacuum Solutions in Finsler Gravity

abstract: This PhD dissertation covers a range of topics in Finsler geometry and Finsler gravity, most notably: (i) the characterization of Berwald spaces, (ii) pseudo-Riemann (non-)metrizability of Berwald spaces, (iii) $(\alpha,\beta)$-metrics, (iv) exact solutions to Pfeifer and Wohlfarth's vacuum field equation in Finsler gravity, and (v) Finsler gravitational waves and their observational signature. An extended abstract can be found in the dissertation itself.


title: Complete totally geodesic subsets of the complex hyperbolic plane: an elementary classification

abstract: The non-trivial complete totally geodesic submanifolds of the complex hyperbolic plane $\mathbb H_{\mathbb C}^2$ are the complex geodesics and the real planes. We present two new proofs for this fact. One is a short proof based on an algebraic formula for the Riemann curvature tensor due to S. Anan'in and C. Grossi and resembles the traditional proof using Lie theory. The other is purely elementary and geometric, relying on the structures in $\mathbb H_{\mathbb C}^2$ instead of general theories. In this second approach, we prove a slightly stronger result: the only non-trivial complete totally geodesic subsets of $\mathbb H_{\mathbb C}^2$ are the complex geodesics and the real planes without assuming that the subsets are submanifolds a priori. This second proof is also intriguing for only making use of elementary geometric constructions.


title: Thermodynamic constraints on kinetic perturbations of homogeneous driven diffusions

abstract: We analyze the static response to kinetic perturbations of nonequilibrium steady states that can be modeled as diffusions. We demonstrate that kinetic response is purely a nonequilibirum effect, measuring the degree to which the Fluctuation-Dissipation Theorem is violated out of equilibrium. For driven diffusions in a flat landscape, we further demonstrate that such response is constrained by the strength of the nonequilibrium driving via quantitative inequalities.


title: Unsupervised Federated Optimization at the Edge: D2D-Enabled Learning without Labels

abstract: Federated learning (FL) is a popular solution for distributed machine learning (ML). While FL has traditionally been studied for supervised ML tasks, in many applications, it is impractical to assume availability of labeled data across devices. To this end, we develop Cooperative Federated unsupervised Contrastive Learning ({\tt CF-CL)} to facilitate FL across edge devices with unlabeled datasets. {\tt CF-CL} employs local device cooperation where either explicit (i.e., raw data) or implicit (i.e., embeddings) information is exchanged through device-to-device (D2D) communications to improve local diversity. Specifically, we introduce a \textit{smart information push-pull} methodology for data/embedding exchange tailored to FL settings with either soft or strict data privacy restrictions. Information sharing is conducted through a probabilistic importance sampling technique at receivers leveraging a carefully crafted reserve dataset provided by transmitters. In the implicit case, embedding exchange is further integrated into the local ML training at the devices via a regularization term incorporated into the contrastive loss, augmented with a dynamic contrastive margin to adjust the volume of latent space explored. Numerical evaluations demonstrate that {\tt CF-CL} leads to alignment of latent spaces learned across devices, results in faster and more efficient global model training, and is effective in extreme non-i.i.d. data distribution settings across devices.


title: A Uniform Framework for Language Inclusion Problems

abstract: We present a uniform approach for solving language inclusion problems. Our approach relies on a least fixpoint characterization and a quasiorder to compare words of the "smaller" language, reducing the inclusion check to a finite number of membership queries in the "larger" language. We present our approach in detail on the case of inclusion of a context-free language given by a grammar into a regular language. We then explore other inclusion problems and discuss how to apply our approach.


title: sfislands: An R Package for Accommodating Islands and Disjoint Zones in Areal Spatial Modelling

abstract: Fitting areal models which use a spatial weights matrix to represent relationships between geographical units can be a cumbersome task, particularly when these units are not well-behaved. The two chief aims of sfislands are to simplify the process of creating an appropriate neighbourhood matrix, and to quickly visualise the predictions of subsequent models. The package uses visual aids in the form of easily-generated maps to help this process. This paper demonstrates how sfislands could be useful to researchers. It begins by describing the package's functions in the context of a proposed workflow. It then presents three worked examples showing a selection of potential use-cases. These range from earthquakes in Indonesia, to river crossings in London, and hierarchical models of output areas in Liverpool. We aim to show how the sfislands package streamlines much of the human workflow involved in creating and examining such models.


title: Measuring a gravitomagentic effect with the triple pulsar PSR J0337+1715

abstract: To the first post--Newtonian order, the orbital angular momentum of the fast--revolving inner binary of the triple system PSR J0337+1715, made of a millisecond pulsar and a white dwarf, induces an annular gravitomagnetic field which displaces the line of apsides of the slower orbit of the other, distant white dwarf by $-1.2$ milliarcseconds per year. The current accuracy in determining the periastron of the outer orbit is $63.9$ milliarcseconds after 1.38 years of data collection. By hypothesizing a constant rate of measurement of the pulsar's times of arrivals over the next 10 years, assumed equal to the present one, it can be argued that the periastron will be finally known to a $\simeq 0.15$ milliarcseconds level, while its cumulative gravitomagnetic retrograde shift will be as large as $-12$ milliarcseconds. The competing post--Newtonian gravitolectric periastron advance due to the inner binary's masses, nominally amounting to $74.3$ milliarcseconds per year, can be presently modelled to an accuracy level as good as $\simeq 0.04$ milliarcseconds per year. The mismodelling in the much larger Newtonian periastron rate due to the quadrupolar term of the multipolar expansion of the gravitational potential of a massive ring, whose nominal size for PSR J0337+1715 is $0.17$ degrees per year, might be reduced down to the $\simeq 0.5$ milliarcseconds per year level over the next 10 years. Thus, a first measurement of such a novel form of gravitomagnetism, although challenging, may be somehow feasible in a not too distant future.

categories: gr-qc astro-ph.HE astro-ph.SR physics.space-ph


title: Quasar Microlensing Statistics and Flux-Ratio Anomalies in Lens Models

abstract: Precise lens modeling is a critical step in time delay studies of multiply imaged quasars, which are key for measuring some important cosmological parameters (specially $H_0$). However, lens models (in particular those semi-automatically generated) often show discrepancies with the observed flux-ratios between the different quasar images. These flux-ratio anomalies are usually explained through differential effects between images (mainly microlensing) that alter the intrinsic magnification ratios predicted by the models. To check this hypothesis, we collect direct measurements of microlensing to obtain the histogram of microlensing magnifications. We compare this histogram with recently published model flux-ratio anomalies and conclude that they cannot be statistically explained by microlensing. The average value of the model anomalies ($0.74\,$magnitudes) significantly exceeds the mean impact of microlensing ($0.33\,$magnitudes). Moreover, the histogram of model anomalies presents a significant tail with high anomalies ($|\Delta m| \ge 0.7$ magnitudes) which is completely unexpected from the statistics of microlensing observations. Microlensing simulations neither predict the high mean nor the fat tail of the histogram of model anomalies. We perform several statistical tests which exclude that microlensing can explain the observed flux-ratio anomalies (although Kolmogorov-Smirnov, which is less sensitive to the tail of the distributions, is not always conclusive). Thus, microlensing cannot statistically explain the bulk of flux-ratio anomalies, and models may explore different alternatives to try to reduce them. In particular, we propose to complement photometric observations with accurate flux ratios of the broad emission lines obtained from integral field spectroscopy to check and, ideally, constrain lens models.


title: Reimagining Self-Adaptation in the Age of Large Language Models

abstract: Modern software systems are subjected to various types of uncertainties arising from context, environment, etc. To this end, self-adaptation techniques have been sought out as potential solutions. Although recent advances in self-adaptation through the use of ML techniques have demonstrated promising results, the capabilities are limited by constraints imposed by the ML techniques, such as the need for training samples, the ability to generalize, etc. Recent advancements in Generative AI (GenAI) open up new possibilities as it is trained on massive amounts of data, potentially enabling the interpretation of uncertainties and synthesis of adaptation strategies. In this context, this paper presents a vision for using GenAI, particularly Large Language Models (LLMs), to enhance the effectiveness and efficiency of architectural adaptation. Drawing parallels with human operators, we propose that LLMs can autonomously generate similar, context-sensitive adaptation strategies through its advanced natural language processing capabilities. This method allows software systems to understand their operational state and implement adaptations that align with their architectural requirements and environmental changes. By integrating LLMs into the self-adaptive system architecture, we facilitate nuanced decision-making that mirrors human-like adaptive reasoning. A case study with the SWIM exemplar system provides promising results, indicating that LLMs can potentially handle different adaptation scenarios. Our findings suggest that GenAI has significant potential to improve software systems' dynamic adaptability and resilience.


title: Nontrivial Massey products on compact K\"ahler manifolds

abstract: We show that the bigraded quasi-isomorphism type of the bigraded, bidifferential algebra of forms on a compact K\"ahler manifold generally contains more information than the de Rham cohomology algebra with its real Hodge structure. More precisely, on any closed Riemann surface of genus at least two, there is a nontrivial ABC-Massey product. Furthermore, starting from dimension three, there are simply connected projective manifolds with a nonzero ABC-Massey product of three divisor classes. In particular, compact K\"ahler manifolds are generally not formal in the sense of pluripotential homotopy theory.


title: AI-Driven Statutory Reasoning via Software Engineering Methods

abstract: The recent proliferation of generative artificial intelligence (GenAI) technologies such as pre-trained large language models (LLMs) has opened up new frontiers in computational law. An exciting area of development is the use of AI to automate the rule-based reasoning inherent in statutory and contract law. While this form of reasoning has long been studied using classical techniques of natural language processing (NLP) and formal logic, recent solutions increasingly make use of LLMs; though they are far from perfect. The advent of GenAI has made it possible to treat many of these natural language documents essentially as programs that compute a result given some set of facts. As such, it should be possible to understand, debug, maintain, evolve, and fix these documents using well-studied techniques from the field of software engineering. This article introduces several concepts of automated software testing and program analysis that could potentially be useful in computational law when applied to AI-driven analysis of statutes and contracts.


title: A Systematic Methodology for Modeling and Attitude Control of Multi-body Space Telescopes

abstract: This paper derives a symbolic multi-body rigid nonlinear model for a space telescope using Stoneking's implementation of Kane's method. This symbolic nonlinear model is linearized using Matlab symbolic functions {\tt diff} and {\tt inv} because the analytic linearization is intractable for manual derivation. The linearized system model is then used to design the controllers using both linear quadratic regulator (LQR) and robust pole assignment methods. The closed-loop systems for the two designs are simulated using both the rigid model as well as a second model containing flexible modes. The performances of the two designs are compared based on the simulation testing results. Our conclusion is that the robust pole assignment design offers better performance than that of the LQR system in terms of actuator usage and pointing accuracy. However, the LQR approach remains an effective first design step that can inform the selection of real eigenvalues for robust pole assignment. The proposed method may be used for the modeling and controller designs for various multi-body systems.


title: Table tennis ball spin estimation with an event camera

abstract: Spin plays a pivotal role in ball-based sports. Estimating spin becomes a key skill due to its impact on the ball's trajectory and bouncing behavior. Spin cannot be observed directly, making it inherently challenging to estimate. In table tennis, the combination of high velocity and spin renders traditional low frame rate cameras inadequate for quickly and accurately observing the ball's logo to estimate the spin due to the motion blur. Event cameras do not suffer as much from motion blur, thanks to their high temporal resolution. Moreover, the sparse nature of the event stream solves communication bandwidth limitations many frame cameras face. To the best of our knowledge, we present the first method for table tennis spin estimation using an event camera. We use ordinal time surfaces to track the ball and then isolate the events generated by the logo on the ball. Optical flow is then estimated from the extracted events to infer the ball's spin. We achieved a spin magnitude mean error of $10.7 \pm 17.3$ rps and a spin axis mean error of $32.9 \pm 38.2\deg$ in real time for a flying ball.


title: Explainable Online Unsupervised Anomaly Detection for Cyber-Physical Systems via Causal Discovery from Time Series

abstract: Online unsupervised detection of anomalies is crucial to guarantee the correct operation of cyber-physical systems and the safety of humans interacting with them. State-of-the-art approaches based on deep learning via neural networks achieve outstanding performance at anomaly recognition, evaluating the discrepancy between a normal model of the system (with no anomalies) and the real-time stream of sensor time series. However, large training data and time are typically required, and explainability is still a challenge to identify the root of the anomaly and implement predictive maintainance. In this paper, we use causal discovery to learn a normal causal graph of the system, and we evaluate the persistency of causal links during real-time acquisition of sensor data to promptly detect anomalies. On two benchmark anomaly detection datasets, we show that our method has higher training efficiency, outperforms the accuracy of state-of-the-art neural architectures and correctly identifies the sources of >10 different anomalies. The code is at https://github.com/Isla-lab/causal_anomaly_detection.


abstract: Pre-trained large-scale vision-language models (VLMs) have acquired profound understanding of general visual concepts. Recent advancements in efficient transfer learning (ETL) have shown remarkable success in fine-tuning VLMs within the scenario of limited data, introducing only a few parameters to harness task-specific insights from VLMs. Despite significant progress, current leading ETL methods tend to overfit the narrow distributions of base classes seen during training and encounter two primary challenges: (i) only utilizing uni-modal information to modeling task-specific knowledge; and (ii) using costly and time-consuming methods to supplement knowledge. To address these issues, we propose a Conditional Prototype Rectification Prompt Learning (CPR) method to correct the bias of base examples and augment limited data in an effective way. Specifically, we alleviate overfitting on base classes from two aspects. First, each input image acquires knowledge from both textual and visual prototypes, and then generates sample-conditional text tokens. Second, we extract utilizable knowledge from unlabeled data to further refine the prototypes. These two strategies mitigate biases stemming from base classes, yielding a more effective classifier. Extensive experiments on 11 benchmark datasets show that our CPR achieves state-of-the-art performance on both few-shot classification and base-to-new generalization tasks. Our code is avaliable at \url{https://github.com/chenhaoxing/CPR}.


title: Complete Game Logic with Sabotage

abstract: Game Logic with sabotage ($\mathsf{GL_s}$) is introduced as a simple and natural extension of Parikh's game logic with a single additional primitive, which allows players to lay traps for the opponent. $\mathsf{GL_s}$ can be used to model infinite sabotage games, in which players can change the rules during game play. In contrast to game logic, which is strictly less expressive, $\mathsf{GL_s}$ is exactly as expressive as the modal $\mu$-calculus. This reveals a close connection between the entangled nested recursion inherent in modal fixpoint logics and adversarial dynamic rule changes characteristic for sabotage games. A natural Hilbert-style proof calculus for $\mathsf{GL_s}$ is presented and proved complete using syntactic equiexpressiveness reductions. The completeness of a simple extension of Parikh's calculus for game logic follows.


title: The Grunwald problem and homogeneous spaces with non-solvable stabilisers

abstract: We give an affirmative answer to the Grunwald problem for new families of non-solvable finite groups G, away from the set of primes dividing |G|. Furthermore, we show that such G verify the condition (BM), that is, the Brauer-Manin obstruction to weak approximation is the only one for quotients of SL_n by G. These new families include extensions of groups satisfying (BM) by kernels which are products of symmetric groups S_m, with $m\neq 2,6$, and alternating groups A_5. We also investigate (BM) for small groups by giving an explicit list of small order groups for which (BM) is unknown and we show that for many of them (BM) holds under Schinzel's hypothesis.


title: The NICER data and a $\sigma$-field dependent stiffness of the hadronic equation of state

abstract: Analyses for the NICER data indicate that there is no significant variation of the compact star radii within the mass range of 1.4 to 2.0 solar masses. Yamamoto et al. [Phys. Rev. C 108, 035811 (2023)] concluded recently that ``this feature cannot be reproduced by the hadronic matter due to the softening of the equation of state (EoS) by hyperon mixing, suggesting the possible existence of quark phases in neutron-star interiors.'' Using a collection of 162 purely nucleonic, hyperonic, and quarkish EoSs from CompOSE database and some other works, we verify that hyperons indeed lead to a significant difference in radii of stars of 1.4 and 2.0 solar masses, which diminishes in the presence of quarks. We compare the shapes of the mass-radius curves and show that hyperons and quarks in the neutron star cores prefer a particular curve shape with backbending. It is argued that the shape {is controlled by the density dependence} of the nuclear symmetry energy. We draw attention to the existence of a class of purely hadronic relativistic mean-field EoSs with scalar-field dependent hadron masses and coupling constants that satisfy the known constraints on the EoSs including the analyses of the new NICER data and the above requirement of no significant variation of the neutron star radii.


title: Sample-Based Conservative Bias Linear Power Flow Approximations

abstract: The power flow equations are central to many problems in power system planning, analysis, and control. However, their inherent non-linearity and non-convexity present substantial challenges during problem-solving processes, especially for optimization problems. Accordingly, linear approximations are commonly employed to streamline computations, although this can often entail compromises in accuracy and feasibility. This paper proposes an approach termed Conservative Bias Linear Approximations (CBLA) for addressing these limitations. By minimizing approximation errors across a specified operating range while incorporating conservativeness (over- or under-estimating quantities of interest), CBLA strikes a balance between accuracy and tractability by maintaining linear constraints. By allowing users to design loss functions tailored to the specific approximated function, the bias approximation approach significantly enhances approximation accuracy. We illustrate the effectiveness of our proposed approach through several test cases.


title: Synergising Human-like Responses and Machine Intelligence for Planning in Disaster Response

abstract: In the rapidly changing environments of disaster response, planning and decision-making for autonomous agents involve complex and interdependent choices. Although recent advancements have improved traditional artificial intelligence (AI) approaches, they often struggle in such settings, particularly when applied to agents operating outside their well-defined training parameters. To address these challenges, we propose an attention-based cognitive architecture inspired by Dual Process Theory (DPT). This framework integrates, in an online fashion, rapid yet heuristic (human-like) responses (System 1) with the slow but optimized planning capabilities of machine intelligence (System 2). We illustrate how a supervisory controller can dynamically determine in real-time the engagement of either system to optimize mission objectives by assessing their performance across a number of distinct attributes. Evaluated for trajectory planning in dynamic environments, our framework demonstrates that this synergistic integration effectively manages complex tasks by optimizing multiple mission objectives.


title: Semi-group compactifications of Algebraic Groups

abstract: We show that for algebraic groups over local fields of characteristic zero, the following are equivalent: Every homomorphism has a closed image, every unitary representation decomposes into a direct sum of finite-dimensional and mixing representations, and that the matrix coefficients are dense within the algebra of weakly almost periodic functions over the group. In our proof, we employ methods from semi-group theory. We establish that algebraic groups are \emph{compactification-centric}, meaning $sG = Gs$ for any element $s$ in the weakly almost periodic compactification of the group $G$.


title: Ultrafast phonon-mediated dephasing of color centers in hexagonal boron nitride probed by electron beams

abstract: Defect centers in hexagonal boron nitride have been extensively studied as room temperature single photon sources. The electronic structure of these defects exhibits strong coupling to phonons, as evidenced by the observation of phonon sidebands in both photoluminescence and cathodoluminescence spectra. However, the dynamics of the electron phonon coupling as well as phonon mediated dephasing of the color centers in hexagonal boron nitride remain unexplored. Here, we apply a novel time resolved CL spectroscopy technique to explore the population decay to phonon states and the dephasing time T2 with sub femtosecond time resolution. We demonstrate an ultrafast dephasing time of only 200 fs and a radiative decay of about 585 fs at room temperature, in contrast with all optical time resolved photoluminescence techniques that report a decay of a few nanoseconds. This behavior is attributed to efficient electron-beam excitation of coherent phonon polaritons in hexagonal boron nitride, resulting in faster dephasing of electronic transitions. Our results demonstrate the capability of our sequential cathodoluminescence spectroscopy technique to probe the ultrafast dephasing time of single emitters in quantum materials with sub femtosecond time resolution, heralding access to quantum path interferences in single emitters coupled to their complex environment.


title: Guiding polarizable particles in multi-hole Gaussian beams

abstract: The present paper discusses certain special Gaussian beams that, thanks to some polynomial prefactors, have uniquely designed holes in the irradiance. Such holes, or rather tubes, can constitute potential valleys for negatively polarizable particles, providing the possibility of guiding several objects of that kind, each along its own trajectory. The mechanism of creating these holes by interference of Gaussian beams which exhibit orbital angular momentum is discussed, and then the trajectories of particles moving in such a wave are numerically calculated. As it turns out, these particles, performing transverse oscillations, follow the designed tunnels of low irradiance. On the contrary, for particles with positive polarizability these areas are inaccessible.


title: Charmonium Transport in Ultra-Relativistic Heavy-Ion Collisions at the LHC

abstract: We provide an update on our semi-classical transport approach for quarkonium production in high-energy heavy-ion collisions, focusing on $J/\psi$ and $\psi(2S)$ mesons in 5.02 TeV Pb-Pb collisions at the Large Hadron Collider (LHC) at both forward and mid-rapidity. In particular, we employ the most recent charm-production cross sections reported in pp collisions, which are pivotal for the magnitude of the regeneration contribution, and their modifications due to cold-nuclear-matter (CNM) effects. Multi-differential observables are calculated in terms of nuclear modification factors as a function of centrality, transverse momentum, and rapidity, including the contributions from bottom-decay feeddown. For our predictions for $\psi(2S)$ production, the mechanism of sequential regeneration relative to the more strongly bound $J/\psi$ meson plays an important role in interpreting recent ALICE data.


title: A spatio-temporal model to detect potential outliers in disease mapping

abstract: Spatio-temporal disease mapping models are commonly used to estimate the relative risk of a disease over time and across areas. For each area and time point, the disease count is modelled with a Poisson distribution whose mean is the product of an offset and the disease relative risk. This relative risk is commonly decomposed in the log scale as the sum of fixed and latent effects. The Rushworth model allows for spatio-temporal autocorrelation of the random effects. We build on the Rushworth model to accommodate and identify potentially outlying areas with respect to their disease relative risk evolution, after taking into account the fixed effects. An area may display outlying behaviour at some points in time but not all. At each time point, we assume the latent effects to be spatially structured and include scaling parameters in the precision matrix, to allow for heavy-tails. Two prior specifications are considered for the scaling parameters: one where they are independent across space and one with spatial autocorrelation. We investigate the performance of the different prior specifications of the proposed model through simulation studies and analyse the weekly evolution of the number of COVID-19 cases across the 33 boroughs of Montreal and the 96 French departments during the second wave. In Montreal, 6 boroughs are found to be potentially outlying. In France, the model with spatially structured scaling parameters identified 21 departments as potential outliers. We find that these departments tend to be close to each other and within common French regions.


title: Time-Heterogeneity of the F\"orster Radius from Dipole Orientational Dynamics Explains Observed Dynamic Shift

abstract: F\"orster resonance energy transfer (FRET) is a quantum mechanical phenomenon involving the non-radiative transfer of energy between coupled electric dipoles. Due to the strong dependence of FRET on the distance between the dipoles, it is frequently used as a ``molecular ruler" in biology, chemistry, and physics. This is done by placing dipolar molecules called dyes on molecules of interest. In time-resolved confocal single-molecule FRET (smFRET) experiments, the joint distribution of the FRET efficiency and the donor fluorescence lifetime can reveal underlying molecular conformational dynamics via deviation from their theoretical F\"orster relationship. This deviation is referred to as a dynamic shift. Quantifying the dynamic shift caused by the motion of the fluorescent dyes is essential to decoupling the dynamics of the studied molecules and the dyes. We develop novel Langevin models for the dye linker dynamics, including rotational dynamics, based on first physics principles and proper dye linker chemistry to match accessible volumes predicted by molecular dynamics simulations. By simulating the dyes' stochastic translational and rotational dynamics, we show that the observed dynamic shift can largely be attributed to the mutual orientational dynamics of the electric dipole moments associated with the dyes, not their accessible volume.

categories: physics.chem-ph physics.bio-ph physics.comp-ph physics.data-an stat.CO


title: Map-Relative Pose Regression for Visual Re-Localization

abstract: Pose regression networks predict the camera pose of a query image relative to a known environment. Within this family of methods, absolute pose regression (APR) has recently shown promising accuracy in the range of a few centimeters in position error. APR networks encode the scene geometry implicitly in their weights. To achieve high accuracy, they require vast amounts of training data that, realistically, can only be created using novel view synthesis in a days-long process. This process has to be repeated for each new scene again and again. We present a new approach to pose regression, map-relative pose regression (marepo), that satisfies the data hunger of the pose regression network in a scene-agnostic fashion. We condition the pose regressor on a scene-specific map representation such that its pose predictions are relative to the scene map. This allows us to train the pose regressor across hundreds of scenes to learn the generic relation between a scene-specific map representation and the camera pose. Our map-relative pose regressor can be applied to new map representations immediately or after mere minutes of fine-tuning for the highest accuracy. Our approach outperforms previous pose regression methods by far on two public datasets, indoor and outdoor. Code is available: https://nianticlabs.github.io/marepo


title: On the inefficiency of particle re-acceleration mechanisms in the cores of massive stellar clusters

abstract: We consider scenarios for non-thermal particle acceleration and re-acceleration in the central cores of compact massive star clusters, aided by insights from high resolution hydrodynamic simulations. We show that i) particles are unlikely to interact with many shocks during their lifetimes in the core; ii) colliding flows do not produce hard spectra; iii) turbulent re-acceleration in the core is suppressed. Inefficient re-acceleration mechanisms are not expected to produce hard components nor to increase the maximum energy within the cores of massive star clusters. Models in which the observed ultra-high energy gamma rays originate in the core of massive stellar clusters are thus disfavoured.


title: ReffAKD: Resource-efficient Autoencoder-based Knowledge Distillation

abstract: In this research, we propose an innovative method to boost Knowledge Distillation efficiency without the need for resource-heavy teacher models. Knowledge Distillation trains a smaller ``student'' model with guidance from a larger ``teacher'' model, which is computationally costly. However, the main benefit comes from the soft labels provided by the teacher, helping the student grasp nuanced class similarities. In our work, we propose an efficient method for generating these soft labels, thereby eliminating the need for a large teacher model. We employ a compact autoencoder to extract essential features and calculate similarity scores between different classes. Afterward, we apply the softmax function to these similarity scores to obtain a soft probability vector. This vector serves as valuable guidance during the training of the student model. Our extensive experiments on various datasets, including CIFAR-100, Tiny Imagenet, and Fashion MNIST, demonstrate the superior resource efficiency of our approach compared to traditional knowledge distillation methods that rely on large teacher models. Importantly, our approach consistently achieves similar or even superior performance in terms of model accuracy. We also perform a comparative study with various techniques recently developed for knowledge distillation showing our approach achieves competitive performance with using significantly less resources. We also show that our approach can be easily added to any logit based knowledge distillation method. This research contributes to making knowledge distillation more accessible and cost-effective for practical applications, making it a promising avenue for improving the efficiency of model training. The code for this work is available at, https://github.com/JEKimLab/ReffAKD.


title: Kerr black hole in the formalism of isolated horizons

abstract: We revise the work of Scholtz, Flandera and G\"urlebeck [Kerr-Newman black hole in the formalism of isolated horizons, Phys. Rev. D 96, 064024 (2017)]. We cast the Kerr metric explicitly in the form suitable for the framework of isolated horizons. We proceed in a geometrical fashion and are capable to provide the results in a compact closed manner, without any unevaluated integrals. We also discuss the uniqueness and drawbacks of this construction. We suggest a new vector field to generate the null geodesic foliation.


title: Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications

abstract: Designing tests to evaluate if a given autonomous system satisfies complex specifications is challenging due to the complexity of these systems. This work proposes a flow-based approach for reactive test synthesis from temporal logic specifications, enabling the synthesis of test environments consisting of static and reactive obstacles and dynamic test agents. The temporal logic specifications describe desired test behavior, including system requirements as well as a test objective that is not revealed to the system. The synthesized test strategy places restrictions on system actions in reaction to the system state. The tests are minimally restrictive and accomplish the test objective while ensuring realizability of the system's objective without aiding it (semi-cooperative setting). Automata theory and flow networks are leveraged to formulate a mixed-integer linear program (MILP) to synthesize the test strategy. For a dynamic test agent, the agent strategy is synthesized for a GR(1) specification constructed from the solution of the MILP. If the specification is unrealizable by the dynamics of the test agent, a counterexample-guided approach is used to resolve the MILP until a strategy is found. This flow-based, reactive test synthesis is conducted offline and is agnostic to the system controller. Finally, the resulting test strategy is demonstrated in simulation and experimentally on a pair of quadrupedal robots for a variety of specifications.


title: Is Table Retrieval a Solved Problem? Exploring Join-Aware Multi-Table Retrieval

abstract: Retrieving relevant tables containing the necessary information to accurately answer a given question over tables is critical to open-domain question-answering (QA) systems. Previous methods assume the answer to such a question can be found either in a single table or multiple tables identified through question decomposition or rewriting. However, neither of these approaches is sufficient, as many questions require retrieving multiple tables and joining them through a join plan that cannot be discerned from the user query itself. If the join plan is not considered in the retrieval stage, the subsequent steps of reasoning and answering based on those retrieved tables are likely to be incorrect. To address this problem, we introduce a method that uncovers useful join relations for any query and database during table retrieval. We use a novel re-ranking method formulated as a mixed-integer program that considers not only table-query relevance but also table-table relevance that requires inferring join relationships. Our method outperforms the state-of-the-art approaches for table retrieval by up to 9.3% in F1 score and for end-to-end QA by up to 5.4% in accuracy.


title: Orbits of Theta Characteristics

abstract: The theta characteristics on a Riemann surface are permuted by the induced action of the automorphism group, with the orbit structure being important for the geometry of the curve and associated manifolds. We describe two new methods for advancing the understanding of these orbits, generalising existing results of Kallel & Sjerve, allowing us to establish the existence of infinitely many curves possessing a unique invariant characteristic as well as determine the number of invariant characteristics for all Hurwitz curves with simple automorphism group. In addition, we compute orbit decompositions for a substantial number of curves with genus $\leq 9$, allowing the identification of where current theoretical understanding falls short and the potential applications of machine learning techniques.


title: Convolution Identities of Stirling Numbers

abstract: By means of the generating function method, a linear recurrence relation is explicitly resolved. The solution is expressed in terms of the Stirling numbers of both the first and the second kind. Two remarkable pairs of combinatorial identities are established as applications, that contain some well-known convolution formulae on Stirling numbers as special cases.


title: Nehari manifold optimization and its application for finding unstable solutions of semilinear elliptic PDEs

abstract: A Nehari manifold optimization method (NMOM) is introduced for finding 1-saddles, i.e., saddle points with the Morse index equal to one, of a generic nonlinear functional in Hilbert spaces. Actually, it is based on the variational characterization that 1-saddles of the generic functional are local minimizers of the same functional restricted on the associated Nehari manifold. The framework contains two important ingredients: one is the retraction mapping to make the iteration points always lie on the Nehari manifold; the other is the tangential search direction to decrease the generic functional with suitable step-size search rules. Particularly, the global convergence is rigorously established by virtue of some crucial analysis techniques (including a weak convergence method) overcoming difficulties in the infinite-dimensional setting. In practice, combining with an easy-to-implement Nehari retraction and the negative Riemannian gradient direction, the NMOM is successfully applied to compute the unstable ground-state solutions of a class of typical semilinear elliptic PDEs such as H\'enon equation and the stationary nonlinear Schr\"odinger equation. In particular, the symmetry-breaking phenomenon of the ground states of H\'enon equation is explored numerically in 1D and 2D with interesting numerical findings on the critical value of symmetry-breaking reported.


title: Disturbance feedback-based model predictive control in uncertain dynamic environments

abstract: This paper presents a robust MPC scheme for linear systems subject to time-varying, uncertain constraints that arise from uncertain environments. The predicted input sequence is parameterized over future environment states to guarantee constraint satisfaction despite an imprecise environment prediction and unknown evolution of the future constraints. We provide theoretical guarantees for recursive feasibility and asymptotic convergence. Finally, a brief simulation example showcases our results.


title: Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection

abstract: With the expanding application of Large Language Models (LLMs) in various domains, it becomes imperative to comprehensively investigate their unforeseen behaviors and consequent outcomes. In this study, we introduce and systematically explore the phenomenon of "glitch tokens", which are anomalous tokens produced by established tokenizers and could potentially compromise the models' quality of response. Specifically, we experiment on seven top popular LLMs utilizing three distinct tokenizers and involving a totally of 182,517 tokens. We present categorizations of the identified glitch tokens and symptoms exhibited by LLMs when interacting with glitch tokens. Based on our observation that glitch tokens tend to cluster in the embedding space, we propose GlitchHunter, a novel iterative clustering-based technique, for efficient glitch token detection. The evaluation shows that our approach notably outperforms three baseline methods on eight open-source LLMs. To the best of our knowledge, we present the first comprehensive study on glitch tokens. Our new detection further provides valuable insights into mitigating tokenization-related errors in LLMs.


title: Larger-scale Nakamoto-style Blockchains Don't Necessarily Offer Better Security

abstract: Extensive research on Nakamoto-style consensus protocols has shown that network delays degrade the security of these protocols. Established results indicate that, perhaps surprisingly, maximal security is achieved when the network is as small as two nodes due to increased delays in larger networks. This contradicts the very foundation of blockchains, namely that decentralization improves security. In this paper, we take a closer look at how the network scale affects security of Nakamoto-style blockchains. We argue that a crucial aspect has been neglected in existing security models: the larger the network, the harder it is for an attacker to control a significant amount of power. To this end, we introduce a probabilistic corruption model to express the increasing difficulty for an attacker to corrupt resources in larger networks. Based on our model, we analyze the impact of the number of nodes on the (maximum) network delay and the fraction of adversarial power. In particular, we show that (1) increasing the number of nodes eventually violates security, but (2) relying on a small number of nodes does not provide decent security provisions either. We then validate our analysis by means of an empirical evaluation emulating hundreds of thousands of nodes in deployments such as Bitcoin, Monero, Cardano, and Ethereum Classic. Based on our empirical analysis, we concretely analyze the impact of various real-world parameters and configurations on the consistency bounds in existing deployments and on the adversarial power that can be tolerated while providing security. As far as we are aware, this is the first work that analytically and empirically explores the real-world tradeoffs achieved by current popular Nakamoto-style deployments.


title: Accelerating Ensemble Error Bar Prediction with Single Models Fits

abstract: Ensemble models can be used to estimate prediction uncertainties in machine learning models. However, an ensemble of N models is approximately N times more computationally demanding compared to a single model when it is used for inference. In this work, we explore fitting a single model to predicted ensemble error bar data, which allows us to estimate uncertainties without the need for a full ensemble. Our approach is based on three models: Model A for predictive accuracy, Model $A_{E}$ for traditional ensemble-based error bar prediction, and Model B, fit to data from Model $A_{E}$, to be used for predicting the values of $A_{E}$ but with only one model evaluation. Model B leverages synthetic data augmentation to estimate error bars efficiently. This approach offers a highly flexible method of uncertainty quantification that can approximate that of ensemble methods but only requires a single extra model evaluation over Model A during inference. We assess this approach on a set of problems in materials science.


title: Progressive Knowledge Graph Completion

abstract: Knowledge Graph Completion (KGC) has emerged as a promising solution to address the issue of incompleteness within Knowledge Graphs (KGs). Traditional KGC research primarily centers on triple classification and link prediction. Nevertheless, we contend that these tasks do not align well with real-world scenarios and merely serve as surrogate benchmarks. In this paper, we investigate three crucial processes relevant to real-world construction scenarios: (a) the verification process, which arises from the necessity and limitations of human verifiers; (b) the mining process, which identifies the most promising candidates for verification; and (c) the training process, which harnesses verified data for subsequent utilization; in order to achieve a transition toward more realistic challenges. By integrating these three processes, we introduce the Progressive Knowledge Graph Completion (PKGC) task, which simulates the gradual completion of KGs in real-world scenarios. Furthermore, to expedite PKGC processing, we propose two acceleration modules: Optimized Top-$k$ algorithm and Semantic Validity Filter. These modules significantly enhance the efficiency of the mining procedure. Our experiments demonstrate that performance in link prediction does not accurately reflect performance in PKGC. A more in-depth analysis reveals the key factors influencing the results and provides potential directions for future research.


title: Priority aware grouping-based multihop routing scheme for RIS-assisted wireless networks

abstract: Reconfigurable intelligent surfaces (RISs) is a novel communication technology that has been recognized and recently presented as a candidate for beyond fifth generation wireless communication technology. In this paper, we propose a priority aware user traffic dependent grouping based multihop routing scheme for a RIS-assisted millimeter wave (mmWave) device-to-device (D2D) communication network with spatially correlated channels. Specifically, the proposed scheme exploits the priority of the users (based on their respective delay constrained applications) and the aspect of spatial correlation in the narrowly spaced reflecting elements of the RISs. In this context, we establish a multihop connection for information transfer from one of the users to its desired receiver based on the other users in the neighbourhood, their respective traffic characteristics, and the already deployed RISs in the surroundings. Moreover, we also take into account the impact of considering practical discrete phase shifts at the RIS patches instead of its ideal continuous counterpart. Furthermore, we claim as well as demonstrate that the existing classic least remaining distance (LRD)-based approach is not always the optimal solution. Finally, numerical results demonstrate the advantages of the proposed strategy and that it significantly outperforms the existing benchmark schemes in terms of system performance metrics such as data throughput, energy consumption, as well as energy efficiency.


title: Free Novikov algebras and the Hopf algebra of decorated multi-indices

abstract: We propose a combinatorial formula for the coproduct in a Hopf algebra of decorated multi-indices which recently appeared in the literature, which can be briefly described as the graded dual of the enveloping algebra of the free Novikov algebra generated by the set of decorations. Similarly to what happens for the Hopf algebra of rooted forests, the formula can be written in terms of admissible cuts.


title: Expulsion of runaway electrons using ECRH in the TCV tokamak

abstract: Runaway electrons (REs) are a concern for tokamak fusion reactors from discharge startup to termination. A sudden localized loss of a multi-megaampere RE beam can inflict severe damage to the first wall. Should a disruption occur, the existence of a RE seed may play a significant role in the formation of a RE beam and the magnitude of its current. The application of central electron cyclotron resonance heating (ECRH) in the Tokamak \`a Configuration Variable (TCV) reduces an existing RE seed population by up to three orders of magnitude within only a few hundred milliseconds. Applying ECRH can also prevent the formation of a post-disruption RE beam where it would otherwise be expected. The RE expulsion rate and consequent RE current reduction are found to increase with applied ECRH power. Whereas central ECRH is effective in expelling REs, off-axis ECRH has a comparatively limited effect. A simple 0-D model for the evolution of the RE population is presented that explains the effective ECRH-induced RE expulsion results from the combined effects of increased electron temperature and enhanced RE transport.


title: Gate tunable enhancement of supercurrent in hybrid planar Josephson junctions

abstract: Planar Josephson junctions (JJs) have emerged as a promising platform for the realization of topological superconductivity and Majorana zero modes. To obtain robust quasi one-dimensional (1D) topological superconducting states using planar JJs, limiting the number of 1D Andreev bound states' subbands that can be present, and increasing the size of the topological superconducting gap, are two fundamental challenges. It has been suggested that both problems can be addressed by properly designing the interfaces between the JJ's normal region and the superconducting leads. We fabricated Josephson junctions with periodic hole structures on the superconducting contact leads on InAs heterostructures with epitaxial superconducting Al. By depleting the chemical potential inside the hole region with a top gate, we observed an enhancement of the supercurrent across the junction. Such an enhancement is reproduced in theoretical simulations. The theoretical analysis shows that the enhancement of the JJ's critical current is achieved when the hole depletion is such to optimize the matching of quasiparticles' wave-function at the normal/superconductor interface. These results show how the combination of carefully designed patterns for the Al coverage, and external gates, can be successfully used to tune the density and wave functions' profiles in the normal region of the JJ, and therefore open a new avenue to tune some of the critical properties, such as number of subbands and size of the topological gap, that must be optimized to obtain robust quasi 1D superconducting states supporting Majorana bound states.