title: Distribution and volume based scoring for Isolation Forests

abstract: We make two contributions to the Isolation Forest method for anomaly and outlier detection. The first contribution is an information-theoretically motivated generalisation of the score function that is used to aggregate the scores across random tree estimators. This generalisation allows one to take into account not just the ensemble average across trees but instead the whole distribution. The second contribution is an alternative scoring function at the level of the individual tree estimator, in which we replace the depth-based scoring of the Isolation Forest with one based on hyper-volumes associated to an isolation tree's leaf nodes. We motivate the use of both of these methods on generated data and also evaluate them on 34 datasets from the recent and exhaustive ``ADBench'' benchmark, finding significant improvement over the standard isolation forest for both variants on some datasets and improvement on average across all datasets for one of the two variants. The code to reproduce our results is made available as part of the submission.


title: Hybrid quantum-classical and quantum-inspired classical algorithms for solving banded circulant linear systems

abstract: Solving linear systems is of great importance in numerous fields. In particular, circulant systems are especially valuable for efficiently finding numerical solutions to physics-related differential equations. Current quantum algorithms like HHL or variational methods are either resource-intensive or may fail to find a solution. We present an efficient algorithm based on convex optimization of combinations of quantum states to solve for banded circulant linear systems whose non-zero terms are within distance $K$ of the main diagonal. By decomposing banded circulant matrices into cyclic permutations, our approach produces approximate solutions to such systems with a combination of quantum states linear to $K$, significantly improving over previous convergence guarantees, which require quantum states exponential to $K$. We propose a hybrid quantum-classical algorithm using the Hadamard test and the quantum Fourier transform as subroutines and show its PromiseBQP-hardness. Additionally, we introduce a quantum-inspired algorithm with similar performance given sample and query access. We validate our methods with classical simulations and actual IBM quantum computer implementation, showcasing their applicability for solving physical problems such as heat transfer.


title: Using deep learning to construct stochastic local search SAT solvers with performance bounds

abstract: The Boolean Satisfiability problem (SAT) is the most prototypical NP-complete problem and of great practical relevance. One important class of solvers for this problem are stochastic local search (SLS) algorithms that iteratively and randomly update a candidate assignment. Recent breakthrough results in theoretical computer science have established sufficient conditions under which SLS solvers are guaranteed to efficiently solve a SAT instance, provided they have access to suitable "oracles" that provide samples from an instance-specific distribution, exploiting an instance's local structure. Motivated by these results and the well established ability of neural networks to learn common structure in large datasets, in this work, we train oracles using Graph Neural Networks and evaluate them on two SLS solvers on random SAT instances of varying difficulty. We find that access to GNN-based oracles significantly boosts the performance of both solvers, allowing them, on average, to solve 17% more difficult instances (as measured by the ratio between clauses and variables), and to do so in 35% fewer steps, with improvements in the median number of steps of up to a factor of 8. As such, this work bridges formal results from theoretical computer science and practically motivated research on deep learning for constraint satisfaction problems and establishes the promise of purpose-trained SAT solvers with performance guarantees.


title: Multi-Step Model Predictive Safety Filters: Reducing Chattering by Increasing the Prediction Horizon

abstract: Learning-based controllers have demonstrated superior performance compared to classical controllers in various tasks. However, providing safety guarantees is not trivial. Safety, the satisfaction of state and input constraints, can be guaranteed by augmenting the learned control policy with a safety filter. Model predictive safety filters (MPSFs) are a common safety filtering approach based on model predictive control (MPC). MPSFs seek to guarantee safety while minimizing the difference between the proposed and applied inputs in the immediate next time step. This limited foresight can lead to jerky motions and undesired oscillations close to constraint boundaries, known as chattering. In this paper, we reduce chattering by considering input corrections over a longer horizon. Under the assumption of bounded model uncertainties, we prove recursive feasibility using techniques from robust MPC. We verified the proposed approach in both extensive simulation and quadrotor experiments. In experiments with a Crazyflie 2.0 drone, we show that, in addition to preserving the desired safety guarantees, the proposed MPSF reduces chattering by more than a factor of 4 compared to previous MPSF formulations.


title: NeighViz: Towards Better Understanding of Neighborhood Effects on Social Groups with Spatial Data

abstract: Understanding how local environments influence individual behaviors, such as voting patterns or suicidal tendencies, is crucial in social science to reveal and reduce spatial disparities and promote social well-being. With the increasing availability of large-scale individual-level census data, new analytical opportunities arise for social scientists to explore human behaviors (e.g., political engagement) among social groups at a fine-grained level. However, traditional statistical methods mostly focus on global, aggregated spatial correlations, which are limited to understanding and comparing the impact of local environments (e.g., neighborhoods) on human behaviors among social groups. In this study, we introduce a new analytical framework for analyzing multi-variate neighborhood effects between social groups. We then propose NeighVi, an interactive visual analytics system that helps social scientists explore, understand, and verify the influence of neighborhood effects on human behaviors. Finally, we use a case study to illustrate the effectiveness and usability of our system.


title: ddtlcm: An R package for overcoming weak separation in Bayesian latent class analysis via tree-regularization

abstract: Traditional applications of latent class models (LCMs) often focus on scenarios where a set of unobserved classes are well-defined and easily distinguishable. However, in numerous real-world applications, these classes are weakly separated and difficult to distinguish, creating significant numerical challenges. To address these issues, we have developed an R package ddtlcm that provides comprehensive analysis and visualization tools designed to enhance the robustness and interpretability of LCMs in the presence of weak class separation, particularly useful for small sample sizes. This package implements a tree-regularized Bayesian LCM that leverages statistical strength between latent classes to make better estimates using limited data. A Shiny app has also been developed to improve user interactivity. In this paper, we showcase a typical analysis pipeline with simulated data using ddtlcm. All software has been made publicly available on CRAN and GitHub.


title: Generative Agent-Based Modeling: Unveiling Social System Dynamics through Coupling Mechanistic Models with Generative Artificial Intelligence

abstract: We discuss the emerging new opportunity for building feedback-rich computational models of social systems using generative artificial intelligence. Referred to as Generative Agent-Based Models (GABMs), such individual-level models utilize large language models such as ChatGPT to represent human decision-making in social settings. We provide a GABM case in which human behavior can be incorporated in simulation models by coupling a mechanistic model of human interactions with a pre-trained large language model. This is achieved by introducing a simple GABM of social norm diffusion in an organization. For educational purposes, the model is intentionally kept simple. We examine a wide range of scenarios and the sensitivity of the results to several changes in the prompt. We hope the article and the model serve as a guide for building useful diffusion models that include realistic human reasoning and decision-making.

categories: cs.AI cs.LG cs.MA nlin.AO physics.soc-ph


title: Automated Mathematics and the Reconfiguration of Proof and Labor

abstract: This essay examines how automation has reconfigured mathematical proof and labor, and what might happen in the future. It discusses practical standards of proof, distinguishes between prominent forms of automation in research, provides critiques of recurring assumptions, and asks how automation might reshape economies of labor and credit.


title: Distinguishing mature and immature trees allows to estimate forest carbon uptake from stand structure

abstract: Relating forest productivity to local variations in forest structure has been a long-standing challenge. Previous studies often focused on the connection between forest structure and stand-level photosynthesis (GPP). However, biomass production (NPP) and net ecosystem exchange (NEE) are also subject to respiration and other carbon losses, which vary with local conditions and life history traits. Here, we use a simulation approach to study how these losses impact forest productivity and reveal themselves in forest structure. We fit the process-based forest model Formind to a 25ha inventory of an old-growth temperate forest in China and classify trees as "mature" (full-grown) or "immature" based on their intrinsic carbon use efficiency. Our results reveal a strong negative connection between the stand-level carbon use efficiency and the prevalence of mature trees: GPP increases with the total basal area, whereas NPP and NEE are driven by the basal area of immature trees. Accordingly, the basal area entropy - a structural proxy for the prevalence of immature trees - correlated well with NPP and NEE and had higher predictive power than other structural characteristics such as Shannon diversity and height standard deviation. Our results were robust across spatial scales (0.04-1ha) and yield promising hypotheses field studies and new theoretical work.


title: New closed forms for a dilogarithmic integral, related integrals, and series

abstract: In this study, we present a new closed form for the generalized integral $$\int_0^1 \frac{\mathrm{Li}_2(z) \ln(1+az)}{z}\, \mathrm{d}z,$$ where $a \in \mathbb{C} \setminus(-\infty, -1)$ and $\mathrm{Li}_2(z)$ is the dilogarithm function. This extension is achieved by leveraging our established findings in conjunction with V\u{a}lean's results. Furthermore, we provide explicit closed forms for associated integrals, prove a transformation formula for double infinite series, expressing them as the sum of the square of an infinite series and another infinite series. We utilize this relationship to derive a novel closed form for the generalized series $$\sum_{k=1}^\infty \frac{ \zeta\left(m, \frac{rk-s}{r}\right) }{(rk-s)^m},$$ for $\Re(m) > 1$, $r, s \in \mathbb{C}$, where $r \neq 0$, $rk \neq s$, for any positive integer $k$, and $\zeta(s, z)$ denotes the Hurwitz zeta function. Utilizing Hermite's integral representation for $\zeta(s, z)$, we derive a generalized integral series from this series.


title: Ponderomotive forces in magnetized non-thermal space plasmas due to cyclotron waves

abstract: The ponderomotive force is involved in a variety of space plasmas phenomena which are characterized by the family of Kappa distributions. Therefore, evaluating these nonthermal effects in the ponderomotive force is required. The Washimi and Karpman ponderomotive interaction due to cyclotron waves is evaluated for different space conditions considering low-temperature magnetized plasmas described by an isotropic Kappa distribution and with a wave propagation parallel to the background magnetic field. We performed a brief analysis of the influence of the Kappa distribution in the dispersion relation for a low-temperature plasma expansion at the lowest order in which the thermal effects are appreciated without considering the damping characteristics of the wave. The different factors of the ponderomotive force are obtained and analyzed separately as a function of the wavenumber, the spectral index $\kappa$, and the plasma beta. We have found a relevant influence of the non-thermal effects in all the factors of the ponderomotive force for magnetized plasmas. The effect of the kappa distribution has been evaluated for a wide variety of space environments as the solar wind and the different regions of our magnetosphere where it has been found that these results can be relevant for the solar wind, the magnetosheath, the plasmasheet, and the polar cusps. We have also analyzed the role of the non-thermal effect in the induced Washimi and Karpman ponderomotive magnetization in the context of spatial plasmas and the total power radiated associated with it. We find that even for nearly cold magnetized plasmas and waves far from the resonances the effect of the kappa parameter in the ponderomotive force cannot be neglected. This suggests a significant role of the Kappa distribution in ponderomotive phenomena of space physics.


title: Digital twins of nonlinear dynamical systems: A perspective

abstract: Digital twins have attracted a great deal of recent attention from a wide range of fields. A basic requirement for digital twins of nonlinear dynamical systems is the ability to generate the system evolution and predict potentially catastrophic emergent behaviors so as to providing early warnings. The digital twin can then be used for system "health" monitoring in real time and for predictive problem solving. In particular, if the digital twin forecasts a possible system collapse in the future due to parameter drifting as caused by environmental changes or perturbations, an optimal control strategy can be devised and executed as early intervention to prevent the collapse. Two approaches exist for constructing digital twins of nonlinear dynamical systems: sparse optimization and machine learning. The basics of these two approaches are described and their advantages and caveats are discussed.


title: AudioFool: Fast, Universal and synchronization-free Cross-Domain Attack on Speech Recognition

abstract: Automatic Speech Recognition systems have been shown to be vulnerable to adversarial attacks that manipulate the command executed on the device. Recent research has focused on exploring methods to create such attacks, however, some issues relating to Over-The-Air (OTA) attacks have not been properly addressed. In our work, we examine the needed properties of robust attacks compatible with the OTA model, and we design a method of generating attacks with arbitrary such desired properties, namely the invariance to synchronization, and the robustness to filtering: this allows a Denial-of-Service (DoS) attack against ASR systems. We achieve these characteristics by constructing attacks in a modified frequency domain through an inverse Fourier transform. We evaluate our method on standard keyword classification tasks and analyze it in OTA, and we analyze the properties of the cross-domain attacks to explain the efficiency of the approach.


title: Algebraic K-theory of real topological K-theory

abstract: We determine the A(1)-homotopy of the topological cyclic homology of the connective real K-theory spectrum ko. The answer has an associated graded that is a free F_2[v_2^4]-module of rank 52, on explicit generators in stems -1 \le * \le 30. The calculation is achieved by using prismatic and syntomic cohomology of ko as introduced by Hahn-Raksit-Wilson, extending work of Bhatt-Morrow-Scholze from the case of classical commutative rings to E_\infty rings. A new feature in our case is that there are nonzero differentials in the motivic spectral sequence from syntomic cohomology to topological cyclic homology.


title: Budget-Aware Pruning: Handling Multiple Domains with Less Parameters

abstract: Deep learning has achieved state-of-the-art performance on several computer vision tasks and domains. Nevertheless, it still has a high computational cost and demands a significant amount of parameters. Such requirements hinder the use in resource-limited environments and demand both software and hardware optimization. Another limitation is that deep models are usually specialized into a single domain or task, requiring them to learn and store new parameters for each new one. Multi-Domain Learning (MDL) attempts to solve this problem by learning a single model that is capable of performing well in multiple domains. Nevertheless, the models are usually larger than the baseline for a single domain. This work tackles both of these problems: our objective is to prune models capable of handling multiple domains according to a user-defined budget, making them more computationally affordable while keeping a similar classification performance. We achieve this by encouraging all domains to use a similar subset of filters from the baseline model, up to the amount defined by the user's budget. Then, filters that are not used by any domain are pruned from the network. The proposed approach innovates by better adapting to resource-limited devices while, to our knowledge, being the only work that handles multiple domains at test time with fewer parameters and lower computational complexity than the baseline model for a single domain.


title: Singular $p$-biharmonic problems involving the Hardy-Sobolev exponent

abstract: This paper is concerned with existence results for the singular $p$-biharmonic problem involving the Hardy potential and the critical Hardy-Sobolev exponent. More precisely, by using variational methods combined with the Mountain pass theorem and the Ekeland variational principle, we establish the existence and multiplicity of solutions. To illustrate the usefulness of our results, an illustrative example is also presented.


title: Variational construction of basic heteroclinic solutions for an Allen-Cahn equation

abstract: We establish a variational construction of minimal and without self-intersection solutions for an Allen-Cahn equation, especially for those corresponding to irrational rotation vectors. These consequences generalize the results of rational cases of Rabinowitz and Stredulinsky to irrational cases.


title: Quantum heat valve and entanglement in superconducting $LC$ resonators

abstract: Quantum superconducting circuit with flexible coupler has been a powerful platform for designing quantum thermal machines. In this letter, we employ the tunable coupling of two superconducting resonators to realize a heat valve by modulating magnetic flux using a superconducting quantum interference device (SQUID). It is shown that a heat valve can be realized in a wide parameter range. We find a consistent relation between the heat current and quantum entanglement, which indicates the dominant role of entanglement on the heat valve. It provides an insightful understanding of quantum features in quantum heat machines.


title: A comparative study on maximum mass and radius of compact star from Heintzmann geometry and TOV approach

abstract: In this article a class of anisotropic compact star is analysed in Heintzmann geometry. We have introduced the pressure anisotropy parameter ($\alpha$) and solved Einstein field equations to obtain stellar model. We have considered $g_{tt}$ component as proposed by Heintzmann and by solving Einstein field equation, the $g_{rr}$ component is evaluated in presence of pressure anisotropy. It is noted that for isotropic star ($\alpha=0$), the maximum mass lies within the range $1.87-3.04~ M_{\odot}$ for radii ranges between $8-13$ Km. For anisotropic compact stars maximum mass increases with $\alpha$ and lies within the range $1.99-3.23~ M_{\odot}$ for anisotropy parameter $\alpha=0.5$. The physical viability of the model is examined by applying our model to study the properties of few known compact objects. It is noted that all the stability conditions are fulfilled in the proposed model. It is interesting to note that maximum mass calculated from our model and from solving TOV equation are approximately same and also the predicted radius of few newly observed pulsars and companion star of GW events GW 190814 and GW 170817 from our model comply with the estimated value of radius from observation.


abstract: Multi-label classification can effectively identify the relevant labels of an instance from a given set of labels. However,the modeling of the relationship between the features and the labels is critical to the classification performance. To this end, we propose a new multi-label classification method, called Multi-Label Takagi-Sugeno-Kang Fuzzy System (ML-TSK FS), to improve the classification performance. The structure of ML-TSK FS is designed using fuzzy rules to model the relationship between features and labels. The fuzzy system is trained by integrating fuzzy inference based multi-label correlation learning with multi-label regression loss. The proposed ML-TSK FS is evaluated experimentally on 12 benchmark multi-label datasets. 1 The results show that the performance of ML-TSK FS is competitive with existing methods in terms of various evaluation metrics, indicating that it is able to model the feature-label relationship effectively using fuzzy inference rules and enhances the classification performance.


title: Model-free tracking control of complex dynamical trajectories with machine learning

abstract: Nonlinear tracking control enabling a dynamical system to track a desired trajectory is fundamental to robotics, serving a wide range of civil and defense applications. In control engineering, designing tracking control requires complete knowledge of the system model and equations. We develop a model-free, machine-learning framework to control a two-arm robotic manipulator using only partially observed states, where the controller is realized by reservoir computing. Stochastic input is exploited for training, which consists of the observed partial state vector as the first and its immediate future as the second component so that the neural machine regards the latter as the future state of the former. In the testing (deployment) phase, the immediate-future component is replaced by the desired observational vector from the reference trajectory. We demonstrate the effectiveness of the control framework using a variety of periodic and chaotic signals, and establish its robustness against measurement noise, disturbances, and uncertainties.


title: Noise-Crypt: Image Encryption with Non-linear Noise, Hybrid Chaotic Maps, and Hashing

abstract: To secure the digital images over insecure transmission channels, a new image encryption algorithm Noise-Crypt is proposed in this paper. Noise-Crypt integrates non-linear random noise, hybrid chaotic maps, and SHA-256 hashing algorithm. The utilized hybrid chaotic maps are the logistic-tent and the logistic-sine-cosine map. The hybrid chaotic maps enhance the pseudorandom sequence generation and selection of substitution boxes, while the logistic-sine-cosine map induces non-linearity in the algorithm through random noise. This deliberate inclusion of noise contributes to increased resistance against cryptanalysis. The proposed scheme has been evaluated for several security parameters, such as differential attacks, entropy, correlation, etc. Extensive evaluation demonstrates the efficacy of the proposed scheme, with almost ideal values of entropy of 7.99 and correlation of -0.0040. Results of the security analysis validate the potency of the proposed scheme in achieving robust image encryption.


title: Optimizing Dynamic Predictions from Joint Models using Super Learning

abstract: Joint models for longitudinal and time-to-event data are often employed to calculate dynamic individualized predictions used in numerous applications of precision medicine. Two components of joint models that influence the accuracy of these predictions are the shape of the longitudinal trajectories and the functional form linking the longitudinal outcome history to the hazard of the event. Finding a single well-specified model that produces accurate predictions for all subjects and follow-up times can be challenging, especially when considering multiple longitudinal outcomes. In this work, we use the concept of super learning and avoid selecting a single model. In particular, we specify a weighted combination of the dynamic predictions calculated from a library of joint models with different specifications. The weights are selected to optimize a predictive accuracy metric using V-fold cross-validation. We use as predictive accuracy measures the expected quadratic prediction error and the expected predictive cross-entropy. In a simulation study, we found that the super learning approach produces results very similar to the Oracle model, which was the model with the best performance in the test datasets. All proposed methodology is implemented in the freely available R package JMbayes2.


title: Multi-view Fuzzy Representation Learning with Rules based Model

abstract: Unsupervised multi-view representation learning has been extensively studied for mining multi-view data. However, some critical challenges remain. On the one hand, the existing methods cannot explore multi-view data comprehensively since they usually learn a common representation between views, given that multi-view data contains both the common information between views and the specific information within each view. On the other hand, to mine the nonlinear relationship between data, kernel or neural network methods are commonly used for multi-view representation learning. However, these methods are lacking in interpretability. To this end, this paper proposes a new multi-view fuzzy representation learning method based on the interpretable Takagi-Sugeno-Kang (TSK) fuzzy system (MVRL_FS). The method realizes multi-view representation learning from two aspects. First, multi-view data are transformed into a high-dimensional fuzzy feature space, while the common information between views and specific information of each view are explored simultaneously. Second, a new regularization method based on L_(2,1)-norm regression is proposed to mine the consistency information between views, while the geometric structure of the data is preserved through the Laplacian graph. Finally, extensive experiments on many benchmark multi-view datasets are conducted to validate the superiority of the proposed method.


title: Symmetry Parameters of Praeger-Xu Graphs

abstract: Praeger-Xu graphs are connected, symmetric, 4-regular graphs that are unusual both in that their automorphism groups are large, and in that vertex stabilizer subgroups are also large. Determining number and distinguishing number are parameters that measure the symmetry of a graph by investigating additional conditions that can be imposed on a graph to eliminate its nontrivial automorphisms. In this paper, we compute the values of these parameters for Praeger-Xu graphs. Most Praeger-Xu graphs are 2-distinguishable; for these graphs we also provide the cost of 2-distinguishing.


title: Creating walls to avoid unwanted points in root finding and optimization

abstract: In root finding and optimization, there are many cases where there is a closed set $A$ one likes that the sequence constructed by one's favourite method will not converge to A (here, we do not assume extra properties on $A$ such as being convex or connected). For example, if one wants to find roots, and one chooses initial points in the basin of attraction for 1 root $z^*$ (a fact which one may not know before hand), then one will always end up in that root. In this case, one would like to have a mechanism to avoid this point $z^*$ in the next runs of one's algorithm. Assume that one already has a method IM for optimization (and root finding) for non-constrained optimization. We provide a simple modification IM1 of the method to treat the situation discussed in the previous paragraph. If the method IM has strong theoretical guarantees, then so is IM1. As applications, we prove two theoretical applications: one concerns finding roots of a meromorphic function in an open subset of a Riemann surface, and the other concerns finding local minima of a function in an open subset of a Euclidean space inside it the function has at most countably many critical points. Along the way, we compare with main existing relevant methods in the current literature. We provide several examples in various different settings to illustrate the usefulness of the new approach.


title: CellSecure: Securing Image Data in Industrial Internet-of-Things via Cellular Automata and Chaos-Based Encryption

abstract: In the era of Industrial IoT (IIoT) and Industry 4.0, ensuring secure data transmission has become a critical concern. Among other data types, images are widely transmitted and utilized across various IIoT applications, ranging from sensor-generated visual data and real-time remote monitoring to quality control in production lines. The encryption of these images is essential for maintaining operational integrity, data confidentiality, and seamless integration with analytics platforms. This paper addresses these critical concerns by proposing a robust image encryption algorithm tailored for IIoT and Cyber-Physical Systems (CPS). The algorithm combines Rule-30 cellular automata with chaotic scrambling and substitution. The Rule 30 cellular automata serves as an efficient mechanism for generating pseudo-random sequences that enable fast encryption and decryption cycles suitable for real-time sensor data in industrial settings. Most importantly, it induces non-linearity in the encryption algorithm. Furthermore, to increase the chaotic range and keyspace of the algorithm, which is vital for security in distributed industrial networks, a hybrid chaotic map, i.e., logistic-sine map is utilized. Extensive security analysis has been carried out to validate the efficacy of the proposed algorithm. Results indicate that our algorithm achieves close-to-ideal values, with an entropy of 7.99 and a correlation of 0.002. This enhances the algorithm's resilience against potential cyber-attacks in the industrial domain.


title: Multi-Agent Robust Control Synthesis from Global Temporal Logic Tasks

abstract: This paper focuses on the heterogeneous multi-agent control problem under global temporal logic tasks. We define a specification language, called extended capacity temporal logic (ECaTL), to describe the required global tasks, including the number of times that a local or coupled signal temporal logic (STL) task needs to be satisfied and the synchronous requirements on task satisfaction. The robustness measure for ECaTL is formally designed. In particular, the robustness for synchronous tasks is evaluated from both the temporal and spatial perspectives. Mixed-integer linear constraints are designed to encode ECaTL specifications, and a two-step optimization framework is further proposed to realize task-satisfied motion planning with high spatial robustness and synchronicity. Simulations are conducted to demonstrate the expressivity of ECaTL and the efficiency of the proposed control synthesis approach.


title: Fictional Worlds, Real Connections: Developing Community Storytelling Social Chatbots through LLMs

abstract: We address the integration of storytelling and Large Language Models (LLMs) to develop engaging and believable Social Chatbots (SCs) in community settings. Motivated by the potential of fictional characters to enhance social interactions, we introduce Storytelling Social Chatbots (SSCs) and the concept of story engineering to transform fictional game characters into "live" social entities within player communities. Our story engineering process includes three steps: (1) Character and story creation, defining the SC's personality and worldview, (2) Presenting Live Stories to the Community, allowing the SC to recount challenges and seek suggestions, and (3) Communication with community members, enabling interaction between the SC and users. We employed the LLM GPT-3 to drive our SSC prototypes, "David" and "Catherine," and evaluated their performance in an online gaming community, "DE (Alias)," on Discord. Our mixed-method analysis, based on questionnaires (N=15) and interviews (N=8) with community members, reveals that storytelling significantly enhances the engagement and believability of SCs in community settings.


title: Did atmospheric thermal tides cause a daylength locking in the Precambrian? A review on recent results

abstract: After the initial suggestion by Zahnle and Walker (1987) that the torque accelerating the spin rate of the Earth and produced by the heating of the atmosphere by the Sun could counteract the braking lunir-solar gravitational torque in the Precambrian, several authors have recently revisited this hypothesis. In these studies, it is argued that the geological evidences of the past spin state of the Earth play in favor of this atmospheric tidal locking of the length of the day (LOD). In the present review of the recent literature, we show that the drawn conclusions depend crucially on the consideration of the stromatolite geological LOD estimates obtained by Pannella at 1.88 and 2.0 Ga, which are subject to large uncertainties. When only the most robust cyclostatigraphic estimates of the LOD are retained, the LOD locking hypothesis is not supported. Moreover, the consideration of the published General Circulation Model numerical simulations and of new analytical models for the thermal atmospheric tides suggest that the atmospheric tidal resonance, which is the crucial ingredient for the LOD locking in the Precambrian, was never of sufficiently large amplitude to allow for this tidal LOD lock.


title: Effects of disorder on the magnetic properties of the Heusler alloy V$_{2}$FeAl

abstract: Magnetic properties of multicomponent alloys depend sensitively on the degree of atomic order on the different crystallographic sites. In this work we demonstrate the magnetic contrast between bulk and thin-film samples of the Heusler alloy V$_{2}$FeAl. Arc-melted bulk ingots show practically no site preference of the elements (A2 structure), whereas magnetron-sputtered thin-film samples display a higher degree of atomic ordering with a tendency towards XA-type order. Electronic structure calculations favour ferrimagnetic XA-type ordering, and the effect of different pairwise atomic disorder on the element specific and net magnetic moments are evaluated to reproduce experimental observations. XA-type thin-films with iron moment of 1.24 $\mu_{\mathrm{B}}$ determined by X-ray magnetic circular dichroism are in agreement with calculation, but the measured net moment of 1.0 $\mu_{\mathrm{B}}$ per formula unit and average vanadium moment are smaller than expected from calculations. The measured Curie temperature is approximately 500 K. Films with a higher degree of disorder have a T$_{\mathrm{C}}$ close to 300 K with a net moment of 0.1 $\mu_{\mathrm{B}}$ at low temperature. The large calculated vanadium moments are destroyed by partial disorder on $4d$ vanadium sites. By contrast, the arc-melted and annealed bulk alloy with a fully-disordered A2 structure shows no spontaneous magnetization; it is a Pauli paramagnet with dimensionless susceptibility $\chi_{\mathrm{v}}=-2.95\times10^{-4}$.


title: Robustly Stable Accelerated Momentum Methods With A Near-Optimal L2 Gain and $H_\infty$ Performance

abstract: We consider the problem of minimizing a strongly convex smooth function where the gradients are subject to additive worst-case deterministic errors that are square-summable. We study the trade-offs between the convergence rate and robustness to gradient errors when designing the parameters of a first-order algorithm. We focus on a general class of momentum methods (GMM) with constant stepsize and momentum parameters which can recover gradient descent, Nesterov's accelerated gradient, the heavy-ball and the triple momentum methods as special cases. We measure the robustness of an algorithm in terms of the cumulative suboptimality over the iterations divided by the $\ell_2$ norm of the gradient errors, which can be interpreted as the minimal (induced) $\ell_2$ gain of a transformed dynamical system that represents the GMM iterations where the input is the gradient error sequence and the output is a weighted distance to the optimum. For quadratic objectives, we compute the induced $\ell_2$ gain explicitly leveraging its connections to the $H_\infty$ norm of the dynamical system corresponding to GMM and construct worst-case gradient error sequences by a closed-form formula. We also study the stability of GMM with respect to multiplicative noise in various settings by characterizing the structured real and stability radius of the GMM system through their connections to the $H_\infty$ norm. This allows us to compare GD, HB, NAG methods in terms of robustness, and argue that HB is not as robust as NAG despite being the fastest...


title: X-rays Trace the Volatile Content of Interstellar Objects

abstract: The non-detection of a coma surrounding 1I/`Oumuamua, the first discovered interstellar object (ISO), has prompted a variety of hypotheses to explain its nongravitational acceleration. Given that forthcoming surveys are poised to identify analogues of this enigmatic object, it is prudent to devise alternative approaches to characterization. In this study, we posit X-ray spectroscopy as a surprisingly effective probe of volatile ISO compositions. Heavily ionized metals in the solar wind interact with outgassed neutrals and emit high-energy photons in a process known as charge exchange, and charge exchange induced X-rays from comets and planetary bodies have been observed extensively in our Solar System. We develop a model to predict the X-ray flux of an ISO based on its chemical inventory and ephemeris. We find that while standard cometary constituents, such as H$_2$O, CO$_2$, CO, and dust are best probed via optical or infrared observations, we predict strong X-ray emission generated by charge exchange with extended comae of H$_2$ and N$_2$ -- species which lack strong infrared fluorescence transitions. We find that XMM-Newton would have been sensitive to charge exchange emission from 1I/`Oumuamua during the object's close approach to Earth, and that constraints on composition may have been feasible. We argue for follow-up X-ray observations of newly discovered ISOs with close-in perihelia. Compositional constraints on the general ISO population could reconcile the apparently self-conflicting nature of 1I/`Oumuamua, and provide insight into the earliest stages of planet formation in extrasolar systems.


title: Temperature- and interaction-tweaked efficiency boost of finite-time robust quantum Otto engines

abstract: We demonstrate that under specific conditions, a finite-time quantum Otto engine, employing a spin-1/2 particle as the working substance, despite undergoing incomplete Otto cycles, can achieve higher efficiency than an ideal quantum Otto engine. A finite-time quantum Otto engine refers to an Otto engine where the two isochoric strokes are prematurely terminated before reaching thermal equilibrium with their respective hot and cold baths. We observe that the enhancement of efficiency of a finite-time quantum Otto engine over the ideal one can be realized by adjusting the initial temperature of the working substance within the temperature range of the hot and cold baths. We also find that incorporating an auxiliary qubit, and activating specific interactions between the single-qubit working substance and the auxiliary one, can enhance the efficiency of a finite-time as well as an ideal quantum Otto engine. Furthermore, we analyze the impact of glassy disorder within the system-bath coupling during the two isochoric strokes on the efficiency of a finite-time quantum Otto engine. We find that as strength of disorder increases, efficiency of a finite-time quantum Otto engine tends to decrease, albeit with relatively modest reduction even for strong disorder. However, the advantage in efficiency of the finite-time quantum Otto engine over the ideal one, obtained by tuning the initial state temperature, and the efficiency enhancement obtained by incorporating an auxiliary over the without-auxiliary scenario, persists even in presence of substantial disorder. Additionally, we show that while this disorder does not affect the ideal efficiency, it does influence the duration of isochoric strokes needed for an Otto engine to reach ideal efficiency. This stroke duration remains nearly constant until a specific disorder strength, beyond which it increases rapidly.


title: Bravo MaRDI: A Wikibase Powered Knowledge Graph on Mathematics

abstract: Mathematical world knowledge is a fundamental component of Wikidata. However, to date, no expertly curated knowledge graph has focused specifically on contemporary mathematics. Addressing this gap, the Mathematical Research Data Initiative (MaRDI) has developed a comprehensive knowledge graph that links multimodal research data in mathematics. This encompasses traditional research data items like datasets, software, and publications and includes semantically advanced objects such as mathematical formulas and hypotheses. This paper details the abilities of the MaRDI knowledge graph, which is based on Wikibase, leading up to its inaugural public release, codenamed Bravo, available on https://portal.mardi4nfdi.de.


title: Decision-Directed Hybrid RIS Channel Estimation with Minimal Pilot Overhead

abstract: To reap the benefits of reconfigurable intelligent surfaces (RIS), channel state information (CSI) is generally required. However, CSI acquisition in RIS systems is challenging and often results in very large pilot overhead, especially in unstructured channel environments. Consequently, the RIS channel estimation problem has attracted a lot of interest and also been a subject of intense study in recent years. In this paper, we propose a decision-directed RIS channel estimation framework for general unstructured channel models. The employed RIS contains some hybrid elements that can simultaneously reflect and sense the incoming signal. We show that with the help of the hybrid RIS elements, it is possible to accurately recover the CSI with a pilot overhead proportional to the number of users. Therefore, the proposed framework substantially improves the system spectral efficiency compared to systems with passive RIS arrays since the pilot overhead in passive RIS systems is proportional to the number of RIS elements times the number of users. We also perform a detailed spectral efficiency analysis for both the pilot-directed and decision-directed frameworks. Our analysis takes into account both the channel estimation and data detection errors at both the RIS and the BS. Finally, we present numerous simulation results to verify the accuracy of the analysis as well as to show the benefits of the proposed decision-directed framework.


title: First detection of CO$_2$ emission in a Centaur: JWST NIRSpec observations of 39P/Oterma

abstract: Centaurs are minor solar system bodies with orbits transitioning between those of Trans-Neptunian Scattered Disk objects and Jupiter Family comets. 39P/Oterma is a frequently active Centaur that has recently held both Centaur and JFC classifications and was observed with the JWST NIRSpec instrument on 2022 July 27 UTC while it was 5.82 au from the Sun. For the first time, CO$_2$ gas emission was detected in a Centaur, with a production rate of Q$_{CO_2}$ = (5.96 $\pm$ 0.80) $\times$ 10$^{23}$ molecules s$^{-1}$. This is the lowest detection of CO$_2$ of any Centaur or comet. CO and H$_2$O were not detected down to constraining upper limits. Derived mixing ratios of Q$_{CO}$/Q$_{CO_2}$ $\leq$2.03 and Q$_{CO_2}$/Q$_{H_2O}$ $\geq$0.60 are consistent with CO$_2$ and/or CO outgassing playing large roles in driving the activity, but not water, and show a significant difference between the coma abundances of 29P/Schwassmann-Wachmann 1, another Centaur at a similar heliocentric distance, which may be explained by thermal processing of 39P's surface during its previous Jupiter-family comet orbit. To help contextualize the JWST data we also acquired visible CCD imaging data on two dates in July (Gemini North) and September (Lowell Discovery Telescope) 2022. Image analysis and photometry based on these data are consistent with a point source detection and an estimated effective nucleus radius of 39P in the range of $R_{nuc}= $2.21 to 2.49~km.


title: A Neural TTS System with Parallel Prosody Transfer from Unseen Speakers

abstract: Modern neural TTS systems are capable of generating natural and expressive speech when provided with sufficient amounts of training data. Such systems can be equipped with prosody-control functionality, allowing for more direct shaping of the speech output at inference time. In some TTS applications, it may be desirable to have an option that guides the TTS system with an ad-hoc speech recording exemplar to impose an implicit fine-grained, user-preferred prosodic realization for certain input prompts. In this work we present a first-of-its-kind neural TTS system equipped with such functionality to transfer the prosody from a parallel text recording from an unseen speaker. We demonstrate that the proposed system can precisely transfer the speech prosody from novel speakers to various trained TTS voices with no quality degradation, while preserving the target TTS speakers' identity, as evaluated by a set of subjective listening experiments.


title: An Evaluation and Comparison of GPU Hardware and Solver Libraries for Accelerating the OPM Flow Reservoir Simulator

abstract: Realistic reservoir simulation is known to be prohibitively expensive in terms of computation time when increasing the accuracy of the simulation or by enlarging the model grid size. One method to address this issue is to parallelize the computation by dividing the model in several partitions and using multiple CPUs to compute the result using techniques such as MPI and multi-threading. Alternatively, GPUs are also a good candidate to accelerate the computation due to their massively parallel architecture that allows many floating point operations per second to be performed. The numerical iterative solver takes thus the most computational time and is challenging to solve efficiently due to the dependencies that exist in the model between cells. In this work, we evaluate the OPM Flow simulator and compare several state-of-the-art GPU solver libraries as well as custom developed solutions for a BiCGStab solver using an ILU0 preconditioner and benchmark their performance against the default DUNE library implementation running on multiple CPU processors using MPI. The evaluated GPU software libraries include a manual linear solver in OpenCL and the integration of several third party sparse linear algebra libraries, such as cuSparse, rocSparse, and amgcl. To perform our bench-marking, we use small, medium, and large use cases, starting with the public test case NORNE that includes approximately 50k active cells and ending with a large model that includes approximately 1 million active cells. We find that a GPU can accelerate a single dual-threaded MPI process up to 5.6 times, and that it can compare with around 8 dual-threaded MPI processes.


title: Text2Reward: Reward Shaping with Language Models for Reinforcement Learning

abstract: Designing reward functions is a longstanding challenge in reinforcement learning (RL); it requires specialized knowledge or domain data, leading to high costs for development. To address this, we introduce Text2Reward, a data-free framework that automates the generation and shaping of dense reward functions based on large language models (LLMs). Given a goal described in natural language, Text2Reward generates shaped dense reward functions as an executable program grounded in a compact representation of the environment. Unlike inverse RL and recent work that uses LLMs to write sparse reward codes or unshaped dense rewards with a constant function across timesteps, Text2Reward produces interpretable, free-form dense reward codes that cover a wide range of tasks, utilize existing packages, and allow iterative refinement with human feedback. We evaluate Text2Reward on two robotic manipulation benchmarks (ManiSkill2, MetaWorld) and two locomotion environments of MuJoCo. On 13 of the 17 manipulation tasks, policies trained with generated reward codes achieve similar or better task success rates and convergence speed than expert-written reward codes. For locomotion tasks, our method learns six novel locomotion behaviors with a success rate exceeding 94%. Furthermore, we show that the policies trained in the simulator with our method can be deployed in the real world. Finally, Text2Reward further improves the policies by refining their reward functions with human feedback. Video results are available at https://text-to-reward.github.io/ .


title: Flow Annealed Kalman Inversion for Gradient-Free Inference in Bayesian Inverse Problems

abstract: For many scientific inverse problems we are required to evaluate an expensive forward model. Moreover, the model is often given in such a form that it is unrealistic to access its gradients. In such a scenario, standard Markov Chain Monte Carlo algorithms quickly become impractical, requiring a large number of serial model evaluations to converge on the target distribution. In this paper we introduce Flow Annealed Kalman Inversion (FAKI). This is a generalization of Ensemble Kalman Inversion (EKI), where we embed the Kalman filter updates in a temperature annealing scheme, and use normalizing flows (NF) to map the intermediate measures corresponding to each temperature level to the standard Gaussian. In doing so, we relax the Gaussian ansatz for the intermediate measures used in standard EKI, allowing us to achieve higher fidelity approximations to non-Gaussian targets. We demonstrate the performance of FAKI on two numerical benchmarks, showing dramatic improvements over standard EKI in terms of accuracy whilst accelerating its already rapid convergence properties (typically in $\mathcal{O}(10)$ steps).


title: Vacuum Spacetime With Multipole Moments: The Minimal Size Conjecture, Black Hole Shadow, and Gravitational Wave Observables

abstract: In this work, we explicitly construct the vacuum solution of Einstein's equations with prescribed multipole moments. By observing the behavior of the multipole spacetime metric at small distances, we conjecture that for a sufficiently large multipole moment, there is a minimal size below which no object in nature can support such a moment. The examples we have investigated suggest that such minimal size scales as $(M_n)^{1/(n+1)}$ (instead of $(M_n/M)^{1/n}$), where $M$ is the mass and $M_n$ is the $n$th order multipole moment. With the metric of the "multipole spacetime", we analyze the shape of black hole shadow for various multipole moments and discuss the prospects of constraining the moments from shadow observations. In addition, we discuss the shift of gravitational wave phase with respect to those of the Kerr spacetime, for a test particle moving around an object with this set of multipole moments. These phase shifts are required for the program of mapping out the spacetime multipole moments based on gravitational wave observations of extreme mass-ratio inspirals.


title: Visible in the laboratory and invisible in cosmology: decaying sterile neutrinos

abstract: The expansion history and thermal physical process that happened in the early Universe before big bang nucleosynthesis (BBN) remains relatively unconstrained by observations. Low reheating temperature universes with normalcy temperatures of $T_\mathrm{RH}\sim 2\,\mathrm{MeV}$ remain consistent with primordial nucleosynthesis, and accommodate several new physics scenarios that would normally be constrained by high-temperature reheating models, including massive sterile neutrinos. We explore such scenarios' production of keV scale sterile neutrinos and their resulting constraints from cosmological observations. The parameter space for massive sterile neutrinos is much less constrained than in high-$T_\mathrm{RH}$ thermal histories, though several cosmological constraints remain. Such parameter space is the target of several current and upcoming laboratory experiments such as TRISTAN (KATRIN), HUNTER, MAGNETO-$\nu$, and PTOLEMY. Cosmological constraints remain stringent for stable keV-scale sterile neutrinos. However, we show that sterile neutrinos with a dark decay to radiation through a $Z^\prime$ or a new scalar are largely unconstrained by cosmology. In addition, this mechanism of sterile neutrinos with large mixing may provide a solution to the Hubble tension. We find that keV-scale sterile neutrinos are therefore one of the best probes of the untested pre-BBN era in the early Universe and could be seen in upcoming laboratory experiments.


title: Comments on the comments by Lackner et al. on the series of papers about "A novel direct drive ultra-fast heating concept for ICF"

abstract: In this paper, we provide a response to the comments made by Lackner et al. regarding our series of recent papers on "A novel direct drive ultra-fast heating concept for ICF". Specifically, we comment on the necessity of fuel pre-compression in the ICF context.


title: Investigating the Atmospheric Mass Loss of the Kepler-105 Planets Straddling the Radius Gap

abstract: An intriguing pattern among exoplanets is the lack of detected planets between approximately $1.5$ R$_\oplus$ and $2.0$ R$_\oplus$. One proposed explanation for this "radius gap" is the photoevaporation of planetary atmospheres, a theory that can be tested by studying individual planetary systems. Kepler-105 is an ideal system for such testing due to the ordering and sizes of its planets. Kepler-105 is a sun-like star that hosts two planets straddling the radius gap in a rare architecture with the larger planet closer to the host star ($R_b = 2.53\pm0.07$ R$_\oplus$, $P_b = 5.41$ days, $R_c = 1.44\pm0.04$ R$_\oplus$, $P_c = 7.13$ days). If photoevaporation sculpted the atmospheres of these planets, then Kepler-105b would need to be much more massive than Kepler-105c to retain its atmosphere, given its closer proximity to the host star. To test this hypothesis, we simultaneously analyzed radial velocities (RVs) and transit timing variations (TTVs) of the Kepler-105 system, measuring disparate masses of $M_b = 10.8\pm2.3$ M$_\oplus$ ($ \rho_b = 0.97\pm0.22$ g cm$^{-3}$) and $M_c = 5.6\pm1.2$ M$_\oplus $ ($\rho_c = 2.64\pm0.61$ g cm$^{-3}$). Based on these masses, the difference in gas envelope content of the Kepler-105 planets could be entirely due to photoevaporation (in 76\% of scenarios), although other mechanisms like core-powered mass loss could have played a role for some planet albedos.


title: Chain-of-Verification Reduces Hallucination in Large Language Models

abstract: Generation of plausible yet incorrect factual information, termed hallucination, is an unsolved issue in large language models. We study the ability of language models to deliberate on the responses they give in order to correct their mistakes. We develop the Chain-of-Verification (CoVe) method whereby the model first (i) drafts an initial response; then (ii) plans verification questions to fact-check its draft; (iii) answers those questions independently so the answers are not biased by other responses; and (iv) generates its final verified response. In experiments, we show CoVe decreases hallucinations across a variety of tasks, from list-based questions from Wikidata, closed book MultiSpanQA and longform text generation.


title: Unveiling dark forces with the Large Scale Structure of the Universe

abstract: Cosmology offers opportunities to test Dark Matter independently of its interactions with the Standard Model. We study the imprints of long-range forces acting solely in the dark sector on the distribution of galaxies, the so-called Large Scale Structure (LSS). We derive the strongest constraint on such forces from a combination of Planck and BOSS data. Along the way we consistently develop, for the first time, the Effective Field Theory of LSS in the presence of new dynamics in the dark sector. We forecast that future surveys will improve the current bound by an order of magnitude.


title: FreeU: Free Lunch in Diffusion U-Net

abstract: In this paper, we uncover the untapped potential of diffusion U-Net, which serves as a "free lunch" that substantially improves the generation quality on the fly. We initially investigate the key contributions of the U-Net architecture to the denoising process and identify that its main backbone primarily contributes to denoising, whereas its skip connections mainly introduce high-frequency features into the decoder module, causing the network to overlook the backbone semantics. Capitalizing on this discovery, we propose a simple yet effective method-termed "FreeU" - that enhances generation quality without additional training or finetuning. Our key insight is to strategically re-weight the contributions sourced from the U-Net's skip connections and backbone feature maps, to leverage the strengths of both components of the U-Net architecture. Promising results on image and video generation tasks demonstrate that our FreeU can be readily integrated to existing diffusion models, e.g., Stable Diffusion, DreamBooth, ModelScope, Rerender and ReVersion, to improve the generation quality with only a few lines of code. All you need is to adjust two scaling factors during inference. Project page: https://chenyangsi.top/FreeU/.


title: Constrained quantization for a uniform distribution with respect to a family of constraints

abstract: In this paper, with respect to a family of constraints for a uniform probability distribution we determine the optimal sets of $n$-points and the $n$th constrained quantization errors for all positive integers $n$. We also calculate the constrained quantization dimension and the constrained quantization coefficient. The work in this paper shows that the constrained quantization dimension of an absolutely continuous probability measure depends on the family of constraints and is not always equal to the Euclidean dimension of the underlying space where the support of the probability measure is defined.


title: DreamLLM: Synergistic Multimodal Comprehension and Creation

abstract: This paper presents DreamLLM, a learning framework that first achieves versatile Multimodal Large Language Models (MLLMs) empowered with frequently overlooked synergy between multimodal comprehension and creation. DreamLLM operates on two fundamental principles. The first focuses on the generative modeling of both language and image posteriors by direct sampling in the raw multimodal space. This approach circumvents the limitations and information loss inherent to external feature extractors like CLIP, and a more thorough multimodal understanding is obtained. Second, DreamLLM fosters the generation of raw, interleaved documents, modeling both text and image contents, along with unstructured layouts. This allows DreamLLM to learn all conditional, marginal, and joint multimodal distributions effectively. As a result, DreamLLM is the first MLLM capable of generating free-form interleaved content. Comprehensive experiments highlight DreamLLM's superior performance as a zero-shot multimodal generalist, reaping from the enhanced learning synergy. Project page: https://dreamllm.github.io.


title: A Large-scale Dataset for Audio-Language Representation Learning

abstract: The AI community has made significant strides in developing powerful foundation models, driven by large-scale multimodal datasets. However, in the audio representation learning community, the present audio-language datasets suffer from limitations such as insufficient volume, simplistic content, and arduous collection procedures. To tackle these challenges, we present an innovative and automatic audio caption generation pipeline based on a series of public tools or APIs, and construct a large-scale, high-quality, audio-language dataset, named as Auto-ACD, comprising over 1.9M audio-text pairs. To demonstrate the effectiveness of the proposed dataset, we train popular models on our dataset and show performance improvement on various downstream tasks, namely, audio-language retrieval, audio captioning, environment classification. In addition, we establish a novel test set and provide a benchmark for audio-text tasks. The proposed dataset will be released at https://auto-acd.github.io/.


title: Intrinsic superconducting diode effects in tilted Weyl and Dirac semimetals

abstract: We explore Weyl and Dirac semimetals with tilted nodes as platforms for realizing an intrinsic superconducting diode effect. Although tilting breaks sufficient spatial and time-reversal symmetries, we prove that -- at least for conventional $s$-wave singlet pairing -- the effect is forbidden by an emergent particle-hole symmetry at low energies if the Fermi level is tuned to the nodes. Then, as a stepping stone to the three-dimensional semimetals, we analyze a minimal one-dimensional model with a tilted helical node using Ginzburg-Landau theory. While one might naively expect a drastic enhancement of the effect when the node turns from type-I to type-II, we find that the presence of multiple Fermi pockets is more important as it enables multiple pairing amplitudes with indepedent contributions to supercurrents in opposite directions. Equipped with this insight, we construct minimal lattice models of Weyl and Dirac semimetals and study the superconducting diode effect in them. Once again, we see a substantial enhancement when the normal state has multiple Fermi pockets per node that can accommodate more than one pairing channel. In summary, this study sheds light on the key factors governing the intrinsic superconducting diode effect in systems with asymmetric band structures and paves the way for realizing it in topological semimetals.


title: On the damping of tidally driven oscillations

abstract: Expansions in the oscillation modes of tidally perturbed bodies provide a useful framework for representing tidally induced flows. However, recent work has demonstrated that such expansions produce inaccurate predictions for secular orbital evolution when mode damping rates are computed independently. We explore the coupling of collectively driven modes by frictional and viscous dissipation, in tidally perturbed bodies that are both non-rotating and rigidly rotating. This exploration leads us to propose an alternative approach to treating the damping of tidally driven oscillations that accounts for dissipative mode coupling, but which does not require any information beyond the eigenfunctions and eigenfrequencies of adiabatic modes.


title: Fairness Vs. Personalization: Towards Equity in Epistemic Utility

abstract: The applications of personalized recommender systems are rapidly expanding: encompassing social media, online shopping, search engine results, and more. These systems offer a more efficient way to navigate the vast array of items available. However, alongside this growth, there has been increased recognition of the potential for algorithmic systems to exhibit and perpetuate biases, risking unfairness in personalized domains. In this work, we explicate the inherent tension between personalization and conventional implementations of fairness. As an alternative, we propose equity to achieve fairness in the context of epistemic utility. We provide a mapping between goals and practical implementations and detail policy recommendations across key stakeholders to forge a path towards achieving fairness in personalized systems.


title: Data-Driven Model For Heat Load Prediction In Buildings Connected To District Heating Networks

abstract: In this study we investigate the heat load patterns in one building using multi-step forecasting model. We combine the Autoregressive models that use multiple eXogenous variables (ARX) with Seasonally adaptable Time of Week and Climate dependent models (S-TOW-C) (to correct model inaccuracies), to obtain a robust and accurate regression model that we called S-TOW-C-ARX used in time series forecasting. Based on the experiment results, it has been shown that the proposed model is suitable for short term heat load forecasting. The best forecasting performance is achieved in winter term where the prediction values are from 4 to 20 % away from the targets, which are commonly seen as very good values.


title: Modeling and indexing the drought severity by augmenting SPI metric system to incorporate multi-modal ground temperature data

abstract: Drought is a global threat caused by the persistent challenges of climate change. It is important to identify drought conditions based on the weather variables and their patterns. In this study, we enhanced the Standardized Precipitation Index (SPI) by integrating ground temperature data to develop a more comprehensive metric for evaluating drought severity. Our metric offers a dual assessment of drought severity, taking into account both the intensity of the drought and its duration. We employ this evaluation in the primary paddy cultivation region of Sri Lanka, with the aim of shedding light on the prevailing drought conditions affecting paddy crops due to insufficient water supply and prolonged periods of elevated temperatures. Additionally, we calibrate our metric by aligning it with historical drought records and subsequently compare the outcomes with those derived from the conventional SPI index.


title: Matching Table Metadata with Business Glossaries Using Large Language Models

abstract: Enterprises often own large collections of structured data in the form of large databases or an enterprise data lake. Such data collections come with limited metadata and strict access policies that could limit access to the data contents and, therefore, limit the application of classic retrieval and analysis solutions. As a result, there is a need for solutions that can effectively utilize the available metadata. In this paper, we study the problem of matching table metadata to a business glossary containing data labels and descriptions. The resulting matching enables the use of an available or curated business glossary for retrieval and analysis without or before requesting access to the data contents. One solution to this problem is to use manually-defined rules or similarity measures on column names and glossary descriptions (or their vector embeddings) to find the closest match. However, such approaches need to be tuned through manual labeling and cannot handle many business glossaries that contain a combination of simple as well as complex and long descriptions. In this work, we leverage the power of large language models (LLMs) to design generic matching methods that do not require manual tuning and can identify complex relations between column names and glossaries. We propose methods that utilize LLMs in two ways: a) by generating additional context for column names that can aid with matching b) by using LLMs to directly infer if there is a relation between column names and glossary descriptions. Our preliminary experimental results show the effectiveness of our proposed methods.


title: AdBooster: Personalized Ad Creative Generation using Stable Diffusion Outpainting

abstract: In digital advertising, the selection of the optimal item (recommendation) and its best creative presentation (creative optimization) have traditionally been considered separate disciplines. However, both contribute significantly to user satisfaction, underpinning our assumption that it relies on both an item's relevance and its presentation, particularly in the case of visual creatives. In response, we introduce the task of {\itshape Generative Creative Optimization (GCO)}, which proposes the use of generative models for creative generation that incorporate user interests, and {\itshape AdBooster}, a model for personalized ad creatives based on the Stable Diffusion outpainting architecture. This model uniquely incorporates user interests both during fine-tuning and at generation time. To further improve AdBooster's performance, we also introduce an automated data augmentation pipeline. Through our experiments on simulated data, we validate AdBooster's effectiveness in generating more relevant creatives than default product images, showing its potential of enhancing user engagement.


title: Towards LLM-based Autograding for Short Textual Answers

abstract: Grading of exams is an important, labor intensive, subjective, repetitive and frequently challenging task. The feasibility of autograding textual responses has greatly increased thanks to the availability of large language models (LLMs) such as ChatGPT and because of the substantial influx of data brought about by digitalization. However, entrusting AI models with decision-making roles raises ethical considerations, mainly stemming from potential biases and issues related to generating false information. Thus, in this manuscript we provide an evaluation of a large language model for the purpose of autograding, while also highlighting how LLMs can support educators in validating their grading procedures. Our evaluation is targeted towards automatic short textual answers grading (ASAG), spanning various languages and examinations from two distinct courses. Our findings suggest that while "out-of-the-box" LLMs provide a valuable tool to provide a complementary perspective, their readiness for independent automated grading remains a work in progress, necessitating human oversight.


title: Using causal inference to avoid fallouts in data-driven parametric analysis: a case study in the architecture, engineering, and construction industry

abstract: The decision-making process in real-world implementations has been affected by a growing reliance on data-driven models. We investigated the synergetic pattern between the data-driven methods, empirical domain knowledge, and first-principles simulations. We showed the potential risk of biased results when using data-driven models without causal analysis. Using a case study assessing the implication of several design solutions on the energy consumption of a building, we proved the necessity of causal analysis during the data-driven modeling process. We concluded that: (a) Data-driven models' accuracy assessment or domain knowledge screening may not rule out biased and spurious results; (b) Data-driven models' feature selection should involve careful consideration of causal relationships, especially colliders; (c) Causal analysis results can be used as an aid to first-principles simulation design and parameter checking to avoid cognitive biases. We proved the benefits of causal analysis when applied to data-driven models in building engineering.


title: When is a Foundation Model a Foundation Model

abstract: Recently, several studies have reported on the fine-tuning of foundation models for image-text modeling in the field of medicine, utilizing images from online data sources such as Twitter and PubMed. Foundation models are large, deep artificial neural networks capable of learning the context of a specific domain through training on exceptionally extensive datasets. Through validation, we have observed that the representations generated by such models exhibit inferior performance in retrieval tasks within digital pathology when compared to those generated by significantly smaller, conventional deep networks.


title: QUAVER: Quantum Unfoldment through Visual Engagement and Storytelling Resources

abstract: The task of providing effective instruction and facilitating comprehension of resources is a substantial difficulty in the field of Quantum Computing, mostly attributable to the complicated nature of the subject matter. Our research-based observational study "QUAVER" is rooted on the premise that the use of visual tools and narrative constructions has the potential to significantly augment comprehension and involvement within this domain. Prominent analytical techniques, such as the two-sample t-test, revealed a significant statistical difference between the two groups, as shown by the t-statistic and p-value, highlighting the considerable effectiveness of the visual-narrative strategy. One crucial aspect of our study is on the implementation of an exciting algorithmic framework designed specifically to optimize the integration of visual and narrative components in an integrated way. This algorithm utilizes sophisticated heuristic techniques to seamlessly integrate visual data and stories, offering learners a coherent and engaging instructional experience. The design of the material effectively manages the interplay between visual signals and narrative constructions, resulting in an ideal level of engagement and understanding for quantum computing subject. The results of our study strongly support the alternative hypothesis, providing evidence that the combination of visual information and stories has a considerable positive impact on participation in quantum computing education. This study not only introduces a significant approach to teaching quantum computing but also demonstrates the wider effectiveness of visual and narrative aids in complex scientific education in the digital age.


title: Multidimensional well-being of US households at a fine spatial scale using fused household surveys: fusionACS

abstract: Social science often relies on surveys of households and individuals. Dozens of such surveys are regularly administered by the U.S. government. However, they field independent, unconnected samples with specialized questions, limiting research questions to those that can be answered by a single survey. The fusionACS project seeks to integrate data from multiple U.S. household surveys by statistically "fusing" variables from "donor" surveys onto American Community Survey (ACS) microdata. This results in an integrated microdataset of household attributes and well-being dimensions that can be analyzed to address research questions in ways that are not currently possible. The presented data comprise the fusion onto the ACS of select donor variables from the Residential Energy Consumption Survey (RECS) of 2015, the National Household Transportation Survey (NHTS) of 2017, the American Housing Survey (AHS) of 2019, and the Consumer Expenditure Survey - Interview (CEI) for the years 2015-2019. The underlying statistical techniques are included in an open-source $R$ package, fusionModel, that provides generic tools for the creation, analysis, and validation of fused microdata.


title: Gene Expression Patterns of CsZCD and Apocarotenoid Accumulation during Saffron Stigma Development

abstract: Crocus sativus L., otherwise known as saffron, is a highly prized plant due to its unique triploid capability and elongated stigmas, contributing to its status as the costly spice globally. The color and taste properties of saffron are linked to carotenoid elements including cis- and trans-crocin, picrocrocin, and safranal. In the research carried out, we dedicated our attention to the gene CsZCD, an important player in the formation of apocarotenoids. Through the application of real-time polymerase chain reaction to RNA purified from saffron stigmas at various growth phases, it was determined that the peak expression of the CsZCD gene coincided with the red stage, which is associated with the highest concentration of apocarotenoids. The data showed a 2.69-fold enhancement in CsZCD gene expression during the red phase, whereas a 0.90-fold and 0.69-fold reduction was noted at the stages characterized by orange and yellow hues, respectively. A noteworthy observation was that CsZCD's expression was three times that of the CsTUB gene. Additionally, relative to CsTUB, CsLYC displayed 0.7-fold and 0.3-times expression. Our investigation provides insight into the governance of CsZCD during stigma maturation and its possible influence on the fluctuation in apocarotenoid content. These discoveries carry significance for the industrial production of saffron spice and underscore the importance of additional studies on pivotal genes participating in the synthesis of apocarotenoids.


title: Breaking Cycles, the Odd Versus the Even

abstract: In an award-winning expository article, V. Pozdnyakov and J.M. Steele gave a beautiful demonstration of the ramifications of a basic bijection for permutations. The aim of this note is to connect this correspondence to a seemingly unrelated problem concerning odd cycles and even cycles, arising in the combinatorial study of the Cayley continuants by E. Munarini and D. Torri. In extreme cases, one encounters two special classes of permutations of $2n$ elements with the same cardinality. A bijection of this appealing relation has been found by E. Sayag. A combinatorial study of permutations with only odd cycles has been carried out by M. B\'ona, A. Mclennan and D. White. We find an intermediate structure which leads to a linkage between these two antipodal structures. A recursive setting reveals that everything boils down to only one trick -- breaking the cycles.


title: Towards Differential Privacy in Sequential Recommendation: A Noisy Graph Neural Network Approach

abstract: With increasing frequency of high-profile privacy breaches in various online platforms, users are becoming more concerned about their privacy. And recommender system is the core component of online platforms for providing personalized service, consequently, its privacy preservation has attracted great attention. As the gold standard of privacy protection, differential privacy has been widely adopted to preserve privacy in recommender systems. However, existing differentially private recommender systems only consider static and independent interactions, so they cannot apply to sequential recommendation where behaviors are dynamic and dependent. Meanwhile, little attention has been paid on the privacy risk of sensitive user features, most of them only protect user feedbacks. In this work, we propose a novel DIfferentially Private Sequential recommendation framework with a noisy Graph Neural Network approach (denoted as DIPSGNN) to address these limitations. To the best of our knowledge, we are the first to achieve differential privacy in sequential recommendation with dependent interactions. Specifically, in DIPSGNN, we first leverage piecewise mechanism to protect sensitive user features. Then, we innovatively add calibrated noise into aggregation step of graph neural network based on aggregation perturbation mechanism. And this noisy graph neural network can protect sequentially dependent interactions and capture user preferences simultaneously. Extensive experiments demonstrate the superiority of our method over state-of-the-art differentially private recommender systems in terms of better balance between privacy and accuracy.


title: Private Matrix Factorization with Public Item Features

abstract: We consider the problem of training private recommendation models with access to public item features. Training with Differential Privacy (DP) offers strong privacy guarantees, at the expense of loss in recommendation quality. We show that incorporating public item features during training can help mitigate this loss in quality. We propose a general approach based on collective matrix factorization (CMF), that works by simultaneously factorizing two matrices: the user feedback matrix (representing sensitive data) and an item feature matrix that encodes publicly available (non-sensitive) item information. The method is conceptually simple, easy to tune, and highly scalable. It can be applied to different types of public item data, including: (1) categorical item features; (2) item-item similarities learned from public sources; and (3) publicly available user feedback. Furthermore, these data modalities can be collectively utilized to fully leverage public data. Evaluating our method on a standard DP recommendation benchmark, we find that using public item features significantly narrows the quality gap between private models and their non-private counterparts. As privacy constraints become more stringent, models rely more heavily on public side features for recommendation. This results in a smooth transition from collaborative filtering to item-based contextual recommendations.


title: The Stein theorem for loopless 2-connected plane multigraphs

abstract: Stein proved that for each simple plane triangulation H there exists a partitioning of the vertex of H into two subsets each of which induces a forest if and only if the dual H^{*} has a Hamilton cycle. We extend the Stein theorem for graphs in the family of all loopless 2-connected plane multigraphs and we prove some other equivalent results.


title: Ad-load Balancing via Off-policy Learning in a Content Marketplace

abstract: Ad-load balancing is a critical challenge in online advertising systems, particularly in the context of social media platforms, where the goal is to maximize user engagement and revenue while maintaining a satisfactory user experience. This requires the optimization of conflicting objectives, such as user satisfaction and ads revenue. Traditional approaches to ad-load balancing rely on static allocation policies, which fail to adapt to changing user preferences and contextual factors. In this paper, we present an approach that leverages off-policy learning and evaluation from logged bandit feedback. We start by presenting a motivating analysis of the ad-load balancing problem, highlighting the conflicting objectives between user satisfaction and ads revenue. We emphasize the nuances that arise due to user heterogeneity and the dependence on the user's position within a session. Based on this analysis, we define the problem as determining the optimal ad-load for a particular feed fetch. To tackle this problem, we propose an off-policy learning framework that leverages unbiased estimators such as Inverse Propensity Scoring (IPS) and Doubly Robust (DR) to learn and estimate the policy values using offline collected stochastic data. We present insights from online A/B experiments deployed at scale across over 80 million users generating over 200 million sessions, where we find statistically significant improvements in both user satisfaction metrics and ads revenue for the platform.


title: Optimization of Balanced Detector for Coherent Receiver on Generic InP Platform by PSO

abstract: Balanced photodetector (BPD) is an important component for high-speed coherent receiver. Optimization strategy of waveguide-based multi-quantum well (MQW) BPDs, operating at 1550 nm is demonstrated on generic InP platform. Design parameters of BPD are optimized towards achieving the highest bandwidth for a responsivity through an algorithm based on Particle Swarm Optimization (PSO). We do so by establishing an equivalent circuit model of BPD and analyzing its opto-electronic transfer function through numerical modelling. We address the major bottlenecks of high-speed BPDs: transit time of generated carriers and RC loading in our model. The algorithm is able to provide multiple combinations of design parameters with the same output characteristics. Design methodology to integrate laser with optimized BPD is presented to successfully implement coherent receiver.


title: Advancing time- and angle-resolved photoemission spectroscopy: The role of ultrafast laser development

abstract: In the last decade, there has been a proliferation of laser sources for time- and angle-resolved photoemission spectroscopy (TR-ARPES), building on the proven capability of this technique to tackle important scientific questions. In this review, we aim to identify the key motivations and technologies that spurred the development of various laser sources, from frequency up-conversion in nonlinear crystals to high-harmonic generation in gases. We begin with a historical overview of the field in Sec.1, framed by advancements in light source and electron spectrometer technology. An introduction to the fundamental aspects of the photoemission process and the observables that can be studied is given in Sec.2, along with its dependencies on the pump and probe pulse parameters. The technical aspects of TR-ARPES are discussed in Sec.3. Here, experimental limitations such as space charge and resultant trade-offs in source parameters are discussed. Details of various systems and their approach to these trade-offs are given in Sec.4. Within this discussion, we present a survey of TR-ARPES laser sources; a meta-analysis of these source parameters showcases the advancements and trends in modern systems. Lastly, we conclude with a brief discussion of future directions for TR-ARPES and its capabilities in elucidating equilibrium and non-equilibrium observables, as well as its integration with micro-ARPES and spin-resolved ARPES (Sec.5).


title: Incentivized Third Party Collateralization for Stablecoins

abstract: Stablecoins, which are primarily intended to function as a global reserve of value are insubstantial in their design and present many failure points. The primary mechanism to enable these coins to hold on to a fixed value is by backing them with collateral. Fiat collateralized stablecoins require users to trust a centralized entity, which breaks the total concept of decentralization. Crypto collateralized stablecoins have issues involving high collateral requirements and introduces risks of auto-liquidation. In this paper we aim to propose an alternative architecture for the creation of a functional and secure stablecoin.


title: Modeling Current and Future High-Cadence Surveys of Repeating FRB Populations

abstract: In recent years, the CHIME (Canadian Hydrogen Intensity Mapping Experiment) interferometer has revealed a large number of Fast Radio Bursts (FRBs), including a sizable population that demonstrates repeating behavior. This transit facility, employing a real-time FRB search pipeline, continually scans the sky with declinations between $-10^{\circ}$ and $90^{\circ}$ for events with fluences $\gtrapprox 0.4$ Jy ms. We simulate a population of repeating FRBs by performing Monte Carlo simulations of underlying source populations processed through a mock CHIME/FRB observing pipeline. Assuming intrinsic repeater rates follow a Poisson distribution, we test assumptions about the burst populations of the repeater sample, and construct models of the FRB sample assuming various cosmological distributions. We infer the completeness of CHIME/FRB observations as a function of observing cadence and redshifts out to 0.5. We find that, if all simulated bursts have a fixed Poisson probability of repetition over their integrated time of observation, repeating burst detections across comoving volume should continue to grow near linearly on the order of decades. We predict that around 170 of the current CHIME/FRB one-off sources will ultimately repeat. We also make projections for FRB repeaters by future facilities and demonstrate that the number of repeaters they find could saturate on a $\sim$3 yr timescale.


title: RMT: Retentive Networks Meet Vision Transformers

abstract: Vision Transformer (ViT) has gained increasing attention in the computer vision community in recent years. However, the core component of ViT, Self-Attention, lacks explicit spatial priors and bears a quadratic computational complexity, thereby constraining the applicability of ViT. To alleviate these issues, we draw inspiration from the recent Retentive Network (RetNet) in the field of NLP, and propose RMT, a strong vision backbone with explicit spatial prior for general purposes. Specifically, we extend the RetNet's temporal decay mechanism to the spatial domain, and propose a spatial decay matrix based on the Manhattan distance to introduce the explicit spatial prior to Self-Attention. Additionally, an attention decomposition form that adeptly adapts to explicit spatial prior is proposed, aiming to reduce the computational burden of modeling global information without disrupting the spatial decay matrix. Based on the spatial decay matrix and the attention decomposition form, we can flexibly integrate explicit spatial prior into the vision backbone with linear complexity. Extensive experiments demonstrate that RMT exhibits exceptional performance across various vision tasks. Specifically, without extra training data, RMT achieves **84.8%** and **86.1%** top-1 acc on ImageNet-1k with **27M/4.5GFLOPs** and **96M/18.2GFLOPs**. For downstream tasks, RMT achieves **54.5** box AP and **47.2** mask AP on the COCO detection task, and **52.8** mIoU on the ADE20K semantic segmentation task. Code is available at https://github.com/qhfan/RMT


title: Magnetic Fusion Plasma Drive

abstract: In the evolving realm of space exploration, efficient propulsion methods are paramount to achieve interplanetary and possibly interstellar voyages. Traditional propulsion systems, although proven, offer limited capabilities when considering longer-duration missions beyond our immediate cosmic vicinity. This paper introduces and thoroughly investigates the Magnetic Fusion Plasma Drive (MFPD) propulsion system, a novel fusion-powered propulsion mechanism. Through rigorous theoretical underpinnings and mathematical formulations, we elucidate the principles governing fusion reactions in the context of propulsion, plasma dynamics, and magnetic confinement in space. Comparative analyses indicate significant advantages of the MFPD system over existing technologies, particularly in fuel efficiency, thrust capabilities, and potential scalability. Example calculations further substantiate the immense energy potential and feasibility of the MFPD for long-duration missions. While challenges remain, the MFPD system embodies a promising avenue for a propulsion paradigm shift, potentially revolutionizing our approach to space exploration.


title: Light Field Diffusion for Single-View Novel View Synthesis

abstract: Single-view novel view synthesis (NVS), the task of generating images from new viewpoints based on a single reference image, is important but challenging in computer vision. Recent advancements in NVS have leveraged Denoising Diffusion Probabilistic Models (DDPMs) for their exceptional ability to produce high-fidelity images. However, current diffusion-based methods typically utilize camera pose matrices to globally and implicitly enforce 3D constraints, which can lead to inconsistencies in images generated from varying viewpoints, particularly in regions with complex textures and structures. To address these limitations, we present Light Field Diffusion (LFD), a novel conditional diffusion-based approach that transcends the conventional reliance on camera pose matrices. Starting from the camera pose matrices, LFD transforms them into light field encoding, with the same shape as the reference image, to describe the direction of each ray. By integrating light field encoding with the reference image, our method imposes local pixel-wise constraints within the diffusion process, fostering enhanced view consistency. Our approach not only involves training image LFD on the ShapeNet Car dataset but also includes fine-tuning a pre-trained latent diffusion model on the Objaverse dataset. This enables our latent LFD model to exhibit remarkable zero-shot generalization capabilities across out-of-distribution datasets like RTMV as well as in-the-wild images. Experiments demonstrate that LFD not only produces high-fidelity images but also achieves superior 3D consistency in complex regions, outperforming existing novel view synthesis methods.


title: Likelihood-based Sensor Calibration using Affine Transformation

abstract: An important task in the field of sensor technology is the efficient implementation of adaptation procedures of measurements from one sensor to another sensor of identical design. One idea is to use the estimation of an affine transformation between different systems, which can be improved by the knowledge of experts. This paper presents an improved solution from Glacier Research that was published back in 1973. The results demonstrate the adaptability of this solution for various applications, including software calibration of sensors, implementation of expert-based adaptation, and paving the way for future advancements such as distributed learning methods. One idea here is to use the knowledge of experts for estimating an affine transformation between different systems. We evaluate our research with simulations and also with real measured data of a multi-sensor board with 8 identical sensors. Both data set and evaluation script are provided for download. The results show an improvement for both the simulation and the experiments with real data.


title: TrueLearn: A Python Library for Personalised Informational Recommendations with (Implicit) Feedback

abstract: This work describes the TrueLearn Python library, which contains a family of online learning Bayesian models for building educational (or more generally, informational) recommendation systems. This family of models was designed following the "open learner" concept, using humanly-intuitive user representations. For the sake of interpretability and putting the user in control, the TrueLearn library also contains different representations to help end-users visualise the learner models, which may in the future facilitate user interaction with their own models. Together with the library, we include a previously publicly released implicit feedback educational dataset with evaluation metrics to measure the performance of the models. The extensive documentation and coding examples make the library highly accessible to both machine learning developers and educational data mining and learning analytic practitioners. The library and the support documentation with examples are available at https://truelearn.readthedocs.io/en/latest.


title: Learning Complete Topology-Aware Correlations Between Relations for Inductive Link Prediction

abstract: Inductive link prediction -- where entities during training and inference stages can be different -- has shown great potential for completing evolving knowledge graphs in an entity-independent manner. Many popular methods mainly focus on modeling graph-level features, while the edge-level interactions -- especially the semantic correlations between relations -- have been less explored. However, we notice a desirable property of semantic correlations between relations is that they are inherently edge-level and entity-independent. This implies the great potential of the semantic correlations for the entity-independent inductive link prediction task. Inspired by this observation, we propose a novel subgraph-based method, namely TACO, to model Topology-Aware COrrelations between relations that are highly correlated to their topological structures within subgraphs. Specifically, we prove that semantic correlations between any two relations can be categorized into seven topological patterns, and then proposes Relational Correlation Network (RCN) to learn the importance of each pattern. To further exploit the potential of RCN, we propose Complete Common Neighbor induced subgraph that can effectively preserve complete topological patterns within the subgraph. Extensive experiments demonstrate that TACO effectively unifies the graph-level information and edge-level interactions to jointly perform reasoning, leading to a superior performance over existing state-of-the-art methods for the inductive link prediction task.


title: Anomalous orbital expansion of low-mass X-ray binary 2A 1822-371: the existence of a circumbinary disk?

abstract: The source 2A 1822-371 is an eclipsing low-mass X-ray binary (LMXB) consisting of a neutron star (NS) and a $\sim0.5~M_{\odot}$ donor star in an orbit of 5.57 hr. Based on timing of the eclipse arrival times, this source was found to be experiencing a rapid orbital expansion with an orbital-period derivative as $\dot{P}_{\rm orb}=(1.51\pm0.05)\times10^{-10}~\rm s\, s^{-1}$, implying that the mass-transfer rate should be higher than at least three times the Eddington accretion rate. The standard magnetic braking (MB) model cannot produce such a high mass-transfer rate. The modified MB model derived by Van \& Ivanova (2019) can produce a high mass-transfer rate, resulting in a high $\dot{P}_{\rm orb}$. This work proposes an alternative model to account for the anomalously high mass-transfer rate and $\dot{P}_{\rm orb}$ of 2A 1822-371. During the mass transfer, a tiny fraction of the transferred material is thought to form a circumbinary (CB) disk around the LMXB, which can efficiently extract orbital angular momentum from the system by the interaction between the CB disk and the binary. We use the MESA code to model the formation and evolution of 2A 1822-371 for different CB-disk masses. When the CB-disk mass is $2.3\times10^{-8}~ M_{\odot}$, the simulation can reproduce the observed donor-star mass, orbital period, and orbital-period derivative. Such a CB disk can accelerate the evolution of the binary and produce a high mass transfer rate of $1.9\times10^{-7}~ M_\odot\,\rm yr^{-1}$, driving the binary to evolve toward a wide-orbit system. Therefore, we propose that CB disks may be responsible for the rapid orbital changes observed in some LMXBs.