title: IPPO: Obstacle Avoidance for Robotic Manipulators in Joint Space via Improved Proximal Policy Optimization

abstract: Reaching tasks with random targets and obstacles is a challenging task for robotic manipulators. In this study, we propose a novel model-free reinforcement learning approach based on proximal policy optimization (PPO) for training a deep policy to map the task space to the joint space of a 6-DoF manipulator. To facilitate the training process in a large workspace, we develop an efficient representation of environmental inputs and outputs. The calculation of the distance between obstacles and manipulator links is incorporated into the state representation using a geometry-based method. Additionally, to enhance the performance of the model in reaching tasks, we introduce the action ensembles method and design the policy to directly participate in value function updates in PPO. To overcome the challenges associated with training in real-robot environments, we develop a simulation environment in Gazebo to train the model as it produces a smaller Sim-to-Real gap compared to other simulators. However, training in Gazebo is time-intensive. To address this issue, we propose a Sim-to-Sim method to significantly reduce the training time. The trained model is then directly applied in a real-robot setup without fine-tuning. To evaluate the performance of the proposed approach, we perform several rounds of experiments in both simulated and real robots. We also compare the performance of the proposed approach with six baselines. The experimental results demonstrate the effectiveness of the proposed method in performing reaching tasks with and without obstacles. our method outperformed the selected baselines by a large margin in different reaching task scenarios. A video of these experiments has been attached to the paper as supplementary material.


title: Monochromatic computed tomography using laboratory-scale setup: proof-of-concept

abstract: In this article, we demonstrate the viability of highly monochromatic full-field X-ray absorption near edge structure based tomography using a laboratory-scale Johann-type X-ray absorption spectrometer based on a conventional X-ray tube source. In this proof-of-concept, by using a phantom embedded with elemental Se, Na$_2$SeO$_3$, and Na$_2$SeO$_4$, we show that the three-dimensional distributions of Se in different oxidation states can be mapped and distinguished from the phantom matrix and each other with absorption edge contrast tomography. The presented method allows for volumetric analyses of chemical speciation in mm-scale samples using low-brilliance X-ray sources, and represents a new analytic tool for materials engineering and research in many fields including biology and chemistry.


title: Limitations of neural network training due to numerical instability of backpropagation

abstract: We study the training of deep neural networks by gradient descent where floating-point arithmetic is used to compute the gradients. In this framework and under realistic assumptions, we demonstrate that it is highly unlikely to find ReLU neural networks that maintain, in the course of training with gradient descent, superlinearly many affine pieces with respect to their number of layers. In virtually all approximation theoretical arguments that yield high-order polynomial rates of approximation, sequences of ReLU neural networks with exponentially many affine pieces compared to their numbers of layers are used. As a consequence, we conclude that approximating sequences of ReLU neural networks resulting from gradient descent in practice differ substantially from theoretically constructed sequences. The assumptions and the theoretical results are compared to a numerical study, which yields concurring results.


title: Low and high-energy localization landscapes for tight-binding Hamiltonians in 2D lattices

abstract: Localization of electronic wave functions in modern two-dimensional (2D) materials such as graphene can impact drastically their transport and magnetic properties. The recent localization landscape (LL) theory has brought many tools and theoretical results to understand such localization phenomena in the continuous setting, but with very few extensions so far to the discrete realm or to tight-binding Hamiltonians. In this paper, we show how this approach can be extended to almost all known 2D~lattices, and propose a systematic way of designing LL even for higher dimension. We demonstrate in detail how this LL theory works and predicts accurately not only the location, but also the energies of localized eigenfunctions in the low and high energy regimes for the honeycomb and hexagonal lattices, making it a highly promising tool for investigating the role of disorder in these materials.


title: Portfolio optimization with discrete simulated annealing

abstract: Portfolio optimization is an important process in finance that consists in finding the optimal asset allocation that maximizes expected returns while minimizing risk. When assets are allocated in discrete units, this is a combinatorial optimization problem that can be addressed by quantum and quantum-inspired algorithms. In this work we present an integer simulated annealing method to find optimal portfolios in the presence of discretized convex and non-convex cost functions. Our algorithm can deal with large size portfolios with hundreds of assets. We introduce a performance metric, the time to target, based on a lower bound to the cost function obtained with the continuous relaxation of the combinatorial optimization problem. This metric allows us to quantify the time required to achieve a solution with a given quality. We carry out numerical experiments and we benchmark the algorithm in two situations: (i) Monte Carlo instances are started at random, and (ii) the algorithm is warm-started with an initial instance close to the continuous relaxation of the problem. We find that in the case of warm-starting with convex cost functions, the time to target does not grow with the size of the optimization problem, so discretized versions of convex portfolio optimization problems are not hard to solve using classical resources. We have applied our method to the problem of re-balancing in the presence of non-convex transaction costs, and we have found that our algorithm can efficiently minimize those terms.


title: A Multi Camera Unsupervised Domain Adaptation Pipeline for Object Detection in Cultural Sites through Adversarial Learning and Self-Training

abstract: Object detection algorithms allow to enable many interesting applications which can be implemented in different devices, such as smartphones and wearable devices. In the context of a cultural site, implementing these algorithms in a wearable device, such as a pair of smart glasses, allow to enable the use of augmented reality (AR) to show extra information about the artworks and enrich the visitors' experience during their tour. However, object detection algorithms require to be trained on many well annotated examples to achieve reasonable results. This brings a major limitation since the annotation process requires human supervision which makes it expensive in terms of time and costs. A possible solution to reduce these costs consist in exploiting tools to automatically generate synthetic labeled images from a 3D model of the site. However, models trained with synthetic data do not generalize on real images acquired in the target scenario in which they are supposed to be used. Furthermore, object detectors should be able to work with different wearable devices or different mobile devices, which makes generalization even harder. In this paper, we present a new dataset collected in a cultural site to study the problem of domain adaptation for object detection in the presence of multiple unlabeled target domains corresponding to different cameras and a labeled source domain obtained considering synthetic images for training purposes. We present a new domain adaptation method which outperforms current state-of-the-art approaches combining the benefits of aligning the domains at the feature and pixel level with a self-training process. We release the dataset at the following link https://iplab.dmi.unict.it/OBJ-MDA/ and the code of the proposed architecture at https://github.com/fpv-iplab/STMDA-RetinaNet.


title: Stochastic differential equations driven by relative martingales

abstract: This paper contributes to the study of relative martingales. Specifically, for a closed random set $H$, they are processes null on $H$ which decompose as $M=m+v$, where $m$ is a c\`adl\`ag uniformly integrable martingale and, $v$ is a continuous process with integrable variations such that $v_{0}=0$ and $dv$ is carried by $H$. First, we extend this notion to stochastic processes not necessarily null on $H$, where $m$ is considered local martingale instead of a uniformly integrable martingale. Thus, we provide a general framework for the new larger class of relative martingales by presenting some structural properties. Second, as applications, we construct solutions for skew Brownian motion equations using continuous stochastic processes of the above mentioned new class. In addition, we investigate stochastic differential equations driven by a relative martingale.


title: Random rotor walks and i.i.d. sandpiles on Sierpinski graphs

abstract: We prove that, on the infinite Sierpinski gasket graph SG, rotor walk with random initial configuration of rotors is recurrent. We also give a necessary condition for an i.i.d. sandpile to stabilize. In particular, we prove that an i.i.d. sandpile with expected number of chips per site greater or equal to three does not stabilize almost surely. Furthermore, the proof also applies to divisible sandpiles and shows that divisible sandpile at critical density one does not stabilize almost surely on SG.


title: Using Artificial Intelligence in the Reconstruction of Signals from the PADME Electromagnetic Calorimeter

abstract: The PADME apparatus was built at the Frascati National Laboratory of INFN to search for a dark photon ($A'$) produced via the process $e^+ e^- \rightarrow A' \gamma$. The central component of the PADME detector is an electromagnetic calorimeter composed of 616 BGO crystals dedicated to the measurement of the energy and position of the final state photons. The high beam particle multiplicity over a short bunch duration requires reliable identification and measurement of overlapping signals. A regression machine-learning-based algorithm has been developed to disentangle with high efficiency close-in-time events and precisely reconstruct the amplitude of the hits and the time with sub-nanosecond resolution. The performance of the algorithm and the sequence of improvements leading to the achieved results are presented and discussed.


title: A Benchmark for Multi-Modal Lidar SLAM with Ground Truth in GNSS-Denied Environments

abstract: Lidar-based simultaneous localization and mapping (SLAM) approaches have obtained considerable success in autonomous robotic systems. This is in part owing to the high-accuracy of robust SLAM algorithms and the emergence of new and lower-cost lidar products. This study benchmarks current state-of-the-art lidar SLAM algorithms with a multi-modal lidar sensor setup showcasing diverse scanning modalities (spinning and solid-state) and sensing technologies, and lidar cameras, mounted on a mobile sensing and computing platform. We extend our previous multi-modal multi-lidar dataset with additional sequences and new sources of ground truth data. Specifically, we propose a new multi-modal multi-lidar SLAM-assisted and ICP-based sensor fusion method for generating ground truth maps. With these maps, we then match real-time pointcloud data using a natural distribution transform (NDT) method to obtain the ground truth with full 6 DOF pose estimation. This novel ground truth data leverages high-resolution spinning and solid-state lidars. We also include new open road sequences with GNSS-RTK data and additional indoor sequences with motion capture (MOCAP) ground truth, complementing the previous forest sequences with MOCAP data. We perform an analysis of the positioning accuracy achieved with ten different SLAM algorithm and lidar combinations. We also report the resource utilization in four different computational platforms and a total of five settings (Intel and Jetson ARM CPUs). Our experimental results show that current state-of-the-art lidar SLAM algorithms perform very differently for different types of sensors. More results, code, and the dataset can be found at: \href{https://github.com/TIERS/tiers-lidars-dataset-enhanced}{github.com/TIERS/tiers-lidars-dataset-enhanced.


title: A determinant for automorphisms of groups

abstract: Let $H$ and $K$ be groups. In this paper we introduce a concept of determinant for automorphisms of $H\times K$ and some concepts of incompatibility for group pairs as a measure of how much $H$ and $K$ are fare from being isomorphic. With the aid of the tools developed from these definitions, we give a characterisation of invertible automorphisms of $H\times K$ by means of their determinants and an explicit description of Aut($H\times K$) as a group of $2$-by-$2$ matrices, in case $H$ or $K$ belong to some relevant classes of groups. Many theoretical and practical applications of the determinants will be presented, together with examples and an analysis on some computational advantages of the determinants.


title: Cocoon breakout and escape from the ejecta of neutron star mergers

abstract: The cocoon is an inevitable product of a jet propagating through ambient matter, and takes a fair fraction of the jet energy. In short gamma-ray bursts, the ambient matter is the ejecta from the merger of neutron stars, expanding with a high velocity $\sim 0.2 c$, in contrast to the static stellar envelope in collapsars. Using 2D relativistic hydrodynamic simulations with the ejecta density profile as $\rho \propto r^{-2}$, we find that the expansion makes a big difference; only 0.5--5\% of the cocoon mass escapes from (faster than) the ejecta, with an opening angle $20^{\circ}$--$30^{\circ}$, while it is $\sim 100\%$ and spherical in collapsars. We also analytically obtain the shares of mass and energies for the escaped and trapped cocoons. Because the mass of the escaped cocoon is small and the trapped cocoon is concealed by the ejecta and the escaped cocoon, we conclude that it is unlikely that the cocoon emission was observed as a counterpart to the gravitational wave event GW170817.


title: Measurement of Trustworthiness of the Online Reviews

abstract: In electronic commerce (e-commerce)markets, a decision-maker faces a sequential choice problem. Third-party intervention plays an important role in making purchase decisions in this choice process. For instance, while purchasing products/services online, a buyer's choice or behavior is often affected by the overall reviewers' ratings, feedback, etc. Moreover, the reviewer is also a decision-maker. After purchase, the decision-maker would put forth their reviews for the product, online. Such reviews would affect the purchase decision of another potential buyer, who would read the reviews before conforming to his/her final purchase. The question that arises is \textit{how trustworthy are these review reports and ratings?} The trustworthiness of these review reports and ratings is based on whether the reviewer is a rational or an irrational person. Indexing the reviewer's rationality could be a way to quantify a reviewer's rationality but it does not communicate the history of his/her behavior. In this article, the researcher aims at formally deriving a rationality pattern function and thereby, the degree of rationality of the decision-maker or the reviewer in the sequential choice problem in the e-commerce markets. Applying such a rationality pattern function could make it easier to quantify the rational behavior of an agent who participates in the digital markets. This, in turn, is expected to minimize the information asymmetry within the decision-making process and identify the paid reviewers or manipulative reviews.


title: The extended Frobenius problem for Fibonacci sequences incremented by a Fibonacci number

abstract: We study the extended Frobenius problem for sequences of the form $\{f_a+f_n\}_{n\in\mathbb{N}}$, where $\{f_n\}_{n\in\mathbb{N}}$ is the Fibonacci sequence and $f_a$ is a Fibonacci number. As a consequence, we show that the family of numerical semigroups associated to these sequences satisfies the Wilf's conjecture.


title: Massive gravitino scattering amplitudes and the unitarity cutoff of the new Fayet-Iliopoulos terms

abstract: We compute the $2\rightarrow 2$ gravitino scattering amplitudes at tree level in supergravity theories where supersymmetry is spontaneously broken. In the unitary gauge, the gravitino becomes massive (of mass $m_{3/2}$) by absorbing the Goldstino, and the scattering amplitudes of its longitudinal polarisations grow with energy as $\kappa^2 E^4/m_{3/2}^2$, signaling a potential breakdown of unitarity at a scale $\Lambda^2\sim m_{3/2}/\kappa\sim M_{\mathrm{SUSY}}^2$. As we show explicitly in the Polonyi model, this leading term is cancelled by the contributions coming from the scalar partner of the Goldstino (sgoldstino), restoring perturbative unitarity up to the Planck scale. This is expected since supersymmetry is spontaneously broken, in analogy with the situation occuring in the Standard Model, where massive gauge bosons scattering preserves unitarity at high energy once we consider the contributions from the Higgs boson. However, when supersymmetry is broken by the new Fayet-Iliopoulos $D$-term, with ungauged R-symmetry, the above cancellation does not occur. In this case, the unbroken phase is singular and there is no contribution able to cancel the quartic divergences of the amplitudes, leading to a cutoff $\Lambda\sim M_\mathrm{SUSY}$ where the effective theory breaks down. The same behaviour is obtained when supersymmetry is non-linearly realised.


title: Preformation Probability and Kinematics of Clusters Emission yielding Pb-daughters

abstract: In the present study, the newly established preformation formula is applied for the first time to study the kinematics of the cluster emission from various radioactive nuclei, especially those decaying to the double-shell closure $^{208}$Pb nucleus and its neighbours as daughters. The recently proposed universal cluster preformation formula has been established based on the concepts that underscore the influence of the mass and charge asymmetry ($\eta_A$ and $\eta_Z$), cluster mass $A_c$ and the Q-value, paving the way to quantify the energy contribution during the preformation as well as the tunnelling process separately. The cluster-daughter interaction potential is obtained by folding the relativistic mean-field (RMF) densities with the recently developed microscopic R3Y using the NL$3^*$ and the phenomenological M3Y NN potentials to compare their adaptability. The penetration probabilities are calculated from the WKB approximation. With the inclusion of the new preformation probability $P_0$, the predicted half-lives from the R3Y and M3Y interactions are in good agreement with the experimental data. Furthermore, a careful inspection reflects slight differences in the decay half-lives, which arise from their respective barrier properties. The $P_0$ for the systems with the double magic shell closure $^{208}$Pb daughter are found to be relatively higher with an order of $\approx 10^2$ than those with neighbouring Pb-daughter nuclei. By exploring the contributions of the decay energy, the recoil effect of the daughter nucleus is appraised, unlike several other conjectures. Thus, the centrality of the Q-value in the decay process is demonstrated and re-defined within the preformed cluster-decay model. Besides, we have introduced a simple and intuitive set of criteria that governs the estimation of recoil energy in the cluster radioactivity.


title: Solar-MACH: An open-source tool to analyze solar magnetic connection configurations

abstract: The Solar MAgnetic Connection HAUS tool (Solar-MACH) is an open-source tool completely written in Python that derives and visualizes the spatial configuration and solar magnetic connection of different observers (i.e., spacecraft or planets) in the heliosphere at different times. For doing this, the magnetic connection in the interplanetary space is obtained by the classic Parker Heliospheric Magnetic Field (HMF). In close vicinity of the Sun, a Potential Field Source Surface (PFSS) model can be applied to connect the HMF to the solar photosphere. Solar-MACH is especially aimed at providing publication-ready figures for the analyses of Solar Energetic Particle events (SEPs) or solar transients such as Coronal Mass Ejections (CMEs). It is provided as an installable Python package (listed on PyPI and conda-forge), but also as a web tool at solar-mach.github.io that completely runs in any web browser and requires neither Python knowledge nor installation. The development of Solar-MACH is open to everyone and takes place on GitHub, where the source code is publicly available under the BSD 3-Clause License. Established Python libraries like sunpy and pfsspy are utilized to obtain functionalities when possible. In this article, the Python code of Solar-MACH is explained, and its functionality is demonstrated using real science examples. In addition, we introduce the overarching SERPENTINE project, the umbrella under which the recent development took place.


title: A strange term coming from the boundary data

abstract: In this paper, I derive the limiting behaviour of the solutions to Poisson's equation, in a perforated domain, subject to inhomogeneous Robin boundary conditions. In the first half of the paper, I derive a generalised limit for non-periodic domains and arbitrary boundary data. In the second half of this paper, I demonstrate that for periodically arranged spheres and identical Robin boundary data on each sphere, the homogenised limit of Poisson's equation satisfies the Helmholtz equation with an additional term in the domain data, which represents the contribution from the inhomogeneous Robin boundary data. These results are a generalisation of the work of Kaizu, who derived the limit of the solutions to the homogeneous Robin problem.


title: A high accuracy and low complexity quality control method for image compression

abstract: For large-scale still image coding tasks, the processing platform needs to ensure that the coded images meet the quality requirement. Therefore, the quality control algorithms that generate adaptive QP towards a target quality level for image coding are of significant research value. However, the existing quality control methods are limited by low accuracy, excessive computational cost, or temporal information dependence. In this paper, we propose a concise {\lambda} domain linear distortion model and an accurate model parameters estimation method based on the original data. Since the model parameters are obtained from the original data, the proposed method is decoupled from the RDO process and can be applied to different image encoders. Experiments show that the proposed quality control algorithm achieves the highest control accuracy and the lowest delay in the literature at the same time. The application of Alibaba's e-commerce platform also shows that the proposed algorithm can significantly reduce the overall bitrate while greatly reducing the bad case ratio.


title: Combinatorial and algebraic perspectives on the marginal independence structure of Bayesian networks

abstract: We consider the problem of estimating the marginal independence structure of a Bayesian network from observational data, learning an undirected graph we call the unconditional dependence graph. We show that unconditional dependence graphs of Bayesian networks correspond to the graphs having equal independence and intersection numbers. Using this observation, a Gr\"obner basis for a toric ideal associated to unconditional dependence graphs of Bayesian networks is given and then extended by additional binomial relations to connect the space of all such graphs. An MCMC method, called GrUES (Gr\"obner-based Unconditional Equivalence Search), is implemented based on the resulting moves and applied to synthetic Gaussian data. GrUES recovers the true marginal independence structure via a penalized maximum likelihood or MAP estimate at a higher rate than simple independence tests while also yielding an estimate of the posterior, for which the $20\%$ HPD credible sets include the true structure at a high rate for data-generating graphs with density at least $0.5$.

categories: stat.ME math.AG math.CO math.ST stat.ML stat.TH


title: BVI-VFI: A Video Quality Database for Video Frame Interpolation

abstract: Video frame interpolation (VFI) is a fundamental research topic in video processing, which is currently attracting increased attention across the research community. While the development of more advanced VFI algorithms has been extensively researched, there remains little understanding of how humans perceive the quality of interpolated content and how well existing objective quality assessment methods perform when measuring the perceived quality. In order to narrow this research gap, we have developed a new video quality database named BVI-VFI, which contains 540 distorted sequences generated by applying five commonly used VFI algorithms to 36 diverse source videos with various spatial resolutions and frame rates. We collected more than 10,800 quality ratings for these videos through a large scale subjective study involving 189 human subjects. Based on the collected subjective scores, we further analysed the influence of VFI algorithms and frame rates on the perceptual quality of interpolated videos. Moreover, we benchmarked the performance of 33 classic and state-of-the-art objective image/video quality metrics on the new database, and demonstrated the urgent requirement for more accurate bespoke quality assessment methods for VFI. To facilitate further research in this area, we have made BVI-VFI publicly available at https://github.com/danier97/BVI-VFI-database.


title: Random Data Augmentation based Enhancement: A Generalized Enhancement Approach for Medical Datasets

abstract: Over the years, the paradigm of medical image analysis has shifted from manual expertise to automated systems, often using deep learning (DL) systems. The performance of deep learning algorithms is highly dependent on data quality. Particularly for the medical domain, it is an important aspect as medical data is very sensitive to quality and poor quality can lead to misdiagnosis. To improve the diagnostic performance, research has been done both in complex DL architectures and in improving data quality using dataset dependent static hyperparameters. However, the performance is still constrained due to data quality and overfitting of hyperparameters to a specific dataset. To overcome these issues, this paper proposes random data augmentation based enhancement. The main objective is to develop a generalized, data-independent and computationally efficient enhancement approach to improve medical data quality for DL. The quality is enhanced by improving the brightness and contrast of images. In contrast to the existing methods, our method generates enhancement hyperparameters randomly within a defined range, which makes it robust and prevents overfitting to a specific dataset. To evaluate the generalization of the proposed method, we use four medical datasets and compare its performance with state-of-the-art methods for both classification and segmentation tasks. For grayscale imagery, experiments have been performed with: COVID-19 chest X-ray, KiTS19, and for RGB imagery with: LC25000 datasets. Experimental results demonstrate that with the proposed enhancement methodology, DL architectures outperform other existing methods. Our code is publicly available at: https://github.com/aleemsidra/Augmentation-Based-Generalized-Enhancement


title: Self-omics: A Self-supervised Learning Framework for Multi-omics Cancer Data

abstract: We have gained access to vast amounts of multi-omics data thanks to Next Generation Sequencing. However, it is challenging to analyse this data due to its high dimensionality and much of it not being annotated. Lack of annotated data is a significant problem in machine learning, and Self-Supervised Learning (SSL) methods are typically used to deal with limited labelled data. However, there is a lack of studies that use SSL methods to exploit inter-omics relationships on unlabelled multi-omics data. In this work, we develop a novel and efficient pre-training paradigm that consists of various SSL components, including but not limited to contrastive alignment, data recovery from corrupted samples, and using one type of omics data to recover other omic types. Our pre-training paradigm improves performance on downstream tasks with limited labelled data. We show that our approach outperforms the state-of-the-art method in cancer type classification on the TCGA pan-cancer dataset in semi-supervised setting. Moreover, we show that the encoders that are pre-trained using our approach can be used as powerful feature extractors even without fine-tuning. Our ablation study shows that the method is not overly dependent on any pretext task component. The network architectures in our approach are designed to handle missing omic types and multiple datasets for pre-training and downstream training. Our pre-training paradigm can be extended to perform zero-shot classification of rare cancers.


title: Federated Learning-Based Interference Modeling for Vehicular Dynamic Spectrum Access

abstract: A platoon-based driving is a technology allowing vehicles to follow each other at close distances to, e.g., save fuel. However, it requires reliable wireless communications to adjust their speeds. Recent studies have shown that the frequency band dedicated for vehicle-to-vehicle communications can be too busy for intra-platoon communications. Thus it is reasonable to use additional spectrum resources, of low occupancy, i.e., secondary spectrum channels. The challenge is to model the interference in those channels to enable proper channel selection. In this paper, we propose a two-layered Radio Environment Map (REM) that aims at providing platoons with accurate location-dependent interference models by using the Federated Learning approach. Each platoon is equipped with a Local REM that is updated on the basis of raw interference samples and previous interference model stored in the Global REM. The model in global REM is obtained by merging models reported by platoons. The nodes exchange only parameters of interference models, reducing the required control channel capacity. Moreover, in the proposed architecture platoon can utilize Local REM to predict channel occupancy, even when the connection to the Global REM is temporarily unavailable. The proposed system is validated via computer simulations considering non-trivial interference patterns.


title: $C^*$-irreducibility of commensurated subgroups

abstract: Given a commensurated subgroup $\Lambda$ of a group $\Gamma$, we completely characterize when the inclusion $\Lambda\leq \Gamma$ is $C^*$-irreducible and provide new examples of such inclusions. In particular, we obtain that $\rm{PSL}(n,\mathbb{Z})\leq\rm{PGL}(n,\mathbb{Q})$ is $C^*$-irreducible for any $n\in \mathbb{N}$, and that the inclusion of a $C^*$-simple group into its abstract commensurator is $C^*$-irreducible. The main ingredient that we use is the fact that the action of a commensurated subgroup $\Lambda\leq\Gamma$ on its Furstenberg boundary $\partial_F\Lambda$ can be extended in a unique way to an action of $\Gamma$ on $\partial_F\Lambda$. Finally, we also investigate the counterpart of this extension result for the universal minimal proximal space of a group.


title: Mastering Spatial Graph Prediction of Road Networks

abstract: Accurately predicting road networks from satellite images requires a global understanding of the network topology. We propose to capture such high-level information by introducing a graph-based framework that simulates the addition of sequences of graph edges using a reinforcement learning (RL) approach. In particular, given a partially generated graph associated with a satellite image, an RL agent nominates modifications that maximize a cumulative reward. As opposed to standard supervised techniques that tend to be more restricted to commonly used surrogate losses, these rewards can be based on various complex, potentially non-continuous, metrics of interest. This yields more power and flexibility to encode problem-dependent knowledge. Empirical results on several benchmark datasets demonstrate enhanced performance and increased high-level reasoning about the graph topology when using a tree-based search. We further highlight the superiority of our approach under substantial occlusions by introducing a new synthetic benchmark dataset for this task.


title: Dancing with the Unexpected and Beyond: The Use of AI Assistance in Design Fiction Creation

abstract: The creation process of design fiction is going participatory and inclusive with non experts. Recognizing the potential of artificial intelligence in creativity support, we explore the use of AI assistance in creating design fiction. This investigation is based on a workshop on future work in 2040 with Chinese youth. We look into fiction quality, participants experiences with the AI agent, and their ways of incorporating those texts into writing. Our findings show that human writers while responding to messy and unexpected AI-generated texts, can elevate the richness and creativity in writing and initiate joyful and inspirational interactions. Furthermore, for the design of AI assistance in creativity support, we suggest two implications of enhancing interactional quality between human and AI and prompt programming. Our study indicates the potential of applying design fiction outside the design context using a more inclusive approach for future speculation with critical reflection on technology.


title: Effects of Solar Activity, Solar Insolation and the Lower Atmospheric Dust on the Martian Thermosphere

abstract: A diagnosis of the Ar densities measured by the Neutral Gas and Ion Mass Spectrometer aboard the Mars Atmosphere and Volatile EvolutioN (MAVEN) and the temperatures derived from these densities shows that solar activity, solar insolation, and the lower atmospheric dust are the dominant forcings of the Martian thermosphere. A methodology, based on multiple linear regression analysis, is developed to quantify the contributions of the dominant forcings to the densities and temperatures. The results of the present study show that a 100 sfu (solar flux units) change in the solar activity results in approx. 136 K corresponding change in the thermospheric temperatures. The solar insolation constrains the seasonal, latitudinal, and diurnal variations to be interdependent. Diurnal variation dominates the solar insolation variability, followed by the latitudinal and seasonal variations. Both the global and regional dust storms lead to considerable enhancements in the densities and temperatures of the Martian thermosphere. Using past data of the solar fluxes and the dust optical depths, the state of the Martian thermosphere is extrapolated back to Martian year (MY) 24. While the global dust storms of MY 25, MY 28 and MY 34 raise the thermospheric temperatures by approx. 22-38 K, the regional dust storm of MY 34 leads to approx. 15 K warming. Dust driven thermospheric temperatures alone can enhance the hydrogen escape fluxes by 1.67-2.14 times compared to those without the dust. Dusts effects are relatively significant for global dust storms that occur in solar minimum compared to those that occur in solar maximum.


title: NLP-based classification of software tools for metagenomics sequencing data analysis into EDAM semantic annotation

abstract: Motivation: The rapid growth of metagenomics sequencing data makes metagenomics increasingly dependent on computational and statistical methods for fast and efficient analysis. Consequently, novel analysis tools for big-data metagenomics are constantly emerging. One of the biggest challenges for researchers occurs in the analysis planning stage: selecting the most suitable metagenomics software tool to gain valuable insights from sequencing data. The building process of data analysis pipelines is often laborious and time-consuming since it requires a deep and critical understanding of how to apply a particular tool to complete a specified metagenomics task. Results: We have addressed this challenge by using machine learning methods to develop a classification system of metagenomics software tools into 13 classes (11 semantic annotations of EDAM and two virus-specific classes) based on the descriptions of the tools. We trained three classifiers (Naive Bayes, Logistic Regression, and Random Forest) using 15 text feature extraction techniques (TF-IDF, GloVe, BERT-based models, and others). The manually curated dataset includes 224 software tools and contains text from the abstract and the methods section of the tools' publications. The best classification performance, with an Area Under the Precision-Recall Curve score of 0.85, is achieved using Logistic regression, BioBERT for text embedding, and text from abstracts only. The proposed system provides accurate and unified identification of metagenomics data analysis tools and tasks, which is a crucial step in the construction of metagenomics data analysis pipelines.


title: Square-root regret bounds for continuous-time episodic Markov decision processes

abstract: We study reinforcement learning for continuous-time Markov decision processes (MDPs) in the finite-horizon episodic setting. In contrast to discrete-time MDPs, the inter-transition times of a continuous-time MDP are exponentially distributed with rate parameters depending on the state--action pair at each transition. We present a learning algorithm based on the methods of value iteration and upper confidence bound. We derive an upper bound on the worst-case expected regret for the proposed algorithm, and establish a worst-case lower bound, both bounds are of the order of square-root on the number of episodes. Finally, we conduct simulation experiments to illustrate the performance of our algorithm.


title: SafeSoftDR: A Library to Enable Software-based Diverse Redundancy for Safety-Critical Tasks

abstract: Applications with safety requirements have become ubiquitous nowadays and can be found in edge devices of all kinds. However, microcontrollers in those devices, despite offering moderate performance by implementing multicores and cache hierarchies, may fail to offer adequate support to implement some safety measures needed for the highest integrity levels, such as lockstepped execution to avoid so-called common cause failures (i.e., a fault affecting redundant components causing the same error in all of them). To respond to this limitation, an approach based on a software monitor enforcing some sort of software-based lockstepped execution across cores has been proposed recently, providing a proof of concept. This paper presents SafeSoftDR, a library providing a standard interface to deploy software-based lockstepped execution across non-natively lockstepped cores relieving end-users from having to manage the burden to create redundant processes, copying input/output data, and performing result comparison. Our library has been tested on x86-based Linux and is currently being integrated on top of an open-source RISC-V platform targeting safety-related applications, hence offering a convenient environment for safety-critical applications.


title: Merging Classification Predictions with Sequential Information for Lightweight Visual Place Recognition in Changing Environments

abstract: Low-overhead visual place recognition (VPR) is a highly active research topic. Mobile robotics applications often operate under low-end hardware, and even more hardware capable systems can still benefit from freeing up onboard system resources for other navigation tasks. This work addresses lightweight VPR by proposing a novel system based on the combination of binary-weighted classifier networks with a one-dimensional convolutional network, dubbed merger. Recent work in fusing multiple VPR techniques has mainly focused on increasing VPR performance, with computational efficiency not being highly prioritized. In contrast, we design our technique prioritizing low inference times, taking inspiration from the machine learning literature where the efficient combination of classifiers is a heavily researched topic. Our experiments show that the merger achieves inference times as low as 1 millisecond, being significantly faster than other well-established lightweight VPR techniques, while achieving comparable or superior VPR performance on several visual changes such as seasonal variations and viewpoint lateral shifts.


title: Continuous Simulation Data Stream: A dynamical timescale-dependent output scheme for simulations

abstract: Exa-scale simulations are on the horizon but almost no new design for the output has been proposed in recent years. In simulations using individual time steps, the traditional snapshots are over resolving particles/cells with large time steps and are under resolving the particles/cells with short time steps. Therefore, they are unable to follow fast events and use efficiently the storage space. The Continuous Simulation Data Stream (CSDS) is designed to decrease this space while providing an accurate state of the simulation at any time. It takes advantage of the individual time step to ensure the same relative accuracy for all the particles. The outputs consist of a single file representing the full evolution of the simulation. Within this file, the particles are written independently and at their own frequency. Through the interpolation of the records, the state of the simulation can be recovered at any point in time. In this paper, we show that the CSDS can reduce the storage space by 2.76x for the same accuracy than snapshots or increase the accuracy by 67.8x for the same storage space whilst retaining an acceptable reading speed for analysis. By using interpolation between records, the CSDS provides the state of the simulation, with a high accuracy, at any time. This should largely improve the analysis of fast events such as supernovae and simplify the construction of light-cone outputs.

categories: astro-ph.IM astro-ph.EP astro-ph.GA astro-ph.SR physics.comp-ph


title: Fissile isotopes antineutrino spectra: summation method and direct experiment

abstract: New antineutrino spectra of fissile isotopes ($^{235}$U, $^{238}$U, $^{239}$Pu and $^{241}$Pu) which are containing in a nuclear reactor fuel have been obtained. A combined technique was used: calculation of antineutrino spectra and their fitting to those obtained in the experiment at the Rovno NPP in the 80s of the last century. The cross sections of fissile isotopes calculated with these spectra describe well the cross section obtained experimentally in the Double Chooz experiment. The calculated cross section for the same reactor core composition is $\sigma_{f} = (5.82 \pm 0.12)\times10^{-43}$ cm$^2$/fission. It is the closest result between all predicted. The obtained spectra have the same "bump" as experimental ones in 5 MeV observed energy region.


title: Issues in Palatini ${\cal{R}}^2$ inflation: Bounds on the Reheating Temperature

abstract: We consider ${\cal{R}}^2$-inflation in Palatini gravity, in the presence of scalar fields coupled to gravity. These theories, in the Einstein frame, and for one scalar field $h$, share common features with $K$ - inflation models. We apply this formalism for the study of single-field inflationary models, whose potentials are monomials, $ V \sim h^{n} $, with $ n $ a positive even integer. We also study the Higgs model non-minimally coupled to gravity. With ${\cal{R}}^2$-terms coupled to gravity as $\sim \alpha {\cal{R}}^2 $, with $\alpha$ constant, the instantaneous reheating temperature $T_{ins}$, is bounded by $ T_{ins} \leq { 0.290 \, m_{Planck}} / {\, \alpha^{1/4}} $, with the upper bound being saturated for large $\alpha$. For such large $\alpha$ need go beyond slow-roll to calculate reliably the cosmological parameters, among these the end of inflation through which $T_{ins}$ is determined. In fact, as inflaton rolls towards the end of inflation point, the quartic in the velocity terms, unavoidable in Palatini gravity, play a significant role and can not be ignored. The values of $\alpha$, and other parameters, are constrained by cosmological data, setting bounds on the inflationary scale $M_{s} \sim 1/\sqrt{\alpha}$ and the reheating temperature of the Universe.


title: Analysis of the primal-dual central path for nonlinear semidefinite optimization without the nondegeneracy condition

abstract: We study properties of the central path underlying a nonlinear semidefinite optimization problem, called NSDP for short. The latest radical work on this topic was contributed by Yamashita and Yabe (2012): they proved that the Jacobian of a certain equation-system derived from the Karush-Kuhn-Tucker (KKT) conditions of the NSDP is nonsingular at a KKT point under the second-order sufficient condition (SOSC), the strict complementarity condition (SC), and the nondegeneracy condition (NC). This yields uniqueness and existence of the central path through the implicit function theorem. In this paper, we consider the following three assumptions on a KKT point: the strong SOSC, the SC, and the Mangasarian-Fromovitz constraint qualification. Under the absence of the NC, the Lagrange multiplier set is not necessarily a singleton and the nonsingularity of the above-mentioned Jacobian is no longer valid. Nonetheless, we establish that the central path exists uniquely, and moreover prove that the dual component of the path converges to the so-called analytic center of the Lagrange multiplier set. As another notable result, we clarify a region around the central path where Newton's equations relevant to primal-dual interior point methods are uniquely solvable.


title: A recognition principle for iterated suspensions as coalgebras over the little cubes operad

abstract: Our main result is a recognition principle for iterated suspensions as coalgebras over the little disks operads. Given a topological operad, we construct a comonad in pointed topological spaces endowed with the wedge product. We then prove an approximation theorem that shows that the comonad associated to the little $n$-cubes operad is weakly equivalent to the comonad $\Sigma^n \Omega^n$ arising from the suspension-loop space adjunction. Finally, our recognition theorem states that every little $n$-cubes coalgebra is homotopy equivalent to an $n$-fold suspension. These results are the Eckmann--Hilton dual of May's foundational results on iterated loop spaces.


title: Deconfinement transition and localization of Dirac modes in finite-temperature $\mathbb{Z}_3$ gauge theory on the lattice

abstract: We study the localization properties of the eigenmodes of the staggered Dirac operator across the deconfinement transition in finite-temperature $\mathbb{Z}_3$ pure gauge theory on the lattice in 2+1 dimensions. This allows for nontrivial tests of the sea-islands picture of localization, according to which low modes should localize on favorable Polyakov-loop fluctuations in the deconfined phase of a gauge theory. We observe localized low modes in the deconfined phase of the theory, both in the real Polyakov-loop sector, where they are expected, and in the complex Polyakov-loop sectors, where they are not. Our findings expose the limitations of the standard sea-islands picture, and call for its refinement. An improved picture, where spatial hopping terms play a more prominent role, is proposed and found to be in excellent agreement with numerical results.


title: Smooth image-to-image translations with latent space interpolations

abstract: Multi-domain image-to-image (I2I) translations can transform a source image according to the style of a target domain. One important, desired characteristic of these transformations, is their graduality, which corresponds to a smooth change between the source and the target image when their respective latent-space representations are linearly interpolated. However, state-of-the-art methods usually perform poorly when evaluated using inter-domain interpolations, often producing abrupt changes in the appearance or non-realistic intermediate images. In this paper, we argue that one of the main reasons behind this problem is the lack of sufficient inter-domain training data and we propose two different regularization methods to alleviate this issue: a new shrinkage loss, which compacts the latent space, and a Mixup data-augmentation strategy, which flattens the style representations between domains. We also propose a new metric to quantitatively evaluate the degree of the interpolation smoothness, an aspect which is not sufficiently covered by the existing I2I translation metrics. Using both our proposed metric and standard evaluation protocols, we show that our regularization techniques can improve the state-of-the-art multi-domain I2I translations by a large margin. Our code will be made publicly available upon the acceptance of this article.


title: A micromechanics-based recurrent neural networks model for path-dependent cyclic deformation of short fiber composites

abstract: The macroscopic response of short fiber reinforced composites is dependent on an extensive range of microstructural parameters. Thus, micromechanical modeling of these materials is challenging and in some cases, computationally expensive. This is particularly important when path-dependent plastic behavior is needed to be predicted. A solution to this challenge is to enhance micromechanical solutions with machine learning techniques such as artificial neural networks. In this work, a recurrent deep neural network model is trained to predict the path-dependent elasto-plastic stress response of short fiber reinforced composites, given the microstructural parameters and the strain path. Micromechanical meanfield simulations are conducted to create a data base for training the validating the model. The model gives very accurate predictions in a computationally efficient manner when compared with independent micromechanical simulations.


title: Early or Late Fusion Matters: Efficient RGB-D Fusion in Vision Transformers for 3D Object Recognition

abstract: The Vision Transformer (ViT) architecture has established its place in computer vision literature, however, training ViTs for RGB-D object recognition remains an understudied topic, viewed in recent literature only through the lens of multi-task pretraining in multiple vision modalities. Such approaches are often computationally intensive, relying on the scale of multiple pretraining datasets to align RGB with 3D information. In this work, we propose a simple yet strong recipe for transferring pretrained ViTs in RGB-D domains for 3D object recognition, focusing on fusing RGB and depth representations encoded jointly by the ViT. Compared to previous works in multimodal Transformers, the key challenge here is to use the attested flexibility of ViTs to capture cross-modal interactions at the downstream and not the pretraining stage. We explore which depth representation is better in terms of resulting accuracy and compare early and late fusion techniques for aligning the RGB and depth modalities within the ViT architecture. Experimental results in the Washington RGB-D Objects dataset (ROD) demonstrate that in such RGB -> RGB-D scenarios, late fusion techniques work better than most popularly employed early fusion. With our transfer baseline, fusion ViTs score up to 95.4% top-1 accuracy in ROD, achieving new state-of-the-art results in this benchmark. We further show the benefits of using our multimodal fusion baseline over unimodal feature extractors in a synthetic-to-real visual adaptation as well as in an open-ended lifelong learning scenario in the ROD benchmark, where our model outperforms previous works by a margin of >8%. Finally, we integrate our method with a robot framework and demonstrate how it can serve as a perception utility in an interactive robot learning scenario, both in simulation and with a real robot.


title: A Dual Realization of Chua's Chaotic Oscillator Using a Current-Controlled Nonlinear Resistor

abstract: A dual realization of Chuas chaotic oscillator is proposed using current-controlled nonlinear resistors, one linear resistor, one capacitor and two inductors. Two problems are solved. First, unit rescaling is necessary when transforming the standard chaotic equations into circuit equations to ensure that the current units are milliamperes. In addition, the connection and parameters of two current-controlled nonlinear resistors are set to build the required volt-ampere characteristics. The inductor currents show the classical characteristics of being sensitive to the circuit parameters and initial conditions. In addition, experimental verification is performed to demonstrate the feasibility of the circuit. Chuas dual circuit exhibits rich dynamic chaotic features and might bring new applications due to chaotic currents.


title: Computational Design of Corrosion-resistant and Wear-resistant Titanium Alloys for Orthopedic Implants

abstract: Titanium alloys are promising candidates for orthopedic implants due to their mechanical resilience and biocompatibility. Current titanium alloys in orthopedic implants still suffer from low wear and corrosion resistance. Here, we present a computational method for optimizing the composition of titanium alloys for enhanced corrosion and wear resistance without compromising on other aspects such as phase stability, biocompatibility, and strength. We use the cohesive energy, oxide formation energy, surface work function, and the elastic shear modulus of pure elements as proxy descriptors to guide us towards alloys with enhanced wear and corrosion resistance. For the best-selected candidates, we then use the CALPHAD approach, as implemented in the Thermo-Calc software, to calculate the phase diagram, yield strength, hardness, Pourbaix diagram, and the Pilling-Bedworth (PB) ratio. These calculations are used to assess the thermodynamic stability, biocompatibility, corrosion resistance, and wear resistance of the selected alloys. Additionally, we provide insights about the role of silicon on improving the corrosion and wear resistance of alloys.


title: An image processing pipeline for in-situ dynamic X-ray imaging of directional solidification of metal alloys in thin cells

abstract: We present an image processing algorithm developed for quantitative analysis of directional solidification of metal alloys in thin cells using X-ray imaging. Our methodology allows to identify the fluid volume, fluid channels and cavities, and to separate them from the solidified structures. It also allows morphological analysis within the solid fraction, including automatic decomposition into dominant grains by orientation and connectivity. In addition, the interplay between solidification and convection can be studied by characterizing convection plumes in the fluid, and solute concentrations above the developing solidification front. The image filters used enable the developed code (open-source) to work reliably even for single images with low signal-to-noise ratio, low contrast-to-noise ratio, and low image resolution. This is demonstrated by applying the code to several dynamic in situ X-ray imaging experiments with a solidifying gallium-indium alloy in a thin cell. Grain (and global) dendrite orientation statistics, convective plume parameterization, etc. can be obtained from the code output. The limitations of the presented approach are also explained.


title: Review of Clustering Methods for Functional Data

abstract: Functional data clustering is to identify heterogeneous morphological patterns in the continuous functions underlying the discrete measurements/observations. Application of functional data clustering has appeared in many publications across various fields of sciences, including but not limited to biology, (bio)chemistry, engineering, environmental science, medical science, psychology, social science, etc. The phenomenal growth of the application of functional data clustering indicates the urgent need for a systematic approach to develop efficient clustering methods and scalable algorithmic implementations. On the other hand, there is abundant literature on the cluster analysis of time series, trajectory data, spatio-temporal data, etc., which are all related to functional data. Therefore, an overarching structure of existing functional data clustering methods will enable the cross-pollination of ideas across various research fields. We here conduct a comprehensive review of original clustering methods for functional data. We propose a systematic taxonomy that explores the connections and differences among the existing functional data clustering methods and relates them to the conventional multivariate clustering methods. The structure of the taxonomy is built on three main attributes of a functional data clustering method and therefore is more reliable than existing categorizations. The review aims to bridge the gap between the functional data analysis community and the clustering community and to generate new principles for functional data clustering.


title: Toward Trustworthy Neural Program Synthesis

abstract: We develop an approach to estimate the probability that a program sampled from a large language model is correct. Given a natural language description of a programming problem, our method samples both candidate programs as well as candidate predicates specifying how the program should behave. This allows learning a model that forms a well-calibrated probabilistic prediction of program correctness. Our system also infers which predicates are useful to explain the behavior of the generated code, and humans preferred these in a human study over raw language model outputs. Our method is simple, easy to implement, and maintains state of the art generation accuracy results.


title: Scaling Laws for a Multi-Agent Reinforcement Learning Model

abstract: The recent observation of neural power-law scaling relations has made a significant impact in the field of deep learning. A substantial amount of attention has been dedicated as a consequence to the description of scaling laws, although mostly for supervised learning and only to a reduced extent for reinforcement learning frameworks. In this paper we present an extensive study of performance scaling for a cornerstone reinforcement learning algorithm, AlphaZero. On the basis of a relationship between Elo rating, playing strength and power-law scaling, we train AlphaZero agents on the games Connect Four and Pentago and analyze their performance. We find that player strength scales as a power law in neural network parameter count when not bottlenecked by available compute, and as a power of compute when training optimally sized agents. We observe nearly identical scaling exponents for both games. Combining the two observed scaling laws we obtain a power law relating optimal size to compute similar to the ones observed for language models. We find that the predicted scaling of optimal neural network size fits our data for both games. This scaling law implies that previously published state-of-the-art game-playing models are significantly smaller than their optimal size, given the respective compute budgets. We also show that large AlphaZero models are more sample efficient, performing better than smaller models with the same amount of training data.


title: Concepts and Experiments on Psychoanalysis Driven Computing

abstract: This research investigates the effective incorporation of the human factor and user perception in text-based interactive media. In such contexts, the reliability of user texts is often compromised by behavioural and emotional dimensions. To this end, several attempts have been made in the state of the art, to introduce psychological approaches in such systems, including computational psycholinguistics, personality traits and cognitive psychology methods. In contrast, our method is fundamentally different since we employ a psychoanalysis-based approach; in particular, we use the notion of Lacanian discourse types, to capture and deeply understand real (possibly elusive) characteristics, qualities and contents of texts, and evaluate their reliability. As far as we know, this is the first time computational methods are systematically combined with psychoanalysis. We believe such psychoanalytic framework is fundamentally more effective than standard methods, since it addresses deeper, quite primitive elements of human personality, behaviour and expression which usually escape methods functioning at "higher", conscious layers. In fact, this research is a first attempt to form a new paradigm of psychoanalysis-driven interactive technologies, with broader impact and diverse applications. To exemplify this generic approach, we apply it to the case-study of fake news detection; we first demonstrate certain limitations of the well-known Myers-Briggs Type Indicator (MBTI) personality type method, and then propose and evaluate our new method of analysing user texts and detecting fake news based on the Lacanian discourses psychoanalytic approach.


title: How close Are Integrable and Non-integrable Models: A Parametric Case Study Based on the Salerno Model

abstract: In the present work we revisit the Salerno model as a prototypical system that interpolates between a well-known integrable system (the Ablowitz-Ladik lattice) and an experimentally tractable non-integrable one (the discrete nonlinear Schr\"odinger model). The question we ask is: for "generic" initial data, how close are the integrable to the non-integrable models? Our more precise formulation of this question is: how well is the constancy of formerly conserved quantities preserved in the non-integrable case? Upon examining this, we find that even slight deviations from integrability can be sensitively felt by measuring these formerly conserved quantities in the case of the Salerno model. However, given that the knowledge of these quantities requires a deep physical and mathematical analysis of the system, we seek a more "generic" diagnostic towards a manifestation of integrability breaking. We argue, based on our Salerno model computations, that the full spectrum of Lyapunov exponents could be a sensitive diagnostic to that effect.


title: A note on the potentials of probabilistic and fuzzy logic

abstract: This paper mainly focuses on (1) a generalized treatment of fuzzy sets of type $n$, where $n$ is an integer larger than or equal to $1$, with an example, mathematical discussions, and real-life interpretation of the given mathematical concepts; (2) the potentials and links between fuzzy logic and probability logic that have not been discussed in one document in literature; (3) representation of real-life random and fuzzy uncertainties and ambiguities that arise in data-driven real-life problems, due to uncertain mathematical and vague verbal terms in datasets.


title: Road Network Variation Based on HD Map Analysis for the Simulative Safety Assurance of Automated Vehicles

abstract: The validation and verification of automated driving functions (ADFs) is a challenging task on the journey of making those functions available to the public beyond the current research context. Simulation is a valuable building block for scenario-based testing that can help to model traffic situations that are relevant for ADFs. In addition to the surrounding traffic and environment of the ADF under test, the logical description and automated generation of concrete road networks have an important role. We aim to reduce efforts for manual map generation and to improve the automated testing process during development. Hence, this paper proposes a method to analyze real road networks and extract relevant parameters for the variation of synthetic simulation maps that correspond to real-world properties. Consequently, characteristics for inner-city junctions are selected from Here HD map. Then, parameter distributions are determined, analyzed and used to generate variations of road networks in the OpenDRIVE standard. The presented methodology enables efficient road network modeling which can be used for large scale simulations. The developed road network generation tool is publicly available on GitHub.


title: Deep learning and multi-level featurization of graph representations of microstructural data

abstract: Many material response functions depend strongly on microstructure, such as inhomogeneities in phase or orientation. Homogenization presents the task of predicting the mean response of a sample of the microstructure to external loading for use in subgrid models and structure-property explorations. Although many microstructural fields have obvious segmentations, learning directly from the graph induced by the segmentation can be difficult because this representation does not encode all the information of the full field. We develop a means of deep learning of hidden features on the reduced graph given the native discretization and a segmentation of the initial input field. The features are associated with regions represented as nodes on the reduced graph. This reduced representation is then the basis for the subsequent multi-level/scale graph convolutional network model. There are a number of advantages of reducing the graph before fully processing with convolutional layers it, such as interpretable features and efficiency on large meshes. We demonstrate the performance of the proposed network relative to convolutional neural networks operating directly on the native discretization of the data using three physical exemplars.


title: The spectrum of local random Hamiltonians

abstract: The spectrum of a local random Hamiltonian can be represented generically by the so-called $\epsilon$-free convolution of its local terms' probability distributions. We establish an isomorphism between the set of $\epsilon$-noncrossing partitions and permutations to study its spectrum. Moreover, we derive some lower and upper bounds for the largest eigenvalue of the Hamiltonian.


title: A forensic analysis of the Google Home: repairing compressed data without error correction

abstract: This paper provides a detailed explanation of the steps taken to extract and repair a Google Home's internal data. Starting with reverse engineering the hardware of a commercial off-the-shelf Google Home, internal data is then extracted by desoldering and dumping the flash memory. As error correction is performed by the CPU using an undisclosed method, a new alternative method is shown to repair a corrupted SquashFS filesystem, under the assumption of a single or double bitflip per gzip-compressed fragment. Finally, a new method to handle multiple possible repairs using three-valued logic is presented.


title: Improving Kerr QND measurement sensitivity via squeezed light

abstract: In ref [Phys. Rev. A 106, 013720], the scheme of quantum non-demolition measurement of optical quanta that uses a resonantly enhanced Kerr nonlinearity in optical microresonators was analyzed theoretically. It was shown that using the modern high-Q microresonators, it is possible to achieve the sensitivity several times better than the standard quantum limit. Here we propose and analyze in detail a significantly improved version of that scheme. We show, that by using a squeezed quantum state of the probe beam and the anti-squeezing (parametric amplification) of this beam at the output of the microresonator, it is possible to reduce the measurement imprecision by about one order of magnitude. The resulting sensitivity allows to generate and verify multi-photon non-Gaussian quantum states of light, making the scheme considered here interesting for the quantum information processing tasks.


title: Enhancing Interpretability and Interactivity in Robot Manipulation: A Neurosymbolic Approach

abstract: In this paper we present a neurosymbolic architecture for coupling language-guided visual reasoning with robot manipulation. A non-expert human user can prompt the robot using unconstrained natural language, providing a referring expression (REF), a question (VQA), or a grasp action instruction. The system tackles all cases in a task-agnostic fashion through the utilization of a shared library of primitive skills. Each primitive handles an independent sub-task, such as reasoning about visual attributes, spatial relation comprehension, logic and enumeration, as well as arm control. A language parser maps the input query to an executable program composed of such primitives, depending on the context. While some primitives are purely symbolic operations (e.g. counting), others are trainable neural functions (e.g. visual grounding), therefore marrying the interpretability and systematic generalization benefits of discrete symbolic approaches with the scalability and representational power of deep networks. We generate a 3D vision-and-language synthetic dataset of tabletop scenes in a simulation environment to train our approach and perform extensive evaluations in both synthetic and real-world scenes. Results showcase the benefits of our approach in terms of accuracy, sample-efficiency, and robustness to the user's vocabulary, while being transferable to real-world scenes with few-shot visual fine-tuning. Finally, we integrate our method with a robot framework and demonstrate how it can serve as an interpretable solution for an interactive object-picking task, both in simulation and with a real robot. We make our datasets available in https://gtziafas.github.io/neurosymbolic-manipulation.


title: Requirements Engineering for Machine Learning: A Review and Reflection

abstract: Today, many industrial processes are undergoing digital transformation, which often requires the integration of well-understood domain models and state-of-the-art machine learning technology in business processes. However, requirements elicitation and design decision making about when, where and how to embed various domain models and end-to-end machine learning techniques properly into a given business workflow requires further exploration. This paper aims to provide an overview of the requirements engineering process for machine learning applications in terms of cross domain collaborations. We first review the literature on requirements engineering for machine learning, and then go through the collaborative requirements analysis process step-by-step. An example case of industrial data-driven intelligence applications is also discussed in relation to the aforementioned steps.


title: Ollivier Ricci curvature of Cayley graphs for dihedral groups, generalized quaternion groups, and cyclic groups

abstract: Lin, Lu, and Yau formulated the Ricci curvature of edges in simple undirected graphs[2]. Using their formulations, we calculate the Ricci curvatures of Cayley graphs for the dihedral groups, the general quaternion groups, and cyclic groups with some generating sets that are chosen so that their cardinal numbers are less than or equal to four. For the dihedral group and the general quaternion group, we obtained the Ricci curvatures of all edges of the Cayley graph with generator sets consisting of the four elements that are the two generators defining each group and their inverses elements.For the cyclic group (Z/nZ, +), we have the Ricci curvatures of edges of the Cayley graph generating by S_{1, k} = {+1, -1, +k, -k}.


title: A hybrid discrete exterior calculus and finite difference method for Boussinesq convection in spherical shells

abstract: We present a new hybrid discrete exterior calculus (DEC) and finite difference (FD) method to simulate fully three-dimensional Boussinesq convection in spherical shells subject to internal heating and basal heating, relevant in the planetary and stellar phenomenon. We employ DEC to compute the surface spherical flows, taking advantage of its unique features of structure preservation (e.g., conservation of secondary quantities like kinetic energy) and coordinate system independence, while we discretize the radial direction using FD method. The grid employed for this novel method is free of problems like the coordinate singularity, grid non-convergence near the poles, and the overlap regions. We have developed a parallel in-house code using the PETSc framework to verify the hybrid DEC-FD formulation and demonstrate convergence. We have performed a series of numerical tests which include quantification of the critical Rayleigh numbers for spherical shells characterized by aspect ratios ranging from 0.2 to 0.8, simulation of robust convective patterns in addition to stationary giant spiral roll covering all the spherical surface in moderately thin shells near the weakly nonlinear regime, and the quantification of Nusselt and Reynolds numbers for basally heated spherical shells. The method exhibits slightly better than second order error convergence with the mesh size.


title: On EMV-algebras with square roots

abstract: A square root is a unary operation with some special properties. In the paper, we introduce and study square roots on EMV-algebras. First, the known properties of square roots defined on MV-algebras will be generalized for EMV-algebras, and we also find some new ones for MV-algebras. We use square roots to characterize EMV-algebras. Then, we find a relation between the square root of an EMV-algebra and the square root on its representing EMV-algebra with top element. We show that each strict EMV-algebra has a top element and we investigate the relation between divisible EMV-algebras and EMV-algebras with a special square root. Finally, we present square roots on tribes, EMV-tribes, and we present a complete characterization of any square root on an MV-algebra and on an EMV-algebra by group addition in the corresponding unital $\ell$-group.


title: Test of binary spectral model on FEROS spectra. First estimation of the fundamental parameters for HD 20784

abstract: We analyse spectra of 26 early-type stars, with suspected binarity, using a binary spectral model adapted for high-resolution FEROS spectra. We confirm seven SB2 candidates (AE Pic, $\epsilon$ Vol, HD 20784, HD 208433, HD 43519, HD 56024, CD-73~375A) and derive mass ratios and spectroscopic parameters for them. We find good agreement with theoretical models. For slightly evolved system HD 20784 we made the first estimation of the fundamental parameters and age $\log{t}=8.5$ yr.


title: quEEGNet: Quantum AI for Biosignal Processing

abstract: In this paper, we introduce an emerging quantum machine learning (QML) framework to assist classical deep learning methods for biosignal processing applications. Specifically, we propose a hybrid quantum-classical neural network model that integrates a variational quantum circuit (VQC) into a deep neural network (DNN) for electroencephalogram (EEG), electromyogram (EMG), and electrocorticogram (ECoG) analysis. We demonstrate that the proposed quantum neural network (QNN) achieves state-of-the-art performance while the number of trainable parameters is kept small for VQC.


title: Near-optimal control of a stochastic SICA model with imprecise parameters

abstract: An adequate near-optimal control problem for a stochastic SICA (Susceptible-Infected-Chronic-AIDS) compartmental epidemic model for HIV transmission with imprecise parameters is formulated and investigated. We prove some estimates for the state and co-state variables of the stochastic system. The established inequalities are then used to prove a necessary and a sufficient condition for near-optimal control with imprecise parameters. The proofs involve several mathematical and stochastic tools, including the Burkholder-Davis-Gundy inequality.


title: Conformally related invariant $(\alpha,\beta)$-metrics on homogeneous spaces

abstract: In this paper, we give the flag curvature formula of general $(\alpha,\beta)$-metrics of Berwald type. We study conformally related $(\alpha,\beta)$-metrics, especially general $(\alpha,\beta)$-metrics that are conformally related to invariant $(\alpha,\beta)$-metrics. Also, a necessary and sufficient condition for a Finsler metric conformally related to an $(\alpha,\beta)$-metric is given, and conformally related Douglas Randers metrics are studied. Finally, we present some examples of conformally related $(\alpha,\beta)$-metrics.


title: DRACo-SLAM: Distributed Robust Acoustic Communication-efficient SLAM for Imaging Sonar Equipped Underwater Robot Teams

abstract: An essential task for a multi-robot system is generating a common understanding of the environment and relative poses between robots. Cooperative tasks can be executed only when a vehicle has knowledge of its own state and the states of the team members. However, this has primarily been achieved with direct rendezvous between underwater robots, via inter-robot ranging. We propose a novel distributed multi-robot simultaneous localization and mapping (SLAM) framework for underwater robots using imaging sonar-based perception. By passing only scene descriptors between robots, we do not need to pass raw sensor data unless there is a likelihood of inter-robot loop closure. We utilize pairwise consistent measurement set maximization (PCM), making our system robust to erroneous loop closures. The functionality of our system is demonstrated using two real-world datasets, one with three robots and another with two robots. We show that our system effectively estimates the trajectories of the multi-robot system and keeps the bandwidth requirements of inter-robot communication low. To our knowledge, this paper describes the first instance of multi-robot SLAM using real imaging sonar data (which we implement offline, using simulated communication). Code link: https://github.com/jake3991/DRACo-SLAM.


title: Strain energy density as a Gaussian process and its utilization in stochastic finite element analysis: application to planar soft tissues

abstract: Data-based approaches are promising alternatives to the traditional analytical constitutive models for solid mechanics. Herein, we propose a Gaussian process (GP) based constitutive modeling framework, specifically focusing on planar, hyperelastic and incompressible soft tissues. The strain energy density of soft tissues is modeled as a GP, which can be regressed to experimental stress-strain data obtained from biaxial experiments. Moreover, the GP model can be weakly constrained to be convex. A key advantage of a GP-based model is that, in addition to the mean value, it provides a probability density (i.e. associated uncertainty) for the strain energy density. To simulate the effect of this uncertainty, a non-intrusive stochastic finite element analysis (SFEA) framework is proposed. The proposed framework is verified against an artificial dataset based on the Gasser--Ogden--Holzapfel model and applied to a real experimental dataset of a porcine aortic valve leaflet tissue. Results show that the proposed framework can be trained with limited experimental data and fits the data better than several existing models. The SFEA framework provides a straightforward way of using the experimental data and quantifying the resulting uncertainty in simulation-based predictions.

categories: cs.CE cs.NA math.NA physics.bio-ph q-bio.TO


title: Explainable classification of astronomical uncertain time series

abstract: Exploring the expansion history of the universe, understanding its evolutionary stages, and predicting its future evolution are important goals in astrophysics. Today, machine learning tools are used to help achieving these goals by analyzing transient sources, which are modeled as uncertain time series. Although black-box methods achieve appreciable performance, existing interpretable time series methods failed to obtain acceptable performance for this type of data. Furthermore, data uncertainty is rarely taken into account in these methods. In this work, we propose an uncertaintyaware subsequence based model which achieves a classification comparable to that of state-of-the-art methods. Unlike conformal learning which estimates model uncertainty on predictions, our method takes data uncertainty as additional input. Moreover, our approach is explainable-by-design, giving domain experts the ability to inspect the model and explain its predictions. The explainability of the proposed method has also the potential to inspire new developments in theoretical astrophysics modeling by suggesting important subsequences which depict details of light curve shapes. The dataset, the source code of our experiment, and the results are made available on a public repository.


title: Multiclass Sentiment Prediction for Stock Trading

abstract: Python was used to download and format NewsAPI article data relating to 400 publicly traded, low cap. Biotech companies. Crowd-sourcing was used to label a subset of this data to then train and evaluate a variety of models to classify the public sentiment of each company. The best performing models were then used to show that trading entirely off public sentiment could provide market beating returns.


title: Introduction to Arnold's $J^+$-Invariant

abstract: We explore Arnold's $J^+$-invariant of immersions -- planar smooth closed curves with non-vanishing derivative, at most double points and only transverse intersections -- and computation methods like Viro's sum, among others. Only basic undergraduate mathematics is needed to understand the contents of this introductory paper and everything we need that is above that is recalled or introduced. Examples, exercises and solutions are included for practice.


title: Intermittent chaotic spiking in the van der Pol-FitzHugh-Nagumo system with inertia

abstract: The three-dimensional (3D) Fitzhugh-Nagumo neuron model with inertia was shown to exhibit a chaotic mixed-mode dynamics composed of large-amplitude spikes separated by an irregular number of small-amplitude chaotic oscillations. In contrast to the standard 2D Fitzhugh-Nagumo model driven by noise, the interspike-intervals distribution displays a complex arrangement of sharp peaks related to the unstable periodic orbits of the chaotic attractor. For many ranges of parameters controlling the excitability of the system, we observe that chaotic mixed-mode states consist of lapses of nearly regular spiking interleaved by others of highly irregular one. We explore here the emergence of these structures and show their correspondence to the intermittent transitions to chaos. In fact, the average residence time in the nearly-periodic firing state, obeys the same scaling law -- as a function of the control parameter -- than the one at the onset type I intermittency for dynamical systems in the vicinity of a saddle node bifurcation. We hypothesize that this scenario is also present in a variety of slow-fast neuron models characterized by the coexistence of a two-dimensional fast manifold and a one-dimensional slow one.


title: Rate and Noise-Induced Tipping Working in Concert

abstract: Rate-induced tipping occurs when a ramp parameter changes rapidly enough to cause the system to tip between co-existing, attracting states. We show that the addition of noise to the system can cause it to tip well below the critical rate at which rate-induced tipping would occur. Moreover it does so with significantly increased probability over the noise acting alone. We achieve this by finding a global minimizer in a canonical problem of the Freidlin-Wentzell action functional of large deviation theory that represents the most probable path for tipping. This is realized as a heteroclinic connection for the Euler-Lagrange system associated with the Freidlin-Wentzell action and we find it exists for all rates less than or equal to the critical rate. Its role as most probable path is corroborated by direct Monte Carlo simulations.


title: Stability Via Adversarial Training of Neural Network Stochastic Control of Mean-Field Type

abstract: In this paper, we present an approach to neural network mean-field-type control and its stochastic stability analysis by means of adversarial inputs (aka adversarial attacks). This is a class of data-driven mean-field-type control where the distribution of the variables such as the system states and control inputs are incorporated into the problem. Besides, we present a methodology to validate the feasibility of the approximations of the solutions via neural networks and evaluate their stability. Moreover, we enhance the stability by enlarging the training set with adversarial inputs to obtain a more robust neural network. Finally, a worked-out example based on the linear-quadratic mean-field type control problem (LQ-MTC) is presented to illustrate our methodology.

categories: math.OC cs.CR cs.LG cs.SY eess.SY math.PR


title: Untargeted Backdoor Watermark: Towards Harmless and Stealthy Dataset Copyright Protection

abstract: Deep neural networks (DNNs) have demonstrated their superiority in practice. Arguably, the rapid development of DNNs is largely benefited from high-quality (open-sourced) datasets, based on which researchers and developers can easily evaluate and improve their learning methods. Since the data collection is usually time-consuming or even expensive, how to protect their copyrights is of great significance and worth further exploration. In this paper, we revisit dataset ownership verification. We find that existing verification methods introduced new security risks in DNNs trained on the protected dataset, due to the targeted nature of poison-only backdoor watermarks. To alleviate this problem, in this work, we explore the untargeted backdoor watermarking scheme, where the abnormal model behaviors are not deterministic. Specifically, we introduce two dispersibilities and prove their correlation, based on which we design the untargeted backdoor watermark under both poisoned-label and clean-label settings. We also discuss how to use the proposed untargeted backdoor watermark for dataset ownership verification. Experiments on benchmark datasets verify the effectiveness of our methods and their resistance to existing backdoor defenses. Our codes are available at \url{https://github.com/THUYimingLi/Untargeted_Backdoor_Watermark}.


title: Embedding-based neural network for investment return prediction

abstract: In addition to being familiar with policies, high investment returns also require extensive knowledge of relevant industry knowledge and news. In addition, it is necessary to leverage relevant theories for investment to make decisions, thereby amplifying investment returns. A effective investment return estimate can feedback the future rate of return of investment behavior. In recent years, deep learning are developing rapidly, and investment return prediction based on deep learning has become an emerging research topic. This paper proposes an embedding-based dual branch approach to predict an investment's return. This approach leverages embedding to encode the investment id into a low-dimensional dense vector, thereby mapping high-dimensional data to a low-dimensional manifold, so that highdimensional features can be represented competitively. In addition, the dual branch model realizes the decoupling of features by separately encoding different information in the two branches. In addition, the swish activation function further improves the model performance. Our approach are validated on the Ubiquant Market Prediction dataset. The results demonstrate the superiority of our approach compared to Xgboost, Lightgbm and Catboost.


title: Spectral-Domain Method of Moments Analysis of Spatially Dispersive Graphene Patch Embedded in Planarly Layered Media

abstract: Anisotropic and spatially dispersive graphene patches of arbitrary shape embedded in planarly layered uniaxial media are analyzed using spectral-domain method of moments. Formulation and computational methods for the spectral-domain method of moments using the Rao-Wilton-Glisson subdomain basis function and incorporating the full-wavevector Bhatnagar-Gross-Krook formulation of graphene surface conductivity tensor are proposed. The impedance matrix is efficiently evaluated by a novel numerical method which firstly approximates the spectral-domain Green function, basis function and conductivity tensor with Chebyshev polynomials, and then sums up the Fourier transformed coefficients. Blue-shift of the resonant frequency and variation of the current distribution due to spatial dispersion are observed in various structures demonstrated.


title: A proof of Dunfield-Gukov-Rasmussen Conjecture

abstract: In 2005 Dunfield, Gukov and Rasmussen conjectured an existence of the spectral sequence from the reduced triply graded Khovanov-Rozansky homology of a knot to its knot Floer homology defined by Ozsv\'ath and Szab\'o. The main result of this paper is a proof of this conjecture. For this purpose, we construct a bigraded spectral sequence from the $\mathfrak{gl}_0$ homology constructed by the last two authors to the knot Floer homology. Using the fact that the $\mathfrak{gl}_0$ homology comes equipped with a spectral sequence from the reduced triply graded homology, we obtain our main result. The first spectral sequence is of Bockstein type and comes from a subtle manipulation of coefficients. The main tools are quantum traces of foams and of singular Soergel bimodules and a $\mathbb Z$-valued cube of resolutions model for knot Floer homology originally constructed by Ozsv\'ath and Szab\'o over the field of two elements. As an application, we deduce that the $\mathfrak{gl}_0$ homology as well as the reduced triply graded Khovanov-Rozansky one detect the unknot, the two trefoils, the figure eight knot and the cinquefoil.


title: Weighted means of harmonic functions and characterization of balls

abstract: Weighted mean value identities over balls are considered for harmonic functions and their derivatives. Logarithmic and other weights are involved in these identities for functions. Some applications of weighted identities are presented. Also, new analytic characterizations of balls are proved; each of them requires the volume mean of a single weight function over the domain under consideration to be equal to a prescribed number depending on the weight.


title: Regularity of Solutions for the Nonlocal Diffusion Equation on Periodic Distributions

abstract: This work addresses the regularity of solutions for a nonlocal diffusion equation over the space of periodic distributions. The spatial operator for the nonlocal diffusion equation is given by a nonlocal Laplace operator with a compactly supported integral kernel. We follow a unified approach based on the Fourier multipliers of the nonlocal Laplace operator, which allows the study of regular as well as distributional solutions of the nonlocal diffusion equation, integrable as well as singular kernels, in any spatial dimension. In addition, the results extend beyond operators with singular kernels to nonlocal super-diffusion operators. We present results on the spatial and temporal regularity of solutions in terms of regularity of the initial data or the diffusion source term. Moreover, solutions of the nonlocal diffusion equation are shown to converge to the solution of the classical diffusion equation for two types of limits: as the spatial nonlocality vanishes or as the singularity of the integral kernel approaches a certain critical singularity that depends on the spatial dimension. Furthermore, we show that, for the case of integrable kernels, discontinuities in the initial data propagate and persist in the solution of the nonlocal diffusion equation. The magnitude of a jump discontinuity is shown to decay overtime.


title: Predicting the Future of AI with AI: High-quality link prediction in an exponentially growing knowledge network

abstract: A tool that could suggest new personalized research directions and ideas by taking insights from the scientific literature could significantly accelerate the progress of science. A field that might benefit from such an approach is artificial intelligence (AI) research, where the number of scientific publications has been growing exponentially over the last years, making it challenging for human researchers to keep track of the progress. Here, we use AI techniques to predict the future research directions of AI itself. We develop a new graph-based benchmark based on real-world data -- the Science4Cast benchmark, which aims to predict the future state of an evolving semantic network of AI. For that, we use more than 100,000 research papers and build up a knowledge network with more than 64,000 concept nodes. We then present ten diverse methods to tackle this task, ranging from pure statistical to pure learning methods. Surprisingly, the most powerful methods use a carefully curated set of network features, rather than an end-to-end AI approach. It indicates a great potential that can be unleashed for purely ML approaches without human knowledge. Ultimately, better predictions of new future research directions will be a crucial component of more advanced research suggestion tools.


title: MSRL: Distributed Reinforcement Learning with Dataflow Fragments

abstract: Reinforcement learning (RL) trains many agents, which is resource-intensive and must scale to large GPU clusters. Different RL training algorithms offer different opportunities for distributing and parallelising the computation. Yet, current distributed RL systems tie the definition of RL algorithms to their distributed execution: they hard-code particular distribution strategies and only accelerate specific parts of the computation (e.g. policy network updates) on GPU workers. Fundamentally, current systems lack abstractions that decouple RL algorithms from their execution. We describe MindSpore Reinforcement Learning (MSRL), a distributed RL training system that supports distribution policies that govern how RL training computation is parallelised and distributed on cluster resources, without requiring changes to the algorithm implementation. MSRL introduces the new abstraction of a fragmented dataflow graph, which maps Python functions from an RL algorithm's training loop to parallel computational fragments. Fragments are executed on different devices by translating them to low-level dataflow representations, e.g. computational graphs as supported by deep learning engines, CUDA implementations or multi-threaded CPU processes. We show that MSRL subsumes the distribution strategies of existing systems, while scaling RL training to 64 GPUs.


title: Forecasting Cryptocurrencies Log-Returns: a LASSO-VAR and Sentiment Approach

abstract: Cryptocurrencies have become a trendy topic recently, primarily due to their disruptive potential and reports of unprecedented returns. In addition, academics increasingly acknowledge the predictive power of Social Media in many fields and, more specifically, for financial markets and economics. In this paper, we leverage the predictive power of Twitter and Reddit sentiment together with Google Trends indexes and volume to forecast the log returns of ten cryptocurrencies. Specifically, we consider $Bitcoin$, $Ethereum$, $Tether$, $Binance Coin$, $Litecoin$, $Enjin Coin$, $Horizen$, $Namecoin$, $Peercoin$, and $Feathercoin$. We evaluate the performance of LASSO-VAR using daily data from January 2018 to January 2022. In a 30 days recursive forecast, we can retrieve the correct direction of the actual series more than 50% of the time. We compare this result with the main benchmarks, and we see a 10% improvement in Mean Directional Accuracy (MDA). The use of sentiment and attention variables as predictors increase significantly the forecast accuracy in terms of MDA but not in terms of Root Mean Squared Errors. We perform a Granger causality test using a post-double LASSO selection for high-dimensional VARs. Results show no "causality" from Social Media sentiment to cryptocurrencies returns


title: Generating Synthetic Data with The Nearest Neighbors Algorithm

abstract: The $k$ nearest neighbor algorithm ($k$NN) is one of the most popular nonparametric methods used for various purposes, such as treatment effect estimation, missing value imputation, classification, and clustering. The main advantage of $k$NN is its simplicity of hyperparameter optimization. It often produces favorable results with minimal effort. This paper proposes a generic semiparametric (or nonparametric if required) approach named Local Resampler (LR). LR utilizes $k$NN to create subsamples from the original sample and then generates synthetic values that are drawn from locally estimated distributions. LR can accurately create synthetic samples, even if the original sample has a non-convex distribution. Moreover, LR shows better or similar performance to other popular synthetic data methods with minimal model optimization with parametric distributional assumptions.


title: Extremal sections and projections of certain convex bodies: a survey

abstract: We survey results concerning sharp estimates on volumes of sections and projections of certain convex bodies, mainly $\ell_p$ balls, by and onto lower dimensional subspaces. This subject emerged from geometry of numbers several decades ago and since then has seen development of a variety of probabilistic and analytic methods, showcased in this survey.