title: Incorporation of density scaling constraint in density functional design via contrastive representation learning

abstract: In a data-driven paradigm, machine learning (ML) is the central component for developing accurate and universal exchange-correlation (XC) functionals in density functional theory (DFT). It is well known that XC functionals must satisfy several exact conditions and physical constraints, such as density scaling, spin scaling, and derivative discontinuity. In this work, we demonstrate that contrastive learning is a computationally efficient and flexible method to incorporate a physical constraint in ML-based density functional design. We propose a schematic approach to incorporate the uniform density scaling property of electron density for exchange energies by adopting contrastive representation learning during the pretraining task. The pretrained hidden representation is transferred to the downstream task to predict the exchange energies calculated by DFT. The electron density encoder transferred from the pretraining task based on contrastive learning predicts exchange energies that satisfy the scaling property, while the model trained without using contrastive learning gives poor predictions for the scaling-transformed electron density systems. Furthermore, the model with pretrained encoder gives a satisfactory performance with only small fractions of the whole augmented dataset labeled, comparable to the model trained from scratch using the whole dataset. The results demonstrate that incorporating exact constraints through contrastive learning can enhance the understanding of density-energy mapping using neural network (NN) models with less data labeling, which will be beneficial to generalizing the application of NN-based XC functionals in a wide range of scenarios that are not always available experimentally but theoretically justified. This work represents a viable pathway toward the machine learning design of a universal density functional via representation learning.


title: Zero-Cost Corrections to Influence Functional Coefficients from Bath Response Functions

abstract: Recent work has shown that it is possible to circumvent the calculation of the spectral density and directly calculate the coefficients of the discretized influence functionals using data from classical trajectory simulations. However, the accuracy of this procedure depends on the validity of the high temperature approximation. In this work, an alternative derivation based on the Kubo formalism is provided. This enables the calculation of additional correction terms that increases the range of applicability of the procedure to lower temperatures. Because it is based on the Kubo-transformed correlation function, this approach enables the direct use of correlation functions obtained from methods like ring-polymer molecular dynamics and centroid molecular dynamics in determining the influence functional coefficients for subsequent system-solvent simulations. The accuracy of the original procedure and the corrected procedure is investigated across a range of parameters. It is interesting that the correction term comes at zero additional cost. Furthermore, it is possible to improve upon the correction using zero-cost physical intuition and heuristics making the method even more accurate.


title: On bi-skew braces and brace blocks

abstract: L. N. Childs defined a bi-skew brace to be a skew brace such that if we swap the role of the two operations, then we find again a skew brace. In this paper, we give a systematic analysis of bi-skew braces. We study nilpotency and solubility, and connections between bi-skew braces and set-theoretic solutions of the Yang--Baxter equation. Further, we deal with Byott's conjecture in the case of bi-skew braces, and we use bi-skew braces as a tool to solve a classification problem proposed by L. Vendramin. In the final part, we investigate brace blocks, defined by A. Koch to be families of group operations on a given set such that any two of them yield a bi-skew brace. We provide a characterisation of brace blocks, illustrate how all known constructions in literature follow in a natural way from our characterisation, and give several new examples.


title: A Flow-based Distributed Trading Mechanism in Regional Electricity Market with Energy Hub

abstract: The concept of Energy Hub (EH) has been emerged to accommodate renewable energy sources in a multi-energy system to deploy the synergies between electricity and other energy sources. However, the market mechanisms for the integration of the EHs into the energy markets are not sufficiently elaborated. This paper proposes a flow-based two-level distributed trading mechanism in the regional electricity market with EH. At the lower level, the regional system operator coordinates the regional grids transactions in two markets, the local energy market with EH and the wholesale market of the upstream grid. Every nodal agent as an independent stakeholder leverages price discrepancy to cross arbitrage from different markets. At the upper level, the EH is a third player intending to maximize profit from trading in the regional electricity market and gas market. The regional electricity market clearing problem is formulated as a mathematical program with equilibrium constraints, for which we develop an ADMM-based distributed algorithm to obtain the equilibrium solution. The DC power flow is decomposed into optimization problems for the regional system operator and agents at different nodes, which can be solved in a distributed manner to achieve global optimality without violating the privacy of players. Case studies based on a realistic regional grid verify the effectiveness of the proposed algorithm and show that the mechanism is effective in decomposing power flow and increasing energy efficiency.


title: Align then Fusion: Generalized Large-scale Multi-view Clustering with Anchor Matching Correspondences

abstract: Multi-view anchor graph clustering selects representative anchors to avoid full pair-wise similarities and therefore reduce the complexity of graph methods. Although widely applied in large-scale applications, existing approaches do not pay sufficient attention to establishing correct correspondences between the anchor sets across views. To be specific, anchor graphs obtained from different views are not aligned column-wisely. Such an \textbf{A}nchor-\textbf{U}naligned \textbf{P}roblem (AUP) would cause inaccurate graph fusion and degrade the clustering performance. Under multi-view scenarios, generating correct correspondences could be extremely difficult since anchors are not consistent in feature dimensions. To solve this challenging issue, we propose the first study of the generalized and flexible anchor graph fusion framework termed \textbf{F}ast \textbf{M}ulti-\textbf{V}iew \textbf{A}nchor-\textbf{C}orrespondence \textbf{C}lustering (FMVACC). Specifically, we show how to find anchor correspondence with both feature and structure information, after which anchor graph fusion is performed column-wisely. Moreover, we theoretically show the connection between FMVACC and existing multi-view late fusion \cite{liu2018late} and partial view-aligned clustering \cite{huang2020partially}, which further demonstrates our generality. Extensive experiments on seven benchmark datasets demonstrate the effectiveness and efficiency of our proposed method. Moreover, the proposed alignment module also shows significant performance improvement applying to existing multi-view anchor graph competitors indicating the importance of anchor alignment. Our code is available at \url{https://github.com/wangsiwei2010/NeurIPS22-FMVACC}.


title: Improved Algorithms for Bandit with Graph Feedback via Regret Decomposition

abstract: The problem of bandit with graph feedback generalizes both the multi-armed bandit (MAB) problem and the learning with expert advice problem by encoding in a directed graph how the loss vector can be observed in each round of the game. The mini-max regret is closely related to the structure of the feedback graph and their connection is far from being fully understood. We propose a new algorithmic framework for the problem based on a partition of the feedback graph. Our analysis reveals the interplay between various parts of the graph by decomposing the regret to the sum of the regret caused by small parts and the regret caused by their interaction. As a result, our algorithm can be viewed as an interpolation and generalization of the optimal algorithms for MAB and learning with expert advice. Our framework unifies previous algorithms for both strongly observable graphs and weakly observable graphs, resulting in improved and optimal regret bounds on a wide range of graph families including graphs of bounded degree and strongly observable graphs with a few corrupted arms.


title: On the Value of Retransmissions for Age of Information in Random Access Networks without Feedback

abstract: We focus on a slotted ALOHA system without feedback, in which nodes transmit time-stamped updates to a common gateway. Departing from the classical generate-at-will model, we assume that each transmitter may not always have fresh information to deliver, and tackle the fundamental question of whether sending stale packets can be beneficial from an age-of-information (AoI) standpoint. Leaning on a signal-flow-graph analysis of Markov processes the study reveals that, when packets can be lost due to channel impairments, retransmissions can indeed lower AoI for low generation rates of new information, although at a cost in terms of throughput.


title: Probing the mass composition of primary cosmic rays from the effect of the geomagnetic field on EAS muons: A simulation study

abstract: The distribution of the muon content of highly inclined Monte Carlo cosmic ray showers is affected by the influence of Earth's geomagnetic field. It is found that the shapes of the positive and negative muon distributions get affected/modified by the influence of the Earth's geomagnetic field. Such a correlation between the earth's geomagnetic activity and the cosmic ray (CR) air shower muons is found sensitive to the primary cosmic ray mass composition.


title: On the reduction of nonlinear electromechanical systems

abstract: The present work revisits the reduction of the nonlinear dynamics of an electromechanical system through a quasi-steady state hypothesis, discussing the fundamental aspects of this type of approach and clarifying some confusing points found in the literature. Expressions for the characteristic time scales of dynamics are deduced from a physical analysis that establishes an analogy between electromechanical dynamics and the kinetics of a chemical reaction. It provides a physical justification, supplemented by non-dimensionalization and scaling of the equations, to reduce the dynamics of interest by assuming a quasi-steady state for the electrical subsystem, eliminating the inductive term from the electrical equation. Numerical experiments help to illustrate the typical behavior of the electromechanical system, a boundary layer phenomenon near the initial dynamic state, and the validity limits of the electromechanical quasi-steady-state assumption discussed here.


title: Fluctuations of the free energy in p-spin SK models on two scales

abstract: 20 years ago, Bovier, Kurkova, and L\"owe [5] proved a central limit theorem (CLT) for the fluctuations of the free energy in the p-spin version of the Sherrington-Kirkpatrick model of spin glasses at high temperatures. In this paper we improve their results in two ways. First, we extend the range of temperatures to cover the entire regime where the quenched and annealed free energies are known to coincide. Second, we identify the main source of the fluctuations as a purely coupling dependent term, and we show a further CLT for the deviation of the free energy around this random object.


title: Substrate-mediated Borophane Polymorphs through Hydrogenation of Two-dimensional Boron Sheets

abstract: Two-dimensional boron monolayer (borophene) stands out from the two-dimensional atomic layered materials due to its structural flexibility, tunable electronic and mechanical properties from a large number of allotropic materials. The stability of pristine borophene polymorphs could possibly be improved via hydrogenation with atomic hydrogen (referred to as borophane). However, the precise adsorption structures and the underlying mechanism are still elusive. Employing first-principles calculations, we demonstrate the optimal configurations of freestanding borophanes and the ones grown on metallic substrates. For freestanding {\beta}12 and {\chi}3 borophenes, the energetically favored hydrogen adsorption sites are on the top of the boron atoms with CN=4 (CN: coordination number), while the best absorption sites for {\alpha}' borophene are on the top of the boron atoms with CN=6. With various metal substrates, the hydrogenation configurations of borophene are modulated significantly, attributed to the chemical hybridization strength between B pz and H s orbitals. These findings provide a deep insight into the hydrogenating borophenes and facilitate the stabilization of two-dimensional boron polymorphs by engineering hydrogen adsorption sites and concentrations.


title: The zero-noise limit of SDEs with $L^\infty$ drift

abstract: We study the zero-noise limit for autonomous, one-dimensional ordinary differential equations with discontinuous right-hand sides. Although the deterministic equation might have infinitely many solutions, we show, under rather general conditions, that the sequence of stochastically perturbed solutions converges to a unique distribution on classical solutions of the deterministic equation. We provide several tools for computing this limit distribution.


title: CGMN: A Contrastive Graph Matching Network for Self-Supervised Graph Similarity Learning

abstract: Graph similarity learning refers to calculating the similarity score between two graphs, which is required in many realistic applications, such as visual tracking, graph classification, and collaborative filtering. As most of the existing graph neural networks yield effective graph representations of a single graph, little effort has been made for jointly learning two graph representations and calculating their similarity score. In addition, existing unsupervised graph similarity learning methods are mainly clustering-based, which ignores the valuable information embodied in graph pairs. To this end, we propose a contrastive graph matching network (CGMN) for self-supervised graph similarity learning in order to calculate the similarity between any two input graph objects. Specifically, we generate two augmented views for each graph in a pair respectively. Then, we employ two strategies, namely cross-view interaction and cross-graph interaction, for effective node representation learning. The former is resorted to strengthen the consistency of node representations in two views. The latter is utilized to identify node differences between different graphs. Finally, we transform node representations into graph-level representations via pooling operations for graph similarity computation. We have evaluated CGMN on eight real-world datasets, and the experiment results show that the proposed new approach is superior to the state-of-the-art methods in graph similarity learning downstream tasks.


title: SAPD+: An Accelerated Stochastic Method for Nonconvex-Concave Minimax Problems

abstract: We propose a new stochastic method SAPD+ for solving nonconvex-concave minimax problems of the form $\min\max \mathcal{L}(x,y) = f(x)+\Phi(x,y)-g(y)$, where $f,g$ are closed convex and $\Phi(x,y)$ is a smooth function that is weakly convex in $x$, (strongly) concave in $y$. For both strongly concave and merely concave settings, SAPD+ achieves the best known oracle complexities of $\mathcal{O}(L\kappa_y\epsilon^{-4})$ and $\mathcal{O}(L^3\epsilon^{-6})$, respectively, without assuming compactness of the problem domain, where $\kappa_y$ is the condition number and $L$ is the Lipschitz constant. We also propose SAPD+ with variance reduction, which enjoys the best known oracle complexity of $\mathcal{O}(L\kappa_y^2\epsilon^{-3})$ for weakly convex-strongly concave setting. We demonstrate the efficiency of SAPD+ on a distributionally robust learning problem with a weakly convex cost and also on a multi-class classification problem in deep learning.


title: Local Systems, Algebraic Foliations and Fibrations

abstract: Given a semistable fibration $f\colon X\to B$ we introduce a correspondence between foliations $\mathcal{F}$ on $X$ and local systems $\mathbb{L}$ on $B$. Building up on this correspondence we find conditions that give maximal rationally connected fibrations in terms of data on the foliation. We prove the Castelnuovo-de Franchis theorem in the case of $p$-forms and we apply it to show when, under some natural conditions, a line subbundle of the sheaf of $p$-forms induces the Iitaka fibration.


title: Retrieving and Ranking Relevant JavaScript Technologies from Web Repositories

abstract: The selection of software technologies is an important but complex task. We consider developers of JavaScript (JS) applications, for whom the assessment of JS libraries has become difficult and time-consuming due to the growing number of technology options available. A common strategy is to browse software repositories via search engines (e.g., NPM, or Google), although it brings some problems. First, given a technology need, the engines might return a long list of results, which often causes information overload issues. Second, the results should be ranked according to criteria of interest for the developer. However, deciding how to weight these criteria to make a decision is not straightforward. In this work, we propose a two-phase approach for assisting developers to retrieve and rank JS technologies in a semi-automated fashion. The first-phase (ST-Retrieval) uses a meta-search technique for collecting JS technologies that meet the developer's needs. The second-phase (called ST-Rank), relies on a machine learning technique to infer, based on criteria used by other projects in the Web, a ranking of the output of ST-Retrieval. We evaluated our approach with NPM and obtained satisfactory results in terms of the accuracy of the technologies retrieved and the order in which they were ranked.


title: An analysis of the spin density matrix of quarkonium in heavy ion collisions

abstract: In this addendum to [1], we apply the techniques developed in that paper to the $J/\Psi$ and $\Upsilon$ spin alignement measurements in [2]. We argue that while the data points to a maximally impure density matrix, consistent with Cooper-Frye/Statistical model freeze-out, a measurement of the dependence of the $\phi$-sensitive coefficients on the azimuthal angle with respect to the reaction plane would be the crucial test of this conclusion.


title: Multi-Scale Image Preprocessing and Feature Tracking for Remote CME Characterization

abstract: Coronal Mass Ejections (CMEs) influence the interplanetary environment over vast distances in the solar system by injecting huge clouds of fast solar plasma and energetic particles (SEPs). A number of fundamental questions remain about how SEPs are produced, but current understanding points to CME-driven shocks and compressions in the solar corona. At the same time, unprecedented remote and in situ (Parker Solar Probe, Solar Orbiter) solar observations are becoming available to constrain existing theories. Here we present a general method for recognition and tracking on solar images of objects such as CME shock waves and filaments. The calculation scheme is based on a multi-scale data representation concept a trous wavelet transform, and a set of image filtering techniques. We showcase its performance on a small set of CME-related phenomena observed with the SDO/AIA telescope. With the data represented hierarchically on different decomposition and intensity levels, our method allows to extract certain objects and their masks from the imaging observations, in order to track their evolution in time. The method presented here is general and applicable to detecting and tracking various solar and heliospheric phenomena in imaging observations. It holds potential to prepare large training data sets for deep learning. We have implemented this method into a freely available Python library.


title: Sensitive Dependence of Global Climate to Continental Geometry

abstract: Over its multibillion-year history, the Earth has experienced a wide range of climates. The long-term climate is controlled by the atmospheric carbon dioxide concentration, which is regulated by marine sequestration through chemical weathering. This chemical weathering sink is strongly linked to the distribution and composition of the continents. However, the effect of continental distribution has never been studied within a general framework. Here we show that the global weathering rate is sensitive to the size and shape of the continents, but is not well explained by the amount of land in the tropics. We construct synthetic continental configurations and use an ensemble of global climate model simulations to isolate the expected effect of continental arrangement on weathering and carbon burial. Runoff patterns are complex, sensitive to detailed features of continental geometry, and poorly predicted by continental latitude. These results help explain the long-term variability and irregularity of Earth's climate.


title: Decomposition of Explained Variation in the Linear Mixed Model

abstract: In the linear mixed model (LMM), the simultaneous assessment and comparison of dispersion relevance of explanatory variables associated with fixed and random effects remains an important open practical problem. Based on the restricted maximum likelihood equations in the variance components form of the LMM, we prove a proper decomposition of the sum of squares of the dependent variable into unbiased estimators of interpretable estimands of explained variation. This result leads to a natural extension of the well-known adjusted coefficient of determination to the LMM. Further, we allocate the novel unbiased estimators of explained variation to specific contributions of covariates associated with fixed and random effects within a single model fit. These parameter-wise explained variations constitute easily interpretable quantities, assessing dispersion relevance of covariates associated with both fixed and random effects on a common scale, thus allowing for a covariate ranking. For illustration, we contrast the variation explained by subjects and time in the longitudinal sleep deprivation study. By comparing the dispersion relevance of population characteristics and spatial levels, we determine literacy as a major driver of income inequality in Burkina Faso. Finally, we develop a novel relevance plot to visualize the dispersion relevance of high-dimensional genomic markers in Arabidopsis thaliana.


title: Neutron star crust properties: comparison between the compressible liquid-drop model and the extended Thomas-Fermi approach

abstract: We present a detailed analysis of three models predicting the properties of non-uniform matter in the crust of neutron stars: the compressible liquid-drop model, the fourth order Extended Thomas Fermi (ETF) method, and ETF plus Strutinsky integral (ETFSI) correction. The former treats the nuclear clusters as uniform hard spheres, the second takes into account the density distribution which can be different for neutrons and protons, and the last one includes the proton shell effects within the Strutinsky approach. The purpose of this work is to understand the importance of the improvements in the nuclear modeling and to analyze the quantities which are the most sensitive to them. We find that thermodynamic quantities such as pressure, energy and chemical potential, as well as the electron fraction, are in very good agreement among the three models. This confirms previous results where we have shown that the improvement in the finite-size description of the nuclear clusters has a small impact on these quantities, since they are mainly constrained by the bulk properties. The refinements in the finite-size modeling are shown to impact mostly the composition of the nuclear clusters ($Z_{cl}$, $N_{cl}$) in an ordering which ranks according to the leptodermous expansion. This analysis is performed considering both the r-cluster and the e-cluster representations. The proton shell effects are shown to stabilize $Z_{cl}$, which consequently impacts the neutron number $N_{cl}$ as well.


title: Feedback stabilization of a two-fluid surface tension system modeling the motion of a soap bubble at low Reynolds number: The two-dimensional case

abstract: The aim of this paper is to design a feedback operator for stabilizing in infinite time horizon a system modeling the interactions between a viscous incompressible fluid and the deformation of a soap bubble. The latter is represented by an interface separating a bounded domain of $\mathbb{R}^2$ into two connected parts filled with viscous incompressible fluids. The interface is a smooth perturbation of the 1-sphere, and the surrounding fluids satisfy the incompressible Stokes equations in time-dependent domains. The mean curvature of the surface defines a surface tension force which induces a jump of the normal trace of the Cauchy stress tensor. The response of the fluids is a velocity trace on the interface, governing the time evolution of the latter, via the equality of velocities. The data are assumed to be sufficiently small, in particular the initial perturbation, that is the initial shape of the soap bubble is close enough to a circle. The control function is a surface tension type force on the interface. We design it as the sum of two feedback operators: one is explicit, the second one is finite-dimensional. They enable us to define a control operator that stabilizes locally the soap bubble to a circle with an arbitrary exponential decay rate, up to translations, and up to non-contact with the outer boundary.


title: The limits of the strong $CP$ problem

abstract: While $CP$ violation has never been observed in the strong interactions, the QCD Lagrangian admits a $CP$-odd topological interaction proportional to the so called $\theta$ angle, which weighs the contributions to the partition function from different topological sectors. The observational bounds are usually interpreted as demanding a severe tuning of $\theta$ against the phases of the quark masses, which constitutes the strong $CP$ problem. Here we report on recent challenges to this view based on a careful treatment of boundary conditions in the path integral and of the limit of infinite spacetime volume, which leads to $\theta$ dropping out of fermion correlation functions and becoming unobservable, implying that $CP$ is preserved in QCD.


title: CHALLENGER: Training with Attribution Maps

abstract: We show that utilizing attribution maps for training neural networks can improve regularization of models and thus increase performance. Regularization is key in deep learning, especially when training complex models on relatively small datasets. In order to understand inner workings of neural networks, attribution methods such as Layer-wise Relevance Propagation (LRP) have been extensively studied, particularly for interpreting the relevance of input features. We introduce Challenger, a module that leverages the explainable power of attribution maps in order to manipulate particularly relevant input patterns. Therefore, exposing and subsequently resolving regions of ambiguity towards separating classes on the ground-truth data manifold, an issue that arises particularly when training models on rather small datasets. Our Challenger module increases model performance through building more diverse filters within the network and can be applied to any input data domain. We demonstrate that our approach results in substantially better classification as well as calibration performance on datasets with only a few samples up to datasets with thousands of samples. In particular, we show that our generic domain-independent approach yields state-of-the-art results in vision, natural language processing and on time series tasks.


title: Estimation of the geometric measure of entanglement with Wehrl Moments through Artificial Neural Networks

abstract: In recent years, artificial neural networks (ANNs) have become an increasingly popular tool for studying problems in quantum theory, and in particular entanglement theory. In this work, we analyse to what extent ANNs can accurately predict the geometric measure of entanglement of symmetric multiqubit states using only a limited number of Wehrl moments (moments of the Husimi function of the state) as input, which represents partial information about the state. We consider both pure and mixed quantum states. We compare the results we obtain by training ANNs with the informed use of convergence acceleration methods. We find that even some of the most powerful convergence acceleration algorithms do not compete with ANNs when given the same input data, provided that enough data is available to train these ANNs. We also provide an experimental protocol for measuring Wehrl moments, which is state-independent. More generally, this work opens up perspectives for the estimation of entanglement measures and other SU(2)-invariant quantities, such as the Wehrl entropy, in a way that is more accessible in experiments than by means of full state tomography.


title: Linear versus centred chromatic numbers

abstract: $\DeclareMathOperator{\chicen}{\chi_{\mathrm{cen}}}\DeclareMathOperator{\chilin}{\chi_{\mathrm{lin}}}$ A centred colouring of a graph is a vertex colouring in which every connected subgraph contains a vertex whose colour is unique and a \emph{linear colouring} is a vertex colouring in which every (not-necessarily induced) path contains a vertex whose colour is unique. For a graph $G$, the centred chromatic number $\chicen(G)$ and the linear chromatic number $\chilin(G)$ denote the minimum number of distinct colours required for a centred, respectively, linear colouring of $G$. From these definitions, it follows immediately that $\chilin(G)\le \chicen(G)$ for every graph $G$. The centred chromatic number is equivalent to treedepth and has been studied extensively. Much less is known about linear colouring. Kun et al [Algorithmica 83(1)] prove that $\chicen(G) \le \tilde{O}(\chilin(G)^{190})$ for any graph $G$ and conjecture that $\chicen(G)\le 2\chilin(G)$. Their upper bound was subsequently improved by Czerwinski et al [SIDMA 35(2)] to $\chicen(G)\le\tilde{O}(\chilin(G)^{19})$. The proof of both upper bounds relies on establishing a lower bound on the linear chromatic number of pseudogrids, which appear in the proof due to their critical relationship to treewidth. Specifically, Kun et al prove that $k\times k$ pseudogrids have linear chromatic number $\Omega(\sqrt{k})$. Our main contribution is establishing a tight bound on the linear chromatic number of pseudogrids, specifically $\chilin(G)\ge \Omega(k)$ for every $k\times k$ pseudogrid $G$. As a consequence we improve the general bound for all graphs to $\chicen(G)\le \tilde{O}(\chilin(G)^{10})$. In addition, this tight bound gives further evidence in support of Kun et al's conjecture (above) that the centred chromatic number of any graph is upper bounded by a linear function of its linear chromatic number.


title: On the impact of the physical layer model on the performance of D2D-offloading in vehicular environments

abstract: Offloading data traffic from Infrastructure-to-Device (I2D) to Device-to-Device (D2D) communications is a powerful tool for reducing congestion, energy consumption, and spectrum usage of mobile cellular networks. Prior network-level studies on D2D data offloading focus on high level performance metrics as the offloading efficiency, and take into account the radio propagation aspects by using simplistic wireless channel models. We consider a D2D data offloading protocol tailored to highly dynamic scenarios as vehicular environments, and evaluate its performance focusing on physical layer aspects, like energy consumption and spectral efficiency. We do this by taking into account more realistic models of the wireless channel, with respect to the simplistic ones generally used in the previous studies. Our objective is twofold: first, to quantify the performance gain of the considered D2D offloading protocol with respect to a classic cellular network, based on I2D communications, in terms of energy consumption and spectral efficiency. Second, to show that using simplistic channel models may prevent to accurately evaluate the performance gain. Additionally, the use of more elaborated models allows to obtain insightful information on relevant system-level parameters settings, which would not be possible to obtain by using simple models. The considered channel models have been proposed and validated, in the recent years, through large-scale measurements campaigns. Our results show that the considered protocol is able to achieve a reduction in the energy consumption of up to 35%, and an increase in the system spectral efficiency of 50%, with respect to the benchmark cellular system. The use of different channel models in evaluating these metrics may result, in the worst case, in a sixfold underestimation of the achieved improvement.


title: Fibrations by affine lines on rational affine surfaces with irreducible boundaries

abstract: We consider fibrations by affine lines on smooth affine surfaces obtained as complements of smooth rational curves $B$ in smooth projective surfaces $X$ defined over an algebraically closed field of characteristic zero. We observe that except for two exceptions, these surfaces $X \setminus B$ admit infinitely many families of $\mathbb{A}^1$-fibrations over the projective line with irreducible fibers and a unique singular fiber of arbitrarily large multiplicity. For $\mathbb{A}^1$-fibrations over the affine line, we give a new and essentially self-contained proof that the set of equivalence classes of such fibrations up to composition by automorphisms at the source and target is finite if and only if the self-intersection number of $B$ in $X$ is less than or equal to 6.


title: Entire solutions to 4-dimensional Ginzburg-Landau equations and codimension 2 minimal submanifolds

abstract: We consider the magnetic Ginzburg-Landau equations in $\mathbb{R}^4$ $$ \begin{cases} -\varepsilon^2(\nabla-iA)^2u = \frac{1}{2}(1-|u|^{2})u,\\ \varepsilon^2 d^*dA = \langle(\nabla-iA)u,iu\rangle \end{cases} $$ formally corresponding to the Euler-Lagrange equations for the energy functional $$ E(u,A)=\frac{1}{2}\int_{\mathbb{R}^4}|(\nabla-iA)u|^{2}+\varepsilon^2|dA|^{2}+\frac{1}{4\varepsilon^2}(1-|u|^{2})^{2}. $$ Here $u:\mathbb{R}^4\to \mathbb{C}$, $A: \mathbb{R}^4\to\mathbb{R}^4$ and $d$ denotes the exterior derivative acting on the one-form dual to $A$. Given a 2-dimensional minimal surface $M$ in $\mathbb{R}^3$ with finite total curvature and non-degenerate, we construct a solution $(u_\varepsilon,A_\varepsilon)$ which has a zero set consisting of a smooth 2-dimensional surface close to $M\times \{0\}\subset \mathbb{R}^4$. Away from the latter surface we have $|u_\varepsilon| \to 1$ and $$ u_\varepsilon(x)\, \to\, \frac {z}{|z|},\quad A_\varepsilon(x)\, \to\, \frac 1{|z|^2} ( -z_2 \nu(y) + z_1 {\textbf{e}}_4), \quad x = y + z_1 \nu(y) + z_2 {\textbf{e}}_4 $$ for all sufficiently small $z\ne 0$. Here $y\in M$ and $\nu(y)$ is a unit normal vector field to $M$ in $\mathbb{R}^3$.


title: Meta Representation Learning with Contextual Linear Bandits

abstract: Meta-learning seeks to build algorithms that rapidly learn how to solve new learning problems based on previous experience. In this paper we investigate meta-learning in the setting of stochastic linear bandit tasks. We assume that the tasks share a low dimensional representation, which has been partially acquired from previous learning tasks. We aim to leverage this information in order to learn a new downstream bandit task, which shares the same representation. Our principal contribution is to show that if the learned representation estimates well the unknown one, then the downstream task can be efficiently learned by a greedy policy that we propose in this work. We derive an upper bound on the regret of this policy, which is, up to logarithmic factors, of order $r\sqrt{N}(1\vee \sqrt{d/T})$, where $N$ is the horizon of the downstream task, $T$ is the number of training tasks, $d$ the ambient dimension and $r \ll d$ the dimension of the representation. We highlight that our strategy does not need to know $r$. We note that if $T> d$ our bound achieves the same rate of optimal minimax bandit algorithms using the true underlying representation. Our analysis is inspired and builds in part upon previous work on meta-learning in the i.i.d. full information setting \citep{tripuraneni2021provable,boursier2022trace}. As a separate contribution we show how to relax certain assumptions in those works, thereby improving their representation learning and risk analysis.


title: Lower bounds on Bourgain's constant for harmonic measure

abstract: For every $n\geq 2$, Bourgain's constant $b_n$ is the largest number such that the (upper) Hausdorff dimension of harmonic measure is at most $n-b_n$ for every domain in $\mathbb{R}^n$ on which harmonic measure is defined. Jones and Wolff (1988) proved that $b_2=1$. When $n\geq 3$, Bourgain (1987) proved that $b_n>0$ and Wolff (1995) produced examples showing $b_n<1$. Refining Bourgain's original outline, we prove that \[ b_n\geq c\,n^{-2n(n-1)}/\ln(n)\] for all $n\geq 3$, where $c>0$ is a constant that is independent of $n$. We further estimate $b_3\geq 1\times 10^{-15}$ and $b_4\geq 2\times 10^{-26}$.


title: $\mathbf{G}$-Central limit theorems and $\mathbf{G}$-invariance principles for associated random variables

abstract: The investigation asymptotic limits on associated data mainly focused on limit theorems of summands of associated data and on the related invariance principles. In a series of papers, we are going to set the general frame of the theory by considering an arbitrary infinitely decomposable (divisible) limit law for summands and study the associated functional laws converging to L\'evy processes. The asymptotic frame of Newman (1980) is still used as a main tool. Detailed results are given when $G$ is a Gaussian law (as confirmation of known results) and when $G$ is a Poisson law. In the later case, classical results for independent and identically distributed data are extended to stationary and non-stationary associated data.


title: Melting properties of Ag$_x$Pt$_{1-x}$ nanoparticles

abstract: At the nanoscale, materials exhibit unique properties that differ greatly from those of the bulk state. In the case of Ag$_x$Pt$_{1-x}$ nanoalloys, we aimed to study the solid-liquid transition of nanoparticles of different sizes and compositions. This system is particularly interesting since Pt has a high melting point (2041 K compare to 1035 K for Ag) which could keep the nanoparticle solid during different catalytic reactions at relatively high temperatures, such as we need in the growth of nanotubes. We performed atomic scale simulations using semi-empirical potential implemented in a Monte Carlo code at constant temperature and chemical composition in canonical ensemble. We observed that the melting temperature decreases with the size (pure systems and alloys) and the composition. We show that the melting systematically passes through an intermediate stage with a crystalline core (pure platinum or mixed PtAg depending on the composition) and a pure silver liquid skin, which strongly questions the idea of having a faceted solid particle in catalytic reactions for carbon nanotubes synthesis.


title: FLICU: A Federated Learning Workflow for Intensive Care Unit Mortality Prediction

abstract: Although Machine Learning (ML) can be seen as a promising tool to improve clinical decision-making for supporting the improvement of medication plans, clinical procedures, diagnoses, or medication prescriptions, it remains limited by access to healthcare data. Healthcare data is sensitive, requiring strict privacy practices, and typically stored in data silos, making traditional machine learning challenging. Federated learning can counteract those limitations by training machine learning models over data silos while keeping the sensitive data localized. This study proposes a federated learning workflow for ICU mortality prediction. Hereby, the applicability of federated learning as an alternative to centralized machine learning and local machine learning is investigated by introducing federated learning to the binary classification problem of predicting ICU mortality. We extract multivariate time series data from the MIMIC-III database (lab values and vital signs), and benchmark the predictive performance of four deep sequential classifiers (FRNN, LSTM, GRU, and 1DCNN) varying the patient history window lengths (8h, 16h, 24h, 48h) and the number of FL clients (2, 4, 8). The experiments demonstrate that both centralized machine learning and federated learning are comparable in terms of AUPRC and F1-score. Furthermore, the federated approach shows superior performance over local machine learning. Thus, the federated approach can be seen as a valid and privacy-preserving alternative to centralized machine learning for classifying ICU mortality when sharing sensitive patient data between hospitals is not possible.


title: Center and Lie algebra of outer derivations for algebras of differential operators associated to hyperplane arrangements

abstract: We compute the center and the Lie algebra of outer derivations of a familiy of algebras of differential operators associated to hyperplane arrangements of the affine space A 3. The results are completed for 4-braid arrangements and for reflection arrangements associated to the wreath product of a cyclic group with the symmetric group S 3. To achieve this we use tools from homological algebra and Lie-Rinehart algebras of differential operators.


title: Divisible properties for asymptotically tracially approximation ${\rm C^*}$-algebras

abstract: We show that the following divisible properties of the ${\rm C^*}$-algebras in a class $\mathcal{P}$ are inherited by simple unital ${\rm C^*}$-algebras in the class of asymptotically tracially in $\mathcal{P}$: $(1)$ $m$-almost divisible, $(2)$ weakly $(m, n)$-divisible.


title: Accurate and Efficient Modeling of 802.15.4 Unslotted CSMA/CA through Event Chains Computation

abstract: Many analytical models have been proposed for evaluating the performance of event-driven 802.15.4 Wireless Sensor Networks (WSNs), in Non-Beacon Enabled (NBE) mode. However, existing models do not provide accurate analysis of large-scale WSNs, due to tractability issues and/or simplifying assumptions. In this paper, we propose a new approach called Event Chains Computation (ECC) to model the unslotted CSMA/CA algorithm used for channel access in NBE mode. ECC relies on the idea that outcomes of the CSMA/CA algorithm can be represented as chains of events that subsequently occur in the network. Although ECC can generate all the possible outcomes, it only considers chains with a probability to occur greater than a pre-defined threshold to reduce complexity. Furthermore, ECC parallelizes the computation by managing different chains through different threads. Our results show that, by an appropriate threshold selection, the time to derive performance metrics can be drastically reduced, with negligible impact on accuracy. We also show that the computation time decreases almost linearly with the number of employed threads. We validate our model through simulations and testbed experiments, and use it to investigate the impact of different parameters on the WSN performance, in terms of delivery ratio, latency, and energy consumption.


title: Disks and Outflows in the Intermediate-mass Star Forming Region NGC 2071 IR

abstract: We present ALMA band 6/7 (1.3 mm/0.87 mm) and VLA Ka band (9 mm) observations toward NGC 2071 IR, an intermediate-mass star forming region. We characterize the continuum and associated molecular line emission towards the most luminous protostars, i.e., IRS1 and IRS3, on ~100 au (0. 2") scales. IRS1 is partly resolved in millimeter and centimeter continuum, which shows a potential disk. IRS3 has a well resolved disk appearance in millimeter continuum and is further resolved into a close binary system separated by ~40 au at 9 mm. Both sources exhibit clear velocity gradients across their disk major axes in multiple spectral lines including C18O, H2CO, SO, SO2, and complex organic molecules like CH3OH, 13CH3OH and CH3OCHO. We use an analytic method to fit the Keplerian rotation of the disks, and give constraints on physical parameters with a MCMC routine. The IRS3 binary system is estimated to have a total mass of 1.4-1.5$M_\odot$. IRS1 has a central mass of 3-5$M_\odot$ based on both kinematic modeling and its spectral energy distribution, assuming that it is dominated by a single protostar. For both IRS1 and IRS3, the inferred ejection directions from different tracers, including radio jet, water maser, molecular outflow, and H2 emission, are not always consistent, and for IRS1, these can be misaligned by ~50$^{\circ}$. IRS3 is better explained by a single precessing jet. A similar mechanism may be present in IRS1 as well but an unresolved multiple system in IRS1 is also possible.


title: Production of monochromatic $^{228}$Ra $\alpha$-sources for detector characterization

abstract: The response of particle detectors to different types of radiation is not necessarily identical and, in some cases, neglecting this behavior can lead to a misinterpretation of the acquired data. While commercial radioactive sources are in general suitable to investigate the response to $\beta$'s and $\gamma$'s, in the case of $\alpha$'s the need for custom-made sources arises from the intrinsic properties of $\alpha$ radiation, which imposes that the emitter directly faces the detector. In this work, we show how to flexibly produce $\alpha$ sources to be employed in multiple studies of detector characterization. These are obtained starting from a set of primary sources obtained from the collection of radioactive $^{228}$Ra ions at the ISOLDE facility at CERN. We illustrate the potential of this technique with practical cases of application to scintillators and bolometric detectors and examples of the results obtained so far.


title: Proper Posture: Designing Posture Feedback Across Musical Instruments

abstract: There is a recommended body posture and hand position for playing every musical instrument, allowing efficient and quick movements without blockage. Due to humans' limited cognitive capabilities, they struggle to concentrate on several things simultaneously and thus sometimes lose the correct position while playing their instrument. Incorrect positions when playing an instrument can lead to injuries and movement disorders in the long run. Previous work in HCI mainly focused on developing systems to assist in learning an instrument. However, the design space for posture correction when playing a musical instrument has not yet been explored. In this position paper, we present our vision of providing subtle vibrotactile or thermal feedback to guide the focus of attention back to the correct posture when playing a musical instrument. We discuss our concept with a focus on motion recognition and feedback modalities. Finally, we outline the next steps for future research.


title: A k nearest neighbours classifiers ensemble based on extended neighbourhood rule and features subsets

abstract: kNN based ensemble methods minimise the effect of outliers by identifying a set of data points in the given feature space that are nearest to an unseen observation in order to predict its response by using majority voting. The ordinary ensembles based on kNN find out the k nearest observations in a region (bounded by a sphere) based on a predefined value of k. This scenario, however, might not work in situations when the test observation follows the pattern of the closest data points with the same class that lie on a certain path not contained in the given sphere. This paper proposes a k nearest neighbour ensemble where the neighbours are determined in k steps. Starting from the first nearest observation of the test point, the algorithm identifies a single observation that is closest to the observation at the previous step. At each base learner in the ensemble, this search is extended to k steps on a random bootstrap sample with a random subset of features selected from the feature space. The final predicted class of the test point is determined by using a majority vote in the predicted classes given by all base models. This new ensemble method is applied on 17 benchmark datasets and compared with other classical methods, including kNN based models, in terms of classification accuracy, kappa and Brier score as performance metrics. Boxplots are also utilised to illustrate the difference in the results given by the proposed and other state-of-the-art methods. The proposed method outperformed the rest of the classical methods in the majority of cases. The paper gives a detailed simulation study for further assessment.


title: Robotic grasp detection based on Transformer

abstract: Grasp detection in a cluttered environment is still a great challenge for robots. Currently, the Transformer mechanism has been successfully applied to visual tasks, and its excellent ability of global context information extraction provides a feasible way to improve the performance of robotic grasp detection in cluttered scenes. However, the insufficient inductive bias ability of the original Transformer model requires large-scale datasets training, which is difficult to obtain for grasp detection. In this paper, we propose a grasp detection model based on encoder-decoder structure. The encoder uses a Transformer network to extract global context information. The decoder uses a fully convolutional neural network to improve the inductive bias capability of the model and combine features extracted by the encoder to predict the final grasp configuration. Experiments on the VMRD dataset demonstrate that our model performs much better in overlapping object scenes. Meanwhile, on the Cornell Grasp dataset, our approach achieves an accuracy of 98.1%, which is comparable with state-of-the-art algorithms.


title: Online Agnostic Multiclass Boosting

abstract: Boosting is a fundamental approach in machine learning that enjoys both strong theoretical and practical guarantees. At a high-level, boosting algorithms cleverly aggregate weak learners to generate predictions with arbitrarily high accuracy. In this way, boosting algorithms convert weak learners into strong ones. Recently, Brukhim et al. extended boosting to the online agnostic binary classification setting. A key ingredient in their approach is a clean and simple reduction to online convex optimization, one that efficiently converts an arbitrary online convex optimizer to an agnostic online booster. In this work, we extend this reduction to multiclass problems and give the first boosting algorithm for online agnostic mutliclass classification. Our reduction also enables the construction of algorithms for statistical agnostic, online realizable, and statistical realizable multiclass boosting.


title: Assortativity in cognition

abstract: In pairwise interactions assortativity in cognition means that pairs where both decision-makers use the same cognitive process are more likely to occur than what happens under random matching. In this paper we study both the mechanisms determining assortativity in cognition and its effects. In particular, we analyze an applied model where assortativity in cognition helps explain the emergence of cooperation and the degree of prosociality of intuition and deliberation, which are the typical cognitive processes postulated by the dual process theory in psychology. Our findings rely on agent-based simulations, but analytical results are also obtained in a special case. We conclude with examples showing that assortativity in cognition can have different implications in terms of its societal desirability.


title: A Novel Control-Oriented Cell Transmission Model Including Service Stations on Highways

abstract: In this paper, we propose a novel model that describes how the traffic evolution on a highway stretch is affected by the presence of a service station. The presented model enhances the classical CTM dynamics by adding the dynamics associated with the service stations, where the vehicles may stop before merging back into the mainstream. We name it CTMs. We discuss its flexibility in describing different complex scenarios where multiple stations are characterized by different drivers' average stopping times corresponding to different services. The model has been developed to help design control strategies aimed at decreasing traffic congestion. Thus, we discuss how classical control schemes can interact with the proposed \gls{CTMs}. Finally, we validate the proposed model through numerical simulations and assess the effects of service stations on traffic evolution, which appear to be beneficial, especially for relatively short congested periods.


title: Eta Carinae: an evolving view of the central binary, its interacting winds and its foreground ejecta

abstract: FUV spectra of Eta Car, recorded across two decades with HST/STIS, document multiple changes in resonant lines caused by dissipating extinction in our line of sight. The FUV flux has increased nearly ten-fold which has led to increased ionization of the multiple shells within the Homunculus and photo-destruction of molecular hydrogen. Comparison of observed resonant line profiles with CMFGEN model profiles allows separation of wind-wind collision and shell absorptions from the primary wind, P Cygni profiles.The dissipating occulter preferentially obscured the central binary and interacting winds relative to the very extended primary wind. We are now able to monitor changes in the colliding winds with orbital phase. High velocity transient absorptions occurred across the most recent periastron passage, indicating acceleration of the primary wind by the secondary wind which leads to a downstream, high velocity bowshock that is newly generated every orbital period. There is no evidence of changes in the properties of the binary winds.


title: OOD Link Prediction Generalization Capabilities of Message-Passing GNNs in Larger Test Graphs

abstract: This work provides the first theoretical study on the ability of graph Message Passing Neural Networks (gMPNNs) -- such as Graph Neural Networks (GNNs) -- to perform inductive out-of-distribution (OOD) link prediction tasks, where deployment (test) graph sizes are larger than training graphs. We first prove non-asymptotic bounds showing that link predictors based on permutation-equivariant (structural) node embeddings obtained by gMPNNs can converge to a random guess as test graphs get larger. We then propose a theoretically-sound gMPNN that outputs structural pairwise (2-node) embeddings and prove non-asymptotic bounds showing that, as test graphs grow, these embeddings converge to embeddings of a continuous function that retains its ability to predict links OOD. Empirical results on random graphs show agreement with our theoretical results.


title: Pressure Data-Driven Variational Multiscale Reduced Order Models

abstract: In this paper, we develop data-driven closure/correction terms to increase the pressure and velocity accuracy of reduced order models (ROMs) for fluid flows. Specifically, we propose the first pressure-based data-driven variational multiscale ROM, in which we use the available data to construct closure/correction terms for both the momentum equation and the continuity equation. Our numerical investigation of the two-dimensional flow past a circular cylinder at Re=50000 in the marginally-resolved regime shows that the novel pressure data-driven variational multiscale ROM yields significantly more accurate velocity and pressure approximations than the standard ROM and, more importantly, than the original data-driven variational multiscale ROM (i.e., without pressure components). In particular, our numerical results show that adding the closure/correction term in the momentum equation significantly improves both the velocity and the pressure approximations, whereas adding the closure/correction term in the continuity equation improves only the pressure approximation.


title: Space-time resolved quantum field approach to Klein tunneling dynamics across a finite barrier

abstract: We investigate Klein tunneling through finite potential barriers with space-time resolved solutions to relativistic quantum field equations. We find that no particle actually tunnels through a finite supercritical barrier, even in the case of resonant tunneling. The transmission is instead mediated by modulations in pair production rates, at each edge of the barrier, caused by the incoming electron. We further examine the effect of the barrier's width on the numbers of produced pairs in the fermionic case (characterized by saturation) and in the bosonic case (characterized by exponential superradiance). This work paves the way to precise studies of the radiating dynamics of supercritical barriers, and could be applied to certain analogs of Klein tunneling observed in systems modeled by relativistic wave equations.


title: Nonlinear anomalous Hall effects probe topological phase-transitions in twisted double bilayer graphene

abstract: Nonlinear anomalous Hall effect is the Berry curvature dipole induced second-order Hall voltage or temperature difference in response to a longitudinal electric field or temperature gradient. These are the prominent Hall responses in time reversal symmetric systems. Here, we investigate the family of second-order nonlinear anomalous Hall effects, the electrical, thermoelectric and thermal nonlinear Hall effects in the moir\'e system of twisted double bilayer graphene. We demonstrate that the nonlinear anomalous Hall signals can be used to probe the topological phase-transitions in moir\'e systems, induced by a perpendicular electric field. Specifically, we show that the whole family of nonlinear anomalous Hall responses undergo a sign reversal across a topological phase-transition.


title: Towards Supporting Intelligence in 5G/6G Core Networks: NWDAF Implementation and Initial Analysis

abstract: Wireless networks, in the fifth-generation and beyond, must support diverse network applications which will support the numerous and demanding connections of today's and tomorrow's devices. Requirements such as high data rates, low latencies, and reliability are crucial considerations and artificial intelligence is incorporated to achieve these requirements for a large number of connected devices. Specifically, intelligent methods and frameworks for advanced analysis are employed by the 5G Core Network Data Analytics Function (NWDAF) to detect patterns and ascribe detailed action information to accommodate end users and improve network performance. To this end, the work presented in this paper incorporates a functional NWDAF into a 5G network developed using open source software. Furthermore, an analysis of the network data collected by the NWDAF and the valuable insights which can be drawn from it have been presented with detailed Network Function interactions. An example application of such insights used for intelligent network management is outlined. Finally, the expected limitations of 5G networks are discussed as motivation for the development of 6G networks.


title: Digital quantum simulation of an extended Agassi model: Using machine learning to disentangle its phase-diagram

abstract: A digital quantum simulation for the extended Agassi model is proposed using a quantum platform with eight trapped ions. The extended Agassi model is an analytically solvable model including both short range pairing and long range monopole-monopole interactions with applications in nuclear physics and in other many-body systems. In addition, it owns a rich phase diagram with different phases and the corresponding phase transition surfaces. The aim of this work is twofold: on one hand, to propose a quantum simulation of the model at the present limits of the trapped ions facilities and, on the other hand, to show how to use a machine learning algorithm on top of the quantum simulation to accurately determine the phase of the system. Concerning the quantum simulation, this proposal is scalable with polynomial resources to larger Agassi systems. Digital quantum simulations of nuclear physics models assisted by machine learning may enable one to outperform the fastest classical computers in determining fundamental aspects of nuclear matter.


title: Anomalous Transport Signatures in Weyl Semimetals with Point Defects

abstract: We present the first theoretical study of transport properties of Weyl semimetals with point defects. Focusing on a class of time-reversal symmetric Weyl lattice models, we show that dilute lattice vacancies induce a finite density of quasi-localized states at and near the nodal energy, causing strong modifications to the low-energy spectrum. This generates novel transport effects, namely (i) an oscillatory behaviour of the dc-conductivity with the charge carrier density in the absence of magnetic fields, and (ii) a plateau-shaped dissipative optical response for photon frequencies below the inter-band threshold, $E_{F}\!\lesssim\!\hbar\omega\!\lesssim\!2E_{F}$.Our results provide a path to engineer unconventional quantum transport effects in Weyl semimetals by means of common point defects.


title: Mixed-Effect Thompson Sampling

abstract: A contextual bandit is a popular framework for online learning to act under uncertainty. In practice, the number of actions is huge and their expected rewards are correlated. In this work, we introduce a general framework for capturing such correlations through a mixed-effect model where actions are related through multiple shared effect parameters. To explore efficiently using this structure, we propose Mixed-Effect Thompson Sampling (meTS) and bound its Bayes regret. The regret bound has two terms, one for learning the action parameters and the other for learning the shared effect parameters. The terms reflect the structure of our model and the quality of priors. Our theoretical findings are validated empirically using both synthetic and real-world problems. We also propose numerous extensions of practical interest. While they do not come with guarantees, they perform well empirically and show the generality of the proposed framework.


title: Impact of Population III homogeneous stellar evolution on early cosmic reionisation

abstract: Context: Population III (Pop III) stars may be fast rotating. An expected consequence of fast rotation is strong internal mixing that deeply affects their evolutionary tracks in the Hertzsprung-Russell diagram and hence their ionising power. aims: We investigate the impact on the ionising power of Pop III stars in an extreme case of internal mixing, the one leading to chemically homogeneous evolution (CHE). In that situation, during the main sequence phase, the star keeps the same chemical composition from its center to its surface. Homogeneous stars have larger effective temperatures and luminosities than stars evolving non-homogeneously and thus are stronger ionising sources. Methods: The stellar evolution models are based on $n=3$ polytropes with a time varying hydrogen mass fraction. The ionisation model employs the self-similar champagne flow solution from Shu et al. (2002), as well as numerical simulations for the stochastic treatment of star clusters over a grid of redshifts and halo masses. Results: We find that haloes containing chemically homogeneous stars have an escape fraction of ionising photons about twice that of haloes containing classical Pop III stars. By extrapolating the high-$z$ ionisation history powered by Pop III stars (at $z\gtrsim 15$) to the post-reionisation epoch, we derive the Thomson scattering optical depth $\tau$, which is compared with the value measured by $\textit{Planck}$. We find that $\tau$ is overproduced by $\sim1.5- 5\sigma$, when all Pop III stars evolve homogeneously. This indicates that CHE is unlikely to be realised in the majority of Pop III stars, although the present study cannot exclude that a fraction of them undergoes CHE. Conclusions: Fast rotation might have a significant impact on the ionising budget of Pop III stars, and thus on early cosmic reionisation.


title: Elastic Monte Carlo Tree Search with State Abstraction for Strategy Game Playing

abstract: Strategy video games challenge AI agents with their combinatorial search space caused by complex game elements. State abstraction is a popular technique that reduces the state space complexity. However, current state abstraction methods for games depend on domain knowledge, making their application to new games expensive. State abstraction methods that require no domain knowledge are studied extensively in the planning domain. However, no evidence shows they scale well with the complexity of strategy games. In this paper, we propose Elastic MCTS, an algorithm that uses state abstraction to play strategy games. In Elastic MCTS, the nodes of the tree are clustered dynamically, first grouped together progressively by state abstraction, and then separated when an iteration threshold is reached. The elastic changes benefit from efficient searching brought by state abstraction but avoid the negative influence of using state abstraction for the whole search. To evaluate our method, we make use of the general strategy games platform Stratega to generate scenarios of varying complexity. Results show that Elastic MCTS outperforms MCTS baselines with a large margin, while reducing the tree size by a factor of $10$. Code can be found at: https://github.com/egg-west/Stratega


title: Universal Deep GNNs: Rethinking Residual Connection in GNNs from a Path Decomposition Perspective for Preventing the Over-smoothing

abstract: The performance of GNNs degrades as they become deeper due to the over-smoothing. Among all the attempts to prevent over-smoothing, residual connection is one of the promising methods due to its simplicity. However, recent studies have shown that GNNs with residual connections only slightly slow down the degeneration. The reason why residual connections fail in GNNs is still unknown. In this paper, we investigate the forward and backward behavior of GNNs with residual connections from a novel path decomposition perspective. We find that the recursive aggregation of the median length paths from the binomial distribution of residual connection paths dominates output representation, resulting in over-smoothing as GNNs go deeper. Entangled propagation and weight matrices cause gradient smoothing and prevent GNNs with residual connections from optimizing to the identity mapping. Based on these findings, we present a Universal Deep GNNs (UDGNN) framework with cold-start adaptive residual connections (DRIVE) and feedforward modules. Extensive experiments demonstrate the effectiveness of our method, which achieves state-of-the-art results over non-smooth heterophily datasets by simply stacking standard GNNs.


title: Level Up with RealAEs: Leveraging Domain Constraints in Feature Space to Strengthen Robustness of Android Malware Detection

abstract: The vulnerability to adversarial examples remains one major obstacle for Machine Learning (ML)-based Android malware detection. Realistic attacks in the Android malware domain create Realizable Adversarial Examples (RealAEs), i.e., AEs that satisfy the domain constraints of Android malware. Recent studies have shown that using such RealAEs in Adversarial Training (AT) is more effective in defending against realistic attacks than using unrealizable AEs (unRealAEs). This is because RealAEs allow defenders to explore certain pockets in the feature space that are vulnerable to realistic attacks. However, existing defenses commonly generate RealAEs in the problem space, which is known to be time-consuming and impractical for AT. In this paper, we propose to generate RealAEs in the feature space, leading to a simpler and more efficient solution. Our approach is driven by a novel interpretation of Android domain constraints in the feature space. More concretely, our defense first learns feature-space domain constraints by extracting meaningful feature dependencies from data and then applies them to generating feature-space RealAEs during AT. Extensive experiments on DREBIN, a well-known Android malware detector, demonstrate that our new defense outperforms not only unRealAE-based AT but also the state-of-the-art defense that relies on non-uniform perturbations. We further validate the ability of our learned feature-space domain constraints in representing Android malware properties by showing that our feature-space domain constraints can help distinguish RealAEs from unRealAEs.


title: On the SCD semismooth* Newton method for generalized equations with application to a class of static contact problems with Coulomb friction

abstract: In the paper, a variant of the \ssstar Newton method is developed for the numerical solution of generalized equations, in which the multi-valued part is a so-called SCD (subspace containing derivative) mapping. Under a rather mild regularity requirement, the method exhibits (locally) superlinear convergence behavior. From the main conceptual algorithm, two implementable variants are derived whose efficiency is tested via a generalized equation modeling a discretized static contact problem with Coulomb friction.


title: Why Adversarial Training of ReLU Networks Is Difficult?

abstract: This paper mathematically derives an analytic solution of the adversarial perturbation on a ReLU network, and theoretically explains the difficulty of adversarial training. Specifically, we formulate the dynamics of the adversarial perturbation generated by the multi-step attack, which shows that the adversarial perturbation tends to strengthen eigenvectors corresponding to a few top-ranked eigenvalues of the Hessian matrix of the loss w.r.t. the input. We also prove that adversarial training tends to strengthen the influence of unconfident input samples with large gradient norms in an exponential manner. Besides, we find that adversarial training strengthens the influence of the Hessian matrix of the loss w.r.t. network parameters, which makes the adversarial training more likely to oscillate along directions of a few samples, and boosts the difficulty of adversarial training. Crucially, our proofs provide a unified explanation for previous findings in understanding adversarial training.


title: Goal-Oriented A-Posteriori Estimation of Model Error as an Aid to Parameter Estimation

abstract: In this work, a Bayesian model calibration framework is presented that utilizes goal-oriented a-posterior error estimates in quantities of interest (QoIs) for classes of high-fidelity models characterized by PDEs. It is shown that for a large class of computational models, it is possible to develop a computationally inexpensive procedure for calibrating parameters of high-fidelity models of physical events when the parameters of low-fidelity (surrogate) models are known with acceptable accuracy. The main ingredients in the proposed model calibration scheme are goal-oriented a-posteriori estimates of error in QoIs computed using a so-called lower fidelity model compared to those of an uncalibrated higher fidelity model. The estimates of error in QoIs are used to define likelihood functions in Bayesian inversion analysis. A standard Bayesian approach is employed to compute the posterior distribution of model parameters of high-fidelity models. As applications, parameters in a quasi-linear second-order elliptic boundary-value problem (BVP) are calibrated using a second-order linear elliptic BVP. In a second application, parameters of a tumor growth model involving nonlinear time-dependent PDEs are calibrated using a lower fidelity linear tumor growth model with known parameter values.


title: 1MP and MP1 inverses and one-sided star orders in a ring with involution

abstract: The classes of 1MP-inverses and MP1-inverses are recently introduced classes of generalized inverses of complex matrix. Actually, they coincide with the classes of $\{1,2,3\}$ and $\{1,2,4\}$ inverses, respectively. We consider these inverses in the context of a ring with involution and prove that their most important characterizations and properties remain true. We show that the binary relations based on these inverses are in fact the well known left-star and right-star partial orders. We extend these relations to the ring case, connect them with the unified theory of partial order relations based on generalized inverses and provide several properties. Finally, we indicate how these results can be applied to bounded Hilbert space operators.


title: Compressing and Comparing the Generative Spaces of Procedural Content Generators

abstract: The past decade has seen a rapid increase in the level of research interest in procedural content generation (PCG) for digital games, and there are now numerous research avenues focused on new approaches for driving and applying PCG systems. An area in which progress has been comparatively slow is the development of generalisable approaches for comparing alternative PCG systems, especially in terms of their generative spaces. It is to this area that this paper aims to make a contribution, by exploring the utility of data compression algorithms in compressing the generative spaces of PCG systems. We hope that this approach could be the basis for developing useful qualitative tools for comparing PCG systems to help designers better understand and optimize their generators. In this work we assess the efficacy of a selection of algorithms across sets of levels for 2D tile-based games by investigating how much their respective generative space compressions correlate with level behavioral characteristics. We conclude that the approach looks to be a promising one despite some inconsistency in efficacy in alternative domains, and that of the algorithms tested Multiple Correspondence Analysis appears to perform the most effectively.


title: Ca II Triplet Spectroscopy of Small Magellanic Cloud Red Giants. VI. Analysis of chemical properties of the Main Body

abstract: We derived radial velocities and CaT metallicity of more than 150 red giants stars in six SMC star clusters and their surrounding fields, with the instrument GMOS on GEMINI-S. The mean cluster radial velocity and metallicity were obtained with mean errors of 2.2 km\,s$^{-1}$ and 0.03 dex, while the mean field metallicities have a mean error of 0.13 dex. We add this information to that available for another 51 clusters and 30 fields with CaT metallicities on the same scale. Using this expanded sample we analize the chemical properties of the SMC Main Body, defined as the inner 3.4 degrees in semimajor axis. We found a high probability that the metallicity distribution of the Main Body clusters is bimodal with a metal-rich and a metal-poor cluster group, having mean metallicities with a dispersion of $\mu = -0.80$, $\sigma = 0.06$ and $\mu = -1.15$, $\sigma = 0.10$ dex, respectively. On the other hand, Main Body field stars show a unimodal metallicity distribution peaking at $[Fe/H] \sim -1$ and dispersion of $0.3$. Neither metal-rich nor metal-poor clusters present a metallicity gradient. However the full Main Body cluster sample and field stars have a negative metallicity gradient consistent with each other, but the one corresponding to clusters has a large error due to the large metallicity dispersion present in the clusters studied in that region. Metal-rich clusters present a clear age-metallicity relation, while metal-poor clusters present no chemical enrichment throughout the life of the galaxy. We present observational evidence that the chemical enrichment is complex in the SMC Main Body. Two cluster groups with potential different origins could be coexisting in the Main Body. More data with precise and homogeneous metallicities and distances are needed and dynamical simulations are required to understand possible different origins for the two possible cluster groups.


title: Group Probability-Weighted Tree Sums for Interpretable Modeling of Heterogeneous Data

abstract: Machine learning in high-stakes domains, such as healthcare, faces two critical challenges: (1) generalizing to diverse data distributions given limited training data while (2) maintaining interpretability. To address these challenges, we propose an instance-weighted tree-sum method that effectively pools data across diverse groups to output a concise, rule-based model. Given distinct groups of instances in a dataset (e.g., medical patients grouped by age or treatment site), our method first estimates group membership probabilities for each instance. Then, it uses these estimates as instance weights in FIGS (Tan et al. 2022), to grow a set of decision trees whose values sum to the final prediction. We call this new method Group Probability-Weighted Tree Sums (G-FIGS). G-FIGS achieves state-of-the-art prediction performance on important clinical datasets; e.g., holding the level of sensitivity fixed at 92%, G-FIGS increases specificity for identifying cervical spine injury by up to 10% over CART and up to 3% over FIGS alone, with larger gains at higher sensitivity levels. By keeping the total number of rules below 16 in FIGS, the final models remain interpretable, and we find that their rules match medical domain expertise. All code, data, and models are released on Github.


title: Optimal Gradient Sliding and its Application to Distributed Optimization Under Similarity

abstract: We study structured convex optimization problems, with additive objective $r:=p + q$, where $r$ is ($\mu$-strongly) convex, $q$ is $L_q$-smooth and convex, and $p$ is $L_p$-smooth, possibly nonconvex. For such a class of problems, we proposed an inexact accelerated gradient sliding method that can skip the gradient computation for one of these components while still achieving optimal complexity of gradient calls of $p$ and $q$, that is, $\mathcal{O}(\sqrt{L_p/\mu})$ and $\mathcal{O}(\sqrt{L_q/\mu})$, respectively. This result is much sharper than the classic black-box complexity $\mathcal{O}(\sqrt{(L_p+L_q)/\mu})$, especially when the difference between $L_q$ and $L_q$ is large. We then apply the proposed method to solve distributed optimization problems over master-worker architectures, under agents' function similarity, due to statistical data similarity or otherwise. The distributed algorithm achieves for the first time lower complexity bounds on {\it both} communication and local gradient calls, with the former having being a long-standing open problem. Finally the method is extended to distributed saddle-problems (under function similarity) by means of solving a class of variational inequalities, achieving lower communication and computation complexity bounds.


title: A Fast Gear-Shifting Actuator for Robotic Tasks with Contacts

abstract: Vehicle power-trains use a variable transmission (multiple gear-ratios) to minimize motor size and maximize efficiency while meeting a wide-range of operating points. Robots could similarly benefit from variable transmission to save weight and improve energy efficiency; leading to potentially groundbreaking improvements for mobile and wearable robotic systems. However, variable transmissions in a robotic context leads to new challenges regarding the gear-shifting methodology: 1) order-of-magnitude variations of reduction ratios are desired, and 2) contact situations during manipulation/locomotion tasks lead to impulsive behavior at the moment when gear-shifting is required. This paper present an actuator with a gear-shifting methodology that can seamlessly change between two very different reduction ratios during dynamic contact situations. Experimental results demonstrate the ability to execute a gear-shift from a 1:23 reduction to a 1:474 reduction in less than 30ms during contact with a rigid object.


title: Deciding Hyperproperties Combined with Functional Specifications

abstract: We study satisfiability for HyperLTL with a $\forall^*\exists^*$ quantifier prefix, known to be highly undecidable in general. HyperLTL can express system properties that relate multiple traces (so-called hyperproperties), which are often combined with trace properties that specify functional behavior on single traces. Following this conceptual split, we first define several safety and liveness fragments of $\forall^*\exists^*$ HyperLTL, and characterize the complexity of their (often much easier) satisfiability problem. We then add LTL trace properties as functional specifications. Though (highly) undecidable in many cases, this way of combining "simple" HyperLTL and arbitrary LTL also leads to interesting new decidable fragments. This systematic study of $\forall^*\exists^*$ fragments is complemented by a new (incomplete) algorithm for $\forall\exists^*$-HyperLTL satisfiability.


title: Detecting fake news by enhanced text representation with multi-EDU-structure awareness

abstract: Since fake news poses a serious threat to society and individuals, numerous studies have been brought by considering text, propagation and user profiles. Due to the data collection problem, these methods based on propagation and user profiles are less applicable in the early stages. A good alternative method is to detect news based on text as soon as they are released, and a lot of text-based methods were proposed, which usually utilized words, sentences or paragraphs as basic units. But, word is a too fine-grained unit to express coherent information well, sentence or paragraph is too coarse to show specific information. Which granularity is better and how to utilize it to enhance text representation for fake news detection are two key problems. In this paper, we introduce Elementary Discourse Unit (EDU) whose granularity is between word and sentence, and propose a multi-EDU-structure awareness model to improve text representation for fake news detection, namely EDU4FD. For the multi-EDU-structure awareness, we build the sequence-based EDU representations and the graph-based EDU representations. The former is gotten by modeling the coherence between consecutive EDUs with TextCNN that reflect the semantic coherence. For the latter, we first extract rhetorical relations to build the EDU dependency graph, which can show the global narrative logic and help deliver the main idea truthfully. Then a Relation Graph Attention Network (RGAT) is set to get the graph-based EDU representation. Finally, the two EDU representations are incorporated as the enhanced text representation for fake news detection, using a gated recursive unit combined with a global attention mechanism. Experiments on four cross-source fake news datasets show that our model outperforms the state-of-the-art text-based methods.


title: FiltPIM: In-Memory Filter for DNA Sequencing

abstract: Aligning the entire genome of an organism is a compute-intensive task. Pre-alignment filters substantially reduce computation complexity by filtering potential alignment locations. The base-count filter successfully removes over 68% of the potential locations through a histogram-based heuristic. This paper presents FiltPIM, an efficient design of the basecount filter that is based on memristive processing-in-memory. The in-memory design reduces CPU-to-memory data transfer and utilizes both intra-crossbar and inter-crossbar memristive stateful-logic parallelism. The reduction in data transfer and the efficient stateful-logic computation together improve filtering time by 100x compared to a CPU implementation of the filter.


title: Theme Aspect Argumentation Model for Handling Fallacies

abstract: From daily discussions to marketing ads to political statements, information manipulation is rife. It is increasingly more important that we have the right set of tools to defend ourselves from manipulative rhetoric, or fallacies. Suitable techniques to automatically identify fallacies are being investigated in natural language processing research. However, a fallacy in one context may not be a fallacy in another context, so there is also a need to explain how and why it has come to be judged a fallacy. For the explainable fallacy identification, we present a novel approach to characterising fallacies through formal constraints, as a viable alternative to more traditional fallacy classifications by informal criteria. To achieve this objective, we introduce a novel context-aware argumentation model, the theme aspect argumentation model, which can do both: the modelling of a given argumentation as it is expressed (rhetorical modelling); and a deeper semantic analysis of the rhetorical argumentation model. By identifying fallacies with formal constraints, it becomes possible to tell whether a fallacy lurks in the modelled rhetoric with a formal rigour. We present core formal constraints for the theme aspect argumentation model and then more formal constraints that improve its fallacy identification capability. We show and prove the consequences of these formal constraints. We then analyse the computational complexities of deciding the satisfiability of the constraints.


title: Special Properties of Gradient Descent with Large Learning Rates

abstract: When training neural networks, it has been widely observed that a large step size is essential in stochastic gradient descent (SGD) for obtaining superior models. However, the effect of large step sizes on the success of SGD is not well understood theoretically. Several previous works have attributed this success to the stochastic noise present in SGD. However, we show through a novel set of experiments that the stochastic noise is not sufficient to explain good non-convex training, and that instead the effect of a large learning rate itself is essential for obtaining best performance.We demonstrate the same effects also in the noise-less case, i.e. for full-batch GD. We formally prove that GD with large step size -- on certain non-convex function classes -- follows a different trajectory than GD with a small step size, which can lead to convergence to a global minimum instead of a local one. Our settings provide a framework for future analysis which allows comparing algorithms based on behaviors that can not be observed in the traditional settings.


title: On the dwarf irregular galaxy NGC 6822. I. Young, intermediate and old stellar populations

abstract: We present accurate and deep multi-band ($g,r,i$) photometry of the Local Group dwarf irregular galaxy NGC 6822. The images were collected with wide field cameras at 2m/4m- (INT,CTIO,CFHT) and 8m-class telescopes (SUBARU) covering a 2 square degrees FoV across the center of the galaxy. We performed PSF photometry of $\approx$7,000 CCD images and the final catalog includes more than 1 million objects. We developed a new approach to identify candidate field and galaxy stars, and performed a new estimate of the galaxy center by using old stellar tracers finding that it differs by 1.15 (RA) and 1.53 (DEC) arcmin from previous estimates. We also found that young (Main Sequence, Red Supergiants), intermediate (Red Clump, Asymptotic Giant Branch [AGB]) and old (Red Giant Branch [RGB]) stars display different radial distributions. Old stellar population is spherically distributed and extends to radial distances larger than previously estimated ($\sim$1 degree). The young population shows a well defined bar and a disk-like distribution, as suggested by radio measurements, that is off-center compared with old population. We discuss pros and cons of the different diagnostics adopted to identify AGB stars and develop new ones based on optical-NIR-MIR color-color diagrams (CCDs) to characterize Oxygen and Carbon (C) rich stars. We found a mean population ratio between Carbon and M-type (C/M) stars of 0.67$\pm$0.08 (optical/NIR/MIR) and we used the observed C/M ratio with empirical C/M-metallicity relations to estimate a mean iron abundance of [Fe/H]$\sim$-1.25 ($\sigma$=0.04 dex) that agrees quite well with literature estimates.


title: Invariant fields of rational functions and semilinear representations of symmetric groups over them

abstract: Let $K$ be a field and $G$ be a group of its automorphisms endowed with the compact-open topology. There are many situations, where it is natural to study the category $Sm_K(G)$ of smooth (i.e. with open stabilizers) $K$-semilinear representations of $G$. The category $Sm_K(G)$ is semisimple (in which case $K$ is a generator of $Sm_K(G)$) if and only if $G$ is precompact. In this note we study the case of the non-precompact group $G$ of all permutations of an infinite set $S$. It is shown that the categories $Sm_K(G)$ are locally noetherian; the morphisms are `locally split'. Given a field $F$ and a subfield $k\neq F$ algebraically closed in $F$, one of principal results describes the Gabriel spectra (and related objects) of the categories $Sm_K(G)$ for some of $G$-invariant subfields $K$ of the fraction field $F_{k,S}$ of the tensor product over $k$ of the labeled by $S$ copies of $F$. In particular, the object $F_{k,S}$ turns out to be an injective cogenerator of the category $Sm_K(G)$ for any $G$-invariant subfield $K$ of $F_{k,S}$. As an application, when transcendence degree of $F|k$ is 1, a correspondence between the $G$-invariant subfields of $F_{k,S}$ algebraically closed in $F_{k,S}$ and certain systems of isogenies of `generically $F$-pointed' torsors over absolutely irreducible one-dimensional algebraic $k$-groups is constructed, so far only in characteristic 0. The only irreducible finite-dimensional smooth representation of $G$ is trivial. However, there is an invariant `cross-ratio' subfield $K$ of $k(S)$ such that the irreducible finite-dimensional smooth $K$-semilinear representations of $G$ correspond to the irreducible algebraic representations of $PGL_{2,k}$. In general, any smooth $G$-field $K$ admits a smooth $G$-field extension $L|K$ such that $L$ is a cogenerator of $Sm_L(G)$.


title: Machine Learning Methods for Health-Index Prediction in Coating Chambers

abstract: Coating chambers create thin layers that improve the mechanical and optical surface properties in jewelry production using physical vapor deposition. In such a process, evaporated material condensates on the walls of such chambers and, over time, causes mechanical defects and unstable processes. As a result, manufacturers perform extensive maintenance procedures to reduce production loss. Current rule-based maintenance strategies neglect the impact of specific recipes and the actual condition of the vacuum chamber. Our overall goal is to predict the future condition of the coating chamber to allow cost and quality optimized maintenance of the equipment. This paper describes the derivation of a novel health indicator that serves as a step toward condition-based maintenance for coating chambers. We indirectly use gas emissions of the chamber's contamination to evaluate the machine's condition. Our approach relies on process data and does not require additional hardware installation. Further, we evaluated multiple machine learning algorithms for a condition-based forecast of the health indicator that also reflects production planning. Our results show that models based on decision trees are the most effective and outperform all three benchmarks, improving at least $0.22$ in the mean average error. Our work paves the way for cost and quality optimized maintenance of coating applications.


title: Batch Normalization Is Blind to the First and Second Derivatives of the Loss

abstract: In this paper, we prove the effects of the BN operation on the back-propagation of the first and second derivatives of the loss. When we do the Taylor series expansion of the loss function, we prove that the BN operation will block the influence of the first-order term and most influence of the second-order term of the loss. We also find that such a problem is caused by the standardization phase of the BN operation. Experimental results have verified our theoretical conclusions, and we have found that the BN operation significantly affects feature representations in specific tasks, where losses of different samples share similar analytic formulas.


title: Environmental Monitoring for Smart Cities

abstract: This work presents an innovative, multidisciplinary and cost-effective ecosystem of ICT solutions able to collect, process and distribute geo-referenced information about the influence of pollution and micro-climatic conditions on the quality of life in Smart Cities. The system has been developed and experimentally evaluated in the framework of the research project SHE, co-funded by the Tuscany Region (Italy). Specifically, an innovative monitoring network has been developed, constituted by fixed and mobile sensor nodes, which provided comparable measurements in stationary and mobile conditions. In addition, sensor data have been enriched with those generated by citizens through the use of a dedicated mobile application, exploiting participatory sensing and MSN paradigms.


title: Pseudo-effective classes on projective irreducible holomorphic symplectic manifolds

abstract: We show that Kov\'acs' result on the cone of curves of a K3 surface generalizes to any projective irreducible holomorphic symplectic (IHS) manifold $X$. In particular, we show that if $\rho(X)\geq 3$, the pseudo-effective cone $\overline{\mathrm{Eff}(X)}$ is either circular or equals $\overline{\sum_{E}\mathbb{R}^{\geq 0} [E]}$, where the sum runs over the prime exceptional divisors of $X$. The proof goes through hyperbolic geometry and the fact that (the image of) the Hodge monodromy group $\mathrm{Mon}^2_{\mathrm{Hdg}}(X)$ in $O^+(N^1(X))$ is of finite index. If $X$ belongs to one of the known deformation classes, carries a prime exceptional divisor $E$, and $\rho(X)\geq 3$, we explicitly construct another integral effective divisor, not numerically equivalent to $E$, with the same monodromy invariants to those of $E$. To conclude, we provide some consequences of the main result of the paper, for instance, we obtain the existence of uniruled divisors on certain primitive symplectic varieties.


title: Causal inference for temporal patterns

abstract: Complex dynamical systems are prevalent in many scientific disciplines. In the analysis of such systems two aspects are of particular interest: 1) the temporal patterns along which they evolve and 2) the underlying causal mechanisms. Time-series representations like discrete Fourier and wavelet transforms have been widely applied in order to obtain insights on the temporal structure of complex dynamical systems. Questions of cause and effect can be formalized in the causal inference framework. We propose an elementary and systematic approach to combine time-series representations with causal inference. Our method is based on a notion of causal effects from a cause on an effect process with respect to a pair of temporal patterns. In particular, our framework can be used to study causal effects in the frequency domain. We will see how our approach compares to the well known Granger Causality in the frequency domain. Furthermore, using a singular value decomposition we establish a representation of how one process drives another over a time-window of specified length in terms of temporal impulse-response patterns. To these we will refer to as Causal Orthogonal Functions (COF), a causal analogue of the temporal patterns derived with covariance-based multivariate Singular Spectrum Analysis (mSSA).


title: Principal Component Analysis based frameworks for efficient missing data imputation algorithms

abstract: Missing data is a commonly occurring problem in practice. Many imputation methods have been developed to fill in the missing entries. However, not all of them can scale to high-dimensional data, especially the multiple imputation techniques. Meanwhile, the data nowadays tends toward high-dimensional. Therefore, in this work, we propose Principal Component Analysis Imputation (PCAI), a simple but versatile framework based on Principal Component Analysis (PCA) to speed up the imputation process and alleviate memory issues of many available imputation techniques, without sacrificing the imputation quality in term of MSE. In addition, the frameworks can be used even when some or all of the missing features are categorical, or when the number of missing features is large. Next, we introduce PCA Imputation - Classification (PIC), an application of PCAI for classification problems with some adjustments. We validate our approach by experiments on various scenarios, which shows that PCAI and PIC can work with various imputation algorithms, including the state-of-the-art ones and improve the imputation speed significantly, while achieving competitive mean square error/classification accuracy compared to direct imputation (i.e., impute directly on the missing data).