title: Modelling the Dynamics of Potentially Dangerous Large-Earth Impactors

abstract: Collisional threats posed by Near-Earth Objects (NEOs) are increasingly being confirmed by National Aeronautics and Space Administration (NASA) and European Space Agency (ESA) sky surveys. Efforts to develop tools to perform modelling, analysis and prediction of possible future impact events are ongoing. The aim of this research is to design a model for Large Earth impact events, describing atmospheric entry, ground impact and post-impact dynamics for impactors large enough to cause harm to the Earth. We present results of Large Earth Impact (LEI) events involving a number of objects with densities ranging between $1000 - 8000 kg m^{-3}$. We use Python code to solve differential equations and perform calculations on analytical models built into the collision simulation algorithms while feeding relevant physical input in terms of object velocity and diameter. We find that denser impactors have slower rates of decrease in momentum while hitting the atmosphere. The denser impactors which exhibit greater resistance to atmospheric disruption result in more energetic ground impacts events in terms of crater formation, thermal radiation generation, seismic effects, ejecta displacement and air-blast effects. We conclude that impacting objects with high masses maintain greater kinetic energies compared to objects with less mass thus posing greater collisional threats to the Earth.


title: Emotion Recognition for Healthcare Surveillance Systems Using Neural Networks: A Survey

abstract: Recognizing the patient's emotions using deep learning techniques has attracted significant attention recently due to technological advancements. Automatically identifying the emotions can help build smart healthcare centers that can detect depression and stress among the patients in order to start the medication early. Using advanced technology to identify emotions is one of the most exciting topics as it defines the relationships between humans and machines. Machines learned how to predict emotions by adopting various methods. In this survey, we present recent research in the field of using neural networks to recognize emotions. We focus on studying emotions' recognition from speech, facial expressions, and audio-visual input and show the different techniques of deploying these algorithms in the real world. These three emotion recognition techniques can be used as a surveillance system in healthcare centers to monitor patients. We conclude the survey with a presentation of the challenges and the related future work to provide an insight into the applications of using emotion recognition.


title: Combining 3D Image and Tabular Data via the Dynamic Affine Feature Map Transform

abstract: Prior work on diagnosing Alzheimer's disease from magnetic resonance images of the brain established that convolutional neural networks (CNNs) can leverage the high-dimensional image information for classifying patients. However, little research focused on how these models can utilize the usually low-dimensional tabular information, such as patient demographics or laboratory measurements. We introduce the Dynamic Affine Feature Map Transform (DAFT), a general-purpose module for CNNs that dynamically rescales and shifts the feature maps of a convolutional layer, conditional on a patient's tabular clinical information. We show that DAFT is highly effective in combining 3D image and tabular information for diagnosis and time-to-dementia prediction, where it outperforms competing CNNs with a mean balanced accuracy of 0.622 and mean c-index of 0.748, respectively. Our extensive ablation study provides valuable insights into the architectural properties of DAFT. Our implementation is available at https://github.com/ai-med/DAFT.


title: Learning based E2E Energy Efficient in Joint Radio and NFV Resource Allocation for 5G and Beyond Networks

abstract: In this paper, we propose a joint radio and core resource allocation framework for NFV-enabled networks. In the proposed system model, the goal is to maximize energy efficiency (EE), by guaranteeing end-to-end (E2E) quality of service (QoS) for different service types. To this end, we formulate an optimization problem in which power and spectrum resources are allocated in the radio part. In the core part, the chaining, placement, and scheduling of functions are performed to ensure the QoS of all users. This joint optimization problem is modeled as a Markov decision process (MDP), considering time-varying characteristics of the available resources and wireless channels. A soft actor-critic deep reinforcement learning (SAC-DRL) algorithm based on the maximum entropy framework is subsequently utilized to solve the above MDP. Numerical results reveal that the proposed joint approach based on the SAC-DRL algorithm could significantly reduce energy consumption compared to the case in which R-RA and NFV-RA problems are optimized separately.


title: Identifying Influential Users in Unknown Social Networks for Adaptive Incentive Allocation Under Budget Restriction

abstract: In recent years, recommendation systems have been widely applied in many domains. These systems are impotent in affecting users to choose the behavior that the system expects. Meanwhile, providing incentives has been proven to be a more proactive way to affect users' behaviors. Due to the budget limitation, the number of users who can be incentivized is restricted. In this light, we intend to utilize social influence existing among users to enhance the effect of incentivization. Through incentivizing influential users directly, their followers in the social network are possibly incentivized indirectly. However, in many real-world scenarios, the topological structure of the network is usually unknown, which makes identifying influential users difficult. To tackle the aforementioned challenges, in this paper, we propose a novel algorithm for exploring influential users in unknown networks, which can estimate the influential relationships among users based on their historical behaviors and without knowing the topology of the network. Meanwhile, we design an adaptive incentive allocation approach that determines incentive values based on users' preferences and their influence ability. We evaluate the performance of the proposed approaches by conducting experiments on both synthetic and real-world datasets. The experimental results demonstrate the effectiveness of the proposed approaches.


title: Estimates for polynomial norms on Banach spaces

abstract: Our work is related to problems $73$ and $74$ of Mazur and Orlicz in ``The Scottish Book" (ed. R. D. Mauldin). Let $k_1, \ldots, k_n$ be nonnegative integers such that $\sum_{i=1}^{n} k_{i}=m$, and let $\mathbb{K}(k_1, \ldots, k_n; X)$, where $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$, be the smallest number satisfying the property: if $L$ is any symmetric $m$-linear form on a Banach space $X$, then \[ \sup_{\|x_{i}\|\leq 1 ,\atop i=1,2,\ldots ,n} |L(x_{1}^{k_1},\ldots ,x_{n}^{k_n})|\leq \mathbb{K}(k_1, \ldots, k_n; X)\sup_{\|x\|\leq 1} |L(x, \ldots ,x)|\,, \] where the exponents $k_{1}, \ldots, k_{n}$, are as described above, and each $k_{i}$ denotes the number of coordinates in which the corresponding base variable appears. In the case of complex Banach spaces, the problem of optimising the constant $\mathbb{C}(k_1, \ldots, k_n; X)$ is well-studied. In the more challenging case of real Banach spaces much less is known about the estimates for $\mathbb{R}(k_1, \ldots, k_n; X)$. In this work, both real and complex settings are examined using results from the local theory of Banach spaces, as well as from interpolation theory of linear operators. In the particular case of complex $L^{p}(\mu)$ spaces, and for certain values of $p$, our results are optimal. As an application, we prove Markov-type inequalities for homogeneous polynomials on Banach spaces.


title: Measuring the photoelectron emission delay in the molecular frame

abstract: If matter absorbs a photon of sufficient energy it emits an electron. The question of the duration of the emission process has intrigued scientists for decades. With the advent of attosecond metrology, experiments addressing such ultrashort intervals became possible. While these types of studies require attosecond experimental precision, we present here a novel measurement approach that avoids those experimental difficulties. We instead extract the emission delay from the interference pattern generated as the emitted photoelectron is diffracted by the parent ion's potential. Targeting core electrons in CO, we measured a 2d map of photoelectron emission delays in the molecular frame over a wide range of electron energies. The measured emission times depend drastically on the emission direction and exhibit characteristic changes along the shape resonance of the molecule. Our approach can be routinely extended to other electron orbitals and more complex molecules.


title: On the Hat Guessing Number of Graphs

abstract: The hat guessing number $HG(G)$ of a graph $G$ on $n$ vertices is defined in terms of the following game: $n$ players are placed on the $n$ vertices of $G$, each wearing a hat whose color is arbitrarily chosen from a set of $q$ possible colors. Each player can see the hat colors of his neighbors, but not his own hat color. All of the players are asked to guess their own hat colors simultaneously, according to a predetermined guessing strategy and the hat colors they see, where no communication between them is allowed. The hat guessing number $HG(G)$ is the largest integer $q$ such that there exists a guessing strategy guaranteeing at least one correct guess for any hat assignment of $q$ possible colors. In this note we construct a planar graph $G$ satisfying $HG(G)=12$, settling a problem raised in \cite{BDFGM}. We also improve the known lower bound of $(2-o(1))\log_2 n$ for the typical hat guessing number of the random graph $G=G(n,1/2)$, showing that it is at least $n^{1-o(1)}$ with probability tending to $1$ as $n$ tends to infinity. Finally, we consider the linear hat guessing number of complete multipartite graphs.


title: More on the flavor dependence of $m_\varrho / f_\pi$

abstract: In previous work, arXiv:1905.01909, we have calculated the $m_\varrho / f_\pi$ ratio in the chiral and continuum limit for $SU(3)$ gauge theory coupled to $N_f = 2,3,4,5,6$ fermions in the fundamental representation. The main result was that this ratio displays no statistically significant $N_f$-dependence. In the present work we continue the study of the $N_f$-dependence by extending the simulations to $N_f = 7, 8, 9, 10$. Along the way we also study in detail the $N_f$-dependence of finite volume effects on low energy observables and a particular translational symmetry breaking unphysical, lattice artefact phase specific to staggered fermions.


title: Scalable, Axiomatic Explanations of Deep Alzheimer's Diagnosis from Heterogeneous Data

abstract: Deep Neural Networks (DNNs) have an enormous potential to learn from complex biomedical data. In particular, DNNs have been used to seamlessly fuse heterogeneous information from neuroanatomy, genetics, biomarkers, and neuropsychological tests for highly accurate Alzheimer's disease diagnosis. On the other hand, their black-box nature is still a barrier for the adoption of such a system in the clinic, where interpretability is absolutely essential. We propose Shapley Value Explanation of Heterogeneous Neural Networks (SVEHNN) for explaining the Alzheimer's diagnosis made by a DNN from the 3D point cloud of the neuroanatomy and tabular biomarkers. Our explanations are based on the Shapley value, which is the unique method that satisfies all fundamental axioms for local explanations previously established in the literature. Thus, SVEHNN has many desirable characteristics that previous work on interpretability for medical decision making is lacking. To avoid the exponential time complexity of the Shapley value, we propose to transform a given DNN into a Lightweight Probabilistic Deep Network without re-training, thus achieving a complexity only quadratic in the number of features. In our experiments on synthetic and real data, we show that we can closely approximate the exact Shapley value with a dramatically reduced runtime and can reveal the hidden knowledge the network has learned from the data.


title: Motion-Aware Robotic 3D Ultrasound

abstract: Robotic three-dimensional (3D) ultrasound (US) imaging has been employed to overcome the drawbacks of traditional US examinations, such as high inter-operator variability and lack of repeatability. However, object movement remains a challenge as unexpected motion decreases the quality of the 3D compounding. Furthermore, attempted adjustment of objects, e.g., adjusting limbs to display the entire limb artery tree, is not allowed for conventional robotic US systems. To address this challenge, we propose a vision-based robotic US system that can monitor the object's motion and automatically update the sweep trajectory to provide 3D compounded images of the target anatomy seamlessly. To achieve these functions, a depth camera is employed to extract the manually planned sweep trajectory after which the normal direction of the object is estimated using the extracted 3D trajectory. Subsequently, to monitor the movement and further compensate for this motion to accurately follow the trajectory, the position of firmly attached passive markers is tracked in real-time. Finally, a step-wise compounding was performed. The experiments on a gel phantom demonstrate that the system can resume a sweep when the object is not stationary during scanning.


title: Implementing Multiple Modes of the Perpendicular Magnetization Switching within a Single Spin Orbit Torque Device

abstract: Spin orbit torque (SOT) has been considered as one of the promising technologies for the next-generation magnetic random access memory (MRAM). So far, SOT has been widely utilized for inducing various modes of magnetization switching. However, it is challenging to integrate multiple modes of magnetization switching together. In this work we propose a method for implementing both unipolar and bipolar switching of the perpendicular magnetization within a single SOT device. The mode of switching could be easily altered by tuning the amplitude of the applied current. We show that the field-like torque plays an important role in the switching process. The field-like torque induces the precession of the magnetization in the case of unipolar switching, whereas it helps to generate an effective z-component torque in the case of bipolar switching. In addition, the influence of key parameters on the mode of switching is discussed. Our proposal could be used to design novel reconfigurable logic circuits in the near future.


title: Homotopy types of $\mathrm{Spin}^c(n)$-gauge groups over $S^4$

abstract: The gauge group of a principal $G$-bundle $P$ over a space $X$ is the group of $G$-equivariant homeomorphisms of $P$ that cover the identity on $X$. We consider the gauge groups of bundles over $S^4$ with $\mathrm{Spin}^c(n)$, the complex spin group, as structure group and show how the study of their homotopy types reduces to that of $\mathrm{Spin}(n)$-gauge groups over $S^4$. We then advance on what is known by providing a partial classification for $\mathrm{Spin}(7)$- and $\mathrm{Spin}(8)$-gauge groups over $S^4$.


title: The Ameyalli-Rule: Logical Universality in a 2D Cellular Automaton

abstract: We present a new spontaneously emergent glider-gun in a 2D Cellular Automaton and build the logical gates NOT, AND and OR required for logical universality. The Ameyalli-rule is not based on survival/birth logic but depends on 102 isotropic neighborhood groups making an iso-rule, which can drive an interactive input-frequency histogram for visualising iso-group activity and dependent functions for filtering and mutation. Neutral inputs relative to logical gates are identified which provide an idealized striped-down form of the iso-rule.


title: Micro-level dynamics in hidden action situations with limited information

abstract: The hidden-action model provides an optimal sharing rule for situations in which a principal assigns a task to an agent who makes an effort to carry out the task assigned to him. However, the principal can only observe the task outcome but not the agent's actual action, which is why the sharing rule can only be based on the outcome. The hidden-action model builds on somewhat idealized assumptions about the principal's and the agent's capabilities related to information access. We propose an agent-based model that relaxes some of these assumptions. Our analysis lays particular focus on the micro-level dynamics triggered by limited access to information. For the principal's sphere, we identify the so-called Sisyphus effect that explains why the sharing rule that provides the agent with incentives to take optimal action is difficult to achieve if the information is limited, and we identify factors that moderate this effect. In addition, we analyze the behavioral dynamics in the agent's sphere. We show that the agent might make even more of an effort than optimal under unlimited access to information, which we refer to as excess effort. Interestingly, the principal can control the probability of making an excess effort via the incentive mechanism. However, how much excess effort the agent finally makes is out of the principal's direct control.


title: A Computational Study of the Reaction Cyanoacetylene and Cyano Radical leading to 2-Butynedinitrile and Hydrogen Radical

abstract: The present work focuses on the characterization of the reaction between cyanoacetylene and cyano radical by electronic structure calculations of the stationary points along the minimum energy path. One channel, leading to C4N2 (2-Butynedinitrile) + H, was selected due to the importance of its products. Using different ab initio methods, a number of stationary points of the potential energy surface were characterized. The energy values of these minima were compared in order to weight the computational costs in relation to chemical accuracy. The results of this works suggests that B2PLYP (and B2PLYPD3) gave a better description of the saddle point geometry, while B3LYP works better for minima.


title: The dynamics of the Koopman-van Hove angular and linear momentum operators

abstract: A recent formalism capturing the classical-quantum coupling in a Hamiltonian theory for probabilistic classical mechanics has been proposed: the Koopman-van Hove formulation. The aims of this report are twofolds. First, we rigourously expose this new framework for a non-expert audience and present a construction for the operatorial analogues to the classical angular and linear momentum operators. We then investigate the group actions generating their average as momentum maps as well as their associated dynamics. Finally, we illustrate the theory by deriving the Koopman-van Hove formulation to the Kepler problem, harmonic and anharmonic oscillators.


title: Recent Advances in Energy Efficient Resource Management Techniques in Cloud Computing Environments

abstract: Nowadays cloud computing adoption as a form of hosted application and services is widespread due to decreasing costs of hardware, software, and maintenance. Cloud enables access to a shared pool of virtual resources hosted in large energy-hungry data centers for diverse information and communication services with dynamic workloads. The huge energy consumption of cloud data centers results in high electricity bills as well as emission of a large amount of carbon dioxide gas. Needless to say, efficient resource management in cloud environments has become one of the most important priorities of cloud providers and consequently has increased the interest of researchers to propose novel energy saving solutions. This chapter presents a scientific and taxonomic survey of recent energy efficient cloud resource management' solutions in cloud environments. The main objective of this study is to propose a novel complete taxonomy for energy-efficient cloud resource management solutions, review recent research advancements in this area, classify the existing techniques based on our proposed taxonomy, and open up new research directions. Besides, it reviews and surveys the literature in the range of 2015 through 2021 in the subject of energy-efficient cloud resource management techniques and maps them to its proposed taxonomy, which unveils novel research directions and facilitates the conduction of future researches.


title: Parameter selection in Gaussian process interpolation: an empirical study of selection criteria

abstract: This article revisits the fundamental problem of parameter selection for Gaussian process interpolation. By choosing the mean and the covariance functions of a Gaussian process within parametric families, the user obtains a family of Bayesian procedures to perform predictions about the unknown function, and must choose a member of the family that will hopefully provide good predictive performances. We base our study on the general concept of scoring rules, which provides an effective framework for building leave-one-out selection and validation criteria, and a notion of extended likelihood criteria based on an idea proposed by Fasshauer and co-authors in 2009, which makes it possible to recover standard selection criteria such as, for instance, the generalized cross-validation criterion. Under this setting, we empirically show on several test problems of the literature that the choice of an appropriate family of models is often more important than the choice of a particular selection criterion (e.g., the likelihood versus a leave-one-out selection criterion). Moreover, our numerical results show that the regularity parameter of a Mat{\'e}rn covariance can be selected effectively by most selection criteria.


title: The EXO-200 detector, part II: Auxiliary Systems

abstract: The EXO-200 experiment searched for neutrinoless double-beta decay of $^{136}$Xe with a single-phase liquid xenon detector. It used an active mass of 110 kg of 80.6%-enriched liquid xenon in an ultra-low background time projection chamber with ionization and scintillation detection and readout. This paper describes the design and performance of the various support systems necessary for detector operation, including cryogenics, xenon handling, and controls. Novel features of the system were driven by the need to protect the thin-walled detector chamber containing the liquid xenon, to achieve high chemical purity of the Xe, and to maintain thermal uniformity across the detector.


title: Wasserstein GAN: Deep Generation applied on Bitcoins financial time series

abstract: Modeling financial time series is challenging due to their high volatility and unexpected happenings on the market. Most financial models and algorithms trying to fill the lack of historical financial time series struggle to perform and are highly vulnerable to overfitting. As an alternative, we introduce in this paper a deep neural network called the WGAN-GP, a data-driven model that focuses on sample generation. The WGAN-GP consists of a generator and discriminator function which utilize an LSTM architecture. The WGAN-GP is supposed to learn the underlying structure of the input data, which in our case, is the Bitcoin. Bitcoin is unique in its behavior; the prices fluctuate what makes guessing the price trend hardly impossible. Through adversarial training, the WGAN-GP should learn the underlying structure of the bitcoin and generate very similar samples of the bitcoin distribution. The generated synthetic time series are visually indistinguishable from the real data. But the numerical results show that the generated data were close to the real data distribution but distinguishable. The model mainly shows a stable learning behavior. However, the model has space for optimization, which could be achieved by adjusting the hyperparameters.


title: Automatic Classification of Error Types in Solutions to Programming Assignments at Online Learning Platform

abstract: Online programming courses are becoming more and more popular, but they still have significant drawbacks when compared to the traditional education system, e.g., the lack of feedback. In this study, we apply machine learning methods to improve the feedback of automated verification systems for programming assignments. We propose an approach that provides an insight on how to fix the code for a given incorrect submission. To achieve this, we detect frequent error types by clustering previously submitted incorrect solutions, label these clusters and use this labeled dataset to identify the type of an error in a new submission. We examine and compare several approaches to the detection of frequent error types and to the assignment of clusters to new submissions. The proposed method is evaluated on a dataset provided by a popular online learning platform.


title: Zero-shot Speech Translation

abstract: Speech Translation (ST) is the task of translating speech in one language into text in another language. Traditional cascaded approaches for ST, using Automatic Speech Recognition (ASR) and Machine Translation (MT) systems, are prone to error propagation. End-to-end approaches use only one system to avoid propagating error, yet are difficult to employ due to data scarcity. We explore zero-shot translation, which enables translating a pair of languages that is unseen during training, thus avoid the use of end-to-end ST data. Zero-shot translation has been shown to work for multilingual machine translation, yet has not been studied for speech translation. We attempt to build zero-shot ST models that are trained only on ASR and MT tasks but can do ST task during inference. The challenge is that the representation of text and audio is significantly different, thus the models learn ASR and MT tasks in different ways, making it non-trivial to perform zero-shot. These models tend to output the wrong language when performing zero-shot ST. We tackle the issues by including additional training data and an auxiliary loss function that minimizes the text-audio difference. Our experiment results and analysis show that the methods are promising for zero-shot ST. Moreover, our methods are particularly useful in the few-shot settings where a limited amount of ST data is available, with improvements of up to +11.8 BLEU points compared to direct end-to-end ST models and +3.9 BLEU points compared to ST models fine-tuned from pre-trained ASR model.


title: Teaching Agents how to Map: Spatial Reasoning for Multi-Object Navigation

abstract: In the context of visual navigation, the capacity to map a novel environment is necessary for an agent to exploit its observation history in the considered place and efficiently reach known goals. This ability can be associated with spatial reasoning, where an agent is able to perceive spatial relationships and regularities, and discover object characteristics. Recent work introduces learnable policies parametrized by deep neural networks and trained with Reinforcement Learning (RL). In classical RL setups, the capacity to map and reason spatially is learned end-to-end, from reward alone. In this setting, we introduce supplementary supervision in the form of auxiliary tasks designed to favor the emergence of spatial perception capabilities in agents trained for a goal-reaching downstream objective. We show that learning to estimate metrics quantifying the spatial relationships between an agent at a given location and a goal to reach has a high positive impact in Multi-Object Navigation settings. Our method significantly improves the performance of different baseline agents, that either build an explicit or implicit representation of the environment, even matching the performance of incomparable oracle agents taking ground-truth maps as input. A learning-based agent from the literature trained with the proposed auxiliary losses was the winning entry to the Multi-Object Navigation Challenge, part of the CVPR 2021 Embodied AI Workshop.


title: Poisson process and sharp constants in Lp and Schauder estimates for a class of degenerate Kolmogorov operators

abstract: We consider a possibly degenerate Kolmogorov-Ornstein-Uhlenbeck operator of the form L = Tr(BD 2) + Az, D , where A, B are N x N matrices, z $\in$ R N , N $\ge$ 1, which satisfy the Kalman condition which is equivalent to the hypoellipticity condition. We prove the following stability result: the Schauder and Sobolev estimates associated with the corresponding parabolic Cauchy problem remain valid, with the same constant, for the parabolic Cauchy problem associated with a second order perturbation of L, namely for L + Tr(S(t)D 2) where S(t) is a non-negative N x N matrix depending continuously on t $\ge$ 0. Our approach relies on the perturbative technique based on the Poisson process introduced in [15].


title: Barriers and Dynamical Paths in Alternating Gibbs Sampling of Restricted Boltzmann Machines

abstract: Restricted Boltzmann Machines (RBM) are bi-layer neural networks used for the unsupervised learning of model distributions from data. The bipartite architecture of RBM naturally defines an elegant sampling procedure, called Alternating Gibbs Sampling (AGS), where the configurations of the latent-variable layer are sampled conditional to the data-variable layer, and vice versa. We study here the performance of AGS on several analytically tractable models borrowed from statistical mechanics. We show that standard AGS is not more efficient than classical Metropolis-Hastings (MH) sampling of the effective energy landscape defined on the data layer. However, RBM can identify meaningful representations of training data in their latent space. Furthermore, using these representations and combining Gibbs sampling with the MH algorithm in the latent space can enhance the sampling performance of the RBM when the hidden units encode weakly dependent features of the data. We illustrate our findings on three datasets: Bars and Stripes and MNIST, well known in machine learning, and the so-called Lattice Proteins, introduced in theoretical biology to study the sequence-to-structure mapping in proteins.


title: Electrically Controllable van der Waals Antiferromagnetic Spin Valve

abstract: We propose a spin valve that is based on van der Waals antiferromagnetism and fully electrically controlled. The device is composed of two antiferromagnetic terminals that allow for vertical bias control and a linked central scattering potential region. The magnetoresistance varies significantly when the bias orientations in two terminals are switched from parallel to antiparallel because this switch induces a mismatch of the bands for the same spin projection in different parts of the system. It is shown from density functional calculations that bilayer graphene encapsulated by two atomic layers of Cr$_2$Ge$_2$Te$_6$ provides a material platform to realize the antiferromagnetism, which is robust against the required vertical electric fields.


title: A Classification of Artificial Intelligence Systems for Mathematics Education

abstract: This chapter provides an overview of the different Artificial Intelligence (AI) systems that are being used in contemporary digital tools for Mathematics Education (ME). It is aimed at researchers in AI and Machine Learning (ML), for whom we shed some light on the specific technologies that are being used in educational applications; and at researchers in ME, for whom we clarify: i) what the possibilities of the current AI technologies are, ii) what is still out of reach and iii) what is to be expected in the near future. We start our analysis by establishing a high-level taxonomy of AI tools that are found as components in digital ME applications. Then, we describe in detail how these AI tools, and in particular ML, are being used in two key applications, specifically AI-based calculators and intelligent tutoring systems. We finish the chapter with a discussion about student modeling systems and their relationship to artificial general intelligence.


title: Exploration of trivial and non-trivial electronic phases and of collinear and non-collinear magnetic phases in low-spin d$^5$ perovskites

abstract: The $4d$ and $5d$ transition metal oxides have become important members of the emerging quantum materials family due to competition between onsite Coulomb repulsion ($U$) and spin-orbit coupling (SOC). Specifically, the systems with $d^5$ electronic configuration in an octahedral environment are found to be capable of posessing invariant semimetallic state and perturbations can lead to diverse magnetic phases. In this work, by formulating a multi-band Hubbard model and performing SOC tunable DFT+$U$ calculations on a prototype SrIrO$_3$ and extending the analysis to other iso-structural and isovalent compounds, we present eight possible electronic and magnetic configurations in the $U$-SOC phase diagram that can be observed in the family of low-spin $d^5$ perovskites. They include the protected Dirac semimetal state, metal and insulator regimes, collinear and noncollinear spin ordering. The latter is explained through connecting hopping interactions to the rotation and tilting of the octahedra as observed in GdFeO$_3$. Presence of several soft phase boundaries makes the family of $d^5$ perovskites an ideal platform to study electronic and magnetic phase transitions under external stimuli.


title: Superconductivity at 44.4 K achieved by intercalating EMIM+ into FeSe

abstract: Superconductivity with transition temperature Tc above 40 K was observed in protonated FeSe (Hy-FeSe) previously with the ionic liquid of EMIM-BF4 used in the electrochemical process. However, the real superconducting phase is not clear until now, and detailed structural, magnetization and electrical transport measurements are lacking. By using similar protonating technique on FeSe single crystals, we obtained superconducting samples with Tc above 40 K. We show that the obtained superconducting phase is not Hy-FeSe but actually an organic-ion (C6H11N2+ referred to as EMIM+)-intercalated phase (EMIM)xFeSe. By using X-ray diffraction technique, two sets of index peaks corresponding with different c-axis lattice constants are detected in the protonated samples, which belong to the newly formed phase of intercalated (EMIM)xFeSe and the residual FeSe, respectively. The superconductivity of (EMIM)xFeSe with Tc of 44.4 K is confirmed by resistivity and magnetic susceptibility measurements. Temperature dependence of resistivity with different applied magnetic fields reveals that the upper critical field Hc2 is quite high, while the irreversibility field Hirr is suppressed quickly with increasing temperature till about 20 K. This indicates that the resultant compound has a high anisotropy with a large spacing between the FeSe layers.


title: This Person (Probably) Exists. Identity Membership Attacks Against GAN Generated Faces

abstract: Recently, generative adversarial networks (GANs) have achieved stunning realism, fooling even human observers. Indeed, the popular tongue-in-cheek website {\small \url{ http://thispersondoesnotexist.com}}, taunts users with GAN generated images that seem too real to believe. On the other hand, GANs do leak information about their training data, as evidenced by membership attacks recently demonstrated in the literature. In this work, we challenge the assumption that GAN faces really are novel creations, by constructing a successful membership attack of a new kind. Unlike previous works, our attack can accurately discern samples sharing the same identity as training samples without being the same samples. We demonstrate the interest of our attack across several popular face datasets and GAN training procedures. Notably, we show that even in the presence of significant dataset diversity, an over represented person can pose a privacy concern.


title: Chiral Coherent Perfect Absorption on Exceptional Surfaces

abstract: Engineering the transport of radiation and its interaction with matter using non-Hermiticity, particularly through spectral degeneracies known as exceptional points(EPs), is an emerging field that has both fundamental and practical implications. Chiral behavior in the vicinity of EPs opens new opportunities in radiation control, such as unidirectional reflection or lasing with potential applications in areas ranging from cavity quantum electrodynamics and spectral filtering to sensing and thermal imaging. However, tuning and stabilizing a system to a discrete EP in parameter space is a challenging task: either the system is operated close to an EP rather than directly at the EP or the true power of EP is obscured by stability issues. Here, we circumvent this challenge by designing a photonic system that operates on a surface of exceptional points, known as an exceptional surface (ES). We achieve this by using a waveguide-coupled optical resonator with an external feedback loop that induces a nonreciprocal coupling between its frequency degenerate clockwise (CW) and counterclockwise (CCW) traveling modes. By operating the system at critical coupling on the ES, we demonstrate, for the first time, the effect of chiral and degenerate coherent perfect absorption (CPA) where input waves in only one direction are perfectly absorbed. This novel type of CPA-EP is revealed through the observation of the predicted and long-sought squared Lorentzian absorption lineshapes. We expect our results and approach to serve as a bridge between non-Hermitian physics and other fields that rely on radiation engineering.


title: A Deep Generative Artificial Intelligence system to decipher species coexistence patterns

abstract: 1. Deciphering coexistence patterns is a current challenge to understanding diversity maintenance, especially in rich communities where the complexity of these patterns is magnified through indirect interactions that prevent their approximation with classical experimental approaches. 2. We explore cutting-edge Machine Learning techniques called Generative Artificial Intelligence (GenAI) to decipher species coexistence patterns in vegetation patches, training generative adversarial networks (GAN) and variational AutoEncoders (VAE) that are then used to unravel some of the mechanisms behind community assemblage. 3. The GAN accurately reproduces the species composition of real patches as well as the affinity of plant species to different soil types, and the VAE also reaches a high level of accuracy, above 99%. Using the artificially generated patches, we found that high order interactions tend to suppress the positive effects of low order interactions. Finally, by reconstructing successional trajectories we could identify the pioneer species with larger potential to generate a high diversity of distinct patches in terms of species composition. 4. Understanding the complexity of species coexistence patterns in diverse ecological communities requires new approaches beyond heuristic rules. Generative Artificial Intelligence can be a powerful tool to this end as it allows to overcome the inherent dimensionality of this challenge.


title: Future searches for SUSY at the LHC post Fermilab $(g-2)_\mu$

abstract: We assess the future directions for the search for supersymmetry at the Large Hadron Collider in view of the new precision results on the muon anomaly by the Fermilab Collaboration. The existence of a deviation of size 4.1$\sigma$ from the Standard Model prediction points to light sleptons and light weakinos in the mass range of few hundred GeV while the observation of the Higgs boson mass at $\sim 125$ GeV points to squark masses lying in the few TeV range. Thus a split sparticle spectrum is indicated. We discuss the possibility of such a split sparticle spectrum in the supergravity unified model and show that a splitting of the sfermion spectrum into light sleptons and heavy squarks naturally arises within radiative breaking of the electroweak symmetry driven by heavy gluinos ($\tilde g$SUGRA). We discuss the possible avenues for the discovery of supersymmetry at the LHC within this framework under the further constraint of the recent muon anomaly result from the Fermilab Collaboration. We show that the most likely candidates for early discovery of a sparticle at the LHC are the chargino, the stau, the smuon and the selectron. We present a set of benchmarks and discuss future directions for further work. Specifically, we point to the most promising channels for SUSY discovery and estimate the integrated luminosity needed for the discovery of these benchmarks at the High Luminosity LHC and also at the High Energy LHC.


title: Sensitivity Analysis with respect to a Stock Price Model with Rough Volatility via a Bismut-Elworthy-Li Formula for Singular SDEs

abstract: In this paper, we show the existence of unique Malliavin differentiable solutions to SDE`s driven by a fractional Brownian motion with Hurst parameter H<1/2 and singular, unbounded drift vector fields, for which we also prove a stability result. Further, using the latter results, we propose a stock price model with rough and correlated volatility, which also allows for capturing regime switching effects. Finally, we also derive a Bismut-Elworthy-Li formula with respect to our stock price model for certain classes of vector fields.


title: Braid group symmetries on quasi-split $\imath$quantum groups via $\imath$Hall algebras

abstract: We establish automorphisms with closed formulas on quasi-split $\imath$quantum groups of symmetric Kac-Moody type associated to restricted Weyl groups. The proofs are carried out in the framework of $\imath$Hall algebras and reflection functors, thanks to the $\imath$Hall algebra realization of $\imath$quantum groups in our previous work. Several quantum binomial identities arising along the way are established.


title: A Model-Driven Methodology for Automotive Cybersecurity Test Case Generation

abstract: Through international regulations (most prominently the latest UNECE regulation) and standards, the already widely perceived higher need for cybersecurity in automotive systems has been recognized and will mandate higher efforts for cybersecurity engineering. T he UNECE also demands the effectiveness of these engineering to be verified and validated through testing. T his requires both a significantly higher rate and more comprehensiveness of cybersecurity testing that is not effectively to cope with using current, predominantly manual, automotive cybersecurity testing techniques. To allow for comprehensive and efficient testing at all stages of the automotive life cycle, including supply chain parts not at band, and to facilitate efficient third party testing, as well as to test under real-world conditions, also methodologies for testing the cybersecurity of vehicular systems as a black box are necessary. T his paper therefore presents a model and attack tree-based approach to (semi-)automate automotive cybersecurity testing, as well as considerations for automatically black box-deriving models for the use in attack modeling.


title: Statistics of the number of equilibria in random social dilemma evolutionary games with mutation

abstract: In this paper, we study analytically the statistics of the number of equilibria in pairwise social dilemma evolutionary games with mutation where a game's payoff entries are random variables. Using the replicator-mutator equations, we provide explicit formulas for the probability distributions of the number of equilibria as well as other statistical quantities. This analysis is highly relevant assuming that one might know the nature of a social dilemma game at hand (e.g., cooperation vs coordination vs anti-coordination), but measuring the exact values of its payoff entries is difficult. Our delicate analysis shows clearly the influence of the mutation probability on these probability distributions, providing insights into how varying this important factor impacts the overall behavioural or biological diversity of the underlying evolutionary systems.


title: A Sky Brightness Model for the Starlink 'Visorsat' Spacecraft

abstract: A model of the brightness of the visorsat Starlink spacecraft is presented based on published information on the engineering design and from analysis of 131 observations of individual visorsats in late 2020. Comments are offered on the implications of this model on the visibility of visorsat spacecraft across the sky. This is an updated and expanded version of analysis published in Research Notes of the AAS (2020). An additional section has been added in this version to consider observations made in June 2021 which indicate brighter visorsat magnitudes.


title: Weyl transform of vector-valued functions and vector measures on the phase space associated to a locally compact abelian group

abstract: In this paper, we introduce and study the Weyl transform of functions which are integrable with respect to a vector measure on a phase space associated to a locally compact abelian group. We also study the Weyl transform of vector measures. Later, we also introduce and study the convolution of functions from $L^p$-spaces associated to a vector measure. We also study the Weyl transform of vector-valued functions and prove a vector-valued analogue of the Hausdorff-Young inequality.


title: Lifting the Convex Conjugate in Lagrangian Relaxations: A Tractable Approach for Continuous Markov Random Fields

abstract: Dual decomposition approaches in nonconvex optimization may suffer from a duality gap. This poses a challenge when applying them directly to nonconvex problems such as MAP-inference in a Markov random field (MRF) with continuous state spaces. To eliminate such gaps, this paper considers a reformulation of the original nonconvex task in the space of measures. This infinite-dimensional reformulation is then approximated by a semi-infinite one, which is obtained via a piecewise polynomial discretization in the dual. We provide a geometric intuition behind the primal problem induced by the dual discretization and draw connections to optimization over moment spaces. In contrast to existing discretizations which suffer from a grid bias, we show that a piecewise polynomial discretization better preserves the continuous nature of our problem. Invoking results from optimal transport theory and convex algebraic geometry we reduce the semi-infinite program to a finite one and provide a practical implementation based on semidefinite programming. We show, experimentally and in theory, that the approach successfully reduces the duality gap. To showcase the scalability of our approach, we apply it to the stereo matching problem between two images.


title: Representing individual electronic states for machine learning GW band structures of 2D materials

abstract: Choosing optimal representation methods of atomic and electronic structures is essential when machine learning properties of materials. We address the problem of representing quantum states of electrons in a solid for the purpose of machine leaning state-specific electronic properties. Specifically, we construct a fingerprint based on energy decomposed operator matrix elements (ENDOME) and radially decomposed projected density of states (RAD-PDOS), which are both obtainable from a standard density functional theory (DFT) calculation. Using such fingerprints we train a gradient boosting model on a set of 46k G$_0$W$_0$ quasiparticle energies. The resulting model predicts the self-energy correction of states in materials not seen by the model with a mean absolute error of 0.14 eV. By including the material's calculated dielectric constant in the fingerprint the error can be further reduced by 30%, which we find is due to an enhanced ability to learn the correlation/screening part of the self-energy. Our work paves the way for accurate estimates of quasiparticle band structures at the cost of a standard DFT calculation.


title: Jonathan Michael Borwein 1951-2016: Life and Legacy

abstract: Jonathan M. Borwein (1951-2016) was a prolific mathematician whose career spanned several countries (UK, Canada, USA, Australia) and whose many interests included analysis, optimisation, number theory, special functions, experimental mathematics, mathematical finance, mathematical education, and visualisation. We describe his life and legacy, and give an annotated bibliography of some of his most significant books and papers.


title: Vehicle Fuel Optimization Under Real-World Driving Conditions: An Explainable Artificial Intelligence Approach

abstract: Fuel optimization of diesel and petrol vehicles within industrial fleets is critical for mitigating costs and reducing emissions. This objective is achievable by acting on fuel-related factors, such as the driving behaviour style. In this study, we developed an Explainable Boosting Machine (EBM) model to predict fuel consumption of different types of industrial vehicles, using real-world data collected from 2020 to 2021. This Machine Learning model also explains the relationship between the input factors and fuel consumption, quantifying the individual contribution of each one of them. The explanations provided by the model are compared with domain knowledge in order to see if they are aligned. The results show that the 70% of the categories associated to the fuel-factors are similar to the previous literature. With the EBM algorithm, we estimate that optimizing driving behaviour decreases fuel consumption between 12% and 15% in a large fleet (more than 1000 vehicles).


title: Young radio-loud gamma-ray pulsar light-curve fitting

abstract: Observing simultaneously pulsed radio and gamma-ray emission from these stars helps to constrain the geometry and radiation mechanisms within their magnetosphere and to localize the multiple photon production sites. In this paper, we fit the time-aligned gamma-ray light-curves of young radio-loud gamma-ray pulsars. We assume a dipole force-free magnetosphere where radio photons emanate from high altitude above the polar caps and gamma-rays originate from outside the light-cylinder, within the striped wind current sheet. We compute a full atlas of radio and gamma-ray pulse profiles depending on the magnetic axis obliquity and line of sight inclination with respect to the neutron star rotation axis. By applying a $\rchi^2$ fitting technique, we are able to pin down accurately the magnetosphere geometry. Further constrains are obtained from radio polarization measurement following the rotating vector model, including aberration and retardation effects. We found a good agreement between our model and the time-aligned single or double peaked gamma-ray pulsar observations. We deduce the magnetic inclination angle and the observer line of sight with respect to the rotation axis within a small error bar. The distinction between radio-loud or radio-quiet gamma-ray pulsars or only radio pulsars can entirely be related to the geometry of the associated emitting regions. The high altitude polar cap model combined with the striped wind represents a minimalistic approach able to reproduce a wealth of gamma-ray pulse profiles for young radio pulsars. Based on self-consistent force-free simulations, it gives a full geometrical picture of the emission properties without resorting to detailed knowledge of the individual particle dynamics and energetics.


title: Conservativeness and uniqueness of invariant measures related to non-symmetric divergence type operators

abstract: We present conservativeness criteria for sub-Markovian semigroups generated by divergence type operators with specified infinitesimally invariant measures. The conservativeness criteria in this article are derived by $L^1$-uniqueness and imply that a given infinitesimally invariant measure becomes an invariant measure. We explore further conditions on the coefficients of the partial differential operators that ensure the uniqueness of the invariant measure beyond the case where the corresponding semigroups are recurrent. A main observation is that for conservativeness and uniqueness of invariant measures in this article, no growth conditions are required for the partial derivatives related to the anti-symmetric matrix of functions $C=(c_{ij})_{1 \leq i,j \leq d}$ that determine a part of the drift coefficient. As stochastic counterparts, our results can be applied to show not only the existence of a pathwise unique and strong solution up to infinity to a corresponding It\^{o}-SDE, but also the existence and uniqueness of invariant measures for the family of strong solutions.


title: Search strategy for gluinos at the LHC with a Higgs boson decaying into tau leptons

abstract: The possibility in supersymmetric scenarios that the dark matter candidate is a Higgsino-like neutralino means that its production can be associated with Higgs bosons. Taking advantage of this fact, we propose a LHC search strategy for gluinos with $\tau$ leptons in the final state, coming from the decay of a Higgs boson. We consider the strong production of a pair of gluinos, one of which decays into the Higgsino plus jets while the other decays into the bino plus jets. In turn, this bino decays into the Higgsino plus a Higgs boson which finally decays into a $\tau$-lepton pair. Therefore, the experimental signature under study consists of 4 jets, 2 $\tau$ leptons, and a large amount of missing transverse energy. Our cut-based search strategy allows us to reach, for a LHC center-of-mass energy of 14 TeV and a total integrated luminosity of 1 ab$^{-1}$, significances of up to 2 standard deviations, considering systematic uncertainties in the SM background of 30\%. The projections for 3 ab$^{-1}$ are encouraging, with significances at the evidence level, which in more optimistic experimental scenarios could exceed 4 standard deviations.


title: Filamentation near Hill's vortex

abstract: For the axisymmetric incompressible Euler equations, we prove linear in time filamentation near Hill's vortex: there exists an arbitrary small outward perturbation growing linearly for all times. This is based on combining the recent nonlinear orbital stability obtained in [13] with a dynamical bootstrapping scheme for particle trajectories. These results rigorously confirm numerical simulations by Pozrikidis [45] in 1986.


title: Cubic nonlinear squeezing and its decoherence

abstract: Squeezed states of the harmonic oscillator are a common resource in applications of quantum technology. If the noise is suppressed in a nonlinear combination of quadrature operators below threshold for all possible up-to-quadratic Hamiltonians, the quantum states are non-Gaussian and we refer to the noise reduction as nonlinear squeezing. Non-Gaussian aspects of quantum states are often more vulnerable to decoherence due to imperfections appearing in realistic experimental implementations. Therefore, a stability of nonlinear squeezing is essential. We analyze the behavior of quantum states with cubic nonlinear squeezing under loss and dephasing. The properties of nonlinear squeezed states depend on their initial parameters which can be optimized and adjusted to achieve the maximal robustness for the potential applications.


title: Phase transition and exponential growth of the local polarization in CaxBa1-xNb2O6 ferroelectric

abstract: CaxBa1-xNb2O6 (CBN) ferroelectric is isostructural with SrxBa1-xNb2O6 (SBN) that is a prototypical ferroelectric of tetragonal tungsten bronze (TTB) structure, but shows a much higher Curie temperature Tc than SBN, providing a wider operation temperature for electro-optical devices. Here, we report the phase diagram and phase transition of CBN solid solution that are still lack of understanding. We show that CBN can be stably formed within a solid solution range of 0.19 <= x <= 0.32. In sharp contrast to SBN that shows crossover from ferroelectric to relaxor around x~ 0.5, CBN merely exhibits a well-defined first-order phase transition in the whole solid solution range but shows polarization precursor dynamics before transition into the ferroelectric phase. We found that the local polarization exponentially grows with temperature from the Burns temperature TB toward Tc. The local polarization was estimated to grow up to several tens pC/cm-^2 before transition into the ferroelectric phase. Moreover, we found that the substitution of Ca for Ba lowers Tc and TB and there is a linear correlation between Tc and the length of polar c-axis, which can be attributed to the chemical pressure effects. These findings may provide a deep insight into the nature of phase transition in the TTB structure oxides.


title: A cell-centered implicit-explicit Lagrangian scheme for a unified model of nonlinear continuum mechanics on unstructured meshes

abstract: A cell-centered implicit-explicit updated Lagrangian finite volume scheme on unstructured grids is proposed for a unified first order hyperbolic formulation of continuum fluid and solid mechanics. The scheme provably respects the stiff relaxation limits of the continuous model at the fully discrete level, thus it is asymptotic preserving. Furthermore, the GCL is satisfied by a compatible discretization that makes use of a nodal solver to compute vertex-based fluxes that are used both for the motion of the computational mesh as well as for the time evolution of the governing PDEs. Second-order accuracy in space is achieved using a TVD piecewise linear reconstruction, while an implicit-explicit (IMEX) Runge-Kutta time discretization allows the scheme to obtain higher accuracy also in time. Particular care is devoted to the design of a stiff ODE solver, based on approximate analytical solutions of the governing equations, that plays a crucial role when the visco-plastic limit of the model is approached. We demonstrate the accuracy and robustness of the scheme on a wide spectrum of material responses covered by the unified continuum model that includes inviscid hydrodynamics, viscous heat conducting fluids, elastic and elasto-plastic solids in multidimensional settings.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn


title: AutoScore-Imbalance: An interpretable machine learning tool for development of clinical scores with rare events data

abstract: Background: Medical decision-making impacts both individual and public health. Clinical scores are commonly used among a wide variety of decision-making models for determining the degree of disease deterioration at the bedside. AutoScore was proposed as a useful clinical score generator based on machine learning and a generalized linear model. Its current framework, however, still leaves room for improvement when addressing unbalanced data of rare events. Methods: Using machine intelligence approaches, we developed AutoScore-Imbalance, which comprises three components: training dataset optimization, sample weight optimization, and adjusted AutoScore. All scoring models were evaluated on the basis of their area under the curve (AUC) in the receiver operating characteristic analysis and balanced accuracy (i.e., mean value of sensitivity and specificity). By utilizing a publicly accessible dataset from Beth Israel Deaconess Medical Center, we assessed the proposed model and baseline approaches in the prediction of inpatient mortality. Results: AutoScore-Imbalance outperformed baselines in terms of AUC and balanced accuracy. The nine-variable AutoScore-Imbalance sub-model achieved the highest AUC of 0.786 (0.732-0.839) while the eleven-variable original AutoScore obtained an AUC of 0.723 (0.663-0.783), and the logistic regression with 21 variables obtained an AUC of 0.743 (0.685-0.800). The AutoScore-Imbalance sub-model (using down-sampling algorithm) yielded an AUC of 0. 0.771 (0.718-0.823) with only five variables, demonstrating a good balance between performance and variable sparsity. Conclusions: The AutoScore-Imbalance tool has the potential to be applied to highly unbalanced datasets to gain further insight into rare medical events and to facilitate real-world clinical decision-making.


title: The Cauchy Combination Test under Arbitrary Dependence Structures

abstract: Aggregating multiple effects is often encountered in large-scale data analysis where the fraction of significant effects is generally small. Many existing methods cannot handle it effectively because of lack of computational accuracy for small p-values. The Cauchy combination test (abbreviated as CCT) ( J Am Statist Assoc, 2020, 115(529):393-402) is a powerful and computational effective test to aggregate individual $p$-values under arbitrary correlation structures. This work revisits CCT and shows three key contributions including that (i) the tail probability of CCT can be well approximated by a standard Cauchy distribution under much more relaxed conditions placed on individual p-values instead of the original test statistics; (ii) the relaxation conditions are shown to be satisfied for many popular copulas formulating bivariate distributions; (iii) the power of CCT is no less than that of the minimum-type test as the number of tests goes to infinity with some regular conditions. These results further broaden the theories and applications of CCT. The simulation results verify the theoretic results and the performance of CCT is further evaluated with data from a prostate cancer study.


title: Tales of a City: Sentiment Analysis of Urban Green Space in Dublin

abstract: Social media services such as TripAdvisor and Foursquare can provide opportunities for users to exchange their opinions about urban green space (UGS). Visitors can exchange their experiences with parks, woods, and wetlands in social communities via social networks. In this work, we implement a unified topic modeling approach to reveal UGS characteristics. Leveraging Artificial Intelligence techniques for opinion mining using the mentioned platforms (e.g., TripAdvisor and Foursquare) reviews is a novel application to UGS quality assessments. We show how specific characteristics of different green spaces can be explored by using a tailor-optimized sentiment analysis model. Such an application can support local authorities and stakeholders in understanding--and justification for--future urban green space investments.


title: Finite Model Property and Bisimulation for LFD

abstract: Recently, Baltag and van Benthem arXiv:2103.14946 [cs.LO] introduced a new decidable logic of functional dependence (LFD) with local dependence formulas and dependence quantifiers. The language is interpreted over dependence models, which are pairs of first-order structures with a set of available variable assignments, also called a team. The team associated with a dependence model can be seen as a labelled transition system over which LFD becomes a modal logic, where the dependence quantifiers become modalities and local dependence formulas are treated as special atoms. In this paper, we introduce appropriate notions of bisimulation characterizing LFD (and some related logics) as a fragment of first order logic (FOL), and show it is equivalent to a notion of bisimulation along more standard lines proposed in arXiv:2102.10368 [cs.LO], yet more efficient for bisimilarity-checking. Our main result is that LFD has the finite model property (FMP), by a new application of Herwig's theorem on extending partial isomorphisms.


title: Local regularity for nonlocal equations with variable exponents

abstract: In this paper, we study local regularity properties of minimizers of nonlocal variational functionals with variable exponents and weak solutions to the corresponding Euler--Lagrange equations. We show that weak solutions are locally bounded when the variable exponent $p$ is only assumed to be continuous and bounded. Furthermore, we prove that bounded weak solutions are locally H\"older continuous under some additional assumptions on $p$. On the one hand, the class of admissible exponents is assumed to satisfy a log-H\"older-type condition inside the domain, which is essential even in the case of local equations. On the other hand, since we are concerned with nonlocal problems, we need an additional assumption on $p$ outside the domain.


title: Parametrization of Non-Bonded Force Field Terms for Metal-Organic Frameworks Using Machine Learning Approach

abstract: The enormous structural and chemical diversity of metal-organic frameworks (MOFs) forces researchers to actively use simulation techniques on an equal footing with experiments. MOFs are widely known for outstanding adsorption properties, so precise description of host-guest interactions is essential for high-throughput screening aimed at ranking the most promising candidates. However, highly accurate ab initio calculations cannot be routinely applied to model thousands of structures due to the demanding computational costs. On the other side, methods based on force field (FF) parametrization suffer from low transferability. To resolve this accuracy-efficiency dilemma, we apply the machine learning (ML) approach. The trained models reproduce atom-in-material quantities, including partial charges, polarizabilities, dispersion coefficients, quantum Drude oscillator and electron cloud parameters within the accuracy of underlying density functional theory method. The aforementioned FF precursors make it possible to thoroughly describe non-covalent interactions typical for MOF-adsorbate systems: electrostatic, dispersion, polarization, and short-range repulsion. The presented approach can also significantly facilitate hybrid atomistic simulations/ML workflows.


title: Injecting Finiteness to Prove Completeness for Finite Linear Temporal Logic

abstract: Temporal logics over finite traces are not the same as temporal logics over potentially infinite traces. Ro\c{s}u first proved completeness for linear temporal logic on finite traces (LTLf) with a novel coinductive axiom. We offer a different proof, with fewer, more conventional axioms. Our proof is a direct adaptation of Kr\"{o}ger and Merz's Henkin-Hasenjaeger-style proof. The essence of our adaption is that we "inject" finiteness: that is, we alter the proof structure to ensure that models are finite. We aim to present a thorough, accessible proof.


title: Quantum Zeno effect in self-sustaining systems: suppressing phase diffusion via repeated measurements

abstract: We study the effect of frequent projective measurements on the dynamics of quantum self-sustaining systems, by considering the prototypical example of the quantum Van der Pol oscillator. Quantum fluctuations are responsible for phase diffusion which progressively blurs the semiclassical limit cycle dynamics and synchronization, either to an external driving, or between two coupled self-sustained oscillators. We show that by subjecting the system to repeated measurements of heterodyne type at an appropriate repetition frequency one can significantly suppress phase diffusion without spoiling the semiclassical dynamics. This quantum Zeno-like effect may be effective either in the case of one or two coupled van der Pol oscillators, and we discuss its possible implementation in the case of trapped ions.


title: Stability, phase transitions, and numerical breakdown of fractional Chern insulators in higher Chern bands of the Hofstadter model

abstract: The Hofstadter model is a popular choice for theorists investigating the fractional quantum Hall effect on lattices, due to its simplicity, infinite selection of topological flat bands, and increasing applicability to real materials. In particular, fractional Chern insulators in bands with Chern number $|C|>1$ can demonstrate richer physical properties than continuum Landau level states and have recently been detected in experiments. Motivated by this, we examine the stability of fractional Chern insulators with higher Chern number in the Hofstadter model, using large-scale infinite density matrix renormalization group simulations on a thin cylinder. We confirm the existence of fractional states in bands with Chern numbers $C=1,2,3,4,5$ at the filling fractions predicted by the generalized Jain series [Phys. Rev. Lett. 115, 126401 (2015)]. Moreover, we discuss their metal-to-insulator phase transitions, as well as the subtleties in distinguishing between physical and numerical stability. Finally, we comment on the relative suitability of fractional Chern insulators in higher Chern number bands for proposed modern applications.


title: A Graph Data Augmentation Strategy with Entropy Preservation

abstract: The Graph Convolutional Networks (GCN) proposed by Kipf and Welling is an effective model for semi-supervised learning, but faces the obstacle of over-smoothing, which will weaken the representation ability of GCN. Recently some works are proposed to tackle above limitation by randomly perturbing graph topology or feature matrix to generate data augmentations as input for training. However, these operations inevitably do damage to the integrity of information structures and have to sacrifice the smoothness of feature manifold. In this paper, we first introduce a novel graph entropy definition as a measure to quantitatively evaluate the smoothness of a data manifold and then point out that this graph entropy is controlled by triangle motif-based information structures. Considering the preservation of graph entropy, we propose an effective strategy to generate randomly perturbed training data but maintain both graph topology and graph entropy. Extensive experiments have been conducted on real-world datasets and the results verify the effectiveness of our proposed method in improving semi-supervised node classification accuracy compared with a surge of baselines. Beyond that, our proposed approach could significantly enhance the robustness of training process for GCN.


title: Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns (Extended Version)

abstract: Anti-piracy is fundamentally a procedure that relies on collecting data from the open anonymous population, so how to incentivize credible reporting is a question at the center of the problem. Industrial alliances and companies are running anti-piracy incentive campaigns, but their effectiveness is publicly questioned due to the lack of transparency. We believe that full transparency of a campaign is necessary to truly incentivize people. It means that every role, e.g., content owner, licensee of the content, or every person in the open population, can understand the mechanism and be assured about its execution without trusting any single role. We see this as a distributed system problem. In this paper, we present Argus, a fully transparent incentive system for anti-piracy campaigns. The groundwork of Argus is to formulate the objectives for fully transparent incentive mechanisms, which securely and comprehensively consolidate the different interests of all roles. These objectives form the core of the Argus design, highlighted by our innovations about a Sybil-proof incentive function, a commit-and-reveal scheme, and an oblivious transfer scheme. In the implementation, we overcome a set of unavoidable obstacles to ensure security despite full transparency. Moreover, we effectively optimize several cryptographic operations so that the cost for a piracy reporting is reduced to an equivalent cost of sending about 14 ETH-transfer transactions to run on the public Ethereum network, which would otherwise correspond to thousands of transactions. With the security and practicality of Argus, we hope real-world anti-piracy campaigns will be truly effective by shifting to a fully transparent incentive mechanism.


title: Force-in-domain GAN inversion

abstract: Empirical works suggest that various semantics emerge in the latent space of Generative Adversarial Networks (GANs) when being trained to generate images. To perform real image editing, it requires an accurate mapping from the real image to the latent space to leveraging these learned semantics, which is important yet difficult. An in-domain GAN inversion approach is recently proposed to constraint the inverted code within the latent space by forcing the reconstructed image obtained from the inverted code within the real image space. Empirically, we find that the inverted code by the in-domain GAN can deviate from the latent space significantly. To solve this problem, we propose a force-in-domain GAN based on the in-domain GAN, which utilizes a discriminator to force the inverted code within the latent space. The force-in-domain GAN can also be interpreted by a cycle-GAN with slight modification. Extensive experiments show that our force-in-domain GAN not only reconstructs the target image at the pixel level, but also align the inverted code with the latent space well for semantic editing.


title: Rating Facts under Coarse-to-fine Regimes

abstract: The rise of manipulating fake news as a political weapon has become a global concern and highlighted the incapability of manually fact checking against rapidly produced fake news. Thus, statistical approaches are required if we are to address this problem efficiently. The shortage of publicly available datasets is one major bottleneck of automated fact checking. To remedy this, we collected 24K manually rated statements from PolitiFact. The class values exhibit a natural order with respect to truthfulness as shown in Table 1. Thus, our task represents a twist from standard classification, due to the various degrees of similarity between classes. To investigate this, we defined coarse-to-fine classification regimes, which presents new challenge for classification. To address this, we propose BERT-based models. After training, class similarity is sensible over the multi-class datasets, especially in the fine-grained one. Under all the regimes, BERT achieves state of the art, while the additional layers provide insignificant improvement.


title: Semiclassical Effects in Color Flavor Locked Strange Stars

abstract: Strange stars in the color flavor locked phase, as described by a generalization of the phenomenological MIT bag model proposed in the context of color superconductivity, are studied through a model motivated by the semiclassical solutions for hydrostatic equilibrium. Results show that within this framework it is possible to find ultracompact configurations situated between regular compact stars and black holes.


title: Disorder enhanced vibrational entanglement and dynamics in polaritonic chemistry

abstract: Collectively coupling molecular ensembles to a cavity has been demonstrated to modify chemical reactions akin to catalysis. Theoretically understanding this experimental finding remains to be an important challenge. In particular the role of quantum effects in such setups is an open question of fundamental and practical interest. Theoretical descriptions often neglect quantum entanglement between nuclear and electro-photonic degrees of freedom, e.g.~by computing Ehrenfest dynamics. Here we discover that disorder can strongly enhance the build-up of this entanglement on short timescales after incoherent photo-excitation. We find that this can have direct consequences for reaction coordinate dynamics. We analyze this phenomenon in a disordered Holstein-Tavis-Cummings model, a minimal toy model that includes all fundamental degrees of freedom. Using a numerical technique based on matrix product states we simulate the exact quantum dynamics of more than 100 molecules. Our results highlight the importance of beyond Born-Oppenheimer theories in polaritonic chemistry.


title: Parallelisable Existential Rules: a Story of Pieces

abstract: In this paper, we consider existential rules, an expressive formalism well suited to the representation of ontological knowledge and data-to-ontology mappings in the context of ontology-based data integration. The chase is a fundamental tool to do reasoning with existential rules as it computes all the facts entailed by the rules from a database instance. We introduce parallelisable sets of existential rules, for which the chase can be computed in a single breadth-first step from any instance. The question we investigate is the characterization of such rule sets. We show that parallelisable rule sets are exactly those rule sets both bounded for the chase and belonging to a novel class of rules, called pieceful. The pieceful class includes in particular frontier-guarded existential rules and (plain) datalog. We also give another characterization of parallelisable rule sets in terms of rule composition based on rewriting.


title: On the Difficulty of Translating Free-Order Case-Marking Languages

abstract: Identifying factors that make certain languages harder to model than others is essential to reach language equality in future Natural Language Processing technologies. Free-order case-marking languages, such as Russian, Latin or Tamil, have proved more challenging than fixed-order languages for the tasks of syntactic parsing and subject-verb agreement prediction. In this work, we investigate whether this class of languages is also more difficult to translate by state-of-the-art Neural Machine Translation models (NMT). Using a variety of synthetic languages and a newly introduced translation challenge set, we find that word order flexibility in the source language only leads to a very small loss of NMT quality, even though the core verb arguments become impossible to disambiguate in sentences without semantic cues. The latter issue is indeed solved by the addition of case marking. However, in medium- and low-resource settings, the overall NMT quality of fixed-order languages remains unmatched.


title: Indian Legal NLP Benchmarks : A Survey

abstract: Availability of challenging benchmarks is the key to advancement of AI in a specific field.Since Legal Text is significantly different than normal English text, there is a need to create separate Natural Language Processing benchmarks for Indian Legal Text which are challenging and focus on tasks specific to Legal Systems. This will spur innovation in applications of Natural language Processing for Indian Legal Text and will benefit AI community and Legal fraternity. We review the existing work in this area and propose ideas to create new benchmarks for Indian Legal Natural Language Processing.


title: Fast-Slow Streamflow Model Using Mass-Conserving LSTM

abstract: Streamflow forecasting is key to effectively managing water resources and preparing for the occurrence of natural calamities being exacerbated by climate change. Here we use the concept of fast and slow flow components to create a new mass-conserving Long Short-Term Memory (LSTM) neural network model. It uses hydrometeorological time series and catchment attributes to predict daily river discharges. Preliminary results evidence improvement in skills for different scores compared to the recent literature.


title: Engineered Near and Far Field Optical Response of Dielectric Nanostuctures using Focused Cylindrical Vector Beams

abstract: Near- and far-field optical properties of silicon nanostructures under linear polarization (Gaussian beam), and azimuthally or radially focused cylindrical vector beams are investigated by finite-difference time-domain method (FDTD) in Meep open-source software. A python toolkit allowing FDTD simulations in Meep for using those excitation sources is provided. In addition to the preferential excitation of specific electric or magnetic resonance modes as function of the excitation beam polarization, it is shown in the case of spheroids that shape anisotropy affects the resonance wavelength and the dipole orientation of the magnetic or electric dipole mode. For radial or linear polarization, the electric dipole resonance is split by an anapole mode depending on the spheroid symmetry axis with respect to the electric field orientation. Finally, the optical properties in both far-field (scattering pattern) and near-field (electric and magnetic field hot spots) can be tuned by changing the excitation polarization at a fixed wavelength and selecting properly the spheroid shape and dimensions. These numerical simulations can be extended to more complex shapes, or fabrication-friendly nanostructures such as nanocylinders with circular or elliptic sections.


title: Finite-size scaling at the edge of disorder in a time-delay Vicsek model

abstract: Living many-body systems often exhibit scale-free collective behavior reminiscent of thermal critical phenomena. But their mutual interactions are inevitably retarded due to information processing and delayed actuation. We numerically investigate the consequences for the finite-size scaling in the Vicsek model of motile active matter. A growing delay time initially facilitates but ultimately impedes collective ordering and turns the dynamical scaling from diffusive to ballistic. It provides an alternative explanation of swarm traits previously attributed to inertia.


title: Electrostatic gyrokinetic simulations in Wendelstein 7-X geometry: benchmark between the codes stella and GENE

abstract: The first experimental campaigns have proven that, due to the optimization of the magnetic configuration with respect to neoclassical transport, the contribution of turbulence is essential to understand and predict the total particle and energy transport in Wendelstein 7-X (W7-X). This has spurred much work on gyrokinetic modelling for the interpretation of the available experimental results and for the preparation of the next campaigns. At the same time, new stellarator gyrokinetic codes have just been or are being developed. It is therefore desirable to have a sufficiently complete, documented and verified set of gyrokinetic simulations in W7-X geometry against which new codes or upgrades of existing codes can be tested and benchmarked. This paper attemps to provide such a set of simulations in the form of a comprehensive benchmark between the recently developed code stella and the well-established code GENE. The benchmark consists of electrostatic gyrokinetic simulations in W7-X magnetic geometry and includes different flux tubes, linear ion-temperature-gradient (ITG) and trapped-electron-mode (TEM)} stability analyses, computation of linear zonal flow responses and calculation of ITG-driven heat fluxes.


title: Deterministic Identification Over Poisson Channels

abstract: Deterministic identification (DI) for the discrete-time Poisson channel, subject to an average and a peak power constraint, is considered. It is established that the code size scales as $2^{(n\log n)R}$, where $n$ and $R$ are the block length and coding rate, respectively. The authors have recently shown a similar property for Gaussian channels [1]. Lower and upper bounds on the DI capacity of the Poisson channel are developed in this scale. Those imply that the DI capacity is infinite in the exponential scale, regardless of the dark current, i.e., the channel noise parameter.


title: Local finiteness and automorphism groups of low complexity subshifts

abstract: We prove that for any transitive subshift $X$ with word complexity function $c_n(X)$, if $\liminf \frac{\log (c_n(X)/n)}{\log \log \log n} = 0$, then the quotient group $\textrm{Aut}(X,\sigma) / \langle \sigma\rangle$ of the automorphism group of $X$ by the subgroup generated by the shift $\sigma$ is locally finite. We prove that significantly weaker upper bounds on $c_n(X)$ imply the same conclusion if the Gap Conjecture from geometric group theory is true. Our proofs rely on a general upper bound for the number of automorphisms of $X$ of range $n$ in terms of word complexity, which may be of independent interest. As an application, we are also able to prove that for any subshift $X$, if $\frac{c_n(X)}{n^2 (\log n)^{-1}} \rightarrow 0$, then $\textrm{Aut}(X,\sigma)$ is amenable, improving a result of Cyr and Kra. In the opposite direction, we show that for any countable infinite locally finite group $G$ and any unbounded increasing $f: \mathbb{N} \rightarrow \mathbb{N}$, there exists a minimal subshift $X$ with $\textrm{Aut}(X,\sigma) / \langle \sigma\rangle$ isomorphic to $G$ and $\frac{c_n(X)}{nf(n)} \rightarrow 0$.


title: Theoretical insights for Improving the Schottky-barrier Height at the Ga$_2$O$_3$/Pt Interface

abstract: In this work we study the Schottky barrier height (SBH) at the junction between $\beta$-Ga$_2$O$_3$ and platinum, a system of great importance for the next generation of high-power and high-temperature electronic devices. Specifically, we obtain interfacial atomic structures at different orientations using our structure matching algorithm and compute their SBH using electronic structure calculations based on hybrid density functional theory. The orientation and strain of platinum are found to have little impact on the barrier height. In contrast, we find that decomposed water (H.OH), which could be present at the interface from Ga$_2$O$_3$ substrate preparation, has a strong influence on the SBH, in particular in the ($\overline{2}$01) orientation. The SBH can range from $\sim$2 eV for the pristine interface to nearly zero for the full H.OH coverage. This result suggests that SBH of $\sim$2~eV can be achieved for the Ga$_2$O$_3$($\overline{2}$01)/Pt junction using the substrate preparation methods that can reduce the amount of adsorbed water at the interface.


title: Model of the Weak Reset Process in HfOx Resistive Memory for Deep Learning Frameworks

abstract: The implementation of current deep learning training algorithms is power-hungry, owing to data transfer between memory and logic units. Oxide-based RRAMs are outstanding candidates to implement in-memory computing, which is less power-intensive. Their weak RESET regime, is particularly attractive for learning, as it allows tuning the resistance of the devices with remarkable endurance. However, the resistive change behavior in this regime suffers many fluctuations and is particularly challenging to model, especially in a way compatible with tools used for simulating deep learning. In this work, we present a model of the weak RESET process in hafnium oxide RRAM and integrate this model within the PyTorch deep learning framework. Validated on experiments on a hybrid CMOS/RRAM technology, our model reproduces both the noisy progressive behavior and the device-to-device (D2D) variability. We use this tool to train Binarized Neural Networks for the MNIST handwritten digit recognition task and the CIFAR-10 object classification task. We simulate our model with and without various aspects of device imperfections to understand their impact on the training process and identify that the D2D variability is the most detrimental aspect. The framework can be used in the same manner for other types of memories to identify the device imperfections that cause the most degradation, which can, in turn, be used to optimize the devices to reduce the impact of these imperfections.


title: Pattern Discovery and Validation Using Scientific Research Methods

abstract: Pattern discovery, the process of discovering previously unrecognized patterns, is often performed as an ad-hoc process with little resulting certainty in the quality of the proposed patterns. Pattern validation, the process of validating the accuracy of proposed patterns, remains dominated by the simple heuristic of "the rule of three". This article shows how to use established scientific research methods for the purpose of pattern discovery and validation. We present a specific approach, called the handbook method, that uses the qualitative survey, action research, and case study research for pattern discovery and evaluation, and we discuss the underlying principle of using scientific methods in general. We evaluate the handbook method using three exploratory studies and demonstrate its usefulness.


title: Defect detection and NDE of low-modulus PMMA material using mechanical loading and WFT analysis

abstract: In present communication, we report our investigations undertaken towards detection of defects and non-destructive evaluation of low-modulus sample of Poly Methyl Metha Acrylate (PMMA) material using phase measuring deflectometry and windowed Fourier transform (WFT). The slope of the phase provides the information regarding defects and surface variation of the object. Experimental results conclusively establish the viability of the technique.


title: Generalized "Square roots of Not" matrices, their application to the unveiling of hidden logical operators and to the definition of fully matrix circular Euler functions

abstract: The square root of Not is a logical operator of importance in quantum computing theory and of interest as a mathematical object in its own right. In physics, it is a square complex matrix of dimension 2. In the present work it is a complex square matrix of arbitrary dimension. The introduction of linear algebra into logical theory has been enhanced in recent decades by the researches in the field of neural networks and quantum computing. Here we will make a brief description of the representation of logical operations through matrices and we show how general expressions for the two square roots of the Not operator are obtained. Then, we explore two topics. First, we study an extension to a non-quantum domain of a short form of Deutsch's algorithm. Then, we assume that a root of Not is a matrix extension of the imaginary unit i, and under this idea we obtain fully matrix versions for the Euler expansions and for the representations of circular functions by complex exponentials.


title: Calibrated Uncertainty for Molecular Property Prediction using Ensembles of Message Passing Neural Networks

abstract: Data-driven methods based on machine learning have the potential to accelerate computational analysis of atomic structures. In this context, reliable uncertainty estimates are important for assessing confidence in predictions and enabling decision making. However, machine learning models can produce badly calibrated uncertainty estimates and it is therefore crucial to detect and handle uncertainty carefully. In this work we extend a message passing neural network designed specifically for predicting properties of molecules and materials with a calibrated probabilistic predictive distribution. The method presented in this paper differs from previous work by considering both aleatoric and epistemic uncertainty in a unified framework, and by recalibrating the predictive distribution on unseen data. Through computer experiments, we show that our approach results in accurate models for predicting molecular formation energies with well calibrated uncertainty in and out of the training data distribution on two public molecular benchmark datasets, QM9 and PC9. The proposed method provides a general framework for training and evaluating neural network ensemble models that are able to produce accurate predictions of properties of molecules with well calibrated uncertainty estimates.


title: Vacuum Energy and Renormalization of the Field-Independent Term

abstract: Due to its construction, the nonperturbative renormalization group (RG) evolution of the constant, field-independent term (which is constant with respect to field variations but depends on the RG scale $k$) requires special care within the Functional Renormalization Group (FRG) approach. In several instances, the constant term of the potential has no physical meaning. However, there are special cases where it receives important applications. In low dimensions ($d=1$), in a quantum mechanical model, this term is associated with the ground-state energy of the anharmonic oscillator. In higher dimensions ($d=4$), it is identical to the $\Lambda$ term of the Einstein equations and it plays a role in cosmic inflation. Thus, in statistical field theory, in flat space, the constant term could be associated with the free energy, while in curved space, it could be naturally associated with the cosmological constant. It is known that one has to use a subtraction method for the quantum anharmonic oscillator in $d=1$ to remove the $k^2$ term that appears in the RG flow in its high-energy (UV) limit in order to recover the correct results for the ground-state energy. The subtraction is needed because the Gaussian fixed point is missing in the RG flow once the constant term is included. However, if the Gaussian fixed point is there, no further subtraction is required. Here, we propose a subtraction method for $k^4$ and $k^2$ terms of the UV scaling of the RG equations for $d=4$ dimensions if the Gaussian fixed point is missing in the RG flow with the constant term. Finally, comments on the application of our results to cosmological models are provided.


title: High-energy Neutrinos from Stellar Explosions in Active Galactic Nuclei Accretion Disks

abstract: Some catastrophic stellar explosions, such as supernovae (SNe), compact binary coalescences, and micro-tidal disruption events, are believed to be embedded in the accretion disks of active galactic nuclei (AGN). We show high-energy neutrinos can be produced efficiently through $pp$-interactions between shock-accelerated cosmic rays and AGN disk materials shortly after the explosion ejecta shock breaks out of the disk. AGN stellar explosions are ideal targets for joint neutrino and electromagnetic (EM) multimessenger observations. Future EM follow-up observations of neutrino bursts can help us search for yet-discovered AGN stellar explosions. We suggest that AGN stellar explosions could potentially be important astrophysical neutrino sources. The contribution from AGN stellar explosions to the observed diffuse neutrino background depends on the uncertain local event rate densities of these events in AGN disks. By considering thermonuclear SNe, core-collaspe SNe, gamma-ray burst associated SNe, kilonovae, and choked GRBs in AGN disks with known theoretical local event rate densities, we show that these events may contribute to $\lesssim10\%$ of the observed diffuse neutrino background.

categories: astro-ph.HE astro-ph.GA astro-ph.SR hep-ph


title: aiSTROM -- A roadmap for developing a successful AI strategy

abstract: A total of 34% of AI research and development projects fails or are abandoned, according to a recent survey by Rackspace Technology of 1,870 companies. We propose a new strategic framework, aiSTROM, that empowers managers to create a successful AI strategy based on a thorough literature review. This provides a unique and integrated approach that guides managers and lead developers through the various challenges in the implementation process. In the aiSTROM framework, we start by identifying the top n potential projects (typically 3-5). For each of those, seven areas of focus are thoroughly analysed. These areas include creating a data strategy that takes into account unique cross-departmental machine learning data requirements, security, and legal requirements. aiSTROM then guides managers to think about how to put together an interdisciplinary artificial intelligence (AI) implementation team given the scarcity of AI talent. Once an AI team strategy has been established, it needs to be positioned within the organization, either cross-departmental or as a separate division. Other considerations include AI as a service (AIaas), or outsourcing development. Looking at new technologies, we have to consider challenges such as bias, legality of black-box-models, and keeping humans in the loop. Next, like any project, we need value-based key performance indicators (KPIs) to track and validate the progress. Depending on the company's risk-strategy, a SWOT analysis (strengths, weaknesses, opportunities, and threats) can help further classify the shortlisted projects. Finally, we should make sure that our strategy includes continuous education of employees to enable a culture of adoption. This unique and comprehensive framework offers a valuable, literature supported, tool for managers and lead developers.


title: Fragility curves for power transmission towers in Odisha, India, based on observed damage during 2019 Cyclone Fani

abstract: Lifeline infrastructure systems such as a power transmission network in coastal regions are vulnerable to strong winds generated during tropical cyclones. Understanding the fragility of individual towers is helpful in improving the resilience of such systems. Fragility curves have been developed in the past for some regions, but without considering relevant epistemic uncertainties. Further, risk and resilience studies are best performed using the fragility curves specific to a region. Such studies become particularly important if the region is exposed to cyclones rather frequently. This paper presents the development of fragility curves for high-voltage power transmission towers in the state of Odisha, India, based on macro-level damage data from 2019 cyclone Fani, which was obtained through concerned government offices. Two types of damages were identified, namely, collapse and partial damage. Accordingly, fragility curves for collapse and functionality disruption damage states were developed considering relevant aleatory and epistemic uncertainties. The latter class of uncertainties included that associated with wind speed estimation at a location and the finite sample uncertainty. The most significant contribution in the epistemic uncertainty was due to the wind speed estimation at a location. The median and logarithmic standard deviation for the 50th percentile fragility curve associated with collapse was close to that for the functionality disruption damage state. These curves also compared reasonably well with those reported for similar structures in other parts of the world.


title: Numerical approximation of statistical solutions of the incompressible Navier-Stokes Equations

abstract: Statistical solutions, which are time-parameterized probability measures on spaces of square-integrable functions, have been established as a suitable framework for global solutions of incompressible Navier-Stokes equations (NSE). We compute numerical approximations of statistical solutions of NSE on two-dimensional domains with non-periodic boundary conditions and empirically investigate the convergence of these approximations and their observables. For the numerical solver, we use Monte Carlo sampling with an H(div)-FEM based deterministic solver. Our numerical experiments for high Reynolds number turbulent flows demonstrate that the statistics and observables of the approximations converge. We also develop a novel algorithm to compute structure functions on unstructured meshes.