title: Neural Likelihood Approximation for Integer Valued Time Series Data

abstract: Stochastic processes defined on integer valued state spaces are popular within the physical and biological sciences. These models are necessary for capturing the dynamics of small systems where the individual nature of the populations cannot be ignored and stochastic effects are important. The inference of the parameters of such models, from time series data, is challenging due to intractability of the likelihood. To work at all, current simulation based inference methods require the generation of realisations of the model conditional on the data, which can be both tricky to implement and computationally expensive. In this paper we instead construct a neural likelihood approximation that can be trained using unconditional simulation of the underlying model, which is much simpler. We demonstrate our method by performing inference on a number of ecological and epidemiological models, showing that we can accurately approximate the true posterior while achieving significant computational speed ups compared to current best methods.


title: Multilevel Picard algorithm for general semilinear parabolic PDEs with gradient-dependent nonlinearities

abstract: In this paper we introduce a multilevel Picard approximation algorithm for general semilinear parabolic PDEs with gradient-dependent nonlinearities whose coefficient functions do not need to be constant. We also provide a full convergence and complexity analysis of our algorithm. To obtain our main results, we consider a particular stochastic fixed-point equation (SFPE) motivated by the Feynman-Kac representation and the Bismut-Elworthy-Li formula. We show that the PDE under consideration has a unique viscosity solution which coincides with the first component of the unique solution of the stochastic fixed-point equation. Moreover, the gradient of the unique viscosity solution of the PDE exists and coincides with the second component of the unique solution of the stochastic fixed-point equation. Furthermore, we also provide a numerical example in up to $300$ dimensions to demonstrate the practical applicability of our multilevel Picard algorithm.


title: Resonant TERS of a Single-Molecule Kondo System

abstract: Single-molecule tip-enhanced Raman spectroscopy (TERS) under ultra-high vacuum (UHV) and cryogenic conditions enables exploration of the relations between the adsorption geometry, electronic state, and vibrational fingerprints of individual molecules. TERS capability of reflecting spin states in open-shell molecular configurations is yet unexplored. Here we use the tip of a scanning probe microscope to lift a perylene-3,4,9,10-tetracarboxylic dianhydride (PTCDA) molecule from a metal surface to bring it into an open-shell spin one-half anionic state. We reveal a correlation between the appearance of a Kondo resonance in the differential conductance spectroscopy and concurrent characteristic changes captured by the TERS measurements. Through a detailed investigation of various adsorbed and tip-contacted PTCDA scenarios, we infer that the Raman scattering on the suspended PTCDA is resonant with a higher excited state. Theoretical simulation of the vibrational spectra enables a precise assignment of the individual TERS peaks to high-symmetry Ag modes, including the fingerprints of the observed spin state. These findings highlight the potential of TERS in capturing complex interactions between charge, spin, and photophysical properties in nanoscale molecular systems, and suggest a pathway for designing spin-optical devices using organic molecules.


title: PGA: Personalizing Grasping Agents with Single Human-Robot Interaction

abstract: Language-Conditioned Robotic Grasping (LCRG) aims to develop robots that comprehend and grasp objects based on natural language instructions. While the ability to understand personal objects like my wallet facilitates more natural interaction with human users, current LCRG systems only allow generic language instructions, e.g., the black-colored wallet next to the laptop. To this end, we introduce a task scenario GraspMine alongside a novel dataset aimed at pinpointing and grasping personal objects given personal indicators via learning from a single human-robot interaction, rather than a large labeled dataset. Our proposed method, Personalized Grasping Agent (PGA), addresses GraspMine by leveraging the unlabeled image data of the user's environment, called Reminiscence. Specifically, PGA acquires personal object information by a user presenting a personal object with its associated indicator, followed by PGA inspecting the object by rotating it. Based on the acquired information, PGA pseudo-labels objects in the Reminiscence by our proposed label propagation algorithm. Harnessing the information acquired from the interactions and the pseudo-labeled objects in the Reminiscence, PGA adapts the object grounding model to grasp personal objects. This results in significant efficiency while previous LCRG systems rely on resource-intensive human annotations -- necessitating hundreds of labeled data to learn my wallet. Moreover, PGA outperforms baseline methods across all metrics and even shows comparable performance compared to the fully-supervised method, which learns from 9k annotated data samples. We further validate PGA's real-world applicability by employing a physical robot to execute GrsapMine. Code and data are publicly available at https://github.com/JHKim-snu/PGA.


title: Non unital generalized tracially approximated C*-algebras

abstract: Let $\Omega$ be a class of ${\rm C^*}$-algebras. In this paper, we study a class of not necessarily unital generalized tracial approximation ${\rm C^*}$-algebras, and the class of simple ${\rm C^*}$-algebras which can be generally tracially approximated by ${\rm C^*}$-algebras in $\Omega$, denoted by ${\rm gTA}\Omega$. Let $\Omega$ be a class of unital ${\rm C^*}$-algebras and let $A$ be a simple unital ${\rm C^*}$-algebra. Then $A\in {\rm gTA}\Omega$, if, and only if, $A\in {\rm WTA}\Omega$ (where ${\rm TA}\Omega$ is the class of weakly tracially approximable unital ${\rm C^*}$-algebras introduced by Elliott, Fan, and Fang).Consider the class of ${\rm C^*}$-algebras which are tracially $\mathcal{Z}$-absorbing (or are of tracial nuclear dimension at most $n$, or are $m$-almost divisible, or have the property $\rm SP$). Then $A$ is tracially $\mathcal{Z}$-absorbing (respectively, has tracial nuclear dimension at most $n$, is weakly ($n, m$)-almost divisible, has the property $\rm SP$) for any simple ${\rm C^*}$-algebra $A$ in the corresponding class of generalized tracial approximation ${\rm C^*}$-algebras.


title: Eigenvalues bifurcating from the continuum in two-dimensional potentials generating non-Hermitian gauge fields

abstract: It has been recently shown that complex two-dimensional (2D) potentials $V_\varepsilon(x,y)=V(y+\mathrm{i}\varepsilon\eta(x))$ can be used to emulate non-Hermitian matrix gauge fields in optical waveguides. Here $x$ and $y$ are the transverse coordinates, $V(y)$ and $\eta(x)$ are real functions, $\varepsilon>0$ is a small parameter, and $\mathrm{i}$ is the imaginary unit. The real potential $V(y)$ is required to have at least two discrete eigenvalues in the corresponding 1D Schr\"odinger operator. When both transverse directions are taken into account, these eigenvalues become thresholds embedded in the continuous spectrum of the 2D operator. Small nonzero $\varepsilon$ corresponds to a non-Hermitian perturbation which can result in a bifurcation of each threshold into an eigenvalue. Accurate analysis of these eigenvalues is important for understanding the behavior and stability of optical waves propagating in the artificial non-Hermitian gauge potential. Bifurcations of complex eigenvalues out of the continuum is the main object of the present study. We obtain simple asymptotic expansions in $\varepsilon$ that describe the behavior of bifurcating eigenvalues. The lowest threshold can bifurcate into a single eigenvalue, while every other threshold can bifurcate into a pair of complex eigenvalues. These bifurcations can be controlled by the Fourier transform of function $\eta(x)$ evaluated at certain isolated points of the reciprocal space. When the bifurcation does not occur, the continuous spectrum of 2D operator contains a quasi-bound-state which is characterized by a strongly localized central peak coupled to small-amplitude but nondecaying tails. The analysis is applied to the case examples of parabolic and double-well potentials $V(y)$. In the latter case, the bifurcation of complex eigenvalues can be dampened if the two wells are widely separated.


title: Commentary to Wan et al. (2014): Estimating the standard deviation from the sample size and range or quartiles

abstract: This short note proposes two additive corrections to a pair of relations published in Wan et al. in order to extend them to a small sample size condition. In particular we focus the interest on the possibility to provide an estimate to the sample standard deviation when knowing only the sample size, the range and/or the quartiles. Our results allow to explicitely compute standard deviation, for instance with software R or any spreadsheet, for any sample size grater than 2. R codes and data are publicly available.


title: Iterative PnP and its application in 3D-2D vascular image registration for robot navigation

abstract: This paper reports on a new real-time robot-centered 3D-2D vascular image alignment algorithm, which is robust to outliers and can align nonrigid shapes. Few works have managed to achieve both real-time and accurate performance for vascular intervention robots. This work bridges high-accuracy 3D-2D registration techniques and computational efficiency requirements in intervention robot applications. We categorize centerline-based vascular 3D-2D image registration problems as an iterative Perspective-n-Point (PnP) problem and propose to use the Levenberg-Marquardt solver on the Lie manifold. Then, the recently developed Reproducing Kernel Hilbert Space (RKHS) algorithm is introduced to overcome the ``big-to-small'' problem in typical robotic scenarios. Finally, an iterative reweighted least squares is applied to solve RKHS-based formulation efficiently. Experiments indicate that the proposed algorithm processes registration over 50 Hz (rigid) and 20 Hz (nonrigid) and obtains competing registration accuracy similar to other works. Results indicate that our Iterative PnP is suitable for future vascular intervention robot applications.


title: Proving a conjecture on the upper bound of semistrong chromatic indices of graphs

abstract: Let $G=(V(G), E(G))$ be a graph with maximum degree $\Delta$. For a subset $M$ of $E(G)$, we denote by $G[V(M)]$ the subgraph of $G$ induced by the endvertices of edges in $M$. We call $M$ a semistrong matching if each edge of $M$ is incident with a vertex that is of degree 1 in $G[V(M)]$. Given a positive integer $k$, a semistrong $k$-edge-coloring of $G$ is an edge coloring using at most $k$ colors in which each color class is a semistrong matching of $G$. The semistrong chromatic index of $G$, denoted by $\chi'_{ss}(G)$, is the minimum integer $k$ such that $G$ has a semistrong $k$-edge-coloring. Recently, Lu\v{z}ar, Mockov\v{c}iakov\'a and Sot\'ak conjectured that $\chi'_{ss}(G)\le \Delta^{2}-1$ for any connected graph $G$ except the complete bipartite graph $K_{\Delta,\Delta}$. In this paper, we settle this conjecture by proving that each such graph $G$ other than a cycle on $7$ vertices has a semistrong edge coloring using at most $\Delta^{2}-1$ colors.


title: Explanation-based Training with Differentiable Insertion/Deletion Metric-aware Regularizers

abstract: The quality of explanations for the predictions made by complex machine learning predictors is often measured using insertion and deletion metrics, which assess the faithfulness of the explanations, i.e., how accurately the explanations reflect the predictor's behavior. To improve the faithfulness, we propose insertion/deletion metric-aware explanation-based optimization (ID-ExpO), which optimizes differentiable predictors to improve both the insertion and deletion scores of the explanations while maintaining their predictive accuracy. Because the original insertion and deletion metrics are non-differentiable with respect to the explanations and directly unavailable for gradient-based optimization, we extend the metrics so that they are differentiable and use them to formalize insertion and deletion metric-based regularizers. Our experimental results on image and tabular datasets show that the deep neural network-based predictors that are fine-tuned using ID-ExpO enable popular post-hoc explainers to produce more faithful and easier-to-interpret explanations while maintaining high predictive accuracy. The code is available at https://github.com/yuyay/idexpo.


title: GMEM: Generalized Memory Management for Peripheral Devices

abstract: This paper presents GMEM, generalized memory management, for peripheral devices. GMEM provides OS support for centralized memory management of both CPU and devices. GMEM provides a high-level interface that decouples MMU-specific functions. Device drivers can thus attach themselves to a process's address space and let the OS take charge of their memory management. This eliminates the need for device drivers to "reinvent the wheel" and allows them to benefit from general memory optimizations integrated by GMEM. Furthermore, GMEM internally coordinates all attached devices within each virtual address space. This drastically improves user-level programmability, since programmers can use a single address space within their program, even when operating across the CPU and multiple devices. A case study on device drivers demonstrates these benefits. A GMEM-based IOMMU driver eliminates around seven hundred lines of code and obtains 54% higher network receive throughput utilizing 32% less CPU compared to the state-of-the-art. In addition, the GMEM-based driver of a simulated GPU takes less than 70 lines of code, excluding its MMU functions.


title: Probing Three-Dimensional Magnetic Fields: II -- An Interpretable Convolutional Neural Network

abstract: Observing 3D magnetic fields, including orientation and strength, within the interstellar medium is vital but notoriously difficult. However, recent advances in our understanding of anisotropic magnetohydrodynamic (MHD) turbulence demonstrate that MHD turbulence and 3D magnetic fields leave their imprints on the intensity features of spectroscopic observations. Leveraging these theoretical frameworks, we propose a novel Convolutional Neural Network (CNN) model to extract this embedded information, enabling the probe of 3D magnetic fields. This model examines not only the plane-of-the-sky magnetic field orientation ($\phi$), but also the magnetic field's inclination angle ($\gamma$) relative to the line-of-sight, and the total magnetization level (M$_A^{-1}$) of the cloud. We train the model using synthetic emission lines of $^{13}$CO (J = 1 - 0) and C$^{18}$O (J = 1 - 0), generated from 3D MHD simulations that span conditions from sub-Alfv\'enic to super-Alfv\'enic molecular clouds. Our tests confirm that the CNN model effectively reconstructs the 3D magnetic field topology and magnetization. The median uncertainties are under $5^\circ$ for both $\phi$ and $\gamma$, and less than 0.2 for M$_A$ in sub-Alfv\'enic conditions (M$_A\approx0.5$). In super-Alfv\'enic scenarios (M$_A\approx2.0$), they are under $15^\circ$ for $\phi$ and $\gamma$, and 1.5 for M$_A$. We applied this trained CNN model to the L1478 molecular cloud. Results show a strong agreement between the CNN-predicted magnetic field orientation and that derived from Planck 353 GHz polarization data. The CNN approach enabled us to construct the 3D magnetic field map for L1478, revealing a global inclination angle of $\approx76^\circ$ and a global M$_A$ of $\approx1.07$.


title: An Efficient Algorithm for Counting Cycles in QC and APM LDPC Codes

abstract: In this paper, a new method is given for counting cycles in the Tanner graph of a (Type-I) quasi-cyclic (QC) low-density parity-check (LDPC) code which the complexity mainly is dependent on the base matrix, independent from the CPM-size of the constructed code. Interestingly, for large CPM-sizes, in comparison of the existing methods, this algorithm is the first approach which efficiently counts the cycles in the Tanner graphs of QC-LDPC codes. In fact, the algorithm recursively counts the cycles in the parity-check matrix column-by-column by finding all non-isomorph tailless backtrackless closed (TBC) walks in the base graph and enumerating theoretically their corresponding cycles in the same equivalent class. Moreover, this approach can be modified in few steps to find the cycle distributions of a class of LDPC codes based on Affine permutation matrices (APM-LDPC codes). Interestingly, unlike the existing methods which count the cycles up to $2g-2$, where $g$ is the girth, the proposed algorithm can be used to enumerate the cycles of arbitrary length in the Tanner graph. Moreover, the proposed cycle searching algorithm improves upon various previously known methods, in terms of computational complexity and memory requirements.


title: DepWiGNN: A Depth-wise Graph Neural Network for Multi-hop Spatial Reasoning in Text

abstract: Spatial reasoning in text plays a crucial role in various real-world applications. Existing approaches for spatial reasoning typically infer spatial relations from pure text, which overlooks the gap between natural language and symbolic structures. Graph neural networks (GNNs) have showcased exceptional proficiency in inducing and aggregating symbolic structures. However, classical GNNs face challenges in handling multi-hop spatial reasoning due to the over-smoothing issue, i.e., the performance decreases substantially as the number of graph layers increases. To cope with these challenges, we propose a novel Depth-Wise Graph Neural Network (DepWiGNN). Specifically, we design a novel node memory scheme and aggregate the information over the depth dimension instead of the breadth dimension of the graph, which empowers the ability to collect long dependencies without stacking multiple layers. Experimental results on two challenging multi-hop spatial reasoning datasets show that DepWiGNN outperforms existing spatial reasoning methods. The comparisons with the other three GNNs further demonstrate its superiority in capturing long dependency in the graph.


title: Large Language Models Help Humans Verify Truthfulness -- Except When They Are Convincingly Wrong

abstract: Large Language Models (LLMs) are increasingly used for accessing information on the web. Their truthfulness and factuality are thus of great interest. To help users make the right decisions about the information they get, LLMs should not only provide information but also help users fact-check it. Our experiments with 80 crowdworkers compare language models with search engines (information retrieval systems) at facilitating fact-checking. We prompt LLMs to validate a given claim and provide corresponding explanations. Users reading LLM explanations are significantly more efficient than those using search engines while achieving similar accuracy. However, they over-rely on the LLMs when the explanation is wrong. To reduce over-reliance on LLMs, we ask LLMs to provide contrastive information - explain both why the claim is true and false, and then we present both sides of the explanation to users. This contrastive explanation mitigates users' over-reliance on LLMs, but cannot significantly outperform search engines. Further, showing both search engine results and LLM explanations offers no complementary benefits compared to search engines alone. Taken together, our study highlights that natural language explanations by LLMs may not be a reliable replacement for reading the retrieved passages, especially in high-stakes settings where over-relying on wrong AI explanations could lead to critical consequences.


title: Application of quantum neural network model to a multivariate regression problem

abstract: Since the introduction of the quantum neural network model, it has been widely studied due to its strong expressive power and robustness to overfitting. To date, the model has been evaluated primarily in classification tasks, but its performance in practical multivariate regression problems has not been thoroughly examined. In this study, the Auto-MPG data set (392 valid data points, excluding missing data, on fuel efficiency for various vehicles) was used to construct QNN models and investigate the effect of the size of the training data on generalization performance. The results indicate that QNN is particularly effective when the size of training data is small, suggesting that it is especially suitable for small-data problems such as those encountered in Materials Informatics.


title: Fast Model Debias with Machine Unlearning

abstract: Recent discoveries have revealed that deep neural networks might behave in a biased manner in many real-world scenarios. For instance, deep networks trained on a large-scale face recognition dataset CelebA tend to predict blonde hair for females and black hair for males. Such biases not only jeopardize the robustness of models but also perpetuate and amplify social biases, which is especially concerning for automated decision-making processes in healthcare, recruitment, etc., as they could exacerbate unfair economic and social inequalities among different groups. Existing debiasing methods suffer from high costs in bias labeling or model re-training, while also exhibiting a deficiency in terms of elucidating the origins of biases within the model. To this respect, we propose a fast model debiasing framework (FMD) which offers an efficient approach to identify, evaluate and remove biases inherent in trained models. The FMD identifies biased attributes through an explicit counterfactual concept and quantifies the influence of data samples with influence functions. Moreover, we design a machine unlearning-based strategy to efficiently and effectively remove the bias in a trained model with a small counterfactual dataset. Experiments on the Colored MNIST, CelebA, and Adult Income datasets along with experiments with large language models demonstrate that our method achieves superior or competing accuracies compared with state-of-the-art methods while attaining significantly fewer biases and requiring much less debiasing cost. Notably, our method requires only a small external dataset and updating a minimal amount of model parameters, without the requirement of access to training data that may be too large or unavailable in practice.


title: Data-assisted, physics-informed propagators for recurrent flows

abstract: A novel approach to simulate dynamic, recurrent flows with very large time steps is presented. Data-driven forecasts based on the method of analogues are made employing a set of precomputed time series segments of flow fields. These predictions are then corrected with the evolved deviation between initial flow state and its nearest neighbor in the database. The evolution of these deviations is obtained from the convolution with the propagator of the linearized Navier-Stokes equations, where linearization takes place around the most similar state in the database. The error $E_{\textrm{lin}}$ due to this approximation implies the appropriate distance function to determine nearest-neighbor fields. We tested the method on the simple case of 2D vortex shedding behind a cylinder at Reynolds numbers in the range of 200 with step sizes of up to 200 times larger than those used to generate the underlying data with the PISO algorithm. Short-term forecasts showed a high degree of accuracy with errors correlating well with $E_{\textrm{lin}}$ for a number of case variations. But also after many steps, the predicted flow fields remained in close agreement with high-fidelity CFD calculations with relative errors on the order of 1% for the temporal averages. Furthermore, excellent conservation behavior of global properties like total momentum and kinetic energy was observed.


title: Click on Mask: A Labor-efficient Annotation Framework with Level Set for Infrared Small Target Detection

abstract: Infrared Small Target Detection is a challenging task to separate small targets from infrared clutter background. Recently, deep learning paradigms have achieved promising results. However, these data-driven methods need plenty of manual annotation. Due to the small size of infrared targets, manual annotation consumes more resources and restricts the development of this field. This letter proposed a labor-efficient and cursory annotation framework with level set, which obtains a high-quality pseudo mask with only one cursory click. A variational level set formulation with an expectation difference energy functional is designed, in which the zero level contour is intrinsically maintained during the level set evolution. It solves the issue that zero level contour disappearing due to small target size and excessive regularization. Experiments on the NUAA-SIRST and IRSTD-1k datasets reveal that our approach achieves superior performance. Code is available at https://github.com/Li-Haoqing/COM.


title: Approximate information maximization for bandit games

abstract: Entropy maximization and free energy minimization are general physical principles for modeling the dynamics of various physical systems. Notable examples include modeling decision-making within the brain using the free-energy principle, optimizing the accuracy-complexity trade-off when accessing hidden variables with the information bottleneck principle (Tishby et al., 2000), and navigation in random environments using information maximization (Vergassola et al., 2007). Built on this principle, we propose a new class of bandit algorithms that maximize an approximation to the information of a key variable within the system. To this end, we develop an approximated analytical physics-based representation of an entropy to forecast the information gain of each action and greedily choose the one with the largest information gain. This method yields strong performances in classical bandit settings. Motivated by its empirical success, we prove its asymptotic optimality for the two-armed bandit problem with Gaussian rewards. Owing to its ability to encompass the system's properties in a global physical functional, this approach can be efficiently adapted to more complex bandit settings, calling for further investigation of information maximization approaches for multi-armed bandit problems.


title: Chiral Analysis of the Nucleon Mass and Sigma Commutator

abstract: Schemes for describing the light quark mass dependence of the nucleon mass calculated in lattice QCD are compared. The three schemes in consideration include a fully relativistic and Lorentz covariant scheme, one that is fully relativistic but not Lorentz covariant, and a semirelativistic scheme utilizing the heavy baryon approximation. Calculations of observables involving pseudoscalar meson loop diagrams generate nonanalytic terms proportional to square roots and logarithms of the quark mass. The three schemes all yield the correct model independent leading and next-to-leading nonanalytic terms of the chiral expansion of the baryon mass. Results for the masses of the other members of the octet are also presented. Here, low-energy coefficients of the analytic terms of the expansion for the nucleon and hyperons are constrained by lattice QCD results and are demonstrated to be independent of the renormalization scheme used. The differences in the leading coefficient of the chiral expansions are found to be consistent with strange quark counting. Using the schemes examined herein, we report results for the pion-nucleon sigma commutator based upon recent lattice results from the CLS Collaboration. We find $\sigma_{\pi N}=51.7 \pm 3.2 \pm 1.4$ MeV where the uncertainties are statistical and systematic respectively.


title: Open-World Lifelong Graph Learning

abstract: We study the problem of lifelong graph learning in an open-world scenario, where a model needs to deal with new tasks and potentially unknown classes. We utilize Out-of-Distribution (OOD) detection methods to recognize new classes and adapt existing non-graph OOD detection methods to graph data. Crucially, we suggest performing new class detection by combining OOD detection methods with information aggregated from the graph neighborhood. Most OOD detection methods avoid determining a crisp threshold for deciding whether a vertex is OOD. To tackle this problem, we propose a Weakly-supervised Relevance Feedback (Open-WRF) method, which decreases the sensitivity to thresholds in OOD detection. We evaluate our approach on six benchmark datasets. Our results show that the proposed neighborhood aggregation method for OOD scores outperforms existing methods independent of the underlying graph neural network. Furthermore, we demonstrate that our Open-WRF method is more robust to threshold selection and analyze the influence of graph neighborhood on OOD detection. The aggregation and threshold methods are compatible with arbitrary graph neural networks and OOD detection methods, making our approach versatile and applicable to many real-world applications.


title: On representations of the Lie superalgebra p(n)

abstract: We introduce a new way to study representations of the Lie superalgebra $p(n)$. Since the center of the universal enveloping algebra $U$ acts trivially on all irreducible representations, we suggest to study the quotient algebra $\bar{U}$ by the radical of $U$. We show that $\bar{U}$ has a large center which separates typical finite dimensional irreducible representations. We give a description of $\bar{U}$ factored by a generic central character. Using this description we obtain character formulae of generic (infinite-dimensional) irreducible representations. We also describe some geometric properties of the supervariety $Spec Gr \bar{U}$ in the coadjoint representation.


title: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark

abstract: Artificial intelligence (AI) systems possess significant potential to drive societal progress. However, their deployment often faces obstacles due to substantial safety concerns. Safe reinforcement learning (SafeRL) emerges as a solution to optimize policies while simultaneously adhering to multiple constraints, thereby addressing the challenge of integrating reinforcement learning in safety-critical scenarios. In this paper, we present an environment suite called Safety-Gymnasium, which encompasses safety-critical tasks in both single and multi-agent scenarios, accepting vector and vision-only input. Additionally, we offer a library of algorithms named Safe Policy Optimization (SafePO), comprising 16 state-of-the-art SafeRL algorithms. This comprehensive library can serve as a validation tool for the research community. By introducing this benchmark, we aim to facilitate the evaluation and comparison of safety performance, thus fostering the development of reinforcement learning for safer, more reliable, and responsible real-world applications. The website of this project can be accessed at https://sites.google.com/view/safety-gymnasium.


title: Julearn: an easy-to-use library for leakage-free evaluation and inspection of ML models

abstract: The fast-paced development of machine learning (ML) methods coupled with its increasing adoption in research poses challenges for researchers without extensive training in ML. In neuroscience, for example, ML can help understand brain-behavior relationships, diagnose diseases, and develop biomarkers using various data sources like magnetic resonance imaging and electroencephalography. The primary objective of ML is to build models that can make accurate predictions on unseen data. Researchers aim to prove the existence of such generalizable models by evaluating performance using techniques such as cross-validation (CV), which uses systematic subsampling to estimate the generalization performance. Choosing a CV scheme and evaluating an ML pipeline can be challenging and, if used improperly, can lead to overestimated results and incorrect interpretations. We created julearn, an open-source Python library, that allow researchers to design and evaluate complex ML pipelines without encountering in common pitfalls. In this manuscript, we present the rationale behind julearn's design, its core features, and showcase three examples of previously-published research projects that can be easily implemented using this novel library. Julearn aims to simplify the entry into the ML world by providing an easy-to-use environment with built in guards against some of the most common ML pitfalls. With its design, unique features and simple interface, it poses as a useful Python-based library for research projects.


title: The discrete flow category: structure and computation

abstract: In this article, we use concepts and methods from the theory of simplicial sets to study discrete Morse theory. We focus on the discrete flow category introduced by Vidit Nanda, and investigate its properties in the case where it is defined from a discrete Morse function on a regular CW complex. We design an algorithm to efficiently compute the Hom posets of the discrete flow category in this case. Furthermore, we show that in the special case where the discrete Morse function is defined on a simplicial complex, then each Hom poset has the structure of a face poset of a regular CW complex. Finally, we prove that the spectral sequence associated to the double nerve of the discrete flow category collapses on page 2.


title: DA-TransUNet: Integrating Spatial and Channel Dual Attention with Transformer U-Net for Medical Image Segmentation

abstract: Accurate medical image segmentation is critical for disease quantification and treatment evaluation. While traditional Unet architectures and their transformer-integrated variants excel in automated segmentation tasks. However, they lack the ability to harness the intrinsic position and channel features of image. Existing models also struggle with parameter efficiency and computational complexity, often due to the extensive use of Transformers. To address these issues, this study proposes a novel deep medical image segmentation framework, called DA-TransUNet, aiming to integrate the Transformer and dual attention block(DA-Block) into the traditional U-shaped architecture. Unlike earlier transformer-based U-net models, DA-TransUNet utilizes Transformers and DA-Block to integrate not only global and local features, but also image-specific positional and channel features, improving the performance of medical image segmentation. By incorporating a DA-Block at the embedding layer and within each skip connection layer, we substantially enhance feature extraction capabilities and improve the efficiency of the encoder-decoder structure. DA-TransUNet demonstrates superior performance in medical image segmentation tasks, consistently outperforming state-of-the-art techniques across multiple datasets. In summary, DA-TransUNet offers a significant advancement in medical image segmentation, providing an effective and powerful alternative to existing techniques. Our architecture stands out for its ability to improve segmentation accuracy, thereby advancing the field of automated medical image diagnostics. The codes and parameters of our model will be publicly available at https://github.com/SUN-1024/DA-TransUnet.


title: Quantum computing through the lens of control: A tutorial introduction

abstract: Quantum computing is a fascinating interdisciplinary research field that promises to revolutionize computing by efficiently solving previously intractable problems. Recent years have seen tremendous progress on both the experimental realization of quantum computing devices as well as the development and implementation of quantum algorithms. Yet, realizing computational advantages of quantum computers in practice remains a widely open problem due to numerous fundamental challenges. Interestingly, many of these challenges are connected to performance, robustness, scalability, optimization, or feedback, all of which are central concepts in control theory. This paper provides a tutorial introduction to quantum computing from the perspective of control theory. We introduce the mathematical framework of quantum algorithms ranging from basic elements including quantum bits and quantum gates to more advanced concepts such as variational quantum algorithms and quantum errors. The tutorial only requires basic knowledge of linear algebra and, in particular, no prior exposure to quantum physics. Our main goal is to equip readers with the mathematical basics required to understand and possibly solve (control-related) problems in quantum computing. In particular, beyond the tutorial introduction, we provide a list of research challenges in the field of quantum computing and discuss their connections to control.


title: Notes on Small Private Key Attacks on Common Prime RSA

abstract: We point out critical deficiencies in lattice-based cryptanalysis of common prime RSA presented in ``Remarks on the cryptanalysis of common prime RSA for IoT constrained low power devices'' [Information Sciences, 538 (2020) 54--68]. To rectify these flaws, we carefully scrutinize the relevant parameters involved in the analysis during solving a specific trivariate integer polynomial equation. Additionally, we offer a synthesized attack illustration of small private key attacks on common prime RSA.


title: Coupling of strain and magnetism in manganite-based complex oxide heterostructures

abstract: Complex oxide thin films and heterostructures offer a wide range of properties originating from the intrinsic coupling between lattice strain and magnetic/electronic ordering. This article reviews experimental, phenomenological, and theoretical analyses of the coupling of strain with electronic and magnetic properties of mixed valence manganite heterostructures. The influence of epitaxial strain on the magnetic properties of manganite films is measured using macroscopic magnetization measurements and shown mixed reports suggesting, both, an increase and decrease in ferromagnetic phases on the application of the strain. Using polarized neutron reflectivity (PNR), a simultaneous measurement of transport and magnetic properties of manganite thin films showed direct evidence of modification in the magnetic properties on the application of bending strain. The coupling coefficient of strain and magnetism of manganite heterostructures was estimated using PNR, which not only helped to understand the correlation of elastic strain with magnetism but also explained the condition of magnetic phase order change in the phase-separated systems within a phenomenological Ginzburg Landau theory. An overview is also provided of the current perspectives and existing studies on the influence of strain on structure, electronic, magnetic, magnetic anisotropy, phase coexistence and magnetocaloric properties of mixed valence manganite heterostructures. Based on the understanding of a diverse range of perovskite functionalities, detailed perspectives on how the coupling of strain and magnetism open up pathways toward the emergence of novel device design features including the different ways of applying uniform strain, are discussed.


title: A reproducible 3D convolutional neural network with dual attention module (3D-DAM) for Alzheimer's disease classification

abstract: Alzheimer's disease is one of the most common types of neurodegenerative disease, characterized by the accumulation of amyloid-beta plaque and tau tangles. Recently, deep learning approaches have shown promise in Alzheimer's disease diagnosis. In this study, we propose a reproducible model that utilizes a 3D convolutional neural network with a dual attention module for Alzheimer's disease classification. We trained the model in the ADNI database and verified the generalizability of our method in two independent datasets (AIBL and OASIS1). Our method achieved state-of-the-art classification performance, with an accuracy of 91.94% for MCI progression classification and 96.30% for Alzheimer's disease classification on the ADNI dataset. Furthermore, the model demonstrated good generalizability, achieving an accuracy of 86.37% on the AIBL dataset and 83.42% on the OASIS1 dataset. These results indicate that our proposed approach has competitive performance and generalizability when compared to recent studies in the field.


title: Multilingual estimation of political-party positioning: From label aggregation to long-input Transformers

abstract: Scaling analysis is a technique in computational political science that assigns a political actor (e.g. politician or party) a score on a predefined scale based on a (typically long) body of text (e.g. a parliamentary speech or an election manifesto). For example, political scientists have often used the left--right scale to systematically analyse political landscapes of different countries. NLP methods for automatic scaling analysis can find broad application provided they (i) are able to deal with long texts and (ii) work robustly across domains and languages. In this work, we implement and compare two approaches to automatic scaling analysis of political-party manifestos: label aggregation, a pipeline strategy relying on annotations of individual statements from the manifestos, and long-input-Transformer-based models, which compute scaling values directly from raw text. We carry out the analysis of the Comparative Manifestos Project dataset across 41 countries and 27 languages and find that the task can be efficiently solved by state-of-the-art models, with label aggregation producing the best results.


title: Nonlocal Sublinear Elliptic Problems Involving Measures

abstract: We study Dirichlet problems for fractional Laplace equations of the form $(-\Delta)^{\frac{\alpha}{2}} u = f(x,u)$ in $\mathbb{R}^{n}$ for $0<\alpha<n$ where the nonlinearity $f(x,u) = \sum_{i=1}^{M} \sigma_{i} u^{q_i} + \omega$ involves sublinear terms with $0<q_{i}<1$ and the coefficients $\sigma_{i}, \omega$ are nonnegative locally finite Borel measures on $\mathbb{R}^n$. We develop a potential theoretic approach for the existence of positive minimal solutions in Lorentz spaces to the problems under certain assumptions on $\sigma_{i}$ and $\omega$. The uniqueness properties of such solutions are discussed. Our techniques are also applicable to similar sublinear problems on uniform bounded domains when $0<\alpha< 2$, or on arbitrary domains with positive Green's functions in the classical case $\alpha =2$.


title: Bulk-edge correspondence for nonlinear eigenvalue problems

abstract: Although topological phenomena attract growing interest not only in linear systems but also in nonlinear systems, the bulk-edge correspondence under the nonlinearity of eigenvalues has not been established so far. We address this issue by introducing auxiliary eigenvalues. We reveal that the topological edge states of auxiliary eigenstates are topologically inherited as physical edge states when the nonlinearity is weak but finite (i.e., auxiliary eigenvalues are monotonic as for the physical one). This result leads to the bulk-edge correspondence with the nonlinearity of eigenvalues.


title: Maximal $L^{q}$-regularity for the Laplacian on manifolds with edges

abstract: We introduce an $R$-sectoriality perturbation technique for non-commuting operators defined in Bochner spaces. Based on this and on bounded $H^{\infty}$-functional calculus results for the Laplacian on manifolds with conical singularities, we show maximal $L^{q}$-regularity for the Laplacian on manifolds with edge type singularities in appropriate weighted Sobolev spaces. As an application, we consider the porous medium equation on manifolds with edges and show short time existence, uniqueness and maximal regularity for the solution. We also provide space asymptotics near the singularities in terms of the local geometry.


title: Modeling the ferroelectric phase transition in barium titanate with DFT accuracy and converged sampling

abstract: The accurate description of the structural and thermodynamic properties of ferroelectrics has been one of the most remarkable achievements of Density Functional Theory (DFT). However, running large simulation cells with DFT is computationally demanding, while simulations of small cells are often plagued with non-physical effects that are a consequence of the system's finite size. To avoid these finite-size effects one is thus often forced to use empirical models that describe the physics of the material in terms of effective interaction terms, that are fitted using the results from DFT. In this study we use a machine-learning (ML) potential trained on DFT, in combination with accelerated sampling techniques, to converge the thermodynamic properties of Barium Titanate (BTO) with first-principles accuracy and a full atomistic description. Our results indicate that the predicted Curie temperature depends strongly on the choice of DFT functional and system size, because of emergent long-range directional correlations in the local dipole fluctuations. Our findings demonstrate how the combination of ML models and traditional bottom-up modeling allow one to investigate emergent phenomena with the accuracy of first-principles calculations over the large size and time scales afforded by empirical models.


title: Pretraining Language Models with Text-Attributed Heterogeneous Graphs

abstract: In many real-world scenarios (e.g., academic networks, social platforms), different types of entities are not only associated with texts but also connected by various relationships, which can be abstracted as Text-Attributed Heterogeneous Graphs (TAHGs). Current pretraining tasks for Language Models (LMs) primarily focus on separately learning the textual information of each entity and overlook the crucial aspect of capturing topological connections among entities in TAHGs. In this paper, we present a new pretraining framework for LMs that explicitly considers the topological and heterogeneous information in TAHGs. Firstly, we define a context graph as neighborhoods of a target node within specific orders and propose a topology-aware pretraining task to predict nodes involved in the context graph by jointly optimizing an LM and an auxiliary heterogeneous graph neural network. Secondly, based on the observation that some nodes are text-rich while others have little text, we devise a text augmentation strategy to enrich textless nodes with their neighbors' texts for handling the imbalance issue. We conduct link prediction and node classification tasks on three datasets from various domains. Experimental results demonstrate the superiority of our approach over existing methods and the rationality of each design. Our code is available at https://github.com/Hope-Rita/THLM.


title: Evolutionary stability of cooperation by the leading eight norms in indirect reciprocity under noisy and private assessment

abstract: Indirect reciprocity is a mechanism that explains large-scale cooperation in human societies. In indirect reciprocity, an individual chooses whether or not to cooperate with another based on reputation information, and others evaluate the action as good or bad. Under what evaluation rule (called ``social norm'') cooperation evolves has long been of central interest in the literature. It has been reported that if individuals can share their evaluations (i.e., public reputation), social norms called ``leading eight'' can be evolutionarily stable. On the other hand, when they cannot share their evaluations (i.e., private assessment), the evolutionary stability of cooperation is still in question. To tackle this problem, we create a novel method to analyze the reputation structure in the population under private assessment. Specifically, we characterize each individual by two variables, ``goodness'' (what proportion of the population considers the individual as good) and ``self-reputation'' (whether an individual thinks of him/herself as good or bad), and analyze the stochastic process of how these two variables change over time. We discuss evolutionary stability of each of the leading eight social norms by studying the robustness against invasions of unconditional cooperators and defectors. We identify key pivots in those social norms for establishing a high level of cooperation or stable cooperation against mutants. Our finding gives an insight into how human cooperation is established in a real-world society.


title: Error analysis for empirical risk minimization over clipped ReLU networks in solving linear Kolmogorov partial differential equations

abstract: Deep learning algorithms have been successfully applied to numerically solve linear Kolmogorov partial differential equations~(PDEs). A recent research shows that if the initial functions are bounded, the empirical risk minimization (ERM) over clipped ReLU networks generalizes well for solving the linear Kolmogorov PDE. In this paper, we propose to use a truncation technique to extend the generalization results for polynomially growing initial functions. Specifically, we prove that under an assumption, the sample size required to achieve an generalization error within $\varepsilon$ with a confidence level $\varrho$ grows polynomially in the size of the clipped neural networks and $(\varepsilon^{-1},\varrho^{-1})$, which means that the curse of dimensionality is broken. Moreover, we verify that the required assumptions hold for Black-Scholes PDEs and heat equations which are two important cases of linear Kolmogorov PDEs. For the approximation error, under certain assumptions, we establish approximation results for clipped ReLU neural networks when approximating the solution of Kolmogorov PDEs. Consequently, we establish that the ERM over artificial neural networks indeed overcomes the curse of dimensionality for a larger class of linear Kolmogorov PDEs.


title: Diverse Diffusion: Enhancing Image Diversity in Text-to-Image Generation

abstract: Latent diffusion models excel at producing high-quality images from text. Yet, concerns appear about the lack of diversity in the generated imagery. To tackle this, we introduce Diverse Diffusion, a method for boosting image diversity beyond gender and ethnicity, spanning into richer realms, including color diversity.Diverse Diffusion is a general unsupervised technique that can be applied to existing text-to-image models. Our approach focuses on finding vectors in the Stable Diffusion latent space that are distant from each other. We generate multiple vectors in the latent space until we find a set of vectors that meets the desired distance requirements and the required batch size.To evaluate the effectiveness of our diversity methods, we conduct experiments examining various characteristics, including color diversity, LPIPS metric, and ethnicity/gender representation in images featuring humans.The results of our experiments emphasize the significance of diversity in generating realistic and varied images, offering valuable insights for improving text-to-image models. Through the enhancement of image diversity, our approach contributes to the creation of more inclusive and representative AI-generated art.


title: Efficient optical coupling to gallium arsenide nano-waveguides and resonators with etched conical fibers

abstract: We explore new methods for coupling light to on-chip gallium arsenide nanophotonic structures using etched conical optical fibers. With a single-sided conical fiber taper, we demonstrate efficient coupling to an on-chip photonic bus waveguide in a liquid environment. We then show that it is possible to replace such on-chip bus waveguide by two joined conical fibers in order to directly couple light into a target whispering gallery disk resonator. This latter approach proves compliant with demanding environments, such as a vibrating pulse tube cryostat operating at low temperature, and it is demonstrated both in the telecom band and in the near infrared close to 900 nm of wavelength. The versatility, stability, and high coupling efficiency of this method are promising for quantum optics and sensing experiments in constrained environments, where obtaining high signal-to-noise ratio remains a challenge.


title: Time-Aware Representation Learning for Time-Sensitive Question Answering

abstract: Time is one of the crucial factors in real-world question answering (QA) problems. However, language models have difficulty understanding the relationships between time specifiers, such as 'after' and 'before', and numbers, since existing QA datasets do not include sufficient time expressions. To address this issue, we propose a Time-Context aware Question Answering (TCQA) framework. We suggest a Time-Context dependent Span Extraction (TCSE) task, and build a time-context dependent data generation framework for model training. Moreover, we present a metric to evaluate the time awareness of the QA model using TCSE. The TCSE task consists of a question and four sentence candidates classified as correct or incorrect based on time and context. The model is trained to extract the answer span from the sentence that is both correct in time and context. The model trained with TCQA outperforms baseline models up to 8.5 of the F1-score in the TimeQA dataset. Our dataset and code are available at https://github.com/sonjbin/TCQA


title: Cortex-driven cytoplasmic flows in elongated cells: fluid mechanics and application to nuclear transport in Drosophila embryos

abstract: The Drosophila melanogaster embryo, an elongated multi-nucleated cell, is a classical model system for eukaryotic development and morphogenesis. Recent work has shown that bulk cytoplasmic flows, driven by cortical contractions along the walls of the embryo, enable the uniform spreading of nuclei along the anterior-posterior (AP) axis necessary for proper embryonic development. Here we propose two mathematical models to characterise cytoplasmic flows driven by tangential cortical contractions in elongated cells. Assuming Newtonian fluid flow at low Reynolds number in a spheroidal cell, we first compute the flow field exactly, thereby bypassing the need for numerical computations. We then apply our results to recent experiments on nuclear transport in cell cycles 4-6 of Drosophila embryo development. By fitting the cortical contractions in our model to measurements, we reveal that experimental cortical flows enable near-optimal axial spreading of nuclei. A second mathematical approach, applicable to general elongated cell geometries, exploits a long-wavelength approximation to produce an even simpler solution, with errors below 5% compared to the full model. An application of this long-wavelength result to transport leads to fully analytical solutions for the nuclear concentration that capture the essential physics of the system, including optimal axial spreading of nuclei.


title: Accurate FTIR determination of boron concentration in CVD homoepitaxial diamond layers

abstract: The intensive development of technology for fabrication semiconducting CVD diamond layers poses an important task of developing a precise and non-destructive method for estimation the boron content in thin epitaxial layers. For bulk and uniformly doped diamond samples, the infrared optical spectroscopy successfully performs such a role. Here we propose a correct method to determine the boron concentration in CVD homoepitaxial diamond layers from FTIR spectra. The method is the natural advancement of the existing technique for bulk samples. The feature of the novel technique is the accurate accounting of passing radiation through a multilayered structure with different thicknesses of absorbing media for special absorbing mechanisms. For this situation, an expression for the effective optical density is obtained. We have demonstrated the benefit of the method for a set of samples with CVD homoepitaxial layers grown on various HPHT substrates with and without nitrogen impurity. The measured FTIR spectra were subdivided into relevant sections responsible for the specific absorption mechanisms, and the correct amplitudes of the boron absorption peaks were derived. The data obtained from FTIR spectra is thoroughly compared to the charge carrier concentration derived from electrical capacitance-voltage measurements.


title: Sasakian geometry and Heisenberg groups

abstract: We prove that a compact Sasakian manifolds whose first and second basic Chern classes vanish is locally isomorphic to the real Heisenberg group equipped with the standard left invariant Sasakian structure up to deformation associated to a basic $1$-from.


title: Scaling and complexity of stress fluctuations associated with smooth and jerky flow in a FeCoNiTiAl high-entropy alloy

abstract: Recent observations of jerky flow in high-entropy alloys (HEA) revealed a high role of self-organization of dislocations in their plasticity. The present work reports first results of investigation of stress fluctuations during plastic deformation of a FeCoNiTiAl alloy, examined in a wide temperature range covering both smooth and jerky flow. These fluctuations, which accompany the overall deformation behavior representing an essentially slower stress evolution controlled by the work hardening, were processed using complementary approaches comprising the Fourier spectral analysis, the refined composite multiscale entropy, and multifractal formalisms. The joint analysis at distinct scales testified that even a macroscopically smooth plastic flow is accompanied with nonrandom fluctuations, disclosing self-organized dynamics of dislocations. Qualitative changes in such a fine-scale "noise" were found with varying temperature. The observed diversity is significant for understanding the relationships between different scales of plasticity of HEAs and crystal materials in general.


title: PrivacyGAN: robust generative image privacy

abstract: Classical techniques for protecting facial image privacy typically fall into two categories: data-poisoning methods, exemplified by Fawkes, which introduce subtle perturbations to images, or anonymization methods that generate images resembling the original only in several characteristics, such as gender, ethnicity, or facial expression.In this study, we introduce a novel approach, PrivacyGAN, that uses the power of image generation techniques, such as VQGAN and StyleGAN, to safeguard privacy while maintaining image usability, particularly for social media applications. Drawing inspiration from Fawkes, our method entails shifting the original image within the embedding space towards a decoy image.We evaluate our approach using privacy metrics on traditional and novel facial image datasets. Additionally, we propose new criteria for evaluating the robustness of privacy-protection methods against unknown image recognition techniques, and we demonstrate that our approach is effective even in unknown embedding transfer scenarios. We also provide a human evaluation that further proves that the modified image preserves its utility as it remains recognisable as an image of the same person by friends and family.


title: Electroweak phase transition with radiative symmetry breaking in Type-II seesaw with inert doublet

abstract: We consider the Type-II seesaw model extended with another Higgs doublet, which is odd under the $Z_2$ symmetry. We look for the possibility of triggering the electroweak symmetry breaking via radiative effects. The Higgs mass parameter changes sign from being positive at higher energy scales to negative at lower energy scales in the presence of the TeV scalar triplet. The Planck scale perturbativity is demanded and the electroweak phase transition is studied using two-loop $\beta$-functions. The maximum allowed values for the interaction quartic coupling of the second doublet field and the triplet field with the Higgs field are $\lambda_3=0.15$ and $\lambda_{\Phi_{1\Delta}}=0.50$, respectively. Considering these EW values, the first-order phase transition, i.e., $\phi_{+}(T_c)/T_c\sim 0.6$ is satisfied only for vanishing doublet and triplet bare mass parameters, $m_{\Phi_2}=0.0$ GeV and $m_{\Delta}=0.0$ GeV. The small non-zero induced vacuum expectation value for the scalar triplet also generates the neutrino mass, and the lightest stable neutral particle from the inert doublet satisfies the dark matter constraints for the chosen parameter space. The impact of the thermal corrections on the stability of the electroweak vacuum is also studied, and the current experimental values of the Higgs mass and the top mass lie in the stable region both at the zero temperature and the finite temperature.


title: Insight into the prospective evaluation of third-order interelectronic corrections on Li-like ions

abstract: Relying on the redefined vacuum state approach, and based on one-particle three-loop Feynman diagrams, partial third-order interelectronic corrections to the valence electron energy shift are investigated in Li-like ions. The idea is to begin with simple one-particle gauge-invariant subsets composed of Feynman diagrams and to keep track of them in the many-electron frame, which is a strong asset of the formalism. An independent derivation is undertaken with the help of perturbation theory to cross-check the expressions. This two-method scheme helps to resolve how the different terms are distributed among three- and four-electron contributions. Furthermore, it provides a tool to overcome the difficulties related to the derivation of reducible terms, which are tricky to deal with. These two independent derivations and the comparison of the resulting expressions are fully consistent, except for two expressions. In these cases, the discrepancy can be traced back to a different topology of the poles.


title: Correlation functions for the $N^*(1535)$ and the inverse problem

abstract: The $N^*(1535)$ can be dynamically generated in the chiral unitary approach with the coupled channels, $K^0 \Sigma^+, K^+ \Sigma^0, K^+ \Lambda$ and $\eta p$. In this work we evaluate the correlation functions for every channel and face the inverse problem. Assuming the correlation functions to correspond to real measurements, we conduct a fit to the data within a general framework in order to extract the information contained in these correlation functions. The bootstrap method is used to determine the uncertainties of the different observables, and we find that, assuming errors of the same order than in present measurements of correlation functions, one can determine the scattering length and effective range of all channels with a very good accuracy. Most remarkable is the fact that the method predicts the existence of a bound state of isospin $\frac{1}{2}$ nature around the mass of the $N^*(1535)$ with an accuracy of $6\; \rm MeV$. These results should encourage the actual measurement of these correlation functions (only the $K^+ \Lambda$ one is measured so far), which can shed valuable light on the relationship of the $ N^*(1535)$ state to these coupled channels, a subject of continuous debate.


title: Infection Curve Flattening via Targeted Interventions and Self-Isolation

abstract: Understanding the impact of network clustering and small-world properties on epidemic spread can be crucial in developing effective strategies for managing and controlling infectious diseases. Particularly in this work, we study the impact of these network features on targeted intervention (e.g., self-isolation and quarantine). The targeted individuals for self-isolation are based on centrality measures and node influence metrics. Compared to our previous works on scale-free networks, small-world networks are considered in this paper. Small-world networks resemble real-world social and human networks. In this type of network, most nodes are not directly connected but can be reached through a few intermediaries (known as the small-worldness property). Real social networks, such as friendship networks, also exhibit this small-worldness property, where most people are connected through a relatively small number of intermediaries. We particularly study the epidemic curve flattening by centrality-based interventions/isolation over small-world networks. Our results show that high clustering while having low small-worldness (higher shortest path characteristics) implies flatter infection curves. In reality, a flatter infection curve implies that the number of new cases of a disease is spread out over a longer period of time, rather than a sharp and sudden increase in cases (a peak in epidemic). In turn, this reduces the strain on healthcare resources and helps to relieve the healthcare services.


title: Meta-Learning With Hierarchical Models Based on Similarity of Causal Mechanisms

abstract: In this work the goal is to generalise to new data in a non-iid setting where datasets from related tasks are observed, each generated by a different causal mechanism, and the test dataset comes from the same task distribution. This setup is motivated by personalised medicine, where a patient is a task and complex diseases are heterogeneous across patients in cause and progression. The difficulty is that there usually is not enough data in one task to identify the causal mechanism, and unless the mechanisms are the same, pooling data across tasks, which meta-learning does one way or the other, may lead to worse predictors when the test setting may be uncontrollably different. In this paper we introduce to meta-learning, formulated as Bayesian hierarchical modelling, a proxy measure of similarity of the causal mechanisms of tasks, by learning a suitable embedding of the tasks from the whole data set. This embedding is used as auxiliary data for assessing which tasks should be pooled in the hierarchical model. We show that such pooling improves predictions in three health-related case studies, and by sensitivity analyses on simulated data that the method aids generalisability by utilising interventional data to identify tasks with similar causal mechanisms for pooling, even in limited data settings.


title: The moduli space of flat maximal space-like embeddings in pseudo-hyperbolic space

abstract: We study the moduli space of flat maximal space-like embeddings in $\mathbb{H}^{2,2}$ from various aspects. We first describe the associated Codazzi tensors to the embedding in the general setting, and then, we introduce a family of pseudo-K\"ahler metrics on the moduli space. We show the existence of two Hamiltonian actions with associated moment maps and use them to find a geometric global Darboux frame for any symplectic form in the above family.


title: $L^\infty$ estimate for the potential of quaternionic Gauduchon metric with prescribed volume form

abstract: Quaternionic Calabi conjecture was raised by Alesker and Verbitsky \cite{Alesker-Verbitsky (2010)}, it predicts that one can solve the quaternionic Monge-Amp\`ere equation on any compact HKT manifold. Motivated by this conjecture a quaternionic version of Gauduchon conjecture on any compact $SL(n,\H)$-manifold will be introduced, namely the existence of quaternionic Gauduchon metrics with prescribed volume form. We reformulate this question into a special case of fully nonlinear elliptic equations of second order, and the $L^{\infty}$ estimate for the potential function will be established.


title: Less is More? An Empirical Study on Configuration Issues in Python PyPI Ecosystem

abstract: Python is widely used in the open-source community, largely owing to the extensive support from diverse third-party libraries within the PyPI ecosystem. Nevertheless, the utilization of third-party libraries can potentially lead to conflicts in dependencies, prompting researchers to develop dependency conflict detectors. Moreover, endeavors have been made to automatically infer dependencies. These approaches focus on version-level checks and inference, based on the assumption that configurations of libraries in the PyPI ecosystem are correct. However, our study reveals that this assumption is not universally valid, and relying solely on version-level checks proves inadequate in ensuring compatible run-time environments. In this paper, we conduct an empirical study to comprehensively study the configuration issues in the PyPI ecosystem. Specifically, we propose PyConf, a source-level detector, for detecting potential configuration issues. PyConf employs three distinct checks, targeting the setup, packing, and usage stages of libraries, respectively. To evaluate the effectiveness of the current automatic dependency inference approaches, we build a benchmark called VLibs, comprising library releases that pass all three checks of PyConf. We identify 15 kinds of configuration issues and find that 183,864 library releases suffer from potential configuration issues. Remarkably, 68% of these issues can only be detected via the source-level check. Our experiment results show that the most advanced automatic dependency inference approach, PyEGo, can successfully infer dependencies for only 65% of library releases. The primary failures stem from dependency conflicts and the absence of required libraries in the generated configurations. Based on the empirical results, we derive six findings and draw two implications for open-source developers and future research in automatic dependency inference.


title: On Feature Importance and Interpretability of Speaker Representations

abstract: Unsupervised speech disentanglement aims at separating fast varying from slowly varying components of a speech signal. In this contribution, we take a closer look at the embedding vector representing the slowly varying signal components, commonly named the speaker embedding vector. We ask, which properties of a speaker's voice are captured and investigate to which extent do individual embedding vector components sign responsible for them, using the concept of Shapley values. Our findings show that certain speaker-specific acoustic-phonetic properties can be fairly well predicted from the speaker embedding, while the investigated more abstract voice quality features cannot.


title: FUSC: Fetal Ultrasound Semantic Clustering of Second Trimester Scans Using Deep Self-supervised Learning

abstract: Ultrasound is the primary imaging modality in clinical practice during pregnancy. More than 140M fetuses are born yearly, resulting in numerous scans. The availability of a large volume of fetal ultrasound scans presents the opportunity to train robust machine learning models. However, the abundance of scans also has its challenges, as manual labeling of each image is needed for supervised methods. Labeling is typically labor-intensive and requires expertise to annotate the images accurately. This study presents an unsupervised approach for automatically clustering ultrasound images into a large range of fetal views, reducing or eliminating the need for manual labeling. Our Fetal Ultrasound Semantic Clustering (FUSC) method is developed using a large dataset of 88,063 images and further evaluated on an additional unseen dataset of 8,187 images achieving over 92% clustering purity. The result of our investigation hold the potential to significantly impact the field of fetal ultrasound imaging and pave the way for more advanced automated labeling solutions. Finally, we make the code and the experimental setup publicly available to help advance the field.


title: Statistical Mechanics Approach to the Holographic Renormalization Group: Bethe Lattice Ising Model and p-adic AdS/CFT

abstract: The Bethe lattice Ising model -- a classical model of statistical mechanics for the phase transition -- provides a novel and intuitive understanding of the prototypical relationship between tensor networks and Anti-de Sitter (AdS)/conformal field theory (CFT) correspondence. After analytically formulating a holographic renormalization group for the Bethe lattice model, we demonstrate the underlying mechanism and the exact scaling dimensions for the power-law decay of boundary spin correlations by introducing the relation between the lattice network and an effective Poincare metric on a unit disk. We compare the Bethe lattice model in the high-temperature region with a scalar field in AdS$_2$, and then discuss its more direct connection to the p-adic AdS/CFT. In addition, we find that the phase transition in the interior induces a crossover behavior of boundary spin correlations, depending on the depth of the corresponding correlation path.


title: Tranlation-invariant Gibbs measures for the Hard-Core model with a countable set of spin values

abstract: In this paper, we study the Hard Core (HC) model with a countable set $\mathbb Z$ of spin values on a Cayley tree of order $k=2$. This model is defined by a countable set of parameters (that is, the activity function $\lambda_i>0$, $i\in \mathbb Z$). A functional equation is obtained that provides the consistency condition for finite-dimensional Gibbs distributions. Analyzing this equation, the following results are obtained: Let $k\geq 2$ and $\Lambda=\sum_i\lambda_i$. For $\Lambda=+\infty$ there is no translation-invariant Gibbs measure (TIGM); Let $k=2$ and $\Lambda<+\infty$. For the model under constraint such that at $G$-admissible graph the loops are imposed at two vertices of the graph, the uniqueness of TIGM is proved; Let $k=2$ and $\Lambda<+\infty$. For the model under constraint such that at $G$-admissible graph the loops are imposed at three vertices of the graph, the uniqueness and non-uniqueness conditions of TIGMs are found.


title: Coherence of a field-gradient-driven singlet-triplet qubit coupled to many-electron spin states in 28Si/SiGe

abstract: Engineered spin-electric coupling enables spin qubits in semiconductor nanostructures to be manipulated efficiently and addressed individually. While synthetic spin-orbit coupling using a micromagnet is widely used for driving qubits based on single spins in silicon, corresponding demonstration for encoded spin qubits is so far limited to natural silicon. Here, we demonstrate fast singlet-triplet qubit oscillation (~100 MHz) in a gate-defined double quantum dot in $^{28}$Si/SiGe with an on-chip micromagnet with which we show the oscillation quality factor of an encoded spin qubit exceeding 580. The coherence time $\textit{T}_{2}$* is analyzed as a function of potential detuning and an external magnetic field. In weak magnetic fields, the coherence is limited by fast noise compared to the data acquisition time, which limits $\textit{T}_{2}$* < 1 ${\mu}$s in the ergodic limit. We present evidence of sizable and coherent coupling of the qubit with the spin states of a nearby quantum dot, demonstrating that appropriate spin-electric coupling may enable a charge-based two-qubit gate in a (1,1) charge configuration.


title: Bochner-Riesz mean for the twisted Laplacian in $\mathbb R^2$

abstract: We study the Bochner-Riesz problem for the twisted Laplacian $\mathcal L$ on $\mathbb R^2$. For $p\in [1, \infty]\setminus\{2\}$, it has been conjectured that the Bochner-Riesz means $S_\lambda^\delta(\mathcal L) f$ of order $\delta$ converges in $L^p$ for every $f\in L^p$ if and only if $\delta> \max(0,|(p-2)/p|-1/2)$. We prove the conjecture by obtaining uniform $L^p$ bounds on $S_\lambda^\delta(\mathcal L)$ up to the sharp summability indices.


title: Accurate Coarse Residual for Two-Level Asynchronous Domain Decomposition Methods

abstract: Recently, asynchronous coarse-space correction has been achieved within both the overlapping Schwarz and the primal Schur frameworks. Both additive and multiplicative corrections have been discussed. In this paper, we address some implementation drawbacks of the proposed additive correction scheme. In the existing approach, each coarse solution is applied only once, leaving most of the iterations of the solver without coarse-space information while building the right-hand side of the coarse problem. Moreover, one-sided routines of the Message Passing Interface (MPI) standard were considered, which introduced the need for a sleep statement in the iterations loop of the coarse solver. This implies a tuning of the sleep period, which is a non-discrete quantity. In this paper, we improve the accuracy of the coarse right-hand side, which allowed for more frequent corrections. In addition, we highlight a two-sided implementation which better suits the asynchronous coarse-space correction scheme. Numerical experiments show a significant performance gain with such increased incorporation of the coarse space.


title: Benefits from Islanding Green Hydrogen Production

abstract: In wind- and solar-dominated energy systems it has been assumed that there are synergies between producing electricity and electrolytic hydrogen since electrolysis can use excess electricity that would otherwise be curtailed. However, it remains unclear whether these synergies hold true at higher levels of hydrogen demand and how they compare with benefits of off-grid, islanded hydrogen production, such as better renewable resources and cost savings on electronics due to relaxed power quality standards. Using a mathematical model across two geographical locations for Germany, Spain, Australia, and Great Britain, we explore trade-offs and synergies between integrated and islanded electrolysers. Below a certain threshold, between 5% and 40% hydrogen share depending on the country, integrated electrolysers offer synergies in flexibility and reduced curtailment. Above these thresholds, islanded electrolysers become more favourable. Without cost advantages, systems including islanded electrolysers in Germany achieve up to 21% lower hydrogen costs than systems with only integrated electrolysers. With 25% island cost advantage, this benefit rises to 40% lower hydrogen costs. Our study identifies three investment regimes with country-specific transition points that vary based on island cost advantages and each country's renewable resources. Based on our results we provide guidelines for countries considering how to deploy electrolysers.


title: Moment Generating Stirling Numbers of the first kind and Applications

abstract: In this paper we introduce and investigate moment generating Stirling numbers of the first kind, "`MSN1"'. They are inverses of MSN2's, which make the representation of the moments for a lot of statistical distributions in closed formulas possible. Both MSN1's and MSN2's are related to the r-Stirling numbers, and extend their properties to any real third parameter. If the third parameter is a nonnegative integer, r-Stirling numbers can be converted to MSN's and vice versa.


title: Pheromone trapping for control of Asian citrus psyllid, Diaphorina citri Kuwayama (Hemiptera: Liviidae)

abstract: We study the impact of pheromone control against the Asian citrus psyllid, Diaphorina citri, a principal vector of diseases in citrus cultures. The model is expressed as a piecewise smooth ODE system, and its long-term behavior is analyzed. In particular, through qualitative analysis and applying an open-loop control approach, we identify the threshold in terms of two external parameters related to the pheromone traps, the amount of pheromones to be released and the male-killing rate, to ensure local elimination of the wild psyllid population. We also show that a feedback control with periodic assessments of the wild population sizes is applicable and then deduce that a mixed-type control, combining the open- and closed-loop control approaches, provides the best results. We present several simulations to illustrate our theoretical findings and to estimate the minimal amount of pheromones and time needed to reach the local elimination of wild psyllids. Finally, we discuss possible implementations of our results as a part of Integrated Pest Management programs.


title: Denoising Heat-inspired Diffusion with Insulators for Collision Free Motion Planning

abstract: Diffusion models have risen as a powerful tool in robotics due to their flexibility and multi-modality. While some of these methods effectively address complex problems, they often depend heavily on inference-time obstacle detection and require additional equipment. Addressing these challenges, we present a method that, during inference time, simultaneously generates only reachable goals and plans motions that avoid obstacles, all from a single visual input. Central to our approach is the novel use of a collision-avoiding diffusion kernel for training. Through evaluations against behavior-cloning and classical diffusion models, our framework has proven its robustness. It is particularly effective in multi-modal environments, navigating toward goals and avoiding unreachable ones blocked by obstacles, while ensuring collision avoidance. Project Website: https://sites.google.com/view/denoising-heat-inspired


title: Fracton gauge fields from higher-dimensional gravity

abstract: We show that the fractonic dipole-conserving algebra can be obtained as an Aristotelian (and pseudo-Carrollian) contraction of the Poincar\'e algebra in one dimension higher. Such contraction allows to obtain fracton electrodynamics from a relativistic higher-dimensional theory upon dimensional reduction. The contraction procedure produces several scenarios including the some of the theories already discussed in the literature. A curved space generalization is given, which is gauge invariant when the Riemann tensor of the background geometry is harmonic.


title: Identifying and Adapting Transformer-Components Responsible for Gender Bias in an English Language Model

abstract: Language models (LMs) exhibit and amplify many types of undesirable biases learned from the training data, including gender bias. However, we lack tools for effectively and efficiently changing this behavior without hurting general language modeling performance. In this paper, we study three methods for identifying causal relations between LM components and particular output: causal mediation analysis, automated circuit discovery and our novel, efficient method called DiffMask+ based on differential masking. We apply the methods to GPT-2 small and the problem of gender bias, and use the discovered sets of components to perform parameter-efficient fine-tuning for bias mitigation. Our results show significant overlap in the identified components (despite huge differences in the computational requirements of the methods) as well as success in mitigating gender bias, with less damage to general language modeling compared to full model fine-tuning. However, our work also underscores the difficulty of defining and measuring bias, and the sensitivity of causal discovery procedures to dataset choice. We hope our work can contribute to more attention for dataset development, and lead to more effective mitigation strategies for other types of bias.


title: How a student becomes a teacher: learning and forgetting through Spectral methods

abstract: In theoretical ML, the teacher-student paradigm is often employed as an effective metaphor for real-life tuition. The above scheme proves particularly relevant when the student network is overparameterized as compared to the teacher network. Under these operating conditions, it is tempting to speculate that the student ability to handle the given task could be eventually stored in a sub-portion of the whole network. This latter should be to some extent reminiscent of the frozen teacher structure, according to suitable metrics, while being approximately invariant across different architectures of the student candidate network. Unfortunately, state-of-the-art conventional learning techniques could not help in identifying the existence of such an invariant subnetwork, due to the inherent degree of non-convexity that characterizes the examined problem. In this work, we take a leap forward by proposing a radically different optimization scheme which builds on a spectral representation of the linear transfer of information between layers. The gradient is hence calculated with respect to both eigenvalues and eigenvectors with negligible increase in terms of computational and complexity load, as compared to standard training algorithms. Working in this framework, we could isolate a stable student substructure, that mirrors the true complexity of the teacher in terms of computing neurons, path distribution and topological attributes. When pruning unimportant nodes of the trained student, as follows a ranking that reflects the optimized eigenvalues, no degradation in the recorded performance is seen above a threshold that corresponds to the effective teacher size. The observed behavior can be pictured as a genuine second-order phase transition that bears universality traits.


title: Efficient Normalization of Linear Temporal Logic

abstract: In the mid 80s, Lichtenstein, Pnueli, and Zuck proved a classical theorem stating that every formula of Past LTL (the extension of LTL with past operators) is equivalent to a formula of the form $\bigwedge_{i=1}^n \mathbf{G}\mathbf{F}\, \varphi_i \vee \mathbf{F}\mathbf{G}\, \psi_i $, where $\varphi_i$ and $\psi_i$ contain only past operators. Some years later, Chang, Manna, and Pnueli built on this result to derive a similar normal form for LTL. Both normalization procedures have a non-elementary worst-case blow-up, and follow an involved path from formulas to counter-free automata to star-free regular expressions and back to formulas. We improve on both points. We present direct and purely syntactic normalization procedures for LTL, yielding a normal form very similar to the one by Chang, Manna, and Pnueli, that exhibit only a single exponential blow-up. As an application, we derive a simple algorithm to translate LTL into deterministic Rabin automata. The algorithm normalizes the formula, translates it into a special very weak alternating automaton, and applies a simple determinization procedure, valid only for these special automata.


title: A search for $\mu^+\to e^+\gamma$ with the first dataset of the MEG II experiment

abstract: The MEG II experiment, based at the Paul Scherrer Institut in Switzerland, reports the result of a search for the decay $\mu^+\to e^+\gamma$ from data taken in the first physics run in 2021. No excess of events over the expected background is observed, yielding an upper limit on the branching ratio of B($\mu^+\to e^+\gamma$) < $7.5 \times 10^{-13}$ (90% C.L.). The combination of this result and the limit obtained by MEG gives B($\mu^+\to e^+\gamma$) < $3.1 \times 10^{-13}$ (90% C.L.), which is the most stringent limit to date. A ten-fold larger sample of data is being collected during the years 2022-2023, and data-taking will continue in the coming years.


title: Network Abstractions for Characterizing Communication Requirements in Asynchronous Distributed Systems

abstract: Whereas distributed computing research has been very successful in exploring the solvability/impossibility border of distributed computing problems like consensus in representative classes of computing models with respect to model parameters like failure bounds, this is not the case for characterizing necessary and sufficient communication requirements. In this paper, we introduce network abstractions as a novel approach for modeling communication requirements in asynchronous distributed systems. A network abstraction of a run is a sequence of directed graphs on the set of processes, where the $i$-th graph specifies some ``potential'' message chains that can be guaranteed to arise in the $i$-th portion of the run. Formally, they are defined via associating message sending times with the end-to-end delays that would arise if the message was indeed sent by the sender's protocol. Network abstractions also allow to reason about future causal cones that might arise in a run, hence also facilitate reasoning about liveness properties, and are inherently compatible with temporal epistemic reasoning frameworks. We demonstrate the utility of our approach by providing necessary and sufficient network abstractions for solving the canonical firing rebels with relay (FRR) problem, and variants thereof, in asynchronous message-passing systems with up to $f$ byzantine processes connected via point-to-point links. FRR is not only a basic primitive in clock synchronization and consensus algorithms, but also integrates several distributed computing problems, namely triggering events, agreement and even stabilizing agreement, in a single problem instance.


title: Cross-attention Spatio-temporal Context Transformer for Semantic Segmentation of Historical Maps

abstract: Historical maps provide useful spatio-temporal information on the Earth's surface before modern earth observation techniques came into being. To extract information from maps, neural networks, which gain wide popularity in recent years, have replaced hand-crafted map processing methods and tedious manual labor. However, aleatoric uncertainty, known as data-dependent uncertainty, inherent in the drawing/scanning/fading defects of the original map sheets and inadequate contexts when cropping maps into small tiles considering the memory limits of the training process, challenges the model to make correct predictions. As aleatoric uncertainty cannot be reduced even with more training data collected, we argue that complementary spatio-temporal contexts can be helpful. To achieve this, we propose a U-Net-based network that fuses spatio-temporal features with cross-attention transformers (U-SpaTem), aggregating information at a larger spatial range as well as through a temporal sequence of images. Our model achieves a better performance than other state-or-art models that use either temporal or spatial contexts. Compared with pure vision transformers, our model is more lightweight and effective. To the best of our knowledge, leveraging both spatial and temporal contexts have been rarely explored before in the segmentation task. Even though our application is on segmenting historical maps, we believe that the method can be transferred into other fields with similar problems like temporal sequences of satellite images. Our code is freely accessible at https://github.com/chenyizi086/wu.2023.sigspatial.git.


title: Spectral stability of V2 centres in sub-micron 4H-SiC membranes

abstract: Colour centres in silicon carbide emerge as a promising semiconductor quantum technology platform with excellent spin-optical coherences.However, recent efforts towards maximising the photonic efficiency via integration into nanophotonic structures proved to be challenging due to reduced spectral stabilities. Here, we provide a large-scale systematic investigation on silicon vacancy centres in thin silicon carbide membranes with thicknesses down to $0.25\,\rm\mu m$. Our membrane fabrication process involves a combination of chemical mechanical polishing, reactive ion etching, and subsequent annealing. This leads to highly reproducible membranes with roughness values of $3-4\,\rm\r{A}$, as well as negligible surface fluorescence. We find that silicon vacancy centres show close-to lifetime limited optical linewidths with almost no signs of spectral wandering down to membrane thicknesses of $0.7 \,\rm\mu m$. For silicon vacancy centres in thinner membranes down to $0.25\,\rm\mu m$, we observe spectral wandering, however, optical linewidths remain below $200\,\rm MHz$, which is compatible with spin-selective excitation schemes. Our work clearly shows that silicon vacancy centres can be integrated into sub-micron silicon carbide membranes, which opens the avenue towards obtaining the necessary improvements in photon extraction efficiency based on nanophotonic structuring.


title: Gottesman-Kitaev-Preskill encoding in continuous modal variables of single photons

abstract: GKP states, introduced by Gottesman, Kitaev, and Preskill, are continuous variable logical qubits that can be corrected for errors caused by phase space displacements. Their experimental realization is challenging, in particular using propagating fields, where quantum information is encoded in the quadratures of the electromagnetic field. However, travelling photons are essential in many applications of GKP codes involving the long-distance transmission of quantum information. We introduce a new method for encoding GKP states in propagating fields using single photons, each occupying a distinct auxiliary mode given by the propagation direction. The GKP states are defined as highly correlated states described by collective continuous modes, as time and frequency. We analyze how the error detection and correction protocol scales with the total photon number and the spectral width. We show that the obtained code can be corrected for displacements in time-frequency phase space - which correspond to dephasing, or rotations, in the quadrature phase space - and to photon losses. Most importantly, we show that generating two-photon GKP states is relatively simple, and that such states are currently produced and manipulated in several photonic platforms where frequency and time-bin biphoton entangled states can be engineered.


title: An All-Atom Force Field for Dry and Water-Lubricated Carbon Tribological Interfaces

abstract: We present a non-reactive force field for molecular dynamics simulations of interfaces between passivated amorphous surfaces and their interaction with water. The force field enables large-scale dynamic simulations of dry and lubricated tribological contacts and is tailored to surfaces with hydrogen, hydroxyl and aromatic surface passivation. To favour its compatibility with existing force-field parameterizations for liquids and allow a straightforward extension to other types of surface passivation species, we adopt the commonly used OPLS functional form. The optimisation of the force-field parameters is systematic and follows a protocol that can be reused for other surface-molecule combinations. Reference data are calculated with gradient- and dispersion-corrected density functional theory and include the bonding structure and elastic deformation of bulk and surface structures as well as surface adhesion and water adsorption energy landscapes. The conventions adopted to define the different force-field atom types are based on the hybridisation of carbon orbitals and enable a simple and efficient parameter optimisation strategy based on quantum-mechanical calculations performed only on crystalline reference structures. Transferability tests on amorphous interfaces demonstrate the effectiveness of this approach. After testing the force field, we present two examples of application to tribological problems. Namely, we investigate relationships between dry friction and the corrugation of the contact potential energy surface and the dependency of friction on the thickness of interface water films. We finally discuss the limitations of the force field and propose strategies for its improvement and extension.


title: Predict the Future from the Past? On the Temporal Data Distribution Shift in Financial Sentiment Classifications

abstract: Temporal data distribution shift is prevalent in the financial text. How can a financial sentiment analysis system be trained in a volatile market environment that can accurately infer sentiment and be robust to temporal data distribution shifts? In this paper, we conduct an empirical study on the financial sentiment analysis system under temporal data distribution shifts using a real-world financial social media dataset that spans three years. We find that the fine-tuned models suffer from general performance degradation in the presence of temporal distribution shifts. Furthermore, motivated by the unique temporal nature of the financial text, we propose a novel method that combines out-of-distribution detection with time series modeling for temporal financial sentiment analysis. Experimental results show that the proposed method enhances the model's capability to adapt to evolving temporal shifts in a volatile financial market.


title: Spectral closures of an infinite subset of the prime spectrum

abstract: In the literature, there is no known general method (formula) to compute the Zariski closure of an ``infinite'' subset of the prime spectrum. This problem indeed deals with the prime ideals of an infinite direct product of nonzero commutative rings that are very complicated to understand (the structure of most of them is unknown). In this article, by appealing to the patch closure and using laying over minimal prime technique, we overcome the above obstacle and then obtain new and quite useful results for computing the Zariski and flat closures of an infinite subset of the prime spectrum.


title: cRVR: A Stackelberg Game Approach for Joint Privacy-Aware Video Requesting and Edge Caching

abstract: As users conveniently stream their favored online videos, video request records will be automatically seized by video content providers, which may leak users' privacy. Unfortunately, most existing privacy-enhancing approaches are not applicable for protecting users' privacy in requests, which cannot be easily altered or distorted by users and must be visible for content providers to stream correct videos. To preserve request privacy in online video services, it is possible to request additional videos irrelevant to users' interests so that content providers cannot precisely infer users' interest information. However, a naive redundant requesting approach will significantly degrade the performance of edge caches and increase bandwidth overhead accordingly. In this paper, we are among the first to propose a Cache-Friendly Redundant Video Requesting (cRVR) algorithm for User Devices (UDs) and its corresponding caching algorithm for the Edge Cache (EC), which can effectively mitigate the problem of request privacy leakage with minimal impact on the EC's performance. To solve the problem, we develop a Stackelberg game to analyze the dedicated interaction between UDs and EC and obtain their optimal strategies to maximize their respective utility. For UDs, the utility function is a combination of both video playback utility and privacy protection utility. We theoretically prove the existence and uniqueness of the equilibrium of the Stackelberg game. In the end, extensive experiments are conducted with real traces to demonstrate that cRVR can effectively protect video request privacy by reducing up to 57.96\% of privacy disclosure compared to baseline algorithms. Meanwhile, the caching performance of ECs is only slightly affected.