title: Towards Better Inclusivity: A Diverse Tweet Corpus of English Varieties

abstract: The prevalence of social media presents a growing opportunity to collect and analyse examples of English varieties. Whilst usage of these varieties was - and, in many cases, still is - used only in spoken contexts or hard-to-access private messages, social media sites like Twitter provide a platform for users to communicate informally in a scrapeable format. Notably, Indian English (Hinglish), Singaporean English (Singlish), and African-American English (AAE) can be commonly found online. These varieties pose a challenge to existing natural language processing (NLP) tools as they often differ orthographically and syntactically from standard English for which the majority of these tools are built. NLP models trained on standard English texts produced biased outcomes for users of underrepresented varieties. Some research has aimed to overcome the inherent biases caused by unrepresentative data through techniques like data augmentation or adjusting training models. We aim to address the issue of bias at its root - the data itself. We curate a dataset of tweets from countries with high proportions of underserved English variety speakers, and propose an annotation framework of six categorical classifications along a pseudo-spectrum that measures the degree of standard English and that thereby indirectly aims to surface the manifestations of English varieties in these tweets. Following best annotation practices, our growing corpus features 170,800 tweets taken from 7 countries, labeled by annotators who are from those countries and can communicate in regionally-dominant varieties of English. Our corpus highlights the accuracy discrepancies in pre-trained language identifiers between western English and non-western (i.e., less standard) English varieties. We hope to contribute to the growing literature identifying and reducing the implicit demographic discrepancies in NLP.


title: HARDCORE: H-field and power loss estimation for arbitrary waveforms with residual, dilated convolutional neural networks in ferrite cores

abstract: The MagNet Challenge 2023 calls upon competitors to develop data-driven models for the material-specific, waveform-agnostic estimation of steady-state power losses in toroidal ferrite cores. The following HARDCORE (H-field and power loss estimation for Arbitrary waveforms with Residual, Dilated convolutional neural networks in ferrite COREs) approach shows that a residual convolutional neural network with physics-informed extensions can serve this task efficiently when trained on observational data beforehand. One key solution element is an intermediate model layer which first reconstructs the bh curve and then estimates the power losses based on the curve's area rendering the proposed topology physically interpretable. In addition, emphasis was placed on expert-based feature engineering and information-rich inputs in order to enable a lean model architecture. A model is trained from scratch for each material, while the topology remains the same. A Pareto-style trade-off between model size and estimation accuracy is demonstrated, which yields an optimum at as low as 1755 parameters and down to below 8\,\% for the 95-th percentile of the relative error for the worst-case material with sufficient samples.


title: MapChange: Enhancing Semantic Change Detection with Temporal-Invariant Historical Maps Based on Deep Triplet Network

abstract: Semantic Change Detection (SCD) is recognized as both a crucial and challenging task in the field of image analysis. Traditional methods for SCD have predominantly relied on the comparison of image pairs. However, this approach is significantly hindered by substantial imaging differences, which arise due to variations in shooting times, atmospheric conditions, and angles. Such discrepancies lead to two primary issues: the under-detection of minor yet significant changes, and the generation of false alarms due to temporal variances. These factors often result in unchanged objects appearing markedly different in multi-temporal images. In response to these challenges, the MapChange framework has been developed. This framework introduces a novel paradigm that synergizes temporal-invariant historical map data with contemporary high-resolution images. By employing this combination, the temporal variance inherent in conventional image pair comparisons is effectively mitigated. The efficacy of the MapChange framework has been empirically validated through comprehensive testing on two public datasets. These tests have demonstrated the framework's marked superiority over existing state-of-the-art SCD methods.


title: Reliable Low-Delay Routing In Space with Routing-Oblivious LEO Satellites

abstract: Large networks of Low Earth Orbit (LEO) satellites are being built using inter-satellite lasers. These networks promise to offer low-latency wide-area connectivity, but reliably routing such traffic is difficult, as satellites are very resource-constrained and paths change constantly. We present STARGLIDER, a new routing system where path computation is delegated to ground stations, while satellites are routing-oblivious and exchange no information at runtime. Yet, STARGLIDER satellites effectively support reliability primitives: they fast reroute packets over near-optimal paths when links fail, and validate that packets sent by potentially malicious ground stations follow reasonable paths.


title: BA-LINS: A Frame-to-Frame Bundle Adjustment for LiDAR-Inertial Navigation

abstract: Bundle Adjustment (BA) has been proven to improve the accuracy of the LiDAR mapping. However, the BA method has not yet been properly employed in a dead-reckoning navigation system. In this paper, we present a frame-to-frame (F2F) BA for LiDAR-inertial navigation, named BA-LINS. Based on the direct F2F point-cloud association, the same-plane points are associated among the LiDAR keyframes. Hence, the F2F plane-point BA measurement can be constructed using the same-plane points. The LiDAR BA and the inertial measurement unit (IMU)-preintegration measurements are tightly integrated under the framework of factor graph optimization. An effective adaptive covariance estimation algorithm for LiDAR BA measurements is proposed to further improve the accuracy. We conduct exhaustive real-world experiments on public and private datasets to examine the proposed BA-LINS. The results demonstrate that BA-LINS yields superior accuracy to state-of-the-art methods. Compared to the baseline system FF-LINS, the absolute translation accuracy and state-estimation efficiency of BA-LINS are improved by 29.5% and 28.7% on the private dataset, respectively. Besides, the ablation experiment results exhibit that the proposed adaptive covariance estimation algorithm can notably improve the accuracy and robustness of BA-LINS.


title: Edge-Enabled Real-time Railway Track Segmentation

abstract: Accurate and rapid railway track segmentation can assist automatic train driving and is a key step in early warning to fixed or moving obstacles on the railway track. However, certain existing algorithms tailored for track segmentation often struggle to meet the requirements of real-time and efficiency on resource-constrained edge devices. Considering this challenge, we propose an edge-enabled real-time railway track segmentation algorithm, which is optimized to be suitable for edge applications by optimizing the network structure and quantizing the model after training. Initially, Ghost convolution is introduced to reduce the complexity of the backbone, thereby achieving the extraction of key information of the interested region at a lower cost. To further reduce the model complexity and calculation, a new lightweight detection head is proposed to achieve the best balance between accuracy and efficiency. Subsequently, we introduce quantization techniques to map the model's floating-point weights and activation values into lower bit-width fixed-point representations, reducing computational demands and memory footprint, ultimately accelerating the model's inference. Finally, we draw inspiration from GPU parallel programming principles to expedite the pre-processing and post-processing stages of the algorithm by doing parallel processing. The approach is evaluated with public and challenging dataset RailSem19 and tested on Jetson Nano. Experimental results demonstrate that our enhanced algorithm achieves an accuracy level of 83.3% while achieving a real-time inference rate of 25 frames per second when the input size is 480x480, thereby effectively meeting the requirements for real-time and high-efficiency operation.


title: Decomposition of the set of Banach limits into discrete and continuous subsets

abstract: The aim of this work is to describe subsets of Banach limits in terms of a certain functional characteristic. We compute radii and cardinalities for some of these subsets.


title: New characterizations of the diamond partial order

abstract: Baksalary and Hauke introduced the diamond partial order in 1990, which we revisit in this paper. This order was defined on the set of rectangular matrices and is the same as the star and minus partial orders for partial isometries. New ways of describing and studying the diamond partial order are being looked into in this paper. Particularly, we present a new characterization by using an additivity property of the column spaces. Additionally, we also study the relationship between the left (resp., right) star and diamond partial orders. Specifically, we obtain conditions in which the diamond partial order means the left (resp., right) star partial order. The reverse order law for the Moore-Penrose inverse is characterized when $A$ is below $B$ under the diamond partial order. Finally, an interesting way of describing bi-dagger matrices is found.


title: Functional Limit Theorems for Hawkes Processes

abstract: We prove that the long-run behavior of Hawkes processes is fully determined by the average number and the dispersion of child events. For subcritical processes we provide FLLNs and FCLTs under minimal conditions on the kernel of the process with the precise form of the limit theorems depending strongly on the dispersion of child events. For a critical Hawkes process with weakly dispersed child events, functional central limit theorems do not hold. Instead, we prove that the rescaled intensity processes and rescaled Hawkes processes behave like CIR-processes without mean-reversion, respectively integrated CIR-processes. We provide the rate of convergence by establishing an upper bound on the Wasserstein distance between the distributions of rescaled Hawkes process and the corresponding limit process. By contrast, critical Hawkes process with heavily dispersed child events share many properties of subcritical ones. In particular, functional limit theorems hold. However, unlike subcritical processes critical ones with heavily dispersed child events display long-range dependencies.


title: On a Group Under Which Symmetric Reed-Muller Codes are Invariant

abstract: The Reed-Muller codes are a family of error-correcting codes that have been widely studied in coding theory. In 2020, Wei Yan and Sian-Jheng Lin introduced a variant of Reed-Muller codes so called symmetric Reed-Muller codes. We investigate linear maps of the automorphism group of symmetric Reed-Muller codes and show that the set of these linear maps forms a subgroup of the general linear group, which is the automorphism group of punctured Reed-Muller codes. We provide a method to determine all the automorphisms in this subgroup explicitly for some special cases.


title: Fractal Surface States in Three-Dimensional Topological Quasicrystals

abstract: We study topological states of matter in quasicrystals, which do not rely on crystalline orders. In the absence of a bandstructure description and spin-orbit coupling, we show that a three-dimensional quasicrystal can nevertheless form a topological insulator. It relies on a combination of noncrystallographic rotational symmetry of quasicrystals and electronic orbital space symmetry, which is the quasicrystalline counterpart of topological crystalline insulator. The resulting topological state obeys a non-trivial twisted bulk-boundary correspondence and lacks a good metallic surface. The topological surface states, localized on the top and bottom planes respecting the quasicrystalline symmetry, exhibit a new kind of multifractality with probability density concentrates mostly on high symmetry patches. They form a near-degenerate manifold of 'immobile' states whose number scales proportionally with the macroscopic sample size. This can open the door to a novel platform for topological surface physics distinct from the crystalline counterpart.


title: Visualisation of counter-rotating dust disks using ray tracing methods

abstract: A detailed study of ray tracing in the space-time generated by a disk of counter-rotating dust is presented. The space-time is given in explicit form in terms of hyperelliptic theta functions. The numerical approach to ray tracing is set up for general stationary axisymmetric space-times and tested at the well-studied example of the Kerr solution. Similar features as in the case of a rotating black hole, are explored in the case of a dust disk. The effect of the central redshift varying between a Newtonian disk and the ultrarelativistic disk, where the exterior of the disk can be interpreted as the extreme Kerr solution, and the transition from a single component disk to a static disk is explored. Frame dragging, as well as photon spheres, are discussed.


title: Self-Supervised Bird's Eye View Motion Prediction with Cross-Modality Signals

abstract: Learning the dense bird's eye view (BEV) motion flow in a self-supervised manner is an emerging research for robotics and autonomous driving. Current self-supervised methods mainly rely on point correspondences between point clouds, which may introduce the problems of fake flow and inconsistency, hindering the model's ability to learn accurate and realistic motion. In this paper, we introduce a novel cross-modality self-supervised training framework that effectively addresses these issues by leveraging multi-modality data to obtain supervision signals. We design three innovative supervision signals to preserve the inherent properties of scene motion, including the masked Chamfer distance loss, the piecewise rigidity loss, and the temporal consistency loss. Through extensive experiments, we demonstrate that our proposed self-supervised framework outperforms all previous self-supervision methods for the motion prediction task.


title: Integration of Large Language Models in Control of EHD Pumps for Precise Color Synthesis

abstract: This paper presents an innovative approach to integrating Large Language Models (LLMs) with Arduino-controlled Electrohydrodynamic (EHD) pumps for precise color synthesis in automation systems. We propose a novel framework that employs fine-tuned LLMs to interpret natural language commands and convert them into specific operational instructions for EHD pump control. This approach aims to enhance user interaction with complex hardware systems, making it more intuitive and efficient. The methodology involves four key steps: fine-tuning the language model with a dataset of color specifications and corresponding Arduino code, developing a natural language processing interface, translating user inputs into executable Arduino code, and controlling EHD pumps for accurate color mixing. Conceptual experiment results, based on theoretical assumptions, indicate a high potential for accurate color synthesis, efficient language model interpretation, and reliable EHD pump operation. This research extends the application of LLMs beyond text-based tasks, demonstrating their potential in industrial automation and control systems. While highlighting the limitations and the need for real-world testing, this study opens new avenues for AI applications in physical system control and sets a foundation for future advancements in AI-driven automation technologies.


title: Induction of coactions for algebraic quantum groups

abstract: Let $\mathcal{G}$ be an algebraic quantum group, $\mathcal{U}$ a compact quantum subgroup of $\mathcal{G}$ and $A$ a $\mathcal{U}$-comodule algebra. We consider a $\mathcal{G}$-comodule algebra $A\square_{\mathcal{U}} \mathcal{G}$ and we prove that under some hypothesis $(A\square_{\mathcal{U}} \mathcal{G})\#\hat{\mathcal{G}}$ is Morita equivalent to $A\#\hat{\mathcal{U}}$.


title: Meta-PINN: Meta learning for improved neural network wavefield solutions

abstract: Physics-informed neural networks (PINNs) provide a flexible and effective alternative for estimating seismic wavefield solutions due to their typical mesh-free and unsupervised features. However, their accuracy and training cost restrict their applicability. To address these issues, we propose a novel initialization for PINNs based on meta learning to enhance their performance. In our framework, we first utilize meta learning to train a common network initialization for a distribution of medium parameters (i.e. velocity models). This phase employs a unique training data container, comprising a support set and a query set. We use a dual-loop approach, optimizing network parameters through a bidirectional gradient update from the support set to the query set. Following this, we use the meta-trained PINN model as the initial model for a regular PINN training for a new velocity model in which the optimization of the network is jointly constrained by the physical and regularization losses. Numerical results demonstrate that, compared to the vanilla PINN with random initialization, our method achieves a much fast convergence speed, and also, obtains a significant improvement in the results accuracy. Meanwhile, we showcase that our method can be integrated with existing optimal techniques to further enhance its performance.


title: Semiorthogonal decompositions of projective varieties with isolated rational singularities

abstract: We develop the method of inducing semiorthogonal decompositions of projective varieties with isolated rational singularities from those of small resolutions of singularities, which generalizes semiorthogonal decompositions for singular surfaces by Karmazyu-Kuznetsov-Shinder. \par We first explain the classical generator of the null category, which is a kind of triangulated full subcategory, and prove that the orthogonal decompositions of the null category is induced through its generator. Next, we prove that the candidate of induced semiorthogonal decomposition behaves well with respect to the inverse image of resolution morphism, and as a corollary, we obtain the required semiorthogonal decomposition.


title: With Greater Text Comes Greater Necessity: Inference-Time Training Helps Long Text Generation

abstract: Long text generation, such as novel writing and discourse-level translation with extremely long contexts, presents significant challenges to current language models. Existing methods mainly focus on extending the model's context window through strategies like length extrapolation. However, these approaches demand substantial hardware resources during the training and/or inference phases. Our proposed method, Temp-Lora, introduces an alternative concept. Instead of relying on the KV cache to store all context information, we embeds this information directly into a temporary Lora module. In the process of long text generation, this module is progressively trained with text generated previously. This approach not only efficiently preserves contextual knowledge but also prevents any permanent alteration to the model's parameters given that the module is discarded post-generation. Extensive experiments on the PG19 language modeling benchmark and the GuoFeng discourse-level translation benchmark validate the effectiveness of Temp-Lora. Our results show that: 1) Temp-Lora substantially enhances generation quality for long text, as indicated by a 13.2% decrease in perplexity (PPL) on a subset of PG19, and a 29.3% decrease in PPL along with a 113.2% increase in BLEU score on a subset of GuoFeng, 2) Temp-Lora is compatible with and enhances most existing long text generation methods, and 3) Temp-Lora can greatly reduce computational costs by shortening the context window. For example, we can ensure a moderate improvement in generation quality (a decrease of 3.8% in PPL) while enabling a 51.5% memory usage reduction and a 60.0% decrease in latency for inference.


title: CheX-GPT: Harnessing Large Language Models for Enhanced Chest X-ray Report Labeling

abstract: Free-text radiology reports present a rich data source for various medical tasks, but effectively labeling these texts remains challenging. Traditional rule-based labeling methods fall short of capturing the nuances of diverse free-text patterns. Moreover, models using expert-annotated data are limited by data scarcity and pre-defined classes, impacting their performance, flexibility and scalability. To address these issues, our study offers three main contributions: 1) We demonstrate the potential of GPT as an adept labeler using carefully designed prompts. 2) Utilizing only the data labeled by GPT, we trained a BERT-based labeler, CheX-GPT, which operates faster and more efficiently than its GPT counterpart. 3) To benchmark labeler performance, we introduced a publicly available expert-annotated test set, MIMIC-500, comprising 500 cases from the MIMIC validation set. Our findings demonstrate that CheX-GPT not only excels in labeling accuracy over existing models, but also showcases superior efficiency, flexibility, and scalability, supported by our introduction of the MIMIC-500 dataset for robust benchmarking. Code and models are available at https://github.com/kakaobrain/CheXGPT.


title: Enhancing Recommendation Diversity by Re-ranking with Large Language Models

abstract: It has long been recognized that it is not enough for a Recommender System (RS) to provide recommendations based only on their relevance to users. Among many other criteria, the set of recommendations may need to be diverse. Diversity is one way of handling recommendation uncertainty and ensuring that recommendations offer users a meaningful choice. The literature reports many ways of measuring diversity and improving the diversity of a set of recommendations, most notably by re-ranking and selecting from a larger set of candidate recommendations. Driven by promising insights from the literature on how to incorporate versatile Large Language Models (LLMs) into the RS pipeline, in this paper we show how LLMs can be used for diversity re-ranking. We begin with an informal study that verifies that LLMs can be used for re-ranking tasks and do have some understanding of the concept of item diversity. Then, we design a more rigorous methodology where LLMs are prompted to generate a diverse ranking from a candidate ranking using various prompt templates with different re-ranking instructions in a zero-shot fashion. We conduct comprehensive experiments testing state-of-the-art LLMs from the GPT and Llama families. We compare their re-ranking capabilities with random re-ranking and various traditional re-ranking methods from the literature. We open-source the code of our experiments for reproducibility. Our findings suggest that the trade-offs (in terms of performance and costs, among others) of LLM-based re-rankers are superior to those of random re-rankers but, as yet, inferior to the ones of traditional re-rankers. However, the LLM approach is promising. LLMs exhibit improved performance on many natural language processing and recommendation tasks and lower inference costs. Given these trends, we can expect LLM-based re-ranking to become more competitive soon.


title: Inconistent multiple testing corrections: The fallacy of using family-based error rates to make inferences about individual hypotheses

abstract: During multiple testing, researchers often adjust their alpha level to control the familywise error rate for a statistical inference about a joint union alternative hypothesis (e.g., "H1,1 or H1,2"). However, in some cases, they do not make this inference. Instead, they make separate inferences about each of the individual hypotheses that comprise the joint hypothesis (e.g., H1,1 and H1,2). For example, a researcher might use a Bonferroni correction to adjust their alpha level from the conventional level of 0.050 to 0.025 when testing H1,1 and H1,2, find a significant result for H1,1 (p < 0.025) and not for H1,2 (p > .0.025), and so claim support for H1,1 and not for H1,2. However, these separate individual inferences do not require an alpha adjustment. Only a statistical inference about the union alternative hypothesis "H1,1 or H1,2" requires an alpha adjustment because it is based on "at least one" significant result among the two tests, and so it refers to the familywise error rate. Hence, an inconsistent correction occurs when a researcher corrects their alpha level during multiple testing but does not make an inference about a union alternative hypothesis. In the present article, I discuss this inconsistent correction problem, including its reduction in statistical power for tests of individual hypotheses and its potential causes vis-a-vis error rate confusions and the alpha adjustment ritual. I also provide three illustrations of inconsistent corrections from recent psychology studies. I conclude that inconsistent corrections represent a symptom of statisticism, and I call for a more nuanced inference-based approach to multiple testing corrections.


title: Slow propagation velocities in Schr\"odinger operators with large periodic potential

abstract: Schr\"odinger operators with periodic potential have generally been shown to exhibit ballistic transport. In this work, we investigate if the propagation velocity, while positive, can be made arbitrarily small by a suitable choice of the periodic potential. We consider the discrete one-dimensional Schr\"odinger operator $\Delta+\mu V$, where $\Delta$ is the discrete Laplacian, $V$ is a $p$-periodic non-degenerate potential, and $\mu>0$. We establish a Lieb-Robinson-type bound with a group velocity that scales like $\mathcal{O}(1/\mu)$ as $\mu\rightarrow\infty$. This shows the existence of a linear light cone with a maximum velocity of quantum propagation that is decaying at a rate proportional to $1/\mu$. Furthermore, we prove that the asymptotic velocity, or the average velocity of the time-evolved state, exhibits a decay proportional to $\mathcal{O}(1/\mu^{p-1})$ as $\mu\rightarrow\infty$.


title: Simple Domain Adaptation for Sparse Retrievers

abstract: In Information Retrieval, and more generally in Natural Language Processing, adapting models to specific domains is conducted through fine-tuning. Despite the successes achieved by this method and its versatility, the need for human-curated and labeled data makes it impractical to transfer to new tasks, domains, and/or languages when training data doesn't exist. Using the model without training (zero-shot) is another option that however suffers an effectiveness cost, especially in the case of first-stage retrievers. Numerous research directions have emerged to tackle these issues, most of them in the context of adapting to a task or a language. However, the literature is scarcer for domain (or topic) adaptation. In this paper, we address this issue of cross-topic discrepancy for a sparse first-stage retriever by transposing a method initially designed for language adaptation. By leveraging pre-training on the target data to learn domain-specific knowledge, this technique alleviates the need for annotated data and expands the scope of domain adaptation. Despite their relatively good generalization ability, we show that even sparse retrievers can benefit from our simple domain adaptation method.


title: Majorana modes in trapped-ion system and their Floquet engineering

abstract: Obeying non-Abelian statistics, Majorana fermions holds a promise to implement fault-tolerant quantum computing. It was found that Majorana fermions can be simulated by the zero-energy excitation in a nanowire with strong spin-orbit coupling interacting with an $s$-wave superconductor under a magnetic field. However, the signal of Majorana fermion in that system is obscured by the disorder in the nanowire and the confinement potential at the wire end. Thus, more controllable platforms are desired to simulate Majorana fermions. We here propose an alternative scheme to simulate the Majorana fermions in a trapped-ion system. Our dimerized-ion configuration permits us to generate the Majorana modes not only at zero energy but also at the nonzero ones, which enlarge the family of Majorana modes and supply another qubit carrier for quantum computing. We also investigate the controllability of the Majorana modes by Floquet engineering. It is found that a widely tunable number of Majorana modes are created on demand by applying a periodic driving on the trapped-ion system. Enriching the platforms for simulating Majorana fermions, our result would open another avenue for realizing fault-tolerant quantum computing.


title: MobileARLoc: On-device Robust Absolute Localisation for Pervasive Markerless Mobile AR

abstract: Recent years have seen significant improvement in absolute camera pose estimation, paving the way for pervasive markerless Augmented Reality (AR). However, accurate absolute pose estimation techniques are computation- and storage-heavy, requiring computation offloading. As such, AR systems rely on visual-inertial odometry (VIO) to track the device's relative pose between requests to the server. However, VIO suffers from drift, requiring frequent absolute repositioning. This paper introduces MobileARLoc, a new framework for on-device large-scale markerless mobile AR that combines an absolute pose regressor (APR) with a local VIO tracking system. Absolute pose regressors (APRs) provide fast on-device pose estimation at the cost of reduced accuracy. To address APR accuracy and reduce VIO drift, MobileARLoc creates a feedback loop where VIO pose estimations refine the APR predictions. The VIO system identifies reliable predictions of APR, which are then used to compensate for the VIO drift. We comprehensively evaluate MobileARLoc through dataset simulations. MobileARLoc halves the error compared to the underlying APR and achieve fast (80\,ms) on-device inference speed.


title: Information-Theoretic State Variable Selection for Reinforcement Learning

abstract: Identifying the most suitable variables to represent the state is a fundamental challenge in Reinforcement Learning (RL). These variables must efficiently capture the information necessary for making optimal decisions. In order to address this problem, in this paper, we introduce the Transfer Entropy Redundancy Criterion (TERC), an information-theoretic criterion, which determines if there is \textit{entropy transferred} from state variables to actions during training. We define an algorithm based on TERC that provably excludes variables from the state that have no effect on the final performance of the agent, resulting in more sample efficient learning. Experimental results show that this speed-up is present across three different algorithm classes (represented by tabular Q-learning, Actor-Critic, and Proximal Policy Optimization (PPO)) in a variety of environments. Furthermore, to highlight the differences between the proposed methodology and the current state-of-the-art feature selection approaches, we present a series of controlled experiments on synthetic data, before generalizing to real-world decision-making tasks. We also introduce a representation of the problem that compactly captures the transfer of information from state variables to actions as Bayesian networks.


title: Exploring the Truth and Beauty of Theory Landscapes with Machine Learning

abstract: Theoretical physicists describe nature by i) building a theory model and ii) determining the model parameters. The latter step involves the dual aspect of both fitting to the existing experimental data and satisfying abstract criteria like beauty, naturalness, etc. We use the Yukawa quark sector as a toy example to demonstrate how both of those tasks can be accomplished with machine learning techniques. We propose loss functions whose minimization results in true models that are also beautiful as measured by three different criteria - uniformity, sparsity, or symmetry.


title: Liquid water based optoelectronic computing chip

abstract: Solid-state electronics have revolutionized modern society due to their exceptional computational capabilities. However, the power consumption of chips rises dramatically with increasing integration levels as post-treatment of individual computing unit cost. Here, we introduce a water computing chip with exceptionally low power consumption based on graphene/water/semiconductor photodetectors, which relies on a unique exponential decay of water molecule polarization transfer function (PTF) along the signal transmission direction. Through a designed Ising model to picture the dynamic polarization and depolarization process of water molecules between graphene and silicon, we illustrate a longitude decay PTF which guarantees low energy consumption for the pulse current output. Furthermore, the lateral decay PTF is verified by the realization of linearly superimposed currents in the diameter of centimeter scale based on 3*3 water photodetector array. The molecular dynamic simulations reveal the timescale of 25 femtosecond (fs) for one flip of single water molecule. Subsequently, the single logical operation only needs an ideal energy consumption up to attojoule (10-18 J). The decay of lateral PTF at the centimeter scale ensures the ability to fabricate water computing chips containing a large number of photodetector arrays under micro/nano fabrication technology, which mimics the numerous neural cells inside hippocampus. As a proof of concept, we show the capability for Multiply-Accumulate (MAC) computations using an 8*8 water computing chip by successfully identifying the ASCII code of ZJU. The water computing chips utilize naturally-sourced water and straightforward manufacturing techniques, which hold great potential in creating a chip similar with human brain.


title: Geometry-driven Bayesian Inference for Ultrametric Covariance Matrices

abstract: Ultrametric matrices arise as covariance matrices in latent tree models for multivariate data with hierarchically correlated components. As a parameter space in a model, the set of ultrametric matrices is neither convex nor a smooth manifold, and focus in literature has hitherto mainly been restricted to estimation through projections and relaxation-based techniques. Leveraging the link between an ultrametric matrix and a rooted tree, we equip the set of ultrametric matrices with a convenient geometry based on the well-known geometry of phylogenetic trees, whose attractive properties (e.g. unique geodesics and Fr\'{e}chet means) the set of ultrametric matrices inherits. This results in a novel representation of an ultrametric matrix by coordinates of the tree space, which we then use to define a class of Markovian and consistent prior distributions on the set of ultrametric matrices in a Bayesian model, and develop an efficient algorithm to sample from the posterior distribution that generates updates by making intrinsic local moves along geodesics within the set of ultrametric matrices. In simulation studies, our proposed algorithm restores the underlying matrices with posterior samples that recover the tree topology with a high frequency of true topology and generate element-wise credible intervals with a high nominal coverage rate. We use the proposed algorithm on the pre-clinical cancer data to investigate the mechanism similarity by constructing the underlying treatment tree and identify treatments with high mechanism similarity also target correlated pathways in biological literature.


title: On homomorphisms and cv-polynomials between iterated Ore extensions

abstract: Motivated by the study of homomorphisms and cv-polynomials presented by Rimmer \cite{Rimmer1978} in the case of Ore extensions of automorphism type, Ferrero and Kishimoto \cite{FerreroKishimoto1980} and Kikumasa \cite{Kikumasa1990} in the setting of these extensions of derivation type, and Lam and Leroy \cite{LamLeroy1992} in the context of Ore extensions of mixed type over division rings, in this paper we investigate these both notions for iterations of these extensions. We show that the iteration of some of the results presented in those papers is non-trivial, and illustrate our treatment with several noncommutative algebras.


title: Computation of the Schl\"{a}fli function

abstract: In this work a method for numerical computation of the Schl\"afli function $f_n(x)$, for $x\in[n-1,n+1]$ and $n\geq4$ is presented. The computation is based on the Chebyshev approximation of the function $q_{n}(x)$, which is related to the Schl\"afli function and regular in the interval.


title: An asymmetrical body: example of analytical solution for the rotation matrix in elementary functions and Dzhanibekov effect

abstract: We solved the Poisson equations, obtaining their exact solution in elementary functions for the rotation matrix of a free asymmetrical body with angular velocity vector lying on separatrices. This allows us to discuss the temporal evolution of Dzhanibekov's nut directly in the Laboratory system, where it is observed. The rotation matrix depends on two parameters with clear physical interpretation as a frequency and a damping factor of the solution. Qualitative analysis of the solution shows that it properly describe a single-jump Dzhanibekov effect.

categories: nlin.SI astro-ph.EP math-ph math.MP physics.class-ph


title: CaBuAr: California Burned Areas dataset for delineation

abstract: Forest wildfires represent one of the catastrophic events that, over the last decades, caused huge environmental and humanitarian damages. In addition to a significant amount of carbon dioxide emission, they are a source of risk to society in both short-term (e.g., temporary city evacuation due to fire) and long-term (e.g., higher risks of landslides) cases. Consequently, the availability of tools to support local authorities in automatically identifying burned areas plays an important role in the continuous monitoring requirement to alleviate the aftereffects of such catastrophic events. The great availability of satellite acquisitions coupled with computer vision techniques represents an important step in developing such tools. This paper introduces a novel open dataset that tackles the burned area delineation problem, a binary segmentation problem applied to satellite imagery. The presented resource consists of pre- and post-fire Sentinel-2 L2A acquisitions of California forest fires that took place starting in 2015. Raster annotations were generated from the data released by California's Department of Forestry and Fire Protection. Moreover, in conjunction with the dataset, we release three different baselines based on spectral indexes analyses, SegFormer, and U-Net models.


title: Is it a Real CD Mismatch in Interdomain Routing?

abstract: In inter-domain routing, a packet is not always forwarded along the Autonomous System (AS) level path determined by the BGP routing protocol. This is often called control-plane and data-plane (CD) mismatch, which allows for flexible traffic control, but also leads to operation and security issues. We systematically analyze this phenomenon with path pairs collected from 128 pairs of vantage points over more than 5 years, and use multiple IP-to-AS mapping methods to compare CD paths. What is interesting is that, working at such a large scale in turn helps us design a novel method to fairly evaluate the accuracy of various existing mapping methods, and further develop a new mapping method, i.e., LearnToCorrect, that can correct more than 70\% mapping errors of the state-of-the-art one. Then we devise to identify real mismatches with LearnToCorrect, and estimate that the real-mismatch ratio in the wild is typically less than 6\%. At last, we use our proposed methods to detect routing security issues, which are previously difficult to accurately find out.


title: Quantum-enhanced Green's function Monte Carlo for excited states of nuclear shell model

abstract: We present a hybrid quantum-classical Green's function Monte Carlo (GFMC) algorithm for estimating the excited states of the nuclear shell model. The conventional GFMC method, widely used to find the ground state of a quantum many-body system, is plagued by the sign problem, which leads to an exponentially increasing variance with the growth of system size and evolution time. This issue is typically mitigated by applying classical constraints but at the cost of introducing bias. Our approach uses quantum subspace diagonalization (QSD) on a quantum computer to prepare a quantum trial state, replacing the classical trial state in the GFMC process. We also incorporated a modified classical shadow technique in the implementation of QSD to optimize quantum resource utilization. Besides, we extend our hybrid GFMC algorithm to find the excited states of a given quantum system. Numerical results suggest our method largely enhances accuracy in determining excited state energies, offering an improvement over the conventional method.


title: Tunable thermal conductivity of sustainable geopolymers by Si/Al ratio and moisture content: insights from atomistic simulations

abstract: In this work, the effects of Si/Al ratio and moisture content on thermal transport in sustainable geopolymers has been comprehensively investigated by using the molecular dynamics simulation. The thermal conductivity of geopolymer systems increases with the increase of Si/Al ratio, and the phonon vibration frequency region which plays a major role in the main increase of its thermal conductivity is 8-25 THz, while the rest of the frequency interval contribute less. With the increase of moisture content, the thermal conductivity of geopolymer systems decreases at first, then increases and finally tends to be stable, which is contrary to the changing trend of porosity of the system. This is mainly because the existence of pores will lead to phonon scattering during thermal transport, which in turn affects the thermal conductivity of the system. When the moisture content is 5%, the thermal conductivity reaches a minimum value of about 1.103 W/(mK), which is 40.2% lower than the thermal conductivity of the system without water molecule. This work will help to enhance the physical level understanding of the relationship between the geopolymer structures and thermal transport properties.

categories: cond-mat.soft cond-mat.mes-hall physics.chem-ph physics.comp-ph


title: 3D Imaging of Magnetic Domains in Nd2Fe14B using Scanning Hard X-Ray Nanotomography

abstract: Nanoscale structural and electronic heterogeneities are prevalent in condensed matter physics. Investigating these heterogeneities in three dimensions (3D) has become an important task for understanding their material properties. To provide a tool to unravel the connection between nanoscale heterogeneity and macroscopic emergent properties in magnetic materials, scanning transmission X-ray microscopy (STXM) is combined with X-ray magnetic circular dichroism (XMCD). A vector tomography algorithm has been developed to reconstruct the full 3D magnetic vector field without any prior assumptions or knowledge. 2D STXM projections of single crystalline \ndfeb\ pillars are recorded for two different sample tilt angles while rotating around the vertical tomographic axis using $120$ nm X-ray beams with left and right circular polarization. Image alignment and iterative registration has been implemented, based on the 2D STXM projections for the two tilts. Dichroic projections obtained from difference images are used for the tomographic reconstruction to obtain the 3D magnetization distribution at the nanoscale.


title: Controlling the Misinformation Diffusion in Social Media by the Effect of Different Classes of Agents

abstract: The rapid and widespread dissemination of misinformation through social networks is a growing concern in today's digital age. This study focused on modeling fake news diffusion, discovering the spreading dynamics, and designing control strategies. A common approach for modeling the misinformation dynamics is SIR-based models. Our approach is an extension of a model called 'SBFC' which is a SIR-based model. This model has three states, Susceptible, Believer, and Fact-Checker. The dynamics and transition between states are based on neighbors' beliefs, hoax credibility, spreading rate, probability of verifying the news, and probability of forgetting the current state. Our contribution is to push this model to real social networks by considering different classes of agents with their characteristics. We proposed two main strategies for confronting misinformation diffusion. First, we can educate a minor class, like scholars or influencers, to improve their ability to verify the news or remember their state longer. The second strategy is adding fact-checker bots to the network to spread the facts and influence their neighbors' states. Our result shows that both of these approaches can effectively control the misinformation spread.


title: Weak rainbow saturation numbers of graphs

abstract: For a fixed graph $H$, we say that an edge-colored graph $G$ is \emph{weakly $H$-rainbow saturated} if there exists an ordering $e_1, e_2, \ldots, e_m$ of $E\left(\overline{G}\right)$ such that, for any list $c_1, c_2, \ldots, c_m$ of pairwise distinct colors from $\mathbb{N}$, the non-edges $e_i$ in color $c_i$ can be added to $G$, one at a time, so that every added edge creates a new rainbow copy of $H$. The \emph{weak rainbow saturation number} of $H$, denoted by $rwsat(n,H)$, is the minimum number of edges in a weakly $H$-rainbow saturated graph on $n$ vertices. In this paper, we show that for any non-empty graph $H$, the limit $\lim_{n\to \infty} \frac{rwsat(n, H)}{n}$ exists. This answers a question of Behague, Johnston, Letzter, Morrison and Ogden [{\it SIAM J. Discrete Math.} (2023)]. We also provide lower and upper bounds on this limit, and in particular, we show that this limit is nonzero if and only if $H$ contains no pendant edges.


title: Solvable Two-dimensional Dirac Equation with Matrix Potential: Graphene in External Electromagnetic Field

abstract: It is known that the excitations in graphene-like materials in external electromagnetic field are described by solutions of massless two-dimensional Dirac equation which includes both Hermitian off-diagonal matrix and scalar potentials. Up to now, such two-component wave functions were calculated for different forms of external potentials but, as a rule, depending on one spatial variable only. Here, we shall find analytically the solutions for a wide class of combinations of matrix and scalar external potentials which physically correspond to applied mutually orthogonal magnetic and longitudinal electrostatic fields, both depending really on two spatial variables. The main tool for this progress was provided by supersymmetrical (SUSY) intertwining relations, namely, by their most general - asymmetrical - form proposed recently by the authors. Such SUSY-like method is applied in two steps similarly to the second order factorizable (reducible) SUSY transformations in ordinary Quantum Mechanics.


title: Analysis of concentration polarization in reverse osmosis and nanofiltration: zero-, one-, and two-dimensional models

abstract: Reverse osmosis and nanofiltration are membrane-based methods that remove solutes from solvent, for instance they remove salts from water (desalination). In these methods, an applied pressure is the driving force for solvent to pass the membrane, while most of the solutes are blocked. Very important in the theory of mass transport is the concentration polarization layer (CP layer), which develops on the upstream side of the membrane. Because of the CP layer, the solvent flux through the membrane is reduced while leakage of solutes through the membrane increases, and both these effects must be minimized. So it is very important to understand and describe the nature of the CP layer accurately, especially to find a good estimate of the CP layer mass transfer coefficient, $k$. This is also important for the accurate characterization of membranes in a test cell geometry. We theoretically analyze the structure of the CP layer using three levels of mathematical models. First, we present a modification of an equation for $k$ by Sherwood et al. (1965) and show that it works very well in a zero dimensional model. Second, we evaluate a one-dimensional model that is more accurate, which can incorporate any equation for the flow of solvent and solutes through the membrane, and which also makes use of the new modified Sherwood equation. Finally, we fully resolve the complete channel in a two-dimensional geometry, to validate the lower-order models and to illustrate the structure of the CP layer. The overall conclusion is that for typical test cell conditions, the modified Sherwood equation can be used to characterize the CP layer, also when solvent flux through the membrane changes between inlet and outlet of the test cell. Furthermore, the one-dimensional model accurately describes solute removal (for instance water desalination) not just in a short test cell but also in a longer module.


title: Crystallization and dynamics of defects in a magnetic fluctuating medium

abstract: We consider the dynamics of classical particles or defects moving in a fluctuating two-dimensional magnetic medium made of Ising spins. These defects occupy empty sites, and each of them can move according to simple rules, by exchanging its location with one of the neighboring or distant spin if the energy is favorable, conserving the magnetization. We use a fermionic representation of the theory in order to map the partition function into an integral over Grassmannian variables. This model of annealed disorder can be described by a Grassmannian action containing quartic interaction terms. We study the critical behavior of this system as well as the entropy, specific heat, and residual correlation functions which are evaluated within this Grassmannian formalism. We found in particular that the correlations are strongly attractive at short distances in the low temperature regime and for a broader range of distances near the spin critical regime, and slightly repulsive at large distances. These results are compared with Monte-Carlo simulations.


title: Computational predictions of weld structural integrity in hydrogen transport pipelines

abstract: We combine welding process modelling with deformation-diffusion-fracture (embrittlement) simulations to predict failures in hydrogen transport pipelines. The focus is on the structural integrity of seam welds, as these are often the locations most susceptible to damage in gas transport infrastructure. Finite element analyses are conducted to showcase the ability of the model to predict cracking in pipeline steels exposed to hydrogen-containing environments. The validated model is then employed to quantify critical H$_2$ fracture pressures. The coupled, phase field-based simulations conducted provide insight into the role of existing defects, microstructural heterogeneity, and residual stresses. We find that under a combination of deleterious yet realistic conditions, the critical pressure at which fracture takes place can be as low as 15 MPa. These results bring new mechanistic insight into the viability of using the existing natural gas pipeline network to transport hydrogen, and the computational framework presented enables mapping the conditions under which this can be achieved safely.

categories: cs.CE cond-mat.mtrl-sci physics.app-ph physics.chem-ph


title: Ti substitution on Fe sites significantly changes the electronic properties of orthorhombic LaFeO3 perovskites (A first-principles study)

abstract: A large number of published experimental works suggest that when the Fe ions in orthorhombic LaFeO3 are substituted, band gap reduction is expected. However, recent experimental works observe band gap enhancement with increasing Ti ions replacing Fe ions. While satisfactory explanation on such observations seem absent, a first principles investigation may answer what should really happen. We investigate from first-principles the influence of Ti substitution on LaFeO3 at Fe-site as a function of substitution concentration. Amongst the five investigated models, we found that as the Ti substitution concentration increases, the electronic band gap at Fermi level decreases. However, in the model where two Ti ions replace Fe sites in an anti-symmetric arrangement, the Fermi level is crossed. We found that band gap reductions could be caused by the decreased in field splitting between the Fe 3d orbitals and charge competition between Fe-O and Ti-O bonds as inferred from density of states analysis. While band gap reduction with increasing substitution implies better conductivity, cohesive energy becomes less negative although the perovskite distortion parameter does not differ significantly between each models.


title: Tempo: Confidentiality Preservation in Cloud-Based Neural Network Training

abstract: Cloud deep learning platforms provide cost-effective deep neural network (DNN) training for customers who lack computation resources. However, cloud systems are often untrustworthy and vulnerable to attackers, leading to growing concerns about model privacy. Recently, researchers have sought to protect data privacy in deep learning by leveraging CPU trusted execution environments (TEEs), which minimize the use of cryptography, but existing works failed to simultaneously utilize the computational resources of GPUs to assist in training and prevent model leakage. This paper presents Tempo, the first cloud-based deep learning system that cooperates with TEE and distributed GPUs for efficient DNN training with model confidentiality preserved. To tackle the challenge of preserving privacy while offloading linear algebraic operations from TEE to GPUs for efficient batch computation, we introduce a customized permutation-based obfuscation algorithm to blind both inputs and model parameters. An optimization mechanism that reduces encryption operations is proposed for faster weight updates during backpropagation to speed up training. We implement Tempo and evaluate it with both training and inference for two prevalent DNNs. Empirical results indicate that Tempo outperforms baselines and offers sufficient privacy protection.


title: On the clustering of Pad\'e zeros and poles of random power series

abstract: We estimate non-asymptotically the probability of uniform clustering around the unit circle of the zeros of the $[m,n]$-Pad\'e approximant of a random power series $f(z) = \sum_{j=0}^\infty a_j z^j$ for $a_j$ independent, with finite first moment, and L\'evy function satisfying $L(a_j , \varepsilon) \leq K\varepsilon$. Under the same assumptions we show that almost surely $f$ has infinitely many zeros in the unit disc, with the unit circle serving as a natural boundary for $f$. For $R_m$ the radius of the largest disc containing at most $m$ zeros of $f$, a deterministic result of Edrei implies that in our setting the poles of the $[m,n]$-Pad\'e approximant almost surely cluster uniformly at the circle of radius $R_m$ as $n \to \infty$ and $m$ stays fixed, and we provide almost sure rates of converge of these $R_m$'s to $1$. We also show that our results on the clustering of the zeros hold for log-concave vectors $(a_j)$ with not necessarily independent coordinates.


title: Pulse Width Modulation Method Applied to Nonlinear Model Predictive Control on an Under-actuated Small Satellite

abstract: Among various satellite actuators, magnetic torquers have been widely equipped for stabilization and attitude control of small satellites. Although magnetorquers are generally used with other actuators, such as momentum wheels, this paper explores a control method where only a magnetic actuation is available. We applied a nonlinear optimal control method, Nonlinear Model Predictive Control (NMPC), to small satellites, employing the generalized minimal residual (GMRES) method, which generates continuous control inputs. Onboard magnetic actuation systems often find it challenging to produce smooth magnetic moments as a control input; hence, we employ the Pulse Width Modulation (PWM) method, which discretizes a control input and reduces the burden on actuators. In our case, the PWM approach discretizes control torques generated by the NMPC scheme. This study's main contributions are investigating the NMPC and the GMRES method applied to small spacecraft and presenting the PWM control system's feasibility.


title: Comparing dark matter and MOND hyphotheses from the distribution function of A, F, early-G stars in the solar neighbourhood

abstract: Dark matter is hypothetical matter believed to address the missing mass problem in galaxies. However, alternative theories, such as Modified Newtonian Dynamics (MOND), have been notably successful in explaining the missing mass problem in various astrophysical systems. The vertical distribution function of stars in the solar neighbourhood serves as a proxy to constrain galactic dynamics in accordance to its contents. We employ both the vertical positional and velocity distribution of stars in cylindrical coordinates with a radius of 150 pc and a half-height of 200 pc from the galactic plane. Our tracers consist of main-sequence A, F, and early-G stars from the GAIA, RAVE, APOGEE, GALAH, and LAMOST catalogues. We attempt to solve the missing mass in the solar neighbourhood, interpreting it as either dark matter or MOND. Subsequently, we compare both hypotheses newtonian gravity with dark matter and MOND, using the Bayes factor (BF) to determine which one is more favoured by the data. We found that the inferred dark matter in the solar neighbourhood is in range of $\sim (0.01$-$0.07)$ M$_{\odot}$ pc$^{-3}$. We also determine that the MOND hypothesis's acceleration parameter $a_0$ is $(1.26 \pm 0.13) \times 10^{-10}$ m s$^{-2}$ for simple interpolating function. The average of bayes factor for all tracers between the two hypotheses is $\log \textrm{BF}\sim 0.1$, meaning no strong evidence in favour of either the dark matter or MOND hypotheses.


title: EndoGS: Deformable Endoscopic Tissues Reconstruction with Gaussian Splatting

abstract: Surgical 3D reconstruction is a critical area of research in robotic surgery, with recent works adopting variants of dynamic radiance fields to achieve success in 3D reconstruction of deformable tissues from single-viewpoint videos. However, these methods often suffer from time-consuming optimization or inferior quality, limiting their adoption in downstream tasks. Inspired by 3D Gaussian Splatting, a recent trending 3D representation, we present EndoGS, applying Gaussian Splatting for deformable endoscopic tissue reconstruction. Specifically, our approach incorporates deformation fields to handle dynamic scenes, depth-guided supervision with spatial-temporal weight masks to optimize 3D targets with tool occlusion from a single viewpoint, and surface-aligned regularization terms to capture the much better geometry. As a result, EndoGS reconstructs and renders high-quality deformable endoscopic tissues from a single-viewpoint video, estimated depth maps, and labeled tool masks. Experiments on DaVinci robotic surgery videos demonstrate that EndoGS achieves superior rendering quality. Code is available at https://github.com/HKU-MedAI/EndoGS.


title: Nonlinear Model Predictive Detumbling of Small Satellites with a Single-axis Magnetorquer

abstract: Various actuators are used in spacecraft to achieve attitude stabilization, including thrusters, momentum wheels, and control moment gyros. Small satellites, however, have stringent size, weight, and cost constraints, which makes many actuator choices prohibitive. Consequently, magnetic torquers have commonly been applied to spacecraft to attenuate angular rates. Approaches for dealing with under-actuation due to magnetic control torque's dependency on the magnetic field and required high magnetic flux densities have been previously considered. Generally speaking, control of a satellite that becomes under-actuated as a result of on-board failures has been a recurrent theme in the literature. Methods for controlling spacecraft with fewer actuators than degrees of freedom are increasingly in demand due to the increased number of small satellite launches. Magnetic torquers have been extensively investigated for momentum management of spacecraft with momentum wheels and for nutation damping of spin satellites, momentum-biased, and dual-spin satellites. Nonetheless, severely under-actuated small spacecraft that carry only a single-axis magnetic torquer have not been previously treated. This note considers the detumbling of a small spacecraft using only a single-axis magnetic torquer. Even with a three-axis magnetic torquer, the spacecraft is under-actuated, while, in the case of only a single axis magnetic torquer, the problem is considerably more demanding. Our note examines the feasibility of spacecraft attitude control with a single-axis magnetic torquer and possible control methods that can be used.


title: Addressing researcher degrees of freedom through minP adjustment

abstract: When different researchers study the same research question using the same dataset they may obtain different and potentially even conflicting results. This is because there is often substantial flexibility in researchers' analytical choices, an issue also referred to as ''researcher degrees of freedom''. Combined with selective reporting of the smallest p-value or largest effect, researcher degrees of freedom may lead to an increased rate of false positive and overoptimistic results. In this paper, we address this issue by formalizing the multiplicity of analysis strategies as a multiple testing problem. As the test statistics of different analysis strategies are usually highly dependent, a naive approach such as the Bonferroni correction is inappropriate because it leads to an unacceptable loss of power. Instead, we propose using the ''minP'' adjustment method, which takes potential test dependencies into account and approximates the underlying null distribution of the minimal p-value through a permutation-based procedure. This procedure is known to achieve more power than simpler approaches while ensuring a weak control of the family-wise error rate. We illustrate our approach for addressing researcher degrees of freedom by applying it to a study on the impact of perioperative paO2 on post-operative complications after neurosurgery. A total of 48 analysis strategies are considered and adjusted using the minP procedure. This approach allows to selectively report the result of the analysis strategy yielding the most convincing evidence, while controlling the type 1 error -- and thus the risk of publishing false positive results that may not be replicable.


title: Maintenance cost assessment for heterogeneous multi-component systems incorporating perfect inspections and waiting time to maintenance

abstract: Most existing research about complex systems maintenance assumes they consist of the same type of components. However, systems can be assembled with heterogeneous components (for example degrading and non-degrading components) that require different maintenance actions. Since industrial systems become more and more complex, more research about the maintenance of systems with heterogeneous components is needed. For this reason, in this paper, a system consisting of two groups of components: degrading and non-degrading components is analyzed. The main novelty of this paper is the evaluation of a maintenance policy at system-level coordinating condition-based maintenance for the degrading components, delay time to the maintenance and an inspection strategy for this heterogeneous system. To that end, an analytic cost model is built using the semi-regenerative processes theory. Furthermore, a safety constraint related to the reliability of the degrading components is imposed. To find the optimal maintenance strategy, meta-heuristic algorithms are used.


title: Model Predictive Approach for Detumbling an Underactuated Satellite

abstract: This research proposes an innovative approach to detumble satellites' triple-axis angular velocities with only one single-axis magnetic torquer. Since magnetic torque is generated perpendicularly to magnetorquers, no intended control torque along the magnetorquer can be produced, which makes systems underactuated. Our paper introduces a control method using Model Predictive Control (MPC) and compares it with B-dot control algorithm. By applying these control laws to Kyushu University Light Curve Inversion (Q-Li) Demonstration Satellite in numerical simulations, we describe the applicability of these control laws to underactuated systems.


title: A new flexible class of kernel-based tests of independence

abstract: Spherical and hyperspherical data are commonly encountered in diverse applied research domains, underscoring the vital task of assessing independence within such data structures. In this context, we investigate the properties of test statistics relying on distance correlation measures originally introduced for the energy distance, and generalize the concept to strongly negative definite kernel-based distances. An important benefit of employing this method lies in its versatility across diverse forms of directional data, enabling the examination of independence among vectors of varying types. The applicability of tests is demonstrated on several real datasets.


title: Multi-View Neural 3D Reconstruction of Micro-/Nanostructures with Atomic Force Microscopy

abstract: Atomic Force Microscopy (AFM) is a widely employed tool for micro-/nanoscale topographic imaging. However, conventional AFM scanning struggles to reconstruct complex 3D micro-/nanostructures precisely due to limitations such as incomplete sample topography capturing and tip-sample convolution artifacts. Here, we propose a multi-view neural-network-based framework with AFM (MVN-AFM), which accurately reconstructs surface models of intricate micro-/nanostructures. Unlike previous works, MVN-AFM does not depend on any specially shaped probes or costly modifications to the AFM system. To achieve this, MVN-AFM uniquely employs an iterative method to align multi-view data and eliminate AFM artifacts simultaneously. Furthermore, we pioneer the application of neural implicit surface reconstruction in nanotechnology and achieve markedly improved results. Extensive experiments show that MVN-AFM effectively eliminates artifacts present in raw AFM images and reconstructs various micro-/nanostructures including complex geometrical microstructures printed via Two-photon Lithography and nanoparticles such as PMMA nanospheres and ZIF-67 nanocrystals. This work presents a cost-effective tool for micro-/nanoscale 3D analysis.


title: Nigel -- Mechatronic Design and Robust Sim2Real Control of an Over-Actuated Autonomous Vehicle

abstract: Simulation to reality (sim2real) transfer from a dynamics and controls perspective usually involves re-tuning or adapting the designed algorithms to suit real-world operating conditions, which often violates the performance guarantees established originally. This work presents a generalizable framework for achieving reliable sim2real transfer of autonomy-oriented control systems using multi-model multi-objective robust optimal control synthesis, which lends well to uncertainty handling and disturbance rejection with theoretical guarantees. Particularly, this work is centered around a novel actuation-redundant scaled autonomous vehicle called Nigel, with independent all-wheel drive and independent all-wheel steering architecture, whose enhanced configuration space bodes well for robust control applications. To this end, we present the mechatronic design, dynamics modeling, parameter identification, and robust stabilizing as well as tracking control of Nigel using the proposed framework, with exhaustive experimentation and benchmarking in simulation as well as real-world settings.


title: How Robust Are Energy-Based Models Trained With Equilibrium Propagation?

abstract: Deep neural networks (DNNs) are easily fooled by adversarial perturbations that are imperceptible to humans. Adversarial training, a process where adversarial examples are added to the training set, is the current state-of-the-art defense against adversarial attacks, but it lowers the model's accuracy on clean inputs, is computationally expensive, and offers less robustness to natural noise. In contrast, energy-based models (EBMs), which were designed for efficient implementation in neuromorphic hardware and physical systems, incorporate feedback connections from each layer to the previous layer, yielding a recurrent, deep-attractor architecture which we hypothesize should make them naturally robust. Our work is the first to explore the robustness of EBMs to both natural corruptions and adversarial attacks, which we do using the CIFAR-10 and CIFAR-100 datasets. We demonstrate that EBMs are more robust than transformers and display comparable robustness to adversarially-trained DNNs on gradient-based (white-box) attacks, query-based (black-box) attacks, and natural perturbations without sacrificing clean accuracy, and without the need for adversarial training or additional training techniques.


title: Hierarchical Prompts for Rehearsal-free Continual Learning

abstract: Continual learning endeavors to equip the model with the capability to integrate current task knowledge while mitigating the forgetting of past task knowledge. Inspired by prompt tuning, prompt-based methods maintain a frozen backbone and train with slight learnable prompts to minimize the catastrophic forgetting that arises due to updating a large number of backbone parameters. Nonetheless, these learnable prompts tend to concentrate on the discriminatory knowledge of the current task while ignoring past task knowledge, leading to that learnable prompts still suffering from catastrophic forgetting. This paper introduces a novel rehearsal-free paradigm for continual learning termed Hierarchical Prompts (H-Prompts), comprising three categories of prompts -- class prompt, task prompt, and general prompt. To effectively depict the knowledge of past classes, class prompt leverages Bayesian Distribution Alignment to model the distribution of classes in each task. To reduce the forgetting of past task knowledge, task prompt employs Cross-task Knowledge Excavation to amalgamate the knowledge encapsulated in the learned class prompts of past tasks and current task knowledge. Furthermore, general prompt utilizes Generalized Knowledge Exploration to deduce highly generalized knowledge in a self-supervised manner. Evaluations on two benchmarks substantiate the efficacy of the proposed H-Prompts, exemplified by an average accuracy of 87.8% in Split CIFAR-100 and 70.6% in Split ImageNet-R.


title: Random matrix model of Kolmogorov-Zakharov turbulence

abstract: We introduce and study a random matrix model of Kolmogorov-Zakharov turbulence in a nonlinear purely dynamical finite size system with many degrees of freedom. For the case of a direct cascade the energy and norm pumping takes place at low energy scales with absorption at high energies. For a pumping strength above a certain chaos border a global chaotic attractor appears with a stationary energy flow through a Hamiltonian inertial energy interval. In this regime, the steady-state norm distribution is described by an algebraic decay with an exponent in agreement with the Kolmogorov-Zakharov theory. Below the chaos border the system is located in the quasi-integrable regime similar to the Kolmogorov-Arnold-Moser theory and the turbulence is suppressed. For the inverse cascade the system rapidly enters a strongly nonlinear regime where the weak turbulence description is invalid. We argue that such a dynamical turbulence is generic showing that it is present in other lattice models with disorder and Anderson localization. We point out that such dynamical models can be realized in multimode optical fibers.


title: Determination of the Gradient Flow Scale $t_0$ from a Mixed Action with Wilson Twisted Mass Valence Quarks

abstract: We perform the scale setting procedure of a mixed action setup consisting of valence Wilson twisted mass fermions at maximal twist on CLS ensembles with $N_f=2+1$ flavours of $O(a)$-improved Wilson sea quarks. We determine the gradient flow scale $t_0$ using pion and kaon masses and decay constants in the isospin symmetric limit of QCD as external physical input. We employ model variation techniques to explore the systematic uncertainties in the extraction of the ground state signal of lattice observables, as well as for the continuum-chiral extrapolations. We observe that the combined analysis of the mixed action data with that based on $O(a)$-improved Wilson valence quarks, provides an improved control of the extrapolation of $t_0$ to the physical point.


title: Understanding the Security Risks of Decentralized Exchanges by Uncovering Unfair Trades in the Wild

abstract: DEX, or decentralized exchange, is a prominent class of decentralized finance (DeFi) applications on blockchains, attracting a total locked value worth tens of billions of USD today. This paper presents the first large-scale empirical study that uncovers unfair trades on popular DEX services on Ethereum and Binance Smart Chain (BSC). By joining and analyzing 60 million transactions, we find 671,400 unfair trades on all six measured DEXes, including Uniswap, Balancer, and Curve. Out of these unfair trades, we attribute 55,000 instances, with high confidence, to token thefts that cause a value loss of more than 3.88 million USD. Furthermore, the measurement study uncovers previously unknown causes of extractable value and real-world adaptive strategies to these causes. Finally, we propose countermeasures to redesign secure DEX protocols and to harden deployed services against the discovered security risks.


title: Investigation of triangle counts in graphs evolved by uniform clustering attachment

abstract: The clustering attachment model introduced in the paper Bagrow and Brockmann (2013) may be used as an evolution tool of random networks. We propose a new clustering attachment model which can be considered as the limit of the former clustering attachment model as model parameter $\alpha$ tends to zero. We focus on the study of a total triangle count that is considered in the literature as an important characteristic of the network clustering. It is proved that total triangle count tends to infinity a.s. for the proposed model. Our simulation study is used for the modeling of sequences of triangle counts. It is based on the interpretation of the clustering attachment as a generalized P\'{o}lya-Eggenberger urn model that is introduced here at first time.


title: Some Old Globular Clusters (and Stars) Inferring That the Universe Is Older Than Commonly Accepted

abstract: The James Webb Space Telescope (JWST) has made startling discoveries regarding the early universe. It has revealed galaxies as soon as 300 million years after the Big Bang, challenging current galaxy formation models. Additionally, it has identified massive, bright galaxies in the young universe, contradicting the standard {\Lambda}CDM model's age estimate of 13.8 Gyr. This prompts a reevaluation of galaxy formation and cosmological models. There is a strong tension between JWST high-redshift galaxy observations and Planck Cosmic Microwave Background (CMB) satellite measurements. Even alternative cosmological models, including those incorporating dark matter baryon interaction, f(R) gravity, and dynamical dark have failed to resolve this tension. One possible solution is that the Universe's age exceeds predictions by the {\Lambda}CDM model. The study challenges this by introducing a method based on blue straggler stars (BSs) within GCs, comparing ages with other models. The ages obtained are compared with those of different models to certify that they are equally valid. These values are comparable within the error ranges except for the clusters: NGC104, NGC 5634, IC 4499, NGC 6273 and NGC 4833, finding their respective ages to be between 14.7 and 21.6 Gyr, surpassing the commonly accepted age of the Universe. These results inferred an age for the Universe of around 26 Gyr, close to 26.7 Gyr. This value aligns with that suggested by the cosmological model named Covarying Coupling Constants + TL (CCC+TL). Such a value is consistent with early universe observations from the James Webb Space Telescope (JWST). The results of the present paper reinforce the advocating for a critical review of models encompassing dark mass, dark energy, and the dynamics of the Universe, particularly in explaining the presence of primitive massive galaxies, very old GCs, and very old and poor metallic stars.


title: Calabi-Yau Links and Machine Learning

abstract: Calabi-Yau links are specific $S^1$-fibrations over Calabi-Yau manifolds, when the link is 7-dimensional they exhibit both Sasakian and G2 structures. In this invited contribution to the DANGER proceedings, previous work exhaustively computing Calabi-Yau links and selected topological properties is summarised. Machine learning of these properties inspires new conjectures about their computation, as well as the respective Gr\"obner bases.


title: Levitodynamic spectroscopy for single nanoparticle characterisation

abstract: Fast detection and characterization of single nanoparticles such as viruses, airborne aerosols and colloidal particles are considered to be particularly important for medical applications, material science and atmospheric physics. In particular, non-intrusive optical characterization, which can be carried out in isolation from other particles, and without the deleterious effects of a substrate or solvent, is seen to be particularly important. Optical characterization via the scattering of light does not require complicated sample preparation and can in principle be carried out in-situ. We describe the characterization of single nanoparticle shape based on the measurement of their rotational and oscillatory motion when optically levitated within vacuum. Using colloidally grown yttrium lithium fluoride nanocrystals of different sizes, trapped in a single-beam optical tweezer, we demonstrate the utility of this method which is in good agreement with simulations of the dynamics. Size differences as small as a few nanometers could be resolved using this technique offering a new optical spectroscopic tool for non-contact characterization of single nanoparticles in the absence of a substrate.


title: Correlating $B\to K^{(\ast)} \nu\bar{\nu}$ and flavor anomalies in SMEFT

abstract: The recent measurement of $\mathcal{B}(B^+\to K^+\nu\bar{\nu})$ by Belle-II reveals a $2.8~\sigma$ deviation from the Standard Model (SM) prediction. Combining this with a prior Belle measurement of $\mathcal{B}(B^{0}\to K^{\ast0}\nu\bar{\nu})$, the upper bound of the ratio $\mathcal{B}(B^{0}\to K^{\ast0}\nu\bar{\nu})/\mathcal{B}(B^+\to K^+\nu\bar{\nu})$ is notably smaller than the SM prediction. In this work, tensions are solved within the framework of Standard Model Effective Field Theory (SMEFT). Flavor observables, described by Low-Energy Effective Field Theory (LEFT) operators, are interconnected by SMEFT at the electroweak scale. Utilizing a set of only four SMEFT operators, the FCNC process $b\to s\nu\bar{\nu}$ is correlated with $b\to s\ell^+\ell^-$, $b\to u_i\ell\bar{\nu}$, $u_j\to s\ell\bar{\nu}$, $u_j\to u_i\nu\bar{\nu}$, and $u_j\to u_i\ell^+\ell^-$. Subsequently, we obtain the latest ranges of Wilson coefficients for these four operators through a global fit that accommodates flavor anomalies such as $R_{K^{(\ast)}}$, $R_{D^{(\ast)}}$, and $\mathcal{B}(B\to K^{(\ast)}\nu\bar{\nu})$. Our findings reveal that predictions for $\mathcal{B}(B^+\to \tau^+\nu_\tau)$ and $\mathcal{B}(D_s^+\to \tau^+\nu_\tau)$ align well with measured values from Belle and BESIII, based on the fitted coefficients. The predicted branching fraction for $B^0\to K^{\ast0}\nu\bar{\nu}$ is $(1.42\pm 0.74)\times 10^{-5}$, closely approaching the current experimental upper limit. Anticipation surrounds the rare decay $B_s\to \tau^+ \tau^-$, expected in the near future with a branching fraction on the order of $10^{-4}$.


title: Taxi dispatching strategies with compensations

abstract: Urban mobility efficiency is of utmost importance in big cities. Taxi vehicles are key elements in daily traffic activity. The advance of ICT and geo-positioning systems has given rise to new opportunities for improving the efficiency of taxi fleets in terms of waiting times of passengers, cost and time for drivers, traffic density, CO2 emissions, etc., by using more informed, intelligent dispatching. Still, the explicit spatial and temporal components, as well as the scale and, in particular, the dynamicity of the problem of pairing passengers and taxis in big towns, render traditional approaches for solving standard assignment problem useless for this purpose, and call for intelligent approximation strategies based on domain-specific heuristics. Furthermore, taxi drivers are often autonomous actors and may not agree to participate in assignments that, though globally efficient, may not be sufficently beneficial for them individually. This paper presents a new heuristic algorithm for taxi assignment to customers that considers taxi reassignments if this may lead to globally better solutions. In addition, as such new assignments may reduce the expected revenues of individual drivers, we propose an economic compensation scheme to make individually rational drivers agree to proposed modifications in their assigned clients. We carried out a set of experiments, where several commonly used assignment strategies are compared to three different instantiations of our heuristic algorithm. The results indicate that our proposal has the potential to reduce customer waiting times in fleets of autonomous taxis, while being also beneficial from an economic point of view.


title: Transfer Learning under Covariate Shift: Local $k$-Nearest Neighbours Regression with Heavy-Tailed Design

abstract: Covariate shift is a common transfer learning scenario where the marginal distributions of input variables vary between source and target data while the conditional distribution of the output variable remains consistent. The existing notions describing differences between marginal distributions face limitations in handling scenarios with unbounded support, particularly when the target distribution has a heavier tail. To overcome these challenges, we introduce a new concept called density ratio exponent to quantify the relative decay rates of marginal distributions' tails under covariate shift. Furthermore, we propose the local k-nearest neighbour regressor for transfer learning, which adapts the number of nearest neighbours based on the marginal likelihood of each test sample. From a theoretical perspective, convergence rates with and without supervision information on the target domain are established. Those rates indicate that our estimator achieves faster convergence rates when the density ratio exponent satisfies certain conditions, highlighting the benefits of using density estimation for determining different numbers of nearest neighbours for each test sample. Our contributions enhance the understanding and applicability of transfer learning under covariate shift, especially in scenarios with unbounded support and heavy-tailed distributions.


title: VQC-Based Reinforcement Learning with Data Re-uploading: Performance and Trainability

abstract: Reinforcement Learning (RL) consists of designing agents that make intelligent decisions without human supervision. When used alongside function approximators such as Neural Networks (NNs), RL is capable of solving extremely complex problems. Deep Q-Learning, a RL algorithm that uses Deep NNs, achieved super-human performance in some specific tasks. Nonetheless, it is also possible to use Variational Quantum Circuits (VQCs) as function approximators in RL algorithms. This work empirically studies the performance and trainability of such VQC-based Deep Q-Learning models in classic control benchmark environments. More specifically, we research how data re-uploading affects both these metrics. We show that the magnitude and the variance of the gradients of these models remain substantial throughout training due to the moving targets of Deep Q-Learning. Moreover, we empirically show that increasing the number of qubits does not lead to an exponential vanishing behavior of the magnitude and variance of the gradients for a PQC approximating a 2-design, unlike what was expected due to the Barren Plateau Phenomenon. This hints at the possibility of VQCs being specially adequate for being used as function approximators in such a context.


title: On stable assignments generated by choice functions of mixed type

abstract: We consider one variant of stable assignment problems in a bipartite graph endowed with nonnegative capacities on the edges and quotas on the vertices. It can be viewed as a generalization of the stable allocation problem introduced by Ba\H{\i}ou and Balinsky, which arises when strong linear orders of preferences on the vertices in the latter are replaced by weak ones. At the same time, our stability problem can be stated in the framework of a theory by Alkan and Gale on stable schedule matchings generated by choice functions of a wide scope. In our case, the choice functions are of a special, so-called mixed, type. The main content of this paper is devoted to a study of rotations in our mixed model, functions on the edges determining ``elementary'' transformations between close stable assignments. These look more sophisticated compared with rotations in the stable allocation problem (which are generated by simple cycles). We efficiently construct a poset of rotations and show that the stable assignments are in bijection with the so-called closed functions for this poset; this gives rise to a ``compact'' affine representation for the lattice of stable assignments and leads to an efficient method to find a stable assignment of minimum cost.


title: CAT(0) cube complexes and asymptotically rigid mapping class groups

abstract: In this article we study the asymptotically rigid mapping class groups of infinitely-punctured surfaces obtained by thickening planar trees. We present a family of CAT(0) cube complexes on which the latter groups act. Along the way, we determine in which cases the cube complexes introduced earlier by Genvois, Lonjou and Urech are CAT(0).


title: On the minimal free resolution of the Rees algebra of tri-generated bivariate monomial ideals

abstract: Let $I$ be a monomial ideal in two variables generated by three monomials and let $\mathcal{R}(I)$ be its Rees ideal. We describe an algorithm to compute the minimal generating set of $\mathcal{R}(I)$. Based on the data obtained by this algorithm, we build a graph that encodes the minimal free resolution of $\mathcal{R}(I)$. We explicitly describe the modules and differentials on the minimal free resolution of $\mathcal{R}(I)$.


title: Scale-dependent cosmology from effective quantum gravity in the invariant framework

abstract: We explore the possibility of a consistent cosmology based on the gauge-fixing independent running of the gravitational and cosmological constants ($G$ and $\Lambda$) in the framework of effective quantum gravity. In particular, their running in this framework was found to satisfy $G \propto \Lambda^4$. In the cosmological setting, the covariance of the theory provides energy conservation relations, which are impossible to satisfy with the unique scale parameter. However, by introducing the second sub-dominant scale corresponding to the higher-loop corrections and higher-derivative terms, one can close the system of equations for the running of parameters and arrive at the consistent cosmological solutions. This approach yields a change in the cosmological expansion history that affects the ratio of the Hubble parameter today to the Hubble parameter at high redshift.


title: Polarized Light from Massive Protoclusters (POLIMAP). I. Dissecting the role of magnetic fields in the massive infrared dark cloud G28.37+0.07

abstract: Magnetic fields may play a crucial role in setting the initial conditions of massive star and star cluster formation. To investigate this, we report SOFIA-HAWC+ $214\:\mu$m observations of polarized thermal dust emission and high-resolution GBT-Argus C$^{18}$O(1-0) observations toward the massive Infrared Dark Cloud (IRDC) G28.37+0.07. Considering the local dispersion of $B$-field orientations, we produce a map of $B$-field strength of the IRDC, which exhibits values between $\sim0.03 - 1\:$mG based on a refined Davis-Chandrasekhar-Fermi (r-DCF) method proposed by Skalidis \& Tassis. Comparing to a map of inferred density, the IRDC exhibits a $B-n$ relation with a power law index of $0.51\pm0.02$, which is consistent with a scenario of magnetically-regulated anisotropic collapse. Consideration of the mass-to-flux ratio map indicates that magnetic fields are dynamically important in most regions of the IRDC. A virial analysis of a sample of massive, dense cores in the IRDC, including evaluation of magnetic and kinetic internal and surface terms, indicates consistency with virial equilibrium, sub-Alfv\'enic conditions and a dominant role for $B-$fields in regulating collapse. A clear alignment of magnetic field morphology with direction of steepest column density gradient is also detected. However, there is no preferred orientation of protostellar outflow directions with the $B-$field. Overall, these results indicate that magnetic fields play a crucial role in regulating massive star and star cluster formation and so need to be accounted for in theoretical models of these processes.


title: A taxonomy for generalized synchronization between flat-coupled systems

abstract: Generalized synchronization is plausibly the most complex form of synchronization. Previous studies have revealed the existence of weak or strong forms of generalized synchronization depending on the multi- or mono-valued nature of the mapping between the attractors of two unidirectionally-coupled systems. Generalized synchronization is here obtained by coupling two systems with a flat control law. Here, we demonstrate that the corresponding first-return maps can be topologically conjugate in some cases. Conversely, the response map can foliated while the drive map is not. We describe the corresponding types of generalized synchronization, explicitly focusing on the influence of the coupling strength when significantly different dimensions or dissipation properties characterize the coupled systems. A taxonomy of generalized synchronization based on these properties is proposed.


title: Enhancing selectivity using Wasserstein distance based reweighing

abstract: Given two labeled data-sets $\mathcal{S}$ and $\mathcal{T}$, we design a simple and efficient greedy algorithm to reweigh the loss function such that the limiting distribution of the neural network weights that result from training on $\mathcal{S}$ approaches the limiting distribution that would have resulted by training on $\mathcal{T}$. On the theoretical side, we prove that when the metric entropy of the input data-sets is bounded, our greedy algorithm outputs a close to optimal reweighing, i.e., the two invariant distributions of network weights will be provably close in total variation distance. Moreover, the algorithm is simple and scalable, and we prove bounds on the efficiency of the algorithm as well. Our algorithm can deliberately introduce distribution shift to perform (soft) multi-criteria optimization. As a motivating application, we train a neural net to recognize small molecule binders to MNK2 (a MAP Kinase, responsible for cell signaling) which are non-binders to MNK1 (a highly similar protein). We tune the algorithm's parameter so that overall change in holdout loss is negligible, but the selectivity, i.e., the fraction of top 100 MNK2 binders that are MNK1 non-binders, increases from 54\% to 95\%, as a result of our reweighing. Of the 43 distinct small molecules predicted to be most selective from the enamine catalog, 2 small molecules were experimentally verified to be selective, i.e., they reduced the enzyme activity of MNK2 below 50\% but not MNK1, at 10$\mu$M -- a 5\% success rate.


title: Distributed Multi-Task Learning for Stochastic Bandits with Context Distribution and Stage-wise Constraints

abstract: We present the problem of conservative distributed multi-task learning in stochastic linear contextual bandits with heterogeneous agents. This extends conservative linear bandits to a distributed setting where M agents tackle different but related tasks while adhering to stage-wise performance constraints. The exact context is unknown, and only a context distribution is available to the agents as in many practical applications that involve a prediction mechanism to infer context, such as stock market prediction and weather forecast. We propose a distributed upper confidence bound (UCB) algorithm, DiSC-UCB. Our algorithm constructs a pruned action set during each round to ensure the constraints are met. Additionally, it includes synchronized sharing of estimates among agents via a central server using well-structured synchronization steps. We prove the regret and communication bounds on the algorithm. We extend the problem to a setting where the agents are unaware of the baseline reward. For this setting, we provide a modified algorithm, DiSC-UCB2, and we show that the modified algorithm achieves the same regret and communication bounds. We empirically validated the performance of our algorithm on synthetic data and real-world Movielens-100K data.


title: Matrix evaluations of noncommutative rational functions and Waring problems

abstract: Let $r$ be a nonconstant noncommutative rational function in $m$ variables over an algebraically closed field $K$ of characteristic 0. We show that for $n$ large enough, there exists an $X\in M_n(K)^m$ such that $r(X)$ has $n$ distinct and nonzero eigenvalues. This result is used to study the linear and multiplicative Waring problems for matrix algebras. Concerning the linear problem, we show that for $n$ large enough, every matrix in $sl_n(K)$ can be written as $r(Y)-r(Z)$ for some $Y,Z\in M_n(K)^m$. We also discuss variations of this result for the case where $r$ is a noncommutative polynomial. Concerning the multiplicative problem, we show, among other results, that if $f$ and $g$ are nonconstant polynomials, then, for $n$ large enough, every nonscalar matrix in $GL_n(K)$ can be written as $f(Y)g(Z)$ for some $Y,Z\in M_n(K)^m$.


title: Thompson Sampling for Stochastic Bandits with Noisy Contexts: An Information-Theoretic Regret Analysis

abstract: We explore a stochastic contextual linear bandit problem where the agent observes a noisy, corrupted version of the true context through a noise channel with an unknown noise parameter. Our objective is to design an action policy that can approximate" that of an oracle, which has access to the reward model, the channel parameter, and the predictive distribution of the true context from the observed noisy context. In a Bayesian framework, we introduce a Thompson sampling algorithm for Gaussian bandits with Gaussian context noise. Adopting an information-theoretic analysis, we demonstrate the Bayesian regret of our algorithm concerning the oracle's action policy. We also extend this problem to a scenario where the agent observes the true context with some delay after receiving the reward and show that delayed true contexts lead to lower Bayesian regret. Finally, we empirically demonstrate the performance of the proposed algorithms against baselines.


title: A detectable ultra-high-energy cosmic ray outburst from GRB 221009A

abstract: Gamma-ray bursts (GRBs) have been proposed as one of promising sources of ultra-high-energy cosmic rays (UHECRs), but observational evidence is still lacking. The nearby B.O.A.T. (brightest of all time) GRB 221009A, an once-in-1000-year event, is able to accelerate protons to $\sim 10^{3}$ EeV. Protons arriving at the Milky Way are dominated by neutron-decay-induced protons. The inter-galactic magnetic fields would not yield a sizable delay of the $\geq 10{\rm~EeV}$ cosmic rays if its strength is $\lesssim 10^{-13}{\rm~G}$, while Galactic magnetic fields would cause a significant time delay. We predict that, an UHECR burst from GRB 221009A would be detectable by the Pierre Auger Observatory and the TA$\times$4, within $\sim$ 10 years. The detection of such an UHECR outburst will provide the direct evidence for UHECR acceleration in GRBs.


title: Deterministic Multi-stage Constellation Reconfiguration Using Integer Linear Programming and Sequential Decision-Making Methods

abstract: In this paper, we address the problem of reconfiguring Earth observation satellite constellation systems through multiple stages. The Multi-stage Constellation Reconfiguration Problem (MCRP) aims to maximize the total observation rewards obtained by covering a set of targets of interest through the active manipulation of the orbits and relative phasing of constituent satellites. In this paper, we consider deterministic problem settings in which the targets of interest are known a priori. We propose a novel integer linear programming formulation for MCRP, capable of obtaining provably optimal solutions. To overcome computational intractability due to the combinatorial explosion in solving large-scale instances, we introduce two computationally efficient sequential decision-making methods based on the principles of a myopic policy and a rolling horizon procedure. The computational experiments demonstrate that the devised sequential decision-making approaches yield high-quality solutions with improved computational efficiency over the baseline MCRP. Finally, a case study using Hurricane Harvey data showcases the advantages of multi-stage constellation reconfiguration over single-stage and no-reconfiguration scenarios.