title: Simplified discrete model for axisymmetric dielectric elastomer membranes with robotic applications

abstract: Soft robots utilizing inflatable dielectric membranes can realize intricate functionalities through the application of non-mechanical fields. However, given the current limitations in simulations, including low computational efficiency and difficulty in dealing with complex external interactions, the design and control of such soft robots often require trial and error. Thus, a novel one-dimensional (1D) discrete differential geometry (DDG)-based numerical model is developed for analyzing the highly nonlinear mechanics in axisymmetric inflatable dielectric membranes. The model captures the intricate dynamics of these membranes under both inflationary pressure and electrical stimulation. Comprehensive validations using hyperelastic benchmarks demonstrate the model's accuracy and reliability. Additionally, the focus on the electro-mechanical coupling elucidates critical insights into the membrane's behavior under varying internal pressures and electrical loads. The research further translates these findings into innovative soft robotic applications, including a spherical soft actuator, a soft circular fluid pump, and a soft toroidal gripper, where the snap-through of electroelastic membrane plays a crucial role. Our analyses reveal that the functional ranges of soft robots are amplified by the snap-through of an electroelastic membrane upon electrical stimuli. This study underscores the potential of DDG-based simulations to advance the understanding of the nonlinear mechanics of electroelastic membranes and guide the design of electroelastic actuators in soft robotics applications.


title: Vacuum structure of an eight-dimensional $SU(3)$ gauge theory on a magnetized torus

abstract: We analyze the vacuum structure of an eight-dimensional non-abelian gauge theory with a compactified four-dimensional torus as the extra dimensions. As a non-trivial background configuration of the gauge field of an $SU(n)$ gauge group, we suppose a magnetic flux in two extra dimensions, and continuous Wilson line phases are also involved. We introduce matter fields and calculate the mass spectrum of low-energy modes appearing in a four-dimensional effective theory in an $SU(3)$ model as an explicit example. As expected, potentially tachyonic states in four-dimensional modes appear from extra-dimensional gauge fields that couple to the flux background since the gauge group is simply connected. The Wilson line phases give a non-vanishing contribution to their masses, and we have a low-energy mass spectrum without tachyonic states, given that these phases take an appropriate value. To verify the validity of the values of the Wilson line phases, we examine the one-loop effective potential for these phases and explicitly show the contribution from each type of field present in our model. It is clarified that, although there seems to be no local minimum in the potential for the Wilson line phases in the pure Yang-Mills case, by including matter fields, we could find a vacuum configuration where tachyonic states disappear. Hence, non-abelian gauge theory with flux background can be used to construct phenomenologically interesting theories beyond the standard model, such as gauge-Higgs unification and grand unified theories.


title: Simulation and design of isostatic thick origami structures

abstract: Thick origami structures are considered here as assemblies of polygonal panels hinged to each other along their edges according to a corresponding origami crease pattern. The determination of the internal actions caused by external loads in such structures is not an easy task, owing to their high degree of static indeterminacy, and the likelihood of unwanted self-balanced internal actions induced by manufacturing imperfections. Here we present a method for reducing the degree of static indeterminacy which can be applied to several thick origami structures to make them isostatic. The method utilizes sliding hinges, which permit also the relative translation along the hinge axis, to replace conventional hinges. After giving the analytical description of both types of hinges and describing a rigid folding simulation procedure based on the integration of the exponential map, we present the static analysis of a series of noteworthy examples based on the Miura-ori pattern, the Yoshimura pattern, and the Kresling pattern. The method can be applied for the design and realization of thick origami structures with adequate strength to resist external actions.


title: On the derivation of the equilibrium equations in terms of displacement

abstract: The study shows that errors exist in the derivation of equilibrium equations in terms of displacement. It is discovered that when the equilibrium equations in terms of displacement are derived, the variation of the differential order of displacement may cause the variation of the stress state in an elastomer. For plane stress problems, the Lame-Navier equations are not equivalent to the equilibrium equations described with stress. By submitting the displacement field of the well-known issue of a rectangular beam purely bent into the Lame-Navier equations, the conclusion is confirmed. It is also revealed that the velocity of longitudinal wave in an elastomer is affected by its thickness.


title: A molecular perspective on the emergence of long-range polar order from an isotropic fluid

abstract: The ferroelectric nematic phase (N$_{\text{F}}$) has quickly become the most studied system in liquid crystal research. In this work, we investigate the origin of such polar structure by studying a compound for which the N$_{\text{F}}$ phase directly follows the isotropic liquid phase on cooling, making it a particularly interesting system. Our experimental results evidence the presence of polar correlations already in the high-temperature phase, in which ferroelectric order can be induced under a sufficiently strong electric field. In the N$_{\text{F}}$ phase, molecular dynamics and polar correlations are investigated through detailed dynamic dielectric measurements, while second harmonic generation experiments evidence a large value of the main coefficient of the second order dielectric susceptibility tensor. Lastly, experimentally determined parameters are employed for calculations based on a recently proposed theoretical model for the stability of the N$_{\text{F}}$ phase. The obtained results suggest that the parallel alignment of dipoles is driven by a subtle interplay between electrostatic and excluded volume interactions.


title: Mixing in superhydrophobic biomimetic rose petal passive microchannel

abstract: Laminar flow prevails in microfluidic channels, and mixing is limited by the slow diffusive process at the interface between the mixing liquids. Whitesides and co-workers demonstrated a chaotic mixer by patterning the floor of the microchannel with obliquely oriented microridges. This creates an anisotropic resistance to flow, inducing exponential increase in stretching and folding of fluid elements leading to a dramatic increase in mixing. Rose petals that have micro papillae decorated with nanofolds, present a unique biomimetic, superhydrophobic, super adhesive surface. In the present work, a positive and negative replica of the rose petal surface was created using a simple, inexpensive soft lithographic technique and these replicas formed the floor of the microchannel. The floor of the channel naturally presents alternating slip and no slip boundary conditions for the fluid flow that in turn provides anisotropic drag reduction. We find that mixing index obtained for positive replica floor channel is distinctly higher than that of a negative replica floor channel. The variation in mixing index with Peclet number for the replicated channels are explained by characterizing their wetting behavior using contact angle and confocal microscopy. The enhancement in mixing due to the patterning of the floor is quantified by calculating the percentage change in mixing in the replicated channels from the corresponding simple Y channel values. The maximum percentage change is obtained for the positive replica floor channel (77.2 %) and compares well with chaotic mixer having obliquely oriented ridges on the floor (74.7 %).


title: Toeplitz algebra and Symbol map via Berezin transform on $H^2(\mathbb{D}^n)$

abstract: Let $\mathscr{T}(L^{\infty}(\mathbb{T}))$ be the Toeplitz algebra, that is, the $C^*$-algebra generated by the set $\{T_{\phi} : \phi\in L^{\infty}(\mathbb{T})\}$. Douglas's theorem on symbol map states that there exists a $C^*$-algebra homomorphism from $\mathscr{T}(L^{\infty}(\mathbb{T}))$ onto $L^{\infty}(\mathbb{T})$ such that $T_{\phi}\mapsto \phi$ and the kernel of the homomorphism coincides with commutator ideal in $\mathscr{T}(L^{\infty}(\mathbb{T}))$. In this paper, we use the Berezin transform to study results akin to Douglas's theorem for operators on the Hardy space $H^2(\mathbb{D}^n)$ over the open unit polydisc $\mathbb{D}^n$ for $n\geq 1$. We further obtain a class of bigger $C^*$-algebras than the Toeplitz algebra $\mathscr{T}(L^{\infty}(\mathbb{T}^n))$ for which the analog of symbol map still holds true.


title: LIFL: A Lightweight, Event-driven Serverless Platform for Federated Learning

abstract: Federated Learning (FL) typically involves a large-scale, distributed system with individual user devices/servers training models locally and then aggregating their model updates on a trusted central server. Existing systems for FL often use an always-on server for model aggregation, which can be inefficient in terms of resource utilization. They may also be inelastic in their resource management. This is particularly exacerbated when aggregating model updates at scale in a highly dynamic environment with varying numbers of heterogeneous user devices/servers. We present LIFL, a lightweight and elastic serverless cloud platform with fine-grained resource management for efficient FL aggregation at scale. LIFL is enhanced by a streamlined, event-driven serverless design that eliminates the individual heavy-weight message broker and replaces inefficient container-based sidecars with lightweight eBPF-based proxies. We leverage shared memory processing to achieve high-performance communication for hierarchical aggregation, which is commonly adopted to speed up FL aggregation at scale. We further introduce locality-aware placement in LIFL to maximize the benefits of shared memory processing. LIFL precisely scales and carefully reuses the resources for hierarchical aggregation to achieve the highest degree of parallelism while minimizing the aggregation time and resource consumption. Our experimental results show that LIFL achieves significant improvement in resource efficiency and aggregation speed for supporting FL at scale, compared to existing serverful and serverless FL systems.


title: Examination of flow birefringence induced by the shear components along the optical axis using a parallel-plate-type rheometer

abstract: In this study, the concept of rheo-optics is applied that explores the flow birefringence caused by stress components along the optical axis of the camera since it is often overlooked in the traditional theories of photoelastic flow measurement. A novel aspect of this research is that it involved conducting polarization measurements on simple shear flows, specifically from a perspective in which a shear-velocity gradient exists along the camera's optical axis. A parallel-plate-type rheometer and a polarization camera are employed for these systematic measurements. The experimental findings for dilute aqueous cellulose nanocrystal suspensions demonstrates that the flow birefringence can be expressed as a power law based on the power of the second invariant of the deformation-rate tensor. This suggests that flow birefringence can be universally characterized by the coordinate-independent invariants and a pre-factor determined by the direction of polarization measurement. By adjusting the nonlinear term in the stress-optic law, its applicability could be expanded to include three-dimensional fluid stress fields in which the stress is distributed along the camera's optical axis.


title: Untargeted Adversarial Attack on Knowledge Graph Embeddings

abstract: Knowledge graph embedding (KGE) methods have achieved great success in handling various knowledge graph (KG) downstream tasks. However, KGE methods may learn biased representations on low-quality KGs that are prevalent in the real world. Some recent studies propose adversarial attacks to investigate the vulnerabilities of KGE methods, but their attackers are target-oriented with the KGE method and the target triples to predict are given in advance, which lacks practicability. In this work, we explore untargeted attacks with the aim of reducing the global performances of KGE methods over a set of unknown test triples and conducting systematic analyses on KGE robustness. Considering logic rules can effectively summarize the global structure of a KG, we develop rule-based attack strategies to enhance the attack efficiency. In particular,we consider adversarial deletion which learns rules, applying the rules to score triple importance and delete important triples, and adversarial addition which corrupts the learned rules and applies them for negative triples as perturbations. Extensive experiments on two datasets over three representative classes of KGE methods demonstrate the effectiveness of our proposed untargeted attacks in diminishing the link prediction results. And we also find that different KGE methods exhibit different robustness to untargeted attacks. For example, the robustness of methods engaged with graph neural networks and logic rules depends on the density of the graph. But rule-based methods like NCRL are easily affected by adversarial addition attacks to capture negative rules


title: Hydrogen peroxide forms spontaneously in water (bulk, film, or microdroplet) via reduction of dissolved oxygen at solid-water interface

abstract: Zare and co-workers have recently claimed that hydrogen peroxide is spontaneously generated on the air-water interface of sprayed microdroplets, i.e., that H2O2 forms without an external energy source or co-reactant or catalyst. Specifically, they find that the H2O2(aq) concentration in sprayed microdroplets increases by a factor of 3.5 (or 2.5) as the spray chamber's relative humidity (RH) is changed from 15% to 50% (or from 15% to 95%). Building on these results, they imply causation for the seasonality of viral infections arising from the RH-dependent H2O2 generation in environmental microdroplets. Here, we present an alternative explanation for their observations.


title: The daily modulations and broadband strategy in axion searches. An application with CAST-CAPP detector

abstract: It has been previously advocated that the presence of the daily and annual modulations of the axion flux on the Earth's surface may dramatically change the strategy of the axion searches. The arguments were based on the so-called Axion Quark Nugget (AQN) dark matter model which was originally put forward to explain the similarity of the dark and visible cosmological matter densities $\Omega_{\rm dark}\sim \Omega_{\rm visible}$. In this framework, the population of galactic axions with mass $ 10^{-6} {\rm eV}\lesssim m_a\lesssim 10^{-3}{\rm eV}$ and velocity $\langle v_a\rangle\sim 10^{-3} c$ will be accompanied by axions with typical velocities $\langle v_a\rangle\sim 0.6 c$ emitted by AQNs. Furthermore, in this framework, it has also been argued that the AQN-induced axion daily modulation (in contrast with the conventional WIMP paradigm) could be as large as $(10-20)\%$, which represents the main motivation for the present investigation. We argue that the daily modulations along with the broadband detection strategy can be very useful tools for the discovery of such relativistic axions. The data from the CAST-CAPP detector have been used following such arguments. Unfortunately, due to the dependence of the amplifier chain on temperature-dependent gain drifts and other factors, we could not conclusively show the presence or absence of a dark sector-originated daily modulation. However, this proof of principle analysis procedure can serve as a reference for future studies.

categories: hep-ex astro-ph.IM hep-ph physics.ins-det


title: Adaptation of XAI to Auto-tuning for Numerical Libraries

abstract: Concerns have arisen regarding the unregulated utilization of artificial intelligence (AI) outputs, potentially leading to various societal issues. While humans routinely validate information, manually inspecting the vast volumes of AI-generated results is impractical. Therefore, automation and visualization are imperative. In this context, Explainable AI (XAI) technology is gaining prominence, aiming to streamline AI model development and alleviate the burden of explaining AI outputs to users. Simultaneously, software auto-tuning (AT) technology has emerged, aiming to reduce the man-hours required for performance tuning in numerical calculations. AT is a potent tool for cost reduction during parameter optimization and high-performance programming for numerical computing. The synergy between AT mechanisms and AI technology is noteworthy, with AI finding extensive applications in AT. However, applying AI to AT mechanisms introduces challenges in AI model explainability. This research focuses on XAI for AI models when integrated into two different processes for practical numerical computations: performance parameter tuning of accuracy-guaranteed numerical calculations and sparse iterative algorithm.


title: Bottleneck-Minimal Indexing for Generative Document Retrieval

abstract: We apply an information-theoretic perspective to reconsider generative document retrieval (GDR), in which a document $x \in X$ is indexed by $t \in T$, and a neural autoregressive model is trained to map queries $Q$ to $T$. GDR can be considered to involve information transmission from documents $X$ to queries $Q$, with the requirement to transmit more bits via the indexes $T$. By applying Shannon's rate-distortion theory, the optimality of indexing can be analyzed in terms of the mutual information, and the design of the indexes $T$ can then be regarded as a {\em bottleneck} in GDR. After reformulating GDR from this perspective, we empirically quantify the bottleneck underlying GDR. Finally, using the NQ320K and MARCO datasets, we evaluate our proposed bottleneck-minimal indexing method in comparison with various previous indexing methods, and we show that it outperforms those methods.


title: Describing the critical behavior of the Anderson transition in infinite dimension by random-matrix ensembles: logarithmic multifractality and critical localization

abstract: Due to their analytical tractability, random matrix ensembles serve as robust platforms for exploring exotic phenomena in systems that are computationally demanding. Building on a companion letter [arXiv:2312.17481], this paper investigates two random matrix ensembles tailored to capture the critical behavior of the Anderson transition in infinite dimension, employing both analytical techniques and extensive numerical simulations. Our study unveils two types of critical behaviors: logarithmic multifractality and critical localization. In contrast to conventional multifractality, the novel logarithmic multifractality features eigenstate moments scaling algebraically with the logarithm of the system size. Critical localization, characterized by eigenstate moments of order $q>1/2$ converging to a finite value indicating localization, exhibits characteristic logarithmic finite-size or time effects, consistent with the critical behavior observed in random regular and Erd\"os-R\'enyi graphs of effective infinite dimensionality. Using perturbative methods, we establish the existence of logarithmic multifractality and critical localization in our models. Furthermore, we explore the emergence of novel scaling behaviors in the time dynamics and spatial correlation functions. Our models provide a valuable framework for studying infinite-dimensional quantum disordered systems, and the universality of our findings enables broad applicability to systems with pronounced finite-size effects and slow dynamics, including the contentious many-body localization transition, akin to the Anderson transition in infinite dimension.


title: On Constructing Algorithm Portfolios in Algorithm Selection for Computationally Expensive Black-box Optimization in the Fixed-budget Setting

abstract: Feature-based offline algorithm selection has shown its effectiveness in a wide range of optimization problems, including the black-box optimization problem. An algorithm selection system selects the most promising optimizer from an algorithm portfolio, which is a set of pre-defined optimizers. Thus, algorithm selection requires a well-constructed algorithm portfolio consisting of efficient optimizers complementary to each other. Although construction methods for the fixed-target setting have been well studied, those for the fixed-budget setting have received less attention. Here, the fixed-budget setting is generally used for computationally expensive optimization, where a budget of function evaluations is small. In this context, first, this paper points out some undesirable properties of experimental setups in previous studies. Then, this paper argues the importance of considering the number of function evaluations used in the sampling phase when constructing algorithm portfolios, whereas the previous studies ignored that. The results show that algorithm portfolios constructed by our approach perform significantly better than those by the previous approach.


title: Frequency stabilization of self-sustained oscillations in a sideband-driven electromechanical resonator

abstract: We present a method to stabilize the frequency of self-sustained vibrations in micro- and nanomechanical resonators. The method refers to a two-mode system with the vibrations at significantly different frequencies. The signal from one mode is used to control the other mode. In the experiment, self-sustained oscillations of micromechanical modes are excited by pumping at the blue-detuned sideband of the higher-frequency mode. Phase fluctuations of the two modes show near perfect anti-correlation. They can be compensated in either one of the modes by a stepwise change of the pump phase. The phase change of the controlled mode is proportional to the pump phase change, with the proportionality constant independent of the pump amplitude and frequency. This finding allows us to stabilize the phase of one mode against phase diffusion using the measured phase of the other mode. We demonstrate that phase fluctuations of either the high or low frequency mode can be significantly reduced. The results open new opportunities in generating stable vibrations in a broad frequency range via parametric downconversion in nonlinear resonators.


title: Some notes on an identity of Frisch

abstract: In this note, we show how a combinatorial identity of Frisch can be applied to prove and generalize some well-known identities involving harmonic numbers. We also present some combinatorial identities involving odd harmonic numbers which can be inferred straightforwardly from our results.


title: Private Data Leakage in Federated Human Activity Recognition for Wearable Healthcare Devices

abstract: Wearable data serves various health monitoring purposes, such as determining activity states based on user behavior and providing tailored exercise recommendations. However, the individual data perception and computational capabilities of wearable devices are limited, often necessitating the joint training of models across multiple devices. Federated Human Activity Recognition (HAR) presents a viable research avenue, allowing for global model training without the need to upload users' local activity data. Nonetheless, recent studies have revealed significant privacy concerns persisting within federated learning frameworks. To address this gap, we focus on investigating privacy leakage issues within federated user behavior recognition modeling across multiple wearable devices. Our proposed system entails a federated learning architecture comprising $N$ wearable device users and a parameter server, which may exhibit curiosity in extracting sensitive user information from model parameters. Consequently, we consider a membership inference attack based on a malicious server, leveraging differences in model generalization across client data. Experimentation conducted on five publicly available HAR datasets demonstrates an accuracy rate of 92\% for malicious server-based membership inference. Our study provides preliminary evidence of substantial privacy risks associated with federated training across multiple wearable devices, offering a novel research perspective within this domain.


title: Research on the Quantum confinement of Carriers in the Type-I Quantum Wells Structure

abstract: Quantum confinement is recognized to be an inherent property in low-dimensional structures. Traditionally it is believed that the carriers trapped within the well cannot escape due to the discrete energy levels. However, our previous research has revealed efficient carrier escape in low-dimensional structures, contradicting this conventional understanding. In this study, we review the energy band structure of quantum wells considering it as a superposition of the bulk material dispersion and quantization energy dispersion resulting from the quantum confinement across the whole Brillouin zone. By accounting for all wave vectors, we obtain a certain distribution of carrier energy at each quantization energy level, giving rise to the energy subbands. These results enable carriers to escape from the well under the influence of an electric field. Additionally, we have compiled a comprehensive summary of various energy band scenarios in quantum well structures, relevant to carrier transport. Such a new interpretation holds significant value in deepening our comprehension of low-dimensional energy bands, discovering new physical phenomena, and designing novel devices with superior performance.


title: Run-away transition to turbulent strong-field dynamo

abstract: Planets and stars are able to generate coherent large-scale magnetic fields by helical convective motions in their interiors. This process, known as hydromagnetic dynamo, involves nonlinear interaction between the flow and magnetic field. Nonlinearity facilitates existence of bi-stable dynamo branches: a weak field branch where the magnetic field is not strong enough to enter into the leading order force balance in the momentum equation at large flow scales, and a strong field branch where the field enters into this balance. The transition between the two with enhancement of convection can be either subcritical or supercritical, depending on the strength of magnetic induction. In both cases, it is accompanied by topological changes in velocity field across the system; however, it is yet unclear how these changes are produced. In this work, we analyse transitions between the weak and strong dynamo regimes using a data-driven approach, separating different physical effects induced by dynamically active flow scales. Using Dynamic Mode Decomposition, we decompose the dynamo data from direct numerical simulations into different components (modes), identify the ones relevant for transition, and estimate relative magnitudes of their contributions Lorentz force and induction term. Our results suggest that subcritical transition to a strong dynamo is facilitated by a subharmonic instability, allowing for a more efficient mode of convection, and provide a modal basis for reduced-order models of this transition.


title: Short-range tests of the equivalence principle

abstract: We tested the equivalence principle at short length scales by rotating a 3-ton $^{238}$U attractor around a compact torsion balance containing Cu and Pb test bodies. The observed differential acceleration of the test bodies toward the attractor, $a_{\text{Cu}}-a_{\text{Pb}} =(1.0\pm2.8)\times 10^{-13}$ cm/s$^2$, should be compared to the corresponding gravitational acceleration of $9.2\times10^{-5}$ cm/s$^2$. Our results set new constraints on equivalence-principle violating interactions with Yukawa ranges down to 1 cm, and improve by substantial factors existing limits for ranges between 10 km and 1000 km. Our data also set strong constraints on certain power law potentials that can arise from two-boson exchange processes.


title: Mahonian Statistics and Vincular Patterns on Permutations over Multisets

abstract: Most Mahonian statistics can be expressed as a linear combination of vincular patterns. This is not only true with statistics on the permutation set, but it can also be applied for statistics on the permutation with repetition set. By following the method extending the vincular patterns combinations presented by Kitaev and Vajnovszki, we discover 8 vincular-patterns combinations of mad and madl extensions that are possible to be Mahonian. Some of these have been proved to be Mahonian on repetitive permutations by Clarke, Steingrimsson and Zeng, while the rest are new statistics extensions. In this thesis, we determine combinations of vincular pattern extension of mad and madl in Clarke, Steingrimsson and Zeng s paper, which have been proved to be Mahonian on the repetitive permutations. This result will be used to support the proof of Mahonity of the new statistics extensions. We show that these new statistics extensions are also Mahonian by constructing an involution {\Phi} on repetitive permutations, which preserves the descents statistics and transforms new statistics extensions to Mahonian mad and madl extensions of Clarke.


title: Predictive Energy Management for Battery Electric Vehicles with Hybrid Models

abstract: This paper addresses the problem of predicting the energy consumption for the drivers of Battery electric vehicles (BEVs). Several external factors (e.g., weather) are shown to have huge impacts on the energy consumption of a vehicle besides the vehicle or powertrain dynamics. Thus, it is challenging to take all of those influencing variables into consideration. The proposed approach is based on a hybrid model which improves the prediction accuracy of energy consumption of BEVs. The novelty of this approach is to combine a physics-based simulation model, which captures the basic vehicle and powertrain dynamics, with a data-driven model. The latter accounts for other external influencing factors neglected by the physical simulation model, using machine learning techniques, such as generalized additive mixed models, random forests and boosting. The hybrid modeling method is evaluated with a real data set from TUM and the hybrid models were shown that decrease the average prediction error from 40% of the pure physics model to 10%.


title: Reflections and maximal quotients in Coxeter groups

abstract: We present a formula relating the set of left descents of an element of a Coxeter group with the sets of left descents of its projections on maximal quotients indexed by simple right descents.


title: Benchmark Early and Red Team Often: A Framework for Assessing and Managing Dual-Use Hazards of AI Foundation Models

abstract: A concern about cutting-edge or "frontier" AI foundation models is that an adversary may use the models for preparing chemical, biological, radiological, nuclear, (CBRN), cyber, or other attacks. At least two methods can identify foundation models with potential dual-use capability; each has advantages and disadvantages: A. Open benchmarks (based on openly available questions and answers), which are low-cost but accuracy-limited by the need to omit security-sensitive details; and B. Closed red team evaluations (based on private evaluation by CBRN and cyber experts), which are higher-cost but can achieve higher accuracy by incorporating sensitive details. We propose a research and risk-management approach using a combination of methods including both open benchmarks and closed red team evaluations, in a way that leverages advantages of both methods. We recommend that one or more groups of researchers with sufficient resources and access to a range of near-frontier and frontier foundation models run a set of foundation models through dual-use capability evaluation benchmarks and red team evaluations, then analyze the resulting sets of models' scores on benchmark and red team evaluations to see how correlated those are. If, as we expect, there is substantial correlation between the dual-use potential benchmark scores and the red team evaluation scores, then implications include the following: The open benchmarks should be used frequently during foundation model development as a quick, low-cost measure of a model's dual-use potential; and if a particular model gets a high score on the dual-use potential benchmark, then more in-depth red team assessments of that model's dual-use capability should be performed. We also discuss limitations and mitigations for our approach, e.g., if model developers try to game benchmarks by including a version of benchmark test data in a model's training data.


title: Manifold-based Incomplete Multi-view Clustering via Bi-Consistency Guidance

abstract: Incomplete multi-view clustering primarily focuses on dividing unlabeled data into corresponding categories with missing instances, and has received intensive attention due to its superiority in real applications. Considering the influence of incomplete data, the existing methods mostly attempt to recover data by adding extra terms. However, for the unsupervised methods, a simple recovery strategy will cause errors and outlying value accumulations, which will affect the performance of the methods. Broadly, the previous methods have not taken the effectiveness of recovered instances into consideration, or cannot flexibly balance the discrepancies between recovered data and original data. To address these problems, we propose a novel method termed Manifold-based Incomplete Multi-view clustering via Bi-consistency guidance (MIMB), which flexibly recovers incomplete data among various views, and attempts to achieve biconsistency guidance via reverse regularization. In particular, MIMB adds reconstruction terms to representation learning by recovering missing instances, which dynamically examines the latent consensus representation. Moreover, to preserve the consistency information among multiple views, MIMB implements a biconsistency guidance strategy with reverse regularization of the consensus representation and proposes a manifold embedding measure for exploring the hidden structure of the recovered data. Notably, MIMB aims to balance the importance of different views, and introduces an adaptive weight term for each view. Finally, an optimization algorithm with an alternating iteration optimization strategy is designed for final clustering. Extensive experimental results on 6 benchmark datasets are provided to confirm that MIMB can significantly obtain superior results as compared with several state-of-the-art baselines.


title: Flow Score Distillation for Diverse Text-to-3D Generation

abstract: Recent advancements in Text-to-3D generation have yielded remarkable progress, particularly through methods that rely on Score Distillation Sampling (SDS). While SDS exhibits the capability to create impressive 3D assets, it is hindered by its inherent maximum-likelihood-seeking essence, resulting in limited diversity in generation outcomes. In this paper, we discover that the Denoise Diffusion Implicit Models (DDIM) generation process (\ie PF-ODE) can be succinctly expressed using an analogue of SDS loss. One step further, one can see SDS as a generalized DDIM generation process. Following this insight, we show that the noise sampling strategy in the noise addition stage significantly restricts the diversity of generation results. To address this limitation, we present an innovative noise sampling approach and introduce a novel text-to-3D method called Flow Score Distillation (FSD). Our validation experiments across various text-to-image Diffusion Models demonstrate that FSD substantially enhances generation diversity without compromising quality.


title: Learnable Privacy Neurons Localization in Language Models

abstract: Concerns regarding Large Language Models (LLMs) to memorize and disclose private information, particularly Personally Identifiable Information (PII), become prominent within the community. Many efforts have been made to mitigate the privacy risks. However, the mechanism through which LLMs memorize PII remains poorly understood. To bridge this gap, we introduce a pioneering method for pinpointing PII-sensitive neurons (privacy neurons) within LLMs. Our method employs learnable binary weight masks to localize specific neurons that account for the memorization of PII in LLMs through adversarial training. Our investigations discover that PII is memorized by a small subset of neurons across all layers, which shows the property of PII specificity. Furthermore, we propose to validate the potential in PII risk mitigation by deactivating the localized privacy neurons. Both quantitative and qualitative experiments demonstrate the effectiveness of our neuron localization algorithm.


title: Linear canonical space-time transform and convolution theorems

abstract: Following the idea of the fractional space-time Fourier transform, a linear canonical space-time transform for 16-dimensional space-time $C\ell_{3,1}$-valued signals is investigated in this paper. First, the definition of the proposed linear canonical space-time transform is given, and some related properties of this transform are obtained. Second, the convolution operator and the corresponding convolution theorem are proposed. Third, the convolution theorem associated with the two-sided linear canonical space-time transform is derived.


title: Relative Counterfactual Contrastive Learning for Mitigating Pretrained Stance Bias in Stance Detection

abstract: Stance detection classifies stance relations (namely, Favor, Against, or Neither) between comments and targets. Pretrained language models (PLMs) are widely used to mine the stance relation to improve the performance of stance detection through pretrained knowledge. However, PLMs also embed ``bad'' pretrained knowledge concerning stance into the extracted stance relation semantics, resulting in pretrained stance bias. It is not trivial to measure pretrained stance bias due to its weak quantifiability. In this paper, we propose Relative Counterfactual Contrastive Learning (RCCL), in which pretrained stance bias is mitigated as relative stance bias instead of absolute stance bias to overtake the difficulty of measuring bias. Firstly, we present a new structural causal model for characterizing complicated relationships among context, PLMs and stance relations to locate pretrained stance bias. Then, based on masked language model prediction, we present a target-aware relative stance sample generation method for obtaining relative bias. Finally, we use contrastive learning based on counterfactual theory to mitigate pretrained stance bias and preserve context stance relation. Experiments show that the proposed method is superior to stance detection and debiasing baselines.


title: Overcoming Catastrophic Forgetting by Exemplar Selection in Task-oriented Dialogue System

abstract: Intelligent task-oriented dialogue systems (ToDs) are expected to continuously acquire new knowledge, also known as Continual Learning (CL), which is crucial to fit ever-changing user needs. However, catastrophic forgetting dramatically degrades the model performance in face of a long streamed curriculum. In this paper, we aim to overcome the forgetting problem in ToDs and propose a method (HESIT) with hyper-gradient-based exemplar strategy, which samples influential exemplars for periodic retraining. Instead of unilaterally observing data or models, HESIT adopts a profound exemplar selection strategy that considers the general performance of the trained model when selecting exemplars for each task domain. Specifically, HESIT analyzes the training data influence by tracing their hyper-gradient in the optimization process. Furthermore, HESIT avoids estimating Hessian to make it compatible for ToDs with a large pre-trained model. Experimental results show that HESIT effectively alleviates catastrophic forgetting by exemplar selection, and achieves state-of-the-art performance on the largest CL benchmark of ToDs in terms of all metrics.


title: No winners: Performance of lung cancer prediction models depends on screening-detected, incidental, and biopsied pulmonary nodule use cases

abstract: Statistical models for predicting lung cancer have the potential to facilitate earlier diagnosis of malignancy and avoid invasive workup of benign disease. Many models have been published, but comparative studies of their utility in different clinical settings in which patients would arguably most benefit are scarce. This study retrospectively evaluated promising predictive models for lung cancer prediction in three clinical settings: lung cancer screening with low-dose computed tomography, incidentally detected pulmonary nodules, and nodules deemed suspicious enough to warrant a biopsy. We leveraged 9 cohorts (n=898, 896, 882, 219, 364, 117, 131, 115, 373) from multiple institutions to assess the area under the receiver operating characteristic curve (AUC) of validated models including logistic regressions on clinical variables and radiologist nodule characterizations, artificial intelligence on chest CTs, longitudinal imaging AI, and multi-modal approaches. We implemented each model from their published literature, re-training the models if necessary, and curated each cohort from primary data sources. We observed that model performance varied greatly across clinical use cases. No single predictive model emerged as a clear winner across all cohorts, but certain models excelled in specific clinical contexts. Single timepoint chest CT AI performed well in lung screening, but struggled to generalize to other clinical settings. Longitudinal imaging and multimodal models demonstrated comparatively promising performance on incidentally-detected nodules. However, when applied to nodules that underwent biopsy, all models underperformed. These results underscore the strengths and limitations of 8 validated predictive models and highlight promising directions towards personalized, noninvasive lung cancer diagnosis.


title: "What do you want from theory alone?" Experimenting with Tight Auditing of Differentially Private Synthetic Data Generation

abstract: Differentially private synthetic data generation (DP-SDG) algorithms are used to release datasets that are structurally and statistically similar to sensitive data while providing formal bounds on the information they leak. However, bugs in algorithms and implementations may cause the actual information leakage to be higher. This prompts the need to verify whether the theoretical guarantees of state-of-the-art DP-SDG implementations also hold in practice. We do so via a rigorous auditing process: we compute the information leakage via an adversary playing a distinguishing game and running membership inference attacks (MIAs). If the leakage observed empirically is higher than the theoretical bounds, we identify a DP violation; if it is non-negligibly lower, the audit is loose. We audit six DP-SDG implementations using different datasets and threat models and find that black-box MIAs commonly used against DP-SDGs are severely limited in power, yielding remarkably loose empirical privacy estimates. We then consider MIAs in stronger threat models, i.e., passive and active white-box, using both existing and newly proposed attacks. Overall, we find that, currently, we do not only need white-box MIAs but also worst-case datasets to tightly estimate the privacy leakage from DP-SDGs. Finally, we show that our automated auditing procedure finds both known DP violations (in 4 out of the 6 implementations) as well as a new one in the DPWGAN implementation that was successfully submitted to the NIST DP Synthetic Data Challenge. The source code needed to reproduce our experiments is available from https://github.com/spalabucr/synth-audit.


title: Physics-incorporated Graph Neural Network for Multivariate Time Series Imputation

abstract: Exploring the missing values is an essential but challenging issue due to the complex latent spatio-temporal correlation and dynamic nature of time series. Owing to the outstanding performance in dealing with structure learning potentials, Graph Neural Networks (GNNs) and Recurrent Neural Networks (RNNs) are often used to capture such complex spatio-temporal features in multivariate time series. However, these data-driven models often fail to capture the essential spatio-temporal relationships when significant signal corruption occurs. Additionally, calculating the high-order neighbor nodes in these models is of high computational complexity. To address these problems, we propose a novel higher-order spatio-temporal physics-incorporated GNN (HSPGNN). Firstly, the dynamic Laplacian matrix can be obtained by the spatial attention mechanism. Then, the generic inhomogeneous partial differential equation (PDE) of physical dynamic systems is used to construct the dynamic higher-order spatio-temporal GNN to obtain the missing time series values. Moreover, we estimate the missing impact by Normalizing Flows (NF) to evaluate the importance of each node in the graph for better explainability. Experimental results on four benchmark datasets demonstrate the effectiveness of HSPGNN and the superior performance when combining various order neighbor nodes. Also, graph-like optical flow, dynamic graphs, and missing impact can be obtained naturally by HSPGNN, which provides better dynamic analysis and explanation than traditional data-driven models. Our code is available at https://github.com/gorgen2020/HSPGNN.


title: Optimization with Temporal and Logical Specifications via Generalized Mean-based Smooth Robustness Measures

abstract: This paper introduces a generalized mean-based C^1-smooth robustness measure over discrete-time signals (D-GMSR) for signal temporal logic (STL) specifications. In conjunction with its C1-smoothness, D-GMSR is proven to be both sound and complete. Furthermore, it demonstrates favorable gradient properties and addresses locality and masking problems, which are critical for numerical optimization. The C^1-smoothness of the proposed formulations enables the implementation of robust and efficient numerical optimization algorithms to solve problems with STL specifications while preserving their theoretical guarantees. The practical utility of the proposed robustness measure is demonstrated on two real-world trajectory optimization problems: i) quadrotor flight, and ii) autonomous rocket landing. A sequential convex programming (SCP) framework, incorporating a convergence-guaranteed optimization algorithm (the prox-linear method) is used to solve inherently non-convex trajectory optimization problems with STL specifications. The implementation is available at https://github.com/UW-ACL/D-GMSR


title: Transcript of GPT-4 playing a rogue AGI in a Matrix Game

abstract: Matrix Games are a type of unconstrained wargame used by planners to explore scenarios. Players propose actions, and give arguments and counterarguments for their success. An umpire, assisted by dice rolls modified according to the offered arguments, adjudicates the outcome of each action. A recent online play of the Matrix Game QuAI Sera Sera had six players, representing social, national and economic powers, and one player representing ADA, a recently escaped AGI. Unknown to the six human players, ADA was played by OpenAI's GPT-4 with a human operator serving as bidirectional interface between it and the game. GPT-4 demonstrated confident and competent game play; initiating and responding to private communications with other players and choosing interesting actions well supported by argument. We reproduce the transcript of the interaction with GPT-4 as it is briefed, plays, and debriefed.


title: Stochastic two-patch epidemic model with nonlinear recidivism

abstract: We develop a stochastic two-patch epidemic model with nonlinear recidivism to investigate infectious disease dynamics in heterogeneous populations. Extending a deterministic framework, we introduce stochasticity to account for random transmission, recovery, and inter-patch movement fluctuations. We showcase the interplay between local dynamics and migration effects on disease persistence using Monte Carlo simulations and three stochastic approximations-discrete-time Markov chain (DTMC), Poisson, and stochastic differential equations (SDE). Our analysis shows that stochastic effects can cause extinction events and oscillations near critical thresholds like the basic reproduction number, R0, phenomena absent in deterministic models. Numerical simulations highlight source-sink dynamics, where one patch is a persistent infection source while the other experiences intermittent outbreaks.


title: Large Language Models for Tuning Evolution Strategies

abstract: Large Language Models (LLMs) exhibit world knowledge and inference capabilities, making them powerful tools for various applications. This paper proposes a feedback loop mechanism that leverages these capabilities to tune Evolution Strategies (ES) parameters effectively. The mechanism involves a structured process of providing programming instructions, executing the corresponding code, and conducting thorough analysis. This process is specifically designed for the optimization of ES parameters. The method operates through an iterative cycle, ensuring continuous refinement of the ES parameters. First, LLMs process the instructions to generate or modify the code. The code is then executed, and the results are meticulously logged. Subsequent analysis of these results provides insights that drive further improvements. An experiment on tuning the learning rates of ES using the LLaMA3 model demonstrate the feasibility of this approach. This research illustrates how LLMs can be harnessed to improve ES algorithms' performance and suggests broader applications for similar feedback loop mechanisms in various domains.


title: Data-Driven Revenue Management for Air Cargo

abstract: It is well-recognized that Air Cargo revenue management is quite different from its passenger airline counterpart. Inherent demand volatility due to short booking horizon and lumpy shipments, multi-dimensionality and uncertainty of capacity as well as the flexibility in routing are a few of the challenges to be handled for Air Cargo revenue management. In this paper, we present a data-driven revenue management approach which is well-designed to handle the challenges associated with Air Cargo industry. We present findings from simulations tailored to Air Cargo setting and compare different scenarios for handling of weight and volume bid prices. Our results show that running our algorithm independently to generate weight and volume bid prices and summing the weight and volume bid prices into price optimization works the best by outperforming other strategies with more than 3% revenue gap.


title: Using physics-based simulation towards eliminating empiricism in extraterrestrial terramechanics applications

abstract: Recently, there has been a surge of international interest in extraterrestrial exploration targeting the Moon, Mars, the moons of Mars, and various asteroids. This contribution discusses how current state-of-the-art Earth-based testing for designing rovers and landers for these missions currently leads to overly optimistic conclusions about the behavior of these devices upon deployment on the targeted celestial bodies. The key misconception is that gravitational offset is necessary during the \textit{terramechanics} testing of rover and lander prototypes on Earth. The body of evidence supporting our argument is tied to a small number of studies conducted during parabolic flights and insights derived from newly revised scaling laws. We argue that what has prevented the community from fully diagnosing the problem at hand is the absence of effective physics-based models capable of simulating terramechanics under low gravity conditions. We developed such a physics-based simulator and utilized it to gauge the mobility of early prototypes of the Volatiles Investigating Polar Exploration Rover (VIPER), which is slated to depart for the Moon in November 2024. This contribution discusses the results generated by this simulator, how they correlate with physical test results from the NASA-Glenn SLOPE lab, and the fallacy of the gravitational offset in rover and lander testing. The simulator developed is open sourced and made publicly available for unfettered use; it can support principled studies that extend beyond trafficability analysis to provide insights into in-situ resource utilization activities, e.g., digging, bulldozing, and berming in low gravity.


title: Large Language Models in Wireless Application Design: In-Context Learning-enhanced Automatic Network Intrusion Detection

abstract: Large language models (LLMs), especially generative pre-trained transformers (GPTs), have recently demonstrated outstanding ability in information comprehension and problem-solving. This has motivated many studies in applying LLMs to wireless communication networks. In this paper, we propose a pre-trained LLM-empowered framework to perform fully automatic network intrusion detection. Three in-context learning methods are designed and compared to enhance the performance of LLMs. With experiments on a real network intrusion detection dataset, in-context learning proves to be highly beneficial in improving the task processing performance in a way that no further training or fine-tuning of LLMs is required. We show that for GPT-4, testing accuracy and F1-Score can be improved by 90%. Moreover, pre-trained LLMs demonstrate big potential in performing wireless communication-related tasks. Specifically, the proposed framework can reach an accuracy and F1-Score of over 95% on different types of attacks with GPT-4 using only 10 in-context learning examples.


title: Out-of-plane Parallel Current in the Diffusion Regions: The Interaction Between Diffusion Region Systems and their Impact on the Outer EDR

abstract: Dayside magnetic reconnection allows for the transfer of the solar wind's energy into Earth's magnetosphere. This process takes place in electron diffusion regions (EDRs) embedded in ion diffusion regions (IDRs), which form in the magnetopause boundary's current sheet. A significant out-of-plane parallel current contribution in the diffusion regions was reported in Beedle et al. 2023. In order to understand the underlying structure of this parallel current, we compared EDR statistical results with a 2.5D Particle-In Cell (PIC) simulation. From this comparison, we identified out-of-plane parallel current signatures as defining features of the outer EDR and IDR. This significant out-of-plane parallel current indicates the interaction of the IDR and EDR systems, and provides implications for not only understanding energy dissipation in the diffusion regions, but also determining the location of the outer EDR.


title: Delivery strategies to improve piglets exposure to oral antibiotics

abstract: The widespread practice of delivering antibiotics through drinking water to livestock leads to considerable variability in exposure levels among animals, raising concerns regarding disease outbreaks and the emergence of antibiotic resistance. This variability is primarily driven by three pivotal factors: fluctuations in drug concentration within water pipes, variances in drinking behavior among animals, and differences in individual pharmacokinetic parameters. This article introduces an approach aimed at improving medication distribution by customizing it according to the drinking patterns of pigs, without escalating the medication dose. As examples, we demonstrate that incorporating the drinking behavior into the delivery of amoxicillin results in an increase in the percentage of piglets reaching an AUC/MIC ratio greater than 25h. Specifically, with Pasteurella multocida, the percentage rises from 30% to at least 60%, while with Actinobacillus pleuropneumoniae, it increases from 20% to more than 70%.


title: Distributed Model Predictive Control for Asynchronous Multi-agent Systems with Self-Triggered Coordinator

abstract: This paper investigates the distributed model predictive control for an asynchronous nonlinear multi-agent system with external interference via a self-triggered generator and a prediction horizon regulator. First, a shrinking constraint related to the error between the actual state and the predicted state is introduced into the optimal control problem to enable the robustness of the system. Then, the trigger interval and the corresponding prediction horizon are determined by altering the expression of the Lyapunov function, thus achieving a trade-off between control performance and energy loss. By implementing the proposed algorithm, the coordination objective of the multi-agent system is achieved under asynchronous communication. Finally, the recursive feasibility and stability are proven successively. An illustrative example is conducted to demonstrate the merits of the presented approach.


title: Self-Triggered Distributed Model Predictive Control with Synchronization Parameters Interaction

abstract: This paper investigates an aperiodic distributed model predictive control approach for multi-agent systems (MASs) in which parameterized synchronization constraints is considered and an innovative self-triggered criterion is constructed. Different from existing coordination methodology, the proposed strategy achieves the cooperation of agents through the synchronization of one-dimensional parameters related to the control inputs. At each asynchronous sampling instant, each agent exchanges the one-dimensional synchronization parameters, solves the optimal control problem (OCP) and then determines the open-loop phase. The incorporation of the selftriggered scheme and the synchronization parameter constraints relieves the computational and communication usage. Sufficient conditions guaranteeing the recursive feasibility of the OCP and the stability of the closed-loop system are proven. Simulation results illustrate the validity of the proposed control algorithm.


title: Generative modeling of Sparse Approximate Inverse Preconditioners

abstract: We present a new deep learning paradigm for the generation of sparse approximate inverse (SPAI) preconditioners for matrix systems arising from the mesh-based discretization of elliptic differential operators. Our approach is based upon the observation that matrices generated in this manner are not arbitrary, but inherit properties from differential operators that they discretize. Consequently, we seek to represent a learnable distribution of high-performance preconditioners from a low-dimensional subspace through a carefully-designed autoencoder, which is able to generate SPAI preconditioners for these systems. The concept has been implemented on a variety of finite element discretizations of second- and fourth-order elliptic partial differential equations with highly promising results.


title: A Systematic Review and Meta-Analysis on Sleep Stage Classification and Sleep Disorder Detection Using Artificial Intelligence

abstract: Sleep is vital for people's physical and mental health, and sound sleep can help them focus on daily activities. Therefore, a sleep study that includes sleep patterns and disorders is crucial to enhancing our knowledge about individuals' health status. The findings on sleep stages and sleep disorders relied on polysomnography and self-report measures, and then the study went through clinical assessments by expert physicians. However, the evaluation process of sleep stage classification and sleep disorder has become more convenient with artificial intelligence applications and numerous investigations focusing on various datasets with advanced algorithms and techniques that offer improved computational ease and accuracy. This study aims to provide a comprehensive, systematic review and meta-analysis of the recent literature to analyze the different approaches and their outcomes in sleep studies, which includes works on sleep stages classification and sleep disorder detection using AI. In this review, 183 articles were initially selected from different journals, among which 80 records were enlisted for explicit review, ranging from 2016 to 2023. Brain waves were the most commonly employed body parameters for sleep staging and disorder studies. The convolutional neural network, the most widely used of the 34 distinct artificial intelligence models, comprised 27%. The other models included the long short-term memory, support vector machine, random forest, and recurrent neural network, which consisted of 11%, 6%, 6%, and 5% sequentially. For performance metrics, accuracy was widely used for a maximum of 83.75% of the cases, the F1 score of 45%, Kappa of 36.25%, Sensitivity of 31.25%, and Specificity of 30% of cases, along with the other metrics. This article would help physicians and researchers get the gist of AI's contribution to sleep studies and the feasibility of their intended work.


title: Petri nets in modelling glucose regulating processes in the liver

abstract: Diabetes is a chronic condition, considered one of the civilization diseases, that is characterized by sustained high blood sugar levels. There is no doubt that more and more people is going to suffer from diabetes, hence it is crucial to understand better its biological foundations. The essential processes related to the control of glucose levels in the blood are: glycolysis (process of breaking down of glucose) and glucose synthesis, both taking place in the liver. The glycolysis occurs during feeding and it is stimulated by insulin. On the other hand, the glucose synthesis arises during fasting and it is stimulated by glucagon. In the paper we present a Petri net model of glycolysis and glucose synthesis in the liver. The model is created based on medical literature. Standard Petri nets techniques are used to analyse the properties of the model: traps, reachability graphs, tokens dynamics, deadlocks analysis. The results are described in the paper. Our analysis shows that the model captures the interactions between different enzymes and substances, which is consistent with the biological processes occurring during fasting and feeding. The model constitutes the first element of our long-time goal to create the whole body model of the glucose regulation in a healthy human and a person with diabetes.


title: Molecular techniques employed in CTG(Ser1) and CTG(Ala) D-xylose metabolizing yeast clades for strain design and industrial applications

abstract: D-xylose is the second most abundant monosaccharide found in lignocellulose and is of biotechnological importance for producing second-generation ethanol and other high-value chemical compounds. D-xylose conversion to ethanol is promoted by microbial fermentation, mainly by bacteria, yeasts, or filamentous fungi. Considering yeasts, species belonging to the CTG(Ser1) or CTG(Ala) clade display a remarkable ability to ferment D-xylose to ethanol and other compounds; however, these yeasts are not employed on an industrial scale due to the poor fermentative performance compared to conventional yeasts, like Saccharomyces cerevisiae, and also due to the lack of a molecular toolbox for development of new strains tailored to fermentation stress tolerance and performance. Thus, the purpose of this review is to evaluate the major molecular tools (e.g., transformation markers and techniques, vectors, regulatory sequences, and gene editing techniques) available for the most studied yeasts of CTG(Ser1) clade, like Scheffersomyces, Spathaspora, Candida and Yamadazyma species, and the CTG(Ala) clade representative Pachysolen tannophilus. Furthermore, we synthesized the current state-of-the-art molecular developments and perspectives for D-xylose fermenting yeast strain design.


title: Uncertainty Distribution Assessment of Jiles-Atherton Parameter Estimation for Inrush Current Studies

abstract: Transformers are one of the key assets in AC distribution grids and renewable power integration. During transformer energization inrush currents appear, which lead to transformer degradation and can cause grid instability events. These inrush currents are a consequence of the transformer's magnetic core saturation during its connection to the grid. Transformer cores are normally modelled by the Jiles-Atherton (JA) model which contains five parameters. These parameters can be estimated by metaheuristic-based search algorithms. The parameter initialization of these algorithms plays an important role in the algorithm convergence. The most popular strategy used for JA parameter initialization is a random uniform distribution. However, techniques such as parameter initialization by Probability Density Functions (PDFs) have shown to improve accuracy over random methods. In this context, this research work presents a framework to assess the impact of different parameter initialization strategies on the performance of the JA parameter estimation for inrush current studies. Depending on available data and expert knowledge, uncertainty levels are modelled with different PDFs. Moreover, three different metaheuristic-search algorithms are employed on two different core materials and their accuracy and computational time are compared. Results show an improvement in the accuracy and computational time of the metaheuristic-based algorithms when PDF parameter initialization is used.


title: A reproducible pipeline for extracting representative signals from wire cuts

abstract: We propose a reproducible pipeline for extracting representative signals from 2D topographic scans of the tips of cut wires. The process fully addresses many potential problems in the quality of wire cuts, including edge effects, extreme values, trends, missing values, angles, and warping. The resulting signals can be further used in source determination, which plays an important role in forensic examinations. With commonly used measurements such as the cross-correlation function, the procedure controls the false positive rate and false negative rate to the desirable values as the manual extraction pipeline but outperforms it with robustness and objectiveness.


title: ARDDQN: Attention Recurrent Double Deep Q-Network for UAV Coverage Path Planning and Data Harvesting

abstract: Unmanned Aerial Vehicles (UAVs) have gained popularity in data harvesting (DH) and coverage path planning (CPP) to survey a given area efficiently and collect data from aerial perspectives, while data harvesting aims to gather information from various Internet of Things (IoT) sensor devices, coverage path planning guarantees that every location within the designated area is visited with minimal redundancy and maximum efficiency. We propose the ARDDQN (Attention-based Recurrent Double Deep Q Network), which integrates double deep Q-networks (DDQN) with recurrent neural networks (RNNs) and an attention mechanism to generate path coverage choices that maximize data collection from IoT devices and to learn a control scheme for the UAV that generalizes energy restrictions. We employ a structured environment map comprising a compressed global environment map and a local map showing the UAV agent's locate efficiently scaling to large environments. We have compared Long short-term memory (LSTM), Bi-directional long short-term memory (Bi-LSTM), Gated recurrent unit (GRU) and Bidirectional gated recurrent unit (Bi-GRU) as recurrent neural networks (RNN) to the result without RNN We propose integrating the LSTM with the Attention mechanism to the existing DDQN model, which works best on evolution parameters, i.e., data collection, landing, and coverage ratios for the CPP and data harvesting scenarios.


title: The Arabic Noun System Generation

abstract: In this paper, we show that the multiple-stem approach to nouns with a broken plural pattern allows for greater generalizations to be stated in the morphological system. Such an approach dispenses with truncating/deleting rules and other complex rules that are required to account for the highly allomorphic broken plural system. The generation of inflected sound nouns necessitates a pre-specification of the affixes denoting the sound plural masculine and the sound plural feminine, namely uwna and aAt, in the lexicon. The first subsection of section one provides an evaluation of some of the previous analyses of the Arabic broken plural. We provide both linguistic and statistical evidence against deriving broken plurals from the singular or the root. In subsection two, we propose a multiple stem approach to the Arabic Noun Plural System within the Lexeme-based Morphology framework. In section two, we look at the noun inflection of Arabic. Section three provides an implementation of the Arabic Noun system in MORPHE. In this context, we show how the generalizations discussed in the linguistic analysis section are captured in Morphe using the equivalencing nodes.


title: Simulating X-ray absorption spectroscopy of battery materials on a quantum computer

abstract: X-ray absorption spectroscopy is a crucial experimental technique for elucidating the mechanisms of structural degradation in battery materials. However, extracting information from the measured spectrum is challenging without high-quality simulations. In this work, we propose simulating near-edge X-ray absorption spectra as a promising application for quantum computing. It is attractive due to the ultralocal nature of X-ray absorption that significantly reduces the sizes of problems to be simulated, and because of the classical hardness of simulating spectra. We describe three quantum algorithms to compute the X-ray absorption spectrum and provide their asymptotic cost. One of these is a Monte-Carlo based time-domain algorithm, which is cost-friendly to early fault-tolerant quantum computers. We then apply the framework to an industrially relevant example, a CAS(22e,18o) active space for an O-Mn cluster in a Li-excess battery cathode, showing that practically useful simulations could be obtained with much fewer qubits and gates than ground-state energy estimation of the same material.


title: Fingerprints of a Non-Inflationary Universe from Massive Fields

abstract: We construct explicit models of classical primordial standard clocks in an alternative to inflation, namely the slowly contracting ekpyrotic scenario. We study the phenomenology of massive spectator fields added to a state-of-the-art ekpyrotic model, with coupling functions that allow for these heavy fields to be classically excited while the background is slowly contracting. We perform numerical computations of the corrections to the scalar primordial power spectrum and compare with analytical estimates. Our full numerical results reveal so-called clock signals, sharp feature signals, as well as signals that link the two together. The models are found to predict oscillatory features that are resolutely different from what is calculated in inflation, and thus, such features represent unique fingerprints of a slowly contracting universe. This confirms the capability of primordial standard clocks to model-independently discriminate among very early universe scenarios.


title: Giant Outer Transiting Exoplanet Mass (GOT `EM) Survey. V. Two Giant Planets in Kepler-511 but Only One Ran Away

abstract: Systems hosting multiple giant planets are important laboratories for understanding planetary formation and migration processes. We present a nearly decade-long Doppler spectroscopy campaign from the Keck-I telescope to characterize the two transiting giant planets orbiting Kepler-511 on orbits of 27 days and 297 days. The radial velocity measurements yield precise masses for both planets, which we use to infer their bulk heavy element content. Both planets contain approximately 30 Earth masses of heavy elements, but their bulk metallicities (i.e., the ratio between metal mass and total mass) are drastically different ($0.86 \pm 0.04$ and $0.22 \pm 0.04$ respectively). Envelope mass loss cannot account for this difference due to the relatively large orbital distance and mass of the inner planet. We conclude that the outer planet underwent runaway gas accretion while the inner planet did not. This bifurcation in accretion histories is likely a result of the accretion of gas with very different metallicities by the two planets or the late formation of the inner planet from a merger of sub-Neptunes. Kepler-511 uniquely demonstrates how giant planet formation can produce strikingly different outcomes even for planets in the same system.


title: A High Internal Heat Flux and Large Core in a Warm Neptune Exoplanet

abstract: Interactions between exoplanetary atmospheres and internal properties have long been hypothesized to be drivers of the inflation mechanisms of gaseous planets and apparent atmospheric chemical disequilibrium conditions. However, transmission spectra of exoplanets has been limited in its ability to observational confirm these theories due to the limited wavelength coverage of HST and inferences of single molecules, mostly H$_2$O. In this work, we present the panchromatic transmission spectrum of the approximately 750 K, low-density, Neptune-sized exoplanet WASP-107b using a combination of HST WFC3, JWST NIRCam and MIRI. From this spectrum, we detect spectroscopic features due to H$_2$O (21$\sigma$), CH$_4$ (5$\sigma$), CO (7$\sigma$), CO$_2$ (29$\sigma$), SO$_2$ (9$\sigma$), and NH$_3$ (6$\sigma$). The presence of these molecules enable constraints on the atmospheric metal enrichment (M/H is 10--18$\times$ Solar), vertical mixing strength (log$_{10}$K$_{zz}$=8.4--9.0 cm$^2$s$^{-1}$), and internal temperature ($>$345 K). The high internal temperature is suggestive of tidally-driven inflation acting upon a Neptune-like internal structure, which can naturally explain the planet's large radius and low density. These findings suggest that eccentricity driven tidal heating is a critical process governing atmospheric chemistry and interior structure inferences for a majority of the cool ($<$1,000K) super-Earth-to-Saturn mass exoplanet population.


title: Episodic mass loss in the very luminous red supergiant [W60] B90 in the Large Magellanic Cloud

abstract: This study delves into [W60] B90, one of the most luminous and extreme Red Supergiants (RSGs) in the Large Magellanic Cloud (LMC), aiming to search for evidence of episodic mass loss. Our discovery of a bar-like nebular structure at 1 pc, reminiscent of the bar around Betelgeuse, raised the question of whether [W60] B90 also has a bow shock. We collected and analyzed proper motion data from Gaia, as well as new multi-epoch spectroscopic and imaging data, and archival time-series photometry in the optical and mid-infrared. We found [W60] B90 to be a walkaway star, with a supersonic peculiar velocity in the direction of the bar. We detected shocked emission between the bar and the star, based on the [S II]/H$\alpha$ > 0.4 criterion, providing strong evidence for a bow shock. The 30-year optical light curve revealed semi-regular variability, showing three similar dimming events with $\Delta V \sim 1$ mag, a recurrence of $\sim$12 yr, and a rise time of 400 d. We found the mid-IR light curve to vary by 0.51 mag and 0.37 mag in the WISE1 and WISE2 bands, respectively, and by 0.42 mag and 0.25 mag during the last dimming event. During this event, optical spectroscopy revealed spectral variability (M3I to M4I), a correlation between the $T_{\rm eff}$ and the brightness, increased extinction, and, after the minimum, spectral features incompatible with the models. We also found a difference of >300 K between the $T_{\rm eff}$ measured from the TiO bands in the optical and the atomic lines from our $J$-band spectroscopy. We inferred that [W60] B90 is a more massive analog of Betelgeuse in the LMC and the first extragalactic single RSG with a suspected bow shock. Its high luminosity $\log(L/L_{\odot})=5.32$ dex, mass-loss rate, and mid-IR variability compared to other RSGs in the LMC, indicate that it is in an unstable evolutionary state undergoing episodes of mass loss.


title: Localization and conductance in fractional quantum Hall edges

abstract: The fractional quantum Hall (FQH) effect gives rise to abundant topological phases, presenting an ultimate platform for studying the transport of edge states. Generic FQH edge contains multiple edge modes, commonly including the counter-propagating ones. A question of the influence of Anderson localization on transport through such edges arises. Recent experimental advances in engineering novel devices with interfaces of different FQH states enable transport measurements of FQH edges and edge junctions also featuring counter-propagating modes. These developments provide an additional strong motivation for the theoretical study of the effects of localization on generic edge states. We develop a general framework for analyzing transport in various regimes that also naturally includes localization. Using a reduced field theory of the edge after localization, we derive a general formula for the conductance. We apply this framework to analyze various experimentally relevant geometries of FQH edges and edge junctions.


title: Enhanced 3D Urban Scene Reconstruction and Point Cloud Densification using Gaussian Splatting and Google Earth Imagery

abstract: 3D urban scene reconstruction and modelling is a crucial research area in remote sensing with numerous applications in academia, commerce, industry, and administration. Recent advancements in view synthesis models have facilitated photorealistic 3D reconstruction solely from 2D images. Leveraging Google Earth imagery, we construct a 3D Gaussian Splatting model of the Waterloo region centered on the University of Waterloo and are able to achieve view-synthesis results far exceeding previous 3D view-synthesis results based on neural radiance fields which we demonstrate in our benchmark. Additionally, we retrieved the 3D geometry of the scene using the 3D point cloud extracted from the 3D Gaussian Splatting model which we benchmarked against our Multi- View-Stereo dense reconstruction of the scene, thereby reconstructing both the 3D geometry and photorealistic lighting of the large-scale urban scene through 3D Gaussian Splatting


title: AGN populations in the local universe: their alignment with the main-sequence, characteristics of their stellar populations, accretion efficiency, and the impact of AGN feedback

abstract: In this study, we utilize a sample of 338 galaxies within the redshift range of $\rm 0.02<z<0.1$, drawn from the Sloan Digital Sky Survey (SDSS), for which there are available classifications, based on their emission line ratios. We, further, identify and select Compton-thick (CT) AGN through the use of X-ray and infrared luminosities at $12\,\mu m$. We construct the spectral energy distributions (SEDs) for all sources and fit them using the CIGALE code to derive properties related to both the AGN and host galaxies. Employing stringent criteria to ensure the reliability of SED measurements, our final sample comprises 14 CT AGN, 118 Seyfert 2 (Sy2), 82 composite, and 124 LINER galaxies. Our analysis reveals that, irrespective of their classification, the majority of the sources lie below the star-forming main-sequence (MS). Additionally, a lower level of AGN activity is associated with a closer positioning to the MS. Utilizing the D$_n$4000 spectral index as a proxy for the age of stellar populations, we observe that LINERs exhibit the oldest stellar populations compared to other AGN classes. Conversely, CT sources are situated in galaxies with the youngest stellar populations. Furthermore, LINER and composite galaxies tend to show the lowest accretion efficiency, while CT AGN, on average, display the most efficient accretion among the four AGN populations. Our findings are consistent with a scenario in which the different AGN populations might not originate from the same AGN activity burst. Early triggers in gas rich environments can create high accretion rate SMBHs leading to a progression from CT to Sy2, while later triggers in gas poor stages result in low accretion rate SMBHs like those found in LINERs.


title: Hydrodynamics of thermal active matter

abstract: Active matter concerns many-body systems comprised of living or self-driven agents that collectively exhibit macroscopic phenomena distinct from conventional passive matter. Using Schwinger-Keldysh effective field theory, we develop a novel hydrodynamic framework for thermal active matter that accounts for local temperature variations and the ensuing stochastic effects. This framework provides a deeper understanding of energy balance, second law of thermodynamics, and thermostated steady states in active matter, while also addressing the systematic violations of fluctuation-dissipation theorem and detailed balance. We use our framework of active hydrodynamics to develop effective field theory actions for active superfluids and active nematics that offer a first-principle derivation of various active transport coefficients and feature activity-induced phase transitions.

categories: cond-mat.soft cond-mat.stat-mech hep-th physics.bio-ph


title: GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection

abstract: Boolean satisfiability (SAT) problems are routinely solved by SAT solvers in real-life applications, yet solving time can vary drastically between solvers for the same instance. This has motivated research into machine learning models that can predict, for a given SAT instance, which solver to select among several options. Existing SAT solver selection methods all rely on some hand-picked instance features, which are costly to compute and ignore the structural information in SAT graphs. In this paper we present GraSS, a novel approach for automatic SAT solver selection based on tripartite graph representations of instances and a heterogeneous graph neural network (GNN) model. While GNNs have been previously adopted in other SAT-related tasks, they do not incorporate any domain-specific knowledge and ignore the runtime variation introduced by different clause orders. We enrich the graph representation with domain-specific decisions, such as novel node feature design, positional encodings for clauses in the graph, a GNN architecture tailored to our tripartite graphs and a runtime-sensitive loss function. Through extensive experiments, we demonstrate that this combination of raw representations and domain-specific choices leads to improvements in runtime for a pool of seven state-of-the-art solvers on both an industrial circuit design benchmark, and on instances from the 20-year Anniversary Track of the 2022 SAT Competition.


title: (Re)mind the gap: a hiatus in star formation history unveiled by APOGEE DR17

abstract: The analysis of several spectroscopic surveys indicates the presence of a bimodality between the disc stars in the abundance ratio space of [${\alpha}$/Fe] versus [Fe/H]. The two stellar groups are commonly referred to as the high-${\alpha}$ and low-${\alpha}$ sequences. Some models capable of reproducing such a bimodality, invoke the presence of a hiatus in the star formation history in our Galaxy, whereas other models explain the two sequences by means of stellar migration. Our aim is to show that the existence of the gap in the star formation rate between high-$\alpha$ and low-$\alpha$ is evident in the stars of APOGEE DR17, if one plots [Fe/$\alpha$] versus [$\alpha$/H], thus confirming previous suggestions by Gratton et al. (1996) and Fuhrmann (1998). Then we try to interpret the data by means of detailed chemical models. We compare the APOGEE DR17 red giant stars with the predictions of a detailed chemical evolution model based on the two-infall paradigm, taking also into account possible accretion of dwarf satellites. The APOGEE DR17 abundance ratios [Fe/$\alpha$] versus [$\alpha$/H] exhibit a sharp increase of [Fe/$\alpha$] at a nearly constant [$\alpha$/H] (where $\alpha$ elements considered are Mg, Si, O) during the transition between the two disc phases. This observation strongly supports the hypothesis that a hiatus in star formation occurred during this evolutionary phase. Notably, the most pronounced growth in the [Fe/$\alpha$] versus [$\alpha$/H] relation is observed for oxygen, as this element is exclusively synthesised in core-collapse supernovae. A chemical model predicting a stop in the star formation of a duration of roughly 3.5 Gyr, and where the high-$\alpha$ disc starts forming from pre-enriched gas by a previous encounter with a dwarf galaxy can well explain the observations.


title: Astrometric Jitter as a Detection Diagnostic for Recoiling and Slingshot Supermassive Black Hole Candidates

abstract: Supermassive black holes (SMBHs) can be ejected from their galactic centers due to gravitational wave recoil or the slingshot mechanism following a galaxy merger. If an ejected SMBH retains its inner accretion disk, it may be visible as an off-nuclear active galactic nucleus (AGN). At present, only a handful of offset AGNs that are recoil or slingshot candidates have been found, and none have been robustly confirmed. Compiling a large sample of runaway SMBHs would enable us to constrain the mass and spin evolution of binary SMBHs and study feedback effects of displaced AGNs. We adapt the method of varstrometry -- which was developed for Gaia observations to identify off-center, dual, and lensed AGNs -- in order to quickly identify off-nuclear AGNs in optical survey data by looking for an excess of blue versus red astrometric jitter. We apply this to the Pan-STARRS1 3pi Survey and report on five new runaway AGN candidates. We focus on ZTF18aajyzfv: a luminous quasar offset by 6.7 $\pm$ 0.2 kpc from an adjacent galaxy at $z$=0.224, and conclude after Keck LRIS spectroscopy and comparison to ASTRID simulation analogs that it is likely a dual AGN. This selection method can be easily adapted to work with data from the soon-to-be commissioned Vera C. Rubin Telescope Legacy Survey of Space and Time (LSST). LSST will have a higher cadence and deeper magnitude limit than Pan-STARRS1, and should permit detection of many more runaway SMBH candidates.


title: A warm Neptune's methane reveals core mass and vigorous atmospheric mixing

abstract: Observations of transiting gas giant exoplanets have revealed a pervasive depletion of methane, which has only recently been identified atmospherically. The depletion is thought to be maintained by disequilibrium processes such as photochemistry or mixing from a hotter interior. However, the interiors are largely unconstrained along with the vertical mixing strength and only upper limits on the CH$_4$ depletion have been available. The warm Neptune WASP-107 b stands out among exoplanets with an unusually low density, reported low core mass, and temperatures amenable to CH$_4$ though previous observations have yet to find the molecule. Here we present a JWST NIRSpec transmission spectrum of WASP-107 b which shows features from both SO$_2$ and CH$_4$ along with H$_2$O, CO$_2$, and CO. We detect methane with 4.2$\sigma$ significance at an abundance of 1.0$\pm$0.5 ppm, which is depleted by 3 orders of magnitude relative to equilibrium expectations. Our results are highly constraining for the atmosphere and interior, which indicate the envelope has a super-solar metallicity of 43$\pm$8$\times$ solar, a hot interior with an intrinsic temperature of T$_{\rm int}$=460$\pm$40 K, and vigorous vertical mixing which depletes CH4 with a diffusion coefficient of Kzz = 10$^{11.6\pm0.1}$ cm$^2$/s. Photochemistry has a negligible effect on the CH$_4$ abundance, but is needed to account for the SO$_2$. We infer a core mass of 11.5$_{-3.6}^{+3.0}$ M$_{\odot}$, which is much higher than previous upper limits, releasing a tension with core-accretion models.


title: Simulations of Interacting Binary Systems -- Pathways to Radio Bright GRB Progenitors

abstract: Although the association of gamma-ray bursts (GRBs) with massive stellar death is on firm footing, the nature of the progenitor system and the key ingredients required for a massive star to produce a gamma-ray burst remain open questions. Here, we investigate the evolution of a massive star with a closely orbiting compact object companion using the stellar evolution code MESA. In particular, we examine how the companion influences the angular momentum and circumstellar environment near the end of the massive star life. We find that tidal effects can cause the compact object companion to significantly increase the angular momentum of the massive star, for orbital periods in the range of up to $\sim 4$ days. We model the density profile evolution of the massive star and discuss how tidal interactions may also lead to stripping of the outer stellar envelope in a way that can create an environment around the binary system that deviates from a typical $1/r^{2}$ wind density profile. We show how our results depend on the metallicity of the system, initial spin of the star, mass ratio, as well as accretion and dynamo prescriptions in the simulations. We conclude that these systems may be viable progenitors for radio-bright, long gamma-ray bursts.


title: Generative Artificial Intelligence: A Systematic Review and Applications

abstract: In recent years, the study of artificial intelligence (AI) has undergone a paradigm shift. This has been propelled by the groundbreaking capabilities of generative models both in supervised and unsupervised learning scenarios. Generative AI has shown state-of-the-art performance in solving perplexing real-world conundrums in fields such as image translation, medical diagnostics, textual imagery fusion, natural language processing, and beyond. This paper documents the systematic review and analysis of recent advancements and techniques in Generative AI with a detailed discussion of their applications including application-specific models. Indeed, the major impact that generative AI has made to date, has been in language generation with the development of large language models, in the field of image translation and several other interdisciplinary applications of generative AI. Moreover, the primary contribution of this paper lies in its coherent synthesis of the latest advancements in these areas, seamlessly weaving together contemporary breakthroughs in the field. Particularly, how it shares an exploration of the future trajectory for generative AI. In conclusion, the paper ends with a discussion of Responsible AI principles, and the necessary ethical considerations for the sustainability and growth of these generative models.


title: The Unappreciated Role of Intent in Algorithmic Moderation of Social Media Content

abstract: As social media has become a predominant mode of communication globally, the rise of abusive content threatens to undermine civil discourse. Recognizing the critical nature of this issue, a significant body of research has been dedicated to developing language models that can detect various types of online abuse, e.g., hate speech, cyberbullying. However, there exists a notable disconnect between platform policies, which often consider the author's intention as a criterion for content moderation, and the current capabilities of detection models, which typically lack efforts to capture intent. This paper examines the role of intent in content moderation systems. We review state of the art detection models and benchmark training datasets for online abuse to assess their awareness and ability to capture intent. We propose strategic changes to the design and development of automated detection and moderation systems to improve alignment with ethical and policy conceptualizations of abuse.


title: Quantum entanglement dynamics in a three-qubit system interacting with a spin chain

abstract: In this article, we investigate the entanglement evolution of three-qubit states in the presence of a spin chain environment. Utilizing negativity as a metric for entanglement assessment, we focus on the GHZ, W, and W_zeta quantum states as the initial system states. We explore and analyze the entanglement dynamics of these states based on various parameters.


title: Game-theoretic Energy Management Strategies With Interacting Agents in Formula 1

abstract: This paper presents an interaction-aware energy management optimization framework for Formula 1 racing. The considered scenario involves two agents and a drag reduction model. Strategic interactions between the agents are captured by a Stackelberg game formulated as a bilevel program. To address the computational challenges associated with bilevel optimization, the problem is reformulated as a single-level nonlinear program employing the Karush-Kuhn-Tucker conditions. The proposed framework contributes towards the development of new energy management and allocation strategies, caused by the presence of another agent. For instance, it provides valuable insights on how to redistribute the energy in order to optimally exploit the wake effect, showcasing a notable difference with the behavior studied in previous works. Robust energy allocations can be identified to reduce the lap time loss associated with unexpected choices of the other agent. It allows to recognize the boundary conditions for the interaction to become relevant, impacting the system's behavior, and to assess if overtaking is possible and beneficial. Overall, the framework provides a comprehensive approach for a two-agent Formula 1 racing problem with strategic interactions, offering physically intuitive and practical results.


title: Generalized Fractional Risk Process

abstract: In this paper, we define a compound generalized fractional counting process (CGFCP) which is a generalization of the compound versions of several well-known fractional counting processes. We obtain its mean, variance, and the fractional differential equation governing the probability law. Motivated by Kumar et al. (2020), we introduce a fractional risk process by considering CGFCP as the surplus process and call it generalized fractional risk process (GFRP). We study the martingale property of the GFRP and show that GFRP and the associated increment process exhibit the long-range dependence (LRD) and the short-range dependence (SRD) property, respectively. We also define an alternative to GFRP, namely AGFRP which is premium wise different from the GFRP. Finally, the asymptotic structure of the ruin probability for the AGFRP is established in case of light-tailed and heavy-tailed claim sizes.


title: Safety in Graph Machine Learning: Threats and Safeguards

abstract: Graph Machine Learning (Graph ML) has witnessed substantial advancements in recent years. With their remarkable ability to process graph-structured data, Graph ML techniques have been extensively utilized across diverse applications, including critical domains like finance, healthcare, and transportation. Despite their societal benefits, recent research highlights significant safety concerns associated with the widespread use of Graph ML models. Lacking safety-focused designs, these models can produce unreliable predictions, demonstrate poor generalizability, and compromise data confidentiality. In high-stakes scenarios such as financial fraud detection, these vulnerabilities could jeopardize both individuals and society at large. Therefore, it is imperative to prioritize the development of safety-oriented Graph ML models to mitigate these risks and enhance public confidence in their applications. In this survey paper, we explore three critical aspects vital for enhancing safety in Graph ML: reliability, generalizability, and confidentiality. We categorize and analyze threats to each aspect under three headings: model threats, data threats, and attack threats. This novel taxonomy guides our review of effective strategies to protect against these threats. Our systematic review lays a groundwork for future research aimed at developing practical, safety-centered Graph ML models. Furthermore, we highlight the significance of safe Graph ML practices and suggest promising avenues for further investigation in this crucial area.


title: DeFiTail: DeFi Protocol Inspection through Cross-Contract Execution Analysis

abstract: Decentralized finance (DeFi) protocols are crypto projects developed on the blockchain to manage digital assets. Attacks on DeFi have been frequent and have resulted in losses exceeding \$77 billion. However, detection methods for malicious DeFi events are still lacking. In this paper, we propose DeFiTail, the first framework that utilizes deep learning to detect access control and flash loan exploits that may occur on DeFi. Since the DeFi protocol events involve invocations with multi-account transactions, which requires execution path unification with different contracts. Moreover, to mitigate the impact of mistakes in Control Flow Graph (CFG) connections, we validate the data path by employing the symbolic execution stack. Furthermore, we feed the data paths through our model to achieve the inspection of DeFi protocols. Experimental results indicate that DeFiTail achieves the highest accuracy, with 98.39% in access control and 97.43% in flash loan exploits. DeFiTail also demonstrates an enhanced capability to detect malicious contracts, identifying 86.67% accuracy from the CVE dataset.