title: The $\beta$-Delaunay tessellation IV: Mixing properties and central limit theorems

abstract: Various mixing properties of $\beta$-, $\beta'$- and Gaussian Delaunay tessellations in $\mathbb{R}^{d-1}$ are studied. It is shown that these tessellation models are absolutely regular, or $\beta$-mixing. In the $\beta$- and the Gaussian case exponential bounds for the absolute regularity coefficients are found. In the $\beta'$-case these coefficients show a polynomial decay only. In the background are new and strong concentration bounds on the radius of stabilization of the underlying construction. Using a general device for absolutely regular stationary random tessellations, central limit theorems for a number of geometric parameters of $\beta$- and Gaussian Delaunay tessellations are established. This includes the number of $k$-dimensional faces and the $k$-volume of the $k$-sk


title: Robust Ensembling Network for Unsupervised Domain Adaptation

abstract: Recently, in order to address the unsupervised domain adaptation (UDA) problem, extensive studies have been proposed to achieve transferrable models. Among them, the most prevalent method is adversarial domain adaptation, which can shorten the distance between the source domain and the target domain. Although adversarial learning is very effective, it still leads to the instability of the network and the drawbacks of confusing category information. In this paper, we propose a Robust Ensembling Network (REN) for UDA, which applies a robust time ensembling teacher network to learn global information for domain transfer. Specifically, REN mainly includes a teacher network and a student network, which performs standard domain adaptation training and updates weights of the teacher network. In addition, we also propose a dual-network conditional adversarial loss to improve the ability of the discriminator. Finally, for the purpose of improving the basic ability of the student network, we utilize the consistency constraint to balance the error between the student network and the teacher network. Extensive experimental results on several UDA datasets have demonstrated the effectiveness of our model by comparing with other state-of-the-art UDA algorithms.


title: Resilience basins of complex systems: an application to prosumer impacts on power grids

abstract: Comparable to the traditional notion of stability in system dynamics, resilience is typically measured in a way that assesses the quality of a system's response, for example the speed of its recovery. We present a broadly applicable complementary measurement framework that quantifies resilience similarly to basin stability by estimating a "resilience basin" which reflects the extent of adverse influences that the system can recover from in a sufficient manner. In contrast to basin stability, the adverse influences considered here are not necessarily displacements in state space, but arbitrarily complex impacts to the system, quantified by adequate parameters. As a proof of concept, we present two applications: (i) the well-studied single-node power system as an easy-to-follow example and (ii) a stochastic model of a low-voltage DC power grid undergoing an unregulated energy transition consisting in the random appearance of prosumers. These act as decentral suppliers of photovoltaic power and alter the flow patterns while the grid topology remains unchanged. The resilience measurement framework is applied to evaluate the effect and efficiency of two response options: (i) upgrading the capacity of existing power lines and (ii) installing batteries in the prosumer households. The framework demonstrates that line upgrades can provide potentially unlimited resilience against energy decentralization, while household batteries are inherently limited (achieving <=70% of the resilience of line upgrades). Further, the framework aids in optimizing budget efficiency by pointing toward threshold budget values as well as budget-dependent ideal strategies for the allocation of line upgrades and for the battery charging algorithm.


title: On the simultaneous generation of radio and soft X-ray emission by AXP 4U 0142+61

abstract: In the present paper we study the possibility of a simultaneous generation of radio waves and soft $X$-rays by means of the quasi-linear diffusion (QLD) in the anomalous pulsar AXP 4U 0142+61. Considering the magnetosphere composed of the so-called beam component and the plasma component respectively, we argue that the frozen-in condition will inevitably lead to the generation of the unstable cyclotron waves. These waves, via the QLD, will in turn influence the particle distribution function, leading to certain values of the pitch angles, thus to an efficient synchrotron mechanism, producing soft $X$-ray photons. We show that for physically reasonable parameters of magnetospheric plasmas, the QLD can provide generation of radio waves in the following interval $40$ MHz-$111$ MHz connected to soft $X$-rays for the domain $0.3$keV-$1.4$keV.


title: 3D Reconstruction from public webcams

abstract: We investigate the possibility of 3D scene reconstruction from two or more overlapping webcam streams. A large, and growing, number of webcams observe places of interest and are publicly accessible. The question naturally arises: can we make use of this free data source for 3D computer vision? It turns out that the task to reconstruct scene structure from webcam streams is very different from standard structure-from-motion (SfM), and conventional SfM pipelines fail. In the webcam setting there are very few views of the same scene, in most cases only the minimum of two. These viewpoints often have large baselines and/or scale differences, their overlap is rather limited, and besides unknown internal and external calibration also their temporal synchronisation is unknown. On the other hand, they record rather large fields of view continuously over long time spans, so that they regularly observe dynamic objects moving through the scene. We show how to leverage recent advances in several areas of computer vision to adapt SfM reconstruction to this particular scenario and reconstruct the unknown camera poses, the 3D scene structure, and the 3D trajectories of dynamic objects.


title: 3-dimensional QCD phase diagram with pion condensate in the NJL model

abstract: With the isovector coupling constants adjusted to reproduce the physical pion mass and lattice QCD results in baryon-free quark matter, we have carried out rigourous calculations for the pion condensate in the 3-flavor Nambu-Jona-Lasinio model, and studied the 3-dimensional QCD phase diagram. With the increasing isospin chemical potential $\mu_I$, we have observed two nonzero solutions of the pion condensate at finite baryon chemical potentials $\mu_B$, representing respectively the pion superfluid phase and the Sarma phase, and their appearance and disappearance correspond to a second-order (first-order) phase transition at higher (lower) temperatures $T$ and lower (higher) $\mu_B$. Calculations by assuming equal constituent mass of $u$ and $d$ quarks would lead to large errors of the QCD phase diagram within $\mu_B \in (500, 900)$ MeV, and affect the position of the critical end point.


title: MimicBot: Combining Imitation and Reinforcement Learning to win in Bot Bowl

abstract: This paper describe an hybrid agent trained to play in Fantasy Football AI which participated in the Bot Bowl III competition. The agent, MimicBot, is implemented using a specifically designed deep policy network and trained using a combination of imitation and reinforcement learning. Previous attempts in using a reinforcement learning approach in such context failed for a number of reasons, e.g. due to the intrinsic randomness in the environment and the large and uneven number of actions available, with a curriculum learning approach failing to consistently beat a randomly paying agent. Currently no machine learning approach can beat a scripted bot which makes use of the domain knowledge on the game. Our solution, thanks to an imitation learning and a hybrid decision-making process, consistently beat such scripted agents. Moreover we shed lights on how to more efficiently train in a reinforcement learning setting while drastically increasing sample efficiency. MimicBot is the winner of the Bot Bowl III competition, and it is currently the state-of-the-art solution.


title: Grid-VLP: Revisiting Grid Features for Vision-Language Pre-training

abstract: Existing approaches to vision-language pre-training (VLP) heavily rely on an object detector based on bounding boxes (regions), where salient objects are first detected from images and then a Transformer-based model is used for cross-modal fusion. Despite their superior performance, these approaches are bounded by the capability of the object detector in terms of both effectiveness and efficiency. Besides, the presence of object detection imposes unnecessary constraints on model designs and makes it difficult to support end-to-end training. In this paper, we revisit grid-based convolutional features for vision-language pre-training, skipping the expensive region-related steps. We propose a simple yet effective grid-based VLP method that works surprisingly well with the grid features. By pre-training only with in-domain datasets, the proposed Grid-VLP method can outperform most competitive region-based VLP methods on three examined vision-language understanding tasks. We hope that our findings help to further advance the state of the art of vision-language pre-training, and provide a new direction towards effective and efficient VLP.


title: Zero sound and plasmon modes for non-Fermi liquids

abstract: We derive the quantum Boltzmann equation (QBE) by using generalized Landau-interaction parameters, obtained through the nonequilibrium Green's function technique. This is a generalization of the usual QBE formalism to non-Fermi liquid (NFL) systems, which do not have well-defined quasiparticles. We apply this framework to a controlled low-energy effective field theory for the Ising-nematic quantum critical point, in order to find the collective excitations of the critical Fermi surface in the collisionless regime. We also compute the nature of the dispersion after the addition of weak Coulomb interactions. The zero angular momentum longitudinal vibrations of the Fermi surface show a linear-in-wavenumber dispersion, which corresponds to the zero sound of Landau's Fermi liquid theory. The Coulomb interaction modifies it to a plasmon mode in the long-wavelength limit, which disperses as the square-root of the wavenumber. Remarkably, our results show that the zero sound and plasmon modes exhibit the same behaviour as in a Fermi liquid, although an NFL is fundamentally different from the former.


title: DSP-SLAM: Object Oriented SLAM with Deep Shape Priors

abstract: We propose DSP-SLAM, an object-oriented SLAM system that builds a rich and accurate joint map of dense 3D models for foreground objects, and sparse landmark points to represent the background. DSP-SLAM takes as input the 3D point cloud reconstructed by a feature-based SLAM system and equips it with the ability to enhance its sparse map with dense reconstructions of detected objects. Objects are detected via semantic instance segmentation, and their shape and pose is estimated using category-specific deep shape embeddings as priors, via a novel second order optimization. Our object-aware bundle adjustment builds a pose-graph to jointly optimize camera poses, object locations and feature points. DSP-SLAM can operate at 10 frames per second on 3 different input modalities: monocular, stereo, or stereo+LiDAR. We demonstrate DSP-SLAM operating at almost frame rate on monocular-RGB sequences from the Friburg and Redwood-OS datasets, and on stereo+LiDAR sequences on the KITTI odometry dataset showing that it achieves high-quality full object reconstructions, even from partial observations, while maintaining a consistent global map. Our evaluation shows improvements in object pose and shape reconstruction with respect to recent deep prior-based reconstruction methods and reductions in camera tracking drift on the KITTI dataset.


title: Periodic solutions of a semilinear variable coefficient wave equation under asymptotic nonresonance conditions

abstract: We consider the periodic solutions of a semilinear variable coefficient wave equation arising from the forced vibrations of a nonhomogeneous string and the propagation of seismic waves in nonisotropic media. The variable coefficient characterizes the inhomogeneity of media and its presence usually leads to the destruction of the compactness of the inverse of linear wave operator with periodic-Dirichlet boundary conditions on its range. In the pioneering work of Barbu and Pavel (1997), it gives the existence and regularity of periodic solution for Lipschitz, nonresonant and monotone nonlinearity under the assumption $\eta_u>0$ (see Sect. 2 for its definition) on the coefficient $u(x)$ and leaves the case $\eta_u=0$ as an open problem. In this paper, by developing the invariant subspace method and using the complete reduction technique and Leray-Schauder theory, we obtain the existence of periodic solutions for such a problem when the nonlinear term satisfies the asymptotic nonresonance conditions. Our result not only does not need any requirements on the coefficient except for the natural positivity assumption (i.e., $u(x)>0$), but also does not need the monotonicity assumption on the nonlinearity. In particular, when the nonlinear term is an odd function and satisfies the global nonresonance conditions, there is only one (trivial) solution to this problem on the invariant subspace.


title: From Tutte to Floater and Gotsman: On the Resolution of Planar Straight-line Drawings and Morphs

abstract: The algorithm of Tutte for constructing convex planar straight-line drawings and the algorithm of Floater and Gotsman for constructing planar straight-line morphs are among the most popular graph drawing algorithms. Quite surprisingly, little is known about the resolution of the drawings produced by these algorithms. In this paper, focusing on maximal plane graphs, we prove tight bounds on the resolution of the planar straight-line drawings produced by Floater's algorithm, which is a broad generalization of Tutte's algorithm. Further, we use such a result in order to prove a lower bound on the resolution of the drawings of maximal plane graphs produced by Floater and Gotsman's morphing algorithm. Finally, we show that such a morphing algorithm might produce drawings with exponentially-small resolution, even when transforming drawings with polynomial resolution.


title: cushLEPOR: customising hLEPOR metric using Optuna for higher agreement with human judgments or pre-trained language model LaBSE

abstract: Human evaluation has always been expensive while researchers struggle to trust the automatic metrics. To address this, we propose to customise traditional metrics by taking advantages of the pre-trained language models (PLMs) and the limited available human labelled scores. We first re-introduce the hLEPOR metric factors, followed by the Python version we developed (ported) which achieved the automatic tuning of the weighting parameters in hLEPOR metric. Then we present the customised hLEPOR (cushLEPOR) which uses Optuna hyper-parameter optimisation framework to fine-tune hLEPOR weighting parameters towards better agreement to pre-trained language models (using LaBSE) regarding the exact MT language pairs that cushLEPOR is deployed to. We also optimise cushLEPOR towards professional human evaluation data based on MQM and pSQM framework on English-German and Chinese-English language pairs. The experimental investigations show cushLEPOR boosts hLEPOR performances towards better agreements to PLMs like LaBSE with much lower cost, and better agreements to human evaluations including MQM and pSQM scores, and yields much better performances than BLEU (data available at \url{https://github.com/poethan/cushLEPOR}). Official results show that our submissions win three language pairs including \textbf{English-German} and \textbf{Chinese-English} on \textit{News} domain via cushLEPOR(LM) and \textbf{English-Russian} on \textit{TED} domain via hLEPOR.


title: Yseop at FinSim-3 Shared Task 2021: Specializing Financial Domain Learning with Phrase Representations

abstract: In this paper, we present our approaches for the FinSim-3 Shared Task 2021: Learning Semantic Similarities for the Financial Domain. The aim of this shared task is to correctly classify a list of given terms from the financial domain into the most relevant hypernym (or top-level) concept in an external ontology. For our system submission, we evaluate two methods: a Sentence-RoBERTa (SRoBERTa) embeddings model pre-trained on a custom corpus, and a dual word-sentence embeddings model that builds on the first method by improving the proposed baseline word embeddings construction using the FastText model to boost the classification performance. Our system ranks 2nd overall on both metrics, scoring 0.917 on Average Accuracy and 1.141 on Mean Rank.


title: Symmetry breaking Paradigm In Typical Laminar-Turbulence Transition System

abstract: A stationary cylindrical vessel containing a rotating plate near the bottle surface is partially filled with liquid. With the bottom rotating, the shape of the liquid surface would become polygon-like. This polygon vortex phenomenon is an ideal system to demonstrate the Laminar-Turbulent transition process. Within the framework of equilibrium statistical mechanics, a profound comparison with Landau's phase transition theory was applied in the symmetry-breaking aspect to derive the evolution equation of this system phenomenologically. A comparison between theoretical prediction and experimental data is carried out. We concluded a considerably highly matched result, while some exceptions are viewed as the natural result that the experiment breaks through the up-limit of using equilibrium mechanics as an effective theory, namely breaking through the Arnold Tongue. Some extremely complex Non-equilibrium approaches were desired to solve this problem thoroughly in the future. So our method could be viewed as a linear approximation of this theoretical framework.


title: Viscosity of Silica and Doped Silica Melts: Evidence for a Crossover Temperature

abstract: Silica is known as the archetypal strong liquid, exhibiting an Arrhenius viscosity curve with a high glass transition temperature and constant activation energy. However, given the ideally isostatic nature of the silica network, the presence of even a small concentration of defects can lead to a significant decrease in both the glass transition temperature and activation energy for viscous flow. To understand the impact of trace level dopants on the viscosity of silica, we measure the viscosity-temperature curves for seven silica glass samples having different impurities, including four natural and three synthetic samples. Depending on the type of dopant, the glass transition temperature can vary by nearly 300 K. A common crossover is found for all viscosity curves around ~2200-2500 K, which we attribute to a change of the transport mechanism in the melt from being dominated by intrinsic defects at high temperature to dopant-induced defects at low temperatures.


title: Consistent SPH simulations of the anisotropic dispersion of a contaminant plume

abstract: Solute transport through heterogeneous porous media is governed by fuid advection, molecular diffusion and anisotropic dispersion. The dispersion is assumed to obey Fick's law and the dispersion coefficient is defined as a second rank tensor. However, this problem has revealed to be a very difficult one because independently of the numerical methods employed, the solutions are seen to exhibit artificial oscillations and negative concentrations when the dispersivity becomes anisotropic. Here we report consistent SPH simulations of the anisotropic dispersion of a Gaussian contaminant plume in porous media using the open source code DualSPHysics. Consistency of the SPH method is restored by increasing the spatial resolution along with the number of neighbours within the compact support of the interpolating kernel. The solution shows that as the number of neighbours is increased with resolution, full convergence of the numerical solutions is guaranteed regardless of the dispersivity. However, despite the restored consistency, negative concentrations, albeit at a lower level, are still present. This suggests that a compromise between the number of neighbours and the size of the smoothing length must be guaranteed such that sufficient implicit numerical diffusion remains to damp out unphysical oscillations.


title: Implementation of Algorithms for Right-Sizing Data Centers

abstract: The energy consumption of data centers assumes a significant fraction of the world's overall energy consumption. Most data centers are statically provisioned, leading to a very low average utilization of servers. In this work, we survey uni-dimensional and high-dimensional approaches for dynamically powering up and powering down servers to reduce the energy footprint of data centers while ensuring that incoming jobs are processed in time. We implement algorithms for smoothed online convex optimization and variations thereof where, in each round, the agent receives a convex cost function. The agent seeks to balance minimizing this cost and a movement cost associated with changing decisions in-between rounds. We implement the algorithms in their most general form, inviting future research on their performance in other application areas. We evaluate the algorithms for the application of right-sizing data centers using traces from Facebook, Microsoft, Alibaba, and Los Alamos National Lab. Our experiments show that the online algorithms perform close to the dynamic offline optimum in practice and promise a significant cost reduction compared to a static provisioning of servers. We discuss how features of the data center model and trace impact the performance. Finally, we investigate the practical use of predictions to achieve further cost reductions.


title: Incrementally Stochastic and Accelerated Gradient Information mixed Optimization for Manipulator Motion Planning

abstract: This paper introduces a novel motion planner, incrementally stochastic and accelerated gradient information mixed optimization (iSAGO), for robotic manipulators in a narrow workspace. Primarily, we propose the overall scheme of iSAGO informed by the mixed momenta for an efficient constrained optimization based on the penalty method. In the stochastic part, we generate the adaptive stochastic momenta via the random selection of sub-functionals based on the adaptive momentum (Adam) method to solve the body-obstacle stuck case. Due to the slow convergence of the stochastic part, we integrate the accelerated gradient descent (AGD) to improve the planning efficiency. Moreover, we adopt the Bayesian tree inference (BTI) to transform the whole trajectory optimization (SAGO) into an incremental sub-trajectory optimization (iSAGO), which improves the computation efficiency and success rate further. Finally, we tune the key parameters and benchmark iSAGO against the other 5 planners on LBR-iiwa in a bookshelf and AUBO-i5 on a storage shelf. The result shows the highest success rate and moderate solving efficiency of iSAGO.


title: Flikcer -- A Chrome Extension to Resolve Online Epileptogenic Visual Content with Real-Time Luminance Frequency Analysis

abstract: Video content with fast luminance variations, or with spatial patterns of high contrast - referred to as epileptogenic visual content - may induce seizures on viewers with photosensitive epilepsy, and even cause discomfort in users not affected by this disease. Flikcer is a web app in the form of a website and chrome extension which aims to resolve epileptic content in videos. It provides the number of possible triggers for a seizure. It also provides the timestamps for these triggers along with a safer version of the video, free to download. The algorithm is written in Python and uses machine learning and computer vision. A key aspect of the algorithm is its computational efficiency, allowing real time implementation for public users.


title: Local Solubility of Hyperelliptic Curves

abstract: We give a condition for a hyperelliptic curve $C$ over a local field $K$ to be locally soluble, on the condition that $C$ obtains semistable reduction after a tame extension of $K$, and that the residue field $k$ is sufficiently large relative to the genus of the curve. The condition is presented in terms of the cluster picture of $C$, a combinatorial object which determines much of the local arithmetic of $C$.


title: GPS Multipath Detection Based on Carrier-to-Noise-Density Ratio Measurements from a Dual-Polarized Antenna

abstract: In this study, the global positioning system (GPS) multipath detection was performed based on the carrier-to-noise-density ratio, C/N0, measured through a dual-polarized antenna. As the right hand circular polarization (RHCP) antenna is sensitive to the signals directly received from the GPS, and the left hand circular polarization (LHCP) antenna is sensitive to the singly reflected signals, the C/N0 difference between the RHCP and LHCP measurements is used for multipath detection. Once we collected the GPS signals in a low multipath location, we calculated the C/N0 difference to obtain a threshold value that can be used to detect the multipath GPS signal received from another location. The results were validated through a ray-tracing simulation.


title: Beyond Linear Algebra

abstract: Our title challenges the reader to venture beyond linear algebra in designing models and in thinking about numerical algorithms for identifying solutions. This article accompanies the author's lecture at the International Congress of Mathematicians 2022. It covers recent advances in the study of critical point equations in optimization and statistics, and it explores the role of nonlinear algebra in the study of linear PDE with constant coefficients.


title: Metric Learning in Multilingual Sentence Similarity Measurement for Document Alignment

abstract: Document alignment techniques based on multilingual sentence representations have recently shown state of the art results. However, these techniques rely on unsupervised distance measurement techniques, which cannot be fined-tuned to the task at hand. In this paper, instead of these unsupervised distance measurement techniques, we employ Metric Learning to derive task-specific distance measurements. These measurements are supervised, meaning that the distance measurement metric is trained using a parallel dataset. Using a dataset belonging to English, Sinhala, and Tamil, which belong to three different language families, we show that these task-specific supervised distance learning metrics outperform their unsupervised counterparts, for document alignment.


title: Development of an R-Mode Simulator Using MF DGNSS Signals

abstract: With the development of positioning, navigation, and timing (PNT) information-based industries, PNT information is becoming increasingly important. Therefore, various navigation studies have been actively conducted to back up global positioning system (GPS) in scenarios in which it is disabled. Ranging using signals of opportunity (SoOP) has the advantage of infrastructure already being in place. Among them, the ranging mode (R-Mode) is a technology that uses available SoOPs such as a medium frequency (MF) differential global navigation satellite System (DGNSS) signal that has recently been recognized for its potential for navigation and is currently under research. In this study, we developed a signal simulator that considers the characteristics of MF DGNSS signals and skywaves used in R-Mode.


title: Internal and String Stability of an Observer-based Controller for Vehicle Platooning under the MPF Topology

abstract: In this paper, we study the internal stability and string stability of a vehicle platoon under the constant time headway spacing (CTHS) policy and the multiple-predecessor-following (MPF) vehicle-to-vehicle information flow topology. More specifically, we depart from the conventional Proportional-Integral-Derivative (PID) controller design for such systems and we propose the design of an observer-based controller. For designing our observer-based controller, we first design a distributed observer, with which each follower estimates their position, speed and acceleration error with respect to the leader. The observer is designed by means of constructing an observer matrix whose parameters should be determined. Next, we simplify the design of the matrix of the observer in such a way that the design boils down to choosing a single scalar value; this design further simplifies the structure of the controller, whose simplicity enables the derivation of string stability conditions by means of a frequency response method. Subsequently, the string stability conditions for a given time headway, are transformed to conditions for the controller parameters. We obtain controller parameters that satisfy the stability conditions by designing a novel heuristic search algorithm. Furthermore, we extend the search algorithm by incorporating a bisection-like algorithm, which allows to obtain (within some deviation tolerance) the minimum available value of the time headway. Finally, we provide insights about how to finalize the observer-based controller parameters from above algorithms to avoid the peaking phenomenon. The performance of the proposed observer-based controller is demonstrated via illustrative examples. Additionally, a comparison with a widely-used PID controller for MPF topology shows that our proposed observer-based controller has better convergence performance.


title: Active User Detection and Channel Estimation for Spatial-based Random Access in Crowded Massive MIMO Systems via Blind Super-resolution

abstract: This work presents a novel framework for random access in crowded scenarios of multiple-input multiple-output(MIMO) systems. A multi-antenna base station (BS) and multiple single-antenna users are considered in these systems. A huge portion of the system resources is dedicated as orthogonal pilots for accurate channel estimation which imposes a huge training overhead. This overhead can be highly mitigated by exploiting intrinsic angular domain sparsity of massive MIMO channels and the sporadic traffic of users, i.e., few number of users are active to sent or receive data in each coherence interval. In fact, the angles of arrivals (AoAs) coming from active users are continuous parameters and can take any arbitrary values. Besides, the AoAs corresponding to each active user are alongside each other forming a specific cluster. This work revolves around exploiting these features. Specifically, a blind clustering-based algorithm is proposed that not only recovers the transmitted data by users in grant free random access and primary pilots in random access blocks of coherent transmission, but also provides accurate channel estimation. Our approach is based on transforming the unknown variables into a higher dimensional space with matrix variables. An off-grid atomic norm minimization is then proposed to obtain the unknown matrix from only a few observed arrays at the BS. Then, a clustering-based approach is employed to identify which AoAs correspond to which active users. After identifying active users and their AoAs, an alternating-based approach is performed to obtain the channels and data or primary pilots of active users. Simulation results demonstrate the effectiveness of our approach in AoA detection as well as data recovery.


title: MITI Minimum Information guidelines for highly multiplexed tissue images

abstract: The imminent release of tissue atlases combining multi-channel microscopy with single cell sequencing and other omics data from normal and diseased specimens creates an urgent need for data and metadata standards that guide data deposition, curation and release. We describe a Minimum Information about highly multiplexed Tissue Imaging (MITI) standard that applies best practices developed for genomics and other microscopy data to highly multiplexed tissue images and traditional histology.


title: A computational study on imputation methods for missing environmental data

abstract: Data acquisition and recording in the form of databases are routine operations. The process of collecting data, however, may experience irregularities, resulting in databases with missing data. Missing entries might alter analysis efficiency and, consequently, the associated decision-making process. This paper focuses on databases collecting information related to the natural environment. Given the broad spectrum of recorded activities, these databases typically are of mixed nature. It is therefore relevant to evaluate the performance of missing data processing methods considering this characteristic. In this paper we investigate the performances of several missing data imputation methods and their application to the problem of missing data in environment. A computational study was performed to compare the method missForest (MF) with two other imputation methods, namely Multivariate Imputation by Chained Equations (MICE) and K-Nearest Neighbors (KNN). Tests were made on 10 pretreated datasets of various types. Results revealed that MF generally outperformed MICE and KNN in terms of imputation errors, with a more pronounced performance gap for mixed typed databases where MF reduced the imputation error up to 150%, when compared to the other methods. KNN was usually the fastest method. MF was then successfully applied to a case study on Quebec wastewater treatment plants performance monitoring. We believe that the present study demonstrates the pertinence of using MF as imputation method when dealing with missing environmental data.


title: A Stochastic Variance-Reduced Coordinate Descent Algorithm for Learning Sparse Bayesian Network from Discrete High-Dimensional Data

abstract: This paper addresses the problem of learning a sparse structure Bayesian network from high-dimensional discrete data. Compared to continuous Bayesian networks, learning a discrete Bayesian network is a challenging problem due to the large parameter space. Although many approaches have been developed for learning continuous Bayesian networks, few approaches have been proposed for the discrete ones. In this paper, we address learning Bayesian networks as an optimization problem and propose a score function which guarantees the learnt structure to be a sparse directed acyclic graph. Besides, we implement a block-wised stochastic coordinate descent algorithm to optimize the score function. Specifically, we use a variance reducing method in our optimization algorithm to make the algorithm work efficiently for high-dimensional data. The proposed approach is applied to synthetic data from well-known benchmark networks. The quality, scalability, and robustness of the constructed network are measured. Compared to some competitive approaches, the results reveal that our algorithm outperforms some of the well-known proposed methods.


title: Perturbation analysis on T-eigenvalues of third-order tensors

abstract: Perturbation analysis has emerged as a significant concern across multiple disciplines, with notable advancements being achieved, particularly in the realm of matrices. This study centers on specific aspects pertaining to tensor T-eigenvalues within the context of the tensor-tensor multiplication. Initially, an analytical perturbation analysis is introduced to explore the sensitivity of T-eigenvalues. In the case of third-order tensors featuring square frontal slices, we extend the classical Gershgorin disc theorem and show that all T-eigenvalues are located inside a union of Gershgorin discs. Additionally, we extend the Bauer-Fike theorem to encompass F-diagonalizable tensors and present two modified versions applicable to more general scenarios. The tensor case of the Kahan theorem, which accounts for general perturbations on Hermite tensors, is also investigated. Furthermore, we propose the concept of pseudospectra for third-order tensors based on tensor-tensor multiplication. We develop four definitions that are equivalent under the spectral norm to characterize tensor $\varepsilon$-pseudospectra. Additionally, we present several pseudospectral properties. To provide visualizations, several numerical examples are also provided to illustrate the $\varepsilon$-pseudospectra of specific tensors at different levels.


title: Automorphism group of the moduli space of parabolic vector bundles with fixed degree

abstract: We find all possible isomorphisms and 3-birational maps (i.e., birational maps which induce an isomorphism between open subsets whose respective complements have codimension at least 3) between moduli spaces of parabolic vector bundles with fixed degree. We prove that every 3-birational map can be described as a composition of tensorization by a fixed line bundle, Hecke transformations, dualization, taking pullback by an isomorphism between the curves and the action of the group of automorphisms of the Jacobian variety of the curve which fix the r-torsion. In particular, we prove a Torelli type theorem, stating that the 3-birational class of the moduli space determines the isomorphism class of the curve.


title: An Annotated Graph Model with Differential Degree Heterogeneity for Directed Networks

abstract: Directed networks are conveniently represented as graphs in which ordered edges encode interactions between vertices. Despite their wide availability, there is a shortage of statistical models amenable for inference, specially when contextual information and degree heterogeneity are present. This paper presents an annotated graph model with parameters explicitly accounting for these features. To overcome the curse of dimensionality due to modelling degree heterogeneity, we introduce a sparsity assumption and propose a penalized likelihood approach with $\ell_1$-regularization for parameter estimation. We study the estimation and selection consistency of this approach under a sparse network assumption, and show that inference on the covariate parameter is straightforward, thus bypassing the need for the kind of debiasing commonly employed in $\ell_1$-penalized likelihood estimation. Simulation and data analysis corroborate our theoretical findings.


title: A Hierarchical Entity Graph Convolutional Network for Relation Extraction across Documents

abstract: Distantly supervised datasets for relation extraction mostly focus on sentence-level extraction, and they cover very few relations. In this work, we propose cross-document relation extraction, where the two entities of a relation tuple appear in two different documents that are connected via a chain of common entities. Following this idea, we create a dataset for two-hop relation extraction, where each chain contains exactly two documents. Our proposed dataset covers a higher number of relations than the publicly available sentence-level datasets. We also propose a hierarchical entity graph convolutional network (HEGCN) model for this task that improves performance by 1.1\% F1 score on our two-hop relation extraction dataset, compared to some strong neural baselines.


title: Deep Representation of Imbalanced Spatio-temporal Traffic Flow Data for Traffic Accident Detection

abstract: Automatic detection of traffic accidents has a crucial effect on improving transportation, public safety, and path planning. Many lives can be saved by the consequent decrease in the time between when the accidents occur and when rescue teams are dispatched, and much travelling time can be saved by notifying drivers to select alternative routes. This problem is challenging mainly because of the rareness of accidents and spatial heterogeneity of the environment. This paper studies deep representation of loop detector data using Long-Short Term Memory (LSTM) network for automatic detection of freeway accidents. The LSTM-based framework increases class separability in the encoded feature space while reducing the dimension of data. Our experiments on real accident and loop detector data collected from the Twin Cities Metro freeways of Minnesota demonstrate that deep representation of traffic flow data using LSTM network has the potential to detect freeway accidents in less than 18 minutes with a true positive rate of 0.71 and a false positive rate of 0.25 which outperforms other competing methods in the same arrangement.


title: Shift-Curvature, SGD, and Generalization

abstract: A longstanding debate surrounds the related hypotheses that low-curvature minima generalize better, and that SGD discourages curvature. We offer a more complete and nuanced view in support of both. First, we show that curvature harms test performance through two new mechanisms, the shift-curvature and bias-curvature, in addition to a known parameter-covariance mechanism. The three curvature-mediated contributions to test performance are reparametrization-invariant although curvature is not. The shift in the shift-curvature is the line connecting train and test local minima, which differ due to dataset sampling or distribution shift. Although the shift is unknown at training time, the shift-curvature can still be mitigated by minimizing overall curvature. Second, we derive a new, explicit SGD steady-state distribution showing that SGD optimizes an effective potential related to but different from train loss, and that SGD noise mediates a trade-off between deep versus low-curvature regions of this effective potential. Third, combining our test performance analysis with the SGD steady state shows that for small SGD noise, the shift-curvature may be the most significant of the three mechanisms. Our experiments confirm the impact of shift-curvature on test loss, and further explore the relationship between SGD noise and curvature.


title: Data Security and Privacy in Cloud Computing: Concepts and Emerging Trends

abstract: Millions of users across the world leverages data processing and sharing benefits from cloud environment. Data security and privacy are inevitable requirement of cloud environment. Massive usage and sharing of data among users opens door to security loopholes. This paper envisages a discussion of cloud environment, its utilities, challenges, and emerging research trends confined to secure processing and sharing of data.


title: Hop-by-hop Accounting and Rewards for Packet dIspAtching

abstract: Community networks are prone to free-riders, i.e., participants who take advantage of cooperation from others' routers but do not contribute reciprocally. In this paper, we present HARPIA, a system for credit-based incentive mechanisms for data forwarding in community networks aimed to prevent selfish behavior. HARPIA does not require a trusted third-party or tamper-resistant security modules as in other incentive mechanisms. Instead, it uses a distributed accounting scheme (DPIFA) to estimate the balance of data forwarding contribution and consumption of each network router and settle correspondent cryptocurrency debts on an Ethereum smart contract. On-chain settlement transactions are performed every HARPIA cycle (e.g., daily, weekly, monthly) and must be validated by at least m-of-n network routers using a multi-signature scheme (MuSig). We also realized a performance evaluation, security threat assessment, and cryptocurrency costs estimation. Results show that our proposal is suitable for community networks with up to 64 infrastructure routers under specific m-of-n MuSig thresholds.


title: Polarizabilities of microparticles in relativistic field theory

abstract: The article determine a relativistic tensor of the second rank containing the vectors of the electric and magnetic polarization of the medium, based on the Maxwell equations and the determination of the charge density and polarization current of a structural microparticle. Using this tensor and the electromagnetic field tensor, the relativistic lagrangian of the interaction an electromagnetic field with a structural microparticle is obtained, taking into account the polarization of its structural elements. Based on the induced moments, the relativistic lagrangian of the interaction an electromagnetic field with a structural microparticle is constructed with considering the electric and magnetic polarizabilities.


title: Second Order Topological Insulator State in Hexagonal Lattices and its Abundant Material Candidates

abstract: We propose two mechanisms to realize the second order topological insulator (SOTI) state in spinless hexagonal lattices, viz., chemical modification and anti-Kekul\'e/Kekul\'e distortion of hexagonal lattice. Correspondingly, we construct two models and demonstrate the nontrivial band topology of the SOTI state characterized by the second Stiefel-Whitney class $w_2$ in the presence of inversion symmetry ($\textit{P}$) and time-reversal symmetry ($\textit{T}$). Based on the two mechanisms and using first-principles calculations and symmetry analysis, we predict three categories of real light element material candidates, i.e., hydrogenated and halogenated 2D hexagonal group IV materials XY (X=C, Si, Ge, Sn, Y=H, F, Cl), 2D hexagonal group V materials (blue phosphorene, blue arsenene, and black phosphorene, black arsenene), and the recent experimentally synthesized anti-Kekul\'e/Kekul\'e order graphenes and the counterparts of silicene/germanene/stanene. We explicitly demonstrate the nontrivial topological invariants and existence of the protected corner states with fractional charge for these candidates with giant bulk band gap (up to 3.5 eV), which could facilitate the experimental verification by STM. Our approaches and proposed abundant real material candidates will greatly enrich 2D SOTIs and promote their intriguing physics research.


title: Thermodynamic analysis of magnetic phase transitions in the ferromagnetic superconductor UGe$_2$ at ambient pressure

abstract: We study the possibility to apply phenomenological approach to the description of magnetic transitions in UGe$_2$ at ambient pressure with the help of Landau free energy expanded to 8th order in magnetisation. The analysis shows that for certain values of parameters in front of M4, and M6 terms in the free energy there is possibility for the appearance of two successive phase transitions between the low-magnetisation and high-magnetisation phases with the same magnetic structure. We establish the relation of the parameters in Landau energy, for which the phase transition from the disordered to low-magnetisation phase is of second order as the experimental data shows. We have also found the relations between the Landau coefficients which result in transition of crossover type between the low- and high-magnetisation phases when temperature is lowered.


title: A Hard Label Black-box Adversarial Attack Against Graph Neural Networks

abstract: Graph Neural Networks (GNNs) have achieved state-of-the-art performance in various graph structure related tasks such as node classification and graph classification. However, GNNs are vulnerable to adversarial attacks. Existing works mainly focus on attacking GNNs for node classification; nevertheless, the attacks against GNNs for graph classification have not been well explored. In this work, we conduct a systematic study on adversarial attacks against GNNs for graph classification via perturbing the graph structure. In particular, we focus on the most challenging attack, i.e., hard label black-box attack, where an attacker has no knowledge about the target GNN model and can only obtain predicted labels through querying the target model.To achieve this goal, we formulate our attack as an optimization problem, whose objective is to minimize the number of edges to be perturbed in a graph while maintaining the high attack success rate. The original optimization problem is intractable to solve, and we relax the optimization problem to be a tractable one, which is solved with theoretical convergence guarantee. We also design a coarse-grained searching algorithm and a query-efficient gradient computation algorithm to decrease the number of queries to the target GNN model. Our experimental results on three real-world datasets demonstrate that our attack can effectively attack representative GNNs for graph classification with less queries and perturbations. We also evaluate the effectiveness of our attack under two defenses: one is well-designed adversarial graph detector and the other is that the target GNN model itself is equipped with a defense to prevent adversarial graph generation. Our experimental results show that such defenses are not effective enough, which highlights more advanced defenses.


title: Poincar\'e Inequalities and Neumann Problems for the Variable Exponent Setting

abstract: We extend the results of [5], where we proved an equivalence between weighted Poincar\'e inequalities and the existence of weak solutions to a family of Neumann problems related to a degenerate $p$-Laplacian. Here we prove a similar equivalence between Poincar\'e inequalities in variable exponent spaces and solutions to a degenerate $p(x)$-Laplacian, a non-linear elliptic equation with nonstandard growth conditions.


title: Ranked diffusion, delta Bose gas and Burgers equation

abstract: We study the diffusion of $N$ particles in one dimension interacting via a drift proportional to their rank. In the attractive case (self-gravitating gas) a mapping to the Lieb Liniger quantum model allows to obtain stationary time correlations, return probabilities and the decay rate to the stationary state. The rank field obeys a Burgers equation, which we analyze. It allows to obtain the stationary density at large $N$ in an external potential $V(x)$ (in the repulsive case). In the attractive case the decay rate to the steady state is found to depend on the initial condition if its spatial decay is slow enough. Coulomb gas methods allow to study the final equilibrium at large $N$.

categories: cond-mat.stat-mech math-ph math.MP nlin.SI quant-ph


title: Networks of Twin Peaks: the Dale Cooper Effect

abstract: In this work, we analyse character networks in the cult TV show Twin Peaks. In the small-scale community network of Twin Peaks we discovered a new storytelling network phenomenon we called the Dale Cooper Effect, a phase transition in network structure. It is a sharp demarcation between the two statistically and topologically distinct networks of characters, where the point of demarcation is the protagonist himself (Special Agent Dale Cooper) introduced as a median character.


title: The Sylvester equation in Banach algebras

abstract: Let $\mathcal{A}$ be a unital complex semisimple Banach algebra, and $M_{\mathcal{A}}$ denote its maximal ideal space. For a matrix $M\in {\mathcal{A}}^{n\times n}$, $\widehat{M}$ denotes the matrix obtained by taking entry-wise Gelfand transforms. For a matrix $M\in {\mathbb{C}}^{n\times n}$, $\sigma(M)\subset \mathbb{C}$ denotes the set of eigenvalues of $M$. It is shown that if $A\in {\mathcal{A}}^{n\times n}$ and $B\in {\mathcal{A}}^{m\times m}$ are such that for all $\varphi \in M_{\mathcal{A}}$, $\sigma(\widehat{A}(\varphi))\cap \sigma(\widehat{B}(\varphi))=\emptyset$, then for all $C\in {\mathcal{A}}^{n\times m}$, the Sylvester equation $AX-XB=C$ has a unique solution $X\in {\mathcal{A}}^{n\times m}$. As an application, Roth's removal rule is proved in the context of matrices over a Banach algebra.


title: MOTSynth: How Can Synthetic Data Help Pedestrian Detection and Tracking?

abstract: Deep learning-based methods for video pedestrian detection and tracking require large volumes of training data to achieve good performance. However, data acquisition in crowded public environments raises data privacy concerns -- we are not allowed to simply record and store data without the explicit consent of all participants. Furthermore, the annotation of such data for computer vision applications usually requires a substantial amount of manual effort, especially in the video domain. Labeling instances of pedestrians in highly crowded scenarios can be challenging even for human annotators and may introduce errors in the training data. In this paper, we study how we can advance different aspects of multi-person tracking using solely synthetic data. To this end, we generate MOTSynth, a large, highly diverse synthetic dataset for object detection and tracking using a rendering game engine. Our experiments show that MOTSynth can be used as a replacement for real data on tasks such as pedestrian detection, re-identification, segmentation, and tracking.


title: High-order accurate schemes for Maxwell's equations with nonlinear active media and material interfaces

abstract: We describe a fourth-order accurate finite-difference time-domain scheme for solving dispersive Maxwell's equations with nonlinear multi-level carrier kinetics models. The scheme is based on an efficient single-step three time-level modified equation approach for Maxwell's equations in second-order form for the electric field coupled to ODEs for the polarization vectors and population densities of the atomic levels. The resulting scheme has a large CFL-one time-step. Curved interfaces between different materials are accurately treated with curvilinear grids and compatibility conditions. A novel hierarchical modified equation approach leads to an explicit scheme that does not require any nonlinear iterations. The hierarchical approach at interfaces leads to local updates at the interface with no coupling in the tangential directions. Complex geometry is treated with overset grids. Numerical stability is maintained using high-order upwind dissipation designed for Maxwell's equations in second-order form. The scheme is carefully verified for a number of two and three-dimensional problems. The resulting numerical model with generalized dispersion and arbitrary nonlinear multi-level system can be used for many plasmonic applications such as for ab initio time domain modeling of nonlinear engineered materials for nanolasing applications, where nano-patterned plasmonic dispersive arrays are used to enhance otherwise weak nonlinearity in the active media.


title: Inference in high-dimensional regression models without the exact or $L^p$ sparsity

abstract: This paper proposes a new method of inference in high-dimensional regression models and high-dimensional IV regression models. Estimation is based on a combined use of the orthogonal greedy algorithm, high-dimensional Akaike information criterion, and double/debiased machine learning. The method of inference for any low-dimensional subvector of high-dimensional parameters is based on a root-$N$ asymptotic normality, which is shown to hold without requiring the exact sparsity condition or the $L^p$ sparsity condition. Simulation studies demonstrate superior finite-sample performance of this proposed method over those based on the LASSO or the random forest, especially under less sparse models. We illustrate an application to production analysis with a panel of Chilean firms.


title: Topological and trivial domain wall states in engineered atomic chains

abstract: In a recent article, Huda et al. demonstrated tuneable topological domain wall states in the c(2$\times$2) chlorinated Cu(100). Their system allows to experimentally tune the domain wall states using atom manipulation by the tip of a scanning tunneling microscope (STM). They have realized topological domain wall states of two prototypical 1D models such as trimer and coupled dimer chains. However, they did not distinguish trivial domain wall states from topological ones in their models. As a result, all states of a specific domain wall are not topological but trivial. Here, we show why the specific domain wall states are trivial and how to make them topological. This topological consideration would provide more clear insight on future studies on topological domain wall states in artificial atomic chains.

categories: nlin.PS cond-mat.mes-hall cond-mat.mtrl-sci physics.comp-ph


title: A Technical Survey and Evaluation of Traditional Point Cloud Clustering Methods for LiDAR Panoptic Segmentation

abstract: LiDAR panoptic segmentation is a newly proposed technical task for autonomous driving. In contrast to popular end-to-end deep learning solutions, we propose a hybrid method with an existing semantic segmentation network to extract semantic information and a traditional LiDAR point cloud cluster algorithm to split each instance object. We argue geometry-based traditional clustering algorithms are worth being considered by showing a state-of-the-art performance among all published end-to-end deep learning solutions on the panoptic segmentation leaderboard of the SemanticKITTI dataset. To our best knowledge, we are the first to attempt the point cloud panoptic segmentation with clustering algorithms. Therefore, instead of working on new models, we give a comprehensive technical survey in this paper by implementing four typical cluster methods and report their performances on the benchmark. Those four cluster methods are the most representative ones with real-time running speed. They are implemented with C++ in this paper and then wrapped as a python function for seamless integration with the existing deep learning frameworks. We release our code for peer researchers who might be interested in this problem.


title: Automating Crystal-Structure Phase Mapping: Combining Deep Learning with Constraint Reasoning

abstract: Crystal-structure phase mapping is a core, long-standing challenge in materials science that requires identifying crystal structures, or mixtures thereof, in synthesized materials. Materials science experts excel at solving simple systems but cannot solve complex systems, creating a major bottleneck in high-throughput materials discovery. Herein we show how to automate crystal-structure phase mapping. We formulate phase mapping as an unsupervised pattern demixing problem and describe how to solve it using Deep Reasoning Networks (DRNets). DRNets combine deep learning with constraint reasoning for incorporating scientific prior knowledge and consequently require only a modest amount of (unlabeled) data. DRNets compensate for the limited data by exploiting and magnifying the rich prior knowledge about the thermodynamic rules governing the mixtures of crystals with constraint reasoning seamlessly integrated into neural network optimization. DRNets are designed with an interpretable latent space for encoding prior-knowledge domain constraints and seamlessly integrate constraint reasoning into neural network optimization. DRNets surpass previous approaches on crystal-structure phase mapping, unraveling the Bi-Cu-V oxide phase diagram, and aiding the discovery of solar-fuels materials.


title: Classically and Quantum Stable Emergent Universe in a Jordan-Brans-Dicke Theory

abstract: The study of Emergent Universe models is based on the assumption that the universe emerged from a past eternal Einstein Static (ES) state towards an inflationary phase and then evolves into a hot big bang era. These models are appealing since they provide specific examples of nonsingular (geodesically complete) inflationary universes. However, it has been pointed out by Mithani-Vilenkin that certain Emergent Universe scenarios which have a classically stable ES state could experience a semiclassical instability and collapse. In this paper, we investigate the classical and quantum stability of the ES regime of Emergent Universes within the framework of Jordan-Brans-Dicke theory. We demonstrate that when considering these models, it is possible to have both, classical and semiclassical stability of the ES state without addressing the instability highlighted by Mithani-Vilenkin.


title: Topological properties of a class of Su-Schrieffer-Heeger variants

abstract: We investigate the edge states and the topological phase transitions in a class of tight binding lattices in one dimension where a Su-Schrieffer-Heeger (SSH) model exists in disguise. The unit cells of such lattices may have an arbitrarily intricate staggering pattern woven in the hopping integrals, that apparently masks the basic SSH structure. We unmask the SSH character in such lattices using a simple real space decimation of a subset of the degrees of freedom. The decimation not only allows us to recognize the familiar SSH geometry, but at the same time enables us to determine, in an analytically exact way, the precise energy eigenvalues at which the gaps open up (or close) at the Brillouin zone boundaries. It is argued that, a topological phase transition and the existence of the protected edge states can be observed in such lattices only under definite numerical correlations between the hopping integrals decorating the unit cell. Such a correlation, achievable in a variety of ways, brings different such models under a kind of a universality class.


title: Phonon interference in the array of carbon nanotubes

abstract: The dynamics of the one-dimensional array of the single-walled carbon nanotubes, which interact by van der Waals forces, is considered. The molecular dynamics simulation shows that both the mutual displacements of the nanotubes and the deformations of their walls occur in the low-frequency oscillations domain. The composite model taking into account both types of the nanotubes' motions was developed in the framework of the thin elastic shell theory. Such an approach allows us to reduce the problem to the dynamics of the two-parametric linear lattice with contact interaction. The dispersion relations are represented analytically and the multi-channel propagation that results to phonon interference (the acoustical analogue of the Fano resonance) is observed in the presence of the array's irregularities. The latter can be formed with redundant nanotubes, which are placed over the array in the groove between neighbour sites. The calculations of the transmittance have been performed by the transfer matrix method for several typical configurations.


title: Construction material classification on imbalanced datasets using Vision Transformer (ViT) architecture

abstract: This research proposes a reliable model for identifying different construction materials with the highest accuracy, which is exploited as an advantageous tool for a wide range of construction applications such as automated progress monitoring. In this study, a novel deep learning architecture called Vision Transformer (ViT) is used for detecting and classifying construction materials. The robustness of the employed method is assessed by utilizing different image datasets. For this purpose, the model is trained and tested on two large imbalanced datasets, namely Construction Material Library (CML) and Building Material Dataset (BMD). A third dataset is also generated by combining CML and BMD to create a more imbalanced dataset and assess the capabilities of the utilized method. The achieved results reveal an accuracy of 100 percent in evaluation metrics such as accuracy, precision, recall rate, and f1-score for each material category of three different datasets. It is believed that the suggested model accomplishes a robust tool for detecting and classifying different material types. To date, a number of studies have attempted to automatically classify a variety of building materials, which still have some errors. This research will address the mentioned shortcoming and proposes a model to detect the material type with higher accuracy. The employed model is also capable of being generalized to different datasets.


title: Statistical Quantification of Differential Privacy: A Local Approach

abstract: In this work, we introduce a new approach for statistical quantification of differential privacy in a black box setting. We present estimators and confidence intervals for the optimal privacy parameter of a randomized algorithm $A$, as well as other key variables (such as the "data-centric privacy level"). Our estimators are based on a local characterization of privacy and in contrast to the related literature avoid the process of "event selection" - a major obstacle to privacy validation. This makes our methods easy to implement and user-friendly. We show fast convergence rates of the estimators and asymptotic validity of the confidence intervals. An experimental study of various algorithms confirms the efficacy of our approach.


title: Term Interrelations and Trends in Software Engineering

abstract: The Software Engineering (SE) community is prolific, making it challenging for experts to keep up with the flood of new papers and for neophytes to enter the field. Therefore, we posit that the community may benefit from a tool extracting terms and their interrelations from the SE community's text corpus and showing terms' trends. In this paper, we build a prototyping tool using the word embedding technique. We train the embeddings on the SE Body of Knowledge handbook and 15,233 research papers' titles and abstracts. We also create test cases necessary for validation of the training of the embeddings. We provide representative examples showing that the embeddings may aid in summarizing terms and uncovering trends in the knowledge base.


title: Covariance Steering for Nonlinear Control-affine Systems

abstract: We consider the covariance steering problem for nonlinear control-affine systems. Our objective is to find an optimal control strategy to steer the state of a system from an initial distribution to a target one whose mean and covariance are given. Due to the nonlinearity, the existing techniques for linear covariance steering problems are not directly applicable. By leveraging the celebrated Girsanov theorem, we formulate the problem into an optimization over the space path distributions. We then adopt a generalized proximal gradient algorithm to solve this optimization, where each update requires solving a linear covariance steering problem. Our algorithm is guaranteed to converge to a local optimal solution with a sublinear rate. In addition, each iteration of the algorithm can be achieved in closed form, and thus the computational complexity of it is insensitive to the resolution of time-discretization. In the examples, our method achieves 1000 times speedup over an existing algorithm.


title: Convergence of Densities of Spatial Averages of Stochastic Heat Equation

abstract: In this paper, we consider the one-dimensional stochastic heat equation driven by a space time white noise. In two different scenarios: {\it (i)} initial condition $u_0=1$ and general nonlinear coefficient $\sigma$ and {\it (ii)}: initial condition $u_0=\delta_0$ and $\sigma(x)=x$ (Parabolic Anderson Model), we establish rates of convergence for the uniform distance between the density of (renormalized) spatial averages and the standard normal density. These results are based on the combination of Stein method for normal approximations and Malliavin calculus techniques. A key ingredient in Case (i) is a new estimate on the $L^p$-norm of the second Malliavin derivative.


title: Simplification of the local full vertex in the impurity problem in DMFT and its applications for the nonlocal correlation

abstract: The two-particle vertex function is crucial for the diagrammatic extensions beyond DMFT for the nonlocal fluctuation. However, estimating the two-particle quantities is still a challenging task. In this study, we propose a simplification of the local two-particle full vertex and, using the simplified full vertex, we develop two methods to take into account the nonlocal fluctuation. We apply these methods to several models and confirm that our methods can capture important behaviors such as the pseudo gap in the DMFT + nonlocal calculation. In addition, the numerical costs are largely reduced compared to the conventional methods.


title: Boundary control for optimal mixing via Stokes flows and numerical implementation

abstract: This work develops scientific computing techniques to further the exploration of using boundary control alone to optimize mixing in Stokes flows. The theoretical foundation including mathematical model and the optimality conditions for solving the optimal control has been established by Hu and Wu in a series of work. The scalar being mixed is purely advected by the flow and the control is exerted tangentially on the domain boundary through the Navier slip conditions. The control design is motivated by the physical observations that the moving or rotating walls accelerate mixing. A gradient descent-based optimization algorithm is designed. A critical problem is the computation of the Gateaux derivative or the gradient of the cost functional. Two methods are proposed: one is based on the Variational Formula (VF) and one utilizes Algorithmic Differentiation (AD). The convergence of the algorithm is studied and various designs of boundary control using cosine and sine functions with time segmentation are computed. The algorithm has a first order convergence rate and the VF method is more efficient by taking only one third of the time as the AD method when the dimension of control basis is large. The numerical implementations show that the boundary control produces similar mixing results as internal mixings in the existing literature. The mixing effect becomes better when more diverse basis control functions and more time segmentation are utilized. It is shown that the mixing decay rate in time follows power rules, approximately. The numerical study in this work suggests that boundary control alone could be an effective strategy for mixing in incompressible fluid flows.


title: Theoretical Analysis and Evaluation of NoCs with Weighted Round-Robin Arbitration

abstract: Fast and accurate performance analysis techniques are essential in early design space exploration and pre-silicon evaluations, including software eco-system development. In particular, on-chip communication continues to play an increasingly important role as the many-core processors scale up. This paper presents the first performance analysis technique that targets networks-on-chip (NoCs) that employ weighted round-robin (WRR) arbitration. Besides fairness, WRR arbitration provides flexibility in allocating bandwidth proportionally to the importance of the traffic classes, unlike basic round-robin and priority-based arbitration. The proposed approach first estimates the effective service time of the packets in the queue due to WRR arbitration. Then, it uses the effective service time to compute the average waiting time of the packets. Next, we incorporate a decomposition technique to extend the analytical model to handle NoC of any size. The proposed approach achieves less than 5% error while executing real applications and 10% error under challenging synthetic traffic with different burstiness levels.


title: Systematic Clinical Evaluation of A Deep Learning Method for Medical Image Segmentation: Radiosurgery Application

abstract: We systematically evaluate a Deep Learning (DL) method in a 3D medical image segmentation task. Our segmentation method is integrated into the radiosurgery treatment process and directly impacts the clinical workflow. With our method, we address the relative drawbacks of manual segmentation: high inter-rater contouring variability and high time consumption of the contouring process. The main extension over the existing evaluations is the careful and detailed analysis that could be further generalized on other medical image segmentation tasks. Firstly, we analyze the changes in the inter-rater detection agreement. We show that the segmentation model reduces the ratio of detection disagreements from 0.162 to 0.085 (p < 0.05). Secondly, we show that the model improves the inter-rater contouring agreement from 0.845 to 0.871 surface Dice Score (p < 0.05). Thirdly, we show that the model accelerates the delineation process in between 1.6 and 2.0 times (p < 0.05). Finally, we design the setup of the clinical experiment to either exclude or estimate the evaluation biases, thus preserve the significance of the results. Besides the clinical evaluation, we also summarize the intuitions and practical ideas for building an efficient DL-based model for 3D medical image segmentation.


title: X-ray Luminosity of Decades-Old Supernovae

abstract: The transition from supernovae (SNe) to supernova remnants (SNRs) remains poorly understood, given the age gap between well-studied examples of the two. In order to bridge this gap, we analysed archival Chandra data for some of the oldest supernovae detected in X-rays, in order to extend their light curves out to late times. We fitted the spectra with thermal models. All the SNe with multiple X-ray data points were found to have similar X-ray luminosity, which was decreasing with time. The X-ray luminosity will likely continue to decrease while the SNe are evolving in a wind medium, but is anticipated to increase in the Sedov phase when the SNe are interacting with a constant density interstellar medium, bringing it in line with observed SNRs.


title: Using growth transform dynamical systems for spatio-temporal data sonification

abstract: Sonification, or encoding information in meaningful audio signatures, has several advantages in augmenting or replacing traditional visualization methods for human-in-the-loop decision-making. Standard sonification methods reported in the literature involve either (i) using only a subset of the variables, or (ii) first solving a learning task on the data and then mapping the output to an audio waveform, which is utilized by the end-user to make a decision. This paper presents a novel framework for sonifying high-dimensional data using a complex growth transform dynamical system model where both the learning (or, more generally, optimization) and the sonification processes are integrated together. Our algorithm takes as input the data and optimization parameters underlying the learning or prediction task and combines it with the psychoacoustic parameters defined by the user. As a result, the proposed framework outputs binaural audio signatures that not only encode some statistical properties of the high-dimensional data but also reveal the underlying complexity of the optimization/learning process. Along with extensive experiments using synthetic datasets, we demonstrate the framework on sonifying Electro-encephalogram (EEG) data with the potential for detecting epileptic seizures in pediatric patients.


title: Using Trajectory Compression Rate to Predict Changes in Cybersickness in Virtual Reality Games

abstract: Identifying cybersickness in virtual reality (VR) applications such as games in a fast, precise, non-intrusive, and non-disruptive way remains challenging. Several factors can cause cybersickness, and their identification will help find its origins and prevent or minimize it. One such factor is virtual movement. Movement, whether physical or virtual, can be represented in different forms. One way to represent and store it is with a temporally annotated point sequence. Because a sequence is memory-consuming, it is often preferable to save it in a compressed form. Compression allows redundant data to be eliminated while still preserving changes in speed and direction. Since changes in direction and velocity in VR can be associated with cybersickness, changes in compression rate can likely indicate changes in cybersickness levels. In this research, we explore whether quantifying changes in virtual movement can be used to estimate variation in cybersickness levels of VR users. We investigate the correlation between changes in the compression rate of movement data in two VR games with changes in players' cybersickness levels captured during gameplay. Our results show (1) a clear correlation between changes in compression rate and cybersickness, and(2) that a machine learning approach can be used to identify these changes. Finally, results from a second experiment show that our approach is feasible for cybersickness inference in games and other VR applications that involve movement.


title: SAI-BA-IoMT: Secure AI-Based Blockchain-Assisted Internet of Medical Things Tool to Moderate the Outbreak of COVID-19 Crisis

abstract: Recently, an infectious disease, coronavirus disease 2019 (COVID-19), has been reported in Wuhan, China, and subsequently spread worldwide within a couple of months. On May 16, 2020, the COVID-19 pandemic has affected several countries in the world. In this article, we present how the amalgamation of blockchain, cryptography, internet of medical things (IoMT), and artificial intelligence (AI) technologies can address such an issue in the event of the COVID-19 pandemic. Further, we propose a secure AI-based blockchain-assisted IoMT (SAI-BA-IoMT) model for the healthcare system in the COVID-19 crisis. The paper also examines the post-corona crisis that the world could be experienced after the pandemic. Additionally, we exhibit the potential applications of the proposed model to resolve the difficulties originated from coronavirus.


title: Transport Spin Polarization of Noncollinear Antiferromagnetic Antiperovskites

abstract: Spin-polarized currents play a key role in spintronics. Recently, it has been found that antiferromagnets with a non-spin-degenerate band structure can efficiently spin-polarize electric currents, even though their net magnetization is zero. Among the antiferromagnetic metals with magnetic space group symmetry supporting this functionality, the noncollinear antiferromagnetic antiperovskites ANMn$_3$ (A = Ga, Ni, Sn, and Pt) are especially promising. This is due to their high N\'eel temperatures and a good lattice match to perovskite oxide substrates, offering possibilities of high structural quality heterostructures based on these materials. Here, we investigate the spin polarization of antiferromagnetic ANMn$_3$ metals using first-principles density functional theory calculations. We find that the spin polarization of the longitudinal currents in these materials is comparable to that in widely used ferromagnetic metals, and thus can be exploited in magnetic tunnel junctions and spin transfer torque devices. Moreover, for certain film growth directions, the out-of-plane transverse spin currents with a giant charge-to-spin conversion efficiency can be achieved, implying that the ANMn$_3$ antiperovskites can be used as efficient spin sources. These properties make ANMn$_3$ compounds promising for application in spintronics.


title: Rotation Equivariant Operators for Machine Learning on Scalar and Vector Fields

abstract: We develop theory and software for rotation equivariant operators on scalar and vector fields, with diverse applications in simulation, optimization and machine learning. Rotation equivariance (covariance) means all fields in the system rotate together, implying spatially invariant dynamics that preserve symmetry. Extending the convolution theorems of linear time invariant systems, we theorize that linear equivariant operators are characterized by tensor field convolutions using an appropriate product between the input field and a radially symmetric kernel field. Most Green's functions and differential operators are in fact equivariant operators, which can also fit unknown symmetry preserving dynamics by parameterizing the radial function. We implement the Julia package EquivariantOperators.jl for fully differentiable finite difference equivariant operators on scalar, vector and higher order tensor fields in 2d/3d. It can run forwards for simulation or image processing, or be back propagated for computer vision, inverse problems and optimal control. Code at https://aced-differentiate.github.io/EquivariantOperators.jl/


title: Direct atomic layer deposition of ultrathin aluminium oxide on monolayer $MoS_2$ exfoliated on gold: the role of the substrate

abstract: In this paper we demonstrated the thermal Atomic Layer Deposition (ALD) growth at 250 {\deg}C of highly homogeneous and ultra-thin ($\approx$ 3.6 nm) $Al_2O_3$ films with excellent insulating properties directly onto a monolayer (1L) $MoS_2$ membrane exfoliated on gold. Differently than in the case of 1L $MoS_2$ supported by a common insulating substrate ($Al_2O_3/Si$), a better nucleation process of the high-k film was observed on the 1L $MoS_2/Au$ system since the ALD early stages. Atomic force microscopy analyses showed a $\approx 50\%$ $Al_2O_3$ surface coverage just after 10 ALD cycles, its increasing up to $>90\%$ (after 40 cycles), and an uniform $\approx$ 3.6 nm film, after 80 cycles. The coverage percentage was found to be significantly reduced in the case of 2L $MoS_2/Au$, indicating a crucial role of the interfacial interaction between the aluminum precursor and $MoS_2/Au$ surface. Finally, Raman spectroscopy and PL analyses provided an insight about the role played by the tensile strain and p-type doping of 1L $MoS_2$ induced by the gold substrate on the enhanced high-k nucleation of $Al_2O_3$ thin films. The presently shown high quality ALD growth of high-k $Al_2O_3$ dielectrics on large area 1L $MoS_2$ induced by the Au underlayer can be considered of wide interest for potential device applications based on this material system.


title: On group congruences on the semigroup $\boldsymbol{B}_{\omega}^{\mathscr{F}}$ and its homomorphic retracts in the case when a family $\mathscr{F}$ consists of inductive non-empty subsets of $\omega$

abstract: We study group congruences on the semigroup $\boldsymbol{B}_{\omega}^{\mathscr{F}}$ and its homomorphic retracts in the case when an ${\omega}$-closed family $\mathscr{F}$ which consists of inductive non-empty subsets of $\omega$. It is proven that a congruence $\mathfrak{C}$ on $\boldsymbol{B}_{\omega}^{\mathscr{F}}$ is a group congruence if and only if its restriction on a subsemigroup of $\boldsymbol{B}_{\omega}^{\mathscr{F}}$, which is isomorphic to the bicyclic semigroup, is not the identity relation. Also, all non-trivial homomorphic retracts and isomorphisms of the semigroup $\boldsymbol{B}_{\omega}^{\mathscr{F}}$ are described.


title: Substrate impact on the thickness dependence of vibrational and optical properties of large area $MoS_2$ produced by gold-assisted exfoliation

abstract: The gold-assisted exfoliation is a very effective method to produce large-area ($cm^2$-scale) membranes of molybdenum disulfide ($MoS_2$) for electronics. However, the strong $MoS_2/Au$ interaction, beneficial for the exfoliation process, has a strong impact on the vibrational and light emission properties of $MoS_2$. Here, we report an atomic force microscopy (AFM), micro-Raman ($\mu-R$) and micro-Photoluminescence ($\mu-PL$) investigation of $MoS_2$ with variable thickness exfoliated on Au and subsequently transferred on an $Al_2O_3/Si$ substrate. The $E_{2g}$ - $A_{1g}$ vibrational modes separation $\Delta\mu$ (typically used to estimate $MoS_2$ thickness) exhibits an anomalous large value ($\Delta\mu=21.2 cm^{-1}$) for monolayer (1L) $MoS_2$ on Au as compared to the typical one ($\Delta\mu=18.5 cm^{-1}$) measured on 1L $MoS_2$ on $Al_2O_3/Si$. Such substrate-related differences, explained in terms of tensile strain and p-type doping arising from the $MoS_2/Au$ interaction, were found to gradually decrease while increasing the number of $MoS_2$ layers. Furthermore, $\mu-PL$ spectra for 1L $MoS_2$ on Au exhibit a strong quenching and an overall red-shift of the main emission peak at 1.79 eV, compared to the 1.84 eV peak for 1L $MoS_2$ on $Al_2O_3$. After PL spectra deconvolution, such red shift was explained in terms of a higher trion/exciton intensity ratio, probably due to the higher polarizability of the metal substrate, as well as to the smaller equilibrium distance at $MoS_2/Au$ interface.


title: Joint Characterization of Spatiotemporal Data Manifolds

abstract: Spatiotemporal (ST) image data are increasingly common and often high-dimensional (high-D). Modeling ST data can be a challenge due to the plethora of independent and interacting processes which may or may not contribute to the measurements. Characterization can be considered the complement to modeling by helping guide assumptions about generative processes and their representation in the data. Dimensionality reduction (DR) is a frequently implemented type of characterization designed to mitigate the "curse of dimensionality" on high-D signals. For decades, Principal Component (PC) and Empirical Orthogonal Function (EOF) analysis has been used as a linear, invertible approach to DR and ST analysis. Recent years have seen the additional development of a suite of nonlinear DR algorithms, frequently categorized as "manifold learning". Here, we explore the idea of joint characterization of ST data manifolds using PCs/EOFs alongside two nonlinear DR approaches: Laplacian Eigenmaps (LE) and t-distributed stochastic neighbor embedding (t-SNE). Starting with a synthetic example and progressing to global, regional, and field scale ST datasets spanning roughly 5 orders of magnitude in space and 2 in time, we show these three DR approaches can yield complementary information about ST manifold topology. Compared to the relatively diffuse TFS produced by PCs/EOFs, the nonlinear approaches yield more compact manifolds with decreased ambiguity in temporal endmembers (LE) and/or in spatiotemporal clustering (t-SNE). These properties are compensated by the greater interpretability, significantly lower computational demand and diminished sensitivity to spatial aliasing for PCs/EOFs than LE or t-SNE. Taken together, we find joint characterization using the three complementary DR approaches capable of greater insight into generative ST processes than possible using any single approach alone.


title: How Cute is Pikachu? Gathering and Ranking Pok\'emon Properties from Data with Pok\'emon Word Embeddings

abstract: We present different methods for obtaining descriptive properties automatically for the 151 original Pok\'emon. We train several different word embeddings models on a crawled Pok\'emon corpus, and use them to rank automatically English adjectives based on how characteristic they are to a given Pok\'emon. Based on our experiments, it is better to train a model with domain specific data than to use a pretrained model. Word2Vec produces less noise in the results than fastText model. Furthermore, we expand the list of properties for each Pok\'emon automatically. However, none of the methods is spot on and there is a considerable amount of noise in the different semantic models. Our models have been released on Zenodo.


title: Entanglement Action for the Real-Space Entanglement Spectra of Composite Fermion Wave Functions

abstract: We argue and numerically substantiate that the real-space entanglement spectrum (RSES) of composite fermion quantum Hall states is given by the spectrum of a local boundary perturbation of a $(1+1)$d conformal field theory (CFT), which describes an effective edge dynamics along the real-space cut. The cut-and-glue approach suggests that the low-lying RSES is equivalent to the low-lying modes of some effective edge action. The general structure of this action is deduced by mapping to a boundary critical problem, generalizing work of Dubail, Read, and Rezayi [PRB 85, 11531 (2012)]. Using trial wave functions we numerically test our model of the RSES for the $\nu = 2/3$ bosonic composite fermion state.


title: Implication in finite posets with pseudocomplemented sections

abstract: It is well-known that relatively pseudocomplemented lattices can serve as an algebraic semantics of intuitionistic logic. To extend the concept of relative pseudocomplementation to non-distributive lattices, the first author introduced so-called sectionally pseudocomplemented lattices, i.e. lattices with top element 1 where for every element y the interval [y,1], the so called section, is pseudocomplemented. We extend this concept to posets with top element. Our goal is to show that such a poset can be considered as an algebraic semantics for a certain kind of more general intuitionistic logic provided an implication is introduced as shown in the paper. We prove some properties of such an implication. This implication is "unsharp" in the sense that the value for given entries need not be a unique element, but may be a subset of the poset in question. On the other hand, all of these values are as high as possible. We show that this implication even determines the poset and if a new operator \odot is introduced in an "unsharp" way, such structure forms an "unsharply" residuated poset.


title: The Evolution of Turbulent Micro-vortices and their Effect on Convection Heat Transfer in Porous Media

abstract: New insight into the contribution of the microscale vortex evolution towards convection heat transfer in porous media is presented in this paper. The objective is to determine how the microscale vortices influence convection heat transfer in turbulent flow inside porous media. The microscale temperature distribution is analyzed using flow visualization in 2D using streamlines and in 3D using Q structures. The pertinent observations are supplemented with the comparison of surface skin friction and heat transfer using: (1) surface skin friction lines and (2) joint PDF of pressure and skin friction coefficients, along with the Nusselt number. The microscale flow phenomena observed are corroborated with the features of the frequency spectra of the drag coefficient and macroscale Nusselt number. The Large Eddy Simulation technique is used to investigate the flow field inside a periodic porous medium. The Reynolds numbers of the flow are 300 and 500. The porous medium consists of solid obstacles in the shape of square and circular cylinders. Two distinct flow regimes are represented by using the porosities of 0.50 and 0.87. The results show that the surface Nusselt number distribution is dependent on whether the micro-vortices are attached to or detached from the surface of the obstacle. The spectra of the macroscale Nusselt number and the pressure drag are similar signifying a correlation between the dynamics of heat transfer and the microscale turbulent structures. Both vortex shedding and secondary flow instabilities are observed that significantly influence the Nusselt number. The fundamental insight gained in this paper can inform the development of more robust macroscale models of convection heat transfer in turbulent flow in porous media.


title: What do we mean, 'tipping cascade'?

abstract: Based on suggested interactions of potential tipping elements in the Earth's climate and in ecological systems, tipping cascades as possible dynamics are increasingly discussed and studied as their activation would impose a considerable risk for human societies and biosphere integrity. However, there are ambiguities in the description of tipping cascades within the literature so far. Here we illustrate how different patterns of multiple tipping dynamics emerge from a very simple coupling of two previously studied idealized tipping elements. In particular, we distinguish between a two phase cascade, a domino cascade and a joint cascade. While a mitigation of an unfolding two phase cascade may be possible and common early warning indicators are sensitive to upcoming critical transitions to a certain degree, the domino cascade may hardly be stopped once initiated and critical slowing down--based indicators fail to indicate tipping of the following element. These different potentials for intervention and anticipation across the distinct patterns of multiple tipping dynamics should be seen as a call to be more precise in future analyses on cascading dynamics arising from tipping element interactions in the Earth system.


title: Variable-Rate Deep Image Compression through Spatially-Adaptive Feature Transform

abstract: We propose a versatile deep image compression network based on Spatial Feature Transform (SFT arXiv:1804.02815), which takes a source image and a corresponding quality map as inputs and produce a compressed image with variable rates. Our model covers a wide range of compression rates using a single model, which is controlled by arbitrary pixel-wise quality maps. In addition, the proposed framework allows us to perform task-aware image compressions for various tasks, e.g., classification, by efficiently estimating optimized quality maps specific to target tasks for our encoding network. This is even possible with a pretrained network without learning separate models for individual tasks. Our algorithm achieves outstanding rate-distortion trade-off compared to the approaches based on multiple models that are optimized separately for several different target rates. At the same level of compression, the proposed approach successfully improves performance on image classification and text region quality preservation via task-aware quality map estimation without additional model training. The code is available at the project website: https://github.com/micmic123/QmapCompression


title: Sudden depletion of Alfv\'enic turbulence in the rarefaction region of corotating solar wind high speed streams at 1 AU: possible solar origin?

abstract: A canonical description of a corotating solar wind high speed stream, in terms of velocity profile, would indicate three main regions:a stream interface or corotating interaction region characterized by a rapid flow speed increase and by compressive phenomena due to dynamical interaction between the fast wind flow and the slower ambient plasma;a fast wind plateau characterized by weak compressive phenomena and large amplitude fluctuations with a dominant Alfv\'enic character;a rarefaction region characterized by a decreasing trend of the flow speed and wind fluctuations dramatically reduced in amplitude and Alfv\'enic character, followed by the slow ambient wind. Interesting enough, in some cases the region where the severe reduction of these fluctuations takes place is remarkably short in time, of the order of minutes, and located at the flow velocity knee separating the fast wind plateau from the rarefaction region. The aim of this work is to investigate which are the physical mechanisms that might be at the origin of this phenomenon. We firstly looked for the presence of any tangential discontinuity which might inhibit the propagation of Alfv\'enic fluctuations from fast wind region to rarefaction region. The absence of a clear evidence for the presence of this discontinuity between these two regions led us to proceed with ion composition analysis for the corresponding solar wind, looking for any abrupt variation in minor ions parameters (as tracers of the source region) which might be linked to the phenomenon observed in the wind fluctuations. In the lack of a positive feedback from this analysis, we finally propose a mechanism based on interchange reconnection experienced by the field lines at the base of the corona, within the region separating the open field lines of the coronal hole, source of the fast wind, from the surrounding regions mainly characterized by closed field lines.


title: Free Quasitopological Groups

abstract: In this paper, we study the topological structure of a universal construction related to quasitopological groups: the free quasitopological group $F_q(X)$ on a space $X$. We show that free quasitopological groups may be constructed directly as quotient spaces of free semitopological monoids, which are themselves constructed by iterating product spaces equipped with the "cross topology." Using this explicit description of $F_q(X)$, we show that for any $T_1$ space $X$, $F_q(X)$ is the direct limit of closed subspaces $F_q(X)_n$ of words of length at most $n$. We also prove that the natural map ${\bf i_n}:\coprod_{i=0}^{n}(X\sqcup X^{-1})^{\otimes i}\to F_q(X)_n$ is quotient for all $n\geq 0$. Equipped with this convenient characterization of the topology of free quasitopological groups, we show, among other things, that a subspace $Y\subseteq X$ is closed if and only if the inclusion $Y\to X$ induces a closed embedding $F_q(Y)\to F_q(X)$ of free quasitopological groups.


title: Gravitational Cracking of General Relativistic Polytropes: a generalized scheme

abstract: We discuss the effect that small fluctuations of both local anisotropy and energy density, may have on the occurrence of cracking in spherical compact objects satisfying a polytropic equation of state. A systematic scheme to bring the fluid configurations out of hydrostatic equilibrium is revisited. Various models of polytropes are considered and it is shown that departures from equilibrium may lead to the appearance of cracking for a wide range of values of the parameters involved. Prospective applications of the obtained results to some astrophysical scenarios are pointed out.


title: Reliable Firmware Updates for the Information-Centric Internet of Things

abstract: Security in the Internet of Things (IoT) requires ways to regularly update firmware in the field. These demands ever increase with new, agile concepts such as security as code and should be considered a regular operation. Hosting massive firmware roll-outs present a crucial challenge for the constrained wireless environment. In this paper, we explore how information-centric networking can ease reliable firmware updates. We start from the recent standards developed by the IETF SUIT working group and contribute a system that allows for a timely discovery of new firmware versions by using cryptographically protected manifest files. Our design enables a cascading firmware roll-out from a gateway towards leaf nodes in a low-power multi-hop network. While a chunking mechanism prepares firmware images for typically low-sized maximum transmission units (MTUs), an early Denial-of-Service (DoS) detection prevents the distribution of tampered or malformed chunks. In experimental evaluations on a real-world IoT testbed, we demonstrate feasible strategies with adaptive bandwidth consumption and a high resilience to connectivity loss when replicating firmware images into the IoT edge.