title: Anisotropic flow and correlations between azimuthal anisotropy Fourier harmonics in Xe-Xe collisions at $\sqrt{s_{NN}}$ = 5.44 TeV under HYDJET++ framework

abstract: The study of anisotropic harmonic flow coefficients $ v_{n}$(n=2,3,4) is performed in Xe-Xe collisions at $\sqrt{s_{NN}}$ = 5.44 TeV under Monte Carlo HYDJET++ model (HYDrodynamics plus JETs) framework. Anisotropic flow of identified particles and correlation between the azimuthal harmonic flow amplitudes is presented. Here, we have considered body-body and tip-tip type of geometrical configurations for Xe-Xe collision systems. The kinematic ranges $|\eta|<0.8$, $0<p_{T}<5.0$ GeV/c, and $|\delta / \eta|> 2$ are considered. The results have been shown for seven classes of centrality and compared with the ALICE experimental data. The anisotropic flow of identified charged particles show a strong centrality dependence. Mass ordering is observed for $v_{2},v_{3}$ and $v_{4}$. Mass ordering is different for different ranges of transverse momentum $p_{T}$. Strong correlation is observed between $v_{3}-v_{2}$, $v_{4}-v_{2}$, and $v_{4}-v_{3}$. Such correlation is centrality dependent and is different in different centrality windows. The anisotropic flow coefficients show a clear dependence on the total charged particle multiplicity. HYDJET++ model justifies experimental data well enough.


title: Robust Online Convex Optimization in the Presence of Outliers

abstract: We consider online convex optimization when a number k of data points are outliers that may be corrupted. We model this by introducing the notion of robust regret, which measures the regret only on rounds that are not outliers. The aim for the learner is to achieve small robust regret, without knowing where the outliers are. If the outliers are chosen adversarially, we show that a simple filtering strategy on extreme gradients incurs O(k) additive overhead compared to the usual regret bounds, and that this is unimprovable, which means that k needs to be sublinear in the number of rounds. We further ask which additional assumptions would allow for a linear number of outliers. It turns out that the usual benign cases of independently, identically distributed (i.i.d.) observations or strongly convex losses are not sufficient. However, combining i.i.d. observations with the assumption that outliers are those observations that are in an extreme quantile of the distribution, does lead to sublinear robust regret, even though the expected number of outliers is linear.


title: Kapitsa pendulum effects in Josephson junction + nanomagnet under external periodic drive

abstract: We investigate reorientation effects under external periodic drive in the nanomagnet dynamics coupled to a Josephson junction. The Kapitsa pendulum is introduced as a mechanical analog to this system and we demonstrate the reorientation of the easy axis of the nanomagnet. The magnetic field generated by the Josephson junction and external drive plays the role of the oscillating force of the suspension point in the Kapitsa pendulum. The high frequency oscillations change the orientation of the magnetic moment. The magnetic field of the quasiparticle current determines the frequency dependence of the magnetic moment's orientation. We obtain simple analytical formulas for the stable position of the magnetic moment, both under the external periodic drive and without it. The influence of external periodic drive on the voltage of complete reorientation have been demonstrated.


title: A Theory of Higher-Order Subtyping with Type Intervals (Extended Version)

abstract: The calculus of Dependent Object Types (DOT) has enabled a more principled and robust implementation of Scala, but its support for type-level computation has proven insufficient. As a remedy, we propose $F^\omega_{..}$, a rigorous theoretical foundation for Scala's higher-kinded types. $F^\omega_{..}$ extends $F^\omega_{<:}$ with interval kinds, which afford a unified treatment of important type- and kind-level abstraction mechanisms found in Scala, such as bounded quantification, bounded operator abstractions, translucent type definitions and first-class subtyping constraints. The result is a flexible and general theory of higher-order subtyping. We prove type and kind safety of $F^\omega_{..}$, as well as weak normalization of types and undecidability of subtyping. All our proofs are mechanized in Agda using a fully syntactic approach based on hereditary substitution.


title: Online and Offline Robot Programming via Augmented Reality Workspaces

abstract: Robot programming methods for industrial robots are time consuming and often require operators to have knowledge in robotics and programming. To reduce costs associated with reprogramming, various interfaces using augmented reality have recently been proposed to provide users with more intuitive means of controlling robots in real-time and programming them without having to code. However, most solutions require the operator to be close to the real robot's workspace which implies either removing it from the production line or shutting down the whole production line due to safety hazards. We propose a novel augmented reality interface providing the users with the ability to model a virtual representation of a workspace which can be saved and reused to program new tasks or adapt old ones without having to be co-located with the real robot. Similar to previous interfaces, the operators then have the ability to program robot tasks or control the robot in real-time by manipulating a virtual robot. We evaluate the intuitiveness and usability of the proposed interface with a user study where 18 participants programmed a robot manipulator for a disassembly task.


title: PRNU Based Source Camera Identification for Webcam Videos

abstract: This communication is about an application of image forensics where we use camera sensor fingerprints to identify source camera (SCI: Source Camera Identification) in webcam videos. Sensor or camera fingerprints are based on computing the intrinsic noise that is always present in this kind of sensors due to manufacturing imperfections. This is an unavoidable characteristic that links each sensor with its noise pattern. PRNU (Photo Response Non-Uniformity) has become the default technique to compute a camera fingerprint. There are many applications nowadays dealing with PRNU patterns for camera identification using still images. In this work we focus on video, more specifically on webcam video, because of the great importance of webcam video nowadays. Three possible methods for SCI are implemented and assessed in this work.


title: Self-Contrastive Learning with Hard Negative Sampling for Self-supervised Point Cloud Learning

abstract: Point clouds have attracted increasing attention. Significant progress has been made in methods for point cloud analysis, which often requires costly human annotation as supervision. To address this issue, we propose a novel self-contrastive learning for self-supervised point cloud representation learning, aiming to capture both local geometric patterns and nonlocal semantic primitives based on the nonlocal self-similarity of point clouds. The contributions are two-fold: on the one hand, instead of contrasting among different point clouds as commonly employed in contrastive learning, we exploit self-similar point cloud patches within a single point cloud as positive samples and otherwise negative ones to facilitate the task of contrastive learning. On the other hand, we actively learn hard negative samples that are close to positive samples for discriminative feature learning. Experimental results show that the proposed method achieves state-of-the-art performance on widely used benchmark datasets for self-supervised point cloud segmentation and transfer learning for classification.


title: An Analytical Survey on Recent Trends in High Dimensional Data Visualization

abstract: Data visualization is the process by which data of any size or dimensionality is processed to produce an understandable set of data in a lower dimensionality, allowing it to be manipulated and understood more easily by people. The goal of our paper is to survey the performance of current high-dimensional data visualization techniques and quantify their strengths and weaknesses through relevant quantitative measures, including runtime, memory usage, clustering quality, separation quality, global structure preservation, and local structure preservation. To perform the analysis, we select a subset of state-of-the-art methods. Our work shows how the selected algorithms produce embeddings with unique qualities that lend themselves towards certain tasks, and how each of these algorithms are constrained by compute resources.


title: Thesis manuscript: Projective and complex billiards, periodic orbits and Pfaffian systems

abstract: This document is the manuscript of Corentin Fierobe's thesis about the billiard as a dynamical system. The first pages (title, introduction) are in French, but the rest of the document is in English.


title: OPA: Object Placement Assessment Dataset

abstract: Image composition aims to generate realistic composite image by inserting an object from one image into another background image, where the placement (e.g., location, size, occlusion) of inserted object may be unreasonable, which would significantly degrade the quality of the composite image. Although some works attempted to learn object placement to create realistic composite images, they did not focus on assessing the plausibility of object placement. In this paper, we focus on object placement assessment task, which verifies whether a composite image is plausible in terms of the object placement. To accomplish this task, we construct the first Object Placement Assessment (OPA) dataset consisting of composite images and their rationality labels. We also propose a simple yet effective baseline for this task. Dataset is available at https://github.com/bcmi/Object-Placement-Assessment-Dataset-OPA.


title: Influence of rotation on axisymmetric plasma equilibria: double-null DTT scenario

abstract: We study the dependence of some relevant tokamak equilibrium quantities on the toroidal plasma rotation. The Grad-Shafranov equation generalised to the rotating case is analytically solved employing two different representations for the homogenous solution. Using an expression in terms of polynomials, we describe the separatrix shape by a few geometrical parameters, reproducing different plasma scenarios such as double-null and inverse triangularity. In this setting, the introduction of toroidal rotation corresponds to variations on relevant plasma quantities, most notably an enhancement of the poloidal beta. Using a more general expression in terms of Bessel functions, we reconstruct the full plasma boundary of the double-null configuration proposed for the upcoming DTT experiment, demonstrating how said configuration is compatible with different values of the plasma velocity.


title: Probabilistic photo-z machine learning models for X-ray sky surveys

abstract: Accurate photo-z measurements are important to construct a large-scale structure map of X-ray Universe in the ongoing SRG/eROSITA All-Sky Survey. We present machine learning Random Forest-based models for probabilistic photo-z predictions based on information from 4 large photometric surveys (SDSS, Pan-STARRS, DESI Legacy Imaging Survey, and WISE). Our models are trained on the large sample of $\approx$580000 quasars and galaxies selected from the SDSS DR14 spectral catalog and take into account Galactic extinction and uncertainties in photometric measurements for target objects. On the Stripe82X test sample we obtained photo-z accuracy for X-ray sources: $NMAD=0.034$ (normalized median absolute deviation) and $n_{>0.15}=0.088$ (catastrophic outliers fraction), which is almost $\sim2$ times better than best photo-z results available in the literature.


title: NOTE: Solution for KDD-CUP 2021 WikiKG90M-LSC

abstract: WikiKG90M in KDD Cup 2021 is a large encyclopedic knowledge graph, which could benefit various downstream applications such as question answering and recommender systems. Participants are invited to complete the knowledge graph by predicting missing triplets. Recent representation learning methods have achieved great success on standard datasets like FB15k-237. Thus, we train the advanced algorithms in different domains to learn the triplets, including OTE, QuatE, RotatE and TransE. Significantly, we modified OTE into NOTE (short for Norm-OTE) for better performance. Besides, we use both the DeepWalk and the post-smoothing technique to capture the graph structure for supplementation. In addition to the representations, we also use various statistical probabilities among the head entities, the relations and the tail entities for the final prediction. Experimental results show that the ensemble of state-of-the-art representation learning methods could draw on each others strengths. And we develop feature engineering from validation candidates for further improvements. Please note that we apply the same strategy on the test set for final inference. And these features may not be practical in the real world when considering ranking against all the entities.


title: Combining Orthology and Xenology Data in a Common Phylogenetic Tree

abstract: A rooted tree $T$ with vertex labels $t(v)$ and set-valued edge labels $\lambda(e)$ defines maps $\delta$ and $\varepsilon$ on the pairs of leaves of $T$ by setting $\delta(x,y)=q$ if the last common ancestor $\text{lca}(x,y)$ of $x$ and $y$ is labeled $q$, and $m\in \varepsilon(x,y)$ if $m\in\lambda(e)$ for at least one edge $e$ along the path from $\text{lca}(x,y)$ to $y$. We show that a pair of maps $(\delta,\varepsilon)$ derives from a tree $(T,t,\lambda)$ if and only if there exists a common refinement of the (unique) least-resolved vertex labeled tree $(T_{\delta},t_{\delta})$ that explains $\delta$ and the (unique) least resolved edge labeled tree $(T_{\varepsilon},\lambda_{\varepsilon})$ that explains $\varepsilon$ (provided both trees exist). This result remains true if certain combinations of labels at incident vertices and edges are forbidden.


title: Automated Recovery of Issue-Commit Links Leveraging Both Textual and Non-textual Data

abstract: An issue documents discussions around required changes in issue-tracking systems, while a commit contains the change itself in the version control systems. Recovering links between issues and commits can facilitate many software evolution tasks such as bug localization, and software documentation. A previous study on over half a million issues from GitHub reports only about 42.2% of issues are manually linked by developers to their pertinent commits. Automating the linking of commit-issue pairs can contribute to the improvement of the said tasks. By far, current state-of-the-art approaches for automated commit-issue linking suffer from low precision, leading to unreliable results, sometimes to the point that imposes human supervision on the predicted links. The low performance gets even more severe when there is a lack of textual information in either commits or issues. Current approaches are also proven computationally expensive. We propose Hybrid-Linker to overcome such limitations by exploiting two information channels; (1) a non-textual-based component that operates on non-textual, automatically recorded information of the commit-issue pairs to predict a link, and (2) a textual-based one which does the same using textual information of the commit-issue pairs. Then, combining the results from the two classifiers, Hybrid-Linker makes the final prediction. Thus, every time one component falls short in predicting a link, the other component fills the gap and improves the results. We evaluate Hybrid-Linker against competing approaches, namely FRLink and DeepLink on a dataset of 12 projects. Hybrid-Linker achieves 90.1%, 87.8%, and 88.9% based on recall, precision, and F-measure, respectively. It also outperforms FRLink and DeepLink by 31.3%, and 41.3%, regarding the F-measure. Moreover, Hybrid-Linker exhibits extensive improvements in terms of performance as well.


title: Optimizing the Numbers of Queries and Replies in Federated Learning with Differential Privacy

abstract: Federated learning (FL) empowers distributed clients to collaboratively train a shared machine learning model through exchanging parameter information. Despite the fact that FL can protect clients' raw data, malicious users can still crack original data with disclosed parameters. To amend this flaw, differential privacy (DP) is incorporated into FL clients to disturb original parameters, which however can significantly impair the accuracy of the trained model. In this work, we study a crucial question which has been vastly overlooked by existing works: what are the optimal numbers of queries and replies in FL with DP so that the final model accuracy is maximized. In FL, the parameter server (PS) needs to query participating clients for multiple global iterations to complete training. Each client responds a query from the PS by conducting a local iteration. Our work investigates how many times the PS should query clients and how many times each client should reply the PS. We investigate two most extensively used DP mechanisms (i.e., the Laplace mechanism and Gaussian mechanisms). Through conducting convergence rate analysis, we can determine the optimal numbers of queries and replies in FL with DP so that the final model accuracy can be maximized. Finally, extensive experiments are conducted with publicly available datasets: MNIST and FEMNIST, to verify our analysis and the results demonstrate that properly setting the numbers of queries and replies can significantly improve the final model accuracy in FL with DP.


title: The basepoint-freeness threshold of a very general abelian surface

abstract: For abelian surfaces of Picard rank 1, we perform explicit computations of the cohomological rank functions of the ideal sheaf of one point, and in particular of the basepoint-freeness threshold. Our main tool is the relation between cohomological rank functions and Bridgeland stability. In virtue of recent results of Caucci and Ito, these computations provide new information on the syzygies of polarized abelian surfaces.


title: Extensions of ADMM for Separable Convex Optimization Problems with Linear Equality or Inequality Constraints

abstract: The alternating direction method of multipliers (ADMM) proposed by Glowinski and Marrocco is a benchmark algorithm for two-block separable convex optimization problems with linear equality constraints. It has been modified, specified, and generalized from various perspectives to tackle more concrete or complicated application problems. Despite its versatility and phenomenal popularity, it remains unknown whether or not the ADMM can be extended to separable convex optimization problems with linear inequality constraints. In this paper, we lay down the foundation of how to extend the ADMM to two-block and multiple-block (more than two blocks) separable convex optimization problems with linear inequality constraints. From a high-level and methodological perspective, we propose a unified framework of algorithmic design and a roadmap for convergence analysis in the context of variational inequalities, based on which it is possible to design a series of concrete ADMM-based algorithms with provable convergence in the prediction-correction structure. The proposed algorithmic framework and roadmap for convergence analysis are eligible to various convex optimization problems with different degrees of separability, in which both linear equality and linear inequality constraints can be included. The analysis is comprehensive yet can be presented by elementary mathematics, and hence generically understandable.


title: Three-Dimensional Stationary Spherically Symmetric Stellar Dynamic Models DEpending on Local Energy

abstract: Three-Dimensional Stationary Spherically Symmetric Stellar Dynamic Models Depending on the Local Energy. Juergen Batt, Enno Joern, Alexander L. Skubachevskii The stellar dynamic models considered here are triples (f,rho,U) of three functions: the distribution function f=f(r,u), the local density rho=rho(r) and the Newtonian potential U=U(r), where r:=|x|, u:=|v| ((x,v) in R^3xR^3 are the space-velocity coordinates), and f is a function q of the local energy E=U(r)+u^2/2. Our first result is an answer to the following question: Given a (positive) function p=p(r) on a bounded interval [0,R], how can one recognize p as the local density of a stellar dynamic model of the given type ("inverse problem")? If this is the case, we say that p is "extendable" (to a complete stellar dynamic model). Assuming that p is strictly decreasing, we reveal the connection between p and F, which appears in the nonlinear integral equation p=FU[p] and the solvability of Eddington's equation between F and q. Second, we investigate the following question ("direct problem"): Which q induce distribution functions f of the form f=q(-E(r,u)-E0) of a stellar dynamic model? This leads to the investigation of the nonlinear equation p=FU[p] in an approximate and constructive way by mainly numerical methods. The paper extends preceding work on flat galaxies to the three-dimensional case. In particular, the present answer to the extendability problem is completely different as in [1]. The present paper also opens the way to further explicit solutions of the Vlasov-Poisson system beyond the classical known examples which are for instant given in [4]. Keywords: Vlasov-Poisson system, stationary solutions, numerical approximation, mathematical physic, galaxy astrophysics.


title: Ray-ONet: Efficient 3D Reconstruction From A Single RGB Image

abstract: We propose Ray-ONet to reconstruct detailed 3D models from monocular images efficiently. By predicting a series of occupancy probabilities along a ray that is back-projected from a pixel in the camera coordinate, our method Ray-ONet improves the reconstruction accuracy in comparison with Occupancy Networks (ONet), while reducing the network inference complexity to O($N^2$). As a result, Ray-ONet achieves state-of-the-art performance on the ShapeNet benchmark with more than 20$\times$ speed-up at $128^3$ resolution and maintains a similar memory footprint during inference.


title: On The Distribution of Penultimate Activations of Classification Networks

abstract: This paper studies probability distributions of penultimate activations of classification networks. We show that, when a classification network is trained with the cross-entropy loss, its final classification layer forms a Generative-Discriminative pair with a generative classifier based on a specific distribution of penultimate activations. More importantly, the distribution is parameterized by the weights of the final fully-connected layer, and can be considered as a generative model that synthesizes the penultimate activations without feeding input data. We empirically demonstrate that this generative model enables stable knowledge distillation in the presence of domain shift, and can transfer knowledge from a classifier to variational autoencoders and generative adversarial networks for class-conditional image generation.


title: Space-Time Duality between Quantum Chaos and Non-Hermitian Boundary Effect

abstract: Quantum chaos in hermitian systems concerns the sensitivity of long-time dynamical evolution to initial conditions. The skin effect discovered recently in non-hermitian systems reveals the sensitivity to the spatial boundary condition even deeply in bulk. In this letter, we show that these two seemingly different phenomena can be unified through space-time duality. The intuition is that the space-time duality maps unitary dynamics to non-unitary dynamics and exchanges the temporal direction and spatial direction. Therefore, the space-time duality can establish the connection between the sensitivity to the initial condition in the temporal direction and the sensitivity to the boundary condition in the spatial direction. Here we demonstrate this connection by studying the space-time duality of the out-of-time-ordered commutator in a concrete chaotic hermitian model. We show that the out-of-time-ordered commutator is mapped to a special two-point correlator in a non-hermitian system in the dual picture. For comparison, we show that this sensitivity disappears when the non-hermiticity is removed in the dual picture.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.stat-mech hep-th quant-ph


title: Micromotion minimization using Ramsey interferometry

abstract: We minimize the stray electric field in a linear Paul trap quickly and accurately, by applying interferometry pulse sequences to a trapped ion optical qubit. The interferometry sequences are sensitive to the change of ion equilibrium position when the trap stiffness is changed, and we use this to determine the stray electric field. The simplest pulse sequence is a two-pulse Ramsey sequence, and longer sequences with multiple pulses offer a higher precision. The methods allow the stray field strength to be minimized beyond state-of-the-art levels, with only modest experimental requirements. Using a sequence of nine pulses we reduce the 2D stray field strength to $(10.5\pm0.8)\,\mathrm{mV\,m^{-1}}$ in $11\,\mathrm{s}$ measurement time. The pulse sequences are easy to implement and automate, and they are robust against laser detuning and pulse area errors. We use interferometry sequences with different lengths and precisions to measure the stray field with an uncertainty below the standard quantum limit. This marks a real-world case in which quantum metrology offers a significant enhancement. Also, we minimize micromotion in 2D using a single probe laser, by using an interferometry method together with the resolved sideband method; this is useful for experiments with restricted optical access. Furthermore, a technique presented in this work is related to quantum protocols for synchronising clocks; we demonstrate these protocols here.


title: SM-SGE: A Self-Supervised Multi-Scale Skeleton Graph Encoding Framework for Person Re-Identification

abstract: Person re-identification via 3D skeletons is an emerging topic with great potential in security-critical applications. Existing methods typically learn body and motion features from the body-joint trajectory, whereas they lack a systematic way to model body structure and underlying relations of body components beyond the scale of body joints. In this paper, we for the first time propose a Self-supervised Multi-scale Skeleton Graph Encoding (SM-SGE) framework that comprehensively models human body, component relations, and skeleton dynamics from unlabeled skeleton graphs of various scales to learn an effective skeleton representation for person Re-ID. Specifically, we first devise multi-scale skeleton graphs with coarse-to-fine human body partitions, which enables us to model body structure and skeleton dynamics at multiple levels. Second, to mine inherent correlations between body components in skeletal motion, we propose a multi-scale graph relation network to learn structural relations between adjacent body-component nodes and collaborative relations among nodes of different scales, so as to capture more discriminative skeleton graph features. Last, we propose a novel multi-scale skeleton reconstruction mechanism to enable our framework to encode skeleton dynamics and high-level semantics from unlabeled skeleton graphs, which encourages learning a discriminative skeleton representation for person Re-ID. Extensive experiments show that SM-SGE outperforms most state-of-the-art skeleton-based methods. We further demonstrate its effectiveness on 3D skeleton data estimated from large-scale RGB videos. Our codes are open at https://github.com/Kali-Hac/SM-SGE.


title: Ensemble and Auxiliary Tasks for Data-Efficient Deep Reinforcement Learning

abstract: Ensemble and auxiliary tasks are both well known to improve the performance of machine learning models when data is limited. However, the interaction between these two methods is not well studied, particularly in the context of deep reinforcement learning. In this paper, we study the effects of ensemble and auxiliary tasks when combined with the deep Q-learning algorithm. We perform a case study on ATARI games under limited data constraint. Moreover, we derive a refined bias-variance-covariance decomposition to analyze the different ways of learning ensembles and using auxiliary tasks, and use the analysis to help provide some understanding of the case study. Our code is open source and available at https://github.com/NUS-LID/RENAULT.


title: Creating Unbiased Public Benchmark Datasets with Data Leakage Prevention for Predictive Process Monitoring

abstract: Advances in AI, and especially machine learning, are increasingly drawing research interest and efforts towards predictive process monitoring, the subfield of process mining (PM) that concerns predicting next events, process outcomes and remaining execution times. Unfortunately, researchers use a variety of datasets and ways to split them into training and test sets. The documentation of these preprocessing steps is not always complete. Consequently, research results are hard or even impossible to reproduce and to compare between papers. At times, the use of non-public domain knowledge further hampers the fair competition of ideas. Often the training and test sets are not completely separated, a data leakage problem particular to predictive process monitoring. Moreover, test sets usually suffer from bias in terms of both the mix of case durations and the number of running cases. These obstacles pose a challenge to the field's progress. The contribution of this paper is to identify and demonstrate the importance of these obstacles and to propose preprocessing steps to arrive at unbiased benchmark datasets in a principled way, thus creating representative test sets without data leakage with the aim of levelling the playing field, promoting open science and contributing to more rapid progress in predictive process monitoring.


title: The Last-Iterate Convergence Rate of Optimistic Mirror Descent in Stochastic Variational Inequalities

abstract: In this paper, we analyze the local convergence rate of optimistic mirror descent methods in stochastic variational inequalities, a class of optimization problems with important applications to learning theory and machine learning. Our analysis reveals an intricate relation between the algorithm's rate of convergence and the local geometry induced by the method's underlying Bregman function. We quantify this relation by means of the Legendre exponent, a notion that we introduce to measure the growth rate of the Bregman divergence relative to the ambient norm near a solution. We show that this exponent determines both the optimal step-size policy of the algorithm and the optimal rates attained, explaining in this way the differences observed for some popular Bregman functions (Euclidean projection, negative entropy, fractional power, etc.).


title: About the value of the two dimensional Levy's constant

abstract: We give a numerical approximation of the L\'evy constant on the growth of the denominators of the best Diophantine approximations in dimension 2 with respect to the euclidean norm. This constant is expressed as an integral on a surface of dimension 7. We reduce the computation of this integral to a triple integral, whose numerical evaluation was carried out in \cite{Xieu}.


title: Reward-Adaptive Reinforcement Learning: Dynamic Policy Gradient Optimization for Bipedal Locomotion

abstract: Controlling a non-statically bipedal robot is challenging due to the complex dynamics and multi-criterion optimization involved. Recent works have demonstrated the effectiveness of deep reinforcement learning (DRL) for simulation and physical robots. In these methods, the rewards from different criteria are normally summed to learn a single value function. However, this may cause the loss of dependency information between hybrid rewards and lead to a sub-optimal policy. In this work, we propose a novel reward-adaptive reinforcement learning for biped locomotion, allowing the control policy to be simultaneously optimized by multiple criteria using a dynamic mechanism. The proposed method applies a multi-head critic to learn a separate value function for each reward component. This leads to hybrid policy gradient. We further propose dynamic weight, allowing each component to optimize the policy with different priorities. This hybrid and dynamic policy gradient (HDPG) design makes the agent learn more efficiently. We show that the proposed method outperforms summed-up-reward approaches and is able to transfer to physical robots. The sim-to-real and MuJoCo results further demonstrate the effectiveness and generalization of HDPG.


title: Une g\'{e}n\'{e}ralisation du crit\`{e}re de Boulier -- Buchberger pour le calcul des ensembles caract\'{e}ristiques d'id\'{e}aux diff\'{e}rentiels

abstract: We generalize the analog of Buchberger's first criterion, stated by Boulier et al., for detecting useless S-polynomials reductions in the computation of characteristic sets of differential ideals. The original version assumes linear polynomials; this result is here extended to a product of linear differential polynomials depending of the same arbitrary differential polynomial.


title: Analyzing a Knowledge Graph of Industry4.0 Standards

abstract: In this article, we tackle the problem of standard interoperability across different standardization frameworks, and devise a knowledge-driven approach that allows for the description of standards and standardization frameworks into an Industry 4.0 knowledge graph (I40KG). The STO ontology represents properties of standards and standardization frameworks, as well as relationships among them. The I40KG integrates more than 200 standards and four standardization frameworks. To populate the I40KG, the landscape of standards has been analyzed from a semantic perspective and the resulting I40KG represents knowledge expressed in more than 200 industrial related documents including technical reports, research articles, and white papers. Additionally, the I40KG has been linked to existing knowledge graphs and an automated reasoning has been implemented to reveal implicit relations between standards as well as mappings across standardization frameworks. We analyze both the number of discovered relations between standards and the accuracy of these relations. Observed results indicate that both reasoning and linking processes enable for increasing the connectivity in the knowledge graph by up to 80%, whilst up to 96% of the relations can be validated. These outcomes suggest that integrating standards and standardization frameworks into the I40KG enables the resolution of semantic interoperability conflicts, empowering the communication in smart factories.


title: Arithmetic equivalence for non-geometric extensions of global function fields

abstract: In this paper we study couples of finite separable extensions of the function field $\mathbb{F}_q(T)$ which are arithmetically equivalent, i.e. such that prime ideals of $\mathbb{F}_q[T]$ decompose with the same inertia degrees in the two fields, up to finitely many exceptions. In the first part of this work, we extend previous results by Cornelissen, Kontogeorgis and Van der Zalm to the case of non-geometric extensions of $\mathbb{F}_q(T)$, which are fields such that their field of constants may be bigger than $\mathbb{F}_q$. In the second part, we explicitly produce examples of non-geometric extensions of $\mathbb{F}_2(T)$ which are equivalent and non-isomorphic over $\mathbb{F}_2(T)$ and non-equivalent over $\mathbb{F}_4(T)$, solving a particular Inverse Galois Problem.


title: Berserker: ASN.1-based Fuzzing of Radio Resource Control Protocol for 4G and 5G

abstract: Telecom networks together with mobile phones must be rigorously tested for robustness against vulnerabilities in order to guarantee availability. RRC protocol is responsible for the management of radio resources and is among the most important telecom protocols whose extensive testing is warranted. To that end, we present a novel RRC fuzzer, called Berserker, for 4G and 5G. Berserker's novelty comes from being backward and forward compatible to any version of 4G and 5G RRC technical specifications. It is based on RRC message format definitions in ASN.1 and additionally covers fuzz testing of another protocol, called NAS, tunneled in RRC. Berserker uses concrete implementations of telecom protocol stack and is unaffected by lower layer protocol handlings like encryption and segmentation. It is also capable of evading size and type constraints in RRC message format definitions. Berserker discovered two previously unknown serious vulnerabilities in srsLTE -- one of which also affects openLTE -- confirming its applicability to telecom robustness.


title: Randomized multilevel Monte Carlo for embarrassingly parallel inference

abstract: This position paper summarizes a recently developed research program focused on inference in the context of data centric science and engineering applications, and forecasts its trajectory forward over the next decade. Often one endeavours in this context to learn complex systems in order to make more informed predictions and high stakes decisions under uncertainty. Some key challenges which must be met in this context are robustness, generalizability, and interpretability. The Bayesian framework addresses these three challenges elegantly, while bringing with it a fourth, undesirable feature: it is typically far more expensive than its deterministic counterparts. In the 21st century, and increasingly over the past decade, a growing number of methods have emerged which allow one to leverage cheap low-fidelity models in order to precondition algorithms for performing inference with more expensive models and make Bayesian inference tractable in the context of high-dimensional and expensive models. Notable examples are multilevel Monte Carlo (MLMC), multi-index Monte Carlo (MIMC), and their randomized counterparts (rMLMC), which are able to provably achieve a dimension-independent (including $\infty-$dimension) canonical complexity rate with respect to mean squared error (MSE) of $1/$MSE. Some parallelizability is typically lost in an inference context, but recently this has been largely recovered via novel double randomization approaches. Such an approach delivers i.i.d. samples of quantities of interest which are unbiased with respect to the infinite resolution target distribution. Over the coming decade, this family of algorithms has the potential to transform data centric science and engineering, as well as classical machine learning applications such as deep learning, by scaling up and scaling out fully Bayesian inference.


title: Ranking Online Social Users by their Influence

abstract: We introduce an original mathematical model to analyse the diffusion of posts within a generic online social platform. The main novelty is that each user is not simply considered as a node on the social graph, but is further equipped with his/her own Wall and Newsfeed, and has his/her own individual self-posting and re-posting activity. As a main result using our developed model, we derive in closed form the probabilities that posts originating from a given user are found on the Wall and Newsfeed of any other. These are the solution of a linear system of equations, which can be resolved iteratively. In fact, our model is very flexible with respect to the modelling assumptions. Using the probabilities derived from the solution, we define a new measure of per-user influence over the entire network, the $\Psi$-score, which combines the user position on the graph with user (re-)posting activity. In the homogeneous case where all users have the same activity rates, it is shown that a variant of the $\Psi$-score is equal to PageRank. Furthermore, we compare the new model and its $\Psi$-score against the empirical influence measured from very large data traces (Twitter, Weibo). The results illustrate that these new tools can accurately rank influencers with asymmetric (re-)posting activity for such real world applications.


title: Logic Locking at the Frontiers of Machine Learning: A Survey on Developments and Opportunities

abstract: In the past decade, a lot of progress has been made in the design and evaluation of logic locking; a premier technique to safeguard the integrity of integrated circuits throughout the electronics supply chain. However, the widespread proliferation of machine learning has recently introduced a new pathway to evaluating logic locking schemes. This paper summarizes the recent developments in logic locking attacks and countermeasures at the frontiers of contemporary machine learning models. Based on the presented work, the key takeaways, opportunities, and challenges are highlighted to offer recommendations for the design of next-generation logic locking.


title: Blind source separation for non-stationary random fields

abstract: Regional data analysis is concerned with the analysis and modeling of measurements that are spatially separated by specifically accounting for typical features of such data. Namely, measurements in close proximity tend to be more similar than the ones further separated. This might hold also true for cross-dependencies when multivariate spatial data is considered. Often, scientists are interested in linear transformations of such data which are easy to interpret and might be used as dimension reduction. Recently, for that purpose spatial blind source separation (SBSS) was introduced which assumes that the observed data are formed by a linear mixture of uncorrelated, weakly stationary random fields. However, in practical applications, it is well-known that when the spatial domain increases in size the weak stationarity assumptions can be violated in the sense that the second order dependency is varying over the domain which leads to non-stationary analysis. In our work we extend the SBSS model to adjust for these stationarity violations, present three novel estimators and establish the identifiability and affine equivariance property of the unmixing matrix functionals defining these estimators. In an extensive simulation study, we investigate the performance of our estimators and also show their use in the analysis of a geochemical dataset which is derived from the GEMAS geochemical mapping project.


title: Proving SIFA Protection of Masked Redundant Circuits

abstract: Implementation attacks like side-channel and fault attacks pose a considerable threat to cryptographic devices that are physically accessible by an attacker. As a consequence, devices like smart cards implement corresponding countermeasures like redundant computation and masking. Recently, statistically ineffective fault attacks (SIFA) were shown to be able to circumvent these classical countermeasure techniques. We present a new approach for verifying the SIFA protection of arbitrary masked implementations in both hardware and software. The proposed method uses Boolean dependency analysis, factorization, and known properties of masked computations to show whether the fault detection mechanism of redundant masked circuits can leak information about the processed secret values. We implemented this new method in a tool called Danira, which can show the SIFA resistance of cryptographic implementations like AES S-Boxes within minutes.


title: Nature of electrostatic fluctuations in the terrestrial magnetosheath

abstract: The high cadence plasma, electric, and magnetic field measurements by the Magnetospheric MultiScale spacecraft allow us to explore the near-Earth space plasma with an unprecedented time and spatial resolution, resolving electron-scale structures that naturally emerge from plasma complex dynamics. The formation of small-scale turbulent features is often associated to structured, non-Maxwellian particle velocity distribution functions that are not at thermodynamic equilibrium. Using measurements in the terrestrial magnetosheath, this study focuses on regions presenting bumps in the power spectral density of the parallel electric field at sub-proton scales. Correspondingly, it is found that the ion velocity distribution functions exhibit beam-like features at nearly the local ion thermal speed. Ion cyclotron waves in the ion-scale range are frequently observed at the same locations. These observations, supported by numerical simulations, are consistent with the generation of ion-bulk waves that propagate at the ion thermal speed. This represents a new branch of efficient energy transfer at small scales, which may be relevant to weakly collisional astrophysical plasmas.


title: Wigner function with correlation damping

abstract: We examine the effect of the decoherence-induced reduction of correlation length on a one-dimensional scattering problem by solving numerically the evolution equation for the Wigner function with decoherence proposed in [L. Barletti, G. Frosali and E. Giovannini, Journal of Computational and Theoretical Transport 47, 209 (2018)]. The numerical solution is achieved by the Splitting-Scheme algorithm. Three cases are examined, corresponding to a reflection-dominated regime, a transmission-dominated regime and an intermediate one. The dynamic evolution of the Wigner function is followed until the separation process of the reflected and of the transmitted packets is complete and it is observed for three different values of the correlation length. The outcomes show a broadening and flattening of the Wigner function which becomes progressively more pronounced as the correlation length is decreased. This results in a reduced reflection at low energies and in a reduced transmission at high energies.


title: Effect of noisy channels on the transmission of mesoscopic twin-beam states

abstract: Quantum properties of light, which are crucial resources for Quantum Technologies, are quite fragile in nature and can be degraded and even concealed by the environment. We show, both theoretically and experimentally, that mesoscopic twin-beam states of light can preserve their nonclassicality even in the presence of major losses and different types of noise, thus suggesting their potential usefulness to encode information in Quantum Communication protocols. We develop a comprehensive general analytical model for a measurable nonclassicality criterion and find thresholds on noise and losses for the survival of entanglement in the twin beam.


title: An Empirical Study of Rule-Based and Learning-Based Approaches for Static Application Security Testing

abstract: Background: Static Application Security Testing (SAST) tools purport to assist developers in detecting security issues in source code. These tools typically use rule-based approaches to scan source code for security vulnerabilities. However, due to the significant shortcomings of these tools (i.e., high false positive rates), learning-based approaches for Software Vulnerability Prediction (SVP) are becoming a popular approach. Aims: Despite the similar objectives of these two approaches, their comparative value is unexplored. We provide an empirical analysis of SAST tools and SVP models, to identify their relative capabilities for source code security analysis. Method: We evaluate the detection and assessment performance of several common SAST tools and SVP models on a variety of vulnerability datasets. We further assess the viability and potential benefits of combining the two approaches. Results: SAST tools and SVP models provide similar detection capabilities, but SVP models exhibit better overall performance for both detection and assessment. Unification of the two approaches is difficult due to lacking synergies. Conclusions: Our study generates 12 main findings which provide insights into the capabilities and synergy of these two approaches. Through these observations we provide recommendations for use and improvement.


title: Investigation of Practical Aspects of Single Channel Speech Separation for ASR

abstract: Speech separation has been successfully applied as a frontend processing module of conversation transcription systems thanks to its ability to handle overlapped speech and its flexibility to combine with downstream tasks such as automatic speech recognition (ASR). However, a speech separation model often introduces target speech distortion, resulting in a sub-optimum word error rate (WER). In this paper, we describe our efforts to improve the performance of a single channel speech separation system. Specifically, we investigate a two-stage training scheme that firstly applies a feature level optimization criterion for pretraining, followed by an ASR-oriented optimization criterion using an end-to-end (E2E) speech recognition model. Meanwhile, to keep the model light-weight, we introduce a modified teacher-student learning technique for model compression. By combining those approaches, we achieve a absolute average WER improvement of 2.70% and 0.77% using models with less than 10M parameters compared with the previous state-of-the-art results on the LibriCSS dataset for utterance-wise evaluation and continuous evaluation, respectively


title: Hadron wave functions in high-energy scattering, form factors and strong decays: the effects of the Lorentz contracted form

abstract: We study the class of processes where the dynamics depends essentially on the properties of the hadron wave functions involved in the reactions. In this case the momentum dependence of the form of wave functions imposed by Lorentz invariance and in particular by the Lorentz contraction can be tested in the experiment and may strongly influence the resulting cross sections. One example of such observables is given by the hadron form factors, where it was shown that the large Q behavior is mostly frozen, when the Lorentz contraction of the hadron wave functions is taken into account. Another example considered previously is the strong hadron decay with high energy emission. In this paper we study the role of the Lorentz contraction in the high-energy hadron-hadron scattering process at large momentum transfer. For the $pp$ and $p\bar p$ scattering at large $s$ it is shown that at small $-t << s$ the picture of two exponential slopes in the differential cross section explained previously by the author is stable while the backward scattering cross section is strongly increased by the Lorentz contraction.


title: Fermi-gas correlators of ADHM theory and triality symmetry

abstract: We analytically study the Fermi-gas formulation of sphere correlation functions of the Coulomb branch operators for 3d $\mathcal{N}=4$ ADHM theory with a gauge group $U(N)$, an adjoint hypermultiplet and $l$ hypermultiplets which can describe a stack of $N$ M2-branes at $A_{l-1}$ singularities. We find that the leading coefficients of the perturbative grand canonical correlation functions are invariant under a hidden triality symmetry conjectured from the twisted M-theory. The triality symmetry also helps us to fix the next-to-leading corrections analytically.


title: Overgroups of regular unipotent elements in reductive groups

abstract: We study reductive subgroups $H$ of a reductive linear algebraic group $G$ -- possibly non-connected -- such that $H$ contains a regular unipotent element of $G$. We show that under suitable hypotheses, such subgroups are $G$-irreducible in the sense of Serre. This generalizes results of Malle, Testerman and Zalesski. We obtain analogous results for Lie algebras and for finite groups of Lie type. Our proofs are short, conceptual and uniform.


title: Modified energies for the periodic generalized KdV equation and applications

abstract: We construct modified energies for the generalized KdV equation. As a consequence, we obtain quasi-invariance of the high order Gaussian measures along with $L^p$ regularity on the corresponding Radon-Nykodim density, as well as new bounds on the growth of the Sobolev norms of the solutions.


title: Android Malware Category and Family Detection and Identification using Machine Learning

abstract: Android malware is one of the most dangerous threats on the internet, and it's been on the rise for several years. Despite significant efforts in detecting and classifying android malware from innocuous android applications, there is still a long way to go. As a result, there is a need to provide a basic understanding of the behavior displayed by the most common Android malware categories and families. Each Android malware family and category has a distinct objective. As a result, it has impacted every corporate area, including healthcare, banking, transportation, government, and e-commerce. In this paper, we presented two machine-learning approaches for Dynamic Analysis of Android Malware: one for detecting and identifying Android Malware Categories and the other for detecting and identifying Android Malware Families, which was accomplished by analyzing a massive malware dataset with 14 prominent malware categories and 180 prominent malware families of CCCS-CIC-AndMal2020 dataset on Dynamic Layers. Our approach achieves in Android Malware Category detection more than 96 % accurate and achieves in Android Malware Family detection more than 99% accurate. Our approach provides a method for high-accuracy Dynamic Analysis of Android Malware while also shortening the time required to analyze smartphone malware.


title: Oscillation numbers for continuous Lagrangian paths and Maslov index

abstract: In this paper we present the theory of oscillation numbers and dual oscillation numbers for continuous Lagrangian paths in $\mathbb{R}^{2n}$. Our main results include a connection of the oscillation numbers of the given Lagrangian path with the Lidskii angles of a special symplectic orthogonal matrix. We also present Sturmian type comparison and separation theorems for the difference of the oscillation numbers of two continuous Lagrangian paths. These results, as well as the definition of the oscillation number itself, are based on the comparative index theory (Elyseeva, 2009). The applications of these results are directed to the theory of Maslov index of two continuous Lagrangian paths. We derive a formula for the Maslov index via the Lidskii angles of a special symplectic orthogonal matrix, and hence we express the Maslov index as the oscillation number of a certain transformed Lagrangian path. The results and methods are based on a generalization of the recently introduced oscillation numbers and dual oscillation numbers for conjoined bases of linear Hamiltonian systems (Elyseeva, 2019 and 2020) and on the connection between the comparative index and Lidskii angles of symplectic matrices (\v{S}epitka and \v{S}imon Hilscher, 2020).


title: Anisotropic Microgels show their Soft Side

abstract: Anisotropic, submicrometer sized particles are versatile systems providing interesting features in creating ordering in 2-dimensional systems. Combining hard ellipsoids with a soft shell further enhances the opportunities to trigger and control order and alignment. In this work, we report a rich 2D phase behavior and show how softness affects the ordering of anisotropic particles at fluid oil-water interfaces. Three different core-shell systems were synthesized such that they have the same elliptical hematite-silica core but differ with respect to thickness and stiffness of the soft microgel shell. Compression isotherms, the shape of individual core-shell microgel as well as their 2D order at a decane-water interface are investigated by means of the Langmuir-Blodgett technique combined with ex-situ Atomic Force Microscopy (AFM) imaging, as well as by Disspiative Particle Dynamics (DPD) simulations. We show how softness, size and anisotropy of the microgel shell affect the side-to-side vs. tip-to-tip ordering of anisotropic hybrid microgels as well as the alignment with respect to the direction of compression in the Langmuir trough. A large and soft microgel shell leads to an ordered structure with a tip-to-tip alignment directed perpendicular to the direction of compression. In contrast, a thin and harder microgel shell leads to side-to-side ordering orientated parallel to the compression direction. In addition, the thin and harder microgel shell induces clustering of the microgels in the dilute state indicating the presence of strong capillary interactions. Our findings highlight the relevance of softness for the complex ordering of anisotropic hybrid microgels at interfaces.


title: Robust Stochastic Optimization with Rare-Event Modeling

abstract: In this paper, we propose a novel robust stochastic optimization approach with a distinctive consideration for rare events, in which divergence measures are used to bound the event-wise ambiguity sets. This is done by using the Poisson distribution with uncertain expected value parameter to model rare events and showing that the distribution possesses theoretical properties that enable the derivation of rare-event probability bounds. We employ the proven bijection between the Bregman divergence and the Poisson distribution to characterize variations within the probability bounds, and demonstrate that the explicit use of the Poisson-specific Bregman divergence results in reduced conservatism in decision-making. Moreover, we derive a probability bound on this conservatism reduction, which is a concept akin to the popular probability of constraint violation in robust optimization. The bound shows that the rarer the event, the more the rare-event information becomes powerful. Finally, we provide tractable reformulations for our robust counterparts under rare events. Our computational study, based on a realistic case study involving 18 years of Brazilian flood and landslide data, reveals that our new approach generates significantly better decisions than state-of-the-art approaches that are not driven by rare events.


title: Adiabatic Dynamical-Decoupling Based Control of Nuclear Spin Registers

abstract: The use of the nuclear spins surrounding electron spin qubits as quantum registers and long-lived memories opens the way to new applications in quantum information and biological sensing. Hence, there is a need for generic and robust forms of control of the nuclear registers. Although adiabatic gates are widely used in quantum information, they can become too slow to outpace decoherence. Here, we introduce a technique whereby adiabatic gates arise from the dynamical decoupling protocols that simultaneously extend coherence. We illustrate this pulse-based adiabatic control for nuclear spins around NV centers in diamond. We obtain a closed-form expression from Landau-Zener theory and show that it reliably describes the dynamics. By identifying robust Floquet states, we show that the technique enables polarisation, one-shot flips and state storage for nuclear spins. These results introduce a new control paradigm that combines dynamical decoupling with adiabatic evolution.


title: Classical and Quantum Correlation Functions for a Ring Model

abstract: Classical and quantum correlation functions are derived for a system of non-interacting particles moving on a circle. It is shown that the decaying behaviour of the classical expression for the correlation function can be recovered from the strictly periodic quantum mechanical expression by taking the limit that the Planck's constant goes to zero, after an appropriate transformation.


title: CoCoSum: Contextual Code Summarization with Multi-Relational Graph Neural Network

abstract: Source code summaries are short natural language descriptions of code snippets that help developers better understand and maintain source code. There has been a surge of work on automatic code summarization to reduce the burden of writing summaries manually. However, most contemporary approaches mainly leverage the information within the boundary of the method being summarized (i.e., local context), and ignore the broader context that could assist with code summarization. This paper explores two global contexts, namely intra-class and inter-class contexts, and proposes the model CoCoSUM: Contextual Code Summarization with Multi-Relational Graph Neural Networks. CoCoSUM first incorporates class names as the intra-class context to generate the class semantic embeddings. Then, relevant Unified Modeling Language (UML) class diagrams are extracted as inter-class context and are encoded into the class relational embeddings using a novel Multi-Relational Graph Neural Network (MRGNN). Class semantic embeddings and class relational embeddings, together with the outputs from code token encoder and AST encoder, are passed to a decoder armed with a two-level attention mechanism to generate high-quality, context-aware code summaries. We conduct extensive experiments to evaluate our approach and compare it with other automatic code summarization models. The experimental results show that CoCoSUM is effective and outperforms state-of-the-art methods. Our source code and experimental data are available in the supplementary materials and will be made publicly available.


title: On the one dimensional cubic NLS in a critical space

abstract: In this note we study the initial value problem in a critical space for the one dimensional Schr\"odinger equation with a cubic non-linearity and under some smallness conditions. In particular the initial data is given by a sequence of Dirac deltas with different amplitudes but equispaced. This choice is motivated by a related geometrical problem; the one describing the flow of curves in three dimensions moving in the direction of the binormal with a velocity that is given by the curvature.


title: Probing primordial black holes with anisotropies in stochastic gravitational-wave background

abstract: Primordial black holes, if considered to constitute a significant fraction of cold dark matter, trace the inhomogeneous large-scale structure of the Universe. Consequently, the stochastic gravitational-wave background, originating from incoherent superposition of unresolved signals emitted by primordial black hole binaries, is expected to display anisotropies across the sky. In this work, we investigate the angular correlations of such anisotropies for the first time and demonstrate their difference from the analogous signal produced by astrophysical black hole binaries. We carefully evaluate the associated uncertainties due to shot-noise and cosmic variance, and demonstrate that the studied signal in the low-frequency regime can be differentiated from the signal of astrophysical origin. Our results are particularly promising in the stellar mass-range, where the identification of the merger origin has been particularly challenging.


title: Adversarial Robustness of Probabilistic Network Embedding for Link Prediction

abstract: In today's networked society, many real-world problems can be formalized as predicting links in networks, such as Facebook friendship suggestions, e-commerce recommendations, and the prediction of scientific collaborations in citation networks. Increasingly often, link prediction problem is tackled by means of network embedding methods, owing to their state-of-the-art performance. However, these methods lack transparency when compared to simpler baselines, and as a result their robustness against adversarial attacks is a possible point of concern: could one or a few small adversarial modifications to the network have a large impact on the link prediction performance when using a network embedding model? Prior research has already investigated adversarial robustness for network embedding models, focused on classification at the node and graph level. Robustness with respect to the link prediction downstream task, on the other hand, has been explored much less. This paper contributes to filling this gap, by studying adversarial robustness of Conditional Network Embedding (CNE), a state-of-the-art probabilistic network embedding model, for link prediction. More specifically, given CNE and a network, we measure the sensitivity of the link predictions of the model to small adversarial perturbations of the network, namely changes of the link status of a node pair. Thus, our approach allows one to identify the links and non-links in the network that are most vulnerable to such perturbations, for further investigation by an analyst. We analyze the characteristics of the most and least sensitive perturbations, and empirically confirm that our approach not only succeeds in identifying the most vulnerable links and non-links, but also that it does so in a time-efficient manner thanks to an effective approximation.


title: Gravitationally Induced Particle Production through a Nonminimal Torsion-Matter Coupling

abstract: We investigate the possibility of gravitationally generated particle production via the mechanism of nonminimal torsion--matter coupling. An intriguing feature of this theory is that the divergence of the matter energy--momentum tensor does not vanish identically. We explore the physical and cosmological implications of the nonconservation of the energy--momentum tensor by using the formalism of irreversible thermodynamics of open systems in the presence of matter creation/annihilation. The particle creation rates, pressure, and the expression of the comoving entropy are obtained in a covariant formulation and discussed in detail. Applied together with the gravitational field equations, the thermodynamics of open systems lead to a generalization of the standard $\Lambda$CDM cosmological paradigm, in which the particle creation rates and pressures are effectively considered as components of the cosmological fluid energy--momentum tensor. We consider specific models, and we show that cosmology with a torsion--matter coupling can almost perfectly reproduce the $\Lambda$CDM scenario, while it additionally gives rise to particle creation rates, creation pressures, and entropy generation through gravitational matter production in both low and high redshift limits.


title: Quasi-plurisubharmonic envelopes 3: Solving Monge-Amp\`ere equations on hermitian manifolds

abstract: We develop a new approach to $L^{\infty}$-a priori estimates for degenerate complex Monge-Amp\`ere equations on complex manifolds. It only relies on compactness and envelopes properties of quasi-plurisubharmonic functions. In a prequel \cite{GL21a} we have shown how this method allows one to obtain new and efficient proofs of several fundamental results in K\"ahler geometry. In \cite{GL21b} we have studied the behavior of Monge-Amp\`ere volumes on hermitian manifolds. We extend here the techniques of \cite{GL21a} to the hermitian setting and use the bounds established in \cite{GL21b}, producing new relative a priori estimates, as well as several existence results for degenerate complex Monge-Amp\`ere equations on compact hermitian manifolds.


title: Thermally induced entanglement of atomic oscillators

abstract: Laser cooled ions trapped in a linear Paul trap are long-standing ideal candidates for realizing quantum simulation, especially of many-body systems. The properties that contribute to this also provide the opportunity to demonstrate unexpected quantum phenomena in few-body systems. A pair of ions interacting in such traps exchange vibrational quanta through the Coulomb interaction. This linear interaction can be anharmonically modulated by an elementary coupling to the internal two-level structure of one of the ions. Driven by thermal energy in the passively coupled oscillators, which are themselves coupled to the internal ground states of the ions, the nonlinear interaction autonomously and unconditionally generates entanglement between the mechanical modes of the ions. We examine this counter-intuitive thermally induced entanglement for several experimentally feasible model systems, and propose parameter regimes where state of the art trapped ion systems can produce such phenomena. In addition, we demonstrate a multiqubit enhancement of such thermally induced entanglement.


title: Thermoelectric transport within density functional theory

abstract: A new formalism to describe steady-state electronic and thermal transport in the framework of density functional theory is presented. A one-to-one correspondence is proven between the three basic variables of the theory, i.e., the density on as well as the electrical and heat currents through the junction, and the three basic potentials, i.e., the local potential in as well as the DC bias and thermal gradient across the junction. Consequently, the Kohn-Sham system of the theory requires three exchange-correlations potentials. In linear response, the new formalism leads to exact expressions for the many-body transport coefficients (both electrical and thermal conductances and Seebeck coefficient) in terms of both the corresponding Kohn-Sham coefficients and derivatives of the exchange-correlations potentials. The theory is applied to the Single Impurity Anderson Model, and an accurate analytic parametrization for these derivatives in the Coulomb blockade regime is constructed through reverse engineering.


title: Two Classes of Eruptive Events During Solar Minimum

abstract: During solar minimum, the Sun is relatively inactive with few sunspots observed on the solar surface. Consequently, we observe a smaller number of highly energetic events such as solar flares or coronal mass ejections (CMEs), which are often associated with active regions on the photosphere. Nonetheless, our magnetofrictional simulations during the minimum period suggest that the solar corona is still dynamically evolving in response to the large-scale shearing velocities on the solar surface. The non-potential evolution of the corona leads to the accumulation of magnetic free energy and helicity, which is periodically shed in eruptive events. We find that these events fall into two distinct classes: One set of events are caused by eruption and ejection of low-lying coronal flux ropes, and they could explain the origin of occasional CMEs during solar minimum. The other set of events are not driven by destabilisation of low-lying structures but rather by eruption of overlying sheared arcades. These could be associated with streamer blowouts or stealth CMEs. The two classes differ significantly in the amount of magnetic flux and helicity shed through the outer coronal boundary. We additionally explore how other measurables such as current, open magnetic flux, free energy, coronal holes, and the horizontal component of the magnetic field on the outer model boundary vary during the two classes of event. This study emphasises the importance and necessity of understanding the dynamics of the coronal magnetic field during solar minimum.


title: New estimation methods for extremal bivariate return curves

abstract: In the multivariate setting, estimates of extremal risk measures are important in many contexts, such as environmental planning and structural engineering. In this paper, we propose new estimation methods for extremal bivariate return curves, a risk measure that is the natural bivariate extension to a return level. Unlike several existing techniques, our estimates are based on bivariate extreme value models that can capture both key forms of extremal dependence. We devise tools for validating return curve estimates, as well as representing their uncertainty, and compare a selection of curve estimation techniques through simulation studies. We apply the methodology to two metocean data sets, with diagnostics indicating generally good performance.


title: When and How to Fool Explainable Models (and Humans) with Adversarial Examples

abstract: Reliable deployment of machine learning models such as neural networks continues to be challenging due to several limitations. Some of the main shortcomings are the lack of interpretability and the lack of robustness against adversarial examples or out-of-distribution inputs. In this exploratory review, we explore the possibilities and limits of adversarial attacks for explainable machine learning models. First, we extend the notion of adversarial examples to fit in explainable machine learning scenarios, in which the inputs, the output classifications and the explanations of the model's decisions are assessed by humans. Next, we propose a comprehensive framework to study whether (and how) adversarial examples can be generated for explainable models under human assessment, introducing and illustrating novel attack paradigms. In particular, our framework considers a wide range of relevant yet often ignored factors such as the type of problem, the user expertise or the objective of the explanations, in order to identify the attack strategies that should be adopted in each scenario to successfully deceive the model (and the human). The intention of these contributions is to serve as a basis for a more rigorous and realistic study of adversarial examples in the field of explainable machine learning.


title: Neyman-Pearson Hypothesis Testing, Epistemic Reliability and Pragmatic Value-Laden Asymmetric Error Risks

abstract: Neyman and Pearson's theory of testing hypotheses does not warrant minimal epistemic reliability: the feature of driving to true conclusions more often than to false ones. The theory does not protect from the possible negative effects of the pragmatic value-laden unequal setting of error probabilities on the theory's epistemic reliability. Most importantly, in the case of a negative impact, no methodological adjustment is available to neutralize it, so in such cases, the discussed pragmatic-value-ladenness of the theory inevitably compromises the goal of attaining truth.


title: Calogero-Moser spaces and the invariants of two matrices of degree 3

abstract: We find a minimal set of generators for the coordinate ring of Calogero-Moser space $\mathcal{C}_3$ and the algebraic relations among them explicitly. We give a new presentation for the algebra of $3\times3$ invariant matrices involving the defining relations of $\mathbb{C}[\mathcal{C}_3]$. We find an explicit description of the commuting variety of $3\times3$ matrices and its orbits under the action of the affine Cremona group.


title: Bogolyubov's averaging theorem applied to the Kramers-Henneberger Hamiltonian

abstract: We apply Bogolyubov's averaging theorem to the motion of an electron of an atom driven by a linearly polarized laser field in the Kramers-Henneberger frame. We provide estimates of the differences between the original trajectories and the trajectories associated with the averaged system as a function of the parameters of the laser field and the region of phase space. We formulate a modified Bogolyubov averaging theorem based on the Hamiltonian properties of the system, and show that this version is better suited for these systems. From these estimates, we discuss the validity of the Kramers-Henneberger approximation.


title: Risk aversion and uniqueness of equilibrium: a polynomial approach

abstract: We study the connection between risk aversion, number of consumers and uniqueness of equilibrium. We consider an economy with two goods and $c$ impatience types, where each type has additive separable preferences with HARA Bernoulli utility function, $u_H(x):=\frac{\gamma}{1-\gamma}\left(b+\frac{a}{\gamma}x\right)^{1-\gamma}$. We show that if $\gamma\in \left(1, \frac{c}{c-1}\right]$, the equilibrium is unique. Moreover, the methods used, involving Newton's symmetric polynomials and Descartes' rule of signs, enable us to offer new sufficient conditions for uniqueness in a closed-form expression highlighting the role played by endowments, patience and specific HARA parameters. Finally, new necessary and sufficient conditions in ensuring uniqueness are derived for the particular case of CRRA Bernoulli utility functions with $\gamma =3$.


title: Eigenvalues of Autocovariance Matrix: A Practical Method to Identify the Koopman Eigenfrequencies

abstract: To infer eigenvalues of the infinite-dimensional Koopman operator, we study the leading eigenvalues of the autocovariance matrix associated with a given observable of a dynamical system. For any observable $f$ for which all the time-delayed autocovariance exist, we construct a Hilbert space $\mathcal{H}_f$ and a Koopman-like operator $\mathcal{K}$ that acts on $\mathcal{H}_f$. We prove that the leading eigenvalues of the autocovariance matrix has one-to-one correspondence with the energy of $f$ that is represented by the eigenvectors of $\mathcal{K}$. The proof is associated to several representation theorems of isometric operators on a Hilbert space, and the weak-mixing property of the observables represented by the continuous spectrum. We also provide an alternative proof of the weakly mixing property. When $f$ is an observable of an ergodic dynamical system which has a finite invariant measure $\mu$, $\mathcal{H}_f$ coincides with closure in $L^2(X,d\mu)$ of Krylov subspace generated by $f$, and $\mathcal{K}$ coincides with the classical Koopman operator. The main theorem sheds light to the theoretical foundation of several semi-empirical methods, including singular spectrum analysis (SSA), data-adaptive harmonic analysis (DAHD), Hankel DMD and Hankel alternative view of Koopman analysis (HAVOK). It shows that, when the system is ergodic and has finite invariant measure, the leading temporal empirical orthogonal functions indeed correspond to the Koopman eigenfrequencies. A theorem-based practical methodology is then proposed to identify the eigenfrequencies of $\mathcal{K}$ from a given time series. It builds on the fact that the convergence of the renormalized eigenvalues of the Gram matrix is a necessary and sufficient condition for the existence of $\mathcal{K}-$eigenfrequencies.


title: An asymptotic analysis of separating pointlike and $C^{\beta}$-curvelike singularities

abstract: In this paper, we present a theoretical analysis of separating images consisting of pointlike and $C^{ \beta}$-curvelike structures, where $\beta \in (1,2] $. Our approach is based on $l_1$-minimization, in which the sparsity of the desired solution is exploited by two sparse representation systems. It is well known that for such components wavelets provide an optimally sparse representation for point singularities, whereas $\alpha$-shearlet type with $\alpha$=$\frac{2}{\beta}$ might be best adapted to the $C^{\beta}$-curvilinear singularities. In our analysis, we first propose a reconstruction framework with a theoretical guarantee on convergence, which is extended to use general frames instead of Parseval frames. We then construct a dual pair of bandlimited $\alpha$-shearlets which possesses a good time and frequency localization. Finally, we apply the result to derive an asymptotic accuracy of the reconstructions. In addition, we show that it is possible to separate these two components as long as $\alpha <2$, i.e., bandlimited $\alpha$-shearlets which range from wavelet to shearlet type do not coincide with wavelets in the sense of isotropic fashion.


title: R-Equivalence on Group Schemes

abstract: We define R-equivalence for group schemes over a semilocal ring and relate this with rational properties. Two main cases are investigated: tori and isotropic semisimple simply connected group schemes where we show in certain cases that R-equivalence coincide with Karoubi-Villamayor equivalence and is also related to the Kneser-Tits problem in this setting. Finally we construct specialization maps for R-equivalence in the case of regular algebras containing a field.


title: Asymptotic densities of planar L\'{e}vy walks: a non-isotropic case

abstract: L\'{e}vy walks are a particular type of continuous-time random walks which results in a super-diffusive spreading of an initially localized packet. The original one-dimensional model has a simple schematization that is based on starting a new unidirectional motion event either in the positive or in the negative direction. We consider two-dimensional generalization of L\'{e}vy walks in the form of the so-called XY-model. It describes a particle moving with a constant velocity along one of the four basic directions and randomly switching between them when starting a new motion event. We address the ballistic regime and derive solutions for the asymptotic density profiles. The solutions have a form of first-order integrals which can be evaluated numerically. For specific values of parameters we derive an exact expression. The analytic results are in perfect agreement with the results of finite-time numerical samplings.


title: Partition and Code: learning how to compress graphs

abstract: Can we use machine learning to compress graph data? The absence of ordering in graphs poses a significant challenge to conventional compression algorithms, limiting their attainable gains as well as their ability to discover relevant patterns. On the other hand, most graph compression approaches rely on domain-dependent handcrafted representations and cannot adapt to different underlying graph distributions. This work aims to establish the necessary principles a lossless graph compression method should follow to approach the entropy storage lower bound. Instead of making rigid assumptions about the graph distribution, we formulate the compressor as a probabilistic model that can be learned from data and generalise to unseen instances. Our "Partition and Code" framework entails three steps: first, a partitioning algorithm decomposes the graph into subgraphs, then these are mapped to the elements of a small dictionary on which we learn a probability distribution, and finally, an entropy encoder translates the representation into bits. All the components (partitioning, dictionary and distribution) are parametric and can be trained with gradient descent. We theoretically compare the compression quality of several graph encodings and prove, under mild conditions, that PnC achieves compression gains that grow either linearly or quadratically with the number of vertices. Empirically, PnC yields significant compression improvements on diverse real-world networks.


title: A mmWave Oscillator Design Utilizing High-Q Active-Mode On-Chip MEMS Resonators for Improved Fundamental Limits of Phase Noise

abstract: (RFT) allows very high-Q active mode resonators, promising crystal-less monolithic clock generation for mmWave systems. However, there is a strong need for design of mmWave oscillators that utilize the high-Q of active-mode RFT (AM-RFT) optimally, while handling unique challenges such as resonator's low electromechanical transduction. In this brief, we develop a theory and through design and post-layout simulations in 14 nm Global Foundry process, we show the first active oscillator with AM-RFT at 30 GHz, which improves the fundamental limits of phase noise and figure-of-merit as compared to the oscillators with conventional LC resonators. For AM-RFT with Q factor of 10K, post layout simulation results show that the proposed oscillator exhibits phase noise less than -140 dBc per Hz and figure-of-merit greater than 228 dBc per Hz at 1 MHz offset for 30 GHz center frequency, which are more than 25 dB better than the existing monolithic LC oscillators.


title: Non-perturbative Aspects of Quantum Field Theories from Holography

abstract: In this thesis we investigate some aspects of quantum field theories from a holographic perspective. In the first chapters we examine in detail a one-paremeter family of three-dimensional gauge theories by means of their type IIA gravity duals. We analyse features such as their confinement nature, spectrum, entanglement properties or thermal phase transitions. This family interpolates between quasi-conformal and quasi-confining physics. In the last two chapters, we use bottom-up models to study complex conformal field theories and transport properties of dense QCD respectively.


title: Detecting Faults during Automatic Screwdriving: A Dataset and Use Case of Anomaly Detection for Automatic Screwdriving

abstract: Detecting faults in manufacturing applications can be difficult, especially if each fault model is to be engineered by hand. Data-driven approaches, using Machine Learning (ML) for detecting faults have recently gained increasing interest, where a ML model can be trained on a set of data from a manufacturing process. In this paper, we present a use case of using ML models for detecting faults during automated screwdriving operations, and introduce a new dataset containing fully monitored and registered data from a Universal Robot and OnRobot screwdriver during both normal and anomalous operations. We illustrate, with the use of two time-series ML models, how to detect faults in an automated screwdriving application.


title: Approximate viscosity solutions of path-dependent PDEs and Dupire's vertical differentiability

abstract: We introduce a notion of approximate viscosity solution for a class of nonlinear path-dependent PDEs (PPDEs), including the Hamilton-Jacobi-Bellman type equations. Existence, comparaison and stability results are established under fairly general conditions. It is also consistent with smooth solutions when the dimension is less or equal to two, or the non-linearity is concave in the second order space derivative. We finally investigate the regularity (in the sense of Dupire) of the solution to the PPDE.


title: Comparison of magnetic vector and total scalar potential formulations for finite-element modeling of dipole magnet with COMSOL Multiphysics

abstract: Finite-element simulations of magnetostatic fields are performed in terms of magnetic vector and total scalar potentials and compared for purpose of modeling the accelerator magnets. The potentials represent the unknown variables associated with the A and V formulations of magnetostatics to describe the magnetic fields. The simulations are carried out with a single software package, the COMSOL Multiphysics, where both formulations are implemented. The numerical performance of these methods is illustrated with the model example of a superconducting dipole magnet recently developed for operation in the isochronous cyclotron SC200. The results of calculations are analyzed and compared in terms of the relevant FEM parameters accounting for performance of computation as well as the computational cost. We show in particular that the use of scalar potential as compared to its vector counterpart substantially reduces the number of degrees of freedom, the usage of computer memory and the computational time for a similar relative error.


title: Bismut hypoelliptic Laplacians for manifolds with boundaries

abstract: Boundary conditions for Bismut's hypoelliptic Laplacian which naturally correspond to Dirichlet and Neumann boundary conditions for Hodge Laplacians are considered. Those are related with specific boundary conditions for the differential and its various adjoints. Once the closed realizations of those operators are well understood, the commutation of the differential with the resolvent of the hypoelliptic Laplacian is checked with other properties like the PT-symmetry, which are important for the spectral analysis.


title: Universal Approximation of Functions on Sets

abstract: Modelling functions of sets, or equivalently, permutation-invariant functions, is a long-standing challenge in machine learning. Deep Sets is a popular method which is known to be a universal approximator for continuous set functions. We provide a theoretical analysis of Deep Sets which shows that this universal approximation property is only guaranteed if the model's latent space is sufficiently high-dimensional. If the latent space is even one dimension lower than necessary, there exist piecewise-affine functions for which Deep Sets performs no better than a na\"ive constant baseline, as judged by worst-case error. Deep Sets may be viewed as the most efficient incarnation of the Janossy pooling paradigm. We identify this paradigm as encompassing most currently popular set-learning methods. Based on this connection, we discuss the implications of our results for set learning more broadly, and identify some open questions on the universality of Janossy pooling in general.


title: Entanglement recycled quantum key distribution scheme without sifting over arbitrary long distance

abstract: Quantum key distribution(QKD) is an important area in quantum information theory. Nowadays, there are many protocols such as BB84 protocol, Lo-Chau's protocol and GR10 protocol. They usually require legitimated parties have the ability to create particles, using a sifting procedures (BB84, GR10), or must destroy entangled states (Lo-Chau). In this paper, we give a QKD scheme which can recycle entangled states and need not to run sifting procedures. The protocol use teleportation and mutual unbiased bases of qudits. Moreover, The scheme can be modified to add a third party who assumes all the states creating procedures and so the communicated parties need not to create states. This is in fact an entanglement distribution protocol. Also, the protocol can be modified for distributing key over arbitrary long distance. We compare our protocol with the previous protocols and discuss the security of it by corresponding to BB84 protocol.


title: Diffusion Approximations of Markovian Solutions to Discontinuous ODEs

abstract: In a companion paper, the authors have characterized all deterministic semigroups, and all Markov semigroups, whose trajectories are Carathe'odory solutions to a given ODE x'=f(x), with f possibly discontinuous. The present paper establishes two approximation results. Namely, every deterministic semigroup can be obtained as the pointwise limit of the flows generated by a sequence of ODEs $x'=f_n(x) with smooth right hand sides. Moreover, every Markov semigroup can be obtained as limit of a sequence of diffusion processes with smooth drifts and with diffusion coefficients approaching zero.


title: Quantum key distribution over noisy channels by the testing state method

abstract: Quantum key distribution(QKD) might be the most famous application of quantum information theory. The idea of QKD is not difficult to understand but in practical implementations, many problems are needed to be solved, for example, the noise of the channels. Previous works usually discuss the estimate of the channels and employ error-correcting procedures, whose feasibility and efficiency depend on the strength of the noise, or assist with entanglement distillation procedures, which often result in a large consumption of states while not all states can be distilled. This paper aims to study QKD over noisy channels including Pauli noises, amplitude damping noises, phase damping noises, collective noises as well as mixtures of them, in any strength without distillations. We provide a method, called the testing state method, to implement QKD protocols without errors over arbitrarily strength noisy channels. The method can be viewed as an error-correcting procedure, and can also be employed for other tasks.


title: PandaDB: Understanding Unstructured Data in Graph Database

abstract: Unstructured data(e.g., images, videos, PDF files, etc.) contain semantic information, for example, the facial feature of a person and the plate number of a vehicle. There could be semantic relationships between data items which are not explicitly represented. For example, a person's face may appear in two irrelevant photos. Also, much information is represented as structured data(e.g., the person's name and age). End-users prefer to query the semantic information from unstructured data together with structured data based on the potential relationships among them. However, due to the lack of a unified database system for structured and unstructured data, developers have to comprise multiple systems and runtime together to answer these queries. In this work, we build an open-source graph database named PandaDB to consistently manage and query structured and unstructured data. We first introduce a graph data model to manage structured and unstructured data, then propose a new query language to understand the semantics of the unstructured data in the graph. Next, we develop a new cost model and related query optimization techniques to speed up the unstructured data processing pipeline. Finally, we optimize the unstructured data storage and provide the index to speed up the query processing over unstructured data. PandaDB is widely used in industrial applications like FinTech, Knowledge Graph, and Recommendation System. The results show PandaDB can support a large scale of unstructured data query processing in a graph.


title: Quantum key distribution based on orthogonal state encoding

abstract: Quantum key distribution(QKD) is one of the most significant areas in quantum information theory. For nearly four decades, substantial QKD schemes are developed. In early years, the security of QKD protocols is depend on switching different bases, namely based on non-orthogonal state encoding. The most famous example is the BB84 protocol. Later, other techniques were developed for orthogonal state encoding. Examples of such protocols include the GV protocol and order-rearrangement protocols. In this paper, we present two QKD protocols based on orthogonal state encoding. One of them does not need to employ order-rearrangement techniques while the other needs to. We provide analyses for them, demonstrating that they are highly efficient when considering consumptions of both qubits and classical bits. Furthermore, the employment of maximally entangled states could be less than previous ones and so the measurement efficiency could be increased. We also modify the protocols for implementing in noisy channels by applying the testing state method.


title: Managing Knowledge in Energy Data Spaces

abstract: Data in the energy domain grows at unprecedented rates and is usually generated by heterogeneous energy systems. Despite the great potential that big data-driven technologies can bring to the energy sector, general adoption is still lagging. Several challenges related to controlled data exchange and data integration are still not wholly achieved. As a result, fragmented applications are developed against energy data silos, and data exchange is limited to few applications. In this paper, we analyze the challenges and requirements related to energy-related data applications. We also evaluate the use of Energy Data Ecosystems (EDEs) as data-driven infrastructures to overcome the current limitations of fragmented energy applications. EDEs are inspired by the International Data Space (IDS) initiative launched in Germany at the end of 2014 with an overall objective to take both the development and use of the IDS reference architecture model to a European/global level. The reference architecture model consists of four architectures related to business, security, data and service, and software aspects. This paper illustrates the applicability of EDEs and IDS reference architecture in real-world scenarios from the energy sector. The analyzed scenario is positioned in the context of the EU-funded H2020 project PLATOON.


title: An analytical solution of the isentropic vortex problem in the special relativistic magnetohydrodynamics

abstract: The isentropic vortex problem is frequently solved to test the accuracy of numerical methods and verify corresponding code. Unfortunately, its existing solution was derived in the relativistic magnetohydrodynamics by numerically solving an ordinary differential equation. This note provides an analytical solution of the 2D isentropic vortex problem with explicit algebraic expressions in the special relativistic hydrodynamics and magnetohydrodynamics and extends it to the 3D case.


title: Indices of vector fields and 1-forms

abstract: We discuss the notions of indices of vector fields and 1-forms and their generalizations to singular varieties and varieties with actions of finite groups, as well as indices of collections of vector fields and 1-forms.


title: Some variational principles for the metric mean dimension of a semigroup action

abstract: In this manuscript we show that the metric mean dimension of a free semigroup action satisfies three variational principles: (a) the first one is based on a definition of Shapira's entropy, introduced in \cite{SH} for a singles dynamics and extended for a semigroup action in this note; (b) the second one treats about a definition of Katok's entropy for a free semigroup action introduced in \cite{CRV-IV}; (c) lastly we consider the local entropy function for a free semigroup action and show that the metric mean dimension satisfies a variational principle in terms of such function. Our results are inspired in the ones obtained by \cite{LT2019}, \cite{VV}, \cite{GS1} and \cite{RX}.


title: The MineRL BASALT Competition on Learning from Human Feedback

abstract: The last decade has seen a significant increase of interest in deep learning research, with many public successes that have demonstrated its potential. As such, these systems are now being incorporated into commercial products. With this comes an additional challenge: how can we build AI systems that solve tasks where there is not a crisp, well-defined specification? While multiple solutions have been proposed, in this competition we focus on one in particular: learning from human feedback. Rather than training AI systems using a predefined reward function or using a labeled dataset with a predefined set of categories, we instead train the AI system using a learning signal derived from some form of human feedback, which can evolve over time as the understanding of the task changes, or as the capabilities of the AI system improve. The MineRL BASALT competition aims to spur forward research on this important class of techniques. We design a suite of four tasks in Minecraft for which we expect it will be hard to write down hardcoded reward functions. These tasks are defined by a paragraph of natural language: for example, "create a waterfall and take a scenic picture of it", with additional clarifying details. Participants must train a separate agent for each task, using any method they want. Agents are then evaluated by humans who have read the task description. To help participants get started, we provide a dataset of human demonstrations on each of the four tasks, as well as an imitation learning baseline that leverages these demonstrations. Our hope is that this competition will improve our ability to build AI systems that do what their designers intend them to do, even when the intent cannot be easily formalized. Besides allowing AI to solve more tasks, this can also enable more effective regulation of AI systems, as well as making progress on the value alignment problem.