title: Magnons and fundamental magnetic interactions in a ferromagnetic monolayer: The case of Ni monolayer

abstract: The experimental investigations of the magnetic interactions in an atomically thin magnetic layer are essential to understand the physics of low-dimensional magnets. The full spectrum of collective magnetic excitations (magnons) would provide an access to these fundamental interactions on the atomic scale. Here in order to be able to excite the magnons by means of spin-polarized electrons we couple a Ni monolayer to one and two atomic layers of Co and probe the full experimental magnon dispersion relation up to the Brillouin zone boundary. Comparing to the results of ab initio calculations we quantify the complex pattern of the magnetic exchange interaction in the Ni monolayer. We show that although the magnons in this system are rather stiff, the Heisenberg exchange coupling between the Ni spins is weak. We unravel the origin of the observed large magnon stiffness constant being a consequence of the small spin density of the Ni atoms.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.supr-con physics.app-ph


title: Remarks on the ($2+1$)-dimensional Duffin-Kemmer-Petiau oscillator in an external magnetic field

abstract: This work re-examines the issue of spin-$1$ particles in a ($2+1$)-dimensional Duffin-Kemmer-Petiau oscillator (DKPO) in the presence of an external magnetic field. By following the appropriate procedure for the spin-$1$ sector of the Duffin-Kemmer-Petiau (DKP) theory, the previously used $6\times 6$ representation in the literature is shown to be reducible to a $3\times 3$ irreducible representation. This approach enabled us to find new aspects of the results recently disseminated in various studies, as well as other considerations overlooked and requiring revision. Finally, we present some applications of two-dimensional DKP theory in condensed matter systems, particularly in Lieb lattices.


title: PICO: Accelerating All k-Core Paradigms on GPU

abstract: Core decomposition is a well-established graph mining problem with various applications that involves partitioning the graph into hierarchical subgraphs. Solutions to this problem have been developed using both bottom-up and top-down approaches from the perspective of vertex convergence dependency. However, existing algorithms have not effectively harnessed GPU performance to expedite core decomposition, despite the growing need for enhanced performance. Moreover, approaching performance limitations of core decomposition from two different directions within a parallel synchronization structure has not been thoroughly explored. This paper introduces an efficient GPU acceleration framework, PICO, for the Peel and Index2core paradigms of k-core decomposition. We propose PeelOne, a Peel-based algorithm designed to simplify the parallel logic and minimize atomic operations by eliminating vertices that are 'under-core'. We also propose an Index2core-based algorithm, named HistoCore, which addresses the issue of extensive redundant computations across both vertices and edges. Extensive experiments on NVIDIA RTX 3090 GPU show that PeelOne outperforms all other Peel-based algorithms, and HistoCore outperforms all other Index2core-based algorithms. Furthermore, HistoCore even outperforms PeelOne by 1.1x - 3.2x speedup on six datasets, which breaks the stereotype that the Index2core paradigm performs much worse than the Peel in a shared memory parallel setting.


title: Improving the low-energy muon beam quality of the LEM beamline at PSI: Characterisation of ultra-thin carbon foils

abstract: The Low-Energy Muon beamline (LEM) at the Paul Scherrer Institute currently stands as the world's only facility providing a continuous beam of low-energy muons with keV energies for conducting muon spin rotation experiments on a nanometer depth scale in heterostructures and near a sample's surface. As such, optimizing the beam quality to reach its full potential is of paramount importance. One of the ongoing efforts is dedicated to improving the already applied technique of single muon tagging through the detection of secondary electrons emerging from an ultra-thin carbon foil. In this work, we present the results from installing a thinner foil with a nominal thickness of 0.5 $\mu g~cm^{-2}$ and compare its performance to that of the previously installed foil with a nominal thickness of 2.0 $\mu g~cm^{-2}$. Our findings indicate improved beam quality, characterized by smaller beam spots, reduced energy loss and straggling of the muons, and enhanced tagging efficiency. Additionally, we introduce a method utilizing blue laser irradiation for cleaning the carbon foil, further improving and maintaining its characteristics


title: Optimal Transport for Structure Learning Under Missing Data

abstract: Causal discovery in the presence of missing data introduces a chicken-and-egg dilemma. While the goal is to recover the true causal structure, robust imputation requires considering the dependencies or, preferably, causal relations among variables. Merely filling in missing values with existing imputation methods and subsequently applying structure learning on the complete data is empirically shown to be sub-optimal. To address this problem, we propose a score-based algorithm for learning causal structures from missing data based on optimal transport. This optimal transport viewpoint diverges from existing score-based approaches that are dominantly based on expectation maximization. We formulate structure learning as a density fitting problem, where the goal is to find the causal model that induces a distribution of minimum Wasserstein distance with the observed data distribution. Our framework is shown to recover the true causal graphs more effectively than competing methods in most simulations and real-data settings. Empirical evidence also shows the superior scalability of our approach, along with the flexibility to incorporate any off-the-shelf causal discovery methods for complete data.


title: Quasi-likelihood analysis for adaptive estimation of a degenerate diffusion process

abstract: The adaptive quasi-likelihood analysis is developed for a degenerate diffusion process. Asymptotic normality and moment convergence are proved for the quasi-maximum likelihood estimators and quasi-Bayesian estimators, in the adaptive scheme.


title: Towards Model-Driven Dashboard Generation for Systems-of-Systems

abstract: Configuring and evolving dashboards in complex and large-scale Systems-of-Systems (SoS) can be an expensive and cumbersome task due to the many Key Performance Indicators (KPIs) that are usually collected and have to be arranged in a number of visualizations. Unfortunately, setting up dashboards is still a largely manual and error-prone task requiring extensive human intervention. This short paper describes emerging results about the definition of a model-driven technology-agnostic approach that can automatically transform a simple list of KPIs into a dashboard model, and then translate the model into an actual dashboard for a target dashboard technology. Dashboard customization can be efficiently obtained by solely modifying the abstract model representation, freeing operators from expensive interactions with actual dashboards.


title: High Resolution Guitar Transcription via Domain Adaptation

abstract: Automatic music transcription (AMT) has achieved high accuracy for piano due to the availability of large, high-quality datasets such as MAESTRO and MAPS, but comparable datasets are not yet available for other instruments. In recent work, however, it has been demonstrated that aligning scores to transcription model activations can produce high quality AMT training data for instruments other than piano. Focusing on the guitar, we refine this approach to training on score data using a dataset of commercially available score-audio pairs. We propose the use of a high-resolution piano transcription model to train a new guitar transcription model. The resulting model obtains state-of-the-art transcription results on GuitarSet in a zero-shot context, improving on previously published methods.


title: Open Ad Hoc Teamwork with Cooperative Game Theory

abstract: Ad hoc teamwork poses a challenging problem, requiring the design of an agent to collaborate with teammates without prior coordination or joint training. Open ad hoc teamwork (OAHT) further complicates this challenge by considering environments with a changing number of teammates, referred to as open teams. One promising solution in practice to this problem is leveraging the generalizability of graph neural networks to handle an unrestricted number of agents with various agent-types, named graph-based policy learning (GPL). However, its joint Q-value representation over a coordination graph lacks convincing explanations. In this paper, we establish a new theory to understand the representation of the joint Q-value for OAHT and its learning paradigm, through the lens of cooperative game theory. Building on our theory, we propose a novel algorithm named CIAO, based on GPL's framework, with additional provable implementation tricks that can facilitate learning. The demos of experimental results are available on https://sites.google.com/view/ciao2024, and the code of experiments is published on https://github.com/hsvgbkhgbv/CIAO.


title: Exploring Gamma-Ray Burst Diversity: Clustering analysis of emission characteristics of Fermi and BATSE detected GRBs

abstract: Gamma-ray bursts (GRBs) are commonly attributed to the demise of massive stars or the merger of binary compact objects. However, their varied emission characteristics strongly imply the existence of multiple GRB classes based on progenitor types, radiation mechanisms, central engines etc. This study utilizes unsupervised clustering with the Nested Gaussian Mixture Model algorithm to analyze {\it Fermi} and BATSE GRB data, identifying four classes (A, B, C, and D) based on duration, spectral peak, and spectral index, comprising approximately 70\%, 10\%, 3\%, and 17\% of the dataset, respectively. Classes A and B consist of long GRBs, C mainly short GRBs, and class D encompasses both short and long GRBs. Using the spectral index, $\alpha$, for the differentiation of radiation models, it is found that classes B and C align with photospheric emission models, while A and D predominantly show synchrotron radiation characteristics. Short GRBs predominantly exhibit photospheric emission, whereas long GRBs show consistency with synchrotron emission. Overall, 63\% of the total bursts exhibit $\alpha$ profiles indicative of synchrotron emission, with the remaining 37\% associated with photospheric emission. The classes were further examined for their progenitor origins, revealing that classes A and D demonstrate a hybrid nature, while classes B and C are predominantly associated with collapsar and merger origins, respectively. This clustering analysis reveals distinct GRB classes, shedding light on their diversity in radiation, duration and progenitor.


title: Hamiltonian regularisation of the unidimensional barotropic Euler equations

abstract: Recently, a Hamiltonian regularised shallow water (Saint-Venant) system has been introduced by Clamond and Dutykh. This system is Galilean invariant, linearly non-dispersive and conserves formally an $H^1$-like energy. In this paper, we generalise this regularisation for the barotropic Euler system preserving the same properties. We prove the local (in time) well-posedness of the regularised barotropic Euler system and a periodic generalised two-component Hunterr-Saxton system. We also show for both systems that if singularities appear in finite time, they are necessary in the first derivatives.


title: Dynamic Memory Based Adaptive Optimization

abstract: Define an optimizer as having memory $k$ if it stores $k$ dynamically changing vectors in the parameter space. Classical SGD has memory $0$, momentum SGD optimizer has $1$ and Adam optimizer has $2$. We address the following questions: How can optimizers make use of more memory units? What information should be stored in them? How to use them for the learning steps? As an approach to the last question, we introduce a general method called "Retrospective Learning Law Correction" or shortly RLLC. This method is designed to calculate a dynamically varying linear combination (called learning law) of memory units, which themselves may evolve arbitrarily. We demonstrate RLLC on optimizers whose memory units have linear update rules and small memory ($\leq 4$ memory units). Our experiments show that in a variety of standard problems, these optimizers outperform the above mentioned three classical optimizers. We conclude that RLLC is a promising framework for boosting the performance of known optimizers by adding more memory units and by making them more adaptive.


title: Countries pushing the boundaries of knowledge: the US dominance, China rise, and the EU stagnation

abstract: Knowing which countries contribute the most to pushing the boundaries of knowledge in science and technology has social and political importance. However, common citation metrics do not adequately measure this contribution. This measure requires more stringent metrics appropriate for the highly influential breakthrough papers that push the boundaries of knowledge, which are very highly cited but very rare. Here I used the recently described Rk index, specifically designed to address this issue. I applied this index to 25 countries and the EU across 10 key research topics, five technological and five biomedical, studying domestic and international collaborative papers independently. In technological topics, the Rk indices of domestic papers show that overall, the USA, China, and the EU are leaders; other countries are clearly behind. The USA is notably ahead of China, and the EU is far behind China. The same approach to biomedical topics shows an overwhelming dominance of the USA and that the EU is ahead of China. The analysis of internationally collaborative papers further demonstrates the US dominance. These results conflict with current country rankings based on less stringent indicators.


title: DEEM: Dynamic Experienced Expert Modeling for Stance Detection

abstract: Recent work has made a preliminary attempt to use large language models (LLMs) to solve the stance detection task, showing promising results. However, considering that stance detection usually requires detailed background knowledge, the vanilla reasoning method may neglect the domain knowledge to make a professional and accurate analysis. Thus, there is still room for improvement of LLMs reasoning, especially in leveraging the generation capability of LLMs to simulate specific experts (i.e., multi-agents) to detect the stance. In this paper, different from existing multi-agent works that require detailed descriptions and use fixed experts, we propose a Dynamic Experienced Expert Modeling (DEEM) method which can leverage the generated experienced experts and let LLMs reason in a semi-parametric way, making the experts more generalizable and reliable. Experimental results demonstrate that DEEM consistently achieves the best results on three standard benchmarks, outperforms methods with self-consistency reasoning, and reduces the bias of LLMs.


title: CloChat: Understanding How People Customize, Interact, and Experience Personas in Large Language Models

abstract: Large language models (LLMs) have facilitated significant strides in generating conversational agents, enabling seamless, contextually relevant dialogues across diverse topics. However, the existing LLM-driven conversational agents have fixed personalities and functionalities, limiting their adaptability to individual user needs. Creating personalized agent personas with distinct expertise or traits can address this issue. Nonetheless, we lack knowledge of how people customize and interact with agent personas. In this research, we investigated how users customize agent personas and their impact on interaction quality, diversity, and dynamics. To this end, we developed CloChat, an interface supporting easy and accurate customization of agent personas in LLMs. We conducted a study comparing how participants interact with CloChat and ChatGPT. The results indicate that participants formed emotional bonds with the customized agents, engaged in more dynamic dialogues, and showed interest in sustaining interactions. These findings contribute to design implications for future systems with conversational agents using LLMs.


title: Calibration of Deep Learning Classification Models in fNIRS

abstract: Functional near-infrared spectroscopy (fNIRS) is a valuable non-invasive tool for monitoring brain activity. The classification of fNIRS data in relation to conscious activity holds significance for advancing our understanding of the brain and facilitating the development of brain-computer interfaces (BCI). Many researchers have turned to deep learning to tackle the classification challenges inherent in fNIRS data due to its strong generalization and robustness. In the application of fNIRS, reliability is really important, and one mathematical formulation of the reliability of confidence is calibration. However, many researchers overlook the important issue of calibration. To address this gap, we propose integrating calibration into fNIRS field and assess the reliability of existing models. Surprisingly, our results indicate poor calibration performance in many proposed models. To advance calibration development in the fNIRS field, we summarize three practical tips. Through this letter, we hope to emphasize the critical role of calibration in fNIRS research and argue for enhancing the reliability of deep learning-based predictions in fNIRS classification tasks. All data from our experimental process are openly available on GitHub.


title: A Robust Defense against Adversarial Attacks on Deep Learning-based Malware Detectors via (De)Randomized Smoothing

abstract: Deep learning-based malware detectors have been shown to be susceptible to adversarial malware examples, i.e. malware examples that have been deliberately manipulated in order to avoid detection. In light of the vulnerability of deep learning detectors to subtle input file modifications, we propose a practical defense against adversarial malware examples inspired by (de)randomized smoothing. In this work, we reduce the chances of sampling adversarial content injected by malware authors by selecting correlated subsets of bytes, rather than using Gaussian noise to randomize inputs like in the Computer Vision (CV) domain. During training, our ablation-based smoothing scheme trains a base classifier to make classifications on a subset of contiguous bytes or chunk of bytes. At test time, a large number of chunks are then classified by a base classifier and the consensus among these classifications is then reported as the final prediction. We propose two strategies to determine the location of the chunks used for classification: (1) randomly selecting the locations of the chunks and (2) selecting contiguous adjacent chunks. To showcase the effectiveness of our approach, we have trained two classifiers with our chunk-based ablation schemes on the BODMAS dataset. Our findings reveal that the chunk-based smoothing classifiers exhibit greater resilience against adversarial malware examples generated with state-of-the-are evasion attacks, outperforming a non-smoothed classifier and a randomized smoothing-based classifier by a great margin.


title: MemoryPrompt: A Light Wrapper to Improve Context Tracking in Pre-trained Language Models

abstract: Transformer-based language models (LMs) track contextual information through large, hard-coded input windows. We introduce MemoryPrompt, a leaner approach in which the LM is complemented by a small auxiliary recurrent network that passes information to the LM by prefixing its regular input with a sequence of vectors, akin to soft prompts, without requiring LM finetuning. Tested on a task designed to probe a LM's ability to keep track of multiple fact updates, a MemoryPrompt-augmented LM outperforms much larger LMs that have access to the full input history. We also test MemoryPrompt on a long-distance dialogue dataset, where its performance is comparable to that of a model conditioned on the entire conversation history. In both experiments we also observe that, unlike full-finetuning approaches, MemoryPrompt does not suffer from catastrophic forgetting when adapted to new tasks, thus not disrupting the generalist capabilities of the underlying LM.


title: Composite material in the sea urchin Cidaris rugosa: ordered and disordered micron-scale bicontinuous geometries

abstract: The sponge-like biomineralised calcite materials found in echinoderm skeletons are of interest in terms of both structure formation and biological function. Despite their crystalline atomic structure, they exhibit curved interfaces that have been related to known triply-periodic minimal surfaces. Here, we investigate the endoskeleton of the sea urchin Cidaris rugosa that has long been known to form a microstructure related to the Primitive surface. Using X-ray tomography, we find that the endoskeleton is organised as a composite material consisting of domains of bicontinuous microstructures with different structural properties. We describe, for the first time, the co-occurrence of ordered Primitive and Diamond structures and of a disordered structure within a single skeletal plate. We show that these structures can be distinguished by structural properties including solid volume fraction, trabeculae width, and to a lesser extent, interface area and mean curvature. In doing so, we present a robust method that extracts interface areas and curvature integrals from voxelized datasets using the Steiner polynomial for parallel body volumes. We discuss these very large scale bicontinuous structures in the context of their function, formation, and evolution.


title: Smoothed Graph Contrastive Learning via Seamless Proximity Integration

abstract: Graph contrastive learning (GCL) aligns node representations by classifying node pairs into positives and negatives using a selection process that typically relies on establishing correspondences within two augmented graphs. The conventional GCL approaches incorporate negative samples uniformly in the contrastive loss, resulting in the equal treatment negative nodes, regardless of their proximity to the true positive. In this paper, we present a Smoothed Graph Contrastive Learning model (SGCL), which leverages the geometric structure of augmented graphs to inject proximity information associated with positive/negative pairs in the contrastive loss, thus significantly regularizing the learning process. The proposed SGCL adjusts the penalties associated with node pairs in the contrastive loss by incorporating three distinct smoothing techniques that result in proximity aware positives and negatives. To enhance scalability for large-scale graphs, the proposed framework incorporates a graph batch-generating strategy that partitions the given graphs into multiple subgraphs, facilitating efficient training in separate batches. Through extensive experimentation in the unsupervised setting on various benchmarks, particularly those of large scale, we demonstrate the superiority of our proposed framework against recent baselines.


title: Combined thermal and particle shape effects on powder spreading in additive manufacturing via discrete element simulations

abstract: The thermal and mechanical behaviors of powders are important for various additive manufacturing technologies. For powder bed fusion, capturing the temperature profile and the packing structure of the powders prior to melting is challenging due to both the various pathways of heat transfer and the complicated properties of powder system. Furthermore, these two effects can be coupled due to the temperature dependence of particle properties. This study addresses this challenge using a discrete element model that simulates non-spherical particles with thermal properties in powder spreading. Thermal conduction and radiation are introduced to a multi-sphere particle formulation for capturing the heat transfer among irregular-shaped powders, which have temperature-dependent elastic properties. The model is utilized to simulate the spreading of pre-heated PA12 powder through a hot substrate representing the part under manufacturing. Differences in the temperature profiles were found in the spreading cases with different particle shapes, spreading speed, and temperature dependence of the elastic moduli. The temperature of particles below the spreading blade is found to be dependent on the kinematics of the heap of particles in front, which eventually is influenced by the temperature-dependent properties of the particles.


title: EMIFF: Enhanced Multi-scale Image Feature Fusion for Vehicle-Infrastructure Cooperative 3D Object Detection

abstract: In autonomous driving, cooperative perception makes use of multi-view cameras from both vehicles and infrastructure, providing a global vantage point with rich semantic context of road conditions beyond a single vehicle viewpoint. Currently, two major challenges persist in vehicle-infrastructure cooperative 3D (VIC3D) object detection: $1)$ inherent pose errors when fusing multi-view images, caused by time asynchrony across cameras; $2)$ information loss in transmission process resulted from limited communication bandwidth. To address these issues, we propose a novel camera-based 3D detection framework for VIC3D task, Enhanced Multi-scale Image Feature Fusion (EMIFF). To fully exploit holistic perspectives from both vehicles and infrastructure, we propose Multi-scale Cross Attention (MCA) and Camera-aware Channel Masking (CCM) modules to enhance infrastructure and vehicle features at scale, spatial, and channel levels to correct the pose error introduced by camera asynchrony. We also introduce a Feature Compression (FC) module with channel and spatial compression blocks for transmission efficiency. Experiments show that EMIFF achieves SOTA on DAIR-V2X-C datasets, significantly outperforming previous early-fusion and late-fusion methods with comparable transmission costs.


title: Optimized Deployment of Deep Neural Networks for Visual Pose Estimation on Nano-drones

abstract: Miniaturized autonomous unmanned aerial vehicles (UAVs) are gaining popularity due to their small size, enabling new tasks such as indoor navigation or people monitoring. Nonetheless, their size and simple electronics pose severe challenges in implementing advanced onboard intelligence. This work proposes a new automatic optimization pipeline for visual pose estimation tasks using Deep Neural Networks (DNNs). The pipeline leverages two different Neural Architecture Search (NAS) algorithms to pursue a vast complexity-driven exploration in the DNNs' architectural space. The obtained networks are then deployed on an off-the-shelf nano-drone equipped with a parallel ultra-low power System-on-Chip leveraging a set of novel software kernels for the efficient fused execution of critical DNN layer sequences. Our results improve the state-of-the-art reducing inference latency by up to 3.22x at iso-error.


title: Classification Under Strategic Self-Selection

abstract: When users stand to gain from certain predictions, they are prone to act strategically to obtain favorable predictive outcomes. Whereas most works on strategic classification consider user actions that manifest as feature modifications, we study a novel setting in which users decide -- in response to the learned classifier -- whether to at all participate (or not). For learning approaches of increasing strategic awareness, we study the effects of self-selection on learning, and the implications of learning on the composition of the self-selected population. We then propose a differentiable framework for learning under self-selective behavior, which can be optimized effectively. We conclude with experiments on real data and simulated behavior that both complement our analysis and demonstrate the utility of our approach.


title: Simulation Studies for the First Pathfinder of the CATCH Space Mission

abstract: The Chasing All Transients Constellation Hunters (CATCH) space mission is an intelligent constellation consisting of 126 micro-satellites in three types (A, B, and C), designed for X-ray observation with the objective of studying the dynamic universe. Currently, we are actively developing the first Pathfinder (CATCH-1) for the CATCH mission, specifically for type-A satellites. CATCH-1 is equipped with Micro Pore Optics (MPO) and a 4-pixel Silicon Drift Detector (SDD) array. To assess its scientific performance, including the effective area of the optical system, on-orbit background, and telescope sensitivity, we employ the Monte Carlo software Geant4 for simulation in this study. The MPO optics exhibit an effective area of $41$ cm$^2$ at the focal spot for 1 keV X-rays, while the entire telescope system achieves an effective area of $29$ cm$^2$ at 1 keV when taking into account the SDD detector's detection efficiency. The primary contribution to the background is found to be from the Cosmic X-ray Background. Assuming a 625 km orbit with an inclination of $29^\circ$, the total background for CATCH-1 is estimated to be $8.13\times10^{-2}$ counts s$^{-1}$ in the energy range of 0.5--4 keV. Based on the background within the central detector and assuming a Crab-like source spectrum, the estimated ideal sensitivity could achieve $1.9\times10^{-12}$ erg cm$^{-2}$ s$^{-1}$ for an exposure of 10$^4$ s in the energy band of 0.5--4 keV. Furthermore, after simulating the background caused by low-energy charged particles near the geomagnetic equator, we have determined that there is no need to install a magnetic deflector.


title: CFIR: Fast and Effective Long-Text To Image Retrieval for Large Corpora

abstract: Text-to-image retrieval aims to find the relevant images based on a text query, which is important in various use-cases, such as digital libraries, e-commerce, and multimedia databases. Although Multimodal Large Language Models (MLLMs) demonstrate state-of-the-art performance, they exhibit limitations in handling large-scale, diverse, and ambiguous real-world needs of retrieval, due to the computation cost and the injective embeddings they produce. This paper presents a two-stage Coarse-to-Fine Index-shared Retrieval (CFIR) framework, designed for fast and effective large-scale long-text to image retrieval. The first stage, Entity-based Ranking (ER), adapts to long-text query ambiguity by employing a multiple-queries-to-multiple-targets paradigm, facilitating candidate filtering for the next stage. The second stage, Summary-based Re-ranking (SR), refines these rankings using summarized queries. We also propose a specialized Decoupling-BEiT-3 encoder, optimized for handling ambiguous user needs and both stages, which also enhances computational efficiency through vector-based similarity inference. Evaluation on the AToMiC dataset reveals that CFIR surpasses existing MLLMs by up to 11.06% in Recall@1000, while reducing training and retrieval times by 68.75% and 99.79%, respectively. We will release our code to facilitate future research at https://github.com/longkukuhi/CFIR.


title: Trustworthy confidential virtual machines for the masses

abstract: Confidential computing alleviates the concerns of distrustful customers by removing the cloud provider from their trusted computing base and resolves their disincentive to migrate their workloads to the cloud. This is facilitated by new hardware extensions, like AMD's SEV Secure Nested Paging (SEV-SNP), which can run a whole virtual machine with confidentiality and integrity protection against a potentially malicious hypervisor owned by an untrusted cloud provider. However, the assurance of such protection to either the service providers deploying sensitive workloads or the end-users passing sensitive data to services requires sending proof to the interested parties. Service providers can retrieve such proof by performing remote attestation while end-users have typically no means to acquire this proof or validate its correctness and therefore have to rely on the trustworthiness of the service providers. In this paper, we present Revelio, an approach that features two main contributions: i) it allows confidential virtual machine (VM)-based workloads to be designed and deployed in a way that disallows any tampering even by the service providers and ii) it empowers users to easily validate their integrity. In particular, we focus on web-facing workloads, protect them leveraging SEV-SNP, and enable end-users to remotely attest them seamlessly each time a new web session is established. To highlight the benefits of Revelio, we discuss how a standalone stateful VM that hosts an open-source collaboration office suite can be secured and present a replicated protocol proxy that enables commodity users to securely access the Internet Computer, a decentralized blockchain infrastructure.


title: Economic and Financial Learning with Artificial Intelligence: A Mixed-Methods Study on ChatGPT

abstract: In the evolving landscape of digital education, chatbots have emerged as potential game-changers, promising personalized and adaptive learning experiences. This research undertook an in-depth exploration of ChatGPT's potential as an educational tool, focusing on user perceptions, experiences and learning outcomes. Through a mixed-methods approach, a diverse group of 102 participants engaged with ChatGPT, providing insights pre- and postinteraction. The study reveals a notable positive shift in perceptions after exposure, underscoring the efficacy of ChatGPT. However, challenges such as prompting effectiveness and information accuracy emerged as pivotal concerns. Introducing the concept of 'AI-learning-competence', this study lays the groundwork for future research, emphasizing the need for formal training and pedagogical integration of AI tools.


title: Small positive values and limit theorems for supercritical branching processes with immigration in random environment

abstract: Let $(Z_n)$ be a supercritical branching process with immigration in a random environment. The small positive values and some lower deviation inequalities for $Z$ are investigated. Based on these results, the central limit theorem of $\log Z_n$ and the Edgeworth expansion are obtained. The study is taken under the assumption that each individual produces $0$ offspring with a positive probability.


title: Whose Projection Postulate?

abstract: The projection postulate is a description of the effect on a quantum system, assumed to be in a pure state, of a measurement of an observable with a discrete spectrum, in nonrelativistic quantum mechanics. It is often called "von Neumann's projection postulate" or "the L\"uders rule". This paper is an examination of the versions of this postulate due to Dirac, von Neumann and L\"uders. It is shown that Dirac, in 1930, proposed what is now generally known as the projection postulate. Von Neumann, in 1932, gave a different theory which only applies in special and rather unusual cases. L\"uders, in 1951, rejected this theory and presented one which is the same as Dirac's. Treatments of observables with continuous spectra by both Dirac and von Neumann are criticised, and the possibility of a generalised version of the projection postulate for this case is considered. The paper concludes with a discussion of the status of the projection postulate (in its various forms) as a separate postulate (independent of the other postulates of quantum mechanics) and as a separate form of time development (in addition to the time-dependent Schr\"odinger equation).


title: Neural Implicit Swept Volume Models for Fast Collision Detection

abstract: Collision detection is one of the most time-consuming operations during motion planning. Thus, there is an increasing interest in exploring machine learning techniques to speed up collision detection and sampling-based motion planning. A recent line of research focuses on utilizing neural signed distance functions of either the robot geometry or the swept volume of the robot motion. Building on this, we present a novel neural implicit swept volume model to continuously represent arbitrary motions parameterized by their start and goal configurations. This allows to quickly compute signed distances for any point in the task space to the robot motion. Further, we present an algorithm combining the speed of the deep learning-based signed distance computations with the strong accuracy guarantees of geometric collision checkers. We validate our approach in simulated and real-world robotic experiments, and demonstrate that it is able to speed up a commercial bin picking application.


title: Dimension Independent Disentanglers from Unentanglement and Applications

abstract: Quantum entanglement is a key enabling ingredient in diverse applications. However, the presence of unwanted adversarial entanglement also poses challenges in many applications. In this paper, we explore methods to "break" quantum entanglement. Specifically, we construct a dimension-independent k-partite disentangler (like) channel from bipartite unentangled input. We show: For every $d,\ell\ge k$, there is an efficient channel $\Lambda: \mathbb{C}^{d\ell} \otimes \mathbb{C}^{d\ell} \to \mathbb{C}^{dk}$ such that for every bipartite separable state $\rho_1\otimes \rho_2$, the output $\Lambda(\rho_1\otimes\rho_2)$ is close to a k-partite separable state. Concretely, for some distribution $\mu$ on states from $\mathbb{C}^d$, $$ \left\|\Lambda(\rho_1 \otimes \rho_2) - \int | \psi \rangle \langle \psi |^{\otimes k} d\mu(\psi)\right\|_1 \le \tilde O \left(\left(\frac{k^{3}}{\ell}\right)^{1/4}\right). $$ Moreover, $\Lambda(| \psi \rangle \langle \psi |^{\otimes \ell}\otimes | \psi \rangle \langle \psi |^{\otimes \ell}) = | \psi \rangle \langle \psi |^{\otimes k}$. Without the bipartite unentanglement assumption, the above bound is conjectured to be impossible. Leveraging our disentanglers, we show that unentangled quantum proofs of almost general real amplitudes capture NEXP, greatly relaxing the nonnegative amplitudes assumption in the recent work of QMA^+(2)=NEXP. Specifically, our findings show that to capture NEXP, it suffices to have unentangled proofs of the form $| \psi \rangle = \sqrt{a} | \psi_+ \rangle + \sqrt{1-a} | \psi_- \rangle$ where $| \psi_+ \rangle$ has non-negative amplitudes, $| \psi_- \rangle$ only has negative amplitudes and $| a-(1-a) | \ge 1/poly(n)$ with $a \in [0,1]$. Additionally, we present a protocol achieving an almost largest possible gap before obtaining QMA^R(k)=NEXP$, namely, a 1/poly(n) additive improvement to the gap results in this equality.


title: When in Doubt, Think Slow: Iterative Reasoning with Latent Imagination

abstract: In an unfamiliar setting, a model-based reinforcement learning agent can be limited by the accuracy of its world model. In this work, we present a novel, training-free approach to improving the performance of such agents separately from planning and learning. We do so by applying iterative inference at decision-time, to fine-tune the inferred agent states based on the coherence of future state representations. Our approach achieves a consistent improvement in both reconstruction accuracy and task performance when applied to visual 3D navigation tasks. We go on to show that considering more future states further improves the performance of the agent in partially-observable environments, but not in a fully-observable one. Finally, we demonstrate that agents with less training pre-evaluation benefit most from our approach.


title: Spatiotemporal Observer Design for Predictive Learning of High-Dimensional Data

abstract: Although deep learning-based methods have shown great success in spatiotemporal predictive learning, the framework of those models is designed mainly by intuition. How to make spatiotemporal forecasting with theoretical guarantees is still a challenging issue. In this work, we tackle this problem by applying domain knowledge from the dynamical system to the framework design of deep learning models. An observer theory-guided deep learning architecture, called Spatiotemporal Observer, is designed for predictive learning of high dimensional data. The characteristics of the proposed framework are twofold: firstly, it provides the generalization error bound and convergence guarantee for spatiotemporal prediction; secondly, dynamical regularization is introduced to enable the model to learn system dynamics better during training. Further experimental results show that this framework could capture the spatiotemporal dynamics and make accurate predictions in both one-step-ahead and multi-step-ahead forecasting scenarios.


title: Generative Modelling with Tensor Train approximations of Hamilton--Jacobi--Bellman equations

abstract: Sampling from probability densities is a common challenge in fields such as Uncertainty Quantification (UQ) and Generative Modelling (GM). In GM in particular, the use of reverse-time diffusion processes depending on the log-densities of Ornstein-Uhlenbeck forward processes are a popular sampling tool. In Berner et al. [2022] the authors point out that these log-densities can be obtained by solution of a \textit{Hamilton-Jacobi-Bellman} (HJB) equation known from stochastic optimal control. While this HJB equation is usually treated with indirect methods such as policy iteration and unsupervised training of black-box architectures like Neural Networks, we propose instead to solve the HJB equation by direct time integration, using compressed polynomials represented in the Tensor Train (TT) format for spatial discretization. Crucially, this method is sample-free, agnostic to normalization constants and can avoid the curse of dimensionality due to the TT compression. We provide a complete derivation of the HJB equation's action on Tensor Train polynomials and demonstrate the performance of the proposed time-step-, rank- and degree-adaptive integration method on a nonlinear sampling task in 20 dimensions.


title: E(n)-Equivariant Cartesian Tensor Passing Potential

abstract: Machine learning potential (MLP) has been a popular topic in recent years for its potential to replace expensive first-principles calculations in some large systems. Meanwhile, message passing networks have gained significant attention due to their remarkable accuracy, and a wave of message passing networks based on Cartesian coordinates has emerged. However, the information of the node in these models is limited to scalars, vectors, and tensors. In this work, we proposed High-order Tensor Passing Potential (HotPP), an E(n) equivariant message passing neural network that extends the node embedding and message to an arbitrary order tensor. By performing some basic equivariant operations, high order tensors can be coupled very simply and thus the model can make direct predictions of high-order tensors such as dipole moments and polarizabilities without any modifications. Compared to high order tensor models based on spherical vectors, this network is simpler and can achieve comparable accuracy with much fewer parameters. The tests in several datasets demonstrate HotPP is a promising new approach that warrants further investigation.


title: Fractional phase jumps in stochastic systems with tilted periodic double-well potentials

abstract: We present a theoretical investigation of the stochastic dynamics of a damped particle in a tilted periodic potential with a double well per period. By applying the matrix continued fraction technique to the Fokker-Planck equation in conjunction with the full counting statistics and master equation approaches, we determine the rates of specific processes contributing to the system's overall dynamics. At low temperatures, the system can exhibit one running state and two distinct locked metastable states. We focus primarily on two aspects: the dynamics of phase jumps, which are rare thermally induced particle jumps over potential maxima, and their impact on the overall velocity noise; and the retrapping process, involving the transition from the running to the locked metastable states. We demonstrate the existence of fractional (in units of $2\pi$) phase slips that differ qualitatively from conventional $2\pi$ jumps observed in single-well systems. Fractional phase slips significantly influence the system dynamics even in regimes dominated by dichotomous-like switching between running and locked states. Furthermore, we introduce a simple master equation approach that proves effective in analyzing various stages of the retrapping process. Interestingly, our analysis shows that even for a system featuring a well-developed double-well periodic potential, there exists a broad parameter range where the stochastic dynamics can be accurately described by an effective single-well periodic model. The techniques introduced here allow for valuable insights into the complex behavior of the system, offering avenues for understanding and controlling its steady-state and transient dynamics, which go beyond or can be complementary to direct stochastic simulations.


title: Real-Time FPGA Demonstrator of ANN-Based Equalization for Optical Communications

abstract: In this work, we present a high-throughput field programmable gate array (FPGA) demonstrator of an artificial neural network (ANN)-based equalizer. The equalization is performed and illustrated in real-time for a 30 GBd, two-level pulse amplitude modulation (PAM2) optical communication system.


title: Let's Rectify Step by Step: Improving Aspect-based Sentiment Analysis with Diffusion Models

abstract: Aspect-Based Sentiment Analysis (ABSA) stands as a crucial task in predicting the sentiment polarity associated with identified aspects within text. However, a notable challenge in ABSA lies in precisely determining the aspects' boundaries (start and end indices), especially for long ones, due to users' colloquial expressions. We propose DiffusionABSA, a novel diffusion model tailored for ABSA, which extracts the aspects progressively step by step. Particularly, DiffusionABSA gradually adds noise to the aspect terms in the training process, subsequently learning a denoising process that progressively restores these terms in a reverse manner. To estimate the boundaries, we design a denoising neural network enhanced by a syntax-aware temporal attention mechanism to chronologically capture the interplay between aspects and surrounding text. Empirical evaluations conducted on eight benchmark datasets underscore the compelling advantages offered by DiffusionABSA when compared against robust baseline models. Our code is publicly available at https://github.com/Qlb6x/DiffusionABSA.


title: Appendix for Linear Dynamics-embedded Neural Network for Long-Sequence Modeling

abstract: This appendix provides all necessary materials for the paper 'Linear Dynamics-embedded Neural Network for Long-Sequence Modeling', including model details, experimental configurations, and PyTorch implementation.


title: Variation in whispering gallery mode of resonance in a trapped and levitated liquid micro cavity

abstract: Whispering gallery mode (WGM) of resonance occurs when a traveling wave faces grazing reflection and confinement at the inner surface of a spherical cavity. Such a resonance was observed with micrometer sized liquid droplet and with light of sub-micron wavelength. The resonance occurs when specific boundary conditions are fulfilled, following a relation between optical path length (that is related to radius of the droplet) and resonating wavelength. Therefore, a change in WGM wavelength will be related to dimension of the droplet. We observed a shift in such a resonance spectra. For a smaller droplet the observed blue shift in the WGM were 1.5, 0.7, 3.7 nm. Following the resonance condition, it was estimated that such a shift corresponds to a reduction in radius of the droplet by 1.3, 0.6, 3.3 nm respectively. This was obtained with a droplet of radius about 600 nm. The droplet was created from a solution of glycerol, methanol and rhodamine 6G dye, and was trapped and levitated in a modified Paul trap. The WGMs were created by optically exciting the dye material from an external 532 nm cw laser beam. A shift in the WGM was observed with time, during a gradual increase in power of the excitation laser, and a reason for such a shift was thought to be thermal evaporation of the liquid from the droplet. For a larger droplet an initial 0.1 nm thermal expansion was also estimated because initially a red-shift of the WGM was observed, probably because of thermal expansion, which was negligible for a smaller droplet. For the smaller droplet, the estimated rate of change of WGM with radius, was 1.129. For larger droplet, this rate is lower.


title: adjustedCurves: Estimating Confounder-Adjusted Survival Curves in R

abstract: Kaplan-Meier curves stratified by treatment allocation are the most popular way to depict causal effects in studies with right-censored time-to-event endpoints. If the treatment is randomly assigned and the sample size of the study is adequate, this method produces unbiased estimates of the population-averaged counterfactual survival curves. However, in the presence of confounding, this is no longer the case. Instead, specific methods that allow adjustment for confounding must be used. We present the adjustedCurves R package, which can be used to estimate and plot these confounder-adjusted survival curves using a variety of methods from the literature. It provides a convenient wrapper around existing R packages on the topic and adds additional methods and functionality on top of it, uniting the sometimes vastly different methods under one consistent framework. Among the additional features are the estimation of confidence intervals, confounder-adjusted restricted mean survival times and confounder-adjusted survival time quantiles. After giving a brief overview of the implemented methods, we illustrate the package using publicly available data from an observational study including 2982 breast cancer.


title: SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs

abstract: Zero-knowledge proofs (ZKPs) have evolved from being a theoretical concept providing privacy and verifiability to having practical, real-world implementations, with SNARKs (Succinct Non-Interactive Argument of Knowledge) emerging as one of the most significant innovations. Prior work has mainly focused on designing more efficient SNARK systems and providing security proofs for them. Many think of SNARKs as "just math," implying that what is proven to be correct and secure is correct in practice. In contrast, this paper focuses on assessing end-to-end security properties of real-life SNARK implementations. We start by building foundations with a system model and by establishing threat models and defining adversarial roles for systems that use SNARKs. Our study encompasses an extensive analysis of 141 actual vulnerabilities in SNARK implementations, providing a detailed taxonomy to aid developers and security researchers in understanding the security threats in systems employing SNARKs. Finally, we evaluate existing defense mechanisms and offer recommendations for enhancing the security of SNARK-based systems, paving the way for more robust and reliable implementations in the future.


title: A Survey of Music Generation in the Context of Interaction

abstract: In recent years, machine learning, and in particular generative adversarial neural networks (GANs) and attention-based neural networks (transformers), have been successfully used to compose and generate music, both melodies and polyphonic pieces. Current research focuses foremost on style replication (eg. generating a Bach-style chorale) or style transfer (eg. classical to jazz) based on large amounts of recorded or transcribed music, which in turn also allows for fairly straight-forward "performance" evaluation. However, most of these models are not suitable for human-machine co-creation through live interaction, neither is clear, how such models and resulting creations would be evaluated. This article presents a thorough review of music representation, feature analysis, heuristic algorithms, statistical and parametric modelling, and human and automatic evaluation measures, along with a discussion of which approaches and models seem most suitable for live interaction.


title: Vibronics of multi-material nanopillared membranes and impact on the thermal conductivity

abstract: Atomic motion in nanopillars standing on the surface of a silicon membrane generates vibrons, which are wavenumber-independent phonons that act as local resonances. These vibrons couple with heat-carrying phonons traveling along the base membrane causing a reduction in the in-plane lattice thermal conductivity. In this work, we examine isolated silicon and gallium nitride nanopillars and for each compare the vibrons density of states (DOS) to those of phonons in an isolated uniform silicon membrane. We show that while the phonon-vibron DOS conformity across the full spectrum is a key factor in reducing the thermal conductivity of the assembled nanostructure, the presence of an intense vibron population at more dominant low frequencies plays a competing role. We report predictions from molecular dynamics simulations showing lower thermal conductivities for a silicon membrane with gallium-nitride nanopillars compared to a silicon membrane with silicon nanopillars.


title: Polaritonic Chemistry Enabled by Non-Local Metasurfaces

abstract: Vibrational strong coupling can modify chemical reaction pathways in unconventional ways. Thus far, Fabry-Perot cavities formed by pairs of facing mirrors have been mostly utilized to achieve vibrational strong coupling. In this study, we demonstrate the application of plasmonic microparticle arrays defining non-local metasurfaces that can sustain surface lattice resonances as a novel tool to enable chemical reactions under vibrational strong coupling. We show that the solvolysis kinetics of \textit{para}-nitrophenyl acetate can be accelerated by a factor of 2.7 by strong coupling to the carbonyl bond of the solvent and the solute with a surface lattice resonance. Our work introduces a new platform to investigate and control polaritonic chemical reactions. In contrast to Fabry-Perot cavities, metasurfaces define open optical cavities with single surfaces, which removes alignment hurdles, facilitating polaritonic chemistry across large areas.


title: Semi-supervised Counting via Pixel-by-pixel Density Distribution Modelling

abstract: This paper focuses on semi-supervised crowd counting, where only a small portion of the training data are labeled. We formulate the pixel-wise density value to regress as a probability distribution, instead of a single deterministic value. On this basis, we propose a semi-supervised crowd-counting model. Firstly, we design a pixel-wise distribution matching loss to measure the differences in the pixel-wise density distributions between the prediction and the ground truth; Secondly, we enhance the transformer decoder by using density tokens to specialize the forwards of decoders w.r.t. different density intervals; Thirdly, we design the interleaving consistency self-supervised learning mechanism to learn from unlabeled data efficiently. Extensive experiments on four datasets are performed to show that our method clearly outperforms the competitors by a large margin under various labeled ratio settings. Code will be released at https://github.com/LoraLinH/Semi-supervised-Counting-via-Pixel-by-pixel-Density-Distribution-Modelling.


title: Restoring Adiabatic State Transfer in Time-Modulated Non-Hermitian Systems

abstract: Non-Hermitian systems have attracted much interest in recent decades, driven partly by the existence of exotic spectral singularities, known as exceptional points (EPs), where the dimensionality of the system evolution operator is reduced. Among various intriguing applications, the discovery of EPs has suggested the potential for implementing a symmetric mode switch, when encircling them in a system parameter space. However, subsequent theoretical and experimental works have revealed that {\it dynamical} encirclement of EPs invariably results in asymmetric mode conversion; namely, the mode switching depends only on the winding direction but not on the initial state. This chirality arises from the failure of adiabaticity due to the complex spectrum of non-Hermitian systems. Although the chirality revealed has undoubtedly made a significant impact in the field, a realization of the originally sought symmetric adiabatic passage in non-Hermitian systems with EPs has since been elusive. In this work, we bridge this gap and theoretically demonstrate that adiabaticity, and therefore a symmetric state transfer, is achievable when dynamically winding around an EP. This becomes feasible by specifically choosing a trajectory in the system parameter space along which the corresponding evolution operator attains a real spectrum. Our findings, thus, offer a promise for advancing various wave manipulation protocols in both quantum and classical domains.


title: Structure prediction of stable sodium germanides at 0 and 10 GPa

abstract: In this work we used $\textit{ab-initio}$ random structure searching (AIRSS) to carry out a systematic search for crystalline Na-Ge materials at both 0 and 10 GPa. The high-throughput structural relaxations were accelerated using a machine-learned interatomic potential (MLIP) fit to density-functional theory (DFT) reference data, allowing $\sim$1.5 million structures to be relaxed. At ambient conditions we predict three new Zintl phases, Na$_3$Ge$_2$, Na$_2$Ge and Na$_9$Ge$_4$, to be stable and a number of Ge-rich layered structures to lie in close proximity to the convex hull. The known Na$_\delta$Ge$_{34}$ clathrate and Na$_4$Ge$_{13}$ host-guest structures are found to be relatively stabilized at higher temperature by vibrational contributions to the free energy. Overall, the low energy phases exhibit exceptional structural diversity, with the expected mixture of covalent and ionic bonding confirmed using the electron-localisation function (ELF). The local Ge structural motifs present at each composition were determined using Smooth Overlap of Atomic Positions (SOAP) descriptors and the Ge-K edge was simulated for representatives of each motif, providing a direct link to experimental x-ray absorption spectroscopy (XAS). Two Ge-rich phases are predicted to be stable at 10 GPa; NaGe$_3$ and NaGe$_2$ have simple kagome and simple hexagonal Ge lattices respectively with Na contained in the pores. NaGe$_3$ is isostructural with the MgB$_3$ and MgSi$_3$ family of kagome superconductors and remains dynamically stable at 0 GPa. Removing the Na from NaGe$_2$ results in the hexagonal lonsdalite Ge allotrope, which has a direct band gap.


title: Seeing is Believing: Mitigating Hallucination in Large Vision-Language Models via CLIP-Guided Decoding

abstract: Large Vision-Language Models (LVLMs) are susceptible to object hallucinations, an issue in which their generated text contains non-existent objects, greatly limiting their reliability and practicality. Current approaches often rely on the model's token likelihoods or other internal information, instruction tuning on additional datasets, or incorporating complex external tools. We first perform empirical analysis on sentence-level LVLM hallucination, finding that CLIP similarity to the image acts as a stronger and more robust indicator of hallucination compared to token likelihoods. Motivated by this, we introduce our CLIP-Guided Decoding (CGD) approach, a straightforward but effective training-free approach to reduce object hallucination at decoding time. CGD uses CLIP to guide the model's decoding process by enhancing visual grounding of generated text with the image. Experiments demonstrate that CGD effectively mitigates object hallucination across multiple LVLM families while preserving the utility of text generation. Codes are available at https://github.com/d-ailin/CLIP-Guided-Decoding.


title: Causal Graph Discovery with Retrieval-Augmented Generation based Large Language Models

abstract: Causal graph recovery is traditionally done using statistical estimation-based methods or based on individual's knowledge about variables of interests. They often suffer from data collection biases and limitations of individuals' knowledge. The advance of large language models (LLMs) provides opportunities to address these problems. We propose a novel method that leverages LLMs to deduce causal relationships in general causal graph recovery tasks. This method leverages knowledge compressed in LLMs and knowledge LLMs extracted from scientific publication database as well as experiment data about factors of interest to achieve this goal. Our method gives a prompting strategy to extract associational relationships among those factors and a mechanism to perform causality verification for these associations. Comparing to other LLM-based methods that directly instruct LLMs to do the highly complex causal reasoning, our method shows clear advantage on causal graph quality on benchmark datasets. More importantly, as causality among some factors may change as new research results emerge, our method show sensitivity to new evidence in the literature and can provide useful information for updating causal graphs accordingly.


title: How (un)ethical are instruction-centric responses of LLMs? Unveiling the vulnerabilities of safety guardrails to harmful queries

abstract: In this study, we tackle a growing concern around the safety and ethical use of large language models (LLMs). Despite their potential, these models can be tricked into producing harmful or unethical content through various sophisticated methods, including 'jailbreaking' techniques and targeted manipulation. Our work zeroes in on a specific issue: to what extent LLMs can be led astray by asking them to generate responses that are instruction-centric such as a pseudocode, a program or a software snippet as opposed to vanilla text. To investigate this question, we introduce TechHazardQA, a dataset containing complex queries which should be answered in both text and instruction-centric formats (e.g., pseudocodes), aimed at identifying triggers for unethical responses. We query a series of LLMs -- Llama-2-13b, Llama-2-7b, Mistral-V2 and Mistral 8X7B -- and ask them to generate both text and instruction-centric responses. For evaluation we report the harmfulness score metric as well as judgements from GPT-4 and humans. Overall, we observe that asking LLMs to produce instruction-centric responses enhances the unethical response generation by ~2-38% across the models. As an additional objective, we investigate the impact of model editing using the ROME technique, which further increases the propensity for generating undesirable content. In particular, asking edited LLMs to generate instruction-centric responses further increases the unethical response generation by ~3-16% across the different models.


title: Analytic pseudo-rotations II: a principle for spheres, disks and annuli

abstract: We construct analytic surface symplectomorphisms with unstable elliptic fixed points; this solves a problem of Birkhoff (1927). More precisely, we construct analytic symplectomorphisms of the sphere and of the disk which are transitive, with respectively only 2 and 1 periodic points. This also solves problems of proposed by Herman (1998), Fayad-Katok (2004) and Fayad-Krikorian (2018). To establish these results, we introduce a principle that enables to realize, by an analytic symplectomorphism, properties which are $C^0$-realizable by the approximation by conjugacy method of Anosov-Katok.


title: Assessing the Impact of Nuclear Mass Models on the Prediction of Synthesis Cross Sections for Superheavy Elements

abstract: Within the framework of the dinuclear system model, this study delves into the impact of various nuclear mass models on evaluating the fusion probability of superheavy nuclei. Nuclear mass models, as crucial inputs to the DNS model, exhibit slight variations in binding energy, quadrupole deformation, and extrapolation ability; these subtle differences can significantly influence the model's outcomes. Specifically, the study finds that nuclear mass plays a pivotal role in determining fusion probability, and Q-value. By numerically solving a set of master equations, the study examines how binding energies from different mass models affect the fusion probability of colliding nuclei, taking the example of $^{48}$Ca + $^{243}$Am $\rightarrow$ $^{291}$Mc. A careful analysis of the potential energy surface (PES) reveals that the inner fusion barriers lead to variations in fusion probabilities. Importantly, the study demonstrates that the synthesis cross sections of superheavy nuclei calculated using different nuclear mass models align well with experimental data, falling within an error range of one order of magnitude. This finding underscores the reliability of our model predictions. Looking ahead, the study utilizes five distinct nuclear mass models to predict the synthesis cross sections of superheavy elements 119 and 120, along with their associated uncertainties. These predictions offer valuable insights into the feasibility of synthesizing these elusive elements and pave the way for future experimental explorations.


title: Ubiquitous short-range order in multi-principal element alloys

abstract: Recent research in multi-principal element alloys (MPEAs) has increasingly focused on the exploration and exploitation of short-range order (SRO) to enhance material performance. However, the understanding of SRO formation and the precise tuning of it within MPEAs remains poorly understood, limiting the comprehension of its impact on material properties and impeding the advancement of SRO engineering. Here, leveraging advanced additive manufacturing techniques that produce samples with a wide range of cooling rates (up to 10^7 K/s) and an improved quantitative electron microscopy method, we characterize SRO in three CoCrNi-based MPEAs to unravel the role of processing route and thermal history on SRO. Surprisingly, irrespective of the processing and thermal treatment applied, all samples exhibit similar levels of SRO, suggesting that prevalent SRO may form during the solidification process. Atomistic simulations of solidification verify that local chemical ordering arises in the liquid-solid interface (solidification front) even under the extreme cooling rate of 10^11 K/s. This phenomenon stems from the swift atomic diffusion in the supercooled liquid, which matches or even surpasses the rate of solidification. Therefore, SRO is an inherent characteristic of most MPEAs, insensitive to variations in cooling rates and annealing treatments typically available in experiments. Integrating thermal treatment with other strategies, such as mechanical deformation and irradiation, might be more effective approaches for harnessing SRO to achieve controlled material properties.


title: Physical properties of hyperluminous, dust-obscured quasars at $z \sim 3$: multiwavelength Spectral Energy Distribution analysis and cold gas content revealed by ALMA

abstract: We present a UV to millimeter spectral energy distribution (SED) analysis of 16 hyperluminous, dust-obscured quasars at z $\sim$ 3, selected by the \textit{Wide-field Infrared Survey Explorer}. We aim to investigate the physical properties of these quasars, with a focus on their molecular gas content. We decompose the SEDs into three components: stellar, cold dust, and active galactic nucleus (AGN). By doing so, we are able to derive and analyze the relevant properties of each component. We determine the molecular gas mass from CO line emission based on Atacama Large Millimeter/submillimeter Array (ALMA) observations. By including ALMA observations in the multiwavelength SED analysis, we derive the molecular gas fractions, gas depletion timescales, and star formation efficiencies (SFEs). Their sample median and 16th-84th quartile ranges are $f_{\rm gas}\,\sim\,0.33_{-0.17}^{+0.33}$, $t_{\rm depl}\,\sim$ 39$_{-28}^{+85}$ Myr, SFE $\sim\,$ 297$_{-195}^{+659}$ $\rm K\,\rm km\,\rm s^{-1}\,\rm pc^{-2}$. Compared to main-sequence galaxies, they have a lower molecular gas content and higher SFEs, similar to quasars in the literature. This suggests that the gas in these quasars is rapidly depleted, likely as the result of intense starburst activity and AGN feedback. The observed correlations between these properties and the AGN luminosities further support this scenario. Additionally, we infer the black hole to stellar mass ratio and black hole mass growth rate, which indicate a significant central black hole mass assembly over short timescales. Our results are consistent with the scenario that our sample represents a short transition phase toward unobscured quasars.


title: Representing Online Handwriting for Recognition in Large Vision-Language Models

abstract: The adoption of tablets with touchscreens and styluses is increasing, and a key feature is converting handwriting to text, enabling search, indexing, and AI assistance. Meanwhile, vision-language models (VLMs) are now the go-to solution for image understanding, thanks to both their state-of-the-art performance across a variety of tasks and the simplicity of a unified approach to training, fine-tuning, and inference. While VLMs obtain high performance on image-based tasks, they perform poorly on handwriting recognition when applied naively, i.e., by rendering handwriting as an image and performing optical character recognition (OCR). In this paper, we study online handwriting recognition with VLMs, going beyond naive OCR. We propose a novel tokenized representation of digital ink (online handwriting) that includes both a time-ordered sequence of strokes as text, and as image. We show that this representation yields results comparable to or better than state-of-the-art online handwriting recognizers. Wide applicability is shown through results with two different VLM families, on multiple public datasets. Our approach can be applied to off-the-shelf VLMs, does not require any changes in their architecture, and can be used in both fine-tuning and parameter-efficient tuning. We perform a detailed ablation study to identify the key elements of the proposed representation.


title: Curve fitting on a quantum annealer for an advanced navigation method

abstract: We explore the applicability of quantum annealing to the approximation task of curve fitting. To this end, we consider a function that shall approximate a given set of data points and is written as a finite linear combination of standardized functions, e.g., orthogonal polynomials. Consequently, the decision variables subject to optimization are the coefficients of that expansion. Although this task can be accomplished classically, it can also be formulated as a quadratic unconstrained binary optimization problem, which is suited to be solved with quantum annealing. Given the size of the problem stays below a certain threshold, we find that quantum annealing yields comparable results to the classical solution. Regarding a real-word use case, we discuss the problem to find an optimized speed profile for a vessel using the framework of dynamic programming and outline how the aforementioned approximation task can be put into play.


title: Counterfactual Generation with Identifiability Guarantees

abstract: Counterfactual generation lies at the core of various machine learning tasks, including image translation and controllable text generation. This generation process usually requires the identification of the disentangled latent representations, such as content and style, that underlie the observed data. However, it becomes more challenging when faced with a scarcity of paired data and labeling information. Existing disentangled methods crucially rely on oversimplified assumptions, such as assuming independent content and style variables, to identify the latent variables, even though such assumptions may not hold for complex data distributions. For instance, food reviews tend to involve words like tasty, whereas movie reviews commonly contain words such as thrilling for the same positive sentiment. This problem is exacerbated when data are sampled from multiple domains since the dependence between content and style may vary significantly over domains. In this work, we tackle the domain-varying dependence between the content and the style variables inherent in the counterfactual generation task. We provide identification guarantees for such latent-variable models by leveraging the relative sparsity of the influences from different latent variables. Our theoretical insights enable the development of a doMain AdapTive counTerfactual gEneration model, called (MATTE). Our theoretically grounded framework achieves state-of-the-art performance in unsupervised style transfer tasks, where neither paired data nor style labels are utilized, across four large-scale datasets. Code is available at https://github.com/hanqi-qi/Matte.git


title: Zero-dimensional affine Deligne--Lusztig varieties

abstract: In this paper, we study the affine Deligne--Lusztig variety $X(\mu,b)_K$ and classify all quadruples $(\mathbf{G}, \mu, b, K)$ with $\dim X(\mu, b)_K=0$. This question was first asked by Rapoport in 2005, who also made an explicit conjecture in the hyperspecial level. We prove that $\dim X(\mu,b)_K=0$ if and only if, up to certain Hodge-Newton decomposition condition, the pair $(\mathbf{G}, \{\mu\})$ is of extended Lubin-Tate type. We also give a combinatorial description of this condition by the essential gap function on $B(\mathbf{G})$ and the $\mu$-ordinary condition for the generic Newton stratum.


title: Scaling Limit of Kuramoto Model on Random Geometric Graphs

abstract: We consider the Kuramoto model on a graph with nodes given by $n$ i.i.d. points uniformly distributed on the $d$ dimensional torus. Two nodes are declared neighbors if they are at distance less than $\epsilon$. We prove a scaling limit for this model in compact time intervals as $n\to\infty$ and $\epsilon \to 0$ such that $\epsilon^{d+2}n/\log n \to \infty$. The limiting object is given by the heat equation. On the one hand this shows that the nonlinearity given by the sine function disappears under this scaling and on the other hand, provides evidence that stable equilibria of the Kuramoto model on these graphs are, as $n\to\infty$, in correspondence with those of the heat equation, which are explicit and given by twisted states. In view of this, we conjecture the existence of twisted stable equilibria with high probability as $n\to \infty$.


title: Stability of viscous three-dimensional stratified Couette flow via dispersion and mixing

abstract: This article explores the stability of stratified Couette flow in the viscous $3d$ Boussinesq equations. In this system, mixing effects arise from the shearing background, and gravity acts as a restoring force leading to dispersive internal gravity waves. These mechanisms are of fundamentally different nature and relevant in complementary dynamical regimes. Our study combines them to establish a bound for the nonlinear transition threshold, which is quantitatively larger than the inverse Reynolds number $\nu$, and increases with stronger stratification resp. gravity.


title: ArabianGPT: Native Arabic GPT-based Large Language Model

abstract: The predominance of English and Latin-based large language models (LLMs) has led to a notable deficit in native Arabic LLMs. This discrepancy is accentuated by the prevalent inclusion of English tokens in existing Arabic models, detracting from their efficacy in processing native Arabic's intricate morphology and syntax. Consequently, there is a theoretical and practical imperative for developing LLMs predominantly focused on Arabic linguistic elements. To address this gap, this paper proposes ArabianGPT, a series of transformer-based models within the ArabianLLM suite designed explicitly for Arabic. These models, including ArabianGPT-0.1B and ArabianGPT-0.3B, vary in size and complexity, aligning with the nuanced linguistic characteristics of Arabic. The AraNizer tokenizer, integral to these models, addresses the unique morphological aspects of Arabic script, ensuring more accurate text processing. Empirical results from fine-tuning the models on tasks like sentiment analysis and summarization demonstrate significant improvements. For sentiment analysis, the fine-tuned ArabianGPT-0.1B model achieved a remarkable accuracy of 95%, a substantial increase from the base model's 56%. Similarly, in summarization tasks, fine-tuned models showed enhanced F1 scores, indicating improved precision and recall in generating concise summaries. Comparative analysis of fine-tuned ArabianGPT models against their base versions across various benchmarks reveals nuanced differences in performance, with fine-tuning positively impacting specific tasks like question answering and summarization. These findings underscore the efficacy of fine-tuning in aligning ArabianGPT models more closely with specific NLP tasks, highlighting the potential of tailored transformer architectures in advancing Arabic NLP.


title: The origin of phase separation in binary aluminosilicate glasses

abstract: The quest for hard and tough transparent oxide glasses is at the core of glass science and technology. Aluminosilicate glasses exhibiting nanoscale phase separation emerge as promising candidates for such materials. Nevertheless, proper control of the phase separation represents a daunting challenge due to its elusive origins. Here we employ large-scale molecular dynamics simulations and structural analysis to unravel the underlying mechanisms of the phase separation in aluminosilicate. The observed phase separation originates from an arrangement of SiO$_4$ and AlO$_n$ polyhedra, which manifests from the second coordination shell and extends to higher shells. This specific arrangement is driven by repulsion between the polyhedra, reaching its maximum at around 50 mol% of Al$_2$O$_3$. This behavior becomes pronounced around and below the glass transition temperature. This work sheds light on the origin of phase separation and provides a route for further exploration across other compositions to develop glasses with adapted mechanical performance.


title: On Minimal Depth in Neural Networks

abstract: A characterization of the representability of neural networks is relevant to comprehend their success in artificial intelligence. This study investigate two topics on ReLU neural network expressivity and their connection with a conjecture related to the minimum depth required for representing any continuous piecewise linear (CPWL) function. The topics are the minimal depth representation of the sum and max operations, as well as the exploration of polytope neural networks. For the sum operation, we establish a sufficient condition on the minimal depth of the operands to find the minimal depth of the operation. In contrast, regarding the max operation, a comprehensive set of examples is presented, demonstrating that no sufficient conditions, depending solely on the depth of the operands, would imply a minimal depth for the operation. The study also examine the minimal depth relationship between convex CPWL functions. On polytope neural networks, we investigate basic depth properties from Minkowski sums, convex hulls, number of vertices, faces, affine transformations, and indecomposable polytopes. More significant findings include depth characterization of polygons; identification of polytopes with an increasing number of vertices, exhibiting small depth and others with arbitrary large depth; and most notably, the minimal depth of simplices, which is strictly related to the minimal depth conjecture in ReLU networks.


title: Beyond-mean-field corrections to the blueshift of a driven-dissipative exciton-polariton condensate

abstract: In the absence of vortices or phase slips, the phase dynamics of exciton-polariton condensates was shown to map onto the Kardar-Parisi-Zhang (KPZ) equation, which describes the stochastic growth of a classical interface. This implies that the coherence of such non-equilibrium quasi-condensates decays in space and time following stretched exponentials, characterized by KPZ universal critical exponents. In this work, we focus on the time evolution of the average phase of a one-dimensional exciton-polariton condensate in the KPZ regime and determine the frequency of its evolution, which is given by the blueshift, i.e. the non-equilibrium analog of the chemical potential. We determine the stochastic corrections to the blueshift within Bogoliubov linearized theory and find that while this correction physically originates from short scale effects, and depends both on density and phase fluctuations, it can still be related to the effective large-scale KPZ parameters. Using numerical simulations of the full dynamics, we investigate the dependence of these blueshift corrections on both noise and interaction strength, and compare the results to the Bogoliubov prediction. Our finding contributes both to the close comparison between equilibrium and non-equilibrium condensates, and to the theoretical understanding of the KPZ mapping.


title: Logarithmic concavity of bimatroids

abstract: A bimatroid is a matroid-like generalization of the collection of regular minors of a matrix. In this article, we use the theory of Lorentzian polynomials to study the logarithmic concavity of natural sequences associated to bimatroids. Bimatroids can be used to characterize morphisms of matroids and this observation (originally due to Kung) allows us to prove a weak version of logarithmic concavity of the number of bases of a morphism of matroids. This is weaker than the original result by Eur and Huh; it nevertheless provides us with a new perspective on Mason's log-concavity conjecture for independent sets of matroids. We finally show that for realizable bimatroids, the regular minor polynomial is a volume polynomial. Applied to morphisms of matroids, this shows that the weak basis generating polynomial of a morphism is a volume polynomial; this confirms a conjecture of Eur--Huh for morphisms of nullity $\leq 1$ and gives an algebro-geometric explanation for Mason's log-concavity conjecture in the realizable case.


title: Mott transition for a Lieb-Liniger gas in a shallow quasiperiodic potential: Delocalization induced by disorder

abstract: Disorder or quasi-disorder is known to favor the localization in many-body Bose systems. Here in contrast, we demonstrate an anomalous delocalization effect induced by incommensurability in quasiperiodic lattices. Loading ultracold atoms in two shallow periodic lattices with equal amplitude and either equal or incommensurate spatial periods, we show the onset of a Mott transition not only in the periodic case but also in the quasiperiodic case. Upon increase of the incommensurate component of the potential we find that the Mott insulator turns into a delocalized superfluid. Our experimental results agree with quantum Monte Carlo calculations, showing anomalous delocalization induced by the interplay between the commensuration and interaction.


title: GPTVQ: The Blessing of Dimensionality for LLM Quantization

abstract: In this work we show that the size versus accuracy trade-off of neural network quantization can be significantly improved by increasing the quantization dimensionality. We propose the GPTVQ method, a new fast method for post-training vector quantization (VQ) that scales well to Large Language Models (LLMs). Our method interleaves quantization of one or more columns with updates to the remaining unquantized weights, using information from the Hessian of the per-layer output reconstruction MSE. Quantization codebooks are initialized using an efficient data-aware version of the EM algorithm. The codebooks are then updated, and further compressed by using integer quantization and SVD-based compression. GPTVQ establishes a new state-of-the art in the size vs accuracy trade-offs on a wide range of LLMs such as Llama-v2 and Mistral. Furthermore, our method is efficient: on a single H100 it takes between 3 and 11 hours to process a Llamav2-70B model, depending on quantization setting. Lastly, with on-device timings for VQ decompression on a mobile CPU we show that VQ leads to improved latency compared to using a 4-bit integer format.


title: $R_{\infty}$-property for groups commensurable to nilpotent quotients of RAAGs

abstract: Let $G$ be a group and $\varphi$ an automorphism of $G$. Two elements $x,y \in G$ are said to be $\varphi$-conjugate if there exists a third element $z \in G$ such that $z x \varphi(z)^{-1} = y$. Being $\varphi$-conjugate defines an equivalence relation on $G$. The group $G$ is said to have the $R_{\infty}$-property if all its automorphisms $\varphi$ have infinitely many $\varphi$-conjugacy classes. For finitely generated torsion-free nilpotent groups, the so-called Mal'cev completion of the group is a useful tool in studying this property. Two groups have isomorphic Mal'cev completions if and only if they are abstractly commensurable. This raises the question whether the $R_{\infty}$-property is invariant under abstract commensurability within the class of finitely generated torsion-free nilpotent groups. We show that the answer to this question is negative and provide counterexamples within a class of 2-step nilpotent groups associated to edge-weighted graphs. These groups are commensurable to 2-step nilpotent quotients of right-angled Artin groups.


title: OpenSUN3D: 1st Workshop Challenge on Open-Vocabulary 3D Scene Understanding

abstract: This report provides an overview of the challenge hosted at the OpenSUN3D Workshop on Open-Vocabulary 3D Scene Understanding held in conjunction with ICCV 2023. The goal of this workshop series is to provide a platform for exploration and discussion of open-vocabulary 3D scene understanding tasks, including but not limited to segmentation, detection and mapping. We provide an overview of the challenge hosted at the workshop, present the challenge dataset, the evaluation methodology, and brief descriptions of the winning methods. For additional details, please see https://opensun3d.github.io/index_iccv23.html.


title: Optimal Transport on the Lie Group of Roto-translations

abstract: The roto-translation group SE2 has been of active interest in image analysis due to methods that lift the image data to multi-orientation representations defined on this Lie group. This has led to impactful applications of crossing-preserving flows for image de-noising, geodesic tracking, and roto-translation equivariant deep learning. In this paper, we develop a computational framework for optimal transportation over Lie groups, with a special focus on SE2. We make several theoretical contributions (generalizable to matrix Lie groups) such as the non-optimality of group actions as transport maps, invariance and equivariance of optimal transport, and the quality of the entropic-regularized optimal transport plan using geodesic distance approximations. We develop a Sinkhorn like algorithm that can be efficiently implemented using fast and accurate distance approximations of the Lie group and GPU-friendly group convolutions. We report valuable advancements in the experiments on 1) image barycentric interpolation, 2) interpolation of planar orientation fields, and 3) Wasserstein gradient flows on SE2. We observe that our framework of lifting images to SE2 and optimal transport with left-invariant anisotropic metrics leads to equivariant transport along dominant contours and salient line structures in the image. This yields sharper and more meaningful interpolations compared to their counterparts on R^2


title: Dynamical stability of bootstrapped Newtonian stars

abstract: We investigate the dynamical stability of bootstrapped Newtonian stars following homologous adiabatic perturbations, focusing on objects of low or intermediate compactness. The results show that for stars with homogeneous densities these perturbations induce some oscillatory behaviour regardless of their compactness, density and adiabatic index, which makes them dynamically stable. In the case or polytropes with density profiles approximated by Gaussian distributions, both stable and unstable behaviours are possible. It was also shown that in the limit in which the density profile of the Gaussian density distribution flattens out, the parameter space for which the perturbations result in an oscillatory behaviour increases, which is in agreement with the case of stars with homogeneous densities.


title: Shapley Value Based Multi-Agent Reinforcement Learning: Theory, Method and Its Application to Energy Network

abstract: Multi-agent reinforcement learning is an area of rapid advancement in artificial intelligence and machine learning. One of the important questions to be answered is how to conduct credit assignment in a multi-agent system. There have been many schemes designed to conduct credit assignment by multi-agent reinforcement learning algorithms. Although these credit assignment schemes have been proved useful in improving the performance of multi-agent reinforcement learning, most of them are designed heuristically without a rigorous theoretic basis and therefore infeasible to understand how agents cooperate. In this thesis, we aim at investigating the foundation of credit assignment in multi-agent reinforcement learning via cooperative game theory. We first extend a game model called convex game and a payoff distribution scheme called Shapley value in cooperative game theory to Markov decision process, named as Markov convex game and Markov Shapley value respectively. We represent a global reward game as a Markov convex game under the grand coalition. As a result, Markov Shapley value can be reasonably used as a credit assignment scheme in the global reward game. Markov Shapley value possesses the following virtues: (i) efficiency; (ii) identifiability of dummy agents; (iii) reflecting the contribution and (iv) symmetry, which form the fair credit assignment. Based on Markov Shapley value, we propose three multi-agent reinforcement learning algorithms called SHAQ, SQDDPG and SMFPPO. Furthermore, we extend Markov convex game to partial observability to deal with the partially observable problems, named as partially observable Markov convex game. In application, we evaluate SQDDPG and SMFPPO on the real-world problem in energy networks.


title: Perturbative computations of neutron-proton scattering observables using renormalization-group invariant $\chi$EFT up to N$^3$LO

abstract: We predict neutron-proton scattering cross-sections and polarization observables up to next-to-next-to-next-to leading order in a renormalization-group invariant description of the strong nucleon-nucleon interaction. Low-energy constants are calibrated to phase shifts, sub-leading corrections are computed in distorted-wave perturbation theory, and we employ momentum-cutoff values 500 and 2500 MeV. We find a steady order-by-order convergence and realistic descriptions of scattering observables up to a laboratory scattering energy of approximately 100 MeV. We also compare perturbative and non-perturbative calculations for phase shifts and cross sections and quantify how unitarity is gradually restored at higher orders. The perturbative approach offers an important diagnostic tool for any power counting and our results suggest that the breakdown scale in chiral effective field theory might be significantly lower than estimates obtained in non-perturbative calculations.


title: Understanding Oversmoothing in Diffusion-Based GNNs From the Perspective of Operator Semigroup Theory

abstract: This paper presents a novel study of the oversmoothing issue in diffusion-based Graph Neural Networks (GNNs). Diverging from extant approaches grounded in random walk analysis or particle systems, we approach this problem through operator semigroup theory. This theoretical framework allows us to rigorously prove that oversmoothing is intrinsically linked to the ergodicity of the diffusion operator. This finding further poses a general and mild ergodicity-breaking condition, encompassing the various specific solutions previously offered, thereby presenting a more universal and theoretically grounded approach to mitigating oversmoothing in diffusion-based GNNs. Additionally, we offer a probabilistic interpretation of our theory, forging a link with prior works and broadening the theoretical horizon. Our experimental results reveal that this ergodicity-breaking term effectively mitigates oversmoothing measured by Dirichlet energy, and simultaneously enhances performance in node classification tasks.


title: Perturbations of bimetric gravity on most general spherically symmetric spacetimes

abstract: We present a formalism to study linear perturbations of bimetric gravity on any spherically symmetric background, including dynamical spacetimes. The setup is based on the Gerlach-Sengupta formalism for general relativity. Each of the two background metrics is written as a warped product between a two-dimensional Lorentzian metric and the round metric of the two-sphere. The different perturbations are then decomposed in terms of tensor spherical harmonics, which makes the two polarity (axial and polar) sectors decouple. In addition, a covariant notation on the Lorentzian manifold is used so that all expressions are valid for any coordinates. In this theory, there are seven physical propagating degrees of freedom, which, as compared to the two degrees of freedom of general relativity, makes the dynamics much more intricate. In particular, we discuss the amount of gauge and physical degrees of freedom for different polarities and multipoles. Finally, as an interesting application, we analyze static nonbidiagonal backgrounds and derive the corresponding perturbative equations.


title: Towards Principled Task Grouping for Multi-Task Learning

abstract: This paper presents a novel approach to task grouping in Multitask Learning (MTL), advancing beyond existing methods by addressing key theoretical and practical limitations. Unlike prior studies, our approach offers a more theoretically grounded method that does not rely on restrictive assumptions for constructing transfer gains. We also propose a flexible mathematical programming formulation which can accommodate a wide spectrum of resource constraints, thus enhancing its versatility. Experimental results across diverse domains, including computer vision datasets, combinatorial optimization benchmarks and time series tasks, demonstrate the superiority of our method over extensive baselines, validating its effectiveness and general applicability in MTL.


title: Iterations of the functor of naive $\mathbb A^1$-connected components of varieties

abstract: For any sheaf of sets $\mathcal F$ on $Sm/k$, it is well known that the universal $\mathbb A^1$-invariant quotient of $\mathcal F$ is given as the colimit of sheaves $\mathcal S^n(\mathcal F)$ where $\mathcal S(F)$ is the sheaf of naive $\mathbb A^1$-connected components of $\mathcal F$. We show that these infinite iterations of naive $\mathbb A^1$-connected components in the construction of universal $\mathbb A^1$-invariant quotient for a scheme are certainly required. For every $n$, we construct an $\mathbb A^1$-connected variety $X_n$ such that $\mathcal S^n(X_n)\neq \mathcal S^{n+1}(X_n)$ and $\mathcal S^{n+2}(X_n)=*$.


title: AI-powered simulation-based inference of a genuinely spatial-stochastic model of early mouse embryogenesis

abstract: Understanding how multicellular organisms reliably orchestrate cell-fate decisions is a central challenge in developmental biology. This is particularly intriguing in early mammalian development, where early cell-lineage differentiation arises from processes that initially appear cell-autonomous but later materialize reliably at the tissue level. In this study, we develop a multi-scale, spatial-stochastic simulator of mouse embryogenesis, focusing on inner-cell mass (ICM) differentiation in the blastocyst stage. Our model features biophysically realistic regulatory interactions and accounts for the innate stochasticity of the biological processes driving cell-fate decisions at the cellular scale. We advance event-driven simulation techniques to incorporate relevant tissue-scale phenomena and integrate them with Simulation-Based Inference (SBI), building on a recent AI-based parameter learning method: the Sequential Neural Posterior Estimation (SNPE) algorithm. Using this framework, we carry out a large-scale Bayesian inferential analysis and determine parameter sets that reproduce the experimentally observed system behavior. We elucidate how autocrine and paracrine feedbacks via the signaling protein FGF4 orchestrate the inherently stochastic expression of fate-specifying genes at the cellular level into reproducible ICM patterning at the tissue scale. This mechanism is remarkably independent of the system size. FGF4 not only ensures correct cell lineage ratios in the ICM, but also enhances its resilience to perturbations. Intriguingly, we find that high variability in intracellular initial conditions does not compromise, but rather can enhance the accuracy and precision of tissue-level dynamics. Our work provides a genuinely spatial-stochastic description of the biochemical processes driving ICM differentiation and the necessary conditions under which it can proceed robustly.


title: A Blockchain-Enabled Framework of UAV Coordination for Post-Disaster Networks

abstract: Emergency communication is critical but challenging after natural disasters when ground infrastructure is devastated. Unmanned aerial vehicles (UAVs) offer enormous potential for agile relief coordination in these scenarios. However, effectively leveraging UAV fleets poses additional challenges around security, privacy, and efficient collaboration across response agencies. This paper presents a robust blockchain-enabled framework to address these challenges by integrating a consortium blockchain model, smart contracts, and cryptographic techniques to securely coordinate UAV fleets for disaster response. Specifically, we make two key contributions: a consortium blockchain architecture for secure and private multi-agency coordination; and an optimized consensus protocol balancing efficiency and fault tolerance using a delegated proof of stake practical byzantine fault tolerance (DPoS-PBFT). Comprehensive simulations showcase the framework's ability to enhance transparency, automation, scalability, and cyber-attack resilience for UAV coordination in post-disaster networks.